*2 + 2. Let m be c(-5). Is m not equal to 0.1?
True
Let i = -2.22 - -0.72. Which is smaller: -2 or i?
-2
Let m = -52 + 37. Is m at least -15?
True
Suppose 0 = 2*l - 3*g - 13, 2*l + 0*l - 7 = g. Let i = -3 + l. Is 2/17 > i?
True
Let j(c) = c**3 + c**2 - 2*c - 2. Let g be j(-3). Let d = -11 - g. Which is bigger: 8/5 or d?
d
Let b = 6/19 - 31/38. Suppose -5*z = -4*z - 6. Which is bigger: z or b?
z
Let y = -7122 + 21172/3. Let l = y + 64. Let z be 1*(0 + 3)/(-6). Which is greater: l or z?
z
Suppose -5*g = -3*s - 17, 4*s - 6 = -4*g - 18. Let l = g + 1. Which is smaller: 10/9 or l?
10/9
Let x be 0/(-9) - 1/(-1). Which is smaller: 5/9 or x?
5/9
Let f be 1430/(-8) - 6/24. Let i = f - -2507/14. Which is greater: i or 1?
1
Let o be 3 - 3/(-6)*-2. Let u be (1 - 1)/(0 + o). Which is smaller: -1 or u?
-1
Let s = -12 - -12. Which is smaller: s or -49?
-49
Let k = 13 - 18. Are k and -5 unequal?
False
Suppose 5*p + f - 5 = 0, 0 = 2*p - 0*f + 5*f - 25. Let r be p + 1 - 5/5. Suppose 2*y - 3 = 3*y + 3*w, -y - w - 3 = r. Are y and -3 non-equal?
False
Let z = -69/2 + 35. Is 0.1 greater than z?
False
Let w = -0.36 + 21.36. Is w not equal to -1?
True
Let u = 2/127 + -385/254. Let a be -2*(0 + 1) - -2. Suppose 3*q + q + 4 = a. Is q less than or equal to u?
False
Suppose 12 = -2*f + 4. Which is bigger: f or -5?
f
Let w be 2 - ((-6)/(-2) - 3). Suppose -w*c - 6 = -5*c. Let l = -4 + 7. Does l = c?
False
Let d = -9.8 - -50.7. Let r = 44 - d. Let l = 3 - r. Is 1/3 at least as big as l?
True
Let g be (2/(-3))/(4/(-6)). Suppose 3*r + 12 = 3*m, -2*m - 4*r + g = -1. Let s be ((-1)/m)/(5/15). Is s greater than or equal to -2?
True
Let v = -10 + 4. Is v smaller than -6?
False
Let w be -1 - (-1 - 1) - (-22)/55. Which is bigger: w or 2?
2
Let u(y) = -y**3 - 3*y**2 - 2*y. Let k be u(-2). Let z = k + -3. Let d be (z + (-19)/(-5))*-5. Is d at least as big as -4?
True
Let k be ((-3)/(-4))/(2 + -5). Suppose 3*b = w + 10, 4*w + b = -b + 2. Which is greater: w or k?
k
Let v be (-2 - 0)/(-1 + 7). Which is bigger: v or 3/4?
3/4
Let m(t) = -t**3 + 3*t**2 - 3*t + 4. Let q be m(3). Let z = q + 9. Let b be (3/23)/((-6)/z). Do b and 0 have the same value?
False
Let d = 2.18 + 2.7. Let i = 0.12 + d. Which is bigger: -2/3 or i?
i
Let f = 10157/9 + -1127. Is f greater than or equal to 2?
False
Suppose 4*f - j - 8 = 0, 4*f - 4*j + j = 8. Suppose u - 2*t + 8 = 0, f*u + 2*t - 5 = 9. Which is bigger: 3 or u?
3
Let o = -0.9 + 0.2. Suppose 3*z = -3, v = 3*v + 3*z + 3. Which is greater: o or v?
v
Let a = 18 - 18. Let q be a/(2*(-3)/6). Let f be (0 - 16/(-14)) + -1. Which is smaller: f or q?
q
Let o be (-1)/(-3) - 1/3. Let d(k) = -3*k + 2. Let j be d(-3). Let h = -53/5 + j. Which is smaller: o or h?
o
Let v be (2354/99)/((-1)/3). Let j = -72 - v. Which is greater: j or -1?
j
Let b(m) = -36*m**3 + 5*m**2 + 11*m. Let h(n) = 7*n**3 - n**2 - 2*n. Let o(t) = 2*b(t) + 11*h(t). Let u be o(1). Suppose 0 = u*c + 4 - 0. Is c >= -3?
True
Let c(m) = -2*m - 32. Let t be c(-16). Which is smaller: t or -1/6?
-1/6
Let n be 3/15 + 4/10. Which is bigger: n or 0?
n
Let l be (-3)/(9/3)*11. Let v = l + 8. Which is smaller: v or -1?
v
Let q = 1 - -6. Suppose -3*g - q*x + 2*x + 9 = 0, 5*x + 6 = 2*g. Suppose 3*t = -t + 16. Which is smaller: t or g?
g
Let b = -5 + 5. Let d be 4 - -1 - 0/2. Suppose 0 = d*c - 7 + 2. Is b less than c?
True
Let u = -6 - -1. Let g = -3 - u. Suppose 0 = t - g, 0*j - 4 = -j - t. Is 0 less than or equal to j?
True
Let y(n) = -2*n**2 - 68*n + 0 + 2 + 2*n**3 + 67*n. Let f be y(1). Which is bigger: -3/11 or f?
f
Let n(i) = -4*i**3 + i + 1. Let k be n(-1). Suppose 5*q - 4*c = 9, 5*q + 0*c - 3*c - 13 = 0. Suppose -q*g + 5 = -20. Are g and k nonequal?
True
Suppose -5*z - 2*v - 41 = 0, 10*z = 5*z - 5*v - 50. Let t be 4/(-8) + z/(-6). Which is smaller: t or 0?
0
Let b = 0 - -0.04. Let n = -1.8 + -19.2. Let t = n + 22. Which is bigger: t or b?
t
Let d(c) = c**3 - 5*c**2 + 5*c - 1. Let q be d(2). Which is greater: -4 or q?
q
Let k = -20 + 20. Which is smaller: k or -1/10?
-1/10
Let o be (-2)/5*5/(-403). Let s = 1219/2015 - o. Which is smaller: s or 0?
0
Let r = 3.1 - 3. Are r and 21 non-equal?
True
Suppose 0*d + 5*t = -5*d + 50, 3*t + 10 = 5*d. Suppose 3 = y + d. Let s = -2 - y. Which is greater: -2/11 or s?
s
Let s = 11326/2547 - 2/849. Which is smaller: 4 or s?
4
Let f(q) = -3*q**2 - 32*q + 14. Let a be f(-11). Is 22/7 at most as big as a?
False
Let t = 2.8 - -10.2. Let b = 12.96 - t. Which is smaller: b or 2?
b
Let a be (-23)/((-4 - -1)/(-3)). Which is bigger: -25 or a?
a
Suppose -2*i - 2*p - p = -34, 2*i + 2*p = 36. Are i and 19 nonequal?
True
Suppose 0 = -f - f - 12. Let h be f/2 + (0 - 0). Which is greater: -4 or h?
h
Let v be (-171)/1674 - 2/(-3). Let z be (-5)/(-31)*4/10. Let f = z - v. Which is smaller: 3/4 or f?
f
Let d = -2 - -8.9. Let t = d + -7. Is 8 less than t?
False
Suppose 0 = 2*b - 0 - 8. Suppose -6 + 2 = b*t. Which is smaller: t or 1/5?
t
Let v be 377/125 + (-24)/40*5. Which is greater: -1 or v?
v
Suppose 4*q + 8 = 2*d + 2*q, 0 = 4*d + 4*q. Let h = 1/47 + 185/141. Is d greater than h?
True
Let h = -2 + 0. Which is smaller: -7 or h?
-7
Suppose 39 = -4*t + 5*x, -4*x + 22 = -t + 4. Let a be (6/t)/((-6)/(-4)). Is a at least as big as 0?
False
Let s = 12/7 + -50/21. Let b = 1 - 1. Is s >= b?
False
Let t = 0.1 + -0.16. Let c = 3/8 - 25/24. Which is smaller: t or c?
c
Let f = 7/2 + -79/22. Which is bigger: -1 or f?
f
Let b = -12 - -109/9. Let v(t) = t**3 + 4*t**2 - 4*t + 5. Let z be v(-5). Let k(o) = -o - 1. Let g be k(z). Which is smaller: g or b?
g
Suppose -5*a - 20 = -5*v, 3*v - 3*a - a = 17. Do -9/5 and v have different values?
True
Suppose 4 = -5*q - 6. Let a = -9 + 5. Let c = a + 2. Is q less than c?
False
Let g = -13/2 - -69/10. Is 0 at most g?
True
Let n(d) be the first derivative of -d**3/3 + 3*d**2 + d + 8. Let g be n(5). Is 6 smaller than g?
False
Suppose 2*q - 3 = -q. Let g be (2 - 2)/(1/q). Suppose 12*p = 6*p. Is p smaller than g?
False
Let k = 1418/5 + -285. Suppose -2 = -s - 3. Which is smaller: s or k?
k
Let k be 1 + (1 - 10/12). Is 1 smaller than k?
True
Let r = -203/6 + 34. Is 0 bigger than r?
False
Let r(h) = -h**2 - 3*h + 3. Suppose c + 9 = -2*q + q, 3*c - 8 = 4*q. Let n be r(c). Is n < -2/13?
True
Let q be (-9)/(-21) + 165/(-140). Is -1 less than q?
True
Let m = 12357005/337095416 - 1/316819. Let j = m + 2/399. Let h = j + -3/8. Are 1 and h non-equal?
True
Let p = 15 - 16.2. Let r = p + -0.8. Let f = -2 + r. Do f and -1/4 have different values?
True
Let z = -0.04 + 0.08. Let f = z - -0.06. Is f smaller than -3/2?
False
Let l = 13 - -12. Suppose -l = -3*o + 3*j + 2*j, -3*j - 16 = -2*o. Which is smaller: o or 4?
4
Let f = 0.3 - -0.7. Let r = f + -2.05. Let c = r + 0.05. Which is greater: c or 2?
2
Suppose -4 - 8 = -4*h. Suppose -18 = -5*p - 2*s - 7, -h*p = -4*s + 9. Let u = -4 + 8. Is p > u?
False
Let c(v) = 3*v**3 + 2*v**2 - v - 2. Let s be c(2). Suppose -4*r - 4*u = -4, 2*u = -r + 4*r - s. Let b be (4/20)/(2/r). Is b bigger than 1?
False
Suppose -x - 7*x = 144. Is -16 not equal to x?
True
Suppose -4*f + 15 = 15. Which is smaller: 2 or f?
f
Let s(q) = -q**3 + 10*q**2 - 16*q. Let v be s(8). Is -2/19 smaller than v?
True
Let f(y) = -4*y**2 - 8*y - 8. Suppose 0 = -6*n + n + 10. Let l(m) = -3*m**2 - 8*m - 8. Let t(g) = n*f(g) - 3*l(g). Let s be t(-7). Is s at most as big as 1?
True
Let u(a) = a**3 + 11*a**2 - a - 12. Let d be u(-11). Is d greater than 0.31?
False
Suppose -4*b - 11 + 3 = 0. Let w = b - -2. Which is smaller: -1/8 or w?
-1/8
Let b = 0.13 + -0.12. Is b at most 1/3?
True
Let m(f) = f**3 - 4*f**2 + 3*f + 4. Let r be m(3). Suppose 0 = -r*p + 7*p + 54. Let c be 3/p*(5 + -2). Is c at least -1?
True
Let c(o) = o - 5. Let j = 10 + -6. Let y be c(j). Let d = y - -3. Are d and 3 equal?
False
Let l = 3 + -3. Suppose 5*c - 2*v + 2 = 1, -5*v - 10 = l. Let h = -1 - -1. Do c and h have the same value?
False
Let r be 5*(-1 + 14/10). Let p be 4 - (r + -1 + 1). Let i be -1 + 3 + p/(-1). Which is bigger: i or -1?
i
Suppose 3*p = -0 + 3. Let h = p + -1. Let r = -1 - h. Is r equal to -1?
True
Let i = 3 - 1. Let v be (10/25)/(i/(-10)). Let m = -8 + 6. Are m and v unequal?
False
Suppose 0 = 2*d + d - 6. Suppose 2*g - 17 = l - 3*g, -d*l + 4*g = 4. Suppose 3*n = -6, -4*h - 2*n + l = -4*n. Are