(-34). Let b = 557/5 + q. Is -7 > b?
False
Let v = 70 + -31. Let c = v + -33. Is 0.2 greater than c?
False
Suppose t = -6*t - 84. Let s be t/36*(-1797)/(-1). Let g = -7791/13 - s. Is 0 <= g?
False
Let l = 4.39 + -4.5. Let o = l - -0.31. Are 0.1 and o equal?
False
Let p = 15 + -14.9. Let i = -8.8 - p. Let s = -9 - i. Is s at most -10?
False
Let s(c) = -c**2 - 11*c + 14. Let n be s(-12). Suppose 5*t + 18 = -n*x, 2*x + 3 = t - 3. Let j be (-2)/x - (-3 + 2). Which is bigger: 2 or j?
2
Let l(z) = z**3 - 34*z**2 + 3*z - 103. Let a be l(34). Let w(n) = -n - 7. Let x be w(-5). Let s be 87/(-45) - x/6. Is s at least as big as a?
False
Suppose 3*m - 12 = -k, 0 = -2*k - m - 0 - 1. Let p be ((2 - -2)/(-2))/k. Which is greater: 0.33 or p?
p
Suppose 0 = 3*w - 1 - 65. Let n = -21 + w. Let z be (-2)/3 + (-16)/(-33). Is n equal to z?
False
Let c = 1996/117 - 242/13. Let y = -1 - -4. Suppose 2*b + y = 1. Which is bigger: b or c?
b
Let s be (-9 + 71/5)/(63/15). Which is bigger: s or 1?
s
Let g be 17484/(-108) - (-1)/(-9) - -1. Is -158 greater than g?
True
Let c(f) = 2*f**3 - 12*f**2 + 5*f - 30. Let q be c(7). Which is smaller: q or 101?
101
Let o be 288/21 + 4/14. Let y be 4/18 + (-1275)/27. Let r = -34 - y. Is o at least r?
True
Let g(a) = -a - 2. Let m be g(-2). Let f be m*((0 - -2) + -1). Let v be (6*2/16)/(-2). Is v != f?
True
Let n be 52 + (-2 - -6) - -4. Let b be 5/(n/(-21))*12. Let k = b + 17. Is k less than -3?
True
Let n be -2 - (5 - -2)/(-1). Suppose 3*h = -n + 14. Suppose y - 35 = -4*z, -y + 0 + 3 = 0. Which is smaller: z or h?
h
Let z be 56/237*225/(-150). Is 1 less than or equal to z?
False
Let l = 16 - 20. Let w be (l/(-6) - (-132)/(-225))*-5. Which is smaller: -3/26 or w?
w
Let u be 5 + (-5 - (-8)/4). Suppose 9 = -0*w - 5*w - 4*h, 2*w = u*h. Does w = -4?
False
Suppose 0 = 8*w - 0 - 984. Is w at least 1?
True
Let m be 7 - 5 - (2 - 21). Let y = m + -42. Are y and -20 equal?
False
Let v = 140 - 61. Let q = v + -75. Which is bigger: q or -1?
q
Let w = 3.4 + -1.4. Which is greater: w or -18?
w
Let c be (-5)/(-2)*(0 + (-230)/(-25)). Which is greater: 12 or c?
c
Suppose 0 = 4*o + 3 - 11. Let f be 0 + (1 - (0 - 63)). Let h be (-48)/f + 66/(-8). Which is bigger: h or o?
o
Let i be (-6)/(5652/(-2838)) + -3. Do -1 and i have the same value?
False
Let s = -0.54 - -0.14. Let x = s + 5.4. Let i = 0.05 + 0.05. Is x at least as big as i?
True
Let m = 32 + -24. Let u be (5 + (3 - -1 - m))/1. Which is smaller: 0 or u?
0
Suppose -5*t - y + 5*y = -25, 3*y + 16 = t. Let m be (30/(-110))/(t/2). Which is smaller: m or -2?
-2
Let o = 24 - 17. Let t = o - 1. Suppose 4 = i + d, -d - 60 = -3*i - 40. Do i and t have the same value?
True
Let f be 2*(3 - 174)/(-3). Let g be (-100)/f + (-10)/(-15). Do 0 and g have different values?
True
Suppose o = -0*o + 2*p - 1, -o = -3*p + 4. Suppose 4*q = -o + 1. Let z be 4 - (q + 5 - 4). Which is smaller: 20/7 or z?
20/7
Suppose 102 = -m + 3*m + 3*f, -2*m = 4*f - 104. Let c be 2/6 + (-16)/m. Suppose 3*t - 15 = c, 0*t - 3*t + 14 = -g. Is g < 0?
False
Let m = -124 - -123. Is m at least as big as 0.27?
False
Let w(j) = -j**3 + 6*j**2 - 3*j + 3. Let s be w(3). Let f = -2 + 3. Suppose -y + f = -5*n + s, 0 = -2*y - n + 4. Which is greater: -5/8 or y?
y
Let z be (-833)/204 - (3 + -7). Which is greater: z or 0?
0
Let q = -29.863 - -0.563. Let f = q + 28. Let v = -1.2 - f. Which is bigger: v or -0.2?
v
Let q be 12 + 1 + -1 + 2. Let c = -39 + 48. Let l be 432/30 - c/(-15). Is q less than l?
True
Let x be (-1)/6*(-16)/68. Which is greater: x or -1?
x
Let c be 2/(-2) - (0 - -6). Let f = -16737 - -16730. Are c and f non-equal?
False
Suppose -2*v - 7*o + 39 = -10*o, 0 = 4*v + 4*o - 68. Let w be 53 - (21/(-9) - (-6)/v). Is 56 equal to w?
False
Let l(v) = -v**2 - 15*v + 11. Let p be l(-37). Do p and -803 have the same value?
True
Let o be (75 + -1)/(10*(-2)/(-20)). Does o = 68?
False
Let j(b) = -b. Let x(i) = -i**3. Let k be x(0). Suppose -v + k*v = -3. Let h be j(v). Do -8/3 and h have the same value?
False
Let m be 12/54 + 92/(-9). Let w = m - -19. Let k = 25 - 16. Is k greater than w?
False
Let h be (-4)/(-3 + 1) + -12. Let z be (-15)/102*((-12)/h + -1). Is z not equal to 1?
True
Let y be 8/3 - 1/(-6)*-4. Suppose j = 5*n + 10, n + y - 6 = -j. Which is smaller: 3/8 or n?
n
Let i = 4 + -2. Suppose m - 5 = -4*h, -m + i*h - 1 = -0*h. Let y = -2024/15 - -135. Do y and m have different values?
True
Let o(v) = -v**3 + 25*v**2 + 87*v - 77. Let x be o(28). Suppose 44 = 5*i + 3*u, -42 = -3*i + 3*u - 6. Which is smaller: i or x?
x
Let u(k) = -k**3 - 4*k**2 + 3*k - 5. Let t be 12/(-8)*(-8)/6. Suppose -2*y - 3*z + t + 3 = 0, 40 = -5*y + 3*z. Let l be u(y). Is 11/2 less than l?
False
Let u be (4 - 1) + 0 + 2. Let a = u - 4. Do a and 4/7 have different values?
True
Let z be 0 - 221*1/(-4). Let b be (-25881)/72*4/(-26). Let k = z - b. Which is smaller: 0 or k?
k
Suppose 4*k - 2*k - 4 = 0. Suppose 4*l + 0*u + 2*u = -40, l + k*u + 16 = 0. Let w be (-2)/6*(l - -4). Is w <= 1?
False
Let v be 206 + (2 + (-18)/(-3))/2. Is v != 210?
False
Let q = 10 - 7. Let t be (117/q)/((-6)/(-4)). Let x = -65/3 + t. Which is smaller: 3 or x?
3
Suppose -2*c - 743 = -283. Is -228 >= c?
True
Suppose 0 = f - 4*q + 10, 3*q + 7 = -3*f - 8. Let d be (-1 - -3) + 14/f. Is 20 >= d?
True
Let t = -454 - -453.9826. Are -1/3 and t unequal?
True
Let j be (2/(-7))/(3/7). Suppose 30*m = 25*m + 45. Suppose 0 = -7*v - 5 - m. Is v not equal to j?
True
Suppose -85 = -4*k + 9*k. Let b(t) = t + 18. Let w be b(k). Let c be 10/8 - (-4)/16. Which is greater: c or w?
c
Let a = -10 + 18. Suppose -294 = a*s - 2*s. Is -50 at least as big as s?
False
Suppose 4*c = 2*k + 10, -5*c + 4*c - 3 = 5*k. Let m be 128/6 - c - 6/(-9). Are 22 and m nonequal?
True
Let u(a) = 14*a + 7. Let f be u(-4). Let c = -48 - f. Let l = 1604/10257 - 2/789. Is l <= c?
True
Let i = 8.69 + -9. Let d = 0.19 + i. Let g = -0.1 + 0. Which is greater: g or d?
g
Let r = -6 + -2. Suppose 120 = -7*g - 8*g. Is g at least r?
True
Suppose -19 = -5*l - m + 42, l = 3*m + 25. Suppose 15*h = l*h. Which is smaller: 42 or h?
h
Let s be ((15/87)/5)/(-2 - -3). Which is smaller: s or -1?
-1
Let a = -3 + 3.1. Let z = 88.6 + -88.642. Is a smaller than z?
False
Let l = 327 + -333.87. Let r = l + -0.13. Let s = 7 + r. Which is smaller: s or 8?
s
Let k be 2/(-8) + 4/(-240). Let w(q) = -q**2 + 21*q + 45. Let c be w(-2). Which is bigger: k or c?
k
Let y be (6 - 1) + -4 - -4. Suppose -l = -y*l - 56. Which is smaller: l or -1?
l
Let j = 11265 + -11343. Suppose -2*l - t - 141 = -6*t, 4*t + 12 = 0. Is l greater than j?
False
Suppose -5*m = -q + 227 + 59, -4*m - 4 = 0. Is q greater than 281?
False
Let l(w) = -w**2 + 4*w. Suppose 6 = -m + 2*o, 0*o - 25 = -5*o. Let p be l(m). Let s be (-52)/(-21) + ((-284)/28 - -9). Are s and p nonequal?
True
Suppose -5*x + 8 + 4 = -3*b, 2*b - 2*x + 4 = 0. Is -4/499 at least as big as b?
False
Let s = 18 - 23. Let l = s - -6. Is 2 at most as big as l?
False
Suppose 0 = 3*v - 5*i - 33, 5*v - 4*i - 34 = 34. Let z be 1/(-8)*v/(-8). Let j = -31 - -31.4. Which is greater: j or z?
j
Let t be (-2 - (-51)/45) + 8/10. Is 0 > t?
True
Let m(f) = f**2 + 6*f - 6. Let x be 47/(-7) - 4/14. Let v be m(x). Let j = -1657 - -19885/12. Which is smaller: j or v?
j
Let f = 29 + -43. Let u = 14.2 + f. Which is bigger: u or 1?
1
Let y be 4*(0 + -1) - (-11319)/(-87). Let p = y - -134. Is p <= 1?
True
Let k = 3787/3036 + 2/759. Is k less than 1?
False
Let l(p) = 4*p - 1. Let s be l(3). Suppose z = 5*y + 12, 3*z + 2*y + y = 0. Suppose q - s = z*q. Is 2/3 greater than q?
True
Suppose -2*m - 21 + 7 = 0. Let i = 786 - 5484/7. Let k = i + -47/21. Is m bigger than k?
False
Suppose 4*z - 2*k + 52 = 0, -86*z = -85*z + 2*k + 3. Let a be ((-4)/(-5))/(-1)*-5. Which is smaller: z or a?
z
Let v = 949 + -18043/19. Let n = -53 + 51. Is n < v?
True
Let b(f) = 16*f - 5. Let p(u) = 46*u - 14. Let i(z) = 17*b(z) - 6*p(z). Let c be i(0). Which is smaller: c or -7/6?
-7/6
Suppose -2*q = 4*o - 26, 10 = 5*q - o - 0. Suppose q*c = -c. Let d(p) = p**2 + 15*p + 29. Let k be d(-13). Are c and k unequal?
True
Suppose -1016 = -75*o + 79*o. Which is smaller: o or -255?
-255
Let a(l) = 2*l**2 - 10*l - 4. Let u be a(8). Let h = u - 19. Let c be -1 - h*2/(-46). Which is greater: -1 or c?
c
Let d(t) 