 t**5/120 + t**4/24 - 2*t**3/3 + 2*t**2. Let y(m) be the first derivative of k(m). Let d be y(1). Which is smaller: 3 or d?
d
Let h = 17 - 21. Let w = 5 + h. Which is bigger: w or -3?
w
Let j(b) = 6*b - 32. Let r(k) = 2*k - 25. Let t be r(15). Let o be j(t). Which is bigger: -14/11 or o?
-14/11
Suppose -10940 = -27*q + 7*q. Which is smaller: q or 549?
q
Suppose 32 = 3*o - 5*u, -5*u - 63 = -4*o - 27. Let f be (11/(-7) + (-6)/14)*-24. Suppose o*k - k - f = 0. Is 16 greater than or equal to k?
True
Let c(k) = -k**2 - 8*k + 1. Suppose 0 = -14*q + 12*q - 16. Let u be c(q). Suppose -5*h - 19 + u = -4*t, -5*t - 4*h = -2. Is t greater than 10/13?
True
Let r = -1740 - -810. Are -2 and r unequal?
True
Let x be 12 - 3*2/6. Suppose 7*b = x*b + 4. Let m be -1 - (44/(-9))/(-4). Are b and m equal?
False
Let x = 78 - 62. Let l = -5 + x. Is 10 at most l?
True
Let g(i) = -i**2 + 8*i - 3. Let j be g(5). Let k be 8/j*(-6)/14. Suppose r = -4*f + 3, -3*r + 10 - 1 = 0. Is f equal to k?
False
Let u = -15.6 - -16.7. Which is smaller: u or 1/3?
1/3
Let b = 45 + -8. Suppose 215 - 35 = 5*p. Which is smaller: b or p?
p
Suppose -22 = l - 30. Let o be (((-20)/l)/5)/(3/2). Let t = -10.1 + 10. Which is smaller: t or o?
o
Let f be 540/135 - ((-1)/(-1) - -5). Does 63 = f?
False
Let z = -752/2275 - -4/175. Do z and 1 have different values?
True
Suppose 5*w - 5 = -3*k, 4 = 10*w - 6*w + 2*k. Let r(j) = -3*j - 15. Let v be r(-10). Let n be 12/v*20/8. Is n equal to w?
False
Let h = 14.1 - 12. Let k = -2 + h. Let a = 0.4 - k. Which is greater: -3 or a?
a
Let v = -0.1 - 0.9. Let w = 106 - 103. Let s be 2/10*5/w. Is s less than v?
False
Let y(i) = i**3 - 3*i**2 - 7*i + 5. Let s be y(5). Let g = s - 31. Let m = g - -13. Do 4/5 and m have different values?
True
Suppose -p - 13 = -4*x - 2, 0 = 2*p - 2. Suppose -2 = -r + x. Let q be ((-2)/r)/((-1)/5). Which is smaller: 5 or q?
q
Let u(b) = -b + 5. Let v be u(4). Suppose -5*f + v = 11. Let m be (-5)/10 + 3/f. Is m greater than -3?
True
Let d(y) = 5*y - 20. Let s be d(4). Which is greater: -1/19 or s?
s
Let l = 6.8 + -7.2. Are l and 8 equal?
False
Suppose 7*z + 36 = 10*z. Let d = z + -33. Let g be d + 4 + (-4 - -2). Is -18 <= g?
False
Let t = 0.038 - 0.238. Let z = 0.3 + -0.2. Let j = z - t. Which is smaller: j or 2/15?
2/15
Let q = -124.8 + 125.606. Is q > 1?
False
Let l be 12/(-8)*-4*3353/42. Do 478 and l have different values?
True
Let y = -9.6 - -11.4. Let o = 9.4 + -11. Let n = y + o. Is n less than -0.5?
False
Suppose -2*f + 89 = 79. Suppose -1 = f*b - 4*b. Is b bigger than 1/45?
False
Suppose -2*m = -2*f - 3 - 15, 5*m = -2*f - 32. Let u be (4/(-30)*-27)/((-12)/40). Let d = f - u. Which is smaller: d or 1/18?
1/18
Suppose 0 = -2*v + 6*v - 8. Let i be 101/17 + (-47)/(-799). Does v = i?
False
Let d(x) = -15*x - 2. Let h be 5 + (44/77)/((-4)/(-14)). Let g be d(h). Do g and -107 have different values?
False
Let l be (444/(-3256))/((-150)/(-8)). Are l and 1 nonequal?
True
Let b = -25 - -12. Let l be (-295 - -298)*1/(-3). Are l and b nonequal?
True
Suppose 11 = x - 5*t, -5 = -2*x + 3*t + 3. Let d = -157 - -1101/7. Let n = d + -17/35. Is n less than x?
True
Let c(d) = -6*d**3 - 15*d - 14*d**2 - 21 + 13*d + 5*d**3. Let z be c(-14). Is z at most as big as 29/4?
True
Let k be (-28)/(-154) + (-4)/22. Suppose k = -2*r - 3 + 7. Suppose 0 = 5*n + 7 - r. Which is smaller: n or 1?
n
Let k(b) = 2*b**3 - b**2 - 20*b - 4. Let c be k(5). Which is greater: c or 118?
c
Suppose 0 = -2*x + 9*x + 784. Let v = x + 113. Do -2/135 and v have the same value?
False
Let t = -0.231 - 0.044. Let u = 0.045 + t. Are u and 2/3 equal?
False
Let b be 42/(-231) - 194/22. Do b and -79/9 have the same value?
False
Let x = -179 + 889/5. Let j = x + 19/20. Do j and 0 have different values?
True
Let f be 0/((-3*2)/(-3)). Suppose f = -4*j - 4*i + 3 - 19, -j - 10 = 3*i. Is j less than -2?
False
Let b = -239/1407 - -5/67. Let r(z) = -2*z**2 + 16*z - 13. Let s be r(6). Suppose s*i = i. Which is smaller: i or b?
b
Suppose -l + 209 = -211. Let v = 10497/25 - l. Which is bigger: 1 or v?
1
Suppose 0*o = 4*o + 16, -t + 72 = 2*o. Let z be (-3)/6*9*(-30 + 13 + -1). Which is smaller: t or z?
t
Let m(x) = x**2 - 14*x - 8. Let u be m(20). Suppose -14*h - u = -7*h. Is -16 equal to h?
True
Let z(t) = -t**3 + 5*t**2 + 4*t + 4. Let d be z(5). Let a = -18 + d. Let s be (16/3)/(2/a). Which is bigger: 17 or s?
17
Suppose 0*u - 4 = 2*u. Let b be 3/15 + (-4)/4. Is u at most b?
True
Let z be (-14)/(-4)*(10/(-35))/(-1). Is z not equal to 3/409?
True
Suppose -5*p = -65 + 10. Suppose 0 = f - 34 - p. Suppose -4*c + 3*x + f = -2*x, 0 = c - 4*x - 14. Which is smaller: c or 9?
9
Let f = -2115 - -1772. Is f less than or equal to -343?
True
Let g = 125/2 + -2873/46. Suppose -5*t + 0*j - 7 = -2*j, -4*t - 2 = 2*j. Which is greater: g or t?
g
Let s be ((-168)/63)/(25/(-4)). Let g = -6/25 - s. Let v = 10 + -15. Are g and v nonequal?
True
Suppose -3*z = -z - 4. Let j be (-75)/6 - 3/z. Let o be (6/12)/(j/(-4)). Which is smaller: o or 0.1?
0.1
Suppose -4*g + 50 = 254. Let d = 76 + g. Which is smaller: d or 26?
d
Let c = 0.12 - 1.12. Let k = c - -1. Let m = -3 - k. Which is greater: 1 or m?
1
Suppose 14*z = 4*n + 15*z - 912, -213 = -n - 4*z. Which is greater: n or 230?
230
Let d be (-4 - (-894)/(-78)) + -3. Is -17 > d?
True
Let d(m) = -5*m**3 - m + 2 + 2*m**2 - 1 + 3 + 4*m**3. Let s be d(2). Suppose s*a + 0*a + 20 = 0. Is -10 > a?
False
Let b = -111 - -5103/46. Let h = b + -157/414. Let g = 0.2 - 0.3. Are g and h non-equal?
True
Suppose 5*t + 5*f = -1575, -129 + 144 = -3*f. Is -310 at least t?
True
Let j = 3.4 - -2.6. Let v = -4 + j. Which is smaller: v or 0.6?
0.6
Let j(d) = d**2 + 8*d - 6. Let o be 7/((-2)/(-4)*-4 + 1). Let n be j(o). Is n greater than -12?
False
Suppose -7*q + 4*q - 10 = -d, 4*d + 5*q + 45 = 0. Suppose -2*f - 4 = -f. Which is greater: f or d?
f
Suppose -3*t - 33 + 9 = 0. Let u be (0/(-1) + t)/1. Let z = -30 - -30. Is z less than u?
False
Let d be 15*((-4)/(-22) + 1147/(-6490)). Is 0 smaller than d?
True
Suppose 1 + 3 = 4*f. Suppose -1 = -m + f. Suppose -3*y - 1 = -m*g, 3*g - 1 = 2*y + 3*y. Is 2/67 at least as big as y?
False
Suppose 28 = 25*f + 3*f. Is f greater than or equal to -3/236?
True
Suppose 0 = 5*v + 2*m - 0*m - 1172, -5*m = -5. Suppose 4*h - h - v = 0. Let r be 44/h - 5/15. Which is smaller: r or 1?
r
Let b = 6.6 - -31.5. Let k = b + -38. Are k and 1/4 non-equal?
True
Suppose -342 = l - 7*l. Let j = 81 - l. Let k(g) = g**3 + 6*g**2 - 2*g + 11. Let o be k(-6). Is o >= j?
False
Let j be ((-160)/30)/(20/6 - 4). Which is bigger: 9 or j?
9
Let y(d) = d + 2. Let q be 16/(-48) + 1*4/(-6). Let j be y(q). Is 6 at most as big as j?
False
Let a be -10 - ((2 - 2) + -2). Let i be 2/(-6) + a/(-6). Let k = 3177 - 82601/26. Is k greater than or equal to i?
False
Suppose s = 127 + 214. Which is smaller: s or 342?
s
Suppose 0 = 7*y - 3*y - 12. Let o be (1/3)/(y/612). Let c be (-3 - o/(-32)) + 1. Is 1 less than c?
False
Let j(r) = r**2 + 20*r - 6. Let f be j(-21). Suppose -f + 23 = -8*u. Is u bigger than 0.046?
False
Let y = -0.29 - 0.01. Let m = 36.055 + -0.055. Let c = m + -35. Is c less than or equal to y?
False
Let i = 5827817323/2530 - 2303485. Let u = 58/4301 - 4/187. Let y = i + u. Is 0.1 less than y?
False
Suppose 0 = -2*m - 5*f - 16, 4*f = -0*m - 5*m - 57. Let k = 257 + -537/2. Is k at least m?
True
Let m = 247/4 + -63. Is m greater than 2?
False
Suppose -4*p + 4*c = 36, 0 = p + p + c + 6. Suppose -21*g + 9*g - 72 = 0. Are g and p non-equal?
True
Let w = -304 - -1829/6. Let c(v) = v**3 + 3*v**2 - 2*v - 2. Let i be c(-3). Suppose -i*k = -4 - 4. Is k at most as big as w?
False
Let a = 371 + -349. Which is smaller: 20 or a?
20
Let f = 5 + -1. Suppose 3*l = 2*p - 1, 5*p - 2*p = -f*l + 10. Let d be (-12)/510*-23 + 6/(-10). Which is smaller: d or l?
d
Let m = 29038807/1139 + -25495. Is 1 <= m?
False
Suppose 45 = 2*s + 5*q, -3*s + 5*q - 4*q = -25. Suppose s*l - 7*l - 18 = 0. Are 2 and l nonequal?
True
Suppose -10 = -p + 3*f, 2*p - 3*f + 5 - 16 = 0. Which is greater: 14 or p?
14
Let t = -7.5 - -7.4. Let o = 10 + -25. Which is greater: o or t?
t
Let b(c) = -21*c**3 - 6*c + 3. Let t be b(-3). Let l = t + -7640/13. Do l and -1 have the same value?
False
Suppose -i + 3*u = i + 8, -5*u = -2*i - 12. Let g = 