 + 1 = -2*b. Let z = -1 + b. Which is greater: 3 or z?
3
Let b = 2.4 + -2. Let g = 0.9 - 1. Which is bigger: g or b?
b
Let n = 1 - 2. Let b = 3 - 4. Let o = b - -0.8. Which is smaller: n or o?
n
Suppose 3*j + 3 = 12. Let p = -5 + j. Let s(z) = -z**2 - 6*z - 5. Let l be s(-5). Is l <= p?
False
Let j be (4 - 3)*(3 + (3 - 1)). Are 5 and j nonequal?
False
Let y = 16/95 + 4/95. Which is smaller: y or 1?
y
Suppose -2*d - d = -15. Let r be (d/25)/(0 + 1). Which is bigger: r or -1?
r
Let n = -74/5 + 676/45. Let b = n + -5/9. Which is smaller: b or 0?
b
Let l(o) = 3*o**2 + o**3 - 3*o**2. Suppose 0 = 3*r - 2*r. Let s be l(r). Is 2 <= s?
False
Let x = 80 - 87.8. Let v = x + 8. Let a = 0.1 + -0.1. Which is greater: v or a?
v
Let n be (-3)/30*-2*3. Let c = 17/20 - n. Let w be 2/(-5) - (-14)/10. Which is greater: c or w?
w
Let w be 1/430*4*5/(-1). Which is bigger: w or 0?
0
Let d be ((48/(-4))/4)/(-3). Is -1/45 less than or equal to d?
True
Let l be (2/(-4))/(3/(-14 + 2)). Which is smaller: l or 6/11?
6/11
Let b(q) = -2*q - 11. Let x be b(-8). Suppose n + 32 = 4*u + x*n, -15 = 3*n. Let p be (-4)/(-16) - u/36. Are p and -1 unequal?
True
Let l(q) = q**3 + 10*q**2 - q - 10. Let m be l(-10). Which is smaller: m or -10?
-10
Let l(d) = 3*d**2. Let g be l(1). Suppose f = 4*f - g. Let x be (-3)/(-4)*(-18)/27. Which is smaller: f or x?
x
Let f = -2.02 + 2. Let s = f - 0.38. Let p = -0.3 - s. Which is greater: -1/3 or p?
p
Let b = -13 + 14. Does 0 = b?
False
Suppose -14 = h + 21. Is h equal to -34?
False
Let r(y) = -y**3 + 1. Let z be r(1). Does z = 1/14?
False
Let r = -3.04 - -0.04. Let t = 3 - 5. Let w = t - -2.1. Which is bigger: w or r?
w
Suppose 2*t + 18 = -t. Do -4 and t have the same value?
False
Let i = 11 - 7. Suppose -i*p = p. Let q = 1 - p. Which is smaller: q or 1/3?
1/3
Let s(k) = -k**2 + 4*k + 7. Let w be s(5). Suppose w*z - 1 + 0 = -3*x, 5*z - 15 = 5*x. Which is greater: z or 1?
z
Let c = -12 + 13. Let h = -1.7 + 2. Let y = h - 0.1. Is y at least as big as c?
False
Let n(d) be the third derivative of d**5/60 + d**4/8 - 5*d**3/6 - d**2. Let j be n(-4). Let g be 1 - (j + (-9)/(-2)). Is g != -3?
True
Let k = -6 + 6. Let i = -1 + k. Which is bigger: -0.2 or i?
-0.2
Let h(p) = p**3 + 7*p**2 - 8*p + 2. Let w be h(-8). Let v = 8/5 - w. Is v smaller than 0?
True
Let k(x) = x**2 + 4*x + 14. Let g(z) = 2*z**2 + 3*z + 15. Let q(y) = -2*g(y) + 3*k(y). Let m be q(7). Is m at least as big as 5?
True
Let u = -48 + 49. Which is greater: u or -6/13?
u
Suppose 210*d = 207*d - 6. Let o(a) = -a**3 + 7*a**2 - 6*a + 4. Let s be o(6). Suppose s - 3 = -n. Is n <= d?
False
Let q = 1151/52 - 83/4. Let y = q - 105/104. Let d = y - 1/24. Is d greater than or equal to 2?
False
Let y(m) = -m**3 - 3*m**2 + 2*m - 4. Let n be y(-3). Which is bigger: n or -9?
-9
Let f = 7 + -13. Let y = f + 6.04. Which is smaller: -0.1 or y?
-0.1
Let h be (-5)/8*-4*6. Which is smaller: h or 44/3?
44/3
Let r be (1164/99)/4 - 3. Is r > -1?
True
Let c be 84/(-160) - (-12)/30. Are 1 and c unequal?
True
Suppose -s + k = -2, 3*s - k = -2*k + 22. Which is smaller: 11 or s?
s
Let x(j) = -j - 4. Let b be x(-3). Let h = -0.042 - 2.958. Which is bigger: b or h?
b
Let l be -1 + 5 - 6/3. Suppose 0 = s - 4*s - 5*r + 80, 2*r = -3*s + 86. Let a be (-2)/(-10) - (-12)/s. Which is greater: l or a?
l
Let n(i) = -6 - i + 5*i**2 - i + i**3 + i**2. Let t be n(-6). Does 7 = t?
False
Let v = 38 - 38. Are -2/23 and v unequal?
True
Let b = -57415989/795865 - -2/113695. Let x = -72 - b. Suppose 19*a = 20*a + l - 3, -14 = -4*a - 5*l. Which is bigger: a or x?
a
Let j = -6800/3297 + -50/157. Let r = -26/7 - j. Is r not equal to -2?
True
Let p = 4 - 4.1. Let i = -0.9 - 0. Let o = p + i. Are 2 and o equal?
False
Suppose 5*v - 2*v = -36. Which is smaller: v or -11?
v
Let m be 1*-10*2/5. Let g be m/((-64)/12)*4. Suppose q + 10 = 6*q. Is g at most q?
False
Let n = -36 - -36. Is -1 greater than or equal to n?
False
Let p = 56 - 63. Which is smaller: p or 1?
p
Let c(q) = -q**3 + 10*q**2 - q + 10. Let x be c(10). Suppose -5*m = -x*m + 10. Which is smaller: m or -4?
-4
Let a = -0.06 + -0.94. Which is smaller: -16 or a?
-16
Suppose -15*w = -17*w - 2. Is w != -2/9?
True
Let b be 0 - (-9 + 5) - 4. Which is greater: 2/81 or b?
2/81
Let t(o) = 1 + 4*o**2 + 2*o + 0 - 3*o**2. Let p be 16/(-40) - 1/((-15)/(-9)). Let s be t(p). Is s smaller than -2/5?
False
Let l be (-2)/(-7) - (2 - (-26274)/(-12460)). Let y = -3/685 + -151/121930. Let k = y - l. Is k <= -1/2?
False
Let p(h) = -2*h - 8. Let n be p(-10). Let w = -7 + n. Suppose r + 2 - w = 0. Is 3 greater than or equal to r?
True
Let y(v) = v**2 + 5*v. Let o be y(-5). Which is bigger: 0.08 or o?
0.08
Let r = -187/70 + 6/35. Is 2/7 at least as big as r?
True
Let q = 5 + 24. Suppose 0 = 5*b + y + q, -4*b - 17 + 1 = -y. Which is greater: b or -4?
-4
Let p = -3 + 3. Let t = 0 + 2. Suppose 4*q + 5*b = -4, b + 4 - t = -2*q. Which is smaller: p or q?
q
Let m = 47 - 46. Which is greater: m or 1/3?
m
Let s = 1 - -3. Suppose -3*i = 2*v + s, -4*v = -0*v + i + 8. Is v at least -12/5?
True
Let a be (3/81)/((-1)/(-2)). Is a less than -1?
False
Let y be (1/2)/(5/30). Let c(o) = o + 1. Let r be c(5). Suppose 2*s - r = -0*s. Do y and s have different values?
False
Let p be 36/21*(7/2 - 0). Is p at least 2?
True
Let v = -4.584 + -0.016. Let f = -5 - v. Let l = 0.5 + f. Is -1 bigger than l?
False
Suppose 0 = 2*u + 2*s + 10, 3*s = -2*s - 5. Let p be (-5)/10 - 6/u. Is 1 >= p?
True
Let u = -1.77 - -1.64. Is u smaller than -2?
False
Let w = 2 + -1. Let u be -6 + 6 + 4/2. Let q = u - 2. Which is smaller: w or q?
q
Suppose -5*u + 15 = 5. Suppose 0 = -2*i + 8 + u. Are i and 5 non-equal?
False
Suppose 29 = 5*j + 4. Suppose 3*w + j = 2*g, 3*g + 6*w - 2*w = -35. Which is bigger: -4 or g?
-4
Let f(r) = 4*r + 3. Let g(d) = 2*d + 1. Let s(n) = -3*f(n) + 7*g(n). Let w be s(5). Let o be 4/w - 18/28. Is o smaller than -1?
False
Let g be (-1)/((-2)/(-3)) + -1. Which is smaller: -4 or g?
-4
Let q = 82 + -63. Which is smaller: 0.2 or q?
0.2
Suppose -s = -6*s. Let n be 12*(19/(-10) + 2). Which is greater: n or s?
n
Let d(f) = -2*f - 26. Let g be d(-11). Let o = g - 7. Is -9 less than o?
False
Let s(u) = u + 37. Let w be s(0). Which is smaller: -1 or w?
-1
Let a(p) = -p + 12. Let g be a(-7). Which is greater: g or -0.1?
g
Let v = -370/319 + 12/11. Is v != 0?
True
Let g(i) = i - 5. Let w be g(7). Suppose m + 17 = w*m - 4*n, -5*m + 4*n + 53 = 0. Suppose a + 5*o = -18, 0*o + o - m = 4*a. Does -2 = a?
False
Suppose 3*l + 0 = 6. Suppose -r - l*r = 0. Let t = -3/77 + -1/7. Is t at least r?
False
Let t(b) = 2*b**3 + 6*b**2 - 8*b - 6. Let o be t(-5). Let x be (-3)/(-9) + 10/o. Is x > 0?
True
Suppose 0 = f - 3*q + 7, -5*q - 46 = 5*f + 9. Let b be 2/(-8) - f/8. Let z be (2 + -3)*(0 - b). Are z and 4 non-equal?
True
Let w = 16 + -10. Let c = 7.3 - w. Let h = c + -0.3. Which is smaller: h or -0.2?
-0.2
Let s = -0.54 + 0.54. Are 52 and s nonequal?
True
Let x be (-43)/5 - 6/(-10). Which is smaller: -7 or x?
x
Suppose -5*v + 3*f - 360 = -85, 0 = -5*v - f - 275. Is -55 greater than or equal to v?
True
Let o(c) = 2*c + 4. Let h be o(-5). Let s(q) = -q**3 - 8*q**2 - 7*q - 5. Let r be s(-7). Is h > r?
False
Suppose 0 = -3*t + 8 - 2. Are 8/13 and t equal?
False
Let s = -37 + 27. Is -11 > s?
False
Let d be 2/7 + 40/(-189). Is d > 1?
False
Let y = 9 + -13. Let m(c) = c. Let g be m(y). Let v = 1 + g. Which is greater: -2 or v?
-2
Let n(w) = -w - 43. Let q be n(0). Let p = q - -7. Let v be 2/(-3) + 30/p. Is v at least as big as -1?
False
Let h be (-4)/6*(-6)/10. Let j be (2/(-36))/(2/8). Which is smaller: h or j?
j
Let y = 1/19 + 17/38. Let h = -145 + 143. Is h > y?
False
Let z be 0 - ((-10)/(-6) + -3). Let u = z + -5/3. Which is bigger: 0 or u?
0
Suppose 2*i - 4*x - 6 = -6*x, i - 18 = 4*x. Suppose -4 - i = -5*y. Let j be y/4 - (-10)/(-4). Is -2 equal to j?
True
Suppose -2*x + 5 = q, -5*x + 7 = 2*q - 4. Suppose -x - 2 = 3*r. Is r smaller than -2/23?
True
Let c = 60 - 84. Which is smaller: c or -25?
-25
Let m = 19 - 7. Let u = m + -12. Suppose -2*d - d = -3. Which is smaller: u or d?
u
Let w(z) = z**2 - 4. Let k be w(-2). Which is smaller: k or 1/111?
k
Let x(o) = o**3 + 4*o**2 + 2*o - 3. Let f be x(-4). Let m = f + 6. Is -5 less than m?
False
Let h(k) = -6*k 