s n less than or equal to -1?
False
Suppose v - 1 - 1 = 0. Let t(c) be the second derivative of c**4/12 - c**3/3 - c**2/2 + 2*c. Let u be t(v). Which is bigger: 0 or u?
0
Let m(p) = p**3 - 11*p**2 - 27*p + 14. Let j be m(13). Which is bigger: j or 4?
4
Let p = -35 + 25. Let b = -10 - p. Which is bigger: -4/3 or b?
b
Let a(r) = r**3 + 2*r**2 - 3*r + 1. Let w be a(-3). Let v be 3/(-1)*(-4)/6. Do w and v have the same value?
False
Suppose 11 = 5*r - 3*x + 1, x = 2*r - 4. Suppose -5*c + 5 = 4*h, -c + 2*h - r = -3. Let j be 2/(-3) + (-4)/(-15). Is c smaller than j?
False
Let k be (6/4)/(111 + -3). Which is greater: 0 or k?
k
Let a be (-6)/(-15) + 3/5. Let u be (-1 - a)*2/(-10). Which is greater: u or 3?
3
Let g be ((-3)/27)/(4/6). Let p(z) = z**3 - 9*z**2 + 1. Let x be p(9). Is g less than x?
True
Let f(y) = 4*y**2 - 30*y + 45. Let i be f(6). Let g(k) = -k + 8. Let q be g(0). Is q less than i?
True
Suppose -8 = 2*j + 2. Let b be 11/j*(-1 + -4). Which is smaller: b or 0.1?
0.1
Let n be ((-5)/(-12))/(12/(-32)). Which is bigger: -1 or n?
-1
Let l(w) = -w**2 + w. Let m be l(1). Suppose 4*t + 0 + 8 = m. Let c be t + (-3)/((-6)/10). Which is smaller: c or 1?
1
Suppose 0 = -y + 3*y - 46. Which is smaller: y or 22?
22
Let m be (4/45)/(2/5). Let o = 0.04 + 0. Which is smaller: o or m?
o
Let g be 1*(-8)/44 - 2/(-11). Do 0.32 and g have the same value?
False
Suppose -18 = -2*l - 8. Let p be 2/8*(l + -6). Let r be 7/9 + (-6)/(-27). Which is smaller: p or r?
p
Let v be 4 + 1/((-2)/6). Let g(z) = -z**3 + z**2 - z. Let l be g(v). Which is greater: -2 or l?
l
Let s(b) = b**2 + b - 1. Let x be s(-1). Which is bigger: -2/47 or x?
-2/47
Suppose 3*f + 0 + 9 = 0, 5*w - 5*f - 20 = 0. Let o be 23/(-22) - w/(-2). Is o equal to -2?
False
Let h(t) = -t**2 - 4*t - 2. Let z be h(-4). Let y(m) = m**2 + 7*m + 1. Let u be y(-6). Let c = u - z. Which is greater: -4 or c?
c
Let w = 18.14 + -18. Let h = w - 0.04. Which is bigger: h or 3?
3
Let n = -18 - -22. Let g be (-2)/n + 21/14. Let k be 2 - 2 - (-8)/14. Do g and k have different values?
True
Let u = -17.1 - -17. Which is smaller: 2 or u?
u
Suppose 0 = 4*u + 5*a - 14, 0 = -4*u + 8*u - 4*a + 4. Which is smaller: u or 2/13?
2/13
Let v = -2 + 18. Which is smaller: 0 or v?
0
Suppose o = -2*n - 1, 5*n + o + 19 = 4*o. Does n = 0?
False
Let k = -151/56 + 25/8. Are k and 0.1 unequal?
True
Let g = 1.11 + -0.43. Let b = g - 1. Let o = b - -0.02. Is -2 at most o?
True
Suppose 5*g + 12 = -4*r, 2*r + 4*g + 10 = -r. Is r less than 2?
False
Let g be (-297 + 1)*3/(-44). Let p = g + -1587/77. Which is smaller: -1 or p?
-1
Let i be 12/18 + 2/1. Which is smaller: i or 2?
2
Let w(x) = 2*x + 14. Let o be w(-7). Are 1/11 and o equal?
False
Let s be (4 - (2 - 0))*-8. Does -16 = s?
True
Let p be (3/(-54))/(1/8). Let g be (-4)/12*0 - -12. Let v = 11 - g. Which is smaller: p or v?
v
Let b(s) = 3*s + 1. Let a be b(-1). Let f = -5 + 8. Let k(z) = -2*z + 4. Let u be k(f). Is u greater than or equal to a?
True
Let h = 11 + -6. Suppose 6*j = j + h. Let l = 0.88 + -0.88. Which is smaller: l or j?
l
Let k(i) = -i**2 + 7*i + 4. Let m be k(8). Let n be 6/m*4/24. Is n < 0?
True
Let o be (48/60)/(4/10). Let w be 6/(-63) - o/(-3). Do w and 0 have different values?
True
Let y = 29 - 29. Is y greater than 1/28?
False
Suppose -30*u - 1 = -31*u. Are u and -9 equal?
False
Let v = 15/4 + -49/12. Which is smaller: v or 8?
v
Let w be (2/(-2))/((-7)/(-2)). Let f be -8*4/8 + 5. Is w != f?
True
Let a(x) = -x**3 + 7*x**2 - 7. Let m be a(7). Let f = 3 + m. Let g = 2.7 - 2.6. Is g at least as big as f?
True
Suppose 2*b + 11 - 3 = 0. Let h(r) = -4*r - 9. Let j be h(b). Is j greater than or equal to 5?
True
Let h = -23 - -16. Let r = h - -7. Is r at least as big as 7?
False
Let z = -13 + 19. Suppose -5*p + 4*r = -11, -12 = -z*p + p + 3*r. Suppose p*s + 10 = -2. Is -4 != s?
False
Let g be 12*(2 - (-5)/(-3)). Suppose -7 = 3*p - 1. Let y be p/g - 6/(-8). Which is smaller: y or -4/7?
-4/7
Let o be -2*3/(-1338)*14/(-7). Is -1 < o?
True
Let p(a) = a + 20. Let r be p(-20). Is r < -2/21?
False
Let i = -6 - -8. Suppose 0 = -7*q + i*q - 5. Is q >= 3/14?
False
Suppose 11*y + 76 = 7*y. Let z = y + 14. Which is smaller: -3 or z?
z
Let b be (-11)/((11 + -2)/(-3) - -4). Does -10 = b?
False
Let p = -3 + 4. Let j(l) = -l**3 + l**2 + l. Let o be j(p). Let y be ((-4)/(-12))/(o/(-9)). Which is greater: -5/2 or y?
-5/2
Let n = 15 - -13. Let b = n - 14. Is 14 smaller than b?
False
Suppose -5*a - p = -156, -2*a = -2*p - 103 + 31. Let w = a + -16. Suppose -3*z - z - w = 0. Is -3 greater than or equal to z?
True
Let s = 36.9 - 37. Which is bigger: -9 or s?
s
Suppose -4*i - 3*a - 56 = 0, 4*a + 11 + 16 = -i. Is -12 at least i?
False
Let s = -3 + 4. Let l = -260 - -365. Let b = l + -1786/17. Which is bigger: b or s?
s
Suppose v = -3*m + 4*v + 9, 4*v = -4*m + 36. Let i(p) = 2*p - 4. Let w be i(m). Let y = w - 7. Is y <= 1?
True
Let z = 19 - 17.7. Let b = 1.1 - z. Which is smaller: b or -0.01?
b
Let d = -8 + 8.2. Let k = -2.3 + 0.3. Which is bigger: k or d?
d
Let t = 22 + -22. Which is smaller: t or -2/11?
-2/11
Let x = 2 - 3. Let z be x - 1 - 30/(-9). Let q(o) = -o - 4. Let a be q(-5). Is z less than or equal to a?
False
Let z be ((-32)/5)/(10/(-25)). Which is smaller: 18 or z?
z
Let z = 1 + 0. Let x = -1.1 + z. Let a = 74.2 + -74. Which is smaller: a or x?
x
Suppose 2*q - q - 5*d + 33 = 0, -5*d - 32 = 4*q. Let v = q + 4. Is v less than or equal to -10?
False
Let t(m) = m**2 + 7*m + 1. Let h be t(-7). Let w = -1 + h. Is -1/3 less than w?
True
Let m = 68/45 + -10/9. Suppose -h - 265 = 4*h. Let l = h - -157/3. Which is bigger: l or m?
m
Let m be (-2)/(-3) + (-4)/6. Suppose m = -x - 26 + 11. Let z be (-18)/(-20) + 6/x. Is z greater than 0?
True
Suppose 4*i + 25 - 117 = 0. Suppose 0 = 4*y - d + i, -y - 22 = d + 2*d. Let o = y + 6. Are 4/7 and o equal?
False
Suppose -i = 52 - 12. Let u be 16/i + 22/5. Is 2 at least u?
False
Let y = -17 + 16. Which is greater: y or -3?
y
Let d(z) = 3*z + 20. Let a be d(-5). Is a bigger than 6?
False
Let w be 4/(-22) + (-385)/(-121). Which is greater: -3 or w?
w
Suppose -35 + 7 = 4*y. Let b = -15 - -7. Which is smaller: b or y?
b
Suppose 0 = 3*i + 2*k + 18, 0*i + 2*i + 5*k + 23 = 0. Which is bigger: i or -24/5?
i
Let b = 3 - 1. Suppose -5 = -2*j + 4*p - 29, -5*j + 2*p = 36. Let l be (-1)/j - 4/6. Which is smaller: l or b?
l
Let s = -4 + 6. Which is greater: -35 or s?
s
Let x be (-2)/(-5) + (-18)/(-5). Suppose 2*z - x*z = 2*g - 20, 3*z = 3*g - 6. Let u be 3 + 3/(g/(-4)). Which is smaller: 2 or u?
u
Suppose -3*u + 3 = 6, 2*u - 34 = 4*l. Which is smaller: -5 or l?
l
Let g be (-3 + -2 - 2) + 1. Let v be 2 - (-1 + (-473)/g). Let d = v - -76. Is d > -1?
True
Let n(a) be the second derivative of -a**3/6 - 3*a**2/2 - a. Let i be n(-4). Is i less than or equal to 3?
True
Let m(i) = i**3 - 4*i**2 - 10*i - 13. Let g be m(6). Suppose 4*z = 2*d - 4, -z = d - 0 - 2. Which is greater: z or g?
z
Let i(r) = r**2 - 6*r + 4. Let d be i(5). Let f be (d/(-3))/((-2)/(-12)). Suppose -f*o + 6 = -2. Are o and 3 unequal?
True
Let j = 4 + -3.3. Let g = -0.9 + j. Let m = -1 - -1. Is g greater than or equal to m?
False
Let r(y) = -2*y - 1. Let z be r(-3). Let c = z + -4. Do 1/11 and c have the same value?
False
Suppose -2*r - 5*r - 14 = 0. Which is smaller: r or -4?
-4
Suppose 7 = z - 3*p, 2*z - 3*p + 2*p - 19 = 0. Let v(l) = l - 6. Let k be v(z). Suppose 2 = 2*d - k. Is 1 bigger than d?
False
Let i = -2.29 + 3.4. Let m = -0.11 + i. Which is bigger: m or 1/5?
m
Suppose 0 = i + 5 - 21. Let j = 30.9 + -31. Is j at least as big as i?
False
Suppose 1 = 4*a - 15. Suppose 0 = v + a*v - 10. Which is greater: 1/2 or v?
v
Let d = -5 - -3. Let p = 1 + d. Let c = -473/6 - -79. Which is greater: c or p?
c
Let p be (3/1)/((-6)/(-4)). Is 3 greater than or equal to p?
True
Let f be 130/14 + (-12)/42. Let l be (-2)/f - (-48)/(-27). Let t = 1.32 + -0.32. Which is smaller: t or l?
l
Let d = 5 - 7. Let r = -3 - d. Let y = -10.6 - -10.63. Which is bigger: y or r?
y
Suppose -5*d = -4*d. Let y be 40/(-51) + 20/30. Which is smaller: d or y?
y
Suppose 31 = a - 5*g, -3*a + 3*g - 62 = -5*a. Suppose 3*f - 5*z = -z + a, -f - 3*z = 7. Which is smaller: f or 4?
4
Let i(l) = 3*l**3 + 2*l**2 - l. Let r be 21/28 - (-2)/8. Let w be i(r). I