uppose 0 = -2*i + c - 9. Which is greater: x or i?
x
Let a(c) = -c**3 + 4*c**2 - 2*c - 6. Suppose -2*i + 9 = -3*k - 0, 3*i = 2*k + 11. Let w be a(i). Is -2 less than w?
False
Let s = -39/172 + -1/43. Is s less than or equal to 2.8?
True
Let p = 9 + -10. Let r be p*(27/3)/(-3). Suppose -5 + 3 = -q. Which is smaller: q or r?
q
Let y(v) = v**3 + v**2 - 4*v - 3. Let h be y(-2). Suppose -11*f = -10*f - h. Which is smaller: f or -1/21?
-1/21
Let j = -6/133 + 120/133. Let r = 32/21 - j. Let l = -1/24 + 3/8. Which is bigger: r or l?
r
Suppose -4 = -0*u - 2*u. Does 24/7 = u?
False
Let k = -0.02 + 0.04. Let h = -1.02 + k. Is h < -1/5?
True
Let p = 1.21 - 1.22. Which is greater: p or 3?
3
Let o(a) = -a**3 + a - 9876. Let d be o(0). Let i = 1669067/169 + d. Let c = i + 3/169. Is c smaller than 0?
False
Let s be (-4)/12 - 22/(-30). Let a = -4 + 3.9. Let q = a - -0.2. Does q = s?
False
Suppose -2*d + 3*i - 14 = -1, d + 2*i = 11. Is -2/43 != d?
True
Let o(d) = d**2 - 5*d. Let m be o(5). Let n = -191/5 + 38. Let f = n - 3/10. Is f at most as big as m?
True
Let n(d) = 5*d + 3. Let s(j) = j. Let b(p) = n(p) - 4*s(p). Let h be 2/(-8)*2*4. Let z be b(h). Is 2 not equal to z?
True
Suppose -3*z + 6 = -6. Suppose -3*x + 3*b + 6 = 0, z*b - 19 = -5*x - 0*x. Suppose -3*v = -0*v + x. Which is smaller: v or -5/4?
-5/4
Let j be ((-3)/2)/(6/(-92)). Which is smaller: j or 24?
j
Let i(p) = -2*p + 8. Let t be i(4). Let z(x) = -x - 3. Suppose 0 = 3*c + 13 + 2. Let a be z(c). Which is smaller: t or a?
t
Let f = -0.04 + 0.04. Let k = f - -0.1. Which is bigger: k or -9?
k
Let l be (0 + -6)*(-32)/24. Are l and 9 non-equal?
True
Let b = -3 - 4. Which is greater: -5 or b?
-5
Let v = 3/7 + 5/21. Suppose q - 10 + 4 = 0. Let y be (q/9)/(2/6). Is v greater than or equal to y?
False
Suppose -8 = -3*w + 4. Let r = -9 + w. Let t be (4/16 - 0)*-20. Is t > r?
False
Let j = -8 - -13. Suppose -4*a - 19 = -2*d + a, -5*d = -4*a - j. Let b be ((-2)/4)/(4/24). Are d and b non-equal?
False
Suppose -72 = b - 279. Let q be b/(-45) + 4/(-10). Let w = 6 + q. Is 1/5 greater than w?
False
Suppose -4*l = -l + 5*c - 8, 4*c = 5*l - 1. Let w be (5/15)/((-3)/4). Is l != w?
True
Let h be (-1 + -1)*(-2)/3. Is 2 less than h?
False
Let v be ((-2 - -3)*2)/(52/2). Is 0 < v?
True
Suppose -p = 2*l - 8, -5*l + 3*p - 4 = -2. Suppose -4*j + 2 + 26 = 0. Suppose -2*m - 7 = -3*c - m, 0 = 2*c - 3*m - j. Are c and l nonequal?
False
Let f be -6 + 3 + -1 + -2. Let v be f/(-20)*(-1)/(-3). Do -1 and v have different values?
True
Let o be -5 + 5 - 2*(-6)/52. Do 0 and o have the same value?
False
Let u = -17.5 + 7.5. Which is bigger: 1 or u?
1
Let w = 0.74 - 0.7. Let r = -4.04 + w. Which is smaller: -1 or r?
r
Suppose 4 = 2*d + 6. Let f be (-1)/(-9)*6/(-4). Which is smaller: f or d?
d
Let x be -2 + (-10)/(3/(-3)). Suppose 1 = -2*a + 9, -3*b + x = 2*a. Suppose -2*i + 0 = 2. Is b at most i?
False
Suppose -p + 0*j = 3*j - 2, p + j - 2 = 0. Let n be (0*(-1)/(-3))/2. Suppose -p*r + r - 3 = n. Are -3 and r unequal?
False
Let q be (3/(-111))/(2/4). Which is greater: 0 or q?
0
Suppose -3*a = 6, -2*l - 10 = -4*l + 5*a. Let o = -7 - -7. Suppose o = -4*x + x + 3. Which is smaller: l or x?
l
Suppose 2*p + 23 = 3*n, -4*p + 7 = 23. Suppose -4*o + 3 = -f, -o = n*f - 6*o. Which is smaller: 2/5 or f?
2/5
Suppose -4*l = s + 96, 5*l = s + 4*s - 145. Which is smaller: l or -26?
-26
Let l(b) = -b**3 + 6*b**2 + b - 4. Let o be l(3). Does 26 = o?
True
Let w be (-3*1)/(12/(-28)). Let u = w + -1. Let z(b) = b**2 + 2*b - 2. Let d be z(-4). Is u greater than d?
False
Let w = 0.33 + -0.03. Let r = 1.1 + w. Is r equal to -1?
False
Let t = -0.0917 + 67.9917. Let x = t + -76. Let q = x + 8. Which is smaller: q or -1?
-1
Let z(q) = 2*q**2 + 5*q**2 + 3*q + q**3 - q**2 - 6 + 1. Let k be z(-5). Suppose -k*j - 2*c = -3*j + 10, -4*j - 11 = c. Is -1 <= j?
False
Let a be -2 - (-3 + (2 - 2)). Suppose -s + 0*s = -a. Let l = -17/3 - -6. Is s less than or equal to l?
False
Let d be (0/(0 + 2))/(-2). Suppose 3*m + d*m - 3 = 0. Let x = -209/981 - 1/109. Is x at least m?
False
Let d = 0.02 - -0.08. Which is smaller: -0.7 or d?
-0.7
Let t = -1 - -3. Let u be 2 + ((-198)/51)/t. Let o = u + 14/51. Which is smaller: 1 or o?
o
Let u be (1/2)/(1/(-2)). Let h = 154/57 - 2/57. Which is smaller: u or h?
u
Let b = 115 - 341/3. Let j = 4 - 2. Which is greater: b or j?
j
Let l(j) = -j**2 + 11*j + 27. Let a be l(13). Let k(t) = 3*t**2 + t**3 + 0*t**2 + 1 - 5*t**2 - 3*t. Let g be k(3). Are g and a equal?
True
Let q = -3.8 - -4. Which is smaller: -3 or q?
-3
Let d = 69.8 + -68. Is d > 1?
True
Let d(a) = -a**2 - 2*a + 9. Let o be d(-4). Let w be 4 - o - (-120)/(-39). Which is greater: w or 0?
0
Let g be 2/3 - 195/9. Let c be (-1 - g/15)*-1. Let s = 1 + -1. Is c < s?
True
Let x be ((-2)/6)/(2/42). Which is bigger: x or -8?
x
Suppose -g + 4*t + t + 33 = 0, 44 = 3*g - 4*t. Let u = -8 + g. Is -2/3 at most u?
True
Suppose 3*y + 8*y = -44. Are -3 and y nonequal?
True
Suppose 0 = 2*x - 12*x + 50. Is x bigger than 7?
False
Let p = 19.1 + -19. Let b = 4 + -10. Is p < b?
False
Suppose 13 = -5*l + 5*j - 2*j, 0 = 5*l + j + 29. Suppose 2*c + 3*y = y - 4, 0 = -4*y. Which is smaller: c or l?
l
Let b = -0.36 + 0.4. Let j = b + -2.04. Let q = 0.07 + 0.03. Which is smaller: j or q?
j
Let k(t) = -t - 7. Let s be k(-6). Which is bigger: -1/11 or s?
-1/11
Let u = 36078/37 - 975. Is u greater than 1?
False
Suppose -5*n = 1 + 4, -2*n = 2*w. Which is smaller: w or -1/63?
-1/63
Let j = -11.9 - -11.9. Is j > -27?
True
Let i = -7 - -11. Let h = 0 + 2. Which is smaller: i or h?
h
Let x = 1.091 - 0.031. Let p = x + -0.06. Suppose 2*d + 15 = -5*r + 7, -3*r = 6. Do p and d have different values?
False
Suppose -5 = -3*p + 3*r - 107, p = -r - 38. Let i be (-1)/(-4) - (-17)/p. Which is bigger: i or -1?
i
Let j = 1.3 - 1.6. Which is bigger: -0.18 or j?
-0.18
Suppose -r - 1 = -k - 2*k, r + 4*k + 22 = 0. Let u be 24/110*r/4. Is u greater than or equal to -2?
True
Let c = 6629/141 + -47. Is -0.2 >= c?
False
Suppose -5*q - 22 = b, -5*b + q - 1 - 5 = 0. Suppose 0*m + m = -2. Are m and b unequal?
False
Let h be 107/(-35) - 24/(-8). Let r = -1 + 1. Which is smaller: h or r?
h
Let i be -1*(-31 + 2 + -1). Let r = 18 - i. Is -11 equal to r?
False
Let t = 0.057 - 2.057. Is 1 < t?
False
Let o(u) = u**2 + 4*u - 7. Let c be o(-5). Let n be c/12 + 291/18. Suppose z - 2*z = 4*i - 20, n = 4*z. Are i and 3 nonequal?
True
Let h(i) = -5*i - 54. Let s be h(-11). Is s less than or equal to -6/29?
False
Let f(z) = z - 4. Let i be f(-15). Is i at most as big as -19?
True
Let b(d) = -2*d**3 + d**2 + d - 1. Let k be b(-1). Which is bigger: -1/154 or k?
k
Let b be (-5 - -3) + (-18)/(-8). Let j = 10 - 6. Which is smaller: j or b?
b
Let h = 1 - 0.8. Let u = -6 - -5.97. Let c = u + -0.97. Is c >= h?
False
Let q = -15634/469 + 2/1407. Let v = -33 - q. Is 0.1 < v?
True
Let o be ((-1)/(-2))/((-18)/(-8)). Let g = -0.92 + 0.8. Let i = g - -0.32. Is i at least o?
False
Let n(i) = -i**2 - 7*i - 20. Let w be n(-6). Which is smaller: w or -40/3?
w
Let y(v) be the third derivative of v**4/24 - 5*v**3/3 + 2*v**2. Let a be y(3). Is -7 less than or equal to a?
True
Let b(r) = -r**3 + 9*r**2 - r + 5. Let i be b(9). Let c be ((-5)/4)/(i/(-16)). Suppose -3*z = -0*z + 12. Are c and z unequal?
True
Let p be ((-1)/2)/(2/64). Do -15 and p have the same value?
False
Suppose -6*a - 2*t = -a + 1, 0 = t - 2. Let j be 12 + a + -5 + 3. Is 10 greater than j?
True
Let k be 3*(6 - (-114)/(-18)). Let u = -48/77 - -10/11. Which is bigger: k or u?
u
Let a = -236/3 - -83. Let g be (-4)/3*1*-3. Let w = a - g. Which is greater: w or 0?
w
Let y = 36.97 + -37. Let q = -0.5 + 0.3. Let n = 0.2 + q. Is n bigger than y?
True
Let q = 9 - 17. Let w be (q/60)/(1/3). Let m be 2/(-6) - 6/9. Which is bigger: m or w?
w
Let v = -3 + -1. Let z be ((-9)/(-6))/(2/v). Let y(q) = q**2 + 3*q - 3. Let f be y(-3). Is z greater than f?
False
Let l = -12/7 - -319/182. Let o = 23/78 + l. Let t = 66 - 65. Which is greater: t or o?
t
Let j be (-2 - (-327)/162)*2. Is 1 less than or equal to j?
False
Let h(c) = -3*c - c**2 + c + 5 - 2*c. Let x(u) = u**3 + 4*u**2 - 8*u + 19. Let g be x(-6). Let z be h(g). Is 1/5 > z?
True
Let j be (-2 + 3)*1/1. Which is smaller: j or 0.3?
0.3
Let p(z) = z + 6. Let k be p(-3). Is 3