8 + -2)/1. Let w = -116/5 - m. Which is bigger: w or -1?
w
Let l = -3 + 39. Let d = l - 41. Is d smaller than -9/2?
True
Let s = 397/1935 - 2/387. Is s > -42?
True
Suppose -i + 3*h - 5 - 3 = 0, 2*i = h + 4. Suppose 5*g + i = -11. Let u = -1 - g. Is -2 bigger than u?
False
Let h = 1 + 0. Let j = -31.08 + 32. Let y = j - 0.62. Which is bigger: y or h?
h
Let x be -3 + ((-5376)/(-30))/(-1). Which is smaller: x or -183?
-183
Let u be 42/(-15)*5*(-4)/(-62). Is -2 not equal to u?
True
Suppose -j - 33 = 4*i, 5*j + i = j - 57. Which is smaller: -11 or j?
j
Let s = -242 + 238. Suppose c = -4*c - 15. Is s > c?
False
Let x be (-12)/10*(-680)/102. Is 28/3 greater than x?
True
Suppose 17 - 11 = -6*w. Which is smaller: w or 2/427?
w
Let t = 0.0727 - -7.9273. Which is bigger: 7 or t?
t
Let w = 17 + -14. Let r = 29 - 17. Let s be (3 - 32/r)*12. Are s and w equal?
False
Let m(a) = -a**2 - 4*a + 9. Let u be m(-6). Let v be (-2331)/735 - (-4)/(-10). Which is smaller: v or u?
v
Let b be (0 + 0)*4/8. Suppose b*s = s - 5. Suppose s*h + 10 = -0*h. Which is smaller: h or -1/2?
h
Let q be 1/3 - 3/(675/1555). Let l = -70/9 - q. Is -1 at least as big as l?
True
Let k be (17 - 2)*(1 + 0/1). Suppose k*q = 20*q. Is 1 < q?
False
Let v be 3/(-4) - (-28290)/(-520). Suppose -3*a = -3*q - 162, 0*a - 5*a + q + 274 = 0. Let n = v + a. Which is greater: n or -1?
n
Let o(y) = -y**3 + 17*y**2 - 5. Let t be o(17). Let n(b) = b - 6. Let p be n(5). Let v be 2 + -6 - (p - -1). Which is bigger: t or v?
v
Let z = -581 + 579. Which is smaller: z or -7/12?
z
Let x = -3890/7 - -552. Suppose -2*p - 4*a = a, a - 17 = 3*p. Is x at least as big as p?
True
Let g(l) = l**3 + 6*l**2 + 6*l + 2. Let t be g(-3). Suppose d + 31 = t. Is d smaller than -18?
True
Let y = 2543/25916 + -20/341. Is y < -1?
False
Let k(a) = 3*a + 11. Let o be k(-2). Let d be (45/6)/o*24/18. Are d and 7/6 nonequal?
True
Suppose 2*z = -3*p + 52, 4*p - p - 22 = 4*z. Suppose 0 = -5*l + p*l - 27. Are 8 and l unequal?
True
Suppose 50*a = a. Is a greater than 1/456?
False
Let y be 36/10*(3850/(-21))/(-10). Which is smaller: 64 or y?
64
Let q = -0.925 - -1.025. Is q >= -604?
True
Let u = 8 + 2. Let g = u - 9.93. Let r = 0.05 + g. Is r > 0.1?
True
Let c = -11827/390 - -303/10. Let l = 1.9 + -2. Are l and c unequal?
True
Let p = 31.12 - 31. Let c = 25 + -23. Which is smaller: p or c?
p
Suppose -11 = -3*w - q - 3, -5*w - q = -12. Let i(a) = a**3 + a**2 - 19*a - 1. Let c be i(4). Are c and w unequal?
True
Let g = 1 - 6. Let s = g - -4. Let j = 1096/13075 + -2/523. Is j >= s?
True
Let y = 214 - 213. Which is greater: y or 45?
45
Let v be ((-7)/91)/(858/12 + 4). Which is smaller: v or -1?
-1
Let r = -7 + 4. Let b = -6 - r. Let y = 1.8 - 2. Which is smaller: b or y?
b
Let y = -744 - -707. Which is bigger: -2 or y?
-2
Let h = -133.207 + 0.207. Which is bigger: h or 0.1?
0.1
Let n = -0.37 + 1.37. Let s = -3.6 + -13.4. Let c = s - n. Is 0 at least as big as c?
True
Let d = -0.4 - -0.56. Let v = d - 0.16. Which is smaller: 3/4 or v?
v
Let w = 199 - 198. Which is smaller: -2/17 or w?
-2/17
Let y = -0.943 - -0.943. Which is smaller: y or -1501?
-1501
Suppose -k + 3 = 0, -4*o + 12 + 0 = 4*k. Which is greater: 1/27 or o?
1/27
Let u be 5/15825*10*3. Which is bigger: 0 or u?
u
Let a(j) = 9*j**2 - 53*j - 5. Let c be a(6). Let x = 618/13 - 6616/143. Do x and c have the same value?
False
Let m = 0.649 + 9.781. Is m <= -1?
False
Suppose -4*s - 5*a = 299, 2*s - 3*a + 2*a + 167 = 0. Is s less than -80?
True
Suppose -2*v + 4 = -4*b, -4*b = v - 8*b - 4. Let k be ((-3)/(-78))/(2/(-8)). Which is smaller: k or v?
k
Let n = 274636/1095 - 1254/5. Is -1 < n?
True
Let w be 3/(-6) + (-26)/4. Let x(c) = c**2 + 3*c - 22. Let u be x(w). Which is bigger: u or 2?
u
Let r be (-4)/(-16)*4 + 7*1. Let j be (-5 - 4/r*-4) + 3. Which is smaller: 8/15 or j?
j
Let d = 112 - 150. Let r = -2 - d. Is -0.1 equal to r?
False
Let a(h) = h - 83. Let q be a(28). Which is bigger: -56 or q?
q
Suppose 0 = 403*b - 387*b - 1456. Which is greater: 100 or b?
100
Suppose 0 = k - 3. Let d be -2 + 1 + (-9)/k. Let y be 0/(4/4 + d). Which is smaller: y or 4?
y
Let z = 222 + -233. Which is smaller: -41 or z?
-41
Let r be ((-2)/18)/((190/(-12))/(-5)). Does r = 0?
False
Let g be 1/4 - 134/552. Which is smaller: 1 or g?
g
Let l = 0.009 - 10.009. Let a be (-4)/10*30/18. Is a > l?
True
Let i = -3/25 - 2/25. Let f(d) = d**2 + 2*d + 1. Let k be f(-2). Let t be (1*(2 + k))/(-1). Which is smaller: i or t?
t
Suppose 0 = -4*x - 3*n - 7, x + 3*n - 6 = -10. Which is bigger: 3/13 or x?
3/13
Let n = 5 + -8. Let g be 8/(-2) + (-14)/(924/(-55)). Which is bigger: g or n?
n
Let z(b) = -b**2 + 10*b - 7. Let x be z(9). Suppose 0 = o + 2*c - 1 - 5, -x*o + 10 = 2*c. Let s be 39*28/189 + 4/18. Which is bigger: o or s?
s
Let o = 13 - 9. Suppose 2*a + 58 = -4*s - 70, 0 = 3*a - o*s + 182. Let q be 2/11 - a/22. Is 1 equal to q?
False
Let t(y) be the first derivative of -y**4/4 + 5*y**2/2 + 3*y + 3. Let k be t(-3). Let m = -14 + k. Is -1 > m?
False
Suppose 0 = -2*o - 19 + 17. Suppose 5*d - 17 = 2*j, -2*j + 4 = 4*d - 6. Is o > j?
False
Suppose 6*o = 3*o - 3. Let m = -144/5 + 29. Which is smaller: o or m?
o
Let y(k) = -k**3 + 35*k**2 - 200*k + 22. Let a be y(28). Which is smaller: a or -91?
-91
Suppose -9 = -0*k + 2*k + s, s + 5 = -k. Let u be (4 + -2 - 3) + 5. Suppose -4 = 2*d + u*l, l + 1 = 3. Is k not equal to d?
True
Let s = 295 + -296. Is s > 2/723?
False
Let g = -935 + 126226/135. Is -1 greater than or equal to g?
False
Let o = 0.1363 - -0.4137. Which is smaller: o or -0.02?
-0.02
Suppose 4*n = -4*b + b + 20, 3*n - 15 = 5*b. Suppose b = 2*o - 12*o - 10. Is 42 > o?
True
Suppose 3*w + 3*y = -2*y + 17, 4*y = 5*w + 21. Which is bigger: -119 or w?
w
Let v be (-1 - (-70)/2) + -2. Suppose 0 = 2*m + 56 + v. Is -42 bigger than m?
True
Suppose 0 = -z - 5*p + 15, 0 = 2*z - z + 4*p - 12. Which is greater: -1/81 or z?
z
Let i(u) = -2*u + 6. Let l(r) = r**2 + 4*r + 5. Let y be l(-4). Let c be i(y). Let d be 2 + (-2)/(3 - 5/2). Does d = c?
False
Let p = 18 + -20. Let n be 3 + (p/(-20))/((-2)/68). Which is smaller: -15 or n?
-15
Let x = 3 + 0. Suppose -6*r - 3*w + 36 = -r, -w + 26 = 4*r. Is x less than or equal to r?
True
Suppose 3*o - v = 5*o - 46, 4*o - 76 = 2*v. Suppose 17*z = o*z + 48. Which is smaller: z or -10?
z
Let k be (6/(-9))/(8/(-9)). Let w = -27.01 + 15.01. Is w at most as big as k?
True
Let d = 138.2 + -138. Is d equal to -66?
False
Suppose -x = 4*i + 18 + 3, 21 = 4*x - 5*i. Let l = 1 - 1. Let q be 3 + 0 + (l - -1). Which is smaller: x or q?
x
Suppose 5*y - 65 - 1 = 3*o, -9 = -3*o. Suppose -3*n - y = 0, b - 5*b - 4*n = 12. Let f be 201/165 + b/11. Is f greater than or equal to 0?
True
Suppose 12 - 4 = 4*v. Suppose -2*z = v - 0. Are z and -3.9 nonequal?
True
Let t be (-1 + 76)*(-1)/(-3). Suppose 0 = 3*g, -3*u + 3*g = -97 + 25. Let j = u - t. Is -1/6 != j?
True
Let i = 11/54 + -10/27. Suppose 4*v + 119 = 3*x, -v = 3*x + 2 - 96. Let r = 34 - x. Which is bigger: r or i?
r
Let o = 60 - 60.1. Let n = -62.1 - -69. Let y = n + 1.1. Is o < y?
True
Let a = -1492 + 2138. Do 644 and a have different values?
True
Suppose -c = 2*g + 2*g + 19, -2*c - 23 = 3*g. Let b(a) = a**3 + 6*a**2 - 5*a + 5. Let x be b(c). Is x at most -8?
True
Suppose m - 3*m = 666. Suppose 0 = 4*k + 4, 10*q - 5*q - k = 4186. Let p be m/q - (-1)/3. Is -1 equal to p?
False
Let c be 2/2 - (0 - 17). Suppose 0 = 2*z + 4*z - c. Which is greater: -11 or z?
z
Let m be (0 + 3)*(3 - (-159)/9). Let n = -123/2 + m. Suppose 0 = -2*q - 2*x, -x + 0*x = 0. Do n and q have the same value?
False
Let a = 1 - 0. Let b(x) = -x**3 + x**2 - x - 19. Let u be b(0). Let s = u + 245/13. Which is greater: a or s?
a
Let n be (-10)/14 + 1 + (-78975)/567. Are -139 and n equal?
True
Suppose 2*x = 4*k + 12, 5*k + 1 = 2*x - 16. Let t = 5 + k. Let y be 12/18 + 2 + -3. Which is smaller: y or t?
y
Let u(o) = -o**2 + 6*o. Let x be u(6). Suppose x*s + 4*s = 4. Suppose 0 = j - s - 8. Which is smaller: j or 8?
8
Let x be ((-18)/12)/((-44)/(-8)). Let m be (-8)/10 + (-3)/15. Which is smaller: x or m?
m
Let w = 1069892/285 - 3754. Let g be (-2)/(-6) + 1/(-3). Is g equal to w?
False
Let z(f) = 3*f + 10. Let r be z(-3). Let d = -1 + r. Which is greater: d or -1/4?
d
Let y = -118 + 158. Let j = y - 33.4. Is j >