ivative of y**6/120 - y**5/6 + 7*y**4/24 + 3*y**3/2 + 9*y**2. Let f be q(9). Are f and -8 non-equal?
True
Let z = 8 - 12. Let a(x) = -x**3 + 11*x**2 - 11*x + 7. Suppose 2*h + 2*h + 3*v = 34, 3*v + 6 = 0. Let i be a(h). Which is smaller: z or i?
z
Let o = 5345/6 + -888. Which is smaller: 2 or o?
2
Let m = 0.65 + 0.35. Which is smaller: -13/5 or m?
-13/5
Let b be -3*(1/(-3))/((-4)/(-708)). Let c = b - 1589/9. Is c greater than or equal to 2/3?
False
Let d be 2 + 15 + 0 + -2. Suppose -5*g - 4*v + d = 0, -1 = -3*g - 2*v + 6. Let l be (-9 + 1)/(-4) + (-24)/11. Which is greater: g or l?
l
Let s = -23 + 34. Suppose 5 = -5*z + 40. Let o = 4 + z. Is o smaller than s?
False
Let a = 68.3 - 65. Let m = a - 6.3. Which is bigger: m or -4?
m
Let x = 482 - 483. Which is smaller: x or -6?
-6
Let w(f) = f**3 + 13*f**2 + 8*f - 26. Let m be w(-12). Are m and 20 equal?
False
Let c = 22 - 36. Let a be (4 - c)*1/(-2). Is a at most -11?
False
Let i = -8 - -16. Let h be i/6 - (-2)/(-6). Suppose -3*b + 12 = 3*q, 3*q + 2*q = -b + 24. Is h bigger than b?
True
Let g = 71 - 67. Suppose 13*n - 9*n = -g. Is n > -2.6?
True
Let n = -10 + -8. Let b = -17.9 - n. Is b at least as big as -7?
True
Let w = -8.1 + -3.9. Let o = 13.1 - 0.1. Let r = o + w. Do r and -0.3 have the same value?
False
Let c = 1602 + -1583. Let q = 32.5 - 2.5. Let o = c - q. Is 1 greater than o?
True
Let g(s) = -s - 15 + 3 + 8. Suppose 3*o + x + 4*x + 3 = 0, -4*o = x - 13. Let i be g(o). Do -6 and i have different values?
True
Let d(m) = m**2 - m + 1. Let n be d(0). Let v = -54 + 78. Let p be v/(-42) + 92/210. Which is greater: p or n?
n
Let u = 0.51 - 0.61. Which is bigger: u or 86?
86
Let o = 15/2 + -7. Let s = 18 + 2. Suppose l + s - 22 = 0. Which is smaller: o or l?
o
Let d = 71 + -71.76. Let h = d - -0.66. Does h = 9.1?
False
Let w = -36 + 36. Suppose w*k + 51 = 3*k. Is 16 <= k?
True
Let l be (-46)/10 + 6/10. Let a be (l - 18/(-5)) + 0. Which is greater: a or -1?
a
Let s(a) be the second derivative of a**4/12 + 11*a**3/6 - 13*a**2/2 - 6*a. Let b be s(-12). Which is smaller: -5 or b?
-5
Let f = 33 - 34. Let l be ((-2)/(-10) + f)/(14/70). Is l at least as big as -1/3?
False
Let u = -565.9 - -567. Which is smaller: u or -9?
-9
Let i = -60 + 29. Let x = i - -20. Which is smaller: x or -9?
x
Suppose -4*d - 2*z - 72 = 0, 4*d = 2*z + z - 82. Let x = 175 - 175.1. Is d >= x?
False
Let w = -324 + 368. Which is smaller: w or 46?
w
Let c = 4887 - 4906.91. Let z = 508 + -488. Let r = z + c. Which is bigger: r or 0.1?
0.1
Suppose -2*d + 4033 = -269. Let h = 187139/87 - d. Which is greater: h or 0.2?
0.2
Let q be (-86445)/6936 + 1/(-8). Which is smaller: q or -12?
q
Let d(q) = q**2 - 13*q + 46. Let c be d(6). Let h be c/8 - 57/66. Which is smaller: 0 or h?
h
Let k = 27.75 - 27. Let s = k - 0.713. Is 1 < s?
False
Let r(o) = -2*o**3 - 36*o**2 + 23*o - 287. Let d be r(-19). Let g be 0 - -1*249/2. Let i = g + -1761/14. Are i and d non-equal?
True
Let h be (-32)/(-176) - 2/11. Is h greater than or equal to -1/953?
True
Let r = -35.5 + 43.3. Is r greater than or equal to 1?
True
Let q be (-8 - 344432/(-16401)) + -13. Is 0 at most q?
True
Let r be (-7 + 41)/((-8)/4). Does r = -26?
False
Let t be (-7)/(28/(-12)) + 10/5. Suppose 0 = -6*f + 2*f + 5*h + 24, -5*f + 4*h + 30 = 0. Let c = f + t. Which is smaller: c or 10?
10
Suppose 7*t - 10 + 3 = 0. Let b be (14/12)/((-2)/(-3)). Which is smaller: t or b?
t
Let c = 56 + -28. Let o = -37 + 66. Which is bigger: o or c?
o
Let k(i) = -8*i + 18. Let r be k(4). Let h be r/21*(-13)/(-3). Which is smaller: h or -2?
h
Let l be ((-2)/36)/((-1)/(-1)). Let x be (-4 - -2 - -3)*9 + -2. Suppose -x*r = -9*r. Is l < r?
True
Suppose 0*p = -2*p - 146. Which is smaller: p or -72?
p
Let s = 9 - 5. Suppose -17*w - 28*w = -21*w + 5*w. Is w bigger than s?
False
Let y = 43 + -38. Suppose -5*t - 4*x = 46, 6*t - y*t + x = -9. Do t and -3 have the same value?
False
Let k(m) = -m - 3. Suppose 0 = -2*p - 1 - 3, x - 4*p = 5. Let z be k(x). Are 1 and z unequal?
True
Let p = 28 - 41. Let g = p - -12.2. Let v = g + -8.2. Is -0.1 greater than or equal to v?
True
Suppose p = -4*j + 10, -p - j = -0*j - 4. Let q be ((-171)/114)/((-10)/6). Which is smaller: q or p?
q
Let f(x) = x**3 - 7*x**2 + x + 1. Let v be f(7). Suppose h + 4*b - 12 = 0, -5*h = 2*b - 15 - 27. Let z = -1 + h. Are z and v non-equal?
True
Let u = -354 - -384. Which is smaller: u or 61/2?
u
Let f be (-38)/(-16)*2 + (-34)/(-136). Suppose -2 = -4*p + f*c, p = -2*p - 2*c + 13. Is 1 at most as big as p?
True
Let r = 70 + -563/8. Let j be (-25)/(-15) + 4/(-90)*33. Which is bigger: j or r?
j
Suppose 0 = -5*j - 13 + 3. Let k(p) be the second derivative of p**3/6 + p**2/2 - 2*p. Let v be k(-3). Is v at least as big as j?
True
Let u(x) = 4*x**3 - 54*x**2 - 27. Let h be u(13). Which is greater: -363 or h?
-363
Suppose -14*x + 3*h = -16*x + 22, 4*x = 4*h + 64. Which is smaller: -5 or x?
-5
Let r be 2 + -6 + (-18 - -1). Suppose -p - 4 = -0. Let g be r/p - 21/28. Is 4 at most g?
True
Let k = -15 + 19. Let v be k/(-14) - 484/(-224). Let q = v - 181/88. Is -1 > q?
False
Let d be (-1 - (22 + 0)) + -1. Let r be ((-12)/d)/(-2*(-6)/4). Is r at least as big as 1?
False
Let z be ((-3)/(-42))/((-2)/20). Let d(u) = -4*u - 45. Let h be d(6). Let o = h - -68. Is o >= z?
False
Let a be 2/(-2 - (-144)/70). Let h be 5 + (-4)/4 + -2. Suppose -h*g - 4*v = -66, 2*g + v - 50 - 19 = 0. Is g < a?
False
Let j = 0.3 - 16.3. Let h = -2495 + 2479.09. Let d = j - h. Do 1 and d have the same value?
False
Suppose 56*x + 942 = -1298. Are x and -36 unequal?
True
Let q = -409 - -436. Are 23 and q unequal?
True
Suppose -1042*a + 22 = -1043*a. Which is smaller: -6 or a?
a
Suppose -5*x - 7 = c, 2*c - 4*x = -0*x - 28. Let u be ((-8)/c)/(39/9). Which is bigger: u or 1?
1
Suppose 50 = 4*k - 2*k. Suppose -k*b + 22*b + 12 = 0. Let u be (-2 - -5)/(4/8). Are b and u nonequal?
True
Let u = 151 - 159.3. Let d = u + 8.3. Is d < 22?
True
Let i = -1380 + 1381. Is -18/101 bigger than i?
False
Suppose 0 = 14*g - 5*g. Is 5/131 < g?
False
Let f be (-16)/9 + (-12)/54. Let u be f/(-4)*4/1. Is u smaller than 1/2?
False
Let x be (-3)/(-5) - (-5595)/(-75). Let q = -64 - x. Which is smaller: q or 12?
q
Let l = -2.52 - -2. Let w = l - -0.62. Is -1/9 not equal to w?
True
Suppose -66*q + 55*q - 88 = 0. Which is bigger: -4 or q?
-4
Suppose -17*t = -6*t + 22. Which is smaller: t or -31/10?
-31/10
Let s(t) = -t**2 + 42*t + 333. Let z be s(49). Let d be (44/(-7))/(6/9). Which is smaller: z or d?
z
Let p(l) = 3*l**3 + 3*l**2 + l. Let n be p(-1). Let f be 3*(-14)/63*n*3. Which is greater: f or -1?
f
Suppose x = 4*y - 939, 3*x - 838 = 5*y - 2003. Let l = 6841/29 - y. Is l at least as big as -1?
True
Let f = 34 + -172/5. Let k(u) = -17*u - 2. Let a be k(-1). Suppose -a*c = -14*c. Is c at most as big as f?
False
Let z = 3.19 - 2.93. Is z at least -0.1?
True
Let r = -16 + 27. Let v = -11 + r. Suppose v*f = -f - 9. Which is smaller: f or -8?
f
Let w = 324 + -177. Suppose -15*v - 633 = w. Is v at most as big as -53?
False
Suppose 15 = 5*k, 0 = 2*z - 3*z - 3*k + 128. Is z != -2/7?
True
Let k(i) = -37*i + 50. Let w be k(4). Is w >= -99?
True
Suppose 6*f = 9*f + 141. Let x = 46 + f. Are x and -1/56 unequal?
True
Let h = 701.42 - 702. Which is smaller: h or 4?
h
Let a = -27 + 29. Suppose -2*b - g - 5 = 0, 2*b - 6*g = -a*g + 10. Let v = 223/5 - 45. Which is bigger: b or v?
v
Suppose f - 5*d - 28 = 0, 7 = -4*f + 2*d + 29. Let t = 7 - 13. Let x be (-14)/t - (-6)/9. Is x greater than or equal to f?
True
Let f = -14 + 10. Let g be (-4 - (-52)/16)*f. Let v be g*(-4)/(-6)*-9. Is v >= -17?
False
Suppose -2*c - c = s + 4, -16 = 2*c + 4*s. Let y = -1945/4 + 21387/44. Which is bigger: c or y?
c
Let x = 169 - 169. Is 228 > x?
True
Suppose 0 = -2*l - 14 - 4. Let x(v) be the second derivative of v**5/10 + v**4/3 + 2*v**3/3 + 3*v**2/2 - 22*v. Let b be x(-2). Which is greater: l or b?
b
Let b = 146 + -146. Is -2/427 at least b?
False
Suppose 5*v + 191 = -4*w + 26, -2*w - 10 = 0. Let l = v + 33. Is 3 less than or equal to l?
True
Suppose 4*h + 4*b - 15 = 13, h = 2*b - 2. Let q be (h/3)/((-8)/(-12) + 0). Are 11/6 and q equal?
False
Let w(a) = -a**2 - 4*a - 1. Let o be w(-3). Let m be o/10 - (-273)/35. Suppose -2*s = -2*y - 18, 38 = 5*s - 4*y - m. Are 9 