.9 + 24. Which is bigger: c or -72?
c
Let n = -3926/3 - -1348. Let k = -40 + n. Is 15 >= k?
True
Let m = 17 - 4. Which is smaller: -4 or m?
-4
Let h(m) be the first derivative of -m**3/3 + 5*m**2 + 8*m - 3. Let w be h(9). Let l be (57/w)/(-3) + 1. Which is bigger: -1 or l?
l
Suppose g + 4 - 3 = 0. Let o = -39 + 39. Is o at most g?
False
Let a = 2 - 2. Suppose -3*y = -a*y + 63. Let b be (1 - y/(-22))*-4. Are b and -1 equal?
False
Let f be 12/(-16) + 186/(-8). Let i be (-80)/f - 4/(-6). Is i at least as big as 5?
False
Suppose -58*u + 65*u = -14. Which is greater: u or -5/3?
-5/3
Let j(a) = -6*a + a + 2 + a**3 - 3*a**2 + 3. Let m be j(4). Let w = -5 + 7. Is m less than or equal to w?
True
Let y = -0.3 + -0.7. Let q = -63 + 65. Which is smaller: y or q?
y
Let o be ((-9)/6)/(15/40). Is 2 at least o?
True
Let s = -0.3 - -0.28. Let b = -0.02 - s. Is b > 2/7?
False
Let p be ((-2472)/45)/(-8) - (-14)/105. Suppose -2*g - 2 = -y, -2*g = y + 1 - 15. Is p less than or equal to y?
True
Let j be 1 + (3/6 - 2). Let m = 31 + -25. Which is smaller: j or m?
j
Let p = -2.57 + 0.57. Is p > -1/6?
False
Suppose 4*z - t + 7 = 2*t, -t + 5 = -2*z. Is z <= -4?
True
Let m = 4.9 + -4.7. Which is smaller: -5 or m?
-5
Let i = -3 + 4. Let y = 2 - i. Let p = y + -1.1. Do 4 and p have different values?
True
Let n = -8 + 11. Suppose 0*y - 24 = -2*y + n*h, 0 = -h - 4. Let s be ((-1)/2)/(y/4). Which is greater: -1 or s?
s
Let v be -7*3/9*9. Which is bigger: -22 or v?
v
Let l(t) = -t**3 + 10*t**2 - t + 11. Let m be l(10). Let h(y) = y**2 - 6*y + 6. Let o be h(5). Is m < o?
False
Let j = -0.03 - -0.02. Let v = -0.13 - j. Let u = 0.02 + v. Are 2 and u unequal?
True
Let f = -9 - -7. Let l be f*(2 - (-50)/(-26)). Are 1 and l equal?
False
Let v = 23.4 - 21. Let k = v + -2. Which is smaller: k or 0?
0
Let k be (55/21 + 0)*1. Let a = -2819/1365 + k. Let f = a - 2/13. Is -7 equal to f?
False
Let x be (-2)/(-7) - 1016/28. Let f be (x/28 - -2) + -1. Do 1 and f have different values?
True
Let u = 90 + -34. Let z be (-16)/u + 2/7. Which is smaller: 2/11 or z?
z
Let c = -3.166 - -0.066. Which is smaller: c or 1?
c
Suppose 5*o - 3*f + 11 = 0, 4*o - 2*f + 4*f = 0. Which is bigger: -3/8 or o?
-3/8
Suppose 2*s - 80 = -4*z, -2*z - 170 = -3*s + 2*z. Let u = 29 - s. Is -21 < u?
False
Suppose -3*p = 2*s + 11, -18 = 2*p + 2*s + 2*s. Let y be (-3 + (4 - 0))*p. Are y and -6/7 unequal?
True
Let s = 4 + -5. Let n(r) = r + 2. Let p be n(-3). Let k be p - (6/(-3) + 3). Which is greater: s or k?
s
Suppose -3*h = -4*g - 13, 2*g - h + 4*h = -11. Which is smaller: 4 or g?
g
Suppose -2*g + 6*g = 0. Is 1 greater than g?
True
Let p(g) = g**2 - 7*g - 44. Let u be p(11). Is u not equal to -6/37?
True
Let a = -39 - -36. Let m = 0.9 + 0.1. Let c = m - 0. Is a > c?
False
Suppose -4*b - 2*i = 10, 5*i + 1 = 2*b - 0. Let p = 2 + 0. Let a = -3 + p. Which is bigger: b or a?
a
Let q = -4 + 8. Let r = 10 - 30. Let t be (-8)/r*-1*1. Which is greater: q or t?
q
Let h(p) = -p + 4. Let k be h(0). Suppose k*y - 8 = 4. Let a = -0.3 + 0.2. Which is smaller: y or a?
a
Let l(d) = d**2 + 5*d + 4. Let n be l(-3). Let b = -29 - -26. Is n > b?
True
Suppose -12 = -4*c, 2*v - 6*v - 4*c + 28 = 0. Are 2/7 and v nonequal?
True
Suppose 0 = j + 2*j - 12. Suppose c = -j - 0. Are -4 and c nonequal?
False
Let a(p) = -23*p + 60. Let t be a(4). Is t at most as big as -1/4?
True
Let i = 1 - -1. Suppose 2*x = -i*x. Let t = x + 0. Is t less than -2/3?
False
Let s = 99 - 140. Is -41 equal to s?
True
Let k be 39 + 8/36 + 87/(-27). Which is greater: k or 35?
k
Let b = -25 + 14. Is b equal to 2/3?
False
Let h(x) = x**2 - 7*x + 9. Let s be h(6). Let g be 0 - (-1)/s*-3. Which is smaller: g or -0.2?
g
Let o = -26 - -18. Let w be (o/20)/(3 - 1). Let a = -1 + 2. Is a at most as big as w?
False
Let d = -3 + 2. Let a = 0.05 + -9.05. Let n = 9 + a. Which is smaller: n or d?
d
Suppose 2*x + 11 + 11 = 4*h, -3*h = -3*x - 18. Which is greater: x or 3/10?
3/10
Let v = 28 + -13. Suppose 4*o + n = 9, v = -3*o + 4*o - 4*n. Are 3 and o unequal?
False
Suppose -2*i - 1 + 9 = 0. Suppose -i = -2*g - 2*q + 4*q, 0 = -3*g - 3*q + 36. Let k = g - 5. Is -0.1 >= k?
False
Let d = -3 + 3. Let k be (d - 0)*(-1)/(-2). Let q = -131 - -791/6. Is k less than or equal to q?
True
Let r = 9 - 14. Let d = 5 + r. Suppose 2*z + 28 = 4*a, d = -4*a + 5*z - 10*z. Which is greater: 4 or a?
a
Let f(c) = -c**2 - 2*c - 5. Let t be f(0). Which is smaller: t or 2?
t
Suppose 0 = 4*w + 27 + 13. Let g(f) = -f**2 - 11*f - 13. Let k be g(w). Is -2 smaller than k?
False
Let f = 47.948 - -0.052. Are -2/5 and f non-equal?
True
Let j = -874/9 - -97. Which is greater: j or 1?
1
Suppose 2*g + 66 = 3*g - 3*i, -332 = -4*g - 5*i. Let t be (-6)/g*(2 + -1). Which is smaller: 0 or t?
t
Let t be 5 - -4*3/(-12). Let n(x) = x**3 - 5*x**2 + 2*x + 1. Let r be n(t). Is r equal to -3?
False
Let a be (-2)/(-1) + (-18)/(-6). Suppose 0 = -4*i - 4, -2*g + 0*i - 5*i + 5 = 0. Is a != g?
False
Let l = -14 - -24. Let i(h) = h**3 - 11*h**2 + 8*h + 4. Let u be i(l). Let d be ((-3)/(-2))/(6/u). Are -4 and d non-equal?
False
Let v = 8 - 14. Let i be (-4)/(-1) + (v - 8). Which is smaller: -12 or i?
-12
Let h be (-2)/(-4)*(-12 + 10). Is -3 less than or equal to h?
True
Suppose 76*l - 74*l = 126. Are l and 1/2 unequal?
True
Let b be 0 - (0 + 3) - -2*4. Which is smaller: b or 8?
b
Suppose -2*p + 36 = 12. Let g = -8 + p. Suppose g*k = -3*d, -4*d + 4*k = -5*d + 8. Is d at most as big as -5?
False
Suppose 2*y = 3 + 3. Let i be y*(2 - -1)/(-3). Suppose 0 = -2*j - j. Which is smaller: j or i?
i
Let c = 1.16 + -1.06. Which is bigger: c or 0.052?
c
Suppose -6 + 6 = -5*r. Is r greater than or equal to -1?
True
Let h(x) = x**2 - 4*x + 3. Let r be h(3). Let k be -2 + (-1 - (-4 - -3)). Let t be ((-12)/3)/8*k. Is t greater than or equal to r?
True
Let b(a) = a. Let z be b(4). Let c = z - 1. Let g be (-24)/(-15) - c - -1. Which is greater: g or -5?
g
Let g be (-1 + (-6)/(-8))/1. Is -1 less than or equal to g?
True
Suppose -12 = -2*j - 8. Is 4 greater than or equal to j?
True
Let f = 11366/3 + -3739. Let g = f + -51. Is g < 0.1?
True
Suppose 5*f + 0 = 3*h + 3, -1 = h - 2*f. Let u be (4/(-70))/(h/5). Let a = 188.9 + -189. Is u at least as big as a?
True
Suppose 0 = 2*p - 2, -4*t = p - 13 + 4. Let i be 66/(-15) - 4/(-10). Let x be (t/i)/(1/(-6)). Is 3 <= x?
True
Let l = -2.4 - -3.4. Is l equal to 1?
True
Suppose 5*g - 30 = -3*p, 0*p + 5*p - 19 = 2*g. Suppose p*f = 390 - 30. Let o be 38/f - 15/20. Which is smaller: 0 or o?
o
Let l = -25 - -25. Is l > 0?
False
Let y = -24 + 14. Let s = y + 9.8. Let o be (-2)/(2/(-2) + -2). Which is smaller: s or o?
s
Let x be (-1 + 2)*4/(-20). Is 1 greater than x?
True
Suppose -6*q = 3*b - q - 5, 5 = 5*q. Let g be ((-12)/(-135))/((-2)/3). Which is smaller: b or g?
g
Suppose 21*a - 24 = 18*a. Let t(v) = v**2 - 8*v - 1. Let y be t(a). Is y greater than -7?
True
Let m = -14 + 20. Which is smaller: m or 7?
m
Let j = 1.2 + -1.2. Which is greater: -7/3 or j?
j
Let y be ((-13)/5)/(-1)*(-24)/3. Which is bigger: y or -20?
-20
Let k(d) = -7*d**3 + 5*d**2 - 6*d. Let b(s) = 13*s**3 - 9*s**2 + 11*s. Let a(q) = 6*b(q) + 11*k(q). Let z be a(0). Is -2/23 less than or equal to z?
True
Let x be (1 - 2)/(5/(-20)). Which is smaller: x or 2?
2
Let p = -3 - -3. Is 14/19 at most p?
False
Let o = 35 + -31. Which is bigger: 0.1 or o?
o
Let j be (24/20)/(3/10). Let h = 4 + -2. Suppose -4*u + v - h = -v, 2*u - 2*v + j = 0. Which is smaller: 3/4 or u?
3/4
Suppose -2 = -3*r + 2*r. Let i = 3 - r. Let h = -198 + 199. Is h equal to i?
True
Let o(m) = -m**3 + 2*m**2 + 1. Let c be o(2). Which is smaller: c or -1/10?
-1/10
Let h be ((-4)/(-5))/((-4)/(-10)). Let w be (-2 + h)/(-1 + 3). Is w >= -6/13?
True
Let j = 0.27 + -0.17. Let s = -0.65 + 0.7. Let p = s - 2.05. Which is smaller: p or j?
p
Let q(m) = -3*m**3 + m - 1. Let u = 0 + 1. Let o be q(u). Let b = 0.011 - -0.989. Is o greater than b?
False
Let f(r) = -r**2 - 2. Let b be f(0). Let y be (-9)/2*(-2)/(-3). Is y at least b?
False
Let y(l) = -l**2 - 5*l - 2. Let j(f) = f**2 - 12*f - 2. Let p be j(12). Let k be y(p). Suppose 7*d - 6 = -g + k*d, 5*d - 10 = 0. Is g equal to -4/3?
False
Let x be (-2 + 2)/((-9)/(-3)). Do 3/10 and x have the same value?
False
Let g = 7 - 10. Suppose x + f = 0, x - 2*f = -4 - 5.