-2?
-2
Let t(f) = f**3 - 2*f**2 - 2*f - 1. Let q be t(-1). Let k = q - -1. Let g = -10 - -10. Is g != k?
True
Let r = -94 + 89. Suppose 0*k = -3*c + 4*k + 3, 2*k - 2 = -2*c. Let z be c/r - (-66)/(-45). Is 1 at least z?
True
Let x be (-85)/(-35) - 3/1. Is x at least 0?
False
Let w = -2/91 - 87/182. Let v = 1.5 + -0.5. Which is bigger: w or v?
v
Suppose 0 = -5*t - 54 - 66. Let x be (-90)/t*(-2)/(-5). Do 1 and x have the same value?
False
Let n = -26 + 14. Which is smaller: -11 or n?
n
Suppose 5*n - 6 = -0*k + 3*k, 0 = -4*k + 4*n. Let o(c) = 2*c**3 + 2 - c - 2*c**3 - 3*c**3 + 3*c**2 + c**k. Let h be o(2). Are -3 and h unequal?
True
Let r(j) = j**2 - 7*j - 4. Let y = 16 - 9. Let c be r(y). Is c <= -6?
False
Let i = 26.92 + -20. Let n = 7 - i. Is n less than -2/7?
False
Let k = -9 + 21. Which is smaller: 0 or k?
0
Let r = 4 - 7. Suppose 0 = 7*c - 11*c - 16. Are c and r nonequal?
True
Let d be (-4)/5 - 45/(-25). Is d bigger than -12?
True
Let y = 50 + -544/11. Do 0.1 and y have the same value?
False
Let y(z) = -z**2 + 6*z. Let s be y(5). Suppose -3*c - 9 = 0, -5*h - 2*c + 6*c = -22. Suppose -s*w + 5*a = -10, -5*a = h*w + 2*w + 28. Which is smaller: w or -4?
-4
Let k = 0.12 - 0. Let h = 0 + -0.1. Is k greater than h?
True
Let o be 10/5 - 25/10. Suppose m = -0*m - 9. Let n = m - -65/7. Are n and o non-equal?
True
Let d = -286/3 + 94. Is -5 at least d?
False
Let f be -7 - 3/9*-3. Which is smaller: f or -5?
f
Let z = 94 - 93.7. Does z = 2/11?
False
Let z = 2.9 - 3. Which is greater: z or 1?
1
Let x be 30/7 + (-10)/35. Suppose 0 = -j + x - 3. Are -1 and j equal?
False
Suppose -2*a - 156 = 4*k, 5*k = -3*a - 196 - 1. Is -39 at least as big as k?
False
Let a be 1/(-1)*(4 + -1). Let t be (6/15)/(6/15). Is a less than or equal to t?
True
Let h(n) = n**2 + 11*n + 21. Let c be h(-5). Which is smaller: c or 0.2?
c
Let z be (-2)/7 - (-26)/(-7). Let v = -17 - -37. Suppose 4*h + 0*h = v, -2*m = 5*h - 17. Is m bigger than z?
False
Let b = -365/58 - 6/29. Is -6 >= b?
True
Suppose 5*t - 4 = 6. Suppose -3*r + 9 - t = -l, r + 2 = -4*l. Let w be (r + (1 - 2))*1. Which is smaller: 4/5 or w?
4/5
Let i be (32/(-10))/((-12)/30). Which is greater: i or 7?
i
Suppose 2*b - 5*x = 21 - 5, -5*b = 2*x + 18. Let k(g) = -g**2 + 5*g + 3. Let j be k(6). Let p(s) = s**3 + 4*s**2 + 4*s. Let t be p(j). Which is bigger: t or b?
b
Let j = 0.2 + -0.3. Let o = j - -2.1. Let q = 0 + 1. Is q greater than o?
False
Let m(y) = -y**3 - 21*y**2 + y + 23. Let t be m(-21). Does t = 2?
True
Let w = 18 + -15. Let n be 2 + w + (-94)/18. Do 0.1 and n have the same value?
False
Suppose 0 = 5*q - 12 - 3. Suppose q*p + w = 11, p - 7 = 3*w - 0. Suppose -4*f + 8 = -p. Is 3 < f?
False
Let g be 0/3 + -2 + -4. Let p(q) = -q - 1. Let v be p(g). Suppose v*b + 6 = -4. Is -2 >= b?
True
Let s(g) = -g**2 - 4*g - 1. Let j = 2 + -6. Let q be s(j). Is q at least 1/4?
False
Let y be 2/6 + 4/6. Let n be y/4 + (-1)/(-4). Let m = -135 - -676/5. Which is bigger: n or m?
n
Let w = 0.0898 - -2.9982. Let r = 0.012 + w. Let k = -3 + r. Which is smaller: 0.3 or k?
k
Let u be -3 + ((-236)/(-34) - 4). Is u smaller than 0?
True
Let k = -20 - -12. Let s = -3.1 - -0.1. Let w = k - s. Which is greater: -1 or w?
-1
Suppose -3*p = -p - 20. Let s = p - 17. Is s at least -7?
True
Let j = -2 - -18. Is 0 less than j?
True
Let d(p) = p - 2. Let f be d(5). Suppose -2*y + f*y + 5 = 3*b, b = 4*y + 9. Do b and 1 have different values?
False
Let l be ((-1)/(0 + -1))/1. Let z be -3*((-26)/(-30) - l). Suppose 4*w - 3*w = 0. Do z and w have the same value?
False
Let m(b) = -b**2 - b - 1. Let k be m(-2). Let s be 1 + (-6 - -3) + 4/14. Do k and s have different values?
True
Let j(p) = -7*p + 11. Let q be j(3). Which is bigger: q or 2/3?
2/3
Suppose -13 = 4*b - 3*z, -2*b - 5 - 9 = -4*z. Which is smaller: -0.1 or b?
b
Let x = 14.76 - -0.24. Is x >= -3/5?
True
Suppose 2*g = 3*n - 2*n + 6, -5*n - 30 = 4*g. Are n and -4 non-equal?
True
Let v(k) be the second derivative of k**5/20 - 5*k**4/12 - k**3/6 + 5*k**2/2 + k. Let m be v(5). Suppose m = -2*h + 3*o - 5 + 1, 3*o = 6. Is 4/7 at most h?
True
Suppose 17 + 7 = -8*z. Is -1 bigger than z?
True
Suppose k - 4*q - 44 = 0, 6*k - 2*k = q + 191. Which is bigger: k or 49?
49
Let k = 2.2 - 2. Let z = k - 0.1. Let c = 4.03 + 1.97. Which is bigger: c or z?
c
Let s be 3 + 15/40*12. Suppose -3*o + 8 = -2*o. Which is smaller: s or o?
s
Let n = -75 + 75.06. Is n greater than -3/5?
True
Suppose 4*g - 4*v = 4, -3*g = -2*v + 2 - 4. Is g <= 0?
True
Let k = -5.9 + 6. Which is bigger: 0 or k?
k
Let a be 0 - -2 - 14/5. Let z = a + 31/20. Which is smaller: z or 2?
z
Let z = 17 + -17. Is z equal to -4/7?
False
Let x = 24.12 + 0.88. Which is greater: 1/4 or x?
x
Let g(i) = -i**3 - 4*i**2 - 2*i + 4. Let d be g(-3). Let q be (1/(-3))/(25/10 - 2). Which is bigger: d or q?
d
Let i(v) = v**3 - v**2 + 9. Let h be i(0). Let n be 1/h - (-2)/9. Does n = -0.2?
False
Let v = -1/2 + 3/4. Which is smaller: -3/5 or v?
-3/5
Let a = -19 - -27. Suppose q - a = -5*y + 12, q = -3*y + 10. Is 5 at least as big as y?
True
Let u be 73/3*(-27)/78. Let c = u + -14/13. Let g = c + 10. Which is bigger: g or -0.4?
g
Let u = -0.21 + 0.12. Let k = u - -1.09. Does k = -0.06?
False
Let m = 0.2 + -0.07. Is m >= -1?
True
Let y be 9/(-6)*(-40)/6. Suppose -4*o = -30 - y. Which is greater: 9 or o?
o
Let k(g) = -10*g + 1. Let r be k(-1). Let s be (-31)/(-3) + 6/18*-1. Which is greater: s or r?
r
Let y be (-1)/(-2)*(3 + 1). Suppose -2*u - 5*g = -7*u + 95, y*u + g = 23. Suppose 5*w = -2*v + u, -3*v + v - 4*w = -12. Which is bigger: v or 1?
v
Let x be -1 + (-1 - (-4 - -3)). Let k = 93/203 - 5/29. Which is smaller: x or k?
x
Suppose -2*y - 3*d + 4*d + 17 = 0, 3*y - 2*d - 27 = 0. Suppose -17 - y = 3*h. Is -7 >= h?
True
Let s(v) = v**3 + 3*v**2 - 9*v + 2. Let w be s(-5). Is w less than or equal to 4?
True
Suppose -1 = -q - 0*q. Suppose 4*w = -0*w + 20. Suppose 2 - 7 = -w*f. Is f not equal to q?
False
Suppose 9*j = 6*j - 36. Is -1 at most j?
False
Let b be 46/15*(-5)/4. Let x be (-287)/105 + (-3)/2. Let y = x - b. Which is smaller: y or 0?
y
Suppose 2*k = 3*d - 5, 0 = d + 2*k + 9 - 0. Does d = 8/21?
False
Let j(c) = c**3 - 5*c**2 + 3*c - 1. Let b be j(4). Let p(z) = z + 1. Let u(w) = 6. Let o(q) = -p(q) - u(q). Let r be o(b). Is r bigger than -1?
False
Suppose -4*z = -5*d + 6, -4*d - 2 + 5 = -5*z. Let n = 19 + -23. Which is smaller: d or n?
n
Let t(c) = 4*c - 11. Let h be t(3). Is 1/88 != h?
True
Let w = -26 - -18. Is -8 less than w?
False
Let k = 6 + -3. Suppose 2*j - k*j + 5 = 0. Suppose 2*r + 28 = j*x - 0*r, -2*x - 2*r = 0. Which is bigger: x or 5?
5
Let c be (1*-1)/(1/(-1)). Let d = -2 + c. Let u be (-3)/4 + (-75)/(-132). Is u greater than d?
True
Let t = -285/4 - -72. Suppose -5*n = 3*v - 1, -n + 1 = -1. Is v equal to t?
False
Suppose 3*z + 20 = -5*b, 10 + 0 = -5*b - z. Let h be 0*(-1)/2 + -2. Let n = 1 + h. Is n less than or equal to b?
True
Let j(i) = -i - 11. Let k be j(-8). Let q(b) = -b**2 - b + 4. Let s be q(-3). Let v = k - s. Which is smaller: -1/5 or v?
v
Let z(c) = c**3 + 5*c**2 - 2*c + 3. Let y be z(-6). Let l be (-1)/(3 - y/(-6)). Is l at most 0?
False
Let g = -3 - -4. Suppose 0*x - 3*x = 0. Is g less than x?
False
Suppose 2*l + 2*m - 1 = m, 0 = l - 2*m + 2. Let h = l - -9. Let u = h - 6. Which is smaller: 0 or u?
0
Let o = 13 + -40/3. Suppose -2*u + 6 = -2. Let f be 2/u*0/3. Which is greater: f or o?
f
Let t = 6 - 25/4. Is t greater than 2/27?
False
Let w be (6/18374)/((-2)/10). Let u = w - -702937/2893905. Let o = -2/45 - u. Which is greater: o or 1?
1
Let s = -0.2 - -0.15. Let k = -0.95 + s. Is k < -1?
False
Let s = 20 - 21. Let r = 3 - 2. Let j = 0 - r. Is s smaller than j?
False
Let q be -3 + ((-4)/1)/(-2). Let o = -4 + q. Is o < -11/2?
False
Suppose 0 = 5*o + 5*n - 100, -15 - 89 = -5*o - n. Let j = -41/2 + o. Let q be 16/(-7) + 0 + 2. Which is bigger: j or q?
j
Let b = -5 - -12. Suppose b = j + 3. Let p be (-3)/6 + 5/j. Do p and 1 have the same value?
False
Let k(n) = n + 3. Let j be k(0). Let v(m) = -5 + 2*m - 2 + 3. Let h be v(j). Which is smaller: h or -4?
-4
Let x be (4/(-20))/(12/15). Which is smaller: -1/2 or x?
-1/2
Let a = 1 - 2. Let v = -2 - -1. Is v > a?
False
Let h = 0.08 + 0.02. Let z = 0 + h. Which is smaller: z or 0.2?
z
Let r = 2.27 - 0