**3 + 2*z**2 + z - 1. Let u be x(-1). Do u and 5 have different values?
True
Let p be 0 - -1 - (-8 + 0). Is 8 at least p?
False
Let l be 28/(-192)*(-2)/(-14). Which is smaller: l or 0?
l
Let u = -5 - -8. Let i = 2 - u. Let d = -1 + 0.9. Is i at least as big as d?
False
Let o(y) = y**2 - y + 19. Let d be o(0). Suppose 5*a - d = -4*z + 2, 3*a - 15 = 0. Do 0.02 and z have different values?
True
Suppose 0 = -v + r - 4, 0 = -2*v + 7*v + 4*r - 16. Let n = 0 - v. Which is smaller: 2/19 or n?
n
Let t(x) = 8*x - 2. Let r be t(-6). Let b = 211/4 + r. Which is smaller: 4 or b?
b
Let x be (4/(-6))/((-1)/(-3)). Let m(a) = -a**3 + 9*a**2 + 11*a - 12. Let z be m(10). Let n be (6 + z)/(-2) - -2. Is n less than x?
False
Let o(x) = -2*x**2 - 7*x - 1. Let v(t) = -t**2 - 3*t - 1. Let l(z) = -3*o(z) + 5*v(z). Let g be l(-6). Let h be g/(-4) + 9/(-6). Which is greater: h or -1/2?
-1/2
Let l = -2/71 + 77/213. Which is smaller: 2.1 or l?
l
Let q = 27 - 25.1. Let y = q - -1.1. Is 2/7 equal to y?
False
Let a be 70*-2*1/(-5). Let s be (-15)/6*a/(-10). Let j = -6 + s. Do 1 and j have different values?
False
Let b be 2*106*(-1)/12. Let a = b + 18. Which is smaller: a or -2/3?
-2/3
Let n = 11 - 19. Let q = n - -13. Which is greater: 3 or q?
q
Let w = -47 + 39. Which is smaller: 1 or w?
w
Let h be 1 + -1 - 18/(-15). Is h != 0?
True
Let y(w) = -4*w - 1. Let g be y(7). Is -29 != g?
False
Let h be ((-3)/(-2))/(2/4). Suppose p = h*p. Which is greater: p or 1?
1
Let z be (18/10 + -2)/((-14)/(-175)). Which is smaller: z or -4?
-4
Let o = 8.9 + -8. Let s = o + -0.9. Which is smaller: -3 or s?
-3
Suppose 0*h = -4*h - 16. Let l be 8/h + 16/6. Which is bigger: l or -1?
l
Let v = -0.07 + -1.93. Which is greater: v or 0.3?
0.3
Let m = 7 + -6. Let n = -10 + m. Let y = -8.7 - n. Which is greater: y or -1/2?
y
Let b = 31 + -43. Is b less than -12?
False
Let n = -59/45 - -10/9. Are -2/9 and n non-equal?
True
Let o = 2 + -1. Let b = 21 + -25. Let z = b + o. Which is greater: 0 or z?
0
Let r(k) = k**3 - 5*k**2 + 3*k + 1. Let d be r(4). Let a be d/(-5) - 84/40. Is a greater than or equal to -0.1?
False
Let l be -5 + 6 + 54/(-15). Is l less than or equal to -3?
False
Suppose y + 8 = 3*y. Suppose -2*l + 15 = 2*n - 3, n - 17 = -3*l. Is y less than or equal to l?
True
Let f = 140 - 139. Which is smaller: -3/46 or f?
-3/46
Let m = 4 - 4. Let a be (-1 - -1)*(-1 - m). Suppose a = -2*i - 4. Is 1 bigger than i?
True
Let j = -61 + 306/5. Is j smaller than -5?
False
Suppose -82 + 14 = -2*w - 4*o, 12 = 3*o. Is 25 less than w?
True
Let y be 4 - ((-4 - -18) + (-2)/1). Let a be 8/(-3)*(2 + 1). Is a greater than y?
False
Let u be ((-2)/(-260))/((-6)/(-12)). Is u less than -1?
False
Let s(g) = g**2 + 7*g + 2. Let n be (-5)/(2 + (-2 - -1)). Let a be s(n). Let t be 18/a + 2/8. Is t bigger than -4/5?
False
Let j be (23/14)/(6/(-1852)). Let c = -507 - j. Which is smaller: 0 or c?
0
Let x be 4 + -4 + -1 - -2. Which is smaller: -1/7 or x?
-1/7
Let v = 3 + 1. Let p = v - 4.1. Which is greater: 2/7 or p?
2/7
Let q be (-70)/(-4)*(-48)/10. Let p = q + 1007/12. Is p at most 0?
True
Suppose -38 = l + 26. Let b be -1 - -2 - 1362/21. Let p = b - l. Which is bigger: p or -1?
p
Let m(o) = 2*o**2 - 3*o. Let a be m(2). Suppose -3*c + 1 = -a. Which is smaller: c or 5/6?
5/6
Let u = 0 + 13. Suppose 4*c = -3*s + 20, 4*s - 3 + u = 2*c. Do s and 1/18 have different values?
True
Let w = -864/11 - -80. Is 1 at most w?
True
Let m(z) = 3*z**2 + 1. Let r be m(1). Suppose r*v + 11 = -1. Which is bigger: v or -1?
-1
Let x be 1684/14 - (-6)/(-21). Let y be x/(-352) - (-2)/8. Which is smaller: -1 or y?
-1
Suppose 3*m - 2*u = -u, 2*m + 4*u = 0. Let c be m/(3*-1 + 0). Let i be (3/(-6) + c)*2. Is -1 at most as big as i?
True
Let w(s) = s**2 - 1 - 2 - 2*s + 4*s + 0. Let l be w(2). Which is smaller: l or 2?
2
Let l be ((-2)/(-8))/((-1011)/(-24)). Which is smaller: l or 0?
0
Let d = -14 + 19. Suppose -2*v + t - 5 = 0, -20 = d*v + 5*t - 10*t. Suppose 2*u - 5*m + 36 = 13, -u - m + 6 = 0. Which is bigger: u or v?
u
Let o be (2/18)/((-15)/(-90)). Which is bigger: o or -3?
o
Let k = -8 - -9. Let t be (-20)/55*k/2. Are 0 and t equal?
False
Suppose d - 8 = c + 6, 5*d - 2*c - 73 = 0. Suppose -1 = -m - 3*b + 8, 5*m - d = -5*b. Is m >= 1/8?
False
Let d = 4.001 - -0.099. Let a = -0.1 + d. Which is bigger: 0 or a?
a
Let k = -168 + 1510/9. Suppose -3 = -8*b + 5*b. Suppose -2 + b = i. Which is greater: i or k?
k
Let y = -0.28 - -0.14. Let w = 0.08 + y. Let z = w + 2.06. Which is smaller: z or -3?
-3
Let g = 42 + -58. Does -3 = g?
False
Let b be (-4)/(-14) + (-19)/(-7). Suppose -4*a - 2 = 3*f - 13, a + 4 = -3*f. Suppose -2*i = -1 + 9, -b*r + 20 = -a*i. Is r < -2/13?
False
Let o = 98 - 395/4. Let w be (-3)/(-3) - (1 - -1). Is w at least o?
False
Let t = -24 - -36. Let m = t + 3. Suppose m = c + 4*c. Is c at most 4?
True
Let c be (-2 - (-5 + 5)) + 6. Are 2.1 and c unequal?
True
Let b = 14.75 - 15. Let t = -0.05 + b. Let x be 1 - ((-5)/3)/(-1). Is t at least as big as x?
True
Let q = 12 + -7. Suppose 2*l + 2*l + 3*b = -27, -5*l = -2*b + q. Which is bigger: l or 0?
0
Suppose -5*d + 4*t + 32 = 0, t + 7 = -2*d - 4*t. Suppose 126 = 106*v - 85*v. Are v and d non-equal?
True
Let f(o) = -o. Let g be f(-3). Suppose g + 9 = -4*a. Let s(u) = 6*u + 27. Let y be s(-5). Is y smaller than a?
False
Let v = -71 - -354/5. Let a be 0/(-1)*(-2)/(-4). Suppose -q + 0*q = a. Are v and q non-equal?
True
Suppose 5*i = z - 1 + 2, -3*z = 4*i + 3. Is 3/29 greater than i?
True
Let g = 11 - 8. Suppose 6*c - 6 = g*c. Suppose -1 + 3 = -c*d. Is d not equal to 1?
True
Suppose -6*o = -2*o - 80. Suppose -4*k + 3*c = -4, k + c = -3*c + o. Let s = -4 + k. Is -2 less than s?
True
Let g(u) be the first derivative of -u**3/3 - 3*u**2 - 6*u + 2. Let b be g(-5). Let j be 1*(2 + 0) + b. Which is bigger: -1/3 or j?
j
Let j = 3 - 4. Is 2/23 != j?
True
Let y = 3 + -2.9. Do y and -2/17 have the same value?
False
Let b be (-2*(-3)/3)/21. Let u = -3/7 + b. Is 0 not equal to u?
True
Let c be ((-2)/6)/(4/24). Let g = -4 - c. Let t = 0 - g. Is 5/4 equal to t?
False
Suppose -3*r - 6 = -36. Suppose 0 = d - 0*d + 12. Let z be 3/(-15) - d/r. Which is smaller: z or -0.1?
-0.1
Let w be (-13)/((-78)/12)*1/6. Does w = 1?
False
Let a = 16.05 - 16. Is a < -0.1?
False
Let d = 14.1 + -14. Do -49 and d have the same value?
False
Let a = 1.82 + -1.9. Let r be ((-20)/(-125))/((-2)/(-5)). Does r = a?
False
Let y be (-4)/12 - (-2)/6. Which is greater: -3/4 or y?
y
Let o = -1 + 0. Let t be (-1 - (-2 + 1))/o. Suppose 0 = 4*v - t*v. Which is smaller: v or 2/9?
v
Let m be ((-63)/(-90))/((-1)/(-4)). Is 4 smaller than m?
False
Let x(i) = -i**2 + 6*i - 1. Suppose v = 4*l - 6, -5*l + 3*v + 2 = -v. Suppose -18 = l*n - 5*n. Let d be x(n). Is d less than -1?
False
Suppose 4*z - 20 = 0, 105 = -3*w + 4*z - z. Is w at least -31?
True
Let n = -564/7 - -80. Suppose 2*f + 2*b - 47 = -15, 2*f + b - 30 = 0. Let c = f + -15. Is c at least n?
False
Let a be 3/2 - 18/12. Are -8/9 and a nonequal?
True
Let c = 34 - 33. Which is smaller: 2/5 or c?
2/5
Let y(j) = j**2 + 7*j - 1. Let t be y(-7). Is t smaller than -1/80?
True
Let o = -2 - -5. Suppose -o*b + 1 = 4. Which is greater: -1/42 or b?
-1/42
Let y(z) = -z**3 - 4*z**2 - 3*z. Let f be y(-2). Is -10/3 at most as big as f?
True
Let j = -1 - 9. Which is bigger: j or -9?
-9
Let o(k) = -3 - k**2 + 0 + 0*k + 6*k. Let f be o(5). Let m be (-5)/2*8/(-5). Is f less than m?
True
Let w = 23.18 - 23. Let u = w + 6.82. Let c = u + -8. Which is greater: c or -0.4?
-0.4
Let b = -1 - -1. Suppose 0 = 9*s - 6*s + 189. Let r be 8/(-28) + 3/s. Is b < r?
False
Let t = 3 - 4. Let b(y) = 5*y**3 - 5*y**2 - 5*y - 9. Let g(c) = -3*c**3 + 3*c**2 + 3*c + 5. Let w(a) = 4*b(a) + 7*g(a). Let n be w(1). Is t smaller than n?
True
Let l(d) = -17*d + 52. Let m be l(6). Is m at most as big as -49?
True
Let i = 11.7 + -11.5. Which is greater: 40 or i?
40
Suppose 0 = 4*r - 1 + 5. Let q be ((-3)/(-10))/((-12)/(-10)). Is q smaller than r?
False
Let g be (13/(-3) + 2)*-3. Let w = 1 - -4. Suppose 25 = -o - w*t, 4*t + 13 + g = 0. Which is smaller: 1 or o?
o
Let a be (-1 - -2)/(4/64). Suppose a = h + 7. Is h at least as big as 9?
True
Let d(q) = q - 4. Let o be d(7). Which is greater: o or 5?
5
Let o = 2 + -1. Is o less than 9/5?
True
Let w(i