o = 2*o + 15, -3*z - 2*o = 11. Let k be 3/((-20)/56*z). Is k less than or equal to 2?
True
Let w = -0.30362 - -0.10362. Let j be 4/(-6)*(-5 - -2). Suppose -13 = -f - 4*o, -3*o - j*o = -25. Is f at least as big as w?
False
Let y = 236 + -546. Let d = y - -314. Which is smaller: -16 or d?
-16
Let o be (2/231)/((-73986)/(-396)*(4 - 6)). Which is greater: o or 1?
1
Suppose h = 4*j + 3, -4*j - 5*h + 21 = 6. Suppose -6*o + 76 - 64 = j. Let l = -3 - -7. Which is bigger: l or o?
l
Let a(k) = k. Let b be a(3). Suppose -31*x = -15*x + 5984. Let f = -1489/4 - x. Is f less than b?
True
Let o be (2 + 0)*4/((-40)/1305). Let w = -261 - o. Which is smaller: 2/247 or w?
w
Let m be (195/172 + -1)/(800/(-3200)). Are m and 0 unequal?
True
Let m be 3/3*(-12)/516. Suppose 5*x + 25 = 0, -4*x - 19 = 4*d - x. Which is greater: m or d?
m
Suppose -o + 88 = -3*o. Suppose 3*d = 5*x + 16, x + 19 - 23 = 0. Let q be 0 - 27/d - (-6 + 4). Is o >= q?
False
Let z be (2798 - 1) + 12/(-24)*(16 + -2). Which is greater: 2787 or z?
z
Let a = -3009 - -3007. Let d = 17 - 9. Let p = a - d. Which is bigger: p or -12?
p
Let x = 6534 + -19777. Does -13244 = x?
False
Let w = 43.9 - 0.9. Let t = 35.3 - -6.7. Let q = w - t. Which is bigger: q or -0.06?
q
Suppose 827*i = 833*i. Suppose 9 = 2*b + q - 1, i = -3*q. Let a be 2/(-5) - (-17)/5. Are b and a equal?
False
Let j = 2737 - 3034. Which is bigger: -289 or j?
-289
Let u = 20 - 18. Suppose 0*x - 3*x - u*m = -4, 2 = -2*m. Is 10/3 smaller than x?
False
Suppose 95*l = 199*l + 312. Do 3943 and l have the same value?
False
Suppose 3*q - 7 = f, 4*f + q + 7 = 6*q. Let h = -27/14 - -299/126. Is h >= f?
False
Let j be (-1)/(4/(-192)*4). Suppose j*f = -4*f. Is -16/27 bigger than f?
False
Let t = 1146/803 + -144/73. Is -111 >= t?
False
Let p = 2659639 - 135624608/51. Let k = 333 - p. Do k and -1 have the same value?
False
Suppose 0 = 8*r + 27 - 254 + 1267. Which is smaller: -127 or r?
r
Let q be (4*(-25)/(-20) - (-4)/4) + -476. Is q less than or equal to -469?
True
Let v be (192/(-12) + -2126)/(0 - 2/(-4)). Which is bigger: -4285 or v?
v
Let c = -141/7 + 204041/10129. Which is smaller: 0 or c?
0
Let v = 41 + -215. Let x = 88.9 + -89. Do x and v have the same value?
False
Let p(m) be the second derivative of -3*m**5/10 + m**4/3 - 2*m**3/3 + m**2 + 2*m. Let h be p(2). Let d be (-16)/(-4) + h/9. Is -4 at most as big as d?
True
Let t be (32 + (-1089)/36)/((-1)/((-1)/(-3))). Is t greater than or equal to 0?
False
Suppose 123*n = 119*n + 4864. Is n not equal to 1216?
False
Let r = -64 + 67. Suppose 5*w + r*o = -2, 3*w + o - 1 = -3. Which is bigger: 1/78 or w?
1/78
Let i be (-122302)/(-69896) + (-112)/64. Is -1 < i?
True
Let r = -6 + 66. Suppose 292*o - 318*o + 1534 = 0. Let p = o - r. Which is greater: p or 1?
1
Let v(x) = x**3 + 5*x**2 - 6*x + 6. Let k be v(-5). Let h(p) = -8*p - 38. Let m be h(-5). Let y be m/(-6) - (-552)/k. Is y less than or equal to 14?
False
Let l(g) = g**3 - 20*g**2 + 109*g - 2. Let v be l(9). Which is smaller: 105 or v?
v
Suppose 4*i - 2*i + 20 = j, 0 = -4*i + 5*j - 40. Let l be (3 - (-28)/i)*1. Let r = 0 - l. Is 0.5 bigger than r?
True
Suppose -k = 4*h + 4*k - 36, -4*h + 4*k = 0. Suppose 2*o + 3*z - 2 = 0, 2*z - h = 4*o + 4*z. Is o <= -2?
True
Let y be ((-5 + (-63)/(-36))*4)/(3/(-12)). Is 45 >= y?
False
Let z be -4 + (-4)/(-2) + 28. Let c = z - 25. Let m = -93 - -16463/177. Are m and c nonequal?
True
Suppose 4300 = 45*x - 88*x. Does x = -98?
False
Let k(p) = -2*p**3 + 8*p**2 - 2*p + 11. Let b be k(4). Suppose n + 0*n + 260 = 3*c, 4*c + b*n = 364. Suppose 6*h - 10*h = c. Which is bigger: -24 or h?
h
Let a = 2919 - 2901. Which is greater: a or -4?
a
Let d be (2/4)/((-13)/(-1404)). Suppose -q = -7*q + d. Suppose -h = o + 50, 34 = -5*o + q. Is h at least -45?
True
Let z(k) be the first derivative of -k**4/4 + 7*k**3/3 + 3*k**2 - 9*k - 11. Let o be z(8). Which is greater: o or -26?
o
Let j be 13 + ((-4)/38 - 377381041/29266441). Is j < 0?
False
Let u = 0.09 + 87.91. Let m be (((-18)/(-15))/(-2))/(90/(-60)). Which is bigger: u or m?
u
Let s be 8 - (4 + (3 - 5)). Let u(c) = -5*c**2 - 7*c - 44. Let p(m) = -2*m**2 - 2*m - 15. Let o(w) = -8*p(w) + 3*u(w). Let r be o(s). Which is bigger: r or -4?
-4
Let s = 214 - 192. Suppose 0 = 3*n - 6*n - 4*c - s, 0 = -2*n - 4*c - 12. Suppose -3*a + 1 = -4*o, -2*a - 5*o - 10 = -4*a. Is a less than n?
False
Let w be (8548/3)/(6/(-9)). Is w at most as big as -0.1?
True
Suppose -5*a = -15, -6*x = -x + a + 1012. Let q be 2/10 - x/35. Suppose -l = q - 10. Do 1 and l have the same value?
False
Let n(j) = 2*j**2 + 4*j + 534. Let v be n(0). Suppose v = 31*a - 303. Is a <= 29?
True
Let u be (0 - 1 - (-21)/18)/((-2)/(-12)). Is u equal to -6.463?
False
Let d = 0.01 - 0.51. Let s = d - -0.3. Let w = 10544.11 - 10544. Is s <= w?
True
Let q be (-3)/(-28530)*2111802/44. Let m = -101/20 + q. Is m smaller than 0?
True
Suppose -3*g - y + 810 = 0, 3*g + y = g + 539. Let k = -81 + g. Are k and 190 equal?
True
Let c = -2010.707 - 8.293. Is -2/15 at most as big as c?
False
Let x = 0.02 - 0.52. Let l = -2544.401 - -2544.4. Do l and x have different values?
True
Suppose -42 = -3*p - 33. Suppose p*i = 5*i + 18. Which is smaller: -7 or i?
i
Let z be 15/45*(-2 - (0 - 17)). Suppose 0*m = -t - 2*m + 8, -z*m = t - 20. Are -2/1773 and t equal?
False
Suppose -4*z + 261 = -2*t + 1025, 4*z + 764 = t. Which is smaller: 8 or z?
z
Suppose -8*l - 368 = 6*d - 4*d, 2*l = 4*d - 110. Is l greater than or equal to -25?
False
Let m be (4/(-5))/((-396)/990). Let r(n) be the first derivative of -n**4/4 + n**3 - n**2 + n + 1. Let l be r(m). Is l >= 2/73?
True
Let a(q) = q**2 + 3*q + 2. Let u be a(-3). Let o be (-57)/u*(4/(-6))/1. Suppose 27*x = o*x - 256. Is -33 greater than x?
False
Let h = 3450 + -3495. Which is smaller: -7 or h?
h
Let o = -2488 - -4297. Is o less than or equal to 1807?
False
Let o = 4 - -16. Suppose 0*r - 2*h + o = -5*r, r + h = 3. Let w = 237 + -1669/7. Which is bigger: w or r?
w
Suppose 8*k = -21 - 11. Let o be 5 - (-1)/(k/(-24)*-2). Suppose 2*v = 4*j - 54, -2*j + o*v = j - 40. Which is bigger: j or 15?
15
Suppose -22*w - 1523 - 171 = 484. Is w less than -99?
False
Let z be 2/(-10)*-59*1740/696*82. Which is smaller: 2418 or z?
2418
Let v = -10 - -16. Suppose -v = z + y - 25, 5*y = -4*z + 80. Let a be z/(-40) - (-12)/32. Are 3/13 and a nonequal?
True
Let g(c) = -c**3 - c**2 + 3*c + 12. Let z be g(0). Suppose z*k - 36 = -0*k. Suppose 4*f = -5*j - 3, 5*j + 8 = k*f - 16. Is -3 greater than j?
False
Let a = 0.5864 + -0.5864. Which is smaller: -165 or a?
-165
Let x be 274/(-685) - 9/(-35). Is -0.0745 >= x?
True
Let u be (-204)/918*(-63)/33. Suppose -f = 3*f - 4. Is f at least u?
True
Let b = -5871 + 1918. Which is greater: -3952 or b?
-3952
Let b be 16/(-164)*(-51)/884. Which is smaller: b or 0.6?
b
Let l(r) = 2*r**2 + 162*r - 781. Let k be l(-115). Is k bigger than 7038?
True
Let z(v) = -v**2 - 46*v - 549. Let j be z(-25). Does -735/31 = j?
False
Let f be 2 + 7 + -9 - (-255)/30*-2. Let x be (-30)/80*137/3. Does f = x?
False
Suppose -237 = 24*m + 51. Let q be (-1)/(7680/36)*(-10)/m. Is -1 not equal to q?
True
Suppose 0*h = -131*h + 94442 - 260943. Is -6356/5 at most h?
True
Let o be (-11)/(308/816)*((-715)/26 - -1). Which is greater: o or 772?
o
Suppose 376 + 78 = -2*z - 4*x, -5*x = 3*z + 678. Which is greater: 6 or z?
6
Let d(t) = t**3 + 56*t**2 + 756*t - 68. Let p be d(-23). Which is smaller: p or -1/11?
-1/11
Let f(l) = -14*l**2 - 86*l + 84. Let k be f(-7). Which is bigger: 4/4131 or k?
4/4131
Let g(f) = 2*f**3 - f**2 - 2*f - 1. Let c = 27 - 24. Suppose -a + 22 = -5*y, 0 = 4*a + 3*y + 7 - c. Let r be g(a). Is r at most as big as 8?
True
Let g = 1600.113 - 1602. Let z = -0.113 + g. Which is bigger: 4.2 or z?
4.2
Let r = -28815 - -28813.8. Which is smaller: 1221/2 or r?
r
Suppose 2*o = -0*l - 2*l - 22, -o - 2 = 0. Let d be (-3)/(-4 - 65/(-20)). Let n be 5/2*(-4)/d*4. Do n and l have different values?
True
Let a = -4/500373 + 6417784118/2501865. Which is greater: 2564 or a?
a
Let x(g) = 11*g**2 + 10*g - 5. Suppose 7*m + 3*m = -50. Let k be x(m). Let d be 1/(-2) + k/(-56) + 3. Is d less than -2/5?
True
Let j = 311 + -4037/13. Let i(s) = s**3 + 5*s**2 + s - 8. Let g be i(-4). Let k(l) = -l**3 + 3*l**2 + 5*l - 4. Let d be k(g). Is d >= 