?
True
Let s = 15 + -8. Are s and 2 non-equal?
True
Let s(i) be the first derivative of i**3/3 - 3*i**2/2 + i + 1. Let m be s(2). Is -1 <= m?
True
Let n = 2 + -9. Let q(s) = -s**3 - 8*s**2 - 8*s - 6. Let c be q(n). Suppose 2*u - 5 + c = 0. Which is bigger: 1/2 or u?
u
Suppose -3*y - 2*y + 40 = 0. Let n = -13 + 15. Suppose n*z - 6*z = -y. Is 2 less than z?
False
Let r be (-17)/(-4) - (-1)/(-4). Is 3 bigger than r?
False
Let h = -4 - -7. Suppose 0 = -x - 4*d - 11 - 7, 2*d + 24 = -h*x. Let v be (1/(-3))/((-3)/x). Is v bigger than -1?
True
Suppose 2*r + n = -0*r + 7, 0 = -r + 4*n - 10. Let b = 7 + -4. Is b <= r?
False
Let f = -0.035 - -0.235. Is 0.4 <= f?
False
Let y = -5 - -4. Let d be 1 + (27/(-12) - y). Is -1 at most d?
True
Let x(d) = 2*d - 16. Let a be x(-5). Which is greater: a or -25?
-25
Let y be 2 + (2/(-1) - -1). Let w = y - 3. Let z = 0 + w. Is z != -1?
True
Let k(n) = -n**3 - 5*n**2. Let i be k(-5). Suppose -3*q - 18 + 3 = i, -3*b = -3*q - 27. Suppose -b*u + 17 = -0*v + 3*v, -2*v = u - 8. Is v <= 2?
False
Suppose 2*u = 3*u - 72. Is u bigger than 71?
True
Suppose 3*y - 2*x = 17, 2*y - 4*y - 4*x = 10. Suppose y*w = 7*w. Suppose 0 = -4*a + 5*i + 6 + 5, -10 = -2*a + 4*i. Are w and a nonequal?
True
Let t(i) = -i**3 - i**2 + 2*i - 1. Let d be t(-2). Is -2/23 bigger than d?
True
Suppose -i - 4*u + 2 = -1, -4*i + 12 = -u. Suppose -w - i = 2*w. Is -3 <= w?
True
Let o(c) = -c**3 + 2*c**2 - 1. Let r be o(1). Let z = 2/21 + -85/231. Which is greater: z or r?
r
Let r be (4/(-150))/((15/18)/(-5)). Is -1 less than r?
True
Let i = -2 + -8. Suppose 0 = -6*t + 36 - 102. Which is greater: i or t?
i
Let f = -3 + -1. Let b be (-2)/4*6 - f. Which is greater: 3/4 or b?
b
Let t = 12 - 6. Let x = t - 6. Let s = 3 - 3. Is s at least as big as x?
True
Suppose -16 = -b + 2*b. Let q = -7 - b. Let o be 16/18*q/12. Do 0.5 and o have the same value?
False
Suppose 4*k = 8, 3*k - 14 = 4*h - 2*k. Which is smaller: h or -1/51?
h
Let y = -0.1 - 0. Let f = 0.1 + y. Let h = -9 + 10. Is h at least as big as f?
True
Let q(f) be the third derivative of f**8/20160 + f**7/1260 - f**6/144 + f**5/30 + 2*f**2. Let w(m) be the third derivative of q(m). Let v be w(-4). Does -5 = v?
True
Suppose -3*d + 8 = x, 5*d - 2*x - 25 = -6*x. Let q = 2147/20 - 133/4. Let k = q - 74. Is d greater than k?
True
Let z(h) = h**3 - h**2 + 5. Let k be z(0). Suppose 0 = 2*b - f + 14 + k, -4*f - 12 = 3*b. Which is smaller: -7 or b?
b
Let z = -2 - -2.2. Is z equal to 1/12?
False
Suppose -c = 1 + 1. Let b be (1 + 0)/(9/(-12)). Which is smaller: b or c?
c
Let n = 1 + 1. Let s = 2 + -2. Which is greater: n or s?
n
Let i = 0.2 + -0.4. Let h = -0.3 - i. Let w be (-1)/(-2) + (-7)/2. Is w at most as big as h?
True
Suppose 2*o - 6*o - t - 10 = 0, 4*t = 5*o + 2. Do o and -9/7 have different values?
True
Let y = 27 + -27. Is y less than or equal to -1?
False
Let c(y) = 2*y**2 + 3*y + 4. Let w(a) = -3*a**2 - 5*a - 7. Let s(u) = 7*c(u) + 4*w(u). Let l be s(1). Suppose 14 = 2*v + 2. Is l < v?
True
Let c(b) = -b - 3. Let a be ((3 + 1)*1)/(-1). Let r be c(a). Is r less than 0?
False
Let z be (2/3)/(30/(-36)). Suppose -2 + 0 = -3*q + 2*x, -x - 1 = 3*q. Let g(k) = k - 2. Let o be g(q). Which is smaller: z or o?
o
Let a = -0.19 + 0.29. Is 0 greater than or equal to a?
False
Suppose -3*n + 5*g = n + 8, -3*n = 2*g + 6. Suppose -20 = 2*c + 4*x, 2*x - 1 = -9. Is c <= n?
True
Let x be ((-12)/30)/((-24)/10). Which is smaller: x or 2?
x
Let b = -8.1 + 7.1. Suppose -2*o - 2*o = 0. Which is smaller: b or o?
b
Let s = 85 - 20. Which is smaller: s or 66?
s
Let q(u) = -2*u**3 - 5*u**2 + 7*u - 1. Let x(r) = 4*r**3 + 9*r**2 - 13*r + 2. Let h(j) = 11*q(j) + 6*x(j). Let y be h(1). Is 1 >= y?
True
Suppose 12*f = 8*f + 4. Is 3/4 >= f?
False
Let g be (-1 - (-16)/(-3))*-5. Let l = -31 + g. Which is smaller: -1 or l?
-1
Let c(r) = 8*r - 27. Let o be c(3). Let i(m) be the second derivative of -3*m**5/20 + m**3/3 - m**2/2 + m. Let a be i(1). Is o bigger than a?
False
Suppose 0 = 2*h + 5 + 1. Let o(j) = 2*j + 3. Let y be o(h). Let r = y - -2. Is -1 greater than r?
False
Let o = 17 + -25. Let g be (0 - 2)*o/4. Suppose -3*p = p - g. Which is greater: p or 1/6?
p
Let t = 0 + 2. Let p(m) = 0*m**3 - 6*m**3 - t*m - 4*m**2 + 5*m**3. Let h be p(-3). Which is bigger: -0.1 or h?
-0.1
Let z = -61/78 - -3/26. Suppose 3*w - 2 = -q - 0*w, -2*q + 2*w = 4. Which is smaller: z or q?
q
Suppose 12*v - 10 = 7*v. Which is bigger: v or 5?
5
Let m be (-1)/(-2) - (-15)/(-10). Let c(h) = 5*h**3 - 2*h**2 + h. Let b be c(1). Suppose -5*t - 4 = -b*k - t, -3*k = -2*t. Which is greater: k or m?
m
Let w = 24.4 + -27. Let g = -0.4 + w. Let j = -0.4 + 0.4. Is g >= j?
False
Let i = -53 - -50. Which is smaller: -1 or i?
i
Suppose 4*b = 4*q + 4, -2 = -2*b - 8*q + 3*q. Which is greater: 1/32 or b?
b
Let k(j) be the second derivative of j**3/6 + j**2/2 - j. Let a = 4 - 9. Let m be k(a). Which is bigger: -2 or m?
-2
Let c = 0.28 + -0.33. Let d = c + 0.15. Let i be (-1)/(-1)*(-1 + 1). Is i at least d?
False
Let m = 10 - 9. Which is smaller: m or 2?
m
Let p = 19.4 + -19.3. Is -77 equal to p?
False
Let j = 47.6 - 53.6. Let x = -2 + 3. Let h = 2 - x. Is h at least j?
True
Let s = 20 - 15. Let j = s - 4. Which is smaller: j or 6?
j
Let y = -34 + 36.12. Let z = y + -0.12. Do 1/2 and z have the same value?
False
Let t(i) = i**3 + 4*i**2 - i + 2. Let n be t(-5). Let g be n/7*2*-7. Let k be (-35)/g - 12/(-54). Is 0 at least k?
True
Suppose 10 = -o + 6. Which is smaller: -6 or o?
-6
Let u = 6.1 - 6. Let k(f) = f - 2. Let g be k(-3). Let c = 8 + g. Is c less than or equal to u?
False
Let f = 4 + -5. Let w = 9 - 6. Let y = w - 2.7. Are y and f nonequal?
True
Let y = -9 - -9.5. Let t = -4.4 + y. Let i = t - 0.1. Is i at least as big as -2?
False
Suppose 2*p + 2 = -2, -2*x + 82 = 3*p. Let c be ((-2)/(-8))/(x/(-16)). Let o = -1 + 0. Which is smaller: o or c?
o
Let z = 7461/650 + -150/13. Which is smaller: z or 0?
z
Let b = -1915/8 + 239. Let p be ((-3)/2)/(1/2). Let j = p + 3. Which is bigger: j or b?
j
Suppose -1 = 3*v - 4*v. Suppose -10 = 4*d + 5*l, -11 = -2*d + 4*l - 3. Is v at least d?
True
Suppose -15 = -4*q + 1, j = -3*q + 35. Suppose -4*b = -3*i - j, i - 2*b + 6 = -b. Is 5 > i?
True
Let m = -2152/9 - -5201/18. Let p = 16457/330 - m. Is p at least 1?
False
Let j be 8/6 - (-2)/3. Is 3 less than or equal to j?
False
Let f be 3 - 1 - (-1 - 0). Let q be (2 - f)/1*-2. Let y = q + -3. Which is smaller: -3 or y?
-3
Let b(r) = r**3 + 4*r**2 - r - 2. Let f be b(-4). Suppose f*n - 8 - 4 = 0. Suppose n*u = 4*u. Are u and -2 nonequal?
True
Let g = -0.5 + 0.4. Let d = 2.1 + g. Let b = 27 - 26. Which is bigger: b or d?
d
Suppose k + 3*j = 16, j - 6 = -k + 3*j. Let m be 14/k - 14/(-14). Is m at most as big as 2?
False
Suppose 4*u = -2*m - u, 0 = -2*m + 5*u. Let p be 5/(-2) - 3/6. Let w(n) = n**3 + 2*n**2 - 5*n - 3. Let c be w(p). Is m at least as big as c?
False
Let x(l) = -l**2 - l - 1. Let g(j) = -j**3 + 10*j**2 + 5*j + 9. Let s(b) = g(b) + 6*x(b). Let v(a) = 3*a**2 + a. Let f be v(1). Let d be s(f). Is d < -1?
False
Suppose -g - j - j + 26 = 0, 4*j = -16. Which is bigger: 35 or g?
35
Let i = -46007/81 - -568. Let y = i - 245/162. Which is greater: y or -1?
-1
Let s = -154 - -146. Let w be (2 - 3)/((-2)/4). Which is smaller: s or w?
s
Let a = -0.07 - -3.07. Let j = 3.2 - a. Is 2 < j?
False
Let i(c) = 2*c + 2. Let q(j) = j + 1. Let f(w) = 2*i(w) - 5*q(w). Let k be f(-2). Which is smaller: 1/13 or k?
1/13
Let r(t) = -t**2. Let i be r(-1). Let j = i + -1. Which is bigger: j or -3?
j
Suppose -o - 7 = -4. Let h be ((-15)/20)/(2/8). Is h < o?
False
Let x be 56/(-90) + 2/5. Let g(b) = b**2 + 9*b. Let t be g(-10). Let s = t - 11. Which is bigger: x or s?
x
Let r(d) = d**3 - d**2 - d - 14. Let x be r(0). Is -14 at most x?
True
Let d = 16 + -16.7. Let s = d - 4.3. Let f = -3 - s. Is -2/9 <= f?
True
Let s = 17 - 36. Is 1 at least s?
True
Suppose -1 = 3*m + 8. Which is bigger: m or -1?
-1
Let j = -34 + 35.3. Let h = -0.3 + j. Let y = 40.2 + -40. Which is bigger: h or y?
h
Suppose -8 = 2*a + 6. Let j be 2/(-7) - 2/a. Suppose -4*w + 5*v - 26 = j, 3*w + 6*v + 8 = 4*v. Is w less than -5?
False
Let c = -7178/22451 - -48/157. Which is smaller: c or -1?
-1
Let u = -0.48 - 0.48. Let f = u + -0.04. Is -1/2 at least as big