ch is smaller: -1 or i?
-1
Let x = 1487 - 1486.2. Is x bigger than 0.4?
True
Suppose 595 = -8*c + 387. Is c greater than 0.8?
False
Suppose b + 3*r - 26 = 6, -4*r = -12. Is -4/7 less than b?
True
Let q = 572 - 540. Is 3 bigger than q?
False
Let c be 36/4 - (263 - -2). Which is smaller: -253 or c?
c
Let t = -842645/303 - -2781. Which is smaller: t or 0?
t
Suppose -24 = -6*h + 3*h. Let m be -13 + 13 - 3*11. Let t = m + 40. Is h at least t?
True
Let f(v) = -8*v - 23. Let m be f(-2). Is -10 at most as big as m?
True
Let x = 1344 - 1413. Suppose i + 32 + 37 = 0. Are x and i equal?
True
Suppose 4*u + 3*t = -40, 3*t - 11 + 23 = 0. Suppose -3*z + 10 = 4*o, -3*o + 6 = -o + 2*z. Let j(k) = -2*k**2 + k. Let m be j(o). Is u smaller than m?
True
Let x = 2 + 5. Let f = 13 + -5. Let o = x - f. Which is bigger: -0.4 or o?
-0.4
Suppose -3*y + 30 = -9. Suppose 5*i - y = 2. Suppose 2*l - 4*m + 6 = 4*l, 0 = -l + 2*m + i. Which is smaller: 1 or l?
1
Let y(s) be the first derivative of -s**3/3 - 2*s**2 + 6*s + 1. Let q be y(-6). Let p(z) = -98*z - 889. Let w be p(-9). Are q and w nonequal?
True
Suppose -48 = -p - 62. Let o = -19 - p. Is 4 bigger than o?
True
Let h = 165 - 166. Is -3 > h?
False
Let r = 72 + -67.08. Let u = r + 0.08. Let q = u + -6. Do -2 and q have the same value?
False
Let s = -17.5 - -2.5. Let u = -15.09 - s. Let z = -0.01 + u. Which is greater: -0.2 or z?
z
Let z(u) = -u + 30. Let o be z(21). Let n be o/12 - 93/12. Which is smaller: -6 or n?
n
Let o = -52 + 41. Is o equal to -5?
False
Let f = 97918/85 + -1152. Is 1 <= f?
False
Let w = -17 - 8. Let k = 12 + w. Let m = k + 12.9. Which is smaller: m or 1/3?
m
Let w be ((-132)/(-99))/((-42)/9). Which is smaller: w or 159?
w
Let o = -12.8 + -15. Let z = o - -28. Which is smaller: -10 or z?
-10
Suppose 3*t + 3*g = 4*t - 10, -3*g + 28 = t. Let c = t - 19. Suppose 11*p - 6*p - 105 = c. Which is bigger: p or 22?
22
Suppose -2*t + 1 = -7. Suppose -t*o + p = -5, 0 = -3*o + 3*p - 4 + 1. Let q be ((-4)/o)/4*2. Is q greater than or equal to -1?
True
Let y(l) = -3*l**2 - 9*l - 32. Let v be y(-4). Is -46 less than or equal to v?
True
Let f = 13455917127/21599071 - 48/155389. Let k = f - 623. Which is smaller: 1 or k?
k
Let x = -0.03 + 0.53. Let o = x - 1.2. Let u = -601 + 601.1. Which is bigger: u or o?
u
Let d = -0.896 + -6.104. Is d < -0.1?
True
Let u = 4343 + -473380/109. Which is smaller: u or 0?
0
Let r = -14.1 + 14.13. Which is bigger: r or -5?
r
Suppose -3*o = 4*q + 1392, 1248 = -2*o + 4*q + 320. Is o < -463?
True
Let r = -917.92 - -918. Which is greater: r or -38?
r
Let w = -6 + 3. Let s = w + 1. Let b = -79/78 + 9/26. Which is smaller: b or s?
s
Let t be ((-988)/8)/(-19)*2. Is 14 smaller than t?
False
Let v be 1*-9*20/(-6). Suppose -23 = -5*p + u - 3*u, -5*p + v = -5*u. Let f = 53 + -49. Which is bigger: f or p?
p
Let z be (0/(-1))/(-1) + 2. Let y be (-1)/2 + 70/28. Do y and z have different values?
False
Let o(b) = -4*b**2 + 13*b + 15. Let k be o(5). Which is bigger: -25 or k?
k
Suppose -3*s + 7 = g, -5*s + 5*g + 30 = 3*g. Let m be (6/2)/(5 + 71/(-16)). Which is greater: s or m?
m
Let p = 105 + -58. Suppose 3 - 6 = -f, 4*z - p = 3*f. Suppose -l + 23 = 2*o + 2*o, -o + z = 3*l. Which is bigger: l or 8/3?
l
Let n = -37 + 33. Let l be -4 + -3*2/24*n. Is 3 greater than or equal to l?
True
Let t = 1121 + -1118.3. Is t less than 0.1?
False
Let q = -4824 + 149560/31. Do 1 and q have the same value?
False
Let w(o) = -o + 10. Let j be w(9). Let x = 418/1015 - 12/35. Are j and x equal?
False
Let w = -228 - -218.3. Is w at least 0.3?
False
Let w = 5/7 + 11/14. Is w less than or equal to 43?
True
Let c be -5*(4 - (10 - 5)). Suppose 0 = -14*v + 9 + c. Which is bigger: 14/13 or v?
14/13
Suppose 0 = -2*i + 4, 4*m + 32 = 4*i - 2*i. Which is bigger: m or -8?
m
Let s = 4.28 - -0.82. Let w = 8.8 - s. Which is smaller: w or 0.1?
0.1
Let f be 2 - (4/(-18) - (-731)/(-153)). Is 21 at most as big as f?
False
Let x = -1219 - -1219.3. Let o = -0.6 - -0.54. Is o != x?
True
Suppose 0 = 21*t + 39*t + 5160. Are -9/7 and t equal?
False
Suppose -3*l = 21 - 21. Let d = 687/19 - -1331/114. Let x = -48 + d. Which is smaller: l or x?
x
Let m be ((-45)/12 - 5)*(-12)/(-1). Let l = m + 112. Let o = -89/20 - -17/4. Which is bigger: o or l?
l
Let x be (-240870)/144630 - 15/(-9). Is 0 >= x?
False
Let h = 216 + -215.98. Let b = -103.02 - -102. Let c = b + h. Which is smaller: -0.2 or c?
c
Let q = 7 - 211. Is -205 > q?
False
Suppose -5*q - 1440 = -5*a, -3*q - 2*a - 862 = -3*a. Is -286 < q?
False
Let t = -3/548 + 2367/685. Which is greater: 3 or t?
t
Let m = 212.1 - 212.52. Which is smaller: -1/2 or m?
-1/2
Suppose 0 = 8*k - 13*k + 90. Suppose -8*w + 9*w - k = 0. Which is greater: w or 19?
19
Let y be (-18)/(-20)*12/15. Suppose 2*c + 8 = 4*p, 309*p - 307*p - 12 = 3*c. Which is bigger: y or p?
y
Suppose y + 2*j = 4*y + 693, 4*y + 924 = -5*j. Let r = y + 2539/11. Which is smaller: r or 1?
r
Let i = -5717.53 - -5743. Let r = i - -0.53. Let u = 22 - r. Which is smaller: 1/2 or u?
u
Let u = 136 - 136.5. Are u and -2/9 nonequal?
True
Let n be 4083/(-583) - (-25 + 7 + 11). Is 1 less than n?
False
Let u(j) = -j**3 - 31*j**2 - 30*j + 11. Let t be u(-30). Let b be 42/77 - (20/t + -2). Which is bigger: b or -3?
b
Let o be 6 - (3/1)/3. Suppose -5*g = 195 + o. Let q be (-6)/g - 0/(-12). Which is smaller: 0 or q?
0
Let u = -125 + 125.9. Let t = 9 + -8.2. Let w = u - t. Which is greater: w or 1?
1
Let a be (-4)/(-3) + (-872)/109. Suppose y + 2*y + 18 = 0. Is y equal to a?
False
Let o = -400/3 + 14833/111. Which is bigger: o or -1?
o
Let b = -5.8 - -18.8. Do b and 5 have different values?
True
Let t = 44 + -25. Suppose -a - 5*d = -0*a - t, -9 = 4*a + 3*d. Which is bigger: a or 1?
1
Suppose 3 = 3*z + 3*u, 3*z - 4*u - 21 = -4. Is -8 not equal to z?
True
Let x(q) = -2*q + 1. Suppose 0 = 3*k - 7*k - 20. Let s = 10 + k. Let m be x(s). Is m less than or equal to -10?
False
Let t(f) = -5*f - 4. Let l be t(-2). Suppose -8*s = -l*s - 26. Let u(b) = b**3 - 12*b**2 - 14*b + 14. Let x be u(s). Is x >= 1/9?
True
Let h = 287 + -286.9. Let o = 0.06 - 0.01. Is h greater than or equal to o?
True
Suppose -2*k - 4*t - 39 = -181, -t = 4*k - 277. Which is greater: k or -2/7?
k
Let g be 2/6 - (-320)/(-6). Let c(d) = 192*d - 3071. Let u be c(16). Which is smaller: g or u?
g
Suppose -72*z + 55*z + 17 = 0. Suppose q + 7 = -i, 3*q + 2*i = -19 - 5. Let w be 0 + (q/8 - -1). Which is smaller: z or w?
w
Let o = 23 + -17. Suppose 0*i + 9 = r + 3*i, -2*i + o = r. Does 2/57 = r?
False
Let i = 5583 - 5580.549. Let s = 0.051 - i. Which is smaller: 0.1 or s?
s
Let s = -8.31 + -0.69. Let n = -14 + 14. Is s smaller than n?
True
Suppose 5*t + 56 = -4*v, 11*t = 13*t. Does v = -9?
False
Let s = -184 + 58. Let f = -124 - s. Which is bigger: f or 10?
10
Let t = 638 - 627. Let s(q) = q - 3 - 2*q**2 + 4*q**2 + 1. Let f be s(-3). Is t greater than f?
False
Let q = 9461/10 + -945. Which is smaller: q or 1?
1
Let r be (-3)/7*-7 + 2*7. Which is greater: -1 or r?
r
Suppose -10 + 30 = v. Let z be (-6)/(-28)*v/15. Let t = -184 + 186. Which is smaller: t or z?
z
Let w = -204 - -69. Let x = 137 + w. Which is bigger: 20 or x?
20
Let c be (1 + (-1)/3)/(30/(-20025)). Which is bigger: -444 or c?
-444
Suppose 1362 = 12*a - 270. Is 135 equal to a?
False
Let j be 218968/(-43733) - (-1 + -4). Is 0 less than j?
False
Suppose 4*l + 3*j - 321 = 459, 3*j + 195 = l. Suppose -l + 3 = 6*v. Is -31 != v?
True
Let c(o) = o**2 + 41. Let h be c(0). Suppose -2*u - v = u - h, 5*u + v = 67. Let b = u - 11. Which is bigger: -3 or b?
b
Suppose -1 + 4 = -3*x. Suppose 2*h = -2*h - 2*u - 14, -4*h - 4 = 4*u. Let j be (9/(-159))/(h/(-4)). Is x > j?
False
Let v(s) = s**2 + 6*s + 4. Let b be v(-7). Suppose 5*x - b = 9. Suppose 0*y = -2*y + 2*u + x, 5*y - 3*u = 4. Which is smaller: y or 1?
y
Let f(a) = -4*a + 6 + 1 + a**2 + 2 - 4. Let t be f(2). Which is bigger: t or 1/89?
t
Let o = -1591 - -1595.1. Let m = 109/210 + -2/105. Which is smaller: o or m?
m
Let b = -12479 - -36818/3. Is b >= -205?
False
Suppose -4*r = -2*r - 4*c + 10, -3*r - 3*c = -12. Let d(q) = -2 - 3 + 0*q - 2*q - r. Let p be d(-4). Is 3/5 at least as big as p?
False
Let v = -379 + 379. Is 0 >= v?
True
Let l = 18 + -9. Let o(p) = 66*p - 55. Let u be o(1). Which is smaller: u or 