= -5 - j. Suppose 5*m - 3*p = 0, m = -4*p - 22 - 1. Is m not equal to f?
False
Let v(n) = n - 1. Let q be v(-4). Let r be (-3)/30 - (-2)/q. Let a = 119 + -119.07. Which is greater: a or r?
a
Let k = -3/5984 - 324521/221408. Let w = 8/37 + k. Suppose -o + 2*o = -d + 3, 3*d = 3*o - 9. Is w >= d?
False
Let j = 4 + -4. Let h = -17/6 - -8/3. Is h bigger than j?
False
Let a be (-776)/(-665) - 4/(-14). Let w = a + -20/19. Is w not equal to -11?
True
Let z = 103/6 - 2989/174. Is z at least as big as 0?
False
Let d(y) = y - 10. Let k = 5 + 4. Let x be d(k). Let m be 1 + x*1/3. Do m and -2/3 have the same value?
False
Let m = 0.05 + 0. Let z = -0.05 + m. Which is smaller: z or 3?
z
Suppose -z - 4*z = 5. Let i be (-14)/(-70) + (-34)/45. Which is smaller: z or i?
z
Let o = 12 - 7. Suppose 0 = -o*v, -4*c - 4*v - 1 + 5 = 0. Let y = -48 - -193/4. Which is bigger: c or y?
c
Let n = -25 + 27. Are n and 14/5 non-equal?
True
Suppose 5*w + 3*y - 6 = 0, 0*y = -5*w + y + 18. Let t = w + -3. Suppose 5*f + t = -5. Which is smaller: f or -2/5?
f
Let f be 56/91*(-1)/(-4). Is 0 greater than f?
False
Let u be (-36)/8*(-4)/3. Let j be (-110)/7 - 4/14. Let a be u/j*(-4)/1. Is a bigger than 2?
False
Let l = 0.17 + -0.17. Is -1 smaller than l?
True
Let m = 42 + -41. Let b = 14 + -7. Do m and b have the same value?
False
Let p = 4 - 3. Let y = 0.4 - p. Which is bigger: y or 1/3?
1/3
Suppose -3 = -3*i + 3. Suppose -5*q + 3 = -i*g, -4*g - 4 + 9 = q. Let l = g + -1. Which is bigger: 2/13 or l?
2/13
Suppose 11*a - 392 - 1016 = 0. Is a bigger than -1?
True
Suppose 6*t - t = 0. Suppose -1 - 2 = 3*i. Is t smaller than i?
False
Let g = -36 + 72. Are g and 37 non-equal?
True
Let c = -144 - -145. Which is smaller: -4/71 or c?
-4/71
Let d(g) = -g**3 + 12*g**2 + 14*g - 13. Let y be d(13). Suppose 5 = -y*p + 5*p. Is 17 at least as big as p?
True
Let r(l) = l**2 + 4. Let t be r(-4). Is t >= 20?
True
Let c(n) = n**2 + 4*n + 2. Let u be c(-5). Let l(d) = -d**3 + 8*d**2 - 7*d - 8. Let w be l(u). Let v be 1/(-2*(-1)/w). Is -3 at least as big as v?
True
Suppose -4*w = 8, -6*w + 4 = -h - 2*w. Let l be ((-6)/h)/(1 + -2). Which is smaller: -1/3 or l?
l
Let f = 0 + 3. Suppose 0 = -a + 30 - 27. Do f and a have different values?
False
Suppose 2*w - q = 4*w - 10, 0 = -w + 3*q - 9. Let p be (-1 - -2)/(w/(-9)). Let g = 1 + p. Are g and -2 nonequal?
False
Let o = 5 + -8. Let w be (3/12*o)/(-3). Let f be (1/(-2) + 0)*2. Is w bigger than f?
True
Let o = 0.3 + -0.7. Let i = o - -0.3. Which is greater: -0.4 or i?
i
Let x(f) = -f**2 - 5*f - 3. Let v be x(-3). Let c be (-4)/v + (-1)/(-3). Which is bigger: c or 2/5?
2/5
Let y(g) = g**3 + 6*g**2 - 16*g. Let m be y(-8). Which is greater: -1/23 or m?
m
Let n be 13/(-26) + (-3)/(-2). Let o be 667/20 - (-1)/4. Let t = o + -33. Which is smaller: t or n?
t
Let j(x) be the third derivative of -x**6/120 - x**5/12 + x**4/24 + 2*x**3/3 + 5*x**2. Let p be j(-5). Is p at most as big as -3/22?
True
Let o = -10 - -6. Let a = o - -3.6. Let u = a + 0.3. Is 1 not equal to u?
True
Let b(r) = -r**2 - 12*r + 18. Let c be b(-13). Suppose c*q - 2*h - 87 = 0, 0*h = 4*h + 4. Which is smaller: q or 18?
q
Let b be (2046/(-19))/3 - -1. Let s = 35 + b. Is s less than 2?
True
Suppose 0 = 3*l - 0*l. Suppose -2*y - 5*p + 24 = l, 4*y = -3*p + 6 + 14. Is y > 5/7?
True
Let d(o) = -1 + 11 + 2*o - o. Let m be d(-10). Let x = 0 + 0. Is m <= x?
True
Let q be (1 - 2)/(2/(-20)). Let w = q - 10. Suppose 2*h - h - 1 = 0. Is w <= h?
True
Let w be (-3)/(-2)*28/3. Let l be -2 - (w/13 - 3). Is l at least -1?
True
Let i be 66/44*28/3. Is i greater than or equal to 90/7?
True
Suppose 0 = -2*h - h + 15. Suppose 1 = h*t - 9. Suppose -2*a - 9 - 4 = 5*p, 11 = t*a - 3*p. Do 1/11 and a have different values?
True
Suppose -2*u = -5*j + 7, 0 = 2*u + 4*j - 18 - 2. Suppose -n = -u*n. Let q = -13 - -25/2. Is q equal to n?
False
Let m = -86 - -88. Are 2.2 and m unequal?
True
Let i = 4 - 3. Are i and 9 non-equal?
True
Let b = -9 + 0. Let n = b + 8. Which is bigger: 1/9 or n?
1/9
Suppose -5*b - 418 = 2*r, b + 2*r = -b - 166. Let o be b/77*(-1)/(-2). Which is bigger: -2 or o?
o
Let l be 756/970 + (-36)/45. Is -1 != l?
True
Let h = 21 + -23. Do -12 and h have the same value?
False
Let i(l) = l**2 - 5*l - 4. Let f be i(6). Is f less than or equal to 29?
True
Let g be 1*(-1 + 228/219). Let x = g + -234/365. Let m be -2 + -1 + 2 + 0. Which is greater: x or m?
x
Suppose -2*x = -6*x - 24. Let o(k) = k**2 + 6*k + 1. Let a be o(x). Let s = 4/59 + 74/649. Which is greater: s or a?
a
Let m be 258/330 + 2/(-11). Which is smaller: 0 or m?
0
Let u(o) = -o**3 + 5*o**2 + o - 6. Let v be u(5). Let f be -5 - (0 - -1 - 3). Let s be (-12)/(-28)*2/f. Is s greater than v?
True
Let x be (-6)/(-3)*(5/6)/(-1). Is x less than -2?
False
Let f be (-28)/192 - 2/(-6). Let a = f - 11/16. Let u = 5 + -4. Which is smaller: u or a?
a
Let x be 6/(-6)*-3 - -15. Is 6 smaller than x?
True
Suppose 4*m + 3*k = m + 30, 3*m - 5*k = 70. Is m > 14?
True
Let i be (1/1)/((-1)/(-2)). Let x be 36/20*(-4)/(-6). Is i <= x?
False
Suppose -2*m + 8 = -0*m, 0 = 3*q + 4*m - 64. Let j = q + -14. Let v be 2 + 1/(2/(-2)). Is v at most j?
True
Suppose 3*f = -t + 4*t - 63, f = 4*t - 75. Let u be (t/45)/(2/30). Which is greater: 4 or u?
u
Let t = -1.3 + -0.7. Do 0.2 and t have different values?
True
Let t(v) = v**2 + 3*v. Let g be t(-3). Suppose 4*j + 8 = -g*j. Let d be (-3 + 3)/((-2)/j). Is -2/9 less than or equal to d?
True
Let d be ((-3)/(-1))/(1/1). Suppose 0 = b - 2*b + 5. Let o be (b/3)/(4 + -3). Is o greater than or equal to d?
False
Let c = -5 - -6.4. Let l = 0.4 + c. Let y = -2 + l. Is y <= -2/3?
False
Let b(c) = -3*c**2. Let f(u) = u**2 - u - 1. Let a be f(0). Let i be b(a). Let q = i + -4. Is -5 at most as big as q?
False
Let f = 2781/11 - 253. Let k(c) = -c**3 + c + 2. Let n be k(0). Suppose 0*z + n = 2*z. Which is smaller: f or z?
f
Let p be (-986)/7735 + (-2)/(-14). Which is smaller: -1 or p?
-1
Let l(n) = -n**3 - 9*n**2 + 10*n + 3. Let c be (-60)/(-8)*4/(-3). Let m be l(c). Which is greater: -0.1 or m?
m
Suppose 0*s + s - 11 = 0. Suppose -4*u = -5*t - 29 - 11, 2*u - 3*t = 22. Suppose u*g + s = 1. Which is greater: g or -1/2?
-1/2
Let j = 224 + -2014/9. Let g = -1.8 - -2. Which is bigger: g or j?
j
Let o be 3 + (1 - 1) + 1. Suppose m + 4*q = o*m - 222, -3*q + 271 = 4*m. Let g be 4/m*1*5. Which is greater: g or 1?
1
Let y = 30 - 29. Which is smaller: y or 0.06?
0.06
Let c = 20.1 - 4.1. Do 2/9 and c have the same value?
False
Let q be (-88)/(-3)*(-63)/28. Let k = -200/3 - q. Suppose 5*m + 15 = -3*f - 2*f, 7 = -f - 5*m. Do k and f have different values?
True
Let s = -1.3 - -1.2. Are s and 0 unequal?
True
Let i be 3/(-9) + 2/6. Suppose 0*z + 3*z = i. Suppose -5*u = o - 2*o - 1, z = -3*u. Which is bigger: o or 2/9?
2/9
Let l(k) = -k**2 + 9*k - 6. Let b be l(6). Let m = b + -8. Is 4 at least m?
True
Let z be -18 - (-6)/(3 + 0). Are z and -16 unequal?
False
Let m(d) = 4*d - 5. Let f be m(2). Let c be f - 3 - 3/3. Let b = -11/3 - -52/15. Is c <= b?
True
Let o = 177 - 150. Which is smaller: -1/4 or o?
-1/4
Let l(i) be the first derivative of 1 - 1/4*i**4 - 2*i**2 + 2*i**3 - 5*i. Let f be l(5). Is 2/7 at most as big as f?
False
Let w(n) = n**3 + 7*n**2 + 2*n + 10. Let h be w(-7). Do -1 and h have the same value?
False
Let y(g) = -2*g. Let q(c) = -c. Let u(z) = -13*q(z) + 6*y(z). Let x be u(-1). Let m be (0 + -1)/(-2 - x). Does m = -2/9?
False
Let k(x) = -3*x**2 + x. Let g be k(-1). Is g > -4?
False
Suppose -6 = -0*o + 6*o. Is 6/17 at most as big as o?
False
Let p(s) = -2*s - 14. Let o be p(-7). Let u be (-1 - -1) + (-3)/3. Does o = u?
False
Let p = -1303/9 + 145. Do 0.07 and p have the same value?
False
Let x(r) = r**3 + 10*r**2 + r + 9. Let q(g) = g - 10. Let c be q(0). Let j be x(c). Which is smaller: j or -2?
-2
Let n(c) = c**3 - 3*c**2 + 2*c - 2. Let i be n(3). Let s = 3 + 1. Suppose 0*y = y - 3*a, i*a = -s*y. Which is bigger: -1 or y?
y
Suppose 3*l = 8*l + 4*n - 8, l - 4*n + 8 = 0. Is 3/26 at most as big as l?
False
Let v be (2/(-16))/((-2)/(-4)). Let w(a) = -a**3 + 5*a**2 - 5*a + 5. Let g be w(4). Is g equal to v?
False
Let m be ((-9)/(-63))/(6/7). Are -1 and m unequal?
True
Suppose -6*n - 8 = -2. Let r = 0.3 - 0.3. Let m = r + 1. Is m greater than n?
True
Let f = 36 