= -8650 - -8646. Suppose -5*q + 4 + 11 = 0. Suppose -f = q*f + 16. Is h less than f?
False
Suppose -9*j + 3*j = 7*j. Suppose -3*t - 2*m - 77 = j, -5*t + 2*m - 4*m = 135. Which is smaller: t or -30?
-30
Let c = -38 + 39.2. Let i = c - 0.6. Is -4 equal to i?
False
Let c(x) = x**3 + 16*x**2 + 15*x + 3. Let d be c(-15). Let w be d/(6 - 3)*1. Which is smaller: w or 4/13?
4/13
Let h be (-26)/(-20) + 806/65 + -12. Which is bigger: h or -1/3?
h
Let n be 210/51 - 8/68. Suppose -2*i - 1 = 3*w - 4, -4*w + 4 = n*i. Let m = -279/10 + 57/2. Which is smaller: i or m?
i
Let v = 98 - 99. Let c be (2 - -2)*(-6)/8. Let u be (-5)/2 + c/6. Which is greater: u or v?
v
Let l be 2*2/4 + -2. Let p be (-5 - l)*12/8. Let f = p - -6. Is -4/9 smaller than f?
True
Let v(z) = -z**2 + 7*z + 8. Let u be v(7). Let t be (-75)/(-9) - 4/u*6. Which is greater: t or 5?
t
Let u = -58.56 + 11.46. Let f = u + 47. Which is smaller: f or -42?
-42
Let f = -234 + 154. Let j = f - -52. Is -26 < j?
False
Let v = 8775 + -8778. Let y be (-1)/(-4) + 15/(-12). Which is smaller: y or v?
v
Let p = 6 - -269. Suppose 2*m + 3*m = p. Suppose -3*g = -8*g + m. Is 9 < g?
True
Let f be (-1)/(-1 + (-24)/(-33)). Let k(a) = 2*a**2 - 8. Let m(l) = -5*l**2 + 23. Let x(c) = 8*k(c) + 3*m(c). Let q be x(0). Is q bigger than f?
True
Let n be (56/74 - 1)*(-1330)/(-57). Is -6 at least as big as n?
False
Let s = 21 - 26. Suppose 2*w + 3*u + 4 = 4*u, -w - 3*u + 5 = 0. Let a be s/w*(-10)/225. Which is smaller: 0 or a?
a
Let s be -49 + (-2 - (4 - 8)). Let n = -48 - s. Is n < -4/13?
True
Let w = 2.92 - -0.08. Let h = 28 + -26. Which is greater: h or w?
w
Let v = -2.49 + 7.49. Which is greater: v or 15/4?
v
Suppose 4*y + 15 = -3*k, k + 5 = -k - y. Let c be 0 + k + 3 + -6. Let f(w) = -w**3 - 4*w**2. Let b be f(c). Is -3/8 at most as big as b?
True
Suppose -2*a + 25 = 11. Let b be 9/(-21) - (-3)/a. Suppose -m - 3*m + 22 = -2*p, b = -4*m - 4*p + 16. Is 6 smaller than m?
False
Suppose 7*g = 390 - 89. Are 45 and g nonequal?
True
Let q = -13/1221 - -3139/320309. Are q and 0 equal?
False
Suppose 4*n - 2*n = -4*g + 62, -g - 5*n = -2. Let o(z) = -z + 18. Let m be o(g). Let j be 4/(-8)*(-4)/2. Are m and j non-equal?
False
Let o be ((-1)/2*1)/((-30)/60). Let t = -18/5 + 254/65. Is t > o?
False
Let c(z) = -z**2 - 4*z + 2. Let u be c(-4). Let b be ((-14)/21)/(u/(-3)). Let a be ((-6)/(-22))/(21/(-14)). Is a >= b?
False
Let d = -1 - 10. Suppose -2*w + 3*p - 17 = 0, -2*w + 5*p - 24 = w. Are w and d unequal?
True
Let d be 4/(-40) + (-1258)/20. Which is greater: d or -62?
-62
Let u be -7 - 3*-42*1. Is 119 smaller than u?
False
Let i(f) = -f**2 + 12*f - 7. Let t be i(10). Suppose -t*q + 9*q + 16 = 0. Which is smaller: q or 2?
2
Let l be ((-1)/5)/(506/(-165)). Which is smaller: l or 1?
l
Let w(x) = -2*x**3 - 17*x**2 - 8*x. Let q be w(-8). Which is bigger: -11/30 or q?
q
Let x(r) = -r**3 - r**2 + 5*r + 4. Let g = 23 - 25. Let b be x(g). Is -2 bigger than b?
False
Let j = -133/3 + 45. Suppose 38 + 19 = 3*u. Which is greater: u or j?
u
Let t = 261 + -457. Is t != 2?
True
Let c = 3.27 + -1.96. Let z = 1.5 - c. Let r = -2.81 - z. Which is smaller: r or -0.3?
r
Let g(m) = m**2 - 15*m - 1. Let f be g(11). Let t be (258/f - -5)*-3*1. Which is smaller: 1 or t?
1
Let f be (-5)/20 - (-109)/4. Let q = f + -12. Let a be q - 16 - (-58)/10. Is a at most 4?
False
Let z = -14 - -17. Suppose -2*d - 2 - 1 = -5*v, -z*v + 5*d = -17. Let r be (-8)/((v - 1)/(-2)). Is -6 smaller than r?
False
Let d be 179*2/220 - (-76)/(-190). Is d >= -2/9?
True
Let h = -784 + 662. Is h greater than -245/2?
True
Let s = 5 - 1. Let q(z) = -z**3 - 16*z**2 - 27*z + 18. Let r be q(-14). Suppose s = -r*i - 4. Which is bigger: -5/8 or i?
-5/8
Let i = 1.99 + -0.09. Let u = -9 + 11.9. Let x = u - i. Which is greater: x or -6?
x
Let b = 1428 + -1488. Which is smaller: b or -672/11?
-672/11
Let g = 27 + -89. Which is bigger: -58 or g?
-58
Let u = 131 + -131.2. Is u greater than 0.45?
False
Let c be (-5)/((-10)/4) + 0. Let s be (-2)/c + (-10)/(-5). Suppose 5*p = s - 26, 4*t + 6 = -2*p. Which is smaller: -2/11 or t?
-2/11
Let a(g) = 12*g**3 + 4*g**2 + g + 1. Let s(t) = 23*t**3 + 9*t**2 + 2*t + 2. Let p(c) = -9*a(c) + 4*s(c). Let k be p(-1). Let y be -8 + 10 + k/(-6). Does -2 = y?
False
Let l(h) be the third derivative of h**4/24 - h**3/6 + h**2. Let t be l(0). Let c be 4 + (-28)/64*10. Which is smaller: t or c?
t
Suppose u = 4*d + 1, -3*d + 7*d = 3*u + 13. Let i = -1 - u. Let n be 3/(-9) + 4/i. Is n >= -1?
True
Let u(z) = z**2 - z - 13. Let s be u(5). Suppose -2*c = s - 5. Is c not equal to -2/43?
True
Let i = -347 - -347. Is i > -0.05?
True
Let g be 1368/722 - 2/(-19). Suppose -3*a + 21 = 3*w, -5*w + a = 3*a - 44. Suppose -2*c - 4*i + w = -2, -12 = -c - 5*i. Is c at most as big as g?
True
Let n = -5212 + 2992. Let x be (10/n)/(1/4). Which is greater: 1 or x?
1
Let a = 107/70 + -11/10. Let g(b) = b**3 - 5*b**2 - 35*b - 6. Let c be g(9). Which is smaller: c or a?
a
Let s(g) = 3*g + 15. Let d(o) = o + 5. Let i(k) = -11*d(k) + 4*s(k). Let r be i(11). Let f(w) = -w**3 + 16*w**2 + w - 21. Let q be f(r). Is q > -7?
True
Let k = 4119/29 - 142. Which is bigger: k or 1?
1
Let h = -4602 - 402. Let d be h/(-28) + (1 - 4). Let z = d + -176. Which is smaller: z or 20?
z
Let s = -20 + 48. Let g = 25.3 - s. Let l = g - -1.7. Is l >= 2?
False
Let c = -385 + 441.6. Which is greater: c or 0?
c
Let i = -179/4 - -45. Let n be 18/(-27)*(5 - 2). Which is bigger: i or n?
i
Suppose -2*f + 195 = 3*f. Let g be (6/f - 74/(-26))*1. Let d be (-14)/(-4) - (-2)/(-4). Are g and d nonequal?
False
Let b(r) be the second derivative of -r**2 + 2*r**3 - 9*r - r**3 - 8*r**3 + 8*r**3. Let q be b(1). Which is greater: q or 3?
q
Suppose -122*h + 11 = -133*h. Which is greater: -8/289 or h?
-8/289
Suppose -3*x - 94 = 8. Suppose 469 = -50*q - 1281. Which is greater: q or x?
x
Let s be (-5)/(-33) + 4 + (-52)/12. Let d = 2.8 - 0.8. Which is smaller: s or d?
s
Let j = -11 - -14. Let x = 15 - j. Is 11 greater than or equal to x?
False
Suppose -2*o - 12 = -36. Let u = o - 20. Do u and -8 have different values?
False
Let t = 0.31 + -0.18. Let j = t + -0.21. Which is smaller: j or -1?
-1
Let w = 3/2213 - -48557/95159. Which is greater: 0 or w?
w
Let h be ((-6)/12*3)/(6/(-8)). Suppose 5*k - 3*i + 6 = h*k, -5*k - 2*i = 3. Is k > -10/9?
True
Suppose -3*o = -y - 29, -4*y - 4*o - 193 = 3. Which is smaller: y or -41?
y
Let j = 0.364 + -0.364. Which is bigger: j or 3/43?
3/43
Let u be 5/((-9)/(-3) - 2*1). Suppose -m = 2*q + 24 + 25, -u*q - 105 = -m. Which is smaller: q or -21?
q
Let v = 16 + -32. Let o be (v - 0) + (1 - -1). Let z be (-75)/(-70) - 6/o. Are z and 2/7 equal?
False
Let u be ((-384)/(-3712))/(2/(8/(-3))). Is -1 smaller than u?
True
Let r be 3/(-6)*-283 - (-3)/(-6). Which is smaller: 0.1 or r?
0.1
Let c = 360 + -355. Which is smaller: c or 7?
c
Let b = 8512 + -178804/21. Which is smaller: -3 or b?
-3
Let f(x) = 3*x - 12. Let m be f(5). Suppose 0 = 6*v - 3*v + 2*c + 38, 0 = 5*v + 5*c + 65. Which is smaller: v or m?
v
Let j = -0.05 + 6.05. Let m = j - 7.09. Let z = m + 0.09. Is -1 at most as big as z?
True
Suppose 4*i - 9*s - 2 = -6*s, 0 = i - s. Which is greater: 50/17 or i?
50/17
Let h = 31 + -30.8. Let j(u) = 16*u. Let k be j(-3). Let i be -2 - (k/(-27))/(-1). Is h not equal to i?
True
Let g = 13.2 - 0.2. Let d = g + -13.02. Is d at least as big as 0?
False
Let m = -31 + 95/3. Let c = -5 - -9. Let r be (-1 - 0) + c/2. Is m greater than r?
False
Suppose 0 = -3773*b + 3764*b. Which is smaller: b or 2/61?
b
Let k = 4519 + -31691/7. Is k less than -7?
True
Let f(j) = j**2 + 4*j - 13. Let b(s) = -2*s**2 - 15*s - 14. Let a be b(-7). Let n be f(a). Let d = n + -11. Is d smaller than 0?
True
Let y = 4 + 2. Let u be y/(-9) - (-3)/18. Which is smaller: u or -1.1?
-1.1
Let o = -43901 + 2941421/67. Which is smaller: 0 or o?
0
Let j be 3/2 + 70/28. Suppose 4*m + 12 = -j*y, -4*y - 12 = -2*m + 3*m. Suppose 2*b - l = -2*l + 6, -3*b - l + 10 = m. Is 4 <= b?
True
Suppose -20 = c + 4*c. Suppose -12 = -4*f - 4*i, 3*f + 3*i + 2*i - 9 = 0. Let t be 2 + -1 + -2 - f. Are c and t nonequal?
False
Let y = -511/1180 + 54/295. Let z be (-6)/10 + 0 + 1. Is y greater than z?
False
Let v = -22205/1714878 - 3/5774. Is -1 smaller than v?
True
Suppose 721 = 17*z + 7