(h) = h**2 - 3*h - 2. Let t be q(4). Let b(c) be the first derivative of 2*c**3/3 - c**2 - c - 8. Let d be b(t). Do d and 4 have different values?
True
Let w = 5 + -4.93. Let d = -225.93 + 227. Let v = d - w. Is v greater than or equal to -3?
True
Let s be 1 + 0 + (-5)/4. Let a = -1/8 - 11/40. Which is smaller: a or s?
a
Let j be (-1)/27*12/(-3). Which is smaller: 1 or j?
j
Let n = 4.68 + 3.2. Let t = n - -0.12. Let m = t + -8. Is m bigger than 0?
False
Suppose 1 = -4*g + 5. Let j be (2 + 0)/(g/6). Let p be (j/18)/(4/(-18)). Is -4 less than or equal to p?
True
Suppose 6*m - m + 3*k + 14 = 0, 0 = m + 3*k - 2. Suppose -8*n + 5 = -3*n. Let q be (-3 - -5) + -2 - n. Which is smaller: m or q?
m
Let g(a) = 2*a - 24. Let p be g(12). Let f = -1 + 2. Let i = 0 + f. Is p smaller than i?
True
Suppose 2*f + 5*g + 23 = 0, f - 5*g + g = 21. Which is bigger: -1/143 or f?
f
Let g = 0.05 + 0.25. Let v = g - 0.5. Let u = 0.8 - v. Which is smaller: u or -0.1?
-0.1
Suppose -2*p = -7*p + 5. Let j = -7 - -2. Let q = j + p. Does q = -4?
True
Let s = 45 + -32. Let m = -13 + s. Is m at most 4?
True
Let t = 0 + -1. Let o = -244/4379 - 2/151. Is t at least o?
False
Suppose 3*y = 5*y + 2*w + 12, 0 = 2*y + w + 7. Let i = -260/63 + 32/9. Is i at least y?
True
Let p = -0.6 + 0.3. Do p and 0.2 have different values?
True
Suppose 4*v - t - 60 = 44, 4*t + 11 = v. Let j be 21*-3*3/v. Is j bigger than -7?
False
Let k(n) = 2*n**3 - 3*n**2 + n - 1. Let u be k(2). Suppose -f + 2*d + 3*d = 10, -30 = -3*f - u*d. Which is greater: 6 or f?
6
Let h be ((-8)/(-12))/(2/30). Let j be 0 + 0 - -2 - 1. Suppose -j = -3*p - h. Are -2 and p equal?
False
Let l = 5 - 5. Suppose l = k + k. Let r = -1.9 - 0.1. Is r at least k?
False
Let h = 1 + -3. Let f be -2*3/6 + -2. Let j be 1*f - (-5)/2. Is h > j?
False
Let x(y) = -3*y**2 + y + 7. Let w be x(0). Let i(f) = 5*f**3 + f**2 - 1. Let s be i(1). Suppose a - 38 = -s*j, -3*j = -2*a + a - 26. Is w bigger than j?
False
Let d be (2 - 0)/(2/(-3)). Suppose 4*w = 2*l - l + 14, 2*l + 5*w + 2 = 0. Let k = l - -3. Is k less than or equal to d?
True
Let z = 13.92 - 14. Let h = z - -3.08. Let j be (-2)/14*1*-2. Are h and j unequal?
True
Suppose 2*s - 7*s - 4*p - 130 = 0, -47 = s + 5*p. Which is smaller: -21 or s?
s
Suppose 5*c + o + 3 = 0, 0*c - 3*c + 9 = -3*o. Suppose c*f = -5*f. Is f greater than 0?
False
Let q = -11 + 10. Do -2 and q have different values?
True
Let h be 1 + 0/(-5) - (1 - 1). Which is smaller: h or -1/168?
-1/168
Suppose -287 = 2*n + 571. Let i = n - -2998/7. Which is smaller: i or 0?
i
Let u = -14 - -10. Suppose 0 = -2*c + 24 - 0. Suppose -5*f - d - 8 = 0, -f = f - 4*d + c. Is u equal to f?
False
Let n = 644/5069 + -10/137. Which is bigger: -1 or n?
n
Let w = -75 - -12. Is w less than -63?
False
Let f = 9 - 6.3. Let l = -0.7 + f. Does l = -0.2?
False
Let v be 2*(4/6)/(-2). Let f = 0.3 + -0.38. Let g = f - -0.28. Is v bigger than g?
False
Let r(h) = h - 2. Let j be r(4). Suppose 4*d + 20 = -j*n, -3*d = -7*d - 20. Which is smaller: -1/2 or n?
-1/2
Let r = 13.1 + 2.9. Let x = 16.1 - r. Which is bigger: x or -3?
x
Let h = -5.85 + 6. Let a = 0.01 - 0.01. Which is smaller: a or h?
a
Let q = -7 + 12. Let n = q + -5.4. Let f = 0.4 + n. Which is smaller: 4/3 or f?
f
Let w(h) = -h - 1. Let q(r) = 3*r + 2. Let f(g) = -3*q(g) - 8*w(g). Let l be f(3). Which is greater: l or -0.02?
-0.02
Suppose -24 = 2*k - 12. Which is greater: -1 or k?
-1
Suppose -4*d + 15 = d. Let k = -8113/2 + 4219. Let m = 166 - k. Which is smaller: d or m?
d
Suppose -34 = -0*f - 5*f + 4*w, -5*f + 3*w = -33. Let u(k) = -7*k**2 - k + 4*k + 4*k - 8 + k**3. Let d be u(f). Is -2/3 smaller than d?
False
Suppose 4*q = -z + 20, 0 = 5*q + z - 5*z - 25. Suppose -s - q*d = -28, -6*s - d = -4*s - 20. Suppose 0 = -3*y - 5*v - 10, 0*v = -3*y + 4*v + s. Is 0 <= y?
True
Let p = -95 - -142. Let u = -189/4 + p. Which is bigger: u or 0?
0
Let h(n) = n**2 - 7*n - 5. Let o be h(8). Which is greater: 1 or o?
o
Let u = -8 - -12. Suppose -5*z = -2*n - 7, z - u*z = -4*n - 7. Let w be ((-72)/(-15))/4 - 1. Is w at most n?
False
Let f be (1/(-3))/(2/(-42)). Let v be (-2 + f/3)/1. Let q be 1 - 1/(4*1/20). Which is bigger: v or q?
v
Let m = -2 - -1. Let x = 216 - 1725/8. Which is greater: m or x?
x
Suppose h - 30 = 5*c + 64, -h = 3*c + 58. Are c and -19 equal?
True
Let c = 2.41 - -0.09. Let v = -2.5 + c. Is v less than or equal to 0.1?
True
Let w = 37 + 71. Let n = -1189/11 + w. Which is greater: n or 1?
1
Let j = -11.1 + 10.76. Which is smaller: j or -0.1?
j
Suppose -2*c + 15 = c. Suppose c*y = -4*b - 5, 4*b = -y - 3*y. Is 4 > b?
False
Let t = -0.37 - -0.37. Which is greater: 4 or t?
4
Let a be 1/1 + -3 - -1. Let y = -199645/118734 + -2/5397. Let f = y + 2/11. Which is greater: f or a?
a
Let r(u) = u**3 - 7*u**2 + 2*u - 8. Let g be r(7). Let j(k) = k**2 + 4*k - 5. Let y be j(-5). Is g smaller than y?
False
Suppose 0 = 9*r + 44 - 8. Do r and -5 have the same value?
False
Let q(b) = b**2 - b. Let i be q(-1). Suppose 0 = -l - h - 4, -7*h + 4 = i*l - 2*h. Let c = 7 + l. Is -5/4 > c?
False
Let u = 46 - 31. Suppose -2*a + 3*c - 4 - 2 = 0, 0 = -5*a + c - u. Which is smaller: -10/3 or a?
-10/3
Suppose 10*c - 11*c = -40. Let d be c/24*2/130. Which is smaller: -1 or d?
-1
Let q = 112 + -169. Let z be (-2)/(-8) + q/36. Let v = z + 2. Which is bigger: v or -1/7?
v
Let l(z) be the third derivative of -z**8/20160 + z**7/840 + z**6/80 + z**5/30 + 2*z**2. Let s(x) be the third derivative of l(x). Let o be s(8). Is o > -7?
False
Let q(t) = -t**2 + 5*t - 3. Let g be q(4). Let c be 1/g*2 - 0. Does 2 = c?
True
Let n be 134/(-68) - (2 + -4). Let q = n + 65/102. Which is greater: q or 1?
1
Let w(b) = -b**3 + b**2 + b - 3. Suppose 3*s - 3*h = -6, -4*s - 2 = 2*h - 3*h. Let m be w(s). Is -4 >= m?
False
Let i be (-6)/3 + (8 - 3). Let x be i - 0 - (-3 + 5). Are x and -1/7 unequal?
True
Let s be ((-50)/(-3))/5*(-12)/(-115). Is 0 greater than s?
False
Let p(y) = 2 + 1 - y + 2*y - 2. Let m be p(1). Let f be m*(9/6 - 2). Which is bigger: f or 0.1?
0.1
Let a = -203/792 + 3/88. Let z = a - -13/18. Are 0 and z non-equal?
True
Let l be (2/(-4))/(7/2). Let r(w) = w**2. Let a be r(-1). Is l at least a?
False
Let y be 2 + (-5)/4 - (-10)/40. Which is smaller: y or -2/123?
-2/123
Suppose d + 9 = -5*i - 8, 3*d + 4*i = -7. Suppose -2*p + 6*p + 12 = 0. Let u be (-13)/(-3) - p/(-9). Do d and u have different values?
True
Let o(b) = 2*b + 5. Let d be o(-5). Let k = 7 + d. Is k at least 1/2?
True
Let w be (-2)/9 - (-2)/9. Let b be (-4 - -2)/(-2) + w. Is 1/5 at least as big as b?
False
Let k = 135 - 132. Which is greater: k or -26?
k
Let b(k) = -6*k + 10. Let d be b(4). Suppose 0*m = 3*m. Which is bigger: d or m?
m
Let y = -2069/10 + -259/10. Let g = y + 232. Let k = -2/15 - g. Is k greater than or equal to 2/5?
True
Suppose 0 = 5*f - 15, -2*w + 2*f + 27 = 3. Does w = 14?
False
Let d(a) = a**2 - 3*a + 3. Let c be d(2). Let y = -10/23 - -256/483. Which is smaller: y or c?
y
Let n be 0/4 + 1*9. Let w be (-4)/(-18) + (-11)/n. Let d be 6/9 + w - 0. Which is greater: 1 or d?
1
Suppose -3*y + 12 + 0 = 0. Suppose -y*d - d = 0. Which is smaller: d or 2?
d
Let i = 14 + -11. Is -1/4 >= i?
False
Suppose 5*k + 29 = a, -16 = 3*k - 5*a - 3. Let y be (3/9)/(2/k). Let r = 141 - 990/7. Which is bigger: r or y?
r
Let z = -130 + 235. Is z less than 105?
False
Let d = -7 - -6.97. Let b = d - -2.03. Let z be (2 - -1)*(-2)/2. Is z > b?
False
Suppose 6*d - 3*d - 3*r - 96 = 0, -125 = -4*d + 3*r. Which is bigger: 30 or d?
30
Let w = 2017/4 + -507. Which is greater: 1 or w?
1
Let f be (0 - (-18)/(-14)) + 1. Let d be -2 + 1 + -3 + 4. Let i = d - -2. Which is smaller: f or i?
f
Let u = -44 - -221/5. Let g be 3 + -3 + 3*4. Suppose 5 = -5*a - q - 2, 0 = 2*a + 5*q + g. Is u <= a?
False
Let i = -0.4 - -0.3. Let l = 0.4 - -0.8. Let v = -1.3 + l. Is v at most i?
True
Suppose z = -3*z - 2*y + 6, -y - 3 = 0. Suppose -4 = -3*l - z*p - 19, 0 = -5*l - 3*p - 15. Let m = 29 + -59/2. Which is greater: m or l?
l
Let o be (-66)/105 - (-1)/5. Is o < 0?
True
Let z(s) = 6*s + 2. Let c(g) = -7*g - 1. Let n(k) = -5*c(k) - 6*z(k). Let f be n(-10). Suppose -4 = -q - f. Which is greater: q or 1/2?
q
Let y = 4.9 - 5. Which is greater: -35 or y?
y
Let y be (-6)/45 - 272/210. Let o(v) = -v**3 - 6*v**2 + 8*v +