 -i - 125, 0 = 5*s + 5*i - 50. Is s less than r?
False
Suppose -155 - 12 = -304*w + 137. Is 14/27 not equal to w?
True
Let c = 265 - 277. Let g = 14/3 - 6. Which is greater: g or c?
g
Let h = -24 - -47. Let r = -5959.9 - -5485. Let f = r + 475. Which is bigger: f or h?
h
Let s = -19223 - -19223. Let x = 217/17 - 3851/323. Which is smaller: x or s?
s
Let h = -11473.79 + 10625. Let j = -891 - h. Let y = 0.79 - j. Is y <= -1?
False
Let h = 99.985 + -100. Let s = h - -0.015. Let f be 1*-1 + 6/4. Is f greater than or equal to s?
True
Let y(v) be the first derivative of v**4/4 - 11*v**3/3 + 9*v**2/2 - 4*v - 7. Let c be y(7). Let k = c + 108. Is k bigger than 3?
False
Suppose -66*o + 69*o = 81. Suppose 0 = 2*w - 3*j - 15 - 48, -3*w + 90 = -3*j. Is o at least w?
True
Let x = 3.9 + -4. Let i = -8615 + 8613.27. Which is bigger: x or i?
x
Let b(v) = 179*v + 5081. Let x be b(-23). Is 8680/9 at most x?
False
Let y be -1 - (-2)/(-1) - (-1258)/221. Let v = y + -743/247. Is 0 at least v?
True
Let w be -124*(-2 - 0 - -1) - 106/530. Which is bigger: -0.3 or w?
w
Let l(p) = 4425*p + 26549. Let h be l(-6). Let n = -2217 + 325897/147. Which is smaller: h or n?
h
Let k = 318 - 297. Suppose k*v = 22*v - 1, 2*g - 5*v = -115. Is -58 greater than or equal to g?
False
Let x = -5/569 - 6743/9673. Which is greater: -2 or x?
x
Let k = 515 + -310. Let l = k - 204.95. Let z = 4 + -1. Is z equal to l?
False
Let m be (-340)/16 - -2 - 55/(-44). Let z be m/(-27) + 58/(-69). Do -1 and z have the same value?
False
Let z = 12446 - 12691. Which is bigger: z or -243?
-243
Suppose -202*u + 155 - 155 = 0. Is u not equal to -2/16627?
True
Let z(g) = g**3 + 19*g**2 + 67*g - 43. Let j be z(-14). Which is smaller: -300 or j?
-300
Suppose -764 = 9*s - 224. Let j be 3/(-2 - -389)*(-24294)/s. Let d = -6/215 - j. Is d less than or equal to -3?
True
Let o = -10528 - -1126478/107. Which is greater: 3 or o?
3
Suppose -69743 + 13751 = 8*r. Let o = 77262/11 + r. Let p = 25 - o. Which is smaller: p or -1?
-1
Let i be -20*(750/8 - 26/(-39)). Which is smaller: -1889 or i?
-1889
Let t = 0.001 - 1.001. Let f = -0.13 + 0.178. Let h = f - -0.352. Is t at most h?
True
Let j = 4119/14441 - -1/2063. Which is greater: j or -2073?
j
Let m be 0*(-2 - (-2 + 1)). Suppose 4*q + 10 = 5*z, 9*z - 6*z - 4*q + 2 = 0. Let p be (1/z)/((-3)/(-67)) + -4. Which is smaller: p or m?
p
Let c be 2/(-35) + 633952/560. Which is greater: 1133 or c?
1133
Let i be (10/(-12))/(-5) - (-230)/(-12). Let m = i - -25. Let k be (1 + 4 - m)/(-1). Is k >= -3/11?
True
Let f = -47/149 + 53961/1490. Is 35 > f?
False
Let f = 124.0851 + -0.0851. Let m = -122 + f. Is m at most -38?
False
Let r(b) = -b**3 - 7*b**2 + 10*b + 10. Let a be r(-7). Let q be 15/a + 1582/(-8). Let v be ((-44)/q)/(14/6). Is v less than or equal to 1?
True
Let r = -3 - -6. Suppose -1460 = -5*p + q, 1168 = p + r*p + 5*q. Let a be ((-12)/10)/(p/60 - 5). Is a >= 5?
True
Let u = -3.98 + 26.98. Let c = u + -151. Which is smaller: c or 0.2?
c
Let j be 0/(3 + 0 - 1). Let n be (j - 0)/(2*(-3)/(-6)). Let d be 19/76*-20*(-1)/(-7). Which is smaller: d or n?
d
Let h = -1.188 + 0.588. Let n = -2 - -1.5. Which is bigger: h or n?
n
Let y be 8/(-10) - (-2772)/4290. Let u = -35.77 + 0.77. Which is smaller: u or y?
u
Let y(k) = -571*k - 5556. Let f be y(-9). Which is bigger: -428 or f?
f
Let w = 82 + -42. Suppose -5*u = -4*v - 12, 0 = 4*u + v - 21 + 3. Let r be (0 + w/9)*(-1)/u. Is r smaller than 0?
True
Let s = 8/333 - -1546/333. Is 3.1 greater than s?
False
Let l(j) = -j**3 - 7*j - 6. Let y be l(-4). Suppose -y = -5*x - 1. Suppose -x = 3*s + 7. Is -8 at most as big as s?
True
Let k(q) = -q**2 + 4*q + 4. Let h be k(3). Let x be 264/30 + h - 2. Which is bigger: 15 or x?
15
Let y(a) = -4 + 2*a**2 + 9*a**3 + 9*a + 3*a**3 - 7*a**3 - 6*a**3. Let p be y(5). Which is bigger: p or -33?
-33
Let z = -202 + 151. Let w be (-21)/14*(-4)/(-6). Let i(f) = 51*f + 1. Let y be i(w). Is y >= z?
True
Let f = 5.359 - 6.125. Is f at least -2?
True
Suppose 0 = -78*s + 140*s. Is 12/1157 <= s?
False
Let f = 278 - 273. Let p(j) = -3*j + 1. Let o be p(-1). Suppose -o*r - 60 = -4*n, 0 = 3*r + f*n - n + 24. Is -14 greater than or equal to r?
False
Suppose 574 = 10*h - 106. Let v(w) = h + 16 - 144 + 5*w. Let i be v(12). Is 4/25 > i?
True
Suppose 4*n = 4*p - 8, 2*p - n = 10 - 7. Let m be -3 - p - (-250)/55. Let k = 0.09 - -0.11. Which is bigger: m or k?
m
Let d(f) = -f**2 - 11*f - 16. Let b be d(-7). Let c be ((-3)/b)/((-2)/24). Suppose 15 = 2*j + c*j. Which is smaller: -1/3 or j?
-1/3
Let r = 394 + -267. Let l = 134.4 - r. Let h = l - 1.4. Which is smaller: -2 or h?
-2
Let y(l) = -l**3 - 38*l**2 - 37*l - 15. Let o be y(-37). Let w(x) = x**3 + 15*x**2 - 2*x - 40. Let n be w(o). Is n less than or equal to -31/3?
False
Let s(n) = -59*n - 68. Let l be s(-3). Let z(k) = k**3 - 12*k**2 - 4*k - 9. Let a be z(13). Is l >= a?
True
Let j = -12 + 1. Let l = -221 + 239. Let s be (-18)/l - 14/(-10). Is j bigger than s?
False
Let a = 3589 - 4129. Is -544 bigger than a?
False
Let c = 1.2 + -0.2. Let j be 2*2*(-219)/(-12). Suppose -117*v = -116*v - j. Which is greater: c or v?
v
Let q = -5 + 7. Suppose 5*t + 36 = 17*t. Suppose q*n = -t*n - 65. Which is smaller: n or -12?
n
Let b = 15411 + -22433. Which is smaller: b or 1?
b
Let m = -106 - -8588/81. Let s be (-1)/(-9)*(-100)/(-36). Let q = s + m. Which is smaller: -1 or q?
-1
Let h = 12729 + -12726. Let u = -8.2 - -9. Are h and u nonequal?
True
Let u(y) = -y**3 - 2*y**2 + 5*y + 7. Let z = 49 + -51. Let k be u(z). Let r be (-1 + 0)/((-43)/(-131)) - k. Which is bigger: 0 or r?
0
Suppose 0 = -2*i - 2*p + 102 - 114, i - 2*p = 9. Suppose 0 = -d - 5*d + 12. Do d and i have different values?
True
Let x be (-1 - 1)*(3 + -1). Let l be 51/7 + x/14. Suppose -89*m + 85*m = 2*w - 38, 18 = 3*m. Is w at least l?
True
Let r(n) = -n**3 - n**2 + n. Let o be r(0). Suppose -z + 1 = -a - 1, 4*a - 12 = o. Let d be (-121800)/(-15312)*(-8)/(-10). Is d >= z?
True
Let z(v) = -v**2 - 66*v - 262. Let f be z(-63). Which is greater: -72 or f?
-72
Suppose -12*s = -17*s, -228 = -3*m - 2*s. Which is smaller: 68 or m?
68
Let c = 1404111/508 + -2764. Which is smaller: 0 or c?
c
Let a(d) = -2*d**2 - 171 + 3*d + 162 + 6*d. Let u be a(7). Do 0 and u have the same value?
False
Let c(a) = 11*a**2 + 1108*a + 5513. Let m be c(-5). Is 255 greater than m?
True
Let p = 51983 + -52000. Let m be (109/18)/(1/(-3)). Is p at least as big as m?
True
Let a be (-9)/30*(-30)/12*68. Let t be a/522 + (-2)/12. Let b(k) = k**3 - 7*k**2 + 6*k + 1. Let p be b(6). Which is bigger: t or p?
p
Let q = 68 + -33. Suppose 2*x = -q - 9. Suppose 0 = -9*s - 571 + 373. Is s at most as big as x?
True
Suppose 15 = p - 2*k + 62, 3*k = 5*p + 200. Let u = 1142/31 + p. Which is greater: u or -1?
u
Let z be 1/(-2)*34 - -16. Which is greater: -1/33605 or z?
-1/33605
Suppose -15 = 5*t - 5*m + 2*m, -5*t - 5*m = 15. Let n be ((-100)/15)/(1/t). Is n less than 0?
False
Suppose 3*o + 16 = 58. Let z be (1 - 18/o)*2. Let l = -1055 + 1055. Which is smaller: z or l?
z
Suppose 9*n = -2*y + 5*n - 1600, 0 = y - 5*n + 807. Is y at least as big as -804?
True
Let b = 3.3 - 2.44. Let y = -33.86 + b. Let k = -30 - y. Which is smaller: -11 or k?
-11
Let v be -1 - ((-5)/290)/((-3)/(-186)). Let s = v - 130/203. Let f = s + 5/21. Which is bigger: f or 12?
12
Suppose x + 3*x = 5*t + 29, 0 = -2*x - t - 3. Let r be 12/(-4)*-3*x. Let n be (0 - -2)*(r/(-2))/9. Is n less than 3/10?
True
Let k = 20 - -28. Let l = k - 26. Let v be l/(-12) + (-60)/36. Which is smaller: v or -5?
-5
Let s(d) = -16*d**3 - 4*d**2 + 3*d + 2. Suppose 0 = 2*j - 2 + 4. Let v be s(j). Let h = 2 - 4. Is h at least v?
False
Suppose 0 = -2*j + t - 169, 5*j + 8*t + 86 + 263 = 0. Which is greater: j or -62?
-62
Let l = 181 - 129. Let d = 55 - l. Suppose 0*n - n - x = -3, -2*x = n - d. Are n and 1 equal?
False
Let d = 8.09 - 0.09. Let m = -1.024132 - -32.024132. Is d <= m?
True
Let l be (-1 - 3979)/(-2) + 17/(-969)*-57. Which is smaller: 1992 or l?
l
Let d be ((-2)/8*3393/26)/(7/42). Which is smaller: -197 or d?
-197
Let q be 4/6*(165 + -3). Suppose u - 3*g - 40 = 2*g, 3*u + 2*g - 188 = 0. Suppose 6*t - u + 54 = 0. Is t smaller than q?
True
Let o(y) = y**3 - 15*y**2 - 14*y - 24. Let h be o(16). Let i be -2 - (h/(-1) + 5).