. Is c < k?
False
Suppose x - 5 = -o, -2*x - 4*o = o - 19. Let s be -2 + x + (5 - 0). Let a be ((-4)/(-12))/(s/6). Is a >= 1?
False
Let x = -1451 - -36269/25. Are -1 and x nonequal?
True
Suppose 0 = -11*s + 10*s - 20. Is -21 < s?
True
Let c = -0.067 + -9.833. Let q = c + 11. Let x = q - 1. Is -0.1 greater than x?
False
Let a be (15/(-3))/(0 + -1). Let v(r) = r**3 - 5*r**2 + 2. Let u be v(a). Suppose -b = -1 - u. Which is greater: b or 4?
4
Let i(z) = -5*z**2 - 12*z + 8. Let j(m) = -4*m**2 - 11*m + 9. Let l(d) = -3*i(d) + 4*j(d). Let s be l(-11). Is -22 less than or equal to s?
True
Let u(w) = -w**2 - 9*w + 5. Let k be u(-9). Suppose -k*o + 1 - 21 = 0. Which is bigger: o or -5?
o
Let v = -7 - -14. Suppose 0 = 2*m + 3 - v. Suppose -4 + 10 = -m*n. Which is smaller: -2 or n?
n
Let d be -3*4/((-8)/(-2)). Suppose 2*i = -5 + 1. Which is smaller: d or i?
d
Suppose 6 = -5*g + 11. Is 2/289 smaller than g?
True
Let h be ((-4)/12)/(0 - -1). Suppose 3*x - 1 = -j, -x - x + 6 = -2*j. Is h at most x?
True
Suppose -9*d - 3 = -6*d. Is 3/113 greater than d?
True
Let v = -2.3 - -3.1. Which is smaller: 1/4 or v?
1/4
Suppose 0 = 4*a + 3*s - 15, s = -5*a + 2*s + 14. Is 4 greater than or equal to a?
True
Let u(y) = y**3 + 3*y**2 + 2*y. Let i be u(-2). Suppose 1 = c - i. Is 1/5 >= c?
False
Suppose -5*b + 10*b = 20. Suppose -w + 3*t - 31 = 0, b*w = -4*t + 15 - 59. Are w and 1 equal?
False
Let g = -31 - -24. Which is greater: 1 or g?
1
Let x be (2 + 1)*(0 + -1). Suppose 10 = 3*p - 4*v, 3*p - 2*v = 16 - 2. Suppose 15 = -p*t + t. Is t at most as big as x?
True
Let c = 1 + -3. Do -2 and c have the same value?
True
Let a = 92 - 93. Let z be (0 - 0) + 2/(-36). Which is greater: a or z?
z
Let p be 2/72*(-56)/(-21). Let g be -2 + 3/3 - -1. Which is bigger: p or g?
p
Let p be 9 - (3 + -2 - 0). Suppose 2*x - p = g, 5*x = 2*g + 3*g + 25. Which is smaller: x or 0?
0
Let f be ((-12)/(-3))/4 + -1*17. Which is greater: f or -21?
f
Let b = 0.29 - 0.12. Which is greater: b or -2/5?
b
Let f be (-2)/6*9/(-6)*-2. Is -6/5 < f?
True
Let k = -0.03 - -2.03. Let c = k - 1. Let v = 3 + -3. Which is greater: v or c?
c
Let i = 3005/2 - 1534. Let d = -31 - i. Which is smaller: d or 3?
d
Let h = -70 + 69.9. Is -44 at least as big as h?
False
Suppose -b + 2 = -3*b. Let s(a) = -a**2 + 10 - 7 + 4*a + 2*a**2. Let x be s(-2). Is b greater than x?
False
Let h = 2 + -1. Suppose 6*k - 18 = v + k, 3*k - 6 = 3*v. Is v at least h?
True
Let t = 33 + -35. Which is bigger: 1.3 or t?
1.3
Let g be (7/14)/((-32)/182) - -3. Are g and 0 nonequal?
True
Suppose -3*a + 210 = -a + 5*p, -222 = -2*a + p. Let r be a/36 - (-4 - -7). Which is smaller: -1 or r?
-1
Let c be 4/(-8)*-2*0. Which is greater: 4 or c?
4
Let i = 0 + 0.2. Let b = -1 + 2. Which is smaller: i or b?
i
Let o(w) = -w**2 + w. Let b(c) = c. Let q(a) = -5*b(a) + 5*o(a). Let x be q(1). Let v = x + 3. Is v >= -1?
False
Suppose 2*i + 2*r + 78 = 0, 0 = -i - 2*r + 2 - 42. Is i smaller than -39?
False
Let k = -130 - -130.1. Which is smaller: k or -6?
-6
Suppose -5*r = -4*o - 24, 4*o - 5 + 29 = -5*r. Let i = o - -9. Let x be 3 + 0 + -1 + 1. Is x > i?
False
Suppose 4*j + 1 = h - 0, 0 = 3*j - 3*h - 6. Which is smaller: j or -4?
-4
Let q(d) = d**3 + 4*d**2 - 2*d - 5. Let s be q(-4). Let c(o) = -2*o + 19. Let y be c(7). Which is greater: y or s?
y
Suppose 3*b - 5*h - 1 = -0, 0 = 5*h - 5. Let i be (-1)/(-2) - (-7)/b. Suppose 0 = 5*c + 3*v - 6, -9 = -c + i*v - 2*v. Which is greater: 2 or c?
c
Let j be (4/(-120))/(1*1/(-4)). Is j at least as big as -4/7?
True
Let l(r) = r - 1. Let o be l(1). Let h be (-91)/84 - 2/8. Which is bigger: h or o?
o
Let p be (-156)/75 + (-10)/(-5). Which is greater: p or 0?
0
Suppose 5*k - 2*k = -5*j + 18, -j - 4*k = -7. Suppose 5*c = 2*c + 18. Suppose -c = -j*r + r. Which is smaller: r or 4?
r
Let k be (-15)/6*8/(-10). Let t(b) = b**2 - 4*b + 3. Let f be t(k). Which is smaller: f or -4/3?
-4/3
Suppose 5*f - 3 = 2*f. Let i = -0.15 + 1.05. Let y = i + -0.9. Are y and f non-equal?
True
Let a be (1 - -1)*(-3)/9. Suppose 0 = -2*o + 6. Let p be (6 - o - 0) + -4. Which is smaller: p or a?
p
Let h = -9 - -10. Let l = -28/55 + 283/880. Which is greater: l or h?
h
Let h = -123 - -139. Is 15 greater than h?
False
Let j = -24 - -24.21. Let c = j - 0.21. Is 2/19 at most c?
False
Suppose -3*k = -3*r + 18, k + r = -3*k - 24. Let g be 10/15 - 50/k. Suppose 7*s + 3 = -f + 2*s, 0 = 5*f + s - g. Is 2 <= f?
True
Let g = -1501/6 + 686/3. Let n = 21 + g. Is n at least -3?
True
Let z(q) be the second derivative of 1/10*q**5 + 0*q**2 + 1/3*q**3 - q + 0 - 1/3*q**4. Let r be z(2). Is 3 less than r?
True
Suppose -5*c + 5*x + 11 = -c, -3*c - 5*x - 18 = 0. Let k be 2*(c - (-30)/27). Which is smaller: -1 or k?
-1
Let c = 55 - 50. Let v be ((-2)/4)/(6/4). Which is bigger: c or v?
c
Let s = 28 + -11. Let v = -11 + s. Are v and -1 unequal?
True
Let u be (-54)/(-40) + 15/(-25). Is 2 >= u?
True
Suppose -6*y + 42 = 5*x - 2*y, -x + 9 = y. Let m = x + -8. Which is greater: m or 1?
1
Suppose -z + 3*s = z - 18, -z + 23 = -5*s. Let x be 4/(-6)*z/(-2). Which is bigger: x or -1?
x
Let j = -65 + 391/6. Let h(m) = m**3 + 11*m**2 + 8*m - 20. Let b be h(-10). Which is smaller: j or b?
b
Let f be (-1)/4 - 3/(-4). Suppose 0 = -s + 4*b + 6 + 2, 0 = -3*s - 3*b - 6. Let u be (-2 + s)*(-1)/5. Is u greater than f?
False
Suppose 36 = -4*y + 4*u, -2*y - 4*u + 0*u + 12 = 0. Is y at most 21?
True
Let d be 2/12 + (-70)/(-12). Let o be 4/d + (-14)/(-6). Let a be 1/o + 16/(-21). Which is smaller: a or 1?
a
Suppose 0*y + 24 = 4*y. Suppose y*n = n + 5. Let a be ((-6)/(-9))/(n/(-3)). Is -3 smaller than a?
True
Let t be 0 + 4/(8/46). Suppose 0 = -5*y - t + 18. Which is greater: y or -2/17?
-2/17
Suppose 0 = -0*i - 2*i. Suppose m = -2*q - 9, i = m + m - 5*q. Let a be (1 - 6 - -1)*1. Which is greater: a or m?
a
Suppose -4*r = 5*p - 45, -2*p = 2*r - 6 - 14. Let z = p + -6. Is z at most -4/3?
False
Let d be (-1*2)/((-12)/24). Suppose d = -3*f - f. Is f at most as big as -1/16?
True
Let w = -11 - -6. Let h be -5*(-12)/45*-3. Is h at least w?
True
Let f(w) = -w - 7. Suppose 3*p = -30 - 6. Let k be f(p). Suppose 2*c + 3*c = -k. Which is greater: c or -0.2?
-0.2
Let s = 407073/44 - 9251. Let a = s - -1/11. Which is smaller: -0.1 or a?
-0.1
Let k(z) = z**2 + 6*z + 5. Let o be k(-5). Let m = 3 + -1. Let j be 1/(-3) - m/(-6). Is j > o?
False
Let o = 4 - 6. Suppose 6*c + 2*b = c + 65, -4*c = 5*b - 35. Suppose u - c = 5*d, 3 - 15 = 4*d + 5*u. Is d smaller than o?
True
Let a be 0/(-2) - (-5 + 3). Are 0 and a equal?
False
Let x = -0.09 + -8.91. Is 2/11 at most x?
False
Let b = 5/6 + -2/3. Which is greater: 0 or b?
b
Let c(r) = -r - 21. Let b be c(-12). Is b > -8?
False
Let j be 2/7 - 150/231. Which is greater: 0 or j?
0
Suppose -2*s + 2 = -2*f, 0*f = -f - 2*s + 8. Let m be f/(-1) + (8 - 8). Is m smaller than 1?
True
Suppose -7 = -4*l + 5*l. Let z(h) = h**2 + 3*h - 10. Let q be z(l). Do 17 and q have different values?
True
Let a = -1.65 - -2.65. Do a and -71 have the same value?
False
Let j be 3 - (22 - -2 - -3). Is -24 > j?
False
Let d = 3/47 + -59/188. Let g = 2.4 + 7.6. Which is bigger: d or g?
g
Let r = -69 - -209/3. Let l be (-31)/(-3) + (-4)/(-6). Suppose -1 = 5*v - l. Which is greater: v or r?
v
Let r(z) = -z**3 + 3*z**2 + 1. Suppose 0 = 4*l - 5 + 21. Let x be (-11)/l - 1/(-4). Let i be r(x). Is 1/4 less than or equal to i?
True
Let v(j) = -j + 4. Let m be v(-3). Suppose 2*q - 7 = m. Let l be -1 - 0 - (-9 - -1). Do q and l have different values?
False
Let z = -2175/4 + 547. Which is smaller: z or 4?
z
Let g be -1 - (9/12)/(-1). Let t(o) = -o**3 - o**2 - o + 13. Let c be t(0). Suppose 4 = q - 4*w - 17, -3*q = -2*w - c. Which is smaller: q or g?
g
Suppose -3*g + 4 = -2. Let b be (-84)/(-35)*(-20)/(-18). Which is bigger: b or g?
b
Let w(q) = -10*q**2 - 2*q + 1. Let k be w(1). Let x(r) = r**2 + 12*r + 9. Let y be x(k). Do y and -2 have the same value?
True
Let x(f) = f - 2. Let b be x(6). Suppose 0 = 5*w - b*w. Which is bigger: -1/4 or w?
w
Let h = -1.3 + 0.9. Which is smaller: 1/2 or h?
h
Let g be (-52)/(-8)*(-1 - 1). Which is greater: g or -12?
-12
Let s = 37 - 36.9. Which is smaller: s or 65?
s
Let o = 75/442 + -11/34. Which is bigger: o or 0.1?
0.1
Let n = 98 - 492/5. Let o be (-4)/(-20) + 14/5. Suppose -z = -0*u 