3 + 6*s**2 - 5*s - 1. Suppose -7 - 1 = -2*h. Let v be c(h). Does 11 = v?
True
Suppose -2*r + 8 = -2*t, 3*r + 9 = -5*t - 3. Is r < 1/17?
False
Let h = 10 - 10. Let q = -1 + h. Is 0.8 at most as big as q?
False
Let u = 1 + -2. Let m = u - -1.02. Let y be (44/(-165))/((-4)/6 - 0). Are m and y nonequal?
True
Let k(b) = b**2 - 6*b + 5. Let h be k(5). Suppose h*d = 5*d - 25. Suppose 5*i - 2 = -d*q + 4*i, 3*q = i + 6. Which is smaller: 0 or q?
0
Suppose 0 = -2*s - 2*s + 4*z + 4, 0 = 5*z + 10. Let t(n) = -4*n**3 - 2*n**2 - 2*n - 1. Let r be t(s). Suppose -3*o + 12 = -0*o. Is o smaller than r?
False
Suppose 0*t + 18 = 3*t - 3*m, 0 = -2*t - 5*m - 23. Which is smaller: t or -2/87?
-2/87
Let n(s) be the second derivative of -s**5/10 - s**4/12 - s. Let c be n(-1). Which is smaller: c or 2/21?
2/21
Let z(m) = -m**2 - 13*m - 7. Let p be z(-13). Let q(w) = -2*w**2. Let r be q(-1). Which is bigger: r or p?
r
Let n = 3 - -4. Let x(d) = -d + 9. Let m be x(n). Is m less than or equal to 5?
True
Suppose -39 = 9*i + 4*i. Which is smaller: i or 7?
i
Let q(a) = a**3 - 2*a**2 - a - 5. Let f be q(0). Is f less than -4?
True
Let u(o) = -14*o**2 - o. Let v be u(-2). Let g be 1 - 1*(-70)/v. Let n = -14/27 - g. Which is bigger: 1 or n?
1
Let h be 5*((-32)/10 - -2). Let p be (10 + h)/((-22)/(-1)). Is p not equal to 2?
True
Let c = 179 - 2329/13. Let t be 1/(-3) + -2 + 2. Are t and c unequal?
True
Suppose -s + 4 = 0, -5*p + 14 = -2*p + 5*s. Let a = -5 - p. Let i be a + 1 + 72/38. Is 0 bigger than i?
True
Let p = -0.04 - 0.05. Let x = p + -0.07. Which is bigger: -0.1 or x?
-0.1
Let x = -76 + 381/5. Let o = -13/15 + x. Is o at most as big as -1?
False
Let v be ((-3)/(-9))/(5/(-3) + 2). Which is bigger: -1/17 or v?
v
Let z = 43 - 127/3. Let a be 2 + (-4 - (-3 + 1)). Is z bigger than a?
True
Let f be 4/(-144) - 4/18. Is 24 less than or equal to f?
False
Suppose 0 = -7*n + 2*n. Let l = -1 + n. Let b = 2 + -2.1. Which is smaller: l or b?
l
Let a = -2.9 + 3. Let o = 97 - 871/9. Which is smaller: o or a?
a
Let y be ((-3)/2)/((-567)/(-168)). Is 0 > y?
True
Let v(o) = -o**3 + 7*o**2 + o - 3. Let n = 7 + 0. Let p be v(n). Suppose -3 - 13 = 3*d - 4*k, -k = -4*d - p. Which is bigger: d or -1/5?
d
Let q = 0.11 + -4.11. Suppose -c = 2*u + c + 8, u = 4*c + 11. Let y = 1 + u. Is q smaller than y?
True
Let a = 44.1 - 44. Is -0.31 greater than a?
False
Suppose 1 = -4*q - 3. Let b be (4 + -7)*(-2)/(-10). Which is greater: b or q?
b
Let r be 11 - (1 - 3/(-3)). Suppose -3*i + 6 = -r. Which is bigger: i or 6?
6
Let u = 1/9 + -13/36. Do 1.2 and u have different values?
True
Let u be 489/33 - (-2)/11. Suppose k + u = 6*k. Which is bigger: k or 4?
4
Let w be (-2450)/(-18) + (-1 - 0). Let g = 135 - w. Which is greater: g or -1?
g
Let f(v) = -v**2 + 2*v + 1. Let y be f(2). Let w be (-11)/(-4) - (-4)/16. Which is smaller: w or y?
y
Let m be (3/2)/(6 - 0). Suppose -4*j + u = -3 + 4, 3*j - 13 = -2*u. Which is bigger: j or m?
j
Suppose -g + 2 = 2*s + 4*g, 5*g + 1 = s. Suppose -h + 5*a - 3*a = -10, 4*a = h - 20. Do h and s have the same value?
False
Let c(p) = p**2 + 3*p - 5. Let s = 5 + -1. Let x = 0 - s. Let v be c(x). Is 2/11 greater than or equal to v?
True
Let f be 0 + 3 + 0 + 1. Suppose l + f = 2. Which is smaller: l or -3?
-3
Let j = 2.06 - -0.64. Let z = 1.7 - j. Which is smaller: -2 or z?
-2
Let s = 0.4 - 0.7. Let l = -0.1 + 0.1. Let d = l - -0.1. Is d > s?
True
Let x = -2 + 6. Suppose -9*s - x = -5*s. Is -2/5 > s?
True
Suppose -5*z = 5*w + 150, z = -z + 3*w - 60. Let k be z/12 + (-2)/4. Let m be 38/(-14) + (-2)/7. Is k >= m?
True
Let h be 7/(588/(-32)) + 3. Let r = h + -16/7. Are r and -1 non-equal?
True
Let z be 88/(-77) - (-2 - -3). Which is bigger: -1 or z?
-1
Let a be (0 + -2)/(-2 - 0). Let j(q) = q**3 + 3*q**2 - 4*q + 2. Let f be j(-4). Are a and f non-equal?
True
Suppose -3*f + 6 + 2 = -2*x, -3*f + 3 = 3*x. Let j be -4 + (-74)/(-24) + 1. Is j greater than or equal to x?
True
Let q = -140 - -4199/30. Which is greater: q or 0?
0
Let d be (-2)/2*(4 + -1). Let m = 9 + d. Let q be (6/4)/(m/(-8)). Which is smaller: q or -1?
q
Let q = -2.1 + 2. Let v be (-10)/55 + (-45)/55. Is v greater than or equal to q?
False
Let z = 136 - 135. Suppose 0 = -q + 1. Let n be (1 - 1)/(q/1). Does z = n?
False
Let j be 3/(-45)*2*50/(-24). Which is smaller: 1 or j?
j
Let m(w) = -10*w**3 - 2*w**2 + 1. Let r be m(-1). Let u(y) = -3*y - 25. Let l(z) = 2*z + 13. Let f(o) = -5*l(o) - 3*u(o). Let s be f(r). Is s less than 1/5?
False
Let g(p) = -2*p**2 - 7*p + 2. Let r be g(-4). Is r at most -2?
True
Suppose 5*y - 2 = 2*h + 11, 2*h = y - 9. Let l = 0.04 - -2.96. Let j = -2.9 + l. Which is smaller: h or j?
h
Let n = -14 - -21. Let v = n - 4. Let y = v + -4. Which is smaller: y or 0.1?
y
Let x = 8.9 + -9. Which is greater: x or 1/3?
1/3
Let p(c) be the third derivative of c**5/60 - 5*c**4/24 + c**3/2 + 3*c**2. Let g be p(4). Which is bigger: g or 0?
0
Suppose 0 = 4*p - 3*p. Let c = -75 + 376/5. Let j = -9/95 + c. Are p and j unequal?
True
Let h = 23 + -10. Let l(q) = -q**2 + 13*q + 5. Let k be l(h). Is k at least as big as 5?
True
Let i be 8*((-99)/(-81) - (-2)/(-9)). Which is smaller: 6 or i?
6
Let h(c) = 3*c**2 + 7*c + c**2 - 5 - 5*c**2. Let s be ((-6)/18 + (-10)/(-3))*2. Let r be h(s). Which is smaller: r or 2?
r
Suppose -2*u + 216 = -10*u. Do u and -29 have the same value?
False
Let w be (-1 - -2)*(-3 - -6). Suppose 7*r - 3*n = 4*r - 12, -10 = 2*r - w*n. Suppose -4*o - 11 = 1. Is r bigger than o?
True
Let g be (-3348)/9240 + (-4)/(-10). Let n = g + -6/55. Which is greater: 1 or n?
1
Let u be -2*(-188)/8*-1. Which is smaller: -48 or u?
-48
Let s = -53 + 19. Is -34 at most as big as s?
True
Let q = 4350 - 21586/5. Let d = -33 + q. Which is greater: -1/2 or d?
d
Let q = -2.29 + -0.01. Let p = -3.3 - q. Let i = 0.03 - 0.09. Does i = p?
False
Let g = -1 + 3. Suppose -g*x + 4*m - 17 = 1, -3*x = m - 1. Which is bigger: x or 1?
1
Let d(i) be the first derivative of 3*i - 1/2*i**2 + 2. Let p be d(5). Which is smaller: -2/3 or p?
p
Let u be (-2 + 2)/(-2) + -1. Let l be -5 + u - (-7 + 7). Let y be -2*3*(-1)/l. Which is smaller: 1/4 or y?
y
Suppose -15 = -2*q + 1. Let g(p) = -p**3 + 9*p**2 - 7*p - 4. Let f be g(q). Suppose 0 = 4*c - 20, 0 = f*m - 6*c + c + 9. Which is smaller: m or -1?
-1
Let g = -0.132 + -1.768. Is g not equal to -0.1?
True
Let t = -23 + 22.8. Which is bigger: t or -2?
t
Let f(d) = -d**3 - 4*d**2 - 3*d. Let i be f(-2). Which is bigger: -7/12 or i?
-7/12
Let u(b) = 2*b**3 - 2*b**2 - 3*b + 3. Let f be u(2). Is 4 at least f?
False
Let c(a) = -a - 6. Let u(l) = -6*l - 29. Let z(n) = 11*c(n) - 2*u(n). Let s be z(10). Is 2 smaller than s?
False
Let t be (-5)/(-15) - (-14)/(-12). Do 0 and t have different values?
True
Let u = 0 + 0. Let h = 2 + u. Which is greater: h or 1/5?
h
Let v = 4.3 + -4.4. Let x be -1*(-4 + 2)*-3. Let h be 1 + -1 + 4/x. Is v less than or equal to h?
False
Suppose 3*j = -6 + 15. Suppose -j*l + 47 - 2 = 0. Let p = -11 + l. Is 4 bigger than p?
False
Suppose -2*r = 2*r + 12. Let l be (r/(-1) - 2)*5. Suppose -l*d + 4*q = 21, -2*q + 1 = -7. Which is greater: 1/5 or d?
1/5
Let q(z) = 9*z**2 + 1. Let r be q(1). Suppose -2*y = 3*y - r. Let x be (-1 - 1)/(2/(-3)). Which is smaller: y or x?
y
Let b = -0.82 + 1. Which is smaller: 0.1 or b?
0.1
Let s = -2 - -1. Is s equal to 0.26?
False
Let n = -7 + 8. Let u be 10/45*6/(-8). Do n and u have the same value?
False
Let p be 2/(-11) + (-40)/22. Do 0.2 and p have different values?
True
Let f = -421 - -449.7. Let x = 27 - f. Which is greater: x or 0?
0
Let i be 4/10*(-10)/(-12). Let g = 49.66 + -49. Let x = g + -0.06. Which is smaller: x or i?
i
Let u be 5/((-50)/(-4))*25. Suppose -5*q + 3*q = u. Is q greater than 2?
False
Suppose 0 = -2*t + 5*t. Let q = -6 + 8. Suppose t = 2*r + q*r - 4. Which is smaller: r or 2?
r
Let w = -22 - -26. Which is smaller: w or -0.1?
-0.1
Suppose -l - 16 = m, -2*m + 0 = 4*l + 56. Let p = -15 - l. Is p at most -17/4?
False
Suppose 0*d - 20 = -5*d. Let l be (-10)/45 - d/(-18). Is l greater than -2/19?
True
Suppose t - 1 = 3*d - 2, 5*d - 11 = 4*t. Suppose 0 = 8*q - 4*q + h - 41, -35 = -5*q + 2*h. Suppose 5*u + 5*m = -5, -u = 2*m - 5*m + q. Which is greater: t or u?
u
Let m = -10 - -19. Let z = -8.8 + m. Let y = z + 0.1. Is -2 <= y?
True
