2. Let i = m - -0.8. Is i equal to z?
False
Suppose -j - 4 = -3*b, -3*j - b = 19 + 23. Let f = -8 - j. Let h be f/(-3) + 2/12. Which is smaller: h or 0.1?
h
Suppose -3*o = 6*o - 63. Suppose -5*k - 1 = 2*c - 0, -c = -4*k - 19. Does c = o?
True
Suppose 27*d + 28 = 20*d. Which is smaller: d or -5?
-5
Let k = 121/9 + -365/27. Which is bigger: 1 or k?
1
Suppose 3*r + 3 = -5*l, 3*r - 24 = -0*r + 4*l. Let x be r/10 + 142/(-80). Let d = -7/8 - x. Which is greater: d or 1?
1
Let w = 0 - -2. Suppose -w*i - 2*z - 22 = 2*z, 3*i = -5*z - 29. Is -4 != i?
True
Let u(q) = 7*q**2 - 1. Let f be u(1). Let t be 2/(f/2 + 1). Let w(n) = -n**2 - 3*n - 1. Let s be w(-2). Which is smaller: t or s?
t
Let t = 1.9 - -6.1. Let r = -26 + 26. Is t at most r?
False
Let c(l) be the third derivative of l**5/60 + l**4/3 - 7*l**3/6 + l**2. Let x = 26 + -35. Let b be c(x). Which is smaller: 6/11 or b?
6/11
Let r be (0 - -1)/(4/8). Is r at least 8/13?
True
Let s be -3*(-3)/(-258)*2. Let g = -10/22109 - 1280172/4753435. Let z = g - s. Is z greater than 1?
False
Let q = 10/21167 + -997209/4995412. Let r = q - 3/59. Let z be ((-27)/24 + 1)/(2/4). Is r less than z?
False
Let l be -4*1*1/(-4). Let m = 25 + -151/6. Which is greater: l or m?
l
Let g be 4/1*2/8. Let k be 1 + 0 - 3/g. Let w be (7 + -5)/(k/1). Is w greater than -1?
False
Let b be -15 - 5*(-3)/(-5). Is b >= -17?
False
Suppose -5*v = 12 + 28. Is -8 greater than v?
False
Suppose -2*r + 5*o + 11 = -10, -3*o = 9. Let h be (-3)/6 + r/(-30). Is h at most 0?
True
Suppose 10 = -11*x + 16*x. Which is smaller: 4/7 or x?
4/7
Let v be 4/(-3)*(-4)/(-8)*-1. Which is greater: 1 or v?
1
Suppose 3 + 11 = 2*k. Let c be ((-2)/(-2))/(7/k). Which is smaller: c or -1/8?
-1/8
Suppose z - 3*y = 0, 3*y - 6*y = 0. Which is smaller: 4 or z?
z
Let d(u) = -u - 4. Let f be d(-2). Let p be 2/10 + (-3 - -2). Is f bigger than p?
False
Suppose 0 = -3*z + f + 83, 8 = -3*f + 2. Which is smaller: 24 or z?
24
Let g = -8 + 13. Let c = g - 4. Do c and -2/3 have different values?
True
Let v = -0.5 - 0.5. Let k = -0.8 - v. Which is greater: k or -0.1?
k
Suppose 0 = -4*x + 5*r - 7, -6*r + 9 = -3*r. Suppose -x*a = a + 9. Let y = 22 - 24. Which is smaller: a or y?
a
Let j = -14 - -45. Is 31 greater than j?
False
Suppose 3*u + 0*u = 5*y + 119, u = 2*y + 47. Suppose 0 = 2*l + 28 + 18. Is y at least as big as l?
True
Suppose 18 = 4*z + 2. Let c be 1 - (9 - (-2 + z)). Are c and -6 non-equal?
False
Suppose 20*c - 22*c + 2 = 0. Is 6/17 less than c?
True
Let h = 0.3 - 0.5. Let z = 72 + -75.9. Let w = z - -4. Is w at most as big as h?
False
Let p(n) = 4*n**2 + 1. Let m be p(-1). Let x be (-8)/(-12) + m/(-3). Which is greater: -5 or x?
x
Let v(x) = 2*x**2 - 3. Let m(j) = 5*j**2 + j - 7. Let d(s) = -3*m(s) + 7*v(s). Let k be d(-3). Let r = -2 + 1. Is r > k?
False
Suppose 0 = -2*f + 4*f. Suppose 2 = 2*u - 0. Let z be u/(-4) + (-15)/(-12). Which is smaller: f or z?
f
Let q be 7/(-21) - (-2)/(-3). Does 0.12 = q?
False
Let i be (2/4)/(2/12). Let t(c) = -c - 3. Let b(v) = 2*v + 1. Let j(o) = b(o) + t(o). Let l be j(i). Is 2/3 smaller than l?
True
Suppose 0*p + p = -7. Let b = 11 + p. Suppose b*j = j. Is -2 smaller than j?
True
Let u(y) = 3 + 4*y - y**3 - y**2 + y**2. Let m be u(-2). Let o = 5 - 3. Is m != o?
True
Let z be 30/(-75) + (82/5 - -1). Is z at least 17?
True
Let n = -14 - -14.18. Let k = 0.1 - n. Which is bigger: 2 or k?
2
Let b(j) = j**2 - 6*j + 1. Let r be b(4). Let s = r + 8. Is s less than 1/14?
False
Suppose -o - d = -8, 47 = 5*o - 2*d - 0*d. Let r be (-1)/9 - 2*(-2)/36. Is o equal to r?
False
Let o(v) = -v**3 + v**2 - v + 3. Let t = 2 - 2. Let y be o(t). Let i(w) = w**3 - w**2 + 1. Let b be i(1). Is b at least as big as y?
False
Let y be -2*(4 + 27/(-6)*-1). Is -20 >= y?
False
Suppose 2*r + p + 34 = -3*p, -26 = 2*r - 4*p. Let m be (-6)/(-45)*25/r. Which is bigger: m or 0?
0
Let f = 57 - 43. Which is greater: f or 0?
f
Let k be (-1)/36 - (3 + 25/(-9)). Is k less than -2/3?
False
Let n = 0.09 + -1.09. Let u = n + 2. Is -14 less than or equal to u?
True
Let i(j) = -j**3 - 23*j**2 - 23*j - 23. Let t be i(-22). Is t < -3/5?
True
Let s = 7/3 + -13/6. Let o(f) = f**3 - f**2 + f + 1. Let b(u) = 4*u**3 - 8*u**2 + 5*u + 6. Let w(v) = b(v) - 6*o(v). Let x be w(-1). Is x greater than s?
True
Suppose a - 2 = -1. Are -3/17 and a non-equal?
True
Let c = 203 - 284. Which is smaller: c or 0?
c
Let u = -56.02 - -57. Let p = 0.02 + u. Is p smaller than 0.4?
False
Let z be ((-20)/46)/1 - -2. Let b = -1090/667 + z. Which is greater: -1 or b?
b
Let h(q) = q**3 - 1. Let l be h(1). Let c = -31/102 - 1/34. Does l = c?
False
Suppose 8 = -5*m - 37. Let u = 8 + m. Let y be (3 - 18/5)*u. Which is smaller: 1 or y?
y
Suppose -4*b - 3 = -b, 5*s = 5*b - 75. Which is bigger: -14 or s?
-14
Let n = 8 + -7. Let s = -0.3 - -1.3. Do n and s have different values?
False
Let n = 0.7 + -1.7. Which is smaller: 3 or n?
n
Let n be 24/10 - (-4)/(-2). Let c = 5 + -1. Suppose -c*b = b. Is b smaller than n?
True
Let f = -4 - -1. Let m(v) = -2*v**2 - 2*v + 2. Let g be m(2). Let o(b) = b**3 + 11*b**2 + 9*b - 12. Let x be o(g). Which is smaller: x or f?
f
Let p(o) = o + 15. Let v be p(-11). Let q be 2 - (v/(-1))/(-4). Is 1/7 less than or equal to q?
True
Let g be 1 - 1 - (-3 - 2). Suppose 5*n + 30 = c - 3*c, -6 = n - 3*c. Let j be -2*(-3 - 9/n). Which is smaller: g or j?
j
Let k(j) = j**3 + 9*j**2 - j - 5. Let a be k(-9). Suppose -a*p = -2*p. Which is smaller: p or -1/8?
-1/8
Let r be 16/(-48) - (-84)/(-9). Which is greater: -11 or r?
r
Let p(y) = -y + 17. Let m be p(16). Which is greater: 1/11 or m?
m
Let a be 5 + -1 - (2 + 0). Let m = 0 + a. Which is greater: m or -1?
m
Suppose 0 = 2*p, -6*w + w + 4*p = 30. Let j be -2 - (4 + 31/w). Which is smaller: j or 0?
j
Let a = 77.1 + -71. Let o = -6 + a. Is 2/7 less than o?
False
Let n = 3/56 + -73/56. Suppose h - 5 = -3. Let b be (-6)/(0 + 2) + h. Which is smaller: n or b?
n
Let c be 1*(56/12)/(-7)*-69. Is 48 >= c?
True
Let f = -12 + 11. Let w be 4/f + (-1494)/(-369). Is 0 != w?
True
Suppose 5*k - 7*k = 3*k. Does k = -2/121?
False
Let i be -1 - 22/(-14) - -2. Which is smaller: i or 2?
2
Let p = -3 - 5. Let h = 1.05 + -0.05. Which is smaller: h or p?
p
Let o(b) be the third derivative of b**4/24 + b**3 - 6*b**2. Let a be o(-4). Which is bigger: a or 4?
4
Suppose -4*q - 4 + 20 = 0. Suppose -q*u = -5*x + 12, -2*u - 4*x = -8 - 12. Suppose -l = -5*f - 11, -f - 4*l + 6 = -u*f. Does -1 = f?
False
Let n = -39 + 28. Let f = 14 + n. Which is bigger: f or 5?
5
Suppose 2*f = -4*a - 14 - 6, 2*a - 14 = 5*f. Let v = -5 - a. Let l be (-34)/(-60) - v/(-12). Which is smaller: l or -2/3?
-2/3
Let p = 19/10 - 91/40. Let n(u) = -u + 5. Let q = 22 - 16. Let y be n(q). Is p greater than y?
True
Let f = -3.7 - -12.7. Is f bigger than 0.4?
True
Let c = -44 - -59. Is 17 >= c?
True
Suppose -9*i = -4*i. Which is greater: 3/22 or i?
3/22
Let l be 26/3 - (-2)/6. Let v be ((-3)/l)/((-1)/6). Is 3/4 greater than v?
False
Let w = 55 - 44. Do w and 2 have the same value?
False
Suppose 3*p = 3*c, -c - 5 = -5*p - 1. Suppose u = 2, 0 = 2*q - 0*q + 2*u - 10. Is p bigger than q?
False
Suppose -q + 6 = q. Let i = -1 + q. Suppose 3*d - 5*d = -i. Which is greater: 1/3 or d?
d
Suppose 5*w + q = 37, 0*w = -3*w - 3*q + 27. Which is bigger: 8 or w?
8
Suppose -12*i = -8*i + 64. Is -15 at most as big as i?
False
Let c(b) = b - 5. Let o(n) = n**3 - 5*n**2 - 5*n + 4. Let j be o(6). Let v be c(j). Is v >= 4?
True
Suppose 3*z = 2*z. Suppose z = 3*o - 8*o + 25. Let n = o - 6. Which is bigger: n or -1/5?
-1/5
Let a = 5 + -11. Let f = -5.8 - a. Which is bigger: 1 or f?
1
Let q(t) = t - 1. Let b be q(3). Let a be -2 - -2 - (4 - 1). Let s(k) = -k - 1. Let c be s(a). Is b less than or equal to c?
True
Let o(p) = p**2 - 14*p + 16. Let l be o(13). Is 3 bigger than l?
False
Let p = 1.9 - -4.1. Let r = 0.8 - 1.8. Is r bigger than p?
False
Let k(b) = 1 + 3 + 2 - 5 - 9*b. Let a be k(-1). Let p be ((-4)/a)/((-2)/10). Does 5/4 = p?
False
Let d = 1 - 1. Suppose 4*q = 2*c + 8, d = 2*q - 0*q + c - 4. Suppose r = -q + 1. Is 2/5 less than or equal to r?
False
Let f(y) = -2*y**2 - 24*y - 19. Let x be f(-11). Is 2 > x?
False
Let l = 1 - -2. Suppose -4*v + 20 = -3*s, -v - s + l*s + 10 = 0. Is v at least 2?
True
Suppose 0*z + 33 = 2*z + 5*t, 4*