erivative of a**5/60 + 13*a**4/24 + 13*a**3/6 - 23*a**2. Let b be r(-4). Which is bigger: b or -25?
b
Suppose 3*o = -0 + 3. Let q = 24 - 34. Let b be 3/6 + q/36. Is b at least o?
False
Let r(g) = g**2 - 2*g + 2. Let v be 0 + 5 + -2 - 1. Let l be r(v). Suppose -z - 4*i - 4 = z, l*i = -2*z - 8. Do z and -5 have different values?
True
Let b = 28 + -59. Let n = b - -31.8. Is -7 at least n?
False
Let j = -12 - -2. Let m be (-10)/6*j/25. Is m greater than -0.2?
True
Suppose -5*o + t - 23 = 0, 0 = 2*o - 2*t - t + 17. Let w(v) = -v**2 - v - 1. Let x be w(-3). Which is smaller: x or o?
x
Let b be (9/(-6) + 1)*-2. Suppose 4*d - 9 = 15. Let z be d/8 - 341/484. Is b at least as big as z?
True
Suppose -3*i = k + 1, 0*k = 4*k - 8. Suppose -4*q + 11 = -3*q. Let h be (-36)/561 - (-2)/q. Is i greater than h?
False
Let b = 3.52 - -0.28. Let d = -2.8 + b. Suppose 2*x + 0*x - 34 = -t, -2*x = 5*t - 50. Which is greater: x or d?
x
Let o = 7.526 - 2.47. Let p = o - 0.056. Is 2/9 >= p?
False
Let l = 155 - 67. Suppose -55 = -34*z + 2903. Are l and z nonequal?
True
Let q(b) = b**2 - 9*b + 8. Let r(m) = -m**2 + 10*m - 9. Suppose 0*y + y + 6 = 0. Let h(i) = y*q(i) - 5*r(i). Let j be h(3). Which is smaller: -1/4 or j?
-1/4
Let k = 35.6171 - -0.0829. Let w = k - 34. Let a = w + -2.7. Which is greater: 1/3 or a?
1/3
Let j be 101*(-2 - 0/2). Let y be (2/j)/((-21)/(-345)). Let f = y + 2/101. Are 1 and f unequal?
True
Let x be (20 + -22)*(-4)/(2/1). Let q = 0.5 + -0.6. Let f = 0 - q. Which is greater: f or x?
x
Let x(f) = 2*f**3 - f**2 - 2*f + 2. Let y be x(1). Let m be y*(1 + 1)*-7. Let p be (2 + 0)/(m/(-21)). Is p bigger than 30/11?
True
Let i = -4 + 2.7. Let q = 1.24 + i. Which is smaller: 2 or q?
q
Let t be (-48)/(-196)*(-12)/36. Are t and -1 nonequal?
True
Let s(l) = -l**2 - 5*l + 4. Let p be s(1). Is p less than or equal to -11/5?
False
Let n = 55 - 53. Suppose 2*k + k = n*k. Which is greater: 1/42 or k?
1/42
Let h = -4/215 + -4499/860. Is -5 smaller than h?
False
Suppose 9*f = 2*f - 203. Suppose 0 = -11*s - 414 + 84. Which is bigger: s or f?
f
Suppose -6912 = -22*f - 2072. Is f at most as big as 3?
False
Let y = -1 + 1. Suppose y = 7*o + 16 + 47. Suppose z + 10 = -t, -5*z + 3*z - 5*t = 26. Which is greater: z or o?
z
Suppose -2*i - o + 9 = 0, 4*i - o - 2 - 1 = 0. Suppose -4*j - 7 = 3*r, 0*j + 4*j + 4*r = -8. Let c = i + j. Which is smaller: -2/21 or c?
-2/21
Let k be (-12)/4*((-33)/(-9) + -3). Let p be 0 - (-2 + (-30)/(-14)). Is k at least p?
False
Let r be 0/(-1) + 1 + -1. Let q = -5423/35 + 155. Is q smaller than r?
False
Let m = -245.07 - -244. Let h = m + 0.93. Is 4 equal to h?
False
Let b = 13.74 - 25.74. Let l = -3 + 4. Is l greater than b?
True
Suppose -3*v + 0*v - 12 = 0. Let c be 295 + ((-10)/3 - v). Let l = c + -292. Which is bigger: l or 4?
4
Let u be (3 - 23/7)/(1 + 2). Are 0 and u unequal?
True
Suppose -3*s + 14 = -5*q - 17, 2*q = -4. Let k = 7 + -5. Suppose k*i - s*i = 5. Which is bigger: i or -7/3?
i
Let w = -0.8 - -11.8. Let x = 0.6 - -10.6. Let l = w - x. Is 3 greater than or equal to l?
True
Let j = 48005/13233 - 151/802. Let f = 3/11 - j. Is -2 <= f?
False
Let l(a) = a**3 - 6*a**2 + 5*a - 2. Let m be l(5). Let o(w) = -13*w**2 - 6*w - 2. Let t be o(m). Are t and -41 equal?
False
Suppose 144 = 17*u + 55*u. Which is smaller: 32/55 or u?
32/55
Let y(c) = c - 12 + 11 - 12 - 12. Let q be y(13). Let w be (12/36)/(74/q). Is w not equal to -1?
True
Let m = 22822/5 + -4548. Which is bigger: -4 or m?
m
Let d be ((-12)/(-15))/(1/(47 - -3)). Let m = 77 - d. Which is smaller: m or 35?
35
Suppose -o - 12 - 9 = 5*h, 4*h + 28 = 2*o. Which is bigger: o or 9?
9
Let k = -160.2 + 160.6. Let g be (-2)/8 - (-7)/28. Which is smaller: g or k?
g
Let m(z) = z**2 + 8*z + 41. Let x be m(-15). Is 146 at least as big as x?
True
Let q(a) = -a**3 - 3*a**2 - 19*a. Let i be q(-8). Is i <= 473?
True
Let c be -4 - 1 - (-66 - -60). Is -3/287 not equal to c?
True
Suppose 0 = 3*g + 2*g - 10. Let b = -60.4 - -4.4. Let f = b - -51. Which is greater: g or f?
g
Let p = 13.11 + -13. Let j = p - -0.19. Which is smaller: j or 0.05?
0.05
Let m(w) = -w**2 - 6*w - 3. Let i be m(-6). Let b = i + 5. Suppose b*v + 2*v = 0. Which is smaller: v or -1?
-1
Let m be (4/(-10))/((-2)/120). Which is smaller: 21 or m?
21
Let a = 10/383 + -3799/101495. Do 0 and a have the same value?
False
Let c = 796 - 792. Which is bigger: c or -4.5?
c
Let g = 12155/18 - 675. Let w = -1/6 + g. Which is greater: 2/7 or w?
2/7
Let q = -120 + 122. Let j be 429/9 + 1 - q/(-6). Is j greater than or equal to 48?
True
Let h = -3.1 - -3. Let s = -979.97 + 992. Let t = 12 - s. Which is bigger: h or t?
t
Let t(j) = j**3 - 10*j**2 + 8*j + 11. Let f be t(9). Suppose 0 = -c - 4*z - f, 2 = -4*c + 3*c + 4*z. Let m = -3 - 1. Which is greater: c or m?
c
Let a be 0 + 2 + 4 + -11. Let s be 2*(-2)/((-4)/a). Let z(n) = -n**3 - 5*n**2 - 3*n + 4. Let r be z(-3). Is s less than or equal to r?
True
Let h(w) = w**3 - 9*w**2 - w + 11. Let g be h(9). Is -9 < g?
True
Let a be (-26)/3 + 696/87. Let d be (-2)/44*(-2)/(-1). Are d and a nonequal?
True
Let f = -15.4 + 3.9. Let y = f + 12. Let m = 2 - 5/2. Which is greater: y or m?
y
Let z = 16.92 + -16.9. Let j = -2.82 - -3. Let a = z + j. Which is greater: a or -1?
a
Let k(a) = -a. Let f be k(9). Let o be 7/(7/(-2)) - 7. Let u be 2/42 + 3/o. Is u at most f?
False
Suppose 0 = -7*y + 8*y. Let d be (y/(-8))/(6 + -2). Suppose u - 1 + 3 = d. Is u at least as big as -7/4?
False
Suppose -d + 2*k = -3, -15*d - 3*k = -10*d - 2. Are d and 1/1361 non-equal?
True
Let s(p) = p**3 + p - 1. Let c(l) = -16*l**2 + 17*l + 3. Let f(a) = -c(a) - s(a). Let o be f(15). Is o less than -48?
False
Let z = -346 - -689. Is 344 at least z?
True
Let z be 6/(-25)*(-4)/(-24)*52. Is -3 equal to z?
False
Let m be (-5 + (-90)/(-20))*(1 - 3). Is 6/133 at least m?
False
Let t = -0.5 - -0.1. Let n = -0.021 - -3.021. Which is smaller: n or t?
t
Suppose 24*c = 21*c + 6, i = -5*c + 505. Is i equal to 495?
True
Suppose -2751 = -5*w + 4*x, -3112 = -5*w - 4*x - 393. Is w <= 547?
True
Let r(n) = -n**3 + 9*n**2 - 10*n - 9. Let j be r(8). Let l = 23 + j. Does -7 = l?
False
Let s be 243/(-45) + 6 - 381/(-240). Is 3 at least s?
True
Suppose 11*v + 4*f - 1327 = 8*v, 5*v + f = 2189. Is 439 less than or equal to v?
False
Let h = 0.4 + 1.6. Let i = -0.04 - -1.84. Let s = h - i. Which is smaller: s or 0?
0
Let j = -2.23 - -2.13. Which is smaller: 10 or j?
j
Suppose -22*g + 18*g = 3*r - 86, -r - 4*g + 34 = 0. Is r > 27?
False
Let x(f) = f**2 - f - 1. Let n be x(0). Let w be 10/12 + (-8)/6. Which is greater: n or w?
w
Let p be 40/40 + 428/(-398). Let x = 5399/2985 + p. Which is smaller: x or 2?
x
Let h be ((-3)/(-6))/((-3)/6). Let o(r) = -5*r + 5. Let c(t) = t + 1. Let m(u) = h*o(u) - 6*c(u). Let k be m(-9). Which is bigger: -2/7 or k?
-2/7
Let c = 35 - 35.35. Let v = 0.85 + c. Is v at least 0.1?
True
Let d be 2/(-13) + (-54)/(-13). Suppose -2*p + d = 6. Suppose 2*j + 0*j = 8. Is p at most j?
True
Suppose -4*l - 2*d + 18 = -0*l, 5*l - 3*d - 6 = 0. Suppose -l*z + 5*z + 142 = -2*i, -5 = i. Do -64 and z have the same value?
False
Let j = 47/231 - 2/33. Suppose -2 = g - 3*g. Let n be (-3)/g - 10/(-3). Which is smaller: n or j?
j
Suppose -3*p - 1 = 2. Let z be (-2)/(-8) - 0 - 436/1680. Which is smaller: z or p?
p
Suppose 14*r - 8*r = -450. Is r bigger than -76?
True
Suppose 32 = -12*k - 232. Which is smaller: 5 or k?
k
Suppose -5*i + 17*i = -12. Which is bigger: i or 1/1694?
1/1694
Let k = -1086 + 850. Which is greater: 0 or k?
0
Let g = 50 - 51. Let s be 1/(6/196) + -2. Let q = s + -31. Which is smaller: q or g?
g
Let t = -301 + 462. Is t not equal to 162?
True
Suppose 0 = -40*a + 36*a - 56. Suppose 3 = -g, -16 = 2*k - 3*g + 3. Do k and a have the same value?
True
Let q = -105 + 120. Suppose -14*a - 1 + q = 0. Is 7/6 bigger than a?
True
Let t = -152/7 - -381/14. Let z be (-18)/(-6) + (-69)/21. Which is smaller: z or t?
z
Let o be (-4)/10*604/2. Let z = o + 123. Let u(w) = 6*w + 85. Let g be u(-14). Which is smaller: g or z?
g
Suppose 0 = -4*d + 2*d + 5*c + 31, c + 3 = 0. Is d >= 18?
False
Suppose 2*b + 39 = 263. Is b greater than 113?
False
Let n = 118 - 469/4. Is n smaller than -15?
False
Let w = -4/1165 + -6749/2330. Which is greater: -3 or w?
w
Let h(l) = -l +