Let y = -48 + 53. Suppose y*p - 195 = -10*p. Is 13 not equal to p?
False
Let j = -719.1 + 756. Let y = j - 37. Which is bigger: 0 or y?
0
Suppose 0 = -6*h - 0*h + 330. Let z be ((-11)/(h/(-10)))/((-4)/126). Are z and -62 non-equal?
True
Let q = -1223 - -1225. Let w = -1/12 + 7/12. Which is smaller: q or w?
w
Let n = 1558 + -1572. Let j(d) = d**3 - 2*d + 2. Let h be j(-3). Let q = 6 + h. Does n = q?
False
Let n = 48 + -13. Suppose -5*x = -10 - n. Which is greater: 7 or x?
x
Let c(t) = 4*t**2 - 40*t + 1. Let g be c(10). Is g > -0.54?
True
Let i = -3352/13 - -258. Let w be 2*((-35)/10 + 4)/(-1). Which is smaller: w or i?
w
Let q be (7/14)/(3/10434). Is 1740 at least as big as q?
True
Let r be (-58 - -62)*50/(-8). Let h be (-65)/(-2)*(-8)/10. Which is greater: h or r?
r
Let z = 44/279 - -2/31. Is z <= -2?
False
Suppose 3*t + 5*l = -42, -2*t + 15 = -3*t - 2*l. Suppose -16 = 2*u - 2. Which is smaller: u or t?
t
Let q(o) = -o**2 - 5*o - 10. Let u be q(-6). Which is smaller: u or -17?
-17
Let p(i) = i**3 + 5*i**2 - 46*i + 35. Let j be p(-10). Does j = -2/65?
False
Suppose -5*u - 3 = -2*h - 0*h, -4*u = -2*h. Let d be (-3 + 44/20)/(0 + (-10)/(-75)). Is h at most as big as d?
True
Let k be (-116)/4 - (-1 + (-2 - -1)). Let v = 77/3 + k. Which is greater: v or -2?
v
Let q = 25 - 4. Let j(w) = 2*w**2 - 5*w + 6. Let u be j(3). Let s = u - q. Which is greater: s or -11?
-11
Let y be 1/4 - ((-5423)/(-44) + 9). Which is bigger: -1 or y?
-1
Let r(j) = -16*j - 67. Let a be r(-3). Is a at least as big as -20?
True
Suppose -510 = -13*p - 4*p. Which is bigger: p or 31?
31
Suppose -2*f = 4*o + 108, -o = -0*f - 4*f + 18. Let n = 29 + o. Suppose 3*t = -5*x - 1 - 6, 4*x + 8 = -n*t. Which is smaller: x or 5/4?
x
Suppose 2*a + 150 = 12*a. Let f be a/(-21) - (-8)/(-28). Which is smaller: f or -1/36?
f
Let h be ((-2)/4)/(8/16). Let r(z) = -17*z**3 + 2*z + 2. Let w be r(h). Let l = 16 - w. Which is bigger: l or -2/17?
-2/17
Let y(m) = m**3 - 3*m**2 + m - 1. Let d be y(3). Suppose d*b = 6*b - 56. Are 16 and b equal?
False
Let y = -3/8042767 - -21321378854/9482422293. Let k = y - 18/131. Let l = k - 23/18. Which is greater: 2 or l?
2
Let t = 80916329776/3059 + -26451889. Let z = 2/437 - t. Is -1 at most z?
True
Let d be ((-14)/5)/(3/15). Let v(k) = 3*k + 2. Let g be v(4). Let u = d + g. Which is smaller: u or -1/8?
-1/8
Let s = 2.59 + 3.41. Let m = 0.1 + 0.9. Which is smaller: m or s?
m
Let j be 4/(-22) + 5/32450*1169. Which is greater: j or 0?
0
Suppose 109 = -12*a - 11. Which is smaller: a or -12?
-12
Let f = -31 + 28. Let n = f - 23. Does n = -26?
True
Let n = 2.1577 + 0.0423. Let y = 2/107 + -115/428. Does n = y?
False
Let u = 114.906 - 115. Let l = u - -28.594. Let d = l + -4.5. Which is smaller: d or 0.1?
0.1
Suppose -5*r + 3*r + 10 = 0. Suppose r*x - 3*a = 5, -5*a = 4*x - 0*x - 41. Is x equal to -2?
False
Let d = -0.82 - -55.82. Is 0 at least as big as d?
False
Let l(w) = 6 - 35 - 2*w + 15. Let u be l(-8). Which is smaller: u or -1?
-1
Let y be 10/(-45) - (3504/(-27))/(-1). Which is smaller: y or -126?
y
Suppose -9 = 5*r - 2*z - 0*z, -3*r - 2*z + 1 = 0. Is r >= -72/29?
True
Suppose -3 = -k - 0. Let f = -198 - -203. Suppose -k*i + f = -8*i. Which is greater: i or 1/9?
1/9
Suppose -22 = -2*y + 5*u, -5*u - 4 = -14. Let j be 0 + y/(-6) - -2. Is j >= 56?
False
Suppose 0 = r, -2*r = -3*j + 2*r. Suppose 0 = 3*w - 141 - 117. Suppose j = -5*s + 6 - w. Is s < -16?
False
Suppose -25*k + 8*k - 1122 = 0. Which is smaller: -64 or k?
k
Suppose f - b = -0*f - 1, -5*b = -3*f - 13. Suppose 0 = -5*o - f*w + 126, -3*o + 4*w = -0*o - 50. Suppose -5*r + 65 + 45 = 0. Is r less than o?
False
Let v = -6.7 + 8. Suppose 0 = -4*m - 2*c - 8, 3*m + 10 = -2*m - 5*c. Is v equal to m?
False
Let j = 105 + -41. Suppose 0 = -6*q + 2*q - j. Let w = -31 + 16. Is q smaller than w?
True
Let o = 3.098 - 35.698. Is -2/9 >= o?
True
Let q(k) = -5*k**2 + 39*k + 9. Let l be q(8). Which is bigger: 1/514 or l?
l
Let c = -226 - -226. Which is greater: -1/6 or c?
c
Let a = -71.5 + -22.5. Let u = a - -88. Which is greater: u or 0?
0
Suppose -44*i + 54*i = -550. Is i less than -52?
True
Let u be 32/(-16) - 2*2. Let v(q) = -q**2 - 4*q + 12. Let t be v(u). Which is bigger: t or -5/12?
t
Suppose -4 = 3*w + 2. Let v(j) = -j**3 + j**2 - j - 1. Let d be v(-4). Let t = 161/2 - d. Which is smaller: w or t?
t
Let f = -3147/4 - -781. Which is smaller: f or -7?
-7
Let x = 15.72 + -15.76. Is x not equal to -81?
True
Suppose 11*y + 28 + 27 = 0. Are -1.1 and y unequal?
True
Let o = 69 + -48. Let x be 62*(o/(-6))/(-7) - 2. Is x greater than or equal to 29?
True
Let c = 174 + -183. Let j be 3/(-6) + (-1)/(-2). Which is greater: j or c?
j
Let w = 0.05 + -4.05. Let z = w - -2. Let r = -0.122 + 0.222. Is z greater than r?
False
Let o be (-303)/324 + (-3)/(-4). Is o less than -1?
False
Suppose -111*r - 44 = -67*r. Is r less than or equal to 4/675?
True
Let u = 1.2 + -1.48. Let d = 0.21 + u. Let b = -0.17 - d. Which is bigger: 18 or b?
18
Let d(h) = h**3 - 7*h**2 + 5*h. Let w be d(6). Suppose -4*z + 4 = 0, -y + 3*z = -0*z + 5. Let i be y/w + 0/2. Is i bigger than 1?
False
Let d(y) = 2*y - 9. Let w be d(6). Suppose 3*b - 5*m - 21 = 0, b + 2*m = -3*b + 54. Suppose 7*n - b = 4*n. Is w equal to n?
False
Suppose 0 = 5*w + 102 - 17. Let v = w - -20. Which is smaller: 3/2 or v?
3/2
Suppose -3 = -4*d + 5. Suppose -4*f + f - 22 = 5*s, -d*f + 3*s = 40. Let t be 36/(-21) + 4/f. Is t at most 0?
True
Let v = 1866838 - 95196142/51. Let n = v - 247. Is n >= 1?
False
Let c be 50/175 - 12/(-7). Suppose o + 0 = c. Suppose -5*h = -2*z - 5, 4*h - 7*z + 3*z + 8 = 0. Which is smaller: h or o?
o
Suppose -3*d + 3*j = 0, -2*d + 20*j = 19*j - 1. Is -2/95 < d?
True
Let i(u) = -2*u + 2. Let t be i(3). Let z be t - (-4 - (-28)/16). Is -1 < z?
False
Let a = 2600 - 1678. Which is bigger: -1/3 or a?
a
Let n = 3.03 - 0.03. Let p = 94 - 90. Let t be 2*((-10)/p - (-2 - 0)). Which is smaller: n or t?
t
Suppose -2*v = v. Let p = 5888/27 + -218. Which is greater: v or p?
p
Let w be 175/7 + 8/(-4) - -1. Is w < 24?
False
Suppose -v - 4*x = x + 42, 90 = -5*v + 5*x. Let f = v + 21. Let w be (-203)/84 + f/4. Which is smaller: w or -2?
w
Let c(d) = d + 15. Let v be c(-9). Suppose 0 = -2*n - 0*n - 5*w + 3, -w = -5*n - v. Which is bigger: -1/115 or n?
-1/115
Suppose 3*l = 5*n - 2 + 14, -4*l = -5*n - 11. Suppose -2 = 2*x - 2*g, -10*x + 2*g - 2 = -6*x. Which is smaller: l or x?
l
Let j = -424359 - -284744811/671. Let f be (-158)/549 - (-2)/9. Let z = j + f. Which is smaller: -1 or z?
-1
Suppose -9 = -5*f + 21. Suppose 1095 = z - f*z. Let t be 2/5 + z/(-15). Which is smaller: t or 14?
14
Let w(r) = r**3 - r**2 + r - 4. Let i be w(0). Let n = -31 - i. Is -26 at least n?
True
Let v = -277/79 + 68536/553. Which is greater: v or 120?
v
Let h = 343 + -363.3. Let f = 21 + h. Is -1 equal to f?
False
Let h = 0.31 - 0.26. Let o = h + 0.03. Is -1 smaller than o?
True
Let i = 66 + -12. Let t = i - 49. Is 6 <= t?
False
Let t = 327 + -349. Do t and 2 have the same value?
False
Let y be 28/12 + -3 - (-12)/18. Which is greater: y or -8/65?
y
Let z be -9*(4 - 33/9)*-9. Is 25 != z?
True
Let z be 11 + (-315)/56 - 5. Which is greater: 0.016 or z?
z
Let p = -0.651 + -0.029. Let q = 3.68 + p. Let o = -32 - -129/4. Is o bigger than q?
False
Let r = -2221 - -2220. Do -2/2567 and r have different values?
True
Let q(p) = -4*p**3 + 2. Let k be q(-2). Let d(x) = -x**3 - 10*x**2 - 10*x - 7. Let w be d(-9). Suppose -w*y - 23 + 1 = -2*u, 0 = 2*y + 4*u + k. Does 0 = y?
False
Let k = -1.8 + -5.2. Let z = 2/251 - -496/753. Is k < z?
True
Suppose 0 = 2*b - 3*b. Let l be (21/490)/((-9)/(-6)). Is b smaller than l?
True
Suppose -5*q = -2*q + 12. Let v be (-2)/q - (-63)/(-174). Which is smaller: v or 0?
0
Let k = 548 - 576. Let g be 58*1/(-4)*2. Which is greater: k or g?
k
Suppose v = 3*v - 6*v. Which is smaller: v or -5/17?
-5/17
Let i be ((-9)/(-6))/(6/(-12)). Which is greater: i or -15/17?
-15/17
Let m(i) = 19*i - 185. Let f be m(8). Which is smaller: -26 or f?
f
Let w be (0 - (-206)/90) + -2. Let m = w + -1/15. Let u = 0.44 + -0.54. Which is bigger: u or m?
m
Let i = -0.5 + 0.2. Suppose -14*n = 4*n + 36. Which is smaller: i or n?
n
Let o = 315/45784 - 42203023/98389816. Let c = 2/307 - o. Is 0 greater than or equal to