 s(-3). Suppose -9*z - 228 = -x*z. Is z at most as big as 32?
False
Let g = -134 - -668/5. Let q = 0.01 - -9.99. Let x = q - -4. Which is bigger: g or x?
x
Let t be 1/((24/30)/(-4)). Let q be (6/(-27) - t/(-18))*2. Is -2/195 smaller than q?
False
Let g = 9 + -1. Suppose -8*f = -10*f + g. Suppose -t = 4*p + 32, f*t + 37 = -2*p - p. Is -8 not equal to p?
True
Let o = -594.4509 + 594.5. Which is bigger: o or -3/7?
o
Let x be 5/(360/(-21042))*-18. Which is smaller: x or 5260?
5260
Let m = 1.9 - 2.1. Suppose z - 2*l - l = -60, 100 = -2*z + l. Let d = z + 50. Which is smaller: d or m?
m
Let d be (9/(-7))/(2514/(-111454)). Is d at least -33?
True
Let i = 11 - 18. Suppose -s + 21 + 17 = 0. Suppose -47 + s = n. Which is smaller: n or i?
n
Let o = -162 - -165. Suppose 0*k - u + 23 = -o*k, -2*u = 5*k + 42. Which is smaller: k or -9?
-9
Let s = -0.3 + 0.38. Let t = s + -1.28. Let k = 0.22312 + -0.02312. Which is smaller: t or k?
t
Suppose -24*v + 494 = 14. Suppose 2*b + 64 = -4*t, -5*t + 2*b - v = 69. Is t greater than -16?
False
Let l = -36/2119 - -103377/5710705. Which is greater: l or -1?
l
Let n be -1 + 6/774*132. Let f = -12 - -11.9. Which is smaller: n or f?
f
Let j = 124.318 - 1.218. Let v = -124 + j. Let i = -1.1 - v. Which is greater: i or -2?
i
Suppose 3*j = -4*w + 21 - 1, -10 = 2*j - 2*w. Is j equal to 15/386?
False
Suppose 2*h - 4 = 5*v, 3*v - 8 = 3*h - v. Let i = 3 - h. Suppose -3*j = -i - 22. Which is greater: -2 or j?
j
Let r = -64 - -66. Let x(w) = w**3 - 9*w**r + 4866 - 4866 - 8*w. Let g be x(10). Which is smaller: g or 19?
19
Let r = -35 - -16. Let q(g) = -g**2 + 6*g - 9. Let w be q(10). Let d = 50 + w. Which is smaller: r or d?
r
Let j = -12093 - -11246. Is -842 greater than j?
True
Let s(m) = 57*m**2 + 3*m - 3. Let i be s(2). Suppose 2*g + 83 = -4*w + i, 2*g - 4*w - 116 = 0. Is 66 less than g?
False
Suppose 5*f = -0*o + 5*o + 100, 3*f + 5*o = 60. Let a(q) be the first derivative of q**3/3 + q**2 + 17*q + 11. Let c be a(0). Does f = c?
False
Let a = -170 + 167. Which is greater: 1337 or a?
1337
Let z(a) = a**3 + 3*a**2 + 16*a + 49. Let f be z(-3). Is 19/419 <= f?
True
Let p = 8385.81 - 321.81. Which is smaller: 3 or p?
3
Let m = 0.17 + -0.26. Let y = -0.21 + m. Let j = 28.02 - 28.92. Which is smaller: y or j?
j
Suppose 61*k - 36*k - 25 = 0. Let a be (k/(-10))/(-1 - (-329)/105). Is a at most 1/3?
True
Let b = -8698 + 8768. Let r(f) = f**3 - 6*f**2 - 8*f + 8. Let l be r(7). Which is smaller: b or l?
l
Let a(b) = -b**3 + 15*b**2 + 15*b + 4. Let m be a(16). Let p be (2/(-7) + m/56)*12. Let v = 0.9 + -4.9. Which is bigger: p or v?
v
Let g = -22512.08 - -22512. Is g less than or equal to 1/411?
True
Let i be (206/9)/((-38)/(-171)). Is -10 less than or equal to i?
True
Suppose 2*m = 6*m - 240. Suppose m*h = 63*h - 21. Let i = -0.64 - -0.7. Which is greater: h or i?
h
Suppose -5*g + 420 - 160 = 3*y, -343 = -4*y - 3*g. Let z = y + -681/8. Let w be 4 + (((-18)/3)/3 - 1). Is z equal to w?
False
Let q = -5291 + 5292. Which is greater: q or 1134?
1134
Let w = 2449/57 + -43. Which is greater: -63/10 or w?
w
Suppose -4*h = -4*y, -7*h + 8*h - 5*y + 4 = 0. Let s(m) = 3*m - 5. Let t be s(3). Suppose -c = t*c. Which is smaller: h or c?
c
Let l = 3692 - 3692. Is l at most as big as -1/1886?
False
Let m(a) = -7*a**2 - 19*a + 20. Let p be m(1). Let q(l) = 2*l**2 + l - 35. Let u be q(p). Which is smaller: u or 26?
26
Let f(m) be the second derivative of 1/2*m**2 - 13*m + 1/6*m**3 + 0. Let j be f(0). Which is bigger: 1/8 or j?
j
Suppose -77*j + 4368 = 14*j. Let g be (-716)/(-360) - j/30. Let o be -1 + (4/6 - -1). Which is bigger: o or g?
o
Let d = -69/52 - -14/13. Let m = -1116.97 - -1117. Is d > m?
False
Let t(x) = -4*x**3 + 445*x**2 - 110*x - 111. Let q be t(111). Which is bigger: q or -3/30208?
q
Let r = -47.44 + 0.44. Let x = 35.8 + r. Let i = -11 - x. Are 3/14 and i nonequal?
True
Let o = 0.188 + -0.39. Let y = -0.102 - o. Let t = y - 0. Do t and -8 have different values?
True
Let b(h) = 5*h**3 - h**2 - 2*h + 1. Let m be b(1). Let r be (-1)/(0 + -2 + 1) - m. Suppose -8*f + 6*f - 4*g - 30 = 0, -g = 5*f + 39. Which is bigger: f or r?
r
Let d be 1 - (557 - 0) - (-11 + 12). Let j = -564 - d. Is j >= -33/4?
True
Let j = -4051/5235 + 5/698. Let l = 14 + -14. Which is smaller: j or l?
j
Let o(y) = -y**2 - 180*y + 84. Let m be o(-151). Is 4464 < m?
False
Let y(j) = j**3 + 10*j**2 - 24*j + 13. Let d be y(-14). Let f be -10*((-808)/(-16) - 7). Are f and d equal?
True
Suppose 2*l = -2*t - 4183 - 4773, l + 4442 = 5*t. Which is bigger: -4471 or l?
-4471
Let h = -5596 - -5894. Which is smaller: 5 or h?
5
Suppose 5*i - 13258 = 14*k - 17*k, -2*i - 8812 = -2*k. Is k <= 4411?
True
Let l be 10 - (-1 + -1 + 4). Let v be (-897)/(-52) + (-1)/4. Let r be (-13 - -3) + (v - 3). Is r at most as big as l?
True
Let q = 39.47 - 39.49. Which is smaller: q or 193?
q
Suppose -3*v + 127 = -4*b, 2*b + 0*b + 66 = 2*v. Let t be (-114)/(-7) - (0 + (-8)/b). Suppose -14*g + 12 = -t*g. Which is bigger: g or -28/5?
-28/5
Let q = -996.9 - -958. Let m = q - -39. Let f = -3 + 2.92. Is m greater than or equal to f?
True
Let j be -2 - (-20 + -1 - -1). Let g = -338 + 367. Suppose -g*k + 121 = -430. Is j greater than or equal to k?
False
Let k = -0.7864 - -1.6864. Which is smaller: 384 or k?
k
Let l(a) = -a + 20. Let v be (-108)/18*-1*(-14)/(-6). Let k be l(v). Suppose 3*m + 24 + k = 0. Which is greater: m or -48/5?
-48/5
Suppose -4*b + n - 16 = 0, 3 = 2*b + 3*n - 3. Let j be 0 - -3 - ((b - -3) + 3). Suppose j = 3*a - 8*a - 5. Is -3/17 at least a?
True
Let d be (-330)/(-11740)*(-4)/(-12). Is -1 not equal to d?
True
Let z(o) = -o**3 - 7*o**2 + 39*o + 43. Let m be z(-10). Which is smaller: 39 or m?
m
Let r = -7352 + 7350. Let b = 323 + -274.2. Let l = -53 + b. Are r and l unequal?
True
Let o be 0 + -154 + (-5 - -8). Suppose 178*a - 1368 = 187*a. Is o at least as big as a?
True
Let n = -483300/7 - -69050. Let o(s) = -5*s - 2*s - 6 - s**2 + 0. Let u be o(-4). Which is greater: u or n?
n
Suppose i - 25 = 2*z - 6*z, 0 = -i + 1. Let v be z*6/(-60) + 278/5. Let n be v/102 - (-1)/(-2). Do n and 0 have the same value?
False
Let j = -37 - -40. Suppose -7*k + j*k + 4*x + 208 = 0, 2*k - 4*x = 100. Let n = k + -60. Which is greater: n or -28/5?
-28/5
Let d(j) = 3*j - 42. Suppose 2*a = -2*t + 20, -9 - 67 = -4*a + 5*t. Let o be d(a). Are -118 and o equal?
False
Let c be 3/(-6) + (-3)/42*-119. Let i(u) = -u**3 + 10*u**2 - 7*u - 12. Let j be i(9). Is c at most j?
False
Suppose -27 = -3*h - 5*s, -3*h - 2*s = 125 - 143. Which is greater: h or -6?
h
Suppose 2*g + 5*a - 15 = 5, -4*g = a - 4. Suppose -4*q - 245 + 217 = g. Let y = 3.9 + 0.1. Is y at most as big as q?
False
Let v be -9*((-12)/(-14))/(9/63). Let x = 7.5 + -1.5. Let m = x + -5. Which is bigger: v or m?
m
Let k(b) = b**2 + b - 1. Suppose 5 + 15 = -o - 4*l, -4*o + 5*l = -25. Let g be k(o). Let y = -6674 + 73418/11. Which is smaller: y or g?
g
Let n = 13/537 - 1922/42423. Which is bigger: -1 or n?
n
Let f be (7536/(-6) - -7)*(3 + -2). Do -1246 and f have the same value?
False
Let u = 16278605633/900254450 - 246401/17818. Let o = 200/47 - u. Which is bigger: -1 or o?
o
Let u = 0.315 - 493.315. Let f = u + 490.6. Is f smaller than 3/5?
True
Let q = 526 - 529.43. Let w = q + 2.926. Is -1 less than w?
True
Suppose -w + 5*t - 4*t = 0, -3*w - 4 = -4*t. Suppose 2*b + w*y - 52 = 0, -5*y + 12 = 5*b - 108. Which is greater: 27 or b?
27
Let f = 157753 - 1101836/7. Let h = 349 - f. Which is smaller: h or 1?
1
Suppose 2 - 44 = 6*t. Which is bigger: t or -11/2?
-11/2
Let a = -578 + 268. Let u = -381.2 - a. Let q = u + 71. Is 1.3 < q?
False
Let z = 768726 + -5371623/7. Is z at most 1351?
False
Let g = 408 + -407.87. Let p = 853 + -2764/3. Let x = p + 69. Which is smaller: g or x?
g
Suppose 0 = -n - 32 + 37. Let x = n + -3. Suppose x*a = -3*a. Which is smaller: -1/34 or a?
-1/34
Let s(r) = 67*r - 1542. Let v be s(23). Is 69 < v?
False
Let u = 9338 - 9334. Which is bigger: 1223 or u?
1223
Let h be (-1488)/(-1490) - (-19 - (-260)/13). Is h > 1?
False
Let h = -70 + 71. Let t(l) = -9*l**3 + 5*l**2 - 4*l + 2. Let f be t(h). Suppose 8 - 2 = -q. Are f and q unequal?
False
Let z = -24.581 + -0.319. Let m = 22.9 + z. Suppose 5*g = -6*a + 2*a - 82, 5*g - 4*a = -58. Is m >= g?
True
Let 