*m - 4*m**2 - m**3 + 1 + m**2. Let r be c(-3). Suppose 2*x - 3*j = -8, -4*x = x - j + 20. Are x and r non-equal?
True
Let f = 11 + -2. Which is greater: 10 or f?
10
Suppose z = -4*z. Suppose 2*j - 6*j = z. Is -2 equal to j?
False
Let j be 14/4 + -3 + (-3)/(-6). Are j and 8/35 equal?
False
Let q be 620/22 + (-6)/33. Let n be (-8)/q - 16/(-42). Let z(r) = r**3 + 6*r**2 + 6*r + 4. Let o be z(-5). Which is greater: o or n?
n
Let o = 9/8 - -3/8. Which is smaller: -3 or o?
-3
Let m(d) = -d**2 + 14*d - 1. Let u be m(14). Is 0 > u?
True
Let d = -2/545 - -4366/1635. Suppose f = -0*f - 3*v + 12, -15 = -5*v. Is f < d?
False
Suppose -5 = -0*d + 3*d - 5*i, 5*d + 4*i - 4 = 0. Let s be -12*(-1)/2 - d. Suppose 3*q - s = -5*b, 0 = b - 2*q + 2 + 2. Does b = 0?
True
Suppose 6 - 1 = 5*q. Let y be (-2 + q)*2*-2. Which is greater: 3 or y?
y
Let y = 0.034 + 1.966. Suppose 5*r - 4*n + 20 = 0, 2*n - 4*n = -r - 4. Let t be (r/10)/((-6)/(-10)). Which is greater: y or t?
y
Suppose -8 - 2 = 5*i. Which is smaller: 0 or i?
i
Suppose -m = -0*m. Let g be (48 - 1)*(-1)/2. Let n = 23 + g. Which is bigger: n or m?
m
Let n(w) = w**2 + 14*w + 24. Let b be n(-12). Suppose 0 = -0*h - 2*h. Is b at least h?
True
Let i be 18/(2 + 0 + 0). Let n = i + -14. Which is greater: -2 or n?
-2
Let r = 8 - 3. Suppose r*w = n - 29, -3*w = -9*n + 4*n + 35. Which is smaller: w or -6?
-6
Suppose -q + 5*a = q + 22, 3*a - 22 = 2*q. Let m(p) = p**3 - 12. Let u be m(0). Which is greater: q or u?
q
Let f = -17 - -10. Let i be (-6 - -5) + (-11)/f. Is i at least 0?
True
Let u be (-1)/(-2)*(3 - 1). Which is smaller: u or -2/11?
-2/11
Let q = 0.19 - 0.19. Let k = -1 + 1. Is q >= k?
True
Suppose 4*n - 9 = -9. Which is smaller: n or -1?
-1
Let s = -1.9 - -6.8. Let t = 0.9 - s. Let v = -16 - -15.9. Are t and v equal?
False
Let z(y) = y**2 - 7*y - 5. Let p be z(8). Suppose 4*l - q = -2, -p*q = -6*q + 6. Is l bigger than -3?
True
Let d be (-413)/(-7) + (-4)/6. Let l = d - 59. Which is greater: l or -1?
l
Let n = 9 + 2. Is 1 smaller than n?
True
Let g = 34 - 27. Is g greater than 6?
True
Let b be 49/(-3) - 1/(-3). Which is bigger: -15 or b?
-15
Let o(g) = g**2 + 6*g. Let l be o(-5). Let i = l - -3. Is i less than or equal to -2?
True
Let o = -4/1039 + 1639/155850. Which is bigger: 1 or o?
1
Suppose a = 2*a - 42. Are a and 41 equal?
False
Suppose -l = -3*l + 40. Let f be 1 + l/(-32) + 0. Which is smaller: f or 1?
f
Let t(c) = -c**2 - 2*c + 2. Let r be t(1). Let v = -187 + 743/4. Let y = v + 31/28. Is y > r?
True
Suppose 0 = 3*g + 28 - 289. Let k = 781/9 - g. Which is smaller: 1 or k?
k
Let y = 2 - 1.9. Let x(q) = -q**2 - q + 19. Let t be x(0). Suppose 0 = -4*l - s + 17, 3*s - t = -4*l - 0*s. Do y and l have the same value?
False
Let f be 0 - (-16)/(-12)*(-6)/(-2). Which is bigger: f or -2?
-2
Let g(i) = i + 1. Let t(p) = -5*p + 1. Let x(z) = 6*g(z) + t(z). Let r be x(-6). Let w be (r - 3) + (-5)/(-4). Which is smaller: 1/3 or w?
w
Suppose -w + 2*q + 0 = -5, 4*q = -3*w - 25. Let s(f) = f**3 - 3*f + 3. Let k be s(w). Let m be (-13)/(-12) + 5/k. Do 1 and m have different values?
True
Let a(f) = f - 11. Let g(u) = 4*u - 44. Let k(q) = 9*a(q) - 2*g(q). Let n be k(11). Is n != 0?
False
Let l = 150 + -119. Which is smaller: l or 30?
30
Suppose -4 - 17 = 7*s. Let n = -7 + 4. Are s and n unequal?
False
Let v be (8/(-30))/((-4)/6). Let f(y) = -y - 4. Let u be f(-4). Suppose u = -2*n - 0*n. Are n and v equal?
False
Suppose -6*l = -8*l + 4. Does l = 6/17?
False
Let l be (-3 - -5) + (0 - 1). Let b = 0 - l. Are -1 and b non-equal?
False
Let a(u) = -u**2 + 2. Let g be a(-2). Suppose -10 = 3*b + 2*y, -3*b - 3*y = 17 - 5. Let m = b - g. Does 2/9 = m?
False
Let d = 8 + -5. Suppose -3*z - 30 = -d*u, -4*u + 15 = 2*z - z. Is -4 != z?
True
Suppose 5 - 1 = 4*q. Which is bigger: 3/25 or q?
q
Let o be (-2)/(-7) - 5/(-7). Let n be 9/6*1/(-6). Let q = n + 1/2. Which is bigger: o or q?
o
Suppose -1 + 7 = 5*c + 2*w, -4*c - 3 = -w. Let q be 2/(-54)*(-1017)/(-66). Let a = q + 7/18. Are a and c nonequal?
True
Suppose -2*b + 3*i = -2*i - 8, -4*b = -5*i - 26. Which is bigger: 10 or b?
10
Let i be 5 + 1 + (0 - 4). Let p(m) = -m**3 + m**2 + m. Let g be p(i). Is g smaller than -8/5?
True
Suppose 0 = -4*c + 3*v, -2*c - 4*v = -3*v - 10. Let d = -647/2 - -325. Is c at most as big as d?
False
Suppose d + 3*d - 5*h + 229 = 0, 2*d - 3*h + 113 = 0. Which is greater: -1 or d?
-1
Suppose 0 = 3*w + 29 + 37. Is -23 less than or equal to w?
True
Let x be -2 + (-1)/2*-6. Let o be 2/1 - (1 + x). Let r = 9/4 - 23/12. Is o > r?
False
Let a = 5 - 1. Suppose 0 = -m + a*m. Is m at least 1?
False
Suppose t = -2*r + 10, -4 = t + r - 10. Do -1 and t have different values?
True
Let i = 14/19 - -6/95. Let l(x) = -x**3 - 6*x**2 - 5*x. Let p be l(-5). Is i equal to p?
False
Let b be (-1 + 3)/(1 - -1). Which is smaller: b or 2/27?
2/27
Let n = -3/10 - -7/15. Let u be (0*1/(-2))/2. Suppose u + 5 = -5*o. Is n <= o?
False
Let l be (-2)/9 + (-75)/27. Let v(w) = w**3 + 2*w**2 - 4*w - 3. Let y be v(l). Suppose 5*f - 7 + 22 = y. Is -4 at most f?
True
Let y = 33 - -5. Let u = y + -56. Is u less than 0?
True
Suppose 2*x + 8 = 0, -3*x - 12 = 2*n - 0*n. Let q be (4/6)/(-15 + 14). Is n smaller than q?
False
Let d be (1/4 + 2)/(24/64). Which is bigger: 38/7 or d?
d
Let u = -16 - -17. Let d be -13 + ((-3)/(-1) - u). Is d at most -11?
True
Let u(p) = p**2 - 3*p + 2. Let t(c) = -c + 14. Let h be t(12). Let f be u(h). Suppose 3*r = 15 - f. Which is bigger: r or 6?
6
Suppose 4*a = 0, 2*z = z + 5*a. Is 3/20 <= z?
False
Let x = -164/525 - -2/75. Which is bigger: -1 or x?
x
Let j = -15 - -27. Let i = 12.03 - j. Which is smaller: -0.1 or i?
-0.1
Let d be 1/(-2)*(1 + -7). Let w = 3.5 + -3. Let i = w + -0.5. Which is bigger: i or d?
d
Let z(q) = 0*q**2 - 2*q - 1 + 7*q - q**2. Let u be z(5). Let x = 48 + -333/7. Is u <= x?
True
Suppose 2*m = 7*m + 35. Let a be -1*-7*(-1 - 0). Do m and a have the same value?
True
Suppose 2*c = -2*u - 8, 2*u = -4*c - 0*u - 6. Let y be (-94)/144 + 3/12. Let z = 1/36 + y. Is z >= c?
False
Suppose 0*f = f. Suppose f = k - 8 + 4. Let a(j) = 5*j**3 - j**2. Let b be a(1). Is b greater than k?
False
Let g be (5/(-2) - -1)/(27 + -9). Suppose -3*f + 1 = 3*k - f, 3*f = 2*k + 8. Which is bigger: g or k?
g
Let d = 16.9 - 17. Which is smaller: 8 or d?
d
Let v(c) = c**3 - 6*c**2 - 6*c + 9. Let b be v(6). Is -28 less than or equal to b?
True
Let h(w) = 11*w**3 - w**2 + 4*w - 3. Let t(o) = -5*o**3 - 2*o + 1. Let n(v) = -3*h(v) - 7*t(v). Let x be n(-2). Let f be x/9*3/(-7). Which is bigger: -2 or f?
f
Let y be 2 - ((-35)/(-3))/5. Let u(d) = -d**2 + 5*d + 6. Let p be u(5). Let g = 4 - p. Is g greater than or equal to y?
False
Suppose 0 = 3*i + i - 4. Suppose 2 = -f + i. Are -2 and f non-equal?
True
Let m = -2.1 - -1.1. Let a = -3 - -8. Let q be (-2 + a/3)/(-1). Is q != m?
True
Let y = -16 + 20. Suppose y*d + 7 = 5*s + 1, 0 = -3*d + 2*s - 8. Which is smaller: d or -6?
-6
Let p = -116 - -2207/19. Let v = p - -51/38. Let w = 2 - v. Are 0 and w equal?
False
Suppose -2*i - y = 4, -10 = 5*i - 0*i - 5*y. Let v be 1 - ((-2)/i - 1). Which is smaller: 3/13 or v?
3/13
Let r be 477/(-12) + 1/(-1). Let q(h) = 9*h**2 - 3*h - 1. Let y be q(-2). Let b = r + y. Which is smaller: 0 or b?
0
Let l = -1.3 - -0.74. Let f = 1.42 - l. Let r = f - -0.02. Are 0.1 and r nonequal?
True
Let n be 0 - (2 - (-8)/(-4)). Do -1 and n have the same value?
False
Let p = 2 - 2. Suppose 0 = 3*o - 2*f - 637, -4*o = -5*o - 4*f + 203. Let u = 1897/9 - o. Which is greater: u or p?
p
Let x be 1/(-2)*((-381)/(-9) - 5). Which is greater: x or -0.1?
-0.1
Let u = 529/25 - 21. Is -1 >= u?
False
Let u(m) = -2*m**2 - 2*m - 3. Suppose -3*f = -8*f - 10. Let p be u(f). Let i = -3 - p. Is 4 equal to i?
True
Suppose -3*w - 1 = -7. Is 1 greater than w?
False
Let h(n) = 5*n**2 + 2*n. Let y be h(-2). Is y less than 15?
False
Let t = 55/284 + 4/71. Which is greater: t or -1?
t
Suppose -5*r + 15 = 5*s, 5*r - s = s + 8. Suppose 0 = -5*p + 10. Do p and r have the same value?
True
Let b(f) = 3*f**3 - 4*f**3 - 14*f + 2 + 8*f + 8*f**2. Let t be b(7). Is 9 greater than or equal to t?
True
Suppose 0 = 3*r + 2*r - 115. Let w be 2/(-3)*(2 - r). Let k be w/21 - (-4)/(-18). Does 1 = k?
False
Let n = -284/49 - -12269/147. Let a = 77 - n. Let f = 2 + -1. Is