 h(2). Let d be (-2)/(-11) - (-25)/(-198). Are y and d equal?
False
Let j(v) be the first derivative of 2*v**3/3 - v**2 - 2*v + 3. Let s be j(2). Suppose 2*c - 4 = -s*w, 0 = 4*c - 3*w + w + 16. Which is smaller: -4 or c?
-4
Let v = -6 + 14. Suppose -2*o - o = -4*t + v, -2*o - 6 = -3*t. Is o bigger than 1?
False
Let m = 56/15 - 698/195. Suppose 8 = -k - 0. Let p be k/(-12)*(-3)/2. Is m at least p?
True
Suppose -25*z + 8*z = 680. Which is greater: z or -77/2?
-77/2
Let w = 3 + 1. Let r be 0 - 14/18 - 9/(-9). Which is greater: r or w?
w
Let b be 2/(-8)*-2 + (-45)/114. Which is smaller: -1 or b?
-1
Let g = -42 + 85/2. Let d(t) = -t**3 + t**2 - 4. Let o(j) = j**3 - j**2 + 3. Let r(c) = -3*d(c) - 4*o(c). Let y be r(0). Is g >= y?
True
Let o(i) = -8*i + 3. Let m be o(-5). Which is smaller: m or 42?
42
Let p(f) = -f + 4. Let g be p(2). Suppose 3*k + 26 = -y, -y = -k - g*k - 28. Is -9 equal to k?
True
Let z be (-2)/(-11) - 97/(-11). Let v = z - 5. Suppose p = -5*b + 18 - 0, -p = v*b - 14. Which is bigger: 3 or b?
b
Let p be (-51)/15 - (-2 - 1). Let x = p - -13/20. Is -5 smaller than x?
True
Suppose 3*o = 5*w + 2 + 5, w = 4*o + 2. Which is smaller: w or -1?
w
Suppose 5*x = 3*k + 149 - 52, -k + x - 31 = 0. Let f be k/(-102) - (-8)/(-48). Suppose 0 = -3*i - 0*a - 5*a + 18, 2*a - 6 = 0. Do i and f have the same value?
False
Let i = 23/12 + -1/6. Which is greater: 3 or i?
3
Let q = -50 - -54. Is q != 2?
True
Let z(t) = t**3 + 3*t**2 - 3*t + 2. Let j be z(-4). Let n(g) = -g**3 + g**2 + 3*g + 3. Let a be n(j). Is a <= 8?
False
Let h be (4/6)/2*-1. Let c be 2/(-6)*2*-3. Let k be (-3)/(c*6/(-8)). Which is bigger: k or h?
k
Let b be (-5)/15*(-12)/26. Which is bigger: 1 or b?
1
Let t = -1.93 + -1.07. Let c = 1 - 0. Is c >= t?
True
Let u = 0.03 + -0.13. Let g = 52/51 + -6/17. Is u at least g?
False
Let r = 282 - 279.09. Let c = r - 3. Which is smaller: c or 2?
c
Let o = -14 - -13. Which is greater: 2 or o?
2
Let o = -108 + 60. Are -49 and o nonequal?
True
Let x = 28 - 27. Let k = -211/30 - -36/5. Is k at least x?
False
Let w = -2 + -1. Let g = -3 - w. Let h be 2/5 - (2 - 2). Is g >= h?
False
Let b = -0.03 - -0.09. Let s = -0.16 + b. Is s at most 1/4?
True
Let g be (-2)/(-9) - 112/(-63). Suppose -4*r + 5*c = 8, -c - g + 0 = -2*r. Which is smaller: 4 or r?
r
Let w(p) = -p - 2. Suppose 3*c + 12 = -3*n, 3*n - 3 + 13 = -c. Let s be w(n). Is s smaller than 1?
False
Suppose -4*c - 2*u = -22, 0*c = -c - u + 8. Suppose b = -4*b + h + 20, -5*b - 5*h + 20 = 0. Is c not equal to b?
True
Suppose -2*v = 3*t - 5, -3*v + t - 2*t + 4 = 0. Let y be v/(-1) + 15/12. Is y bigger than 6?
False
Let p = -6 + 3. Let k(b) = -b - 1. Let d be k(p). Let o be -1 + (-8)/(-3) + -1. Is d at least o?
True
Let m(r) = 2*r**3 - 3*r**3 - 2*r**2 - 7*r - 3*r**3 + 6 + 5*r**3. Let a be m(4). Is 10 at most as big as a?
True
Let f be (-18)/14 - (-6 - -5). Let x(h) = -h**2 - 5*h + 7. Suppose -2*j - 16 + 4 = 0. Let m be x(j). Which is smaller: f or m?
f
Suppose -g = 4*a - 135, -2*a + 5 = 2*g - 61. Which is greater: a or 31?
a
Let a be ((-2)/(-3))/(20/(-170)). Which is bigger: a or -5?
-5
Let b(s) = s - 6. Suppose -3*h + 45 = -45. Suppose 6 - h = -3*a. Let g be b(a). Which is smaller: 3 or g?
g
Let u = 2.68 + 0.32. Are -0.1 and u unequal?
True
Let f be 12 - (2 - 8) - (-2)/1. Which is greater: f or -1/3?
f
Suppose -2 + 10 = h. Let k be 2/h + 5/(-4). Let u = -15 - -13. Is u less than or equal to k?
True
Let t be (-3 + 1)/(6/27). Let p be t/6*(-1)/(-12). Are p and -1 equal?
False
Suppose z + 3 = 4*i - 41, -3*i - 5*z + 10 = 0. Let y = -158 + 333/2. Which is bigger: y or i?
i
Let v = -10 - -10. Suppose -3 = -j + a, 2*j + 3 = 2*a + 3*a. Let q be j/(-9) - (-1)/3. Which is smaller: q or v?
q
Let f = -2/27 + -28/351. Suppose -3*s = -4*u + 14 + 4, -3*s = 6. Let z be (-1)/u - (-4)/84. Is f less than z?
False
Let f = 2 - 3. Let i = -2.3 - -0.9. Let r = i - 0.6. Is r != f?
True
Let n = 31061/203 - 153. Does n = 1?
False
Suppose -10 - 5 = -z + 5*h, 0 = z + 5*h + 35. Let u(s) be the second derivative of -s**5/20 - 5*s**4/6 + s**2/2 - s. Let m be u(z). Are 1 and m unequal?
False
Let l = -0.55 + -15.45. Which is smaller: l or 0?
l
Suppose 4*k + 0*k - 27 = -3*c, -c - 10 = -5*k. Let d = c - 5. Suppose d = 2*g + 3*g. Are g and 0 unequal?
False
Suppose 4*h + 3 = -9. Is 2 less than or equal to h?
False
Let u be 4/(-18) - 908/(-36). Let a = 51/2 - u. Which is greater: a or -1/2?
a
Let v = -3157/49416 + 17/232. Are -1 and v nonequal?
True
Let d = 4 - 3.7. Let w = 0.6 + -1.6. Which is smaller: d or w?
w
Let d(i) = -i - 13. Let b be d(-13). Is b greater than 4?
False
Suppose 3*y = 5*h - 51, 42 = 4*h - 3*y - 0*y. Suppose -4 = 3*m - 31. Is h bigger than m?
False
Let a = -0.01 - 1.99. Let b = 5 + a. Let x = -2 + b. Is -2/3 greater than or equal to x?
False
Let o be (12/(-824))/((-3)/(-4)). Is o >= 1?
False
Let f = 517 + -396.1. Let u = f - 126. Let q = u + 5. Is q != -0.3?
True
Let u be 780/6 + -2*2. Let y = 245723/7 - 34977. Let r = u - y. Which is smaller: -1 or r?
-1
Suppose 0 = -3*y - 4 + 1. Let j = -921/5 - -183. Are j and y unequal?
True
Let i be -2 + (-15)/5 + 4. Are -3/2 and i equal?
False
Let x be 4/2 - (-2 + 0). Suppose 3*t - t = 0. Suppose t = 4*h - o + 2*o - 6, o = -2. Is x less than h?
False
Let j = 10 + -5. Let f be 2*((-3)/(-2) + 1). Is f <= j?
True
Let q(x) = x**2 - 8*x + 6. Let w be q(8). Let m be (-42)/(-10)*1/w. Let a = -1/5 + m. Which is smaller: 2 or a?
a
Suppose 42 = 3*b - 12. Suppose -3*o - 3*t = b, -5*o = -0*o - t. Is -3/4 > o?
True
Let d = -4.3 - -4. Let y = d + 0.2. Let h be 0 + 3 - 6/3. Which is smaller: h or y?
y
Let g(w) = 2*w**3 + 3*w**2 + 6*w - 3. Let j(c) = -c**3 - c**2 - 3*c + 1. Let v(k) = -4*g(k) - 7*j(k). Let r be v(-4). Which is smaller: r or -1?
-1
Let m be 0 + (0 - 1)*-2. Let o be 1/(3 - (-4)/(-2)). Let w be 1*o/(1 + m). Are w and 2 unequal?
True
Let l be 0 - 1/8 - 0. Let w(n) = n**3 + 3*n**2 - 2*n - 4. Let a be w(-4). Let y be a/30 + 6/(-10). Are y and l equal?
False
Suppose 4*s - 23 = -43. Which is greater: -21 or s?
s
Let p = 23.3 - 23. Which is bigger: p or -5/4?
p
Suppose 2*p + 15 = 7*p. Let c be 1*((-2)/(-1) - p). Suppose -5*q = i + 25, 2*q + 10 = -i - 3*i. Are i and c equal?
False
Let x be (20/10)/(2/(2 - 3)). Let w = -60 + 418/7. Are w and x unequal?
True
Let z = 0.04 - -0.16. Let h(q) = q**3 + 5*q**2 + 2*q - 2. Let x be h(-4). Is z bigger than x?
False
Let u = 8 + -8. Suppose -i = -3, 0 = 3*y - 2*i - u*i - 15. Is y bigger than -2/5?
True
Let k(r) = r - 4. Let g be k(8). Suppose 0 = 2*w + 4, 0*u - 20 = g*u + 4*w. Which is bigger: u or -0.2?
-0.2
Let r(b) = -b**3 + b**2 + b + 3. Let y be r(0). Suppose h - 10 = y*h. Let f be (h/(-15))/((-2)/(-24)). Is 5/2 less than or equal to f?
True
Let h be (-1)/(-3) + 28/(-92). Which is bigger: 0 or h?
h
Let d(q) = q**3 + 7*q**2 + 6*q - 2. Let x be d(-6). Suppose 4*t - 7 = -79. Let v be (3/(-9))/((-4)/t). Is v equal to x?
False
Let x = -12 + 11.4. Let k = 2.52 + -0.12. Let f = x - k. Which is bigger: f or 0.1?
0.1
Let i(d) = d**3 - 7*d**2 + 6*d + 6. Let j be i(6). Suppose -b = -j*b - 35. Which is bigger: b or -8?
b
Let w be (-4)/(-10)*15/18. Are w and 0 unequal?
True
Let o = 218.7 - 202. Let f = 16 - o. Let y = f + -3.3. Which is smaller: y or 2/5?
y
Let r = 0.03 - 1.03. Let p = 4 + r. Let g = p + -3. Which is bigger: g or 1?
1
Let x = 10 + -9.9. Let n = -0.2 + x. Which is smaller: -2 or n?
-2
Suppose 0*q - q = 0. Suppose -2*k - 3*k - 10 = q. Which is smaller: 0 or k?
k
Suppose 100*u = 99*u. Let z be 0 - -1*2/2. Is z greater than or equal to u?
True
Let b be (-2)/(-6) - (1 - 1 - -1). Is -2/77 > b?
True
Let s = 0.4 - 0.5. Let d be (-7)/(-22) + 4/22. Which is smaller: s or d?
s
Let j be 12/9*3/(-7). Let r(u) = u + 7. Let a(w) = -3*w**2 - 3*w - 2. Let v be a(-2). Let f be r(v). Are j and f nonequal?
True
Suppose -16 = -4*x - 4*n, 3*x - 6*x + 3*n - 6 = 0. Let f = -3423/10 - -342. Is x not equal to f?
True
Let z(h) = -h**2 - 8*h + 8. Let y be z(-9). Suppose 2*q + 6 = 2*s + s, 2 = s. Let r be -1*(-1)/(-5 - q). Which is bigger: r or y?
r
Let o be 2*(6 + -2 + 1). Let j = -4 + o. Suppose 3 = -3*u + k, 0 = -2*u + k - j*k - 19. Is -2 at most u?
True
Let f = 0.5 - 0.4. Let p = f + 0.4. Let d = p - -0.5. Is d bigger than 0.1?
True
Let c = -0.35 + 0.05. Let l = 4.90