= 3*c - 4*c. Suppose c*y - 4*y + 16 = 0. Do y and 5 have different values?
True
Let c = -17/33 + 13/11. Let o(w) be the second derivative of w**4/12 + w**3 - 7*w**2/2 - 2*w. Let j be o(-7). Is j != c?
True
Suppose 2*s = -1 + 9. Are s and -2 equal?
False
Let v be (-1308)/20475*(-1270)/129. Let n = v + 5/2709. Let l = n + -3/13. Is 6 < l?
False
Suppose 0 = -5*p + 4*v + 21, -4*p + v + 20 = -3*v. Suppose 4*y - 8 = -0. Is p not equal to y?
True
Let g = -32 - -36. Which is greater: 14/5 or g?
g
Let z(o) = o**3 + 5*o**2 + 4*o + 1. Let w be z(-4). Is w less than or equal to -1/19?
False
Let o = 0.3 + -0.1. Let c = -0.3 + o. Let z = -0.3 - c. Is 0.2 at most z?
False
Suppose 5*w - 49 = 4*z, 0*w + z = 2*w - 19. Which is greater: 11 or w?
11
Let a = 25 + -19. Suppose 0 = 4*r - 4*c - 20, 2*r + 4*c - 4 = a. Does r = 0?
False
Let q be ((-1)/37)/(3/(-6)). Which is smaller: -1 or q?
-1
Let s(h) = h**3 - 3*h**2 - 5*h + 5. Let p be s(4). Let t = -117/4 - -29. Let f = t + 1/2. Is p <= f?
False
Suppose 6*m - 4*m = -2*p + 2, 0 = 2*m + 4*p - 12. Let u = 3 + -1. Let d be 7/(-3) - u/3. Is d >= m?
True
Let g = -5.8 + 4. Let m = 2 + g. Let z = 0.2 - m. Is 2/11 at most as big as z?
False
Suppose 66*p - 61*p - 5 = 0. Which is bigger: p or 1/39?
p
Suppose 0 = -2*s + 4*y - 14, 0*y - 3*y = -2*s - 10. Let i be s - 1/(-1 + 3). Is 2 less than i?
False
Let n = 17/42 - 1/14. Which is greater: n or -2?
n
Let n be (-309)/(1 + 4 + -6). Let x = n + -4637/15. Which is smaller: x or -0.1?
x
Let b(r) = -r - 3. Let x be b(-6). Suppose j + x*j = 4*o - 12, -4*o - 15 = 5*j. Is 2/7 at most as big as o?
False
Let t be (-5)/(0 - 1) + -2. Let u = 46 - 42. Which is smaller: t or u?
t
Let l(i) = 0 + 2 + i + 3*i - 5*i. Suppose -3 = -2*h - h. Let b be l(h). Is b equal to -1/4?
False
Let n = 27 - 16. Let d = n - 9. Which is bigger: d or 1?
d
Let s = 16 + -15. Let m be 3 - (12/9 + s). Are m and 0 non-equal?
True
Suppose i = -0*i - 5*m - 16, -4*i = m + 7. Which is greater: i or 1/17?
1/17
Suppose -2*a - 2*a + 16 = 0. Is a less than or equal to 16/5?
False
Suppose -4*a = a - 15. Suppose -4*j - 48 = a*b + j, -4*j = 3*b + 45. Which is greater: b or -10?
-10
Let g(n) = -n + n - 4*n + 2*n**2 + n. Let t be g(2). Which is greater: 0 or t?
t
Let h be (1 + 5/(-6))/((-2)/(-8)). Do h and -0.05 have the same value?
False
Suppose 0*w - 7 = 7*w. Is w greater than -12/13?
False
Let d = 0.006 + -0.206. Is 0.8 less than or equal to d?
False
Let u(v) = 2*v**2 - 2*v - 2. Let f be u(2). Suppose -2*j - f*j + 20 = 0. Is 4 at least as big as j?
False
Suppose 4 = 2*m - 0*m. Suppose -p = -m*u - 7, 5 + 1 = -2*p - u. Which is bigger: -2 or p?
p
Let l(r) = 6*r - 6. Let g be l(4). Suppose x - g = -2*x. Let o be ((-3)/(-4))/(9/x). Which is smaller: 2 or o?
o
Suppose 2*k + 1 + 1 = 0. Suppose -2*x = x + 5*x. Does k = x?
False
Let i be (-6)/2 - -10 - 0. Let m(w) = w**3 - 6*w**2 - 4*w - 9. Let a be m(i). Let p be (a/9 - 1)*18. Is p <= 5?
False
Let i(d) = -2*d - 8. Let o be i(-8). Let v(p) = -p**2 + 10*p + 7. Let x be v(10). Is x greater than or equal to o?
False
Let z be 1/1 + (-5)/(-1). Suppose -z = 4*c + 6. Let r be 0 + c/(-78)*12. Which is bigger: 1 or r?
1
Let v = -26/7 + 113/21. Which is smaller: 1 or v?
1
Let i be (-80)/(-12)*12/45. Is i at most 2/7?
False
Let l(v) = -v - 4. Let y be l(11). Which is smaller: y or -14?
y
Suppose a + 2 = -0*a. Let m = 3 + a. Suppose -j + m = 2. Which is bigger: j or 3/7?
3/7
Let w(v) = 3*v + 26. Let d be w(-8). Are d and -13 equal?
False
Let t = 9 - 8. Let o(u) = u**3 + 6*u**2 - 7*u - 4. Let l be o(-7). Let b = l + 2. Is t bigger than b?
True
Let w(n) = -n - 2. Let m be w(-4). Suppose -y - s = 2*s - 11, -3*y = 3*s - 33. Suppose 3*l - 21 = -2*p, 4*p + 2*l - 19 = y. Does m = p?
False
Let q be (-148)/117 + 20/130. Are -1 and q non-equal?
True
Let a(y) = y**2 - 3*y + 1. Let u be a(2). Let h be (-2)/(-10)*u + 1. Let v(m) = -m**2 + 4*m + 7. Let o be v(5). Which is smaller: o or h?
h
Let h = -2 + -2. Is h < -5?
False
Let f(q) = q**2 + q - 2. Let x be f(-2). Suppose j - 2 = -x*j. Let z be -1 + (j - (1 - 6)). Is 5 greater than z?
False
Suppose -2*v - 2 = 3*x - 9, x - 25 = 5*v. Is 6 < x?
False
Suppose -5*x - 4 = -w, -16 = -4*x - 5*w + w. Suppose x = -2*u - 3*u - 25. Is 1/3 smaller than u?
False
Let h = -40 + 39. Let s(i) = i**3 - 3*i**2 + i - 3. Let g be s(3). Which is greater: h or g?
g
Suppose 0 = -v + 17 + 1. Let c = -16 + v. Is -4 less than c?
True
Let u(i) = i**3 - 12*i**2 - i + 14. Let c be u(12). Which is greater: 0 or c?
c
Let z = -1 + 15. Let b = z - 12. Is b at least as big as 2?
True
Suppose -4 = 7*z - 11*z. Is z > 1/26?
True
Let p(t) = -t**3 + 3*t**2 + t - 3. Let q be p(3). Which is bigger: q or -1?
q
Suppose g - 26 = -7*n + 2*n, -5*n + 38 = 3*g. Are 1 and g non-equal?
True
Let z(w) = -2*w**2 - 7*w - 8. Let u be z(-4). Which is greater: u or -11?
-11
Let o = 154.84 + -156. Is o <= -2/7?
True
Let a = 21/116 + 2/29. Which is smaller: 0.5 or a?
a
Let q be (0 - 2/6)*3. Let f be ((-7)/110)/(2/(-12)). Let u = -1/5 + f. Which is greater: u or q?
u
Suppose 20 = 2*b - 4*b. Let u be (4/b)/(11/(-880)). Let g = u - 129/4. Which is bigger: g or -1?
g
Suppose 5*s = 2*s - 6. Let c be 22/(-20) - 12*7/56. Which is bigger: s or c?
s
Let x = 7 + -4. Suppose x*b - 4 = -b. Let r = 2 - b. Is -1/2 equal to r?
False
Let a = 20.94 - -0.06. Let v = a - 15. Let u = v - 7. Is u greater than 0?
False
Suppose 33 = 5*o - 3*j + 5, 4*o - 20 = 3*j. Suppose -o = -2*y - 2. Suppose -y*s + 8 = -x + 1, 4*x - 2*s = -8. Is 1 >= x?
True
Let g(s) = s**3 + 11*s**2 + 11*s + 10. Let b be g(-10). Which is smaller: b or 1/9?
b
Let y(q) = q**2 - 5*q + 2. Let j be y(4). Let l(n) = n**3 - 5*n**2 + n - 2. Let d be l(5). Suppose -d*t = t + 12. Is t <= j?
True
Let g(y) = y - 5. Let i be g(10). Suppose i*f - 7 = -2*d + 15, -4*d = 16. Which is smaller: f or 5?
5
Let w be 2/4*(3 + -3). Suppose w = -5*n - 0*n. Which is bigger: -1/6 or n?
n
Suppose 0 = -163*w + 162*w - 12. Which is greater: w or -8?
-8
Let a = 65 - 65. Let p = 7.3 - 7. Which is smaller: p or a?
a
Suppose -3*s + 2*s - 734 = 0. Let z = -8080/11 - s. Are -1 and z non-equal?
True
Suppose 3*p - 28 = 2*b, p - 3*b + b - 16 = 0. Let u = -12 - -18. Is u smaller than p?
False
Let n be (25/1)/(-1 - -2). Suppose 2*h - 5*z = -n, -z = 5*h - 0*z - 5. Which is smaller: h or 2/11?
h
Suppose -2*s - 180 = -4*s. Suppose -3*w + 2*k = s, 2*k + 30 = w - 2*w. Let c be (2/(-6))/((-10)/w). Which is smaller: c or -6/11?
c
Suppose 3*v = 5*c - c - 31, 0 = -4*c - 2*v + 26. Suppose -3*b + c + 11 = 0. Let d be ((-4)/b)/((-2)/(-3)). Is -1 at least d?
True
Suppose 4*w + 71 = 3. Is w greater than -17?
False
Let c(z) = -16*z - 5. Let d be c(2). Is d at most as big as -36?
True
Let h = -42 - -42. Which is greater: h or 5/9?
5/9
Let f(a) = 3*a**3 + 3*a**2 + 3*a. Let q be f(-2). Let m be 3/2*12/q. Let k = 6/11 - 20/77. Which is bigger: m or k?
k
Let w = -90 - -90. Let r be (-44)/(-8) + 1/(-2). Which is smaller: w or r?
w
Let z(t) = -t**3 + 4*t**2 + 6*t - 3. Let l be z(5). Suppose -6*f + l*f = -4. Let u be f + -1 + 8/36. Which is smaller: 0 or u?
0
Suppose 0 = -3*g - 0*g + 6. Let x(l) = 3*l + 8. Let c be x(-2). Is g greater than or equal to c?
True
Let w = 1.016 - 0.016. Let x = 4 + -4.1. Which is greater: w or x?
w
Suppose -2 = 3*k - 8. Suppose 0 = -5*o - 5*v + 25, o + 3*v = 10 + 3. Is k greater than o?
True
Let d = -25 + 17. Which is smaller: d or -50/7?
d
Let c(b) = b**3 + 5*b**2 + 2. Let f be c(-5). Let o(k) = k**2 - 6*k + 5. Let n be o(5). Let i = f + n. Is 2 less than i?
False
Let n = -1.97 + 0.27. Which is bigger: -1/4 or n?
-1/4
Suppose -5*o - 13 = 17. Which is smaller: -7 or o?
-7
Let a = 72 - 73. Are a and -2 equal?
False
Let x = 28 + -27.81. Let d = 0.19 - x. Which is smaller: -3/7 or d?
-3/7
Let p = -1 - 16. Let a = p + 29. Is a >= 12?
True
Let r be (42/45 - 1)*2. Suppose -5 = -8*q + 3. Is r not equal to q?
True
Suppose -5*c + 2*c = -30. Let f = c - 10. Which is smaller: 1/2 or f?
f
Let v(g) = -4*g**2 - 12*g - 8. Let m be v(-4). Is m <= -23?
True
Let f = 16 + -15.9. Is f equal to 2/25?
False
Let o(v) = 3*v - 26. Let m be o(9). Is m at most -2/21?
False
Let z(j) = -12*j + 6. Let b be z(-5). Let m be (-10)/b + (-6)/33. Is 0 at least m?
True
Let u = -536/5 + 314/3. Let p = u + 16/5. Is p < 2?
True
Let q = 5.8 - 