. Which is greater: -3/13 or c?
c
Let i(c) = c**3 - 21*c**2 + c + 2. Let f be i(21). Which is smaller: 25 or f?
f
Let p = -16 + 16.56. Let y = p - 0.06. Let h = y + -0.7. Does h = 3?
False
Let r = -0.06 + 4.06. Is -2/9 at least r?
False
Let j = 10 + -16. Let x be (2/(-3))/((-14)/j). Are -1 and x non-equal?
True
Let c = -18 - -18. Let l be (-3 + 2)/(-9 + 1). Which is smaller: c or l?
c
Let r be 152/74 - (6 - 4). Which is greater: 0 or r?
r
Let z = -0.044 + -0.956. Is -3/2 less than z?
True
Suppose 26*n - 30*n + 108 = 0. Let r be 4/(-3) + (-153)/n. Is r < -6?
True
Let t = 7830/19 - 412. Suppose -h = -0 - 1. Is t > h?
False
Let s = -0.001 - 2.019. Let d = s - -0.02. Let g = -4 + 3. Which is smaller: d or g?
d
Let q = -0.04 + -0.36. Let x = -104.4 + 101. Let j = q - x. Is j <= -3/2?
False
Let f(p) = -2*p**3 - 4*p**2 - 6*p - 4. Let j be f(-4). Suppose j = 3*a + a. Let m be 69/a - (-2)/(-7). Which is bigger: m or 4?
4
Let i(u) = u - 5. Let d be i(4). Let p = 46 + -36. Which is smaller: p or d?
d
Let z = -63 - -56. Which is bigger: -5 or z?
-5
Let r = 8 + -15. Let m = 6 + r. Which is smaller: m or 0.1?
m
Let s(h) = h**3 + 3*h**2 - 6*h - 5. Let x be s(-4). Suppose -18 = -4*z + x*n, 4*n - 2 = -3*z - 1. Is 4 >= z?
True
Suppose 0 = -8*d + 3*d. Let i = d + 1. Let m be 2 + (-2)/(1/i). Is m not equal to -1?
True
Let d be (-12)/(-39) + 0/1. Is -1 at most as big as d?
True
Suppose 0 = 4*d - 5*c - 1, 3*c = -3. Let s = d + 1. Suppose 2*v + 0*v + 6 = s. Is v equal to 1?
False
Suppose -2*s = -0*s + 8. Is -4 greater than or equal to s?
True
Let r(a) be the first derivative of a**2 + 3*a + 3. Suppose -5*z = -5, -4*z = -0*d + 2*d + 2. Let c be r(d). Which is smaller: c or -1?
c
Suppose -s + 0*s = 9. Let d = 7 + s. Is 0 <= d?
False
Suppose -3 = -3*w + 3. Let q be 0/((w + 0)/(-2)). Suppose 2*m - 4 + 0 = q. Are m and 1 equal?
False
Let g = -5 - 3. Let p = g + 9. Is 3/5 smaller than p?
True
Suppose -2*w - 16 = 2*z, 3*z - 2*w = 2*w + 4. Suppose r - 7 - 1 = -m, -m + 3*r = 0. Let f be ((-16)/m)/z - 0. Is f < 1?
True
Let x = -216/3325 - 2/133. Suppose -2*u - 4*m + 8 = 0, 5*u - 3*u = 4*m + 24. Suppose -4*g - u = -2*j + j, -4*j + 10 = -5*g. Which is greater: j or x?
j
Let p = 20260 - 13195. Let c be p/16191 - 2/4. Let i = c + -2/257. Is i bigger than -1?
True
Let a(k) = k**2 - 9*k - 7. Let w be a(9). Let b = -9 + 17. Let m = b + -13. Which is smaller: w or m?
w
Let b be (3/(-2))/(9/12) - -15. Is -1/3 >= b?
False
Suppose 3*c + 6 = h + 20, -5*h - 31 = -2*c. Let x = -4 + c. Let o be (-5)/10*x/2. Which is greater: 2 or o?
2
Let k be (-6)/21 - (-32)/14. Which is smaller: k or -1?
-1
Let f be 4/4 + (-7)/5. Suppose -5*q + 39 = -8*q. Is f less than q?
False
Let c be -4 - (1 - 3/1). Let j(d) = d + 8. Let m be j(-6). Suppose -5*h = 13 + m. Is h at most as big as c?
True
Suppose 4 = -2*r + 2*a - 0, 25 = 5*r + 2*a. Are r and 20/13 unequal?
True
Suppose 0 = -2*t - 5*w + 2, 3*w - w + 2 = 2*t. Let g = -1/79 - -398/237. Is g smaller than t?
False
Let n = 1.3 + 8.7. Let y = n + -5. Is 2/7 equal to y?
False
Let r be ((-72)/45)/(-8) + 0. Let g be 4/(-14) + 15/28. Does g = r?
False
Suppose 324 = 14*w + 72. Is w not equal to 15?
True
Let u = -22.11 + 22. Let l = u + 0.09. Is -1 greater than or equal to l?
False
Suppose -2*r + 3 + 5 = 3*s, -1 = -3*s + 5*r. Suppose s = a - 3*a. Which is smaller: a or -2/27?
a
Let v = 28 - 22. Is v smaller than 5?
False
Suppose -3*w + 2*w = 0. Is 9 smaller than w?
False
Let s be (40/18 + -2)/(-3). Let x(k) = 3*k**2 - 1. Let o be x(1). Suppose 2*n + 2*f + o = 0, -5*n - f - 5 = -0. Which is greater: n or s?
s
Let k = 0.14 + 5.86. Let g = k + -6.3. Let a = 0.7 - g. Which is greater: 0.1 or a?
a
Suppose 3*d + t + 6 = 5*t, -2*t = -6. Suppose -d*j = -3 + 7. Is j bigger than -2?
False
Let c(z) = -2*z + 28. Let r be c(16). Let s = -1 + 2. Let l = s - 3. Is r >= l?
False
Let w = 10 - 14. Is w at least as big as 1/3?
False
Let h(m) = m + 3. Suppose 3*l + 2*l = 0. Let j be h(l). Let b be 1/(-3 + j/3). Do 6/5 and b have different values?
True
Let h = 8 + -7. Let j be 8/5 + (-2)/h. Is 1 <= j?
False
Let d(h) = -2*h**2 - 2. Let q(x) = -5*x**2 + x - 5. Let f(r) = -8*d(r) + 3*q(r). Let l be f(-2). Do -1/3 and l have the same value?
False
Let o be 56/(-6)*(-6)/4. Is 14 not equal to o?
False
Let c = 58 - 22. Suppose -5*m + m = c. Is -9 bigger than m?
False
Let u be (-2 - -5) + 4/2 + 21. Does u = 23?
False
Let b = -5 + 4. Let g(c) = 2*c + 7. Let x be 1*(-8 + 2) + 2. Let h be g(x). Is b <= h?
True
Let f = 10 - 15. Let r(y) = -y + 3. Let g be r(f). Let m be ((-6)/g)/((-276)/32). Which is smaller: m or 1?
m
Suppose 3*o - 2*o + 5 = 0. Is -8 greater than or equal to o?
False
Suppose -5*d + 1 = -2*d + 2*o, -4*o = -2*d - 10. Do 1 and d have the same value?
False
Let h be 248/(-18) + 4/(-18). Let j be (-2)/7 + (-18)/h. Which is smaller: -2/11 or j?
-2/11
Suppose 5*m + 3*o - o = -22, 38 = -5*m + 2*o. Suppose 5*p + 37 = 3*r, -p = p - 2*r + 14. Let x = p - m. Is -2 greater than x?
False
Let m(x) = -x - 1. Let h be m(8). Let g = h - -49/5. Which is smaller: 1 or g?
g
Let h = -30 + 38. Which is smaller: h or -1/6?
-1/6
Suppose 0 = 4*h - 12, -2*c - 3*h = -4*c + 47. Let b be (-2)/7 - (-176)/c. Which is greater: b or 5?
b
Suppose 0 - 9 = -3*r. Suppose 4*z - 2*k + k + r = 0, 4*z - 1 = 5*k. Which is smaller: 2/29 or z?
z
Let z(h) = h - 1. Let t be z(0). Let a = 3 + -3. Suppose -2*d - 3*w + 4*w - 4 = a, 2*d - 2 = -2*w. Is d >= t?
True
Let j(p) = 4*p. Let n be j(-2). Let i be -6*((-1)/(-1) + 0). Let v be (-18)/n*i/9. Is -2 bigger than v?
False
Let n = -9.3 - -9.7. Is -2/3 greater than or equal to n?
False
Let c(x) = x**2 + 5*x + 2. Let q be c(-6). Let z be (-9)/(-6)*q/90. Which is bigger: -1 or z?
z
Suppose 0 = 3*f + 5*g + 7, 3*g + 2 = f - 5*f. Which is greater: f or 3?
3
Suppose -3*i = 5*u - 56, -82 = -i - 4*i + 3*u. Let j = 3245/182 + -29/26. Let b = j - i. Is 0 > b?
True
Let h = 25 + -17. Let g = 17 + -7. Let v = h - g. Do v and -1/3 have the same value?
False
Suppose -2*h = 3*h - 15. Suppose h*n + 8 = 7*n. Suppose 0 = -0*c + 2*c + n. Is c smaller than -1?
False
Suppose 2 = 5*z - 13. Suppose 0 = -3*s + 6*s + i + 20, z*s + 35 = -4*i. Let c = 4 + s. Does c = 0?
False
Let x(m) = m**3 + 6*m**2 - 6*m + 8. Let w be x(-6). Suppose 5*n - 14 = 5*y - 59, 5*y - 4*n = w. Let j be y/10*2/4. Is j at most -0.2?
False
Let d(k) = k**3 - 5*k**2 - 5*k - 4. Let m(t) = t**2 - 5*t + 2. Let p be m(5). Suppose s = -3*z + 23, s + 3 = z + p. Let o be d(z). Is 2 at least o?
True
Let o(t) = t**3 + t - 2. Let y be o(0). Which is smaller: -20/9 or y?
-20/9
Let k be 42/28 - (2 + -1)*1. Let m = -9 - -16. Let p = -5 + m. Is p != k?
True
Let w = -5881/20 - -294. Which is smaller: -1 or w?
-1
Let f = 0 - 1. Let c be (2/(-6))/((-3)/18). Suppose r + c = -r. Is f >= r?
True
Let h be 7/2 + (-2)/(-4). Suppose -h*z = z - 25. Suppose -j + 0 = z*i + 5, -2*i + 20 = -4*j. Are -6 and j non-equal?
True
Suppose -1 = -3*t + 4*t, -3*t = -2*b + 3. Is b less than -3?
False
Let z(r) = r + 4. Let j = 7 - 11. Let n be z(j). Let l be 1/(n + 2 + 3). Which is bigger: -1/2 or l?
l
Suppose 0 = -7*p + 2*p - 55. Let x be (23/7 + -3)*-7 + -9. Is x greater than p?
False
Let d = -45568/49 + 930. Is d at most as big as 0?
False
Suppose 2*h + 18 + 2 = 0. Let l(j) = -5*j - 45. Let n be l(-11). Let q = h + n. Which is greater: -2/11 or q?
q
Suppose 0 = q - 4*h + 1, 4*h = -4*q + 36. Which is greater: q or 3?
q
Let l be (-35)/(-28) - 2/8. Suppose j = -l + 2. Let p = -105/247 + 11/19. Which is bigger: p or j?
j
Let a(l) = 3*l - 17. Let z(q) = -q + 6. Let b(u) = -6*a(u) - 17*z(u). Let i be b(-4). Suppose -j - i*j = 0. Is -1/9 greater than or equal to j?
False
Suppose f - 5*f - 8 = 0. Let x = -4 - f. Are -2 and x unequal?
False
Suppose -o + 6*j - 5*j = -5, -4*j = 5*o - 7. Is o smaller than 0.12?
False
Let r = -6 - -5. Let l be (2 - 8/6) + r. Let h = 0.2 + 0.2. Which is greater: h or l?
h
Let k(q) = q**2 - 3*q - 2. Let v be k(4). Which is greater: 6/11 or v?
v
Let g be (-4 + 5)*(12 + -1). Let q = g + -16. Is q equal to -7?
False
Let r = -6 + 17. Suppose x = -0*c - 2*c - 1, 3*x = c + r. Let s be (-1)/(x/(-6)*2). Is 2 at least as big as s?
True
Let s = -9 - -10. Let y = 0.93 + -0.03. Let x = -4.1 - y. Is x at least as big as s?
False
Suppose -2*o + 4*c - 37 = 3*o, 3*c = -2