 -g**3 - g**2 + 2*g + 1. Let b be x(-2). Do i and b have the same value?
False
Suppose 5*m + 36 = -3*n, -m - 51 = 3*m - 5*n. Let j be 2/m - (-4)/18. Let z be (-2 + (-5)/(-2))*j. Is -1 equal to z?
False
Suppose -4*c - 3*d + 7 = -2*d, 2*d - 6 = 0. Does 1 = c?
True
Let w = 0.02 - -0.18. Let i = -0.6 - -0.9. Let o = i + -0.5. Which is smaller: w or o?
o
Let w = -5 - -26. Which is smaller: 20 or w?
20
Let s = 4512/61 + -74. Which is greater: 0 or s?
0
Let t(v) = v**2 - 3*v + 4. Let i be t(4). Let s be (0 + (-1 - 1))*i. Let n be 4/s + 18/8. Is 3 at most n?
False
Suppose 15 = -5*n + 5*l, -2*l = 2*l + 4. Let y = 12 + n. Let x be (-1)/(-3) - y/(-12). Which is smaller: 2 or x?
x
Suppose h - 2*h + 298 = 0. Let p = 118 - h. Let l = p + 897/5. Are 2 and l unequal?
True
Suppose 3*m - z = -99, -z + 2 = 5. Let l be m/70 + (-7)/(-35). Is 0 equal to l?
False
Let l = -1 + 0. Is -15/7 >= l?
False
Suppose 0 = -5*v - 10, -3*v - 13 = -5*x + v. Which is greater: 9/5 or x?
9/5
Suppose 0 = 3*f + 4*g - 19, -5 = -f + 4*f - 2*g. Which is smaller: 1/24 or f?
1/24
Let o = -12 - -6. Does -1/5 = o?
False
Suppose 2*c = c + 6. Let z be (c/(-90))/((-4)/10). Let v = -3 - -3.1. Which is greater: v or z?
z
Let w(s) = 7*s + 8. Let o be w(0). Is 8 greater than or equal to o?
True
Suppose -4*k + 5*k + 1 = 0. Let z = -3 + 2. Let b be (z/2)/((-1)/(-2)). Is k != b?
False
Let t = 30 + -33. Are t and 0 equal?
False
Let c be -4*(4 - (3 + 2)). Which is bigger: 2/7 or c?
c
Let i be (1/10)/(4/(-32)). Which is smaller: i or 0?
i
Suppose -7*l = -2*l - 5, -2*l = -4*b + 18. Suppose -4*a = -2*a + b*y + 7, -5*a - 7 = 2*y. Is -1/9 greater than a?
True
Let z be ((-2)/(-3))/(8/(-12)). Let i be -2 + 0*(-2)/6. Which is smaller: z or i?
i
Let u(k) = -k**2 + 14*k + 10. Let q be u(15). Let z be (-1)/(-5) + 84/5. Suppose z = -g + 5*r, -4*r - 1 + 23 = -5*g. Do g and q have the same value?
False
Let v(u) be the second derivative of -u**3/6 - 7*u**2/2 - u. Suppose 0 = 5*k - k + 20. Let x be v(k). Which is smaller: -0.2 or x?
x
Let l be -3*(2/(-10) - 0). Which is smaller: 0 or l?
0
Let g = 15 + -47/3. Which is smaller: g or -2/7?
g
Suppose -6 = -w + 3*n, -5*n = w - 5 - 9. Let z be (9/2)/((-2)/(-4)). Are w and z equal?
True
Let a be -2*22/(-7)*-2. Is a not equal to -13?
True
Let z be (-90)/12*(-2)/3. Suppose 6*n = z*n + 1. Is n < 11/5?
True
Suppose 3*n = 4*y - 29, 5*y - 2*n - 16 = -5*n. Let a be y - 2/(-6)*-3. Suppose a*l - 19 = 5*b, 2*l - 2*b - 13 = -5. Which is greater: 2/3 or l?
l
Let l be ((-1)/(-478))/(4/(-16)). Is l >= 0?
False
Suppose -9*k + 119 + 34 = 0. Is k greater than 15?
True
Let x be (-33)/(-15) + (-3)/15. Let r(d) = -2*d + 3. Let z be r(x). Suppose 10 = -3*k - 2*k. Which is smaller: k or z?
k
Let c be (-1448)/(-704) + (26/(-22) - -1). Which is smaller: c or 3?
c
Let k = -0.84 + -0.16. Is k > 13?
False
Let q = -2 + 6. Suppose 0 = -w + q - 0. Which is bigger: 5 or w?
5
Let d(q) = q**2 + 2*q. Let b(a) = a**3 - a - 2. Let s be b(0). Let k be d(s). Which is smaller: k or 3?
k
Let d = -2 + 6. Let r = 2 - 6. Let b = r + 4. Does d = b?
False
Let i be 2 - 1/(22/56). Let s = -2 - -3. Suppose -4*y - s = 7. Which is smaller: y or i?
y
Suppose 4*k - 28 = 2*b, 6*b - 3*b = -k - 21. Let r be b/36 - 276/(-27). Is r > 11?
False
Let q = -20 - -12. Which is bigger: -6 or q?
-6
Let i = 66 - 81. Is i equal to -16?
False
Suppose d - 5 = -2. Which is bigger: d or 0?
d
Let l be 2/2 + 0 + -6. Let n(a) = -6 - 2 - a + 1. Let j be n(l). Is j greater than or equal to 0?
False
Let h = 46.2 + -46.1. Suppose -3*s - 3*p - 30 = 0, -5*s - p - p = 47. Let q be (-16)/s - 8/(-36). Is h <= q?
True
Suppose 2*r + 61 = -z, 0 = 4*r - 3*z + 77 + 70. Is -34 != r?
True
Let j(i) = -i**2 + 2*i + 3. Let t be j(4). Is t >= -21/4?
True
Let o(j) = -j**2 - 8*j + 7. Suppose -2*s + 3 = -3. Suppose s*g + 0*g - 4*u + 12 = 0, 39 = -3*g - 5*u. Let m be o(g). Is m bigger than 7?
False
Suppose 4*a - 2*l + 104 = 0, -5*a - 4*l + 19 = 123. Let w be 8/a + 22/30. Is w greater than 1?
False
Let i = -2.1 + 2. Let y(j) = j**3 - j**2 - j + 1. Suppose v + 2*v = 0. Let f be y(v). Is f != i?
True
Let v = -2.93 - 0.07. Let r = v - -3. Let k = r - 0.1. Which is smaller: k or 1/3?
k
Let k = 0 - -1. Let l = -24.1 - -31.1. Which is greater: k or l?
l
Suppose -3*m - 2*z = 14 - 50, 5*m - 60 = -2*z. Are 8 and m equal?
False
Let c = -2 + 13. Let j = 10 - c. Which is smaller: j or 2/7?
j
Suppose 4*p - 3*p - 2 = 0. Let b = p + 1. Suppose -2 - 8 = -2*w + 3*o, b*w - o = 8. Is 2 greater than w?
False
Suppose 0 = -m + 6*m + 15. Let j(x) = x. Let d be j(m). Let w be 4/(-6)*d/(-8). Is 0 at least w?
True
Let w be 1 - ((-555)/(-6))/5. Let p = 17 + w. Let j = -0.049 - -6.049. Which is smaller: p or j?
p
Suppose 0*x + 52 = -v + 3*x, 4*v + 201 = 5*x. Let l = v + 9. Let f be (2/(-3))/(l/(-24)). Are f and -3 equal?
False
Suppose 2*k = -0*k + 14. Suppose 0 = -3*l + 9, -4*w + 3*l - k*l = -4. Is -2 at most w?
True
Let p = -27 + 24. Let t = -6 + p. Which is smaller: t or -1?
t
Let j = 1 + 0. Let u(q) = q**3 + 9*q**2 - 2*q - 13. Let f be u(-9). Suppose f*s - 8 = g, -2 = g + j. Is s < 0?
False
Let i be -1 + (-1 - ((-5)/3 + 0)). Let g(n) = n**2 - 2*n - 7. Let f be g(5). Let z be (3/24)/(10/f). Which is bigger: i or z?
z
Let w(c) = -c**3 + 4*c**2 + 4*c + 4. Let v be w(5). Which is smaller: v or -3?
-3
Let i = -100 - -393/4. Which is bigger: -3 or i?
i
Let p(t) = -t**3 + 10*t**2 - 9*t - 7. Let a be p(8). Do a and 50 have different values?
True
Let i = 0.43 + -0.23. Which is greater: -13 or i?
i
Suppose 4*i - 3*h - 15 = 0, 3*i = h - 5*h + 5. Let p be -1*i*(-2)/(-16). Let w be (1/(-1))/(-1) + -1. Is p smaller than w?
True
Let l(a) = a**2 + 8*a - 6. Let d be l(-10). Is 14 at most as big as d?
True
Let w(u) be the third derivative of -u**5/60 + 7*u**4/24 - 5*u**2. Let b be w(7). Is 1 less than b?
False
Suppose 8*t = 8 - 72. Is -13/2 > t?
True
Let z = 43/186 - 2/31. Is z less than or equal to -0.3?
False
Let s(i) = 2*i + 15. Let j be s(-9). Suppose 2*h + 4 = -0*h. Which is smaller: h or j?
j
Suppose 4*r = -0*k - 4*k + 24, k = 4*r + 1. Suppose 14 = k*c - 6. Let a = -3 + c. Is 2/11 less than a?
True
Let f = 82 - 82.42. Are f and 0 equal?
False
Let s be (-3 - -6)*(-4)/(-3). Let h be -2*s*(-3)/(-60). Which is bigger: h or -1?
h
Let c = -11 - -8. Let o = 10 + c. Is o greater than -1?
True
Let m be 2 + 11/((-55)/12). Let a = 2.1 - 2. Which is bigger: m or a?
a
Let h = 22.3 - 15. Let v = 6.85 - -0.15. Let t = h - v. Are t and 0 nonequal?
True
Let l be (4 - 1) + (-3089)/16. Let r = 190 + l. Which is bigger: 0 or r?
0
Let l(n) = n**3 + 5*n**2 - 3*n - 5. Let g be l(-5). Let f(z) = -9*z - 2*z**3 + z**3 + 3*z**2 + 8*z**2 - 11. Let w be f(g). Which is bigger: -3 or w?
w
Let i(o) = o - 5. Let n be i(9). Let t = n - 6. Let r be 4/t - 80/(-36). Which is smaller: r or -1?
-1
Suppose 2*p - 14 + 6 = -2*u, u = 5*p - 8. Suppose 4 = 2*f - u. Suppose 18 = -3*i - f*y - 0*y, -y = -i. Are -3 and i equal?
True
Let o be 2/(-6)*(-12)/10. Is o != 4?
True
Let x(s) = -s**3 + 10*s**2 - 8*s - 7. Let i be x(9). Suppose -5 = 3*j + i*j + 2*d, d = -j + 2. Which is bigger: -3/2 or j?
-3/2
Let w be 1 + (5/(-2) - -2). Suppose -4*f + 3*v - 2 = 0, -2*f + 3*v - 6*v = -8. Let l = f + -1. Are w and l non-equal?
True
Suppose -4*r + 0*b - 173 = -b, 0 = 3*r + 4*b + 144. Let h = r - -177/4. Which is smaller: h or -10/7?
-10/7
Let m be 17/(-2) + (-5)/10. Let u be (-9)/(-12)*6/m. Does u = 4?
False
Let g be (-42)/140 + 4/30. Which is bigger: g or -0.1?
-0.1
Suppose 4*s + 5*g - 34 = 0, 0*s + 18 = 2*s + 3*g. Suppose -4*l - 2 = s. Let k = -67/112 + 5/16. Is l bigger than k?
False
Let i be ((-168)/32)/(-6*1). Is i < 1/2?
False
Let b(l) = l - 1. Let v be b(3). Suppose 3*d = -7 - v. Let c(j) = -j**2 - 2*j + 1. Let w be c(d). Is w at least -2?
True
Let c = 13 - 13. Let i be -2*9/84 + c. Which is greater: 0 or i?
0
Let v = 2 + -1. Let h be (-5304)/110 + 16/40. Let u = -48 - h. Is v > u?
True
Let n(y) = -y**3 + y**2 + 4. Suppose -4*f = f. Let j be n(f). Suppose j*s - 3 = 7*s. Is s not equal to -1?
False
Suppose y + 3 = 7. Let c be (2 + -2)*2/y. Which is smaller: c or 8/7?
c
Let w be (-2)/(-7) - 34/(-28). Let n(g) be the second derivative of -g**5/20 + g**4/2 + g**2 - g. Let p be n(6). Which is smaller: p or w?
w
Suppose -3*g - 12 = 0, -3*u = -0*u - 2*g + 1. Is -1 