Let o = 0 - a. Which is bigger: o or r?
r
Let r = -192.9 - 8.1. Let h = r - -202. Let f = 0.1 - 0.1. Is f > h?
False
Suppose -5*j + g - 20 = 0, 3*j + 4*g = 7*g - 24. Let f = 12 + -10. Let z be -5 + f/(-6)*-3. Is j greater than z?
True
Suppose -384*y + 404*y = 6420. Which is smaller: 320 or y?
320
Let i = -20.24 + 20.04. Which is bigger: i or -201?
i
Let c(k) = -21 - 8*k**2 + k**2 + 21*k + 0*k**2 + 4. Let z(h) = -10*h**2 + 31*h - 26. Let d(g) = 7*c(g) - 5*z(g). Let f be d(8). Is 12 greater than f?
True
Let c = 848 - 849. Which is smaller: -0.067 or c?
c
Suppose -24 = -23*a + 22. Let b be 21/6*2 + -3. Suppose -2 = -3*q + 2*c, 0 = -5*q + 4*c - 0 + b. Which is greater: a or q?
a
Let v be 1 - 1 - (-4)/30. Let t be 8/12 + 16/3. Let d = -7 + t. Is v at least d?
True
Suppose -4*m - 432 - 396 = 0. Is 4 at least m?
True
Let y = 45 + -47. Let c be (-35)/(-28)*((-21)/10 - y). Suppose -5*z + 3*g + 4 = 0, 0 = 3*g + 5 + 4. Which is smaller: c or z?
z
Let k be 9 + (0/(-2))/(-2). Let l = k - 7. Suppose l*v + 1 = h + 4*v, -h - 5*v + 4 = 0. Is h at most 2?
True
Suppose -3 = -6*p + 9*p. Let u(y) = -7*y**2 - 5*y - 9. Let b be u(5). Let s = b + 3554/17. Does p = s?
False
Suppose -3*a + 6 = -0. Let b be (a*-1)/(8/86). Which is bigger: -21 or b?
-21
Let p = 2448 + -2448. Is p greater than or equal to 16/11?
False
Let x(g) = -4 - 4*g + 3*g - 10 - 8*g. Let v be x(3). Which is bigger: -40 or v?
-40
Suppose 2*z = -3*w + 5*z + 27, -3*w = -4*z - 26. Let a be (-2)/12 - 1586/(-156). Suppose -5*v - 6*s - a = -s, v - 3*s - w = 0. Is v <= 2/5?
False
Let l(t) = 3*t - 32. Let x be l(11). Let j be x/(-3)*(7 - -86). Is j greater than or equal to 1?
False
Let n(v) = 0*v**3 + 2*v**3 + 5*v - 4*v**3 + v**3 + 5*v**2 + 6. Let q be n(6). Let j(l) = l**3 + 17*l**2 - 17*l + 19. Let s be j(-18). Is q not equal to s?
True
Suppose 0 = -5*m - 20, 3*i - m - 4 = 6. Let o be (0 - 2)/(-1 + i). Let j be 20/18*-9*16/120. Which is greater: j or o?
j
Let i(z) = -z**2 - 5*z + 6. Suppose -7*s + 2*s = 35. Let b be i(s). Let j = -20 - b. Which is smaller: -13 or j?
-13
Suppose -z = 3*p + 25 + 24, -4*z = -3*p + 136. Is z at least as big as -35?
False
Suppose 3*i = 7*i - 20. Suppose -3*d = -i*d. Which is greater: -2/127 or d?
d
Let q = -28.2 - 5.8. Which is smaller: 1/3 or q?
q
Let y = -15 + 26. Let o(b) = 11*b**3 - 2*b**2 - b + 3. Let f be o(1). Is f bigger than y?
False
Suppose 0 = 7*i - 3*i - 8. Let u = 643 - 6423/10. Does i = u?
False
Let q(y) = -y**3 - 24*y**2 - 69. Let s be q(-24). Which is bigger: -67 or s?
-67
Let o(d) = -19*d - 191. Let k be o(-10). Do 1611 and k have different values?
True
Let z(t) = 2*t + 17. Let b be z(-10). Let h be (-3)/b + (-25)/(-10). Which is smaller: h or 3?
3
Let n = 0.1 - 0. Let q = 144.3 + -137. Let j = q + -8.3. Is n <= j?
False
Suppose i - 127 = s, -5*s = -4*i + 275 + 365. Let b be 1/(-3) + 28/s. Which is greater: 0 or b?
0
Let b = 100 + -102. Which is smaller: -12/13 or b?
b
Let a(k) = -k**2 - 9*k + 173. Let d be a(-25). Is d less than or equal to -227?
True
Let w be 42/(-6) - -4 - 1*-149. Is w at most as big as 146?
True
Let z be (27 + -36)*(-2 - -1). Suppose -z*x = -1 - 8. Is -8/29 less than or equal to x?
True
Let x = 27.5 - 30.5. Let l = -0.3 - -0.6. Which is bigger: x or l?
l
Suppose -2762 = -30*g - 7442. Which is smaller: g or -155?
g
Suppose -13*n = -10*n - 9. Let l be (1 - (3 - -26)) + n. Is -26 <= l?
True
Suppose -35 = -3*u + 13. Let c be u/126*27/36. Is c less than or equal to 1?
True
Let k = 109.4 + -109.3. Which is smaller: -199 or k?
-199
Let q be 6/8 + (-4)/(-16). Let y be 3/1 - 59/(-2). Let g = y + -32. Is q greater than or equal to g?
True
Let g = 1306 + -1274. Is g less than 234/7?
True
Let o = 1439 + -1436. Which is bigger: 13 or o?
13
Let i be 1/(-50)*(-5 + 2)/(-1). Which is bigger: 1 or i?
1
Let x be 4/(-2)*(4 + (-63)/14). Which is smaller: -21 or x?
-21
Let c(q) = 6*q - 48. Let s be c(6). Let w be (s - 12)*((-6)/(-4))/(-3). Is w greater than or equal to 12?
True
Suppose 6 = -2*m, 0 = -g - g - 2*m - 12. Let s be 1 - (-1 - (2 + -4)). Let p be 3 - (6/g + s). Is 5 at least p?
True
Suppose -4*t - 12 = -4*i, -4 = -4*i + 3*t + 5. Let m be (i + -1 - -2) + 58/(-60). Is -1 at least as big as m?
False
Let o(c) = 8*c + 2. Let j be o(0). Let v be j/(1 - (-12)/(-14)). Which is bigger: v or 15?
15
Suppose -64*v + 68*v + 5*u + 148 = 0, 0 = -v + 5*u - 37. Is -3 smaller than v?
False
Let r(k) = k**3 + 16*k**2 - 18*k - 14. Let b be r(-17). Let n be (1 - 10/15) + b. Which is smaller: 2 or n?
2
Let p = -0.239 - 44.761. Is p != -2?
True
Let s be (-31 + 30)/(2/226). Which is greater: -111 or s?
-111
Let a = -20 + 8. Let n(z) = z**3 - 3*z**2 + 7*z - 15. Let r be n(3). Let m(g) = -g + 6. Let j be m(r). Which is greater: a or j?
j
Suppose 4*o - 5*o = -2. Let q be o*-3*6/(-198). Which is smaller: -8 or q?
-8
Let k = 90 + -117. Does 0 = k?
False
Suppose -2*h - 4*b = 154, 216 = -3*h - 0*h - b. Which is smaller: h or -72?
-72
Let i(o) = -16*o - 3. Let d be i(5). Let j = d - -251/3. Which is smaller: j or -0.01?
-0.01
Suppose -y - 3 = 0, 0 = -8*f + 3*f + 4*y + 22. Suppose 3*p + f + 1 = 0. Let o = 481/8295 + -1/1185. Are o and p nonequal?
True
Suppose -2*h - 4*t - 26 = -0*h, -2*t = -2*h - 20. Let o(n) = n**2 + 4*n - 27. Let a be o(h). Is 50 != a?
False
Let r(b) = -2*b. Let a be r(0). Suppose a = -6*q - 0*q + 18. Which is greater: q or -2?
q
Let v = -12.03 + 12. Let n = 61/5 + -239/20. Is n at most as big as v?
False
Let w(a) = 16*a + 127. Let u be w(-8). Which is smaller: 2 or u?
u
Suppose -w - 4*w = 4*h + 98, -3*w = -h + 52. Let p be (-3)/w*-14*3. Which is bigger: p or -8?
p
Let t be 4/28 - (-3 - 15936/(-28)). Is t bigger than -566?
False
Let l = -15 + 9. Let r = -8 - l. Let q be (r/4)/((-2)/4). Is q < -1/3?
False
Let x be -21 + -3 - (2 - -2). Let v = x + 15. Are v and -15 non-equal?
True
Let p(d) = d**3 - d + 5. Let l be p(0). Suppose 0 = l*q - 5*r - 15, -r + 17 = -q - 5*r. Let j be (4 + q)*(-2)/(-6). Which is smaller: j or 4?
j
Suppose -61 = 6*u + 353. Is -70 bigger than u?
False
Let h = -1502/3 + 512. Do h and 10 have different values?
True
Suppose 14*o - 15*o = 4. Let y(u) = -2 + 4 + u**2 - 3 - u - u**3. Let h be y(0). Is h < o?
False
Let l = -49 + 53. Suppose -l = -2*y + 6, -s - y - 5 = 0. Let h(z) = -z**2 + z + 3. Let t be h(-3). Is t smaller than s?
False
Let s = 228 - 250. Which is bigger: s or -17?
-17
Let h(l) = 3*l - 12*l + 11 + 10*l. Let r be h(8). Let c = -39/2 + r. Which is greater: -1 or c?
c
Let t = 27 - 3. Suppose 0 = -2*n - 3*r - 48, 0*n = n + 2*r + t. Let p = n - -23. Which is bigger: 0 or p?
0
Suppose 5*i - i - 152 = 0. Let g be (-2)/1736*i/3. Let j = -5/62 + g. Which is smaller: j or 0?
j
Let w(k) = -3*k**3 + 17*k**2 - 5*k + 38. Let m be w(6). Let n be 72/(-3)*10/8. Which is bigger: m or n?
m
Let q = 45 + -69. Let j = 8 + q. Let g = j - -15. Which is smaller: g or -2/67?
g
Let k(m) = 9*m**2 + 23*m + 98. Let q be k(-4). Which is bigger: q or 152?
152
Let p be -1 + (2 + -4)*-163. Let b be ((-10)/p)/((-1)/(-20)). Which is smaller: b or 0?
b
Let t be (3/(-5))/(-1*61/(-5)). Which is smaller: t or 0?
t
Let z(w) = -w**3 + 5*w**2 + 6*w - 2. Let g be z(6). Let h be 174/(-11) - g/(-11). Let q be (3/(-20))/(18/h). Is 0 at most q?
True
Let j = 358 - 375. Which is greater: -20 or j?
j
Let d = -98953/93423 + -4/2831. Which is greater: d or -1?
-1
Let c = 15/847 - 8593/293909. Is c bigger than 1?
False
Suppose 5*p = 10, 4*g + 4*p + 14 = -14. Let r = -8 - g. Let v = 29 - 30. Which is bigger: r or v?
r
Let h = -0.05 + -0.1. Let j = 1/783 - 523/783. Which is smaller: j or h?
j
Let t(g) = 2*g + 1. Let a(n) = n**3 + 9*n**2 + 9*n + 7. Let d be a(-8). Let x be t(d). Let s be x*52/28 - -2. Is s bigger than -1?
True
Suppose p = 2*p + 3. Let r = 29175/2 - 14589. Which is smaller: r or p?
p
Let a be -2 + -9 + 1/(-1). Let o = 7952 + -7953. Is o at least as big as a?
True
Let h = -234 - -163. Let a = 21 + h. Which is smaller: a or -49?
a
Let p(x) = -3*x - 26. Let o be p(-6). Let n be 2/o - 56/96. Is -1 less than n?
True
Suppose -y = -2*g + 157, 3*g + 16 = -4*y - 557. Let i = y - -87. Is -59 at most i?
False
Let w = 2.9 - 10.9. Let s = -13 + 12. Let b = 1 - s. Which is smaller: b or w?
w
Let k be 2 + (2 - 5)/(-3). Suppose -k*o + 18 - 6 = 0. Let y = -1 + 6. Which is smaller: y or o