 f greater than -678?
True
Suppose 16*r - 213 = -80 + 91. Let c be (-110)/6*8/(-10). Which is smaller: r or c?
r
Let l = 8 - 7. Let v be (-1)/(l - (-20)/(-22)). Let g be (6/v*-1)/(-2). Which is smaller: 0 or g?
g
Suppose z + 1 = 2*b, -3*z + 40 = 2*z + 5*b. Suppose -z*y + 10 = 2*c, 2*y + 4*c = -1 + 5. Suppose y*n = -3*j + n + 9, 0 = 2*j - 4*n - 6. Does 1 = j?
False
Let m be (19/(-3))/((-8)/480). Does 380 = m?
True
Let t = 0.28 + -0.02. Let o = -0.66 + t. Which is bigger: 3 or o?
3
Let h = 0 + 16. Let z = 7 - h. Which is greater: -2 or z?
-2
Let c(z) = z**3 + 7*z**2 - 9*z + 24. Let g be c(-9). Which is bigger: g or -0.1?
-0.1
Let o = 6.9 + -7. Suppose 0 = 6*x - 3*x - 6. Let q be (1/x)/((-36)/16). Which is smaller: q or o?
q
Let z = -931905/2992 + 3426/11. Which is smaller: z or 0?
z
Let p = 16 + -8. Suppose -r - p = -9*r. Is r equal to -1.5?
False
Let h = 13 - 13. Let v = -12 + 4. Let c be 10/63 - v/28. Is h != c?
True
Let a = 2/1873 + 22454/20603. Suppose 5*h + x = -0*x - 411, -h = -4*x + 99. Let v = h + 84. Is v greater than a?
False
Let w = -1.3 - -0.3. Let q = -31.08 + 37.08. Is w less than or equal to q?
True
Let k be (1 - (-152)/3) + 18/(-54). Which is bigger: 50 or k?
k
Let f = 172/5 + -10826/315. Suppose -3*l = -4*l - 2*p - 6, -2*l - 2*p = 6. Does f = l?
False
Let f = 159/8 - 5255/264. Is 0 at least as big as f?
True
Let w be 3/(-2) - 1/(4/(-454)). Is 112 < w?
False
Suppose -2*b = 3*b - f - 478, -f = b - 98. Let u = -2 + 2. Suppose b = -u*h + 8*h. Is 1 less than h?
True
Let c = -20 + 30. Let u(k) = k**2 + 4*k - 5. Let i be u(-6). Let m = c - i. Which is smaller: m or 3/2?
3/2
Suppose -g = -3*g + 6. Suppose 0 = 5*f - y + 17, -g*y + 21 - 3 = -4*f. Let j be f/(-2)*224/48. Is j > 6?
True
Let f be 10/(-14) + (-2)/7. Let i be (5 - (-7049)/(-1470)) + 8/(-60). Are f and i nonequal?
True
Let m be (0 - 8)/(19/(-57)). Are 12 and m non-equal?
True
Let c = -30 + 52. Let b = c - 22.4. Which is bigger: -4 or b?
b
Let g = 14.419 + 0.181. Let h = g + -14.7. Which is greater: -0.14 or h?
h
Let n be (-1558)/(-209) + (4 - 2). Is n greater than or equal to 10?
False
Let g = -1 - -11. Let j = g + 15. Let l = -0.32 + 0.42. Which is smaller: l or j?
l
Let i = 204.3 + -16.3. Is 3 not equal to i?
True
Let w = -2 + 0. Let x be (7/(-5) - -4)*2. Let j = x + -24/5. Which is smaller: w or j?
w
Let o be (-40)/(-60) - 2/21. Which is smaller: o or 1?
o
Suppose n - 109 = -107. Which is smaller: 15/29 or n?
15/29
Let w be (29/3)/((-3)/9). Let t = -12 - 16. Which is smaller: t or w?
w
Let w = 0.0167 + 1.5833. Which is smaller: w or 2?
w
Let u = 1322357/9022134 - -196/6743. Let v = u - 2/223. Which is smaller: v or -1?
-1
Let h be (1/(-2))/(10/(-4)). Let t be 13 - 13 - -2*1. Let r be ((-42)/(-20) - 2)*(-2 - t). Which is bigger: h or r?
h
Let c = 46/7 - 7. Is 2 at least c?
True
Let y = -25.36 - -25. Let q = y - 1.64. Are 2/11 and q non-equal?
True
Suppose 4*l - 4*t = 80, 0 = -0*l + l + t - 18. Suppose -7 = -2*f + 2*v - l, 0 = f - 4*v + 3. Let n be 2/f - 128/(-56). Which is bigger: n or 5/8?
n
Let y = 1 + -0.9. Let a = 0.89 - -10.11. Is y at most a?
True
Let n = 0.01 + -0.31. Let m = n + 0.3. Let c = 777.2 + -778. Which is greater: c or m?
m
Let f be (-2)/4 - (31 - 31). Let x be (-10)/12 + 3/6. Which is smaller: x or f?
f
Suppose 96 - 24 = 3*x. Let m(i) = i**3 - 31*i**2 + 108*i + 22. Let z be m(27). Is x bigger than z?
True
Let y = -79 + 36. Let j = y + 48. Which is greater: 1/2 or j?
j
Let r be 1 - (-2 + 0 + 0). Suppose -16*j + 3*k = -18*j + 13, -4*k - 11 = -3*j. Is r <= j?
True
Suppose -3*u + r = -28, -14 = -4*u + 4*r + 18. Suppose -l - 2 + 0 = -5*w, 3*w + 5*l = -u. Which is greater: 1/50 or w?
1/50
Suppose 3200 = 5*m - 2*f + 1151, 4*f - 834 = -2*m. Is m less than or equal to 412?
True
Let s = -0.09 - 11.91. Let q = 20 + s. Does q = -2?
False
Let k = -39.9 + 40. Let g = -1.95 + 2. Let v = 4.05 - g. Which is smaller: v or k?
k
Let x be -112 - (5 + -6 + 5). Let j = x + 84. Is -32 greater than j?
False
Let u be 36/27*9/6. Suppose -t = -1 + u. Is 1/100 at least t?
True
Suppose 5*g = 3*x - 39, -5*x + 19 = -2*g - 27. Suppose -4*y + 27 = -9*l + x*l, 30 = -5*l - y. Let n be (8/(-6))/((-1)/(-6)). Are n and l unequal?
True
Let l be 155/(-217)*44/5. Is l <= -7?
False
Let o = -1983 + 1513028/763. Let f = -10687/3815 - o. Let w = f + 51/20. Is 0.1 != w?
True
Let h = 135 + -74. Is h smaller than 58?
False
Let p = 10.9 - -2.1. Let l = p + -13. Is l <= -0.1?
False
Let f = 2.41 + -2.71. Which is bigger: f or 12/37?
12/37
Let r = -200962/51451 - 16/2237. Which is greater: -5 or r?
r
Let m be (4/(-12))/(3*(-1)/432). Is 48 smaller than m?
False
Suppose -55*b - 12 = -61*b. Is 35/43 at most b?
True
Let v be 2/((-40)/14462) + 8/80. Are v and -722 equal?
False
Let i = -94 + 733. Let q = 7024/11 - i. Let w = q - 1/22. Which is smaller: w or 0?
w
Let v(k) be the third derivative of -5*k**4/12 + 2*k**3/3 + 5*k**2. Let i be v(6). Let b be 38/i + (-2)/(-8). Which is smaller: 1 or b?
b
Let k be ((-2)/(-8))/(3/24). Suppose -3*m = -12, 0*z - k*z + 5*m = -76. Suppose -p + z = 3*p. Is 13 less than or equal to p?
False
Suppose 0 = 4*p - 4*x, 5*p - 4*x = 3 - 0. Let t be (-16)/48 - 8/p. Let s be -2*(t + (-15)/(-6)). Is s <= -2/31?
False
Let s(t) = 2*t + 8. Let a be s(-13). Let m = 8 + a. Let w be (-5)/m*12/(-15). Is w greater than or equal to 1?
False
Let b = 48 - 56. Let t = 0.06 - 0.16. Is t >= b?
True
Let l = -18 + 24. Let y be (0 + -1)/(27/l). Let a = 0 - 0. Which is greater: a or y?
a
Let o = 477 + -476.342. Let g = o + 0.042. Is g greater than -0.1?
True
Suppose -w - 2*w - 15 = y, -18 = 2*y + 2*w. Let j = y + -2. Is -8 <= j?
True
Let m(d) = 141*d - 71. Let q be m(4). Which is smaller: q or 494?
q
Let q(n) = 6*n**3 + 32*n**2 + 9*n - 5. Let d be q(-5). Which is smaller: -63/52 or d?
-63/52
Let j be ((-2574)/840 + 3)/3. Do j and -1 have different values?
True
Let n(g) = -46*g**2 + 1 - 1 + 4*g - 7 + 49*g**2. Let p be n(2). Is p <= 11?
False
Let z(m) = m**2 + 3*m + 10. Let f be z(-3). Suppose -1 = -5*i + 29. Let c be i/15 - (-2)/f. Is 2 equal to c?
False
Let q(b) = 8*b - 3. Let t be q(3). Let i be t/14 + (0 - 2). Suppose -2*w + 7 = -4*o - 13, o + 5 = 0. Which is bigger: w or i?
w
Let v = 6 - -116. Let o = 121 - v. Is o >= 0.04?
False
Let b = -62.1 - -62. Let o = 123 - 64. Is b <= o?
True
Let y be 0 + -3 + (3 - 2). Let m(s) = -2*s**3 - 4*s**2 - 3*s - 1. Let n be m(y). Suppose 4*i = 4*w - 40, n*w - 4*w - 28 = 3*i. Is i less than -9?
False
Let v = 718 - 3588/5. Suppose -5*s + 60 + 40 = 0. Is v smaller than s?
True
Let t be ((-8)/48 - 12455/(-30)) + 2. Is 0 > t?
False
Let i = -45 + 19. Let m(y) = 2*y + 58. Let d be m(i). Which is greater: 5 or d?
d
Let i = 26 + -28. Let x(u) = u**3 - 3*u - 4. Let b be x(i). Which is bigger: b or 0.1?
0.1
Let s be (88/10)/(4/(-10)). Is s greater than or equal to -70/3?
True
Let l = -38.1 + 39. Let m = l - 1. Is m equal to -17?
False
Let j be -2 + 2 + 0/(-1). Let t = 35 + 0. Let a be 75/t + 0 + -2. Which is smaller: j or a?
j
Let t = 13/15 + -6/5. Let y be (-18)/(-4) + 6/(-12). Let l be (-4)/14 + y/(-35). Are l and t non-equal?
True
Let l be 536*(-2)/(-2) - (-19 + 21). Is l < 535?
True
Let h = 18 - -250. Let t be (-2)/(-6) + h/(-876). Which is bigger: -1 or t?
t
Suppose 37 + 5 = 2*t. Let v be 3/t + (-30)/(-35). Which is bigger: 0 or v?
v
Suppose v - 3*s = 11, -2*v + 4*s + 8 = -4. Let c(p) = p**3 + 4*p**2 + 2. Let i be c(v). Suppose 0 = 4*k - i*w, k + 4*k + w = 14. Is 3 not equal to k?
True
Suppose -8 = 3*z - s + 25, -2*s = 5*z + 44. Let q(c) be the first derivative of c**4/4 + 11*c**3/3 + 5*c**2 + 7*c + 6. Let t be q(z). Which is bigger: t or 8?
8
Let x(q) = -q - 7. Let j be x(-6). Let o be 4 + 1851/(-420) + (-3)/(-12). Let f = 3/10 + o. Is j < f?
True
Let f be 60/(-14)*(1 - 60/130). Let n(s) = s**2 - 6*s - 3. Let c be n(6). Which is smaller: c or f?
c
Let h be (-5)/(-32)*(-33)/(-660). Which is smaller: 1 or h?
h
Let u = -6 - 3. Let k = u + 9.7. Which is greater: k or 1?
1
Let k = -396 + 475. Which is greater: 78 or k?
k
Let v be -4*(2 + -7 + 3). Let z be 10/4 + 4/v. Let h(u) = -2*u - 7. Let r be h(z). Which is smaller: r or -12?
r
Suppose 2*d - s + 19 = -0*s, 2*d + s = -13. Is -15/2 bigger than d?
True
Suppose 5*d + 21 = 51. Let k(v) = v - 8. Let p be k(14). Suppose 5*m = 25, 