*3 + 3*z**2 + 4*z - 3. Let p be g(3). Let o = p + -19/2. Suppose -8 + 3 = -5*c. Is o equal to c?
False
Suppose 34*m - 20*m = 18*m. Is m at most as big as 0.099?
True
Let z = 87 + -86.8. Which is greater: z or 0.39?
0.39
Let t = -5 + 1. Is -3 >= t?
True
Let u = 43 + -42. Let s = 59123/867 + -15/578. Let b = -68 + s. Which is smaller: u or b?
b
Let f(l) = l**3 - l + 4. Let u be f(0). Suppose u*z + 30 = 2*i, z + 3 = -2. Suppose -b = 4*b - i. Which is smaller: 2/7 or b?
2/7
Let s = -4/27 + -173/108. Which is bigger: -1 or s?
-1
Let c = -0.29 - -0.1. Let b = c + 0.01. Let o = b + -0.02. Which is smaller: 3 or o?
o
Suppose -8 = -4*n + 2*s, -s - 13 = -n - 6*s. Let b be n*2/(4*3). Suppose -2*w + 6*w - 3*w = 0. Which is bigger: b or w?
b
Let g(x) = -x**3 + 5*x**2 - 10*x + 9. Let z be g(4). Let f = -34 + 19. Is f > z?
False
Let n be (-2)/(-8) + (-346)/8 + 0. Are n and -41 nonequal?
True
Let x be -2*2 - (-222)/55. Is x not equal to 1?
True
Let m = 6 - 19. Let k = 12.8 + m. Is k less than 8/3?
True
Let o(y) = -18*y + 3. Let m be o(-1). Does m = 21?
True
Let w be 1 - -3 - 132/(-44). Let x = -5 + 12. Is x less than or equal to w?
True
Let r be (9/3 - 1) + 26 + 0. Which is smaller: -0.2 or r?
-0.2
Let h be 1*(1 - (-26)/10). Is h at least 3?
True
Let h = 0.027 - 3.727. Let a = h + 0.7. Let i be 2*(-4)/48*-2. Is a not equal to i?
True
Let o be (-18)/5 - 12/(-4). Suppose 0 = -4*z + 16, 4*z + z = 4*y + 44. Let s be 12/y*(1 + 0). Which is bigger: s or o?
o
Let r = 40 + -39. Is 1 smaller than r?
False
Suppose m + 2 - 3 = 0. Suppose m = r - 4. Which is greater: r or 0?
r
Let d = -38/7 + 145/28. Suppose 0 = x - 3 + 2. Let f be (-15 + 12)*x/(-6). Which is bigger: f or d?
f
Let y = 1/440 + -49/3960. Which is bigger: y or -1?
y
Suppose 8*x = 7*x + 7. Suppose -8*i = -x*i + 1. Which is bigger: i or -4/15?
-4/15
Let w be (-15)/10 + (-9)/(-2). Suppose -4*p + w = -2*b + 23, 5*b + 3*p = -2. Let u be 1/((-2)/(-2)) - b. Which is smaller: -3 or u?
-3
Let r be (7 + -6)/(-3*(-2)/264). Is 45 != r?
True
Suppose 2*u - 30 = 7*u. Let a(s) = -3*s - 6. Let c be a(u). Which is greater: c or 0?
c
Let i = 95.3 + -108. Let t = -13 - i. Do -2 and t have the same value?
False
Suppose -5*y - 2*k = -30, -3*y - 19 = -4*y - 3*k. Suppose 3*b = -1 + y. Suppose b = 2*n - 5. Is 3 > n?
False
Let r be ((-141)/(-1076))/((-3)/17). Let l = 2/269 - r. Let y = 1 + -3. Which is smaller: l or y?
y
Let t be 8/(-2)*1/6. Let h = 9 + 0. Suppose 3*a + h = -3*j, 5*j + 3*a = a - 12. Which is smaller: t or j?
j
Let n = -18 + 18. Is -5 at least as big as n?
False
Suppose 12 = 4*b - 2*a, -37 = -5*b + 4*a - 16. Let z be (36/16)/((-3)/(-8)). Suppose 3*l - z = 6*l. Which is smaller: b or l?
l
Suppose -4*p - 4*r - 8 = 0, 4*r = -0*p + p - 8. Let h = p - 0. Which is bigger: -2/15 or h?
h
Let y(u) be the first derivative of u**4/4 + 2*u**3 - 4*u**2 - 6*u + 18. Suppose -24 = 5*j + 11. Let w be y(j). Is 1 greater than w?
False
Let w = 3 + -4. Let u = -0.02 - 9.98. Let k = u - -5. Is w less than k?
False
Let g(l) = -l**3 - 4*l**2 + 3*l. Let a be g(-5). Suppose 4*w + c = -24, -2*w - 3*c + a = -8*c. Is w bigger than -5?
False
Suppose 5*z + 15 = 0, 0 = -4*w + 4*z + 9 + 11. Suppose -3*s - w*b = -28, -2*s - 2 + 42 = -4*b. Suppose -5*f - s = g - f, 0 = f + 3. Is -1/5 < g?
True
Let h(c) = -c**2 + 17*c - 16. Let b be h(16). Which is greater: 10/7 or b?
10/7
Suppose -5*n = 0, 0 = 2*p - n - 5 + 3. Suppose -4*h - 3 = p. Do 2/11 and h have the same value?
False
Suppose -5*x - 155 = 3*b, 2*b + 0*x = -2*x - 102. Let l be ((-4)/(-5))/(5/b). Let u be (10/15)/(l/(-6)). Which is bigger: 0 or u?
u
Let o = 0.03 + -0.01. Is 0.2 at least as big as o?
True
Let d = 12 - 6. Which is smaller: d or 5?
5
Suppose 4*f = 6*f. Suppose y + 4*p = 9, 2*p - 14 = y + 1. Let m = 4 + y. Is m less than f?
True
Suppose 2*z - 4 = 2*u, -6*u = -z - u + 10. Suppose -3*w = 4*h + w, -w - 8 = -h. Let o be 3 - h/((-108)/(-87)). Are o and z unequal?
True
Let y be ((-3)/(-6))/((-1)/10). Let k be 2/y - 28/(-20). Is k at most 0.3?
False
Let w be 1*(-3)/(-9) + (-62)/(-3). Which is smaller: w or 20?
20
Let d = 106/77 + -9/7. Which is bigger: d or -1?
d
Let g = 18 + -13. Suppose -j - 29 = g*u - 3, 5*u = 3*j - 22. Which is greater: j or -3?
j
Let d = 0.3 + -0.26. Let a = 3.04 - d. Let q = 6.5 + -7.5. Which is smaller: a or q?
q
Let w = -10.96 - -11. Is 2 at least w?
True
Let r = -20 + 28. Suppose -3*p = 2*g - r, g - 1 - 1 = -p. Which is smaller: -6/7 or g?
g
Suppose 54 + 51 = -7*g. Which is smaller: g or 1?
g
Suppose 4*c + 5 = -3. Let m = 7 + c. Suppose 4*p + 20 = -2*u, -1 + 11 = m*u - 5*p. Which is smaller: u or -1?
u
Let u be 13/(429/30) - 0. Which is smaller: u or -1/3?
-1/3
Let j(f) = -4 - f + 4. Let c be j(-5). Is c less than 5?
False
Let l be 4/29*7/14. Is l equal to 1?
False
Let z = -0.6 - 3.4. Let n = z + 3.9. Let b = 3 - 3.1. Is n bigger than b?
False
Let t(a) = -a**2 + 9*a - 4. Let j(z) = 2*z + 2. Let q be j(2). Let k be t(q). Suppose -w = 4*i, -2*i - 5*w + w = k. Which is bigger: 2 or i?
2
Let z = 29 - 28. Which is greater: 5/7 or z?
z
Suppose 4*v + 0*v = -r + 9, -2*v + 8 = 0. Is r equal to -8?
False
Let l(i) = -i - 1. Let v be l(-2). Suppose o + v = 2*o. Let c be 8/(-12)*-6*o. Is c at most 4?
True
Let q = 0.79 + 0.21. Which is greater: q or 2?
2
Let x be (20/(-25))/((-4)/10). Which is smaller: 3 or x?
x
Let p = 5.5 + -5.6. Which is bigger: p or 45?
45
Let j(t) be the first derivative of 5*t**3/6 - t**2/2 - 3*t + 4. Let q(i) be the first derivative of j(i). Let c be q(1). Which is bigger: 5 or c?
5
Let g = -1509/7 - -216. Which is smaller: g or 1?
g
Let t(w) = w - 10. Let p be t(10). Suppose 3*x = -p*x. Let f = -2 - -1. Is f at most x?
True
Let b = 19 + -13. Let g = 4 + -7. Let h be (g/b + 1)/2. Which is smaller: 2 or h?
h
Suppose 3*a - 2*n + 12 = 0, -4*n = -0*a - 3*a - 12. Which is smaller: a or -6?
-6
Let p = -103 - -102.8. Is p less than 4?
True
Let r = -7 - -5. Let s be 1/(15/(-9) - r). Let c(q) = q - 3. Let p be c(s). Is p bigger than 0?
False
Let n = -21 + 191/9. Which is smaller: n or 12?
n
Let a(j) = 8*j**2 + 3*j + 3. Let v be a(-1). Which is smaller: v or 20/3?
20/3
Let l be (-2)/6 + (-8)/(-6). Let c be l/(1/((-6)/33)). Which is bigger: 2 or c?
2
Let i = 0.1 + 5.9. Let o = i + -8. Which is smaller: 3 or o?
o
Let b(a) = a**2 - 11*a + 10. Let m be b(8). Which is smaller: -15 or m?
-15
Suppose 0 = c - 0*f - 2*f - 13, 2*c - 3*f - 22 = 0. Suppose -x + 2*a = a + 6, 0 = c*x + 5*a - 20. Let b = -235/4 + 59. Is x equal to b?
False
Let v(j) = -j**2 - 7*j - 6. Let u be v(-6). Which is smaller: u or -2/5?
-2/5
Suppose 2*k - 2*x - 4 = 0, 0 = 5*k - x + 5*x - 19. Let a be -3*(k/(-2) + 2). Which is smaller: -2 or a?
-2
Let f be 30*(-2)/(12/(-21)). Let q be ((-5)/f)/(2/6). Which is smaller: -1 or q?
-1
Let m = 11086/21 - 528. Let h = 22 + -21. Are h and m nonequal?
True
Suppose -4*s + 7 = -17. Let v be ((-3)/s)/(2/(-12)). Suppose 2*n - v*n = m + 2, m + 4*n + 8 = 0. Which is smaller: m or -1?
-1
Suppose 3*d + 19 = -29. Does d = -7?
False
Let c = 2.94 - -0.06. Let t = 2 - c. Which is greater: -2 or t?
t
Let m be 3 + (3 - 205/(-3)). Let c be (-1)/(2/(-152)) + -1. Let u = m - c. Which is greater: u or 4?
4
Let x = 10/57 - -98/19. Which is bigger: x or 5?
x
Suppose x = 3*x. Suppose -l + 2*l - 4*z = 0, 0 = 2*l - 3*z - 5. Let a be 32/55 - l/10. Is a < x?
False
Let q = 1 + -1. Let n = -118 - -118. Do n and q have the same value?
True
Let j = -28 - -28. Let c = -15135 + 1589207/105. Let b = 2/21 + c. Which is bigger: b or j?
b
Let t = -4 + 3.1. Let n = 1 + t. Which is bigger: 4 or n?
4
Let m be (4/(-3))/(4/(-6)). Suppose m*p + 3*f = 3, p + f = 5*p - 27. Which is smaller: p or 5?
5
Suppose 11 + 89 = 4*y. Suppose 6*f + 14 = 2*f - 2*x, -5*f = 4*x + y. Let r(z) = -2*z - 11. Let v be r(-5). Does f = v?
True
Let a(j) = -j + 14. Let c be a(8). Suppose 0 = -4*s - 3*x + 57, 2*s - x = 40 - 9. Suppose s = t - c*t. Which is smaller: t or -4?
-4
Suppose -4*u - 28 = -3*s, 5*s = 3*u + 34 - 2. Let c(k) = -10*k + 3*k**3 - 2 - 11*k**2 + 3*k**3 - s*k**3 - 3*k**3. Let o be c(-10). Is -2 bigger than o?
False
Let m be (-4)/6 + 11/3. Suppose -4*v + 4 = 2*n, -v - 2 - 2 = -2*n. Which is bigger: m or n?
m
Suppose x - 5 = 0, x + 3*x - 4 = 4*k. Suppose 5 - 27 = 4*s - 5*r, 2*s + k = -r. Let t be (-2 + -1)*(-2)/s. 