 r = c. Is 2/11 bigger than c?
True
Let w(d) = -d**3 - 2*d**2 - 3*d - 1. Let y be w(-2). Suppose -33 = -4*t + y*h, -5*t + h + 3*h + 30 = 0. Suppose -3*f = -t*f + 1. Is f less than or equal to -1?
True
Let y = -0.9 - 0.1. Suppose -8*n + 3*n + c = 55, -44 = 4*n - c. Let x = n + 8. Which is greater: x or y?
y
Let w = 0 + -1. Let f be 3/8 + (315/(-8))/(-15). Is w < f?
True
Let n(d) = d**3 - 7*d**2 + 11*d - 6. Let u be n(5). Is u <= -6/17?
True
Let m be -28 - (-2 - -3)*-1. Let n be -1 + -4 - m/9. Is n bigger than 0.4?
False
Let k be (36/(-40))/((-6)/(-5))*8. Suppose c - 5*c = -z + 22, -c - 5*z = -5. Which is greater: c or k?
c
Let d = 84323/49 - 1721. Do d and 0 have the same value?
False
Let x = -6 + 7. Let c = -2 + x. Is 6 != c?
True
Let x = 7.03 - 7. Let m = x - 0.13. Let p = 0.9 - 0.5. Which is bigger: m or p?
p
Suppose x - 12 = 2*y - 0*y, x - 17 = -3*y. Suppose 10*h - x*h = 0. Is 4 less than or equal to h?
False
Let f be 4/(-5)*(-3)/24*4. Suppose -3*z + 15 = -3*s, -3*s - 13 = -z - 0*s. Let k be z + 0 + (-16)/18. Which is bigger: k or f?
f
Let k = 0.7 - 5.58. Let t = -0.12 + k. Let z be (3 - 2)*4 - 5. Is t bigger than z?
False
Let u be 5 + (3 - 2)*-1. Suppose -5 = 3*q - u*b + 12, 7 = q + 5*b. Let o = 5 + q. Is o at least 2?
True
Let p(u) = -2*u. Let h be p(4). Let c(y) = -y**2 + 17*y + 32. Let k be c(19). Is k smaller than h?
False
Let f be (-10)/8 - 1/(-4). Let g be -2 - ((-10)/(-6) + -3). Are f and g unequal?
True
Suppose 2*y - 12 = -2*v, 0*y + 3*y = 4*v - 17. Let u be (-5)/(-6)*2/5. Is y at least u?
True
Let p = 8.01 + -8. Let b = -3.01 + p. Which is smaller: b or -2?
b
Let o = 53.23 + -53. Let g = o + -0.11. Which is greater: 0.1 or g?
g
Let q = 883 + -882. Let g = -1/14 - 19/126. Is q < g?
False
Let y be -3 + 1 - (-8)/((-24)/(-9)). Do y and 2/27 have the same value?
False
Let c be 178424/(-22)*4535/(-130). Let a = c + -282919. Let s = a - 19/11. Is -1 < s?
True
Let i(h) = -h + 2. Let v = 35 + -25. Let m be i(v). Is -7 less than m?
False
Suppose 3*y - 3 = -0*y. Let k be (-3)/2 + 1/2. Let i be ((-6)/(-30))/(1/k). Which is smaller: y or i?
i
Suppose -o + 1 = 5, 0 = -3*w - 2*o - 32. Let k = w + 8. Which is bigger: 1 or k?
1
Let j(p) = -7*p + p + p**3 - 5*p**2 + 0*p + 3. Let v be j(6). Suppose -8*d = -v*d + 15. Is d > -3?
False
Let o = -6 - -10. Suppose 5*v - o*v = 0. Which is smaller: -1/2 or v?
-1/2
Let m be 3/1*(1 - 0). Let w be ((-4)/8)/((-1)/6). Suppose -b - w = -2*b. Is b greater than m?
False
Suppose -3*n - 2*k = -14, -3 = k + 2. Is n greater than 8?
False
Let b = 77 - 102. Is b equal to 0?
False
Let t = 11 - 11. Let s = t - 0. Is 1 >= s?
True
Suppose -12 = -2*z - 3*r, 3*r = -4*z - r + 20. Suppose b + 2*q = -3*q + 14, 4*b - 4*q = 8. Which is smaller: z or b?
z
Let n = 99 - -3. Let x = n - 1124/11. Is x less than 1?
True
Let w(j) = j + 1. Let b be w(-1). Are b and 2 unequal?
True
Suppose l = 3*l + 2*b - 8, -4*b = 2*l - 8. Suppose 3*g = 4*v - 2, -5*g + 3*v - 15 = 8*v. Let w(k) = k**2 - 2. Let j be w(g). Which is greater: j or l?
l
Suppose 6 = 4*i - 2. Let s(f) = -3*f - 1. Let v(x) = 9*x + 2. Let w(l) = -8*s(l) - 3*v(l). Let p be w(i). Are p and -4 unequal?
False
Let u(n) = 3*n**2 + 3*n - 1. Let s(b) = -4*b**2 - 4*b + 2. Let m(i) = 2*s(i) + 3*u(i). Let j be m(0). Let t be 30/(-44) + 2/4. Which is greater: t or j?
j
Suppose -4*o - 5*n + 0*n + 10 = 0, 8 = 4*o + 4*n. Let b(p) = 6*p + 1. Let i be b(1). Let r = i + -13/2. Which is smaller: r or o?
o
Let o be 1/4 + 22/8. Suppose -v = o*v. Are v and -2/3 equal?
False
Let b = -16.5 - 8.6. Let k = b - -24. Let g = k - -1. Which is smaller: 4/3 or g?
g
Let b = 2/7 + -8/7. Which is smaller: b or 2/3?
b
Let d(s) = s**2 + 6*s + 8. Let p be d(-5). Suppose 3*f + j = -2*f, -23 = -p*f + 4*j. Let m be (2/12)/((-2)/(-16)). Which is bigger: m or f?
m
Let k be -10*-1*(-8)/(-20). Which is smaller: k or 5?
k
Let n = 0 - 0. Let d be -2 - (-12 - (-2 - n)). Let x(c) = c**3 - 9*c**2 + 8*c. Let m be x(d). Which is smaller: m or -2/11?
-2/11
Let o be 3 - 2 - (6 - 1). Let y(z) = 1 + 7*z - 1 + z**2 + 7. Let c be y(-5). Which is greater: c or o?
c
Let p = -24 + 1007/42. Let u = p + 19/357. Which is smaller: u or -1?
-1
Let u = -17/20 + -2/5. Let k be (-2)/(-5) - 2/5. Let m = 0 + k. Which is bigger: m or u?
m
Let w = 5 + -6. Let l be ((-1)/2)/(w/12). Suppose -p + l = p. Which is bigger: p or 0?
p
Suppose 2*o - 72 = 8*o. Let m = o - -2. Is m at most as big as -10?
True
Let l = 17 - 9. Let s = 6 - l. Are s and 1/2 equal?
False
Suppose i - 2 = -5. Suppose z - 32 = -3*j, z = 4*j - 0*z - 31. Let a = 6 - j. Does i = a?
True
Suppose -w = -0*w - 3*s - 14, 4*w - 45 = s. Let y be (w + -10)*(1 - 8). Is y >= -8?
True
Suppose -b - 16 = -5*b. Let h = 0.7 + 0.3. Is b > h?
True
Let t = -39 + 115/3. Is t < -7?
False
Let j = -8 - -3. Let t(h) = -h**2 + 8*h - 8. Let p be t(6). Let o = p + j. Is o equal to -1?
True
Let n = 28.7 - 30. Let z = 0.7 - n. Let s = -3 + z. Is -0.4 > s?
True
Let f be 1*-1 - (-4485)/4455. Which is greater: f or -1?
f
Let c be (0/(-2) + 2)*-8. Let f be (8/(-20))/(c/10). Are -1 and f nonequal?
True
Suppose -4*c = -2*c. Is 1 < c?
False
Let m(c) = c**3 + 9*c**2 + 10*c + 17. Let x be m(-8). Is -1/142 at most as big as x?
True
Let t = -209 - -5224/25. Which is bigger: 0 or t?
0
Let l = -61/4 - -145/12. Let w = l - -151/42. Let q = -0.9 - -0.9. Which is smaller: q or w?
q
Let j = -2.8 + 4.8. Which is bigger: j or -7?
j
Let m = -4/51 + 83/408. Which is smaller: -1 or m?
-1
Suppose 101 = -3*q + 5*m, 5*q - 5*m + 129 + 26 = 0. Is -30 at least q?
False
Suppose 3*x + 2 = -2*n, -2*x = 6*n - 3*n + 3. Let a be 1 + n + 2/12. Which is greater: 0 or a?
a
Let l = 23/42 + -5/7. Which is smaller: 0 or l?
l
Let x = -5 + -4. Let v = -10.2 - x. Let w = -0.2 - v. Which is smaller: w or 0.3?
0.3
Let o be ((-32)/(-6))/(32/(-48)). Which is greater: -6 or o?
-6
Suppose -2*n + 3 = -1. Is n at most as big as 2?
True
Let q be 3/(-15)*(-20)/14. Which is greater: -1 or q?
q
Suppose -3*i + 3 = -0. Let l = -3 + 28. Suppose 0 = -5*r - 20, -5*v + 3*r - 3 = -l. Which is bigger: v or i?
v
Let n be ((-54)/(-4))/((-3)/(-8)). Let l = n - 25. Let v = -11 + l. Which is greater: -1/5 or v?
v
Suppose 15 = 31*c - 36*c. Is c less than -2?
True
Let o be (-6)/(-9)*(-2)/4. Which is greater: o or 1/3?
1/3
Let n(p) = p**3 - 7*p**2 - 4*p - 4. Let w be n(7). Is -31 greater than or equal to w?
True
Let g = 0 + 7. Which is bigger: 0 or g?
g
Let i(j) = 5*j + 44. Let x be i(-9). Which is smaller: 2/55 or x?
x
Let o = -39617/395 + -24/79. Let j = o - -101. Which is smaller: -1 or j?
-1
Suppose -5*y = 2*r - 30, 3*r - 3*y = 7*r - 46. Let h be 10/20 - 13/r. Is h > -2?
True
Suppose -3*a + 9*p - 4*p = 25, -a - 15 = -3*p. Let w = -35/6 + 6. Which is smaller: a or w?
a
Suppose 8*z = -2*z - 10. Which is greater: -2 or z?
z
Suppose 4 = -3*u + 1. Let s = u - -5. Let a be 2/s*1*1. Is a < 0?
False
Let x be -1 - (-2)/8*-4. Is -1 at least x?
True
Let c = -23/22 + 6/11. Let o = 0.02 + -0.22. Let p = 0 - o. Is p greater than c?
True
Let d be 6/(-30)*1*-5. Which is smaller: d or -2/23?
-2/23
Suppose 0 = w - 4*w. Let h(g) = -g - 1. Let b be h(-3). Let z be b/4 + 1/2. Which is greater: z or w?
z
Let c(a) = 2 - 2 + 1 - 4*a**2. Let o be c(1). Let v = -39 - -36. Is o at most as big as v?
True
Let g be (-3 + 0)*2/(-3). Suppose f - 12 = -6*o + 2*o, -g*f + 3*o = 9. Let d = -3 - -2.6. Which is smaller: f or d?
d
Suppose 0*a + 2*a - 4*v = -30, -a - 30 = -5*v. Which is smaller: -1/3 or a?
a
Let q(g) = g**3 - g**2 - g - 9. Let r be q(0). Is -2 at most r?
False
Suppose 8 = 2*i - 2*y, -3*i + 0*y + 4 = -y. Which is smaller: i or 3/17?
i
Let n = -3 - 1. Let j = 6 + n. Which is bigger: -4 or j?
j
Let a = 14 + -12. Suppose 0 = n - a*j + 3, 0 = -j + 3 - 4. Do n and -3 have the same value?
False
Let w(u) = -u**3 + 10*u**2 - 12*u - 8. Let t be w(6). Suppose 0 = -2*q - 2*q - t. Does -16 = q?
True
Let w(p) = -p**3 - 5*p**2 - 2*p + 5. Let t be w(-4). Suppose 3*j - 8*j - 25 = 0. Is j at most t?
True
Suppose 5*h - 5*x + 2*x - 58 = 0, -9 = -h - 2*x. Let u = h + -11. Which is greater: u or 2/3?
2/3
Suppose -9 = -3*x + 24. Suppose -x = -3*f + 1. Suppose -f*n - 2*o - 6 = 0, n = -3*o + 5*o - 4. Are n and -3 equal?
False
Suppose 15 = 4*r + u, 5*r + u - 23 = 4*u. Suppose -b + 5*b + r = 0. Let w(o) = -o**3 - 4*o**2 + o + 5.