 f + c = 0. Are -2 and f nonequal?
True
Suppose a + 3*v + v = -16, 0 = -2*a - 3*v - 12. Let c be a - (1 - 2/6). Let i = -2 + 1. Which is bigger: c or i?
c
Let n(u) = 8*u - 2. Let r be n(2). Suppose g + 5*a + 31 = 0, 5*a = g + a - r. Let w be (-6 + 8)/(g/5). Which is greater: -3 or w?
w
Let c be (-4 + 3 + 1)*(-1 + 2). Which is smaller: 27 or c?
c
Suppose -2*o + 3*o = -8. Let h be (6/o)/(30/16). Is h at least -2?
True
Suppose 5*q - 7 = -3*r, -3*r + 4*r - q = -11. Let i = r - -5. Is i less than or equal to -3?
False
Let n be (32/(-20) - -1) + 2. Which is bigger: 2 or n?
2
Let g(d) = -d**3 - 2*d**2 - 2*d + 1. Let q be g(-2). Let i be -1 - (q/(-4))/1. Are i and -4 nonequal?
True
Suppose -3*z + 4*z = 7. Let l(u) = -u**3 + 6*u**2 + 5*u + 7. Let d be l(z). Are d and -6 unequal?
True
Suppose 2*q + 5*s + 6 = 0, 3*s + 0*s = -5*q + 4. Is q greater than 0?
True
Let q = -8 + 8.1. Let c = q + -1.1. Suppose 3*a + 10 = -2*o, 5*o + 0*a + 4*a + 11 = 0. Is o greater than or equal to c?
True
Let r = 4521/20 - 226. Which is greater: r or 0?
r
Let z = -12 + 16. Let x be (12/8)/((-1)/z). Are x and -6 equal?
True
Let t(u) be the second derivative of u**5/20 - 7*u**4/12 + 7*u**3/6 - u**2 - u. Let h be t(6). Suppose -2*j - 2*j - h = 0. Are j and 1 unequal?
True
Suppose 2 = -2*m + 5*y + 1, -4*m - 4*y - 16 = 0. Let v be (-4)/m - (-4)/(-12). Which is smaller: 3 or v?
v
Let p be 15/(-10) + (-6)/(-4). Let u = -3 + p. Let i be u/1 + (-16)/(-6). Is i bigger than -2/23?
False
Suppose -5*g = -2*g - 12. Suppose -g*r - 4*l - 16 = 0, -6*l - 12 = 3*r - 4*l. Is r <= -2?
True
Let v(z) = -z**3 + z**2 - 3*z + 3. Let q be v(2). Let m = q + 8. Which is smaller: m or -1/8?
-1/8
Suppose 11*c = -6*c. Suppose n + 4*n - 5 = 0. Is n <= c?
False
Suppose 2*j - j - 92 = 4*z, j = 5*z + 116. Let y be (z/4 + 2)/2. Is y less than or equal to -12/5?
False
Let c(v) = v**3 + 6*v**2 + 5*v + 4. Let y be c(-5). Suppose -y*t - 5 - 3 = 0. Is -4 at least t?
False
Let g(q) = q**3 + 2*q**2 + 2*q + 1. Let m be g(-2). Let k(x) = -x**3 - 5*x**2 + 5*x - 10. Let f be k(-6). Is m >= f?
True
Suppose -3 = -6*b + 3*b. Suppose -2*s - b = 1. Which is smaller: s or -3?
-3
Suppose -3*f + 8 = 2*j, -2*j + j = 2. Let k be ((-12)/(-20))/((-2)/(-10)). Is k < f?
True
Suppose -5*f - m - 3*m = -37, -3 = -m. Which is smaller: 7 or f?
f
Let a = -17066/566865 - -2/4199. Let b = -1/27 + a. Let h = -4/15 - b. Is -1 at most h?
True
Let h = 2 - 3. Let a be -1 - 3 - (-354)/87. Is a less than or equal to h?
False
Let r(d) = d + 1. Let w be r(-3). Suppose 28*c - 17*c + 11 = 0. Is c at least w?
True
Let a = 0 + -1. Let g be (-1 - (4 - 2))/a. Let b = g + -4. Is 2/5 greater than b?
True
Suppose 0*g + 3*g = -21. Let d be (-28)/21*(-2 - 1). Let i = d - 10. Which is greater: i or g?
i
Let s be (-6)/10 + (-4)/10. Let r = 1 - s. Let p = -3 + r. Is -1/4 greater than p?
True
Let p = -3/85 + -1084/595. Which is greater: -2 or p?
p
Suppose 21 - 30 = -f. Suppose 4*o = 13 - f. Which is smaller: o or 2?
o
Suppose 2*c - 4*c + 24 = 0. Suppose 4*i - 2*x = c, -5*i + 5*x = x - 21. Are 0 and i unequal?
True
Let p be (-18)/(-14) + -1*1. Let n = 1.1 - -0.7. Let v = n - 1.7. Is v at most p?
True
Suppose 5*l = 3*j - 3 - 8, 8 = -2*l. Let w be (-2 - j)/(3/(-3)). Which is bigger: 0 or w?
0
Suppose -54 = -3*m + 30. Let b = m - 19. Suppose 0 = -4*g + b*g + 5. Is 1/4 at most g?
False
Suppose -4*f = -4*k - 24, -5*f + 25 = -3*k - 3. Let m be ((-2)/(-1))/(0 - 1). Is m > k?
False
Let y(q) = -2*q + 2. Let l be y(-3). Let j = -13 + l. Let u be (-10)/j + (2 - 1). Is u equal to 4?
False
Let w = 16.2 + -16. Let f = -0.1 - 0.1. Is f <= w?
True
Let k = -118 + 112. Do k and -0.1 have the same value?
False
Suppose 8*q = -4*q + 12. Is 3/19 < q?
True
Let d = 28 - 19. Let a be (-4)/(-6)*d/3. Let w = 0.4 - -1.6. Is a at most as big as w?
True
Let y be -6 + (-1)/2*2. Which is smaller: -6 or y?
y
Let k = 53 - 31. Let f = k - 241/11. Which is smaller: f or 1?
f
Let u(c) = c + 8. Let w be u(-7). Which is bigger: w or 4/9?
w
Suppose 5*l = -2*n + 24, -6 = -n - 5*l + 6. Suppose -2 = 5*o - n. Is o != 0?
True
Suppose 2*b + 41 + 11 = 0. Let z be (-4)/b + 4/(-26). Is 0 smaller than z?
False
Let f(d) = 1 - 6*d**3 + 3 - 8*d**2 + 7*d**3 + d. Let a be f(8). Let l(r) = -r**3 + 12*r**2 + 1. Let v be l(a). Which is smaller: v or 0?
0
Let j = 22 - 22.08. Let c(i) = i**2 - i - 1. Let t be c(2). Is t less than j?
False
Let u = 963/31 - 31. Is -2/3 at least as big as u?
False
Let p(d) = -d**3 + 3*d - 3. Let s be p(2). Let a be -1*(6/3 + s). Let f be -2*6/(-9)*a. Are -1 and f equal?
False
Let r = 10 + -6. Let o be (-5)/50 + (-2)/r. Which is greater: 0 or o?
0
Let l be (-14)/(-6) + 2/(-2). Suppose 10 = 5*c + p + 2*p, -2*p = 4*c - 8. Is c < l?
False
Let p be 27/6*4/(-6). Let j be (p/(-10))/((-8)/10). Is 1 bigger than j?
True
Let p be -10 - -12 - (45/22)/1. Which is bigger: 0 or p?
0
Let j = 6 + -12. Which is smaller: -11/2 or j?
j
Let z be 0 + 182/12 + 8/(-48). Is z <= 13?
False
Let i = -926 - -45376/49. Is -1 < i?
True
Let p be (4 + 44/(-8))*(1 - 3). Is p at least as big as 3?
True
Suppose 2 + 0 = b. Suppose 0 = 3*t - u - 1, -14 - 9 = -4*t - 3*u. Is b at least t?
True
Suppose -4*c + 5 = c. Let f be c/(-4) + (-39)/(-12). Let m be (-10)/6*f/(-45). Which is bigger: 1 or m?
1
Suppose 5*m = -0*m + 5. Let n be 2 - (6 - (0 - -3)). Is n at most m?
True
Let k = 0.2 - -12.8. Let j = 7 - k. Which is greater: 1 or j?
1
Let p = -41 - -535/13. Let d = -1 + 1. Which is smaller: d or p?
d
Suppose -j + 3*c + 2 = 14, 8 = -4*j + 4*c. Suppose -4*m = -j*m. Which is bigger: m or -2/5?
m
Let p = -2 + 0. Suppose i = -2*i + 24. Let q = i - 10. Is q at least p?
True
Let a = 18.1 - 18. Is 2/29 at most as big as a?
True
Let l(w) = -w**3 + 5*w**2 + 6*w + 5. Let y be l(6). Let j(z) = z**3 + 14*z**2 + 2. Let o be j(-14). Suppose -o*r + 19 = 11. Do r and y have the same value?
False
Let t = -5 - -12. Let y = -9 + t. Which is smaller: -2/3 or y?
y
Let c(v) = v**2 + 5*v - 2. Let y be c(-6). Suppose y - 1 = -3*o. Let b be (-2)/6 + (-2)/(-6). Do b and o have different values?
True
Let y = 96 + -85. Which is smaller: 2 or y?
2
Let c = 103 - 105. Does 4/7 = c?
False
Suppose 6*g - 24 = 2*g. Which is bigger: 2 or g?
g
Let r(f) = -f + 4. Let c be r(0). Let u be 3*((-7)/(-3) - 1). Is u at most as big as c?
True
Let a = -0.3049 + 16.8949. Let p = a - -0.41. Is 0.1 > p?
False
Suppose -4*i + 1 = -5*k + 41, 2*k = -5*i + 16. Let n be (-6)/k*5/15. Is n < 1?
True
Let d be 2 - (25/9 - 1). Let g be (12/9)/((-2)/(-3)). Suppose 5*j = g*j. Which is greater: j or d?
d
Let u(j) = j**3 - 13*j**2 - 12*j + 7. Let a be u(14). Which is smaller: 34 or a?
34
Let p = 33 + -32.99. Is p at most as big as -2/7?
False
Let c be -2 + 7 + (-126)/24. Let w = -4 + 7. Which is smaller: w or c?
c
Let c = -6 - -10. Suppose -c*y + 0*y - 84 = 0. Let f be 0 + 2*(-1)/y. Which is smaller: f or -0.1?
-0.1
Let d be ((-2)/5)/(1/(-5)). Suppose d = 4*f + 10. Is f equal to -2?
True
Let x(g) = -4*g**3 + 2*g - 1. Let t be x(1). Let m = -5 - t. Is -3 < m?
True
Let p = -223/3 - -75. Is p != 0?
True
Let v be (1/1)/(-1 + 0). Suppose -4*i + 13 = 3*t - 0, 0 = 2*t - 5*i + 22. Does v = t?
True
Let j be 1/6 + (-4)/20. Is 1 at least j?
True
Suppose d + 2*y - 4*y = -5, -3*y + 13 = 4*d. Let z be 2/24*32/(-12). Which is smaller: z or d?
z
Let a be 54/(-15)*(-50)/15. Suppose 6*i = 2*i + a. Which is greater: i or 5?
5
Suppose 0 = -4*q - 2*w - 106, -2*q - 3*w = -0*q + 55. Is -27 at most q?
True
Let f = 0.87 - -0.13. Are f and -8 non-equal?
True
Let o = -44.5 - -17.6. Let t = o + 27. Is t smaller than -1?
False
Let z = 0.8 + -0.9. Which is bigger: 16 or z?
16
Suppose -2*w - 3*l + 9 = 0, 2*l + 2*l - 16 = -4*w. Let h(f) be the second derivative of -f**3/6 + 6*f. Let r be h(w). Which is bigger: r or -4?
r
Let f = 1 - -3. Suppose 0 = w - f*w - 3, 5*w = n - 8. Let v = 5 - n. Is 3 less than v?
False
Let a be 3/(-3 - 0)*12*-9. Are a and 109 nonequal?
True
Let f = 18 - 12. Let q = f + -7. Which is greater: q or 2/9?
2/9
Let g = -1/49 - 389/147. Suppose 3*j - 53 + 14 = 0. Suppose 6*n = j - 37. Is g at least n?
True
Let c = -31 + 32. Which is smaller: -0.7 or c?
-0.7
Suppose 6*a - 3*a - 162 = 0. Is 54 at least as big as a?
True
Let w = 0.8 - 1. Let b be (-5)/(-2)*-1 - -2. Is b smaller than w?
True
Let v = -27 + 27. Which 