 greater than or equal to -12?
True
Let p = 443 + -263. Is p < 180?
False
Let h be ((-982)/(-14))/((-1)/(-2)). Let u = 784 - 644. Let c = u - h. Which is bigger: 1/2 or c?
1/2
Let d(l) = 3*l**2 - 5*l - 8. Let s be d(-9). Let i = -3646/13 + s. Is -1 smaller than i?
True
Let p be 16/12*51/2. Suppose -4*b + 5*g = p - 7, -5*g = -3*b - 19. Let h = b + 6. Is -3 >= h?
False
Let m(k) = k**3 - k**2 - 9*k - 2. Let r be m(-6). Let f = -819/4 - r. Is f smaller than -4?
True
Let b be 1/5*35/(-7). Which is bigger: b or 6/125?
6/125
Let r be (8/(-20))/(7/(-15)). Let i = 8 + -8. Let u = i + 2. Which is greater: r or u?
u
Let f be -2 - (-3)/1 - 43. Let l = f - -12. Let t be l/(-40) - (-2)/(-8). Is -3/5 at most as big as t?
True
Let b = 340.7 + -336. Which is bigger: 0.1 or b?
b
Let t be -1*-2*3/303. Let f = t + -212/505. Let s = -9 - -6. Are s and f equal?
False
Suppose 0 = -2*d + 2 - 0. Let i(b) = -b**3 - 2*b**2 + 2*b. Let h be i(d). Let g(n) = -n**2 - n - 1. Let l be g(h). Is 6/13 > l?
True
Let l be (-2 - 10/(-35))*7. Let w(y) = -y + 10. Let x be w(l). Is 22 <= x?
True
Suppose 293*h = 296*h - 582. Which is smaller: h or 191?
191
Let p = -11 - 24. Suppose 30*j = 38*j + 272. Which is smaller: j or p?
p
Let w = 177625150319816/275 + -645910603622. Let r = w + 966094. Let y = r + 34/25. Which is smaller: 1 or y?
y
Let g = -956 + 58319/61. Which is smaller: 0 or g?
0
Let a = -55 - -58. Suppose 0*u + 11 = c + 2*u, -a*c = 4*u - 23. Which is smaller: 0.022 or c?
0.022
Let r be -2*19 + 4/2. Suppose -f - 77 = 3*z + z, 0 = -3*f + 9. Let w be 1*3/(r/z). Which is smaller: w or 1?
1
Let u(s) = -s**3 + 4*s**2 - 2*s - 3. Let n be u(3). Suppose -2*k - 10 = -2*t, -4*k = -5*t - n*k + 25. Suppose -2*b + 11 + t = 0. Is b at least as big as 9?
False
Let y = 2099/4 + -527. Which is bigger: y or 0?
0
Let t = -25 - -28. Let n be 8/12 - (-60)/18. Is n greater than or equal to t?
True
Let i = 292 + -344. Which is smaller: i or -54?
-54
Let l = -40 + 42. Suppose -6*n = -2*n + a - 8, 0 = -l*n - 5*a - 14. Which is bigger: n or 11/6?
n
Let p = -28617/56 - -511. Which is greater: p or -1?
p
Let c = 2678/105 + -128/5. Let l = -25/42 - c. Let r = 99 + -1088/11. Which is greater: r or l?
r
Let z = 10788/5 + -120493/55. Which is bigger: -32 or z?
-32
Let y = -0.51 - -38.51. Let q = -24 + y. Let z = q - 14.1. Which is greater: 2/17 or z?
2/17
Let w = 4/15 - -59/60. Suppose 0 = -d + 5, -9*d + 7*d = 2*s - 14. Which is bigger: s or w?
s
Let k be -4 + -2 + -2 + 5. Let w be 6/(k + (-3)/(-3)). Let n = -1 - w. Which is smaller: n or 0?
0
Suppose -5*a = -5*v + 105, v = 2*v + 2*a - 15. Suppose 0 = 5*z - 16 - v. Let p be 8*(2/6)/(65/195). Is p at most z?
False
Suppose 5*f + 22 = 3*o, 0*f + 3*o - 4 = -4*f. Let k be 198/(-96) + (-3)/f. Which is smaller: k or -1?
-1
Let k = 6.7 + 2.6. Let u = -3.6 + k. Is -0.1 at least u?
False
Let x be (-6 - (0 - 7)) + (-4)/(-14). Let w(l) = l**3 + l**2 - 2*l + 1. Let v = 15 + -14. Let i be w(v). Is x > i?
True
Let t = -0.05 - 0.25. Is -20 less than t?
True
Suppose h = 6*h - 135. Let g = -15 + h. Which is greater: 0 or g?
g
Let m = -31 - -48. Let y(g) = 3*g - 14. Let q be y(10). Which is bigger: q or m?
m
Suppose 4 = -826*c + 827*c. Which is bigger: 2 or c?
c
Let s = -704 + 704. Let u = -0.8 + 2.9. Is u smaller than s?
False
Let k = -13802 - -800495/58. Is k < 0?
True
Let l = -95/11 - -837/88. Suppose 3*b = 2*m - 7*m + 6, -4*m - 2 = -b. Is b equal to l?
False
Suppose -41 = 17*s - 41. Is s >= -1/894?
True
Let u = -17.47 + -0.53. Let r = -2 - -2. Is r > u?
True
Let l be (-45)/30*2/(-166). Which is greater: l or 1?
1
Let i be ((-84)/(-10))/((-6)/15). Is i < -27?
False
Let c = 0.2318 - -1.3682. Which is smaller: c or 1/3?
1/3
Let h = 179 - 178. Is h < 3/44?
False
Suppose 0 = 2*h + 48*h - 11700. Which is greater: h or 237?
237
Let b(f) = 2*f + 6. Let t be b(6). Suppose -3*p = -x + t, x - p - p = 16. Let u be ((-48)/(-1))/4 - 0. Is x > u?
False
Let y = -4871/5289 - -41/43. Do 1 and y have different values?
True
Let y = -20.4 - -20.34. Which is smaller: y or -138?
-138
Let o(y) = -y**3 - 14*y**2 - 19*y - 9. Let a be o(-12). Is -69 greater than a?
False
Let u(h) = -h**3 + h + 1. Let r(q) = -3*q**3 - 9*q**2 - 8*q - 14. Let x(k) = r(k) - 2*u(k). Let z be x(-8). Which is greater: z or -1/15?
z
Suppose f = -p, 3*p = 3*f + 51 - 57. Does -1/676 = p?
False
Suppose 5*c - o = 3, 4*o + 549 - 522 = 5*c. Let h = 890/95739 - -1/987. Which is smaller: c or h?
c
Let i = 16 + -17.2. Let f = i - -1.41. Let h = f - 0.11. Is 0.5 > h?
True
Let g be (1995/5)/7*(-1)/(-3). Which is smaller: 115/6 or g?
g
Let w = 1396/3 + -210760/453. Which is greater: 1 or w?
1
Let z be (12/75)/(6/(-5)). Let u = 40 + -40.5. Which is smaller: z or u?
u
Let j = -5055 - -14998/3. Suppose 5*w - 97 - 178 = 0. Let k = j + w. Is -1 not equal to k?
True
Let h(i) = 3*i**2 + 9*i - 16. Let m(d) = -2*d**2 - 4*d + 8. Let x(t) = -3*h(t) - 5*m(t). Let q be x(6). Suppose -v + 5 = q. Is v less than -1?
False
Suppose 0 = 6*v + 20 - 74. Suppose 4*q - q = -v, -g + 4*q = -173. Is 1 > g?
False
Let d = -97.2 - -97. Which is smaller: d or -5?
-5
Let o be (-1)/1 + 54/22. Suppose -4*p + 14 = 2*u, 0 = -4*u - 206*p + 211*p - 11. Is u smaller than o?
True
Let x be 6/10*1/(-3). Let c = -59 + 62. Suppose -h + 5*n = 14, -h + 12 = c*n + 2. Does h = x?
False
Let v be 1/(-2)*1*-18. Suppose -4*a = 51 + 65. Let b = a + 37. Which is bigger: v or b?
v
Let a = -1/363 - 1421/11253. Which is greater: 1 or a?
1
Let w be 78/(1/2 - -1). Let y = w + -54. Is -11/7 != y?
True
Let h be 47134/62008 + (-2)/4. Let x = h - -1/1348. Is -1 < x?
True
Let j = -2295 + 229497/100. Which is greater: -1 or j?
j
Suppose 16*o = 107 + 53. Let a(t) = t**2 + 3. Let c be a(0). Suppose m - c*m + 20 = 0. Is o not equal to m?
False
Suppose -z - 175 = 4*z. Let d be (-60)/z*(-2)/(-4). Suppose 5*q - 3*g = 16, 5*q + 3*g - 8 = 2*g. Are q and d equal?
False
Let r be -1 - (4 + (-214)/42). Let j = 46 - 47. Is r at most j?
False
Let p = -17/5 - -1333/395. Suppose 2*u - 3 = -5. Which is smaller: u or p?
u
Let h(g) be the first derivative of 13*g**2/2 - 11*g + 1. Let q be h(7). Suppose 25 = 5*z, 2*z = -5*m - 0*z + q. Is 15 less than m?
False
Suppose 0 = 2*d - b + 5 - 7, 5*b + 20 = 0. Which is bigger: d or -2/25?
-2/25
Let l = -89/672 - -1/7. Suppose j = 6*j - 5. Which is smaller: j or l?
l
Suppose 11 = b + 2*x - x, 0 = b - x - 3. Suppose f = -4*f - 5. Let p be (-3 - (-3 + f))*7. Are p and b non-equal?
False
Let c = 67879/51 - 1331. Let t be (0/8)/(1*-2). Which is smaller: t or c?
c
Suppose -60 = 3*f + 3*y, -2*f = -2*y + 15 + 17. Let c be (17 + 1/(-1))/(2/4). Suppose j + c = 15. Is f at least as big as j?
False
Let z be (8/162)/((-180)/54). Is 4 at most as big as z?
False
Let l be (-16)/10*(2 - -83). Which is smaller: -137 or l?
-137
Let b = 142 - 142.15. Is -9 != b?
True
Let q = -63/10 + 481/70. Suppose 2*o - 104 = -11*o. Suppose o*s - 13*s = -5. Which is smaller: q or s?
q
Suppose p = -3*q + 8, 5*p - 6 = 2*q - 0*p. Let n be ((-595)/10)/((-4)/8). Let j = n + -473/4. Which is greater: j or q?
q
Let b(y) = 4*y + 18 - y - 5*y. Let w = -152 + 161. Let o be b(w). Is o <= -1/15?
False
Let f = 15595/6 + -2599. Is -159 != f?
True
Let o(j) = 6*j**2 - j - 1. Let q be o(1). Let f be 5/((3 + 1)/q). Suppose 0 = h + 3*m - 10, 0*m = f*m - 15. Are h and 1/6 equal?
False
Let g = 220.1 - 220. Which is smaller: 6/515 or g?
6/515
Suppose -565 = 2*c + p, 4*c + p + 535 = -596. Is c at most as big as -284?
False
Suppose 0 = 132*x - 137*x + 345. Does 68 = x?
False
Let y = -0.03 - 2.37. Let d = 0.15 - 1.55. Let x = d - y. Are x and -0.19 non-equal?
True
Let g be (1/((-22)/99))/(1/(-90)). Is g at most as big as 404?
False
Suppose -i + 3 = 0, -3*j + 2*j = -5*i + 12. Suppose -4*w - 4*y = -w - 30, j*y - 50 = -5*w. Let l be (w/25)/((-18)/15). Which is greater: 0 or l?
0
Suppose 0 = -3*g - 7*g. Is -13/67 at most g?
True
Let m(b) = -33*b - 691. Let f be m(-23). Which is smaller: 67 or f?
67
Let y = 9 + -49. Let x = y - -36. Let a = 0.02 + -0.32. Which is smaller: a or x?
x
Let r be ((-16)/(-6))/(8 + 1716/(-216)). Is 49 at most r?
False
Let q be 0 - ((-11)/33 - (-6)/8). Which is smaller: q or 1?
q
Let l = 2.522 - 0.522. Let w = -6 + 4. Let i = l + w. Which is greater: i or 2.2?
2.2
Let o be 4/((-8)/(-558)) + -1. Is 278 smaller