109 + 7113. Let i = -0.01 - -0.31. Is z at least as big as i?
True
Let m = -6579/40 + 828/5. Which is greater: 0 or m?
m
Let g = 52.1 - 57.1. Let a = 13 - 9. Suppose 0 = p + 3*p + 3*k, -a*p + k = 0. Which is bigger: g or p?
p
Let p = -497 - -565. Is 66 greater than p?
False
Suppose 2*d = 2*t - 34, -t = -4*t + d + 51. Let z = t - 14. Suppose 3*b + 2*c + 28 = 0, -2*b - z*c = 3*b + 45. Are 0 and b non-equal?
True
Let x be 1*-1 - (-3 + 8). Let p = -6 - x. Suppose 2*g + p + 2 = 0. Which is smaller: g or 1?
g
Let i = -201 - -209. Which is greater: i or -4?
i
Let y be 14/(-4) - (-18)/6. Let x = 127 - 129.06. Let a = x - -0.06. Is a > y?
False
Let o = 193 - 194.1. Is o != -3/2?
True
Let f = 60.83 + 1.17. Let j = 62.12 - f. Are 0.2 and j unequal?
True
Suppose 3 = -5*u - 2. Let z = -14210/3 + 4737. Which is bigger: z or u?
z
Let n be 4/(-134)*(-9)/6. Suppose -26*b - 37*b - 4 = -59*b. Is n greater than b?
True
Suppose 111 = 5*u + 11. Let n = 7.275 - 6.875. Is u > n?
True
Suppose 2*k + 8 = -0*k + 2*j, 0 = -j + 4. Let a be 23 + k - 3/3. Let b be 24/a*1/(-2). Which is smaller: 0 or b?
b
Let f(c) = -c**3 - 8*c**2 + 8*c + 24. Let p be f(-7). Is p at least as big as -77?
False
Let b(p) = p**3 + 23*p**2 - 6*p - 136. Let y be b(-23). Is 17/19 at least y?
False
Let z be (196/147)/(89/3). Which is bigger: 1 or z?
1
Let o be (-172)/90*(-2)/19. Let b = -2/95 - o. Let j = -51 - -51.1. Which is greater: j or b?
j
Let b(q) = -3*q + 2. Let t(w) = -4*w + 3. Let z(p) = -3*b(p) + 2*t(p). Let v be (-1)/4 - (-14)/(-8). Let h be z(v). Is -13/5 at least as big as h?
False
Let w = -56 + 58.074. Let m = -0.074 + w. Is m at most as big as 2/241?
False
Let s be (-2 + 1)/((-3)/129). Suppose 3*x = 4*i + 40, -3*i + 13 = -2*x + s. Let c be (i/14)/(-5)*2. Is c greater than 6/7?
False
Let t(y) = y**2 + 7*y - 6. Let j be t(-8). Suppose 2*h - 3 = -2*g + 13, 0 = j*g - 2*h. Let x be 2*5*(-2)/g. Is -5 >= x?
True
Let y = 103 + -70.7. Let n = 33 - y. Which is bigger: 2/7 or n?
n
Let n(w) = 38*w + 417. Let i be n(-11). Suppose k + 0*g - 25 = 5*g, -2*k = -5*g - 25. Suppose k = -x + 4*x. Is x <= i?
False
Let x = 33.6 - 32. Let s = -1.8 + x. Which is bigger: 6 or s?
6
Suppose -5*z = -3*z + 2, 0 = 2*q + z + 93. Is -46 greater than or equal to q?
True
Suppose -14*r = -56 + 28. Suppose 3*x + 25 = 73. Suppose r*u - x = -4. Is 5 smaller than u?
True
Let d be 7/(105/78)*30. Let p be 20/8*d/10. Is p >= 39?
True
Let k = 3 + -4. Let o be (-252)/(-105) - (-5)/(-2). Is k < o?
True
Let v = 90 - 94. Let g be 4/20 + 1 - v/(-20). Is -2/89 equal to g?
False
Let n be 30646/(-1815) + -1 + (-9)/(-11). Let c = -67/5 - n. Suppose 4*t - 9 - 7 = 0, -2*t + 33 = 5*z. Which is smaller: c or z?
c
Let d(x) = x**3 + 7*x**2 + 21. Let r be d(-7). Let m = 38 - r. Let y(z) = 9*z - 2. Let j be y(2). Is m <= j?
False
Suppose y = 5*y - 4. Suppose 0*w = -w + y. Which is smaller: 0.3 or w?
0.3
Suppose 39 = -29*f + 10. Which is bigger: f or 2/255?
2/255
Suppose -5*x + 3*x = -44. Let b = 26 - x. Let i be 40/(-4)*2/b. Is 0 >= i?
True
Let w(u) = 2*u + 37. Let a be w(-29). Let o(g) = -23*g**2 + 3*g - 4. Let k be o(1). Which is smaller: k or a?
k
Let k = -224.1 - -215. Let g = k + -1.9. Let s = 11 + g. Do -6 and s have different values?
True
Let v(l) = 26*l**2 - 259*l - 11. Let o be v(10). Is o not equal to -14/97?
True
Let n(g) = 5*g + 35. Let s be n(-7). Which is smaller: s or -10/27?
-10/27
Let u be (-2)/(-1 + (-68)/(-60)). Let p = u - -14. Which is bigger: p or 16?
16
Let a = 7 + -1. Suppose -4*c + 37 = -5*n, -2*c = -a*n + 3*n - 21. Let z = 25 - 21. Is z > c?
True
Let m(g) be the second derivative of 23*g**3/2 - g**2/2 + 6*g. Let l be m(-1). Let p be 4/(l - -2)*-3. Which is bigger: 1 or p?
1
Suppose 24 = 4*z + 4. Let m(b) = -b**2 + 4*b + 4. Let l be m(z). Is l greater than -2/87?
False
Suppose 0*j = 5*j - 5. Let u be 5 + (-1632)/164 + 10/2. Is j at least u?
True
Let g be 4 - (4 + 27/6). Let b be ((-2)/6)/(636/90 + -7). Which is smaller: g or b?
b
Let b = -1577 + 1033. Which is smaller: -0.1 or b?
b
Suppose 3*y + 2*z = 2*y - 14, 3*z + 23 = -2*y. Let w be (-8)/20 - y/40*-6. Is -2/71 at least as big as w?
True
Let r be ((-94)/49)/((-60)/56). Let f = -34/105 + r. Let h = -4/5 + f. Which is bigger: h or 0?
h
Let g = -231 - 0. Let u be (1/(-3))/((-7)/g). Let r = u - -8. Is r <= -1?
True
Suppose 3*n + 4 = -11. Let j(x) = 2*x**3 + 11*x**2 + 4*x - 2. Let g be j(n). Let c be g/996*2*-4. Which is smaller: 0 or c?
c
Suppose 158*p - 48 = 162*p. Which is bigger: -15 or p?
p
Let h(t) = -80*t**3. Let a be h(-1). Let x be (-8)/(-28) - a/35. Is x at least as big as -1?
False
Let p(q) = 3*q + 20. Let v be p(-6). Suppose -v*r + 13 = -g, 3*r = 5 - 2. Let o = 0.4 - 0.3. Which is smaller: o or g?
g
Let z = -22423/2727933 + 14/1857. Is -1 < z?
True
Suppose -3*r - 15 = -0*r. Suppose -78 = -5*c + 32. Suppose -c = 3*j - 7. Is j > r?
False
Suppose -9 = -3*p + 5*a + 9, -4*a = 5*p + 7. Let q = 281/5 + -3089/55. Which is bigger: p or q?
p
Let u be (-205)/10*2*1. Let n = u + 40. Which is greater: -7/5 or n?
n
Let c = 118/3 + -40. Let b = -39.07 + 39. Is b less than c?
False
Let t = 39970/1581 - 774/31. Let u = t - -6/17. Which is smaller: u or -2/15?
-2/15
Let r be -10*11/495 - 182/(-90). Which is bigger: r or -1?
r
Let y = 2.33 - 2.23. Is -0.85 bigger than y?
False
Let m = 19.1 - 19. Is m > 44?
False
Let m be 4/(-24)*-2*3. Suppose -m = y - 5. Suppose 3*l + r = -58, -2*l = -3*l + y*r - 41. Are l and -20 equal?
False
Let w be -16*8/(-384) - 266/6. Is -47 bigger than w?
False
Suppose 68*z - 77*z + 1350 = 0. Which is smaller: 147 or z?
147
Let l(q) = 2*q + 19. Let w be l(-8). Suppose w*n + 5 - 2 = 0. Let u be 3/(-6) + n/(-5). Which is greater: u or 1?
1
Let v = -0.298 + -1.472. Let c = 2 + v. Let s = c + 1.07. Is 2/7 < s?
True
Suppose 2*l + 195*y = 194*y + 496, 744 = 3*l + 5*y. Is l bigger than 248?
False
Let x = 2698 - 2194. Which is bigger: x or 503?
x
Suppose 0 = -19*s + 615 + 316. Is s at least as big as 0?
True
Let x be 2/(-9) - (-2 + (-11354)/63). Which is smaller: 183 or x?
x
Let f = -2643143/379 + 6974. Is 0 > f?
False
Let u(o) = -o - 2. Let y(r) = 5*r + 8. Let w(s) = 9*u(s) + 2*y(s). Let l be w(4). Suppose 4*x - 8 = -l*b, -b = -3*b + x + 3. Are 2 and b unequal?
False
Let n = 65 + -42. Suppose 2*b + 67 = -n. Is b at least -45?
True
Let j = -115 - -115.094. Let y = 0.074 - j. Which is bigger: 4 or y?
4
Let i(s) = s**3 + s**2 - 70*s + 19. Let j be i(-9). Is j at least 8/159?
True
Let g = -15 + 10. Let u = -12 - g. Let k be 0 + -3*(-15)/(-9). Is u >= k?
False
Let m = -22 - -20.5. Let b = 33 + -31.5. Let r = m - b. Is 0.2 smaller than r?
False
Let o(x) = -8*x**3 + 1. Let j be o(-1). Let r = 12 - j. Let t be r - (-8)/(-4) - 2. Which is smaller: -2/9 or t?
t
Suppose 5*b = -0*y + y - 18, 0 = -2*y - 3*b - 3. Let r = -2 - -2. Suppose -3*z + r = -y. Is z >= 1?
True
Suppose 0*a + 4*v = -2*a + 2, a + v = 5. Let z(t) = 3*t + 6 - 5*t**3 - 13*t + 6*t**3 + a*t**2. Let w be z(-10). Is 7 less than w?
False
Suppose 0 = 3*o + 4*f + 12, 14 = 3*o - 3*f + 5. Suppose 0 = -s + 1 + 1. Let q = 1 - s. Is o less than or equal to q?
False
Let t = -18/53 - 87/212. Let l(u) = -u**2 + u - 1. Let h be l(0). Let r(g) = 2*g**3 - g**2 - 2*g - 1. Let j be r(h). Which is smaller: j or t?
j
Let k = -1649/288 + 107/18. Which is smaller: k or 1?
k
Let z = 4.085 + -0.085. Let j = 3.8 - z. Which is greater: j or 2/5?
2/5
Suppose 5*b = -2*k + 126 - 495, k = 4*b + 290. Let h = b + 108. Let c = h + -36. Which is bigger: 3 or c?
3
Suppose 2*q + c - 7 = -0*c, 4*c = -5*q + 25. Let u be 1*-15*(-204)/(-36). Let j be ((-20)/u)/4*-1. Which is smaller: j or q?
j
Let n be 4/(-18) - 151/9. Suppose l - 92 = 5*x, -5*l = 35*x - 30*x + 80. Is x <= n?
True
Let r(h) = -h - 10. Let u be r(-3). Let l(z) = z**3 + 5*z**2 - 5*z + 8. Let f be l(-6). Suppose -3*x + 4*x + 2*n = 0, 0 = x - f*n + 12. Are x and u non-equal?
True
Let n(j) = -j**2 - 9*j + 16. Let r be n(-11). Let l be (-1)/((-4)/r)*40/(-20). Suppose 6*d - 36 = -0. Which is smaller: d or l?
l
Suppose 24 = 7*c - 3*c. Let b(p) = -12*p**3 + 11*p**3 - 2 - c*p**2 + 2. Let m be b(-6). Is m greater than -2/29?
True
Let k be -5 - (4 - 3)*-3. Let w = 6 - 2. Suppose 3 = w*o + 5*n - 6, 5*o + 4*n - 9 = 0. Which is bigger: k or o?
o
Let b = -14 + 14. Let s(i) = -i**3 - i - 2. Let