derivative of n**4/24 - 25*n**3/6 - 22*n**2. Let y be r(24). Which is greater: -2/15 or y?
-2/15
Let d be 3 - 33/12 - (-29)/(-124). Let u be ((-258)/8)/((-155)/(-2)). Let q = d + u. Which is greater: -1 or q?
q
Let n be -1 + 2 - -33 - -2. Suppose -c + n - 34 = 0. Does c = 2?
True
Let u = 372/5 + -7088/95. Which is smaller: 0.3 or u?
u
Let y(x) = -x - 16. Let i be y(-26). Let c(r) = 11*r + 1. Let n be c(1). Which is greater: i or n?
n
Suppose q + 59 = 3*j, 5*j - 3*q + 2*q - 99 = 0. Suppose 10 = -4*v + 2*v, 0 = -2*i - 4*v - j. Which is smaller: 2/13 or i?
i
Suppose 0 = -x - x + 26. Suppose x = 3*a + 4. Suppose -a*m + 0*m - 3 = 0. Are -2/5 and m equal?
False
Let b be (-2 - (-6 + 3))*0. Let v be (-1 - 0) + 185/(-1170)*-6. Is b greater than v?
True
Let t be -12*28/(-54) + -6. Which is smaller: 18 or t?
t
Let b = -138721/39 - -3554. Let u = -1886/273 + b. Which is greater: -9 or u?
-9
Suppose -5*r = 20, -2*r = -4*k - 5*r - 20. Let x be (2 + (-10)/4)/k. Let w = 9 + -9. Which is smaller: w or x?
w
Let x(r) = 6*r - 21. Let y be x(5). Suppose 0 = -y*k - 10 + 1. Is k at most -2?
False
Let a = -0.15 + -13.85. Let m = a + 13.96. Let w = 0.04 + m. Is w <= -2/27?
False
Suppose -36*c = 2393 + 5671. Is -224 at least as big as c?
True
Let l = -1/45 - 13/90. Let u = -95.076 - -0.076. Let o = 94 + u. Is l <= o?
False
Let c = 19 - 10. Let p be -2*-2*c/6. Is 2 at most as big as p?
True
Suppose 0 = 4*z - 4*n - 288, -7*z + 9*z + 3*n = 144. Is 72 smaller than z?
False
Let w(r) = -2*r**3 - 1. Let k be 4/(-3) - (-3)/9. Let f be w(k). Suppose -n - 5*c = -0*c - 6, 3*n - 2*c = f. Does -1/3 = n?
False
Let d = 82.1 - 82. Let f = -3.6 + 9.7. Which is bigger: d or f?
f
Let j = -0.09 - 1.91. Let i = j + 1. Suppose 3*r - 6*r + 5*w = 4, w = r. Is i not equal to r?
True
Let t = 40 - 23. Suppose 213 - t = -4*p. Is -0.1 at most p?
False
Suppose 2*t = -9 + 5. Let s be ((-16)/(-22))/2 - 1. Which is greater: s or t?
s
Let k = -2.752 + 2.7. Let s = k - -26.052. Which is smaller: 1 or s?
1
Suppose 0*o = -4*o, 0 = -5*j + 5*o + 25. Suppose -n + 1 - 5 = d, -4*n + j*d + 2 = 0. Let s be ((-2)/(-4))/(n/4). Which is bigger: s or -6/17?
-6/17
Let l be (3/46)/(9/(-12)). Is l at most 1?
True
Let k = 1661 + -1686. Does -9 = k?
False
Let c be (4/10)/(2/600*15). Does 16/9 = c?
False
Let x be (-1 + (0 - 2))*-1. Let p = x - -4. Is p less than or equal to 9?
True
Let w = -652 + 187. Is -464 less than or equal to w?
False
Let s = 614 - 349. Which is bigger: 264 or s?
s
Let v = 285.9 - 273. Let f = -13 + v. Let o = 282/7 - 40. Which is greater: o or f?
o
Suppose -m - 4*m = -1800. Suppose -y = 3*d - 2*d - m, 3*y - 1104 = 3*d. Let n be -1 + (-3 - y/(-92)). Which is smaller: n or 1?
n
Let j = -240 - -227. Suppose 14 = -g + 4*t + 6, -7 = g - 5*t. Is j at least g?
False
Suppose 0 = 5*i - 9*i. Suppose i = -4*o + o - 9. Let s be 9/(-4 + o + 0). Is s less than -2?
False
Let i be 13/3 + 6/(-18). Suppose -i*g = 5*p - 36, -3*g - 2*p - p = -24. Suppose 9 + 6 = 2*y - l, g*y - l - 25 = 0. Does 5 = y?
True
Let z(l) = l**2 - 8*l - 5. Let x be z(9). Let n = 0.05 - -2.95. Let f = 2 - n. Is x not equal to f?
True
Let q = -1037 + 947.4. Let y = q + 78. Let x = y + 2.6. Is -0.2 at least as big as x?
True
Suppose 0 = r - 4 + 3. Let y be 3 + (r - 26/7). Let i = -3.6 - -3.43. Which is smaller: i or y?
i
Let w(a) = 230*a + 70. Let f be w(-2). Is f equal to -391?
False
Let l = -1494.9 - -1495. Which is bigger: 395 or l?
395
Suppose -8*d = -4*d - 8. Suppose -d*n + 17 = -23. Suppose -6*g + n = -g. Is g equal to 3?
False
Let f = -26411/24 + 3301/3. Suppose 0 = 3*i - i - 2. Let x be -2 - 1*(-1)/i. Does f = x?
False
Let z be (-2)/19379 + (0 - 0). Let q = -10406531/77516 - z. Let n = 135 + q. Is n greater than or equal to 0?
True
Let r be (-4)/18 + (709/(-927) - -1). Which is greater: -1 or r?
r
Let t be (3 + (-8)/(-4))/((-76)/52). Let r = -121/152 - t. Which is smaller: r or 2?
2
Let p(u) be the first derivative of -u**3 + 3*u**2 - u + 16. Let o be p(3). Is -9 < o?
False
Let y = -68 + 82. Let l(j) = -j**3 + 15*j**2 - 15*j + 10. Let i be l(y). Which is bigger: i or 2?
2
Let v(a) = 7*a - 7. Let h be v(3). Let r be 921/252 + (-8)/h. Let u = r - 10/3. Which is bigger: u or -3?
u
Let u = 6/67 - 143/2345. Let g be (-20)/10 - (-74)/35. Let t = u + g. Is 0 greater than or equal to t?
False
Let v be (-152)/836 - 1/(462/(-436)). Do v and 2 have different values?
True
Let m(t) = t**3 + t**2. Let q(g) = 3*g**3 + 20*g**2 - 21*g - 1. Let a(u) = -2*m(u) + q(u). Let v be a(-19). Do 36 and v have the same value?
False
Let n(t) be the third derivative of 5*t**4/24 - t**3/2 + 2*t**2. Let y be n(1). Let c be 3/(-9)*(1 + y). Which is greater: -3/2 or c?
c
Suppose 0 = 2*x - 25 + 39. Which is bigger: x or 4?
4
Let l be 3/6 - 1/(-2)*5. Suppose 2*g + 15 - l = -2*u, -2*g - 7 = -3*u. Which is smaller: -29/6 or g?
g
Suppose 4*w = 5 - 1. Let x be 0 - (1 + -9) - (4 + -3). Let l = x + -8. Which is smaller: l or w?
l
Suppose 4*f = 5*f + 47. Are f and -45 equal?
False
Suppose -3 + 2 = -2*p - f, f = 3*p + 6. Is -2/107 > p?
True
Let b = -41 - -59. Let d(p) = -p**2 + 17*p + 20. Let a be d(b). Suppose k + 5*v = 22, 5*k - 4*v = 4*k - 14. Is a greater than k?
False
Let l = 221 - 222. Is l less than -2/511?
True
Suppose -y - 21 = -24. Suppose -y*x + 0*x + 3*u = 63, -2*u = 4. Is x > -24?
True
Let b = -3 + 4. Let l = -2 + b. Let q = -23 + 23.2. Are q and l nonequal?
True
Let l be -3*2/12 + 359/4. Let d = -6061/68 + l. Is d greater than 1?
False
Let h be (-42)/12*(2 + -4). Let r(f) = f**3 - 5*f**2 - 12*f + 12. Let y be r(h). Is y < 25?
False
Let a be (-2)/(-2) + 168/(-6). Let n = 9 + a. Which is bigger: 1 or n?
1
Let x(a) = 3*a**2 + 19*a - 12. Let h be x(-7). Suppose 90 = 4*k + h*k. Which is smaller: -2/9 or k?
-2/9
Suppose -4*q + 68 - 28 = 0. Let u be (-2)/4 + 15/q. Which is smaller: u or -3/11?
-3/11
Suppose 6*z = 3*z + 6. Suppose 36 = 5*x + z*i, 0*x = -5*x + 2*i + 44. Suppose 0*q + 5*o - 53 = -4*q, -25 = -5*q + 2*o. Which is bigger: q or x?
x
Let t = 22 + -16. Let j = t + -1. Let h = 5.1 - j. Is -3 smaller than h?
True
Suppose -47*a + 30 = -42*a. Suppose 5*h - 19 = a. Are h and 2 nonequal?
True
Let j(x) = -3*x. Let q be j(-2). Suppose 0 = -3*w + q + 12. Suppose 18 = w*o + 6. Does 10/9 = o?
False
Let k(t) be the third derivative of t**6/60 + t**5/15 + 2*t**3/3 - 4*t**2. Let s be k(-3). Let j be (12/(-9))/(s/6). Is j < 0?
False
Let j(r) = -4*r**2 - 13 + r**3 - r - 4*r**2 - 7*r + 3. Let h be j(9). Is h <= -30?
False
Let i = 4.9 - 30.9. Let x = 8 + i. Is 1 greater than or equal to x?
True
Suppose -95*c - 48 = -91*c. Let j(g) = -2*g + 3. Let x be j(7). Which is smaller: c or x?
c
Let u = 56 - 6. Let m = u - 70. Is m >= 0?
False
Let o(b) = -6*b**3 + b - 2. Suppose l - 2 - 9 = -4*s, -15 = -5*l. Let q be o(s). Is -47 > q?
True
Let m(u) = -3*u - 38 + 14*u - 8*u. Let r be m(13). Which is greater: -11 or r?
r
Let y be (-3 + 3 - 90) + 1 + 1. Let i be (y/(-12))/((-2)/(-9)). Is i greater than or equal to 33?
True
Let g be (-1)/(-5) - 1095/(-25). Is g greater than 0.1?
True
Let o = 71.1 - 0.3. Let i = -71 + o. Is 25 at most i?
False
Let c = 547/420 + -1/60. Let n(s) = s - 1. Let t(q) = 4*q - 19. Let h(o) = -5*n(o) + t(o). Let j be h(-16). Which is smaller: j or c?
c
Let p = -3858713639/777 - -4966163. Let g = -45/7 - p. Do -1 and g have the same value?
False
Let c be (-92 + 5)*(-1)/24. Is c smaller than -5?
False
Suppose -3*f + 2*a + 30 = -0*f, -f + 10 = -2*a. Suppose z + f = 2*z. Which is smaller: z or 9?
9
Let u(t) = -t**3 - 7*t**2 + 4. Let s be u(-7). Suppose -s*c - 12 = -36. Let y = c - 12. Which is greater: y or -0.1?
-0.1
Let u be 770*(1/(-1) + 2). Suppose -22*z + u = -8*z. Is 55 greater than z?
False
Suppose 2*q - 22 = 3*n - n, 25 = -5*n. Let c = -12 + q. Let g be (-4)/c - 1/(-12). Which is smaller: 2 or g?
g
Let l = -252 - -249. Is 14 <= l?
False
Let v be (16/(-80))/((-2)/(-20)*-2). Let z = 1/110 - 117/770. Are v and z unequal?
True
Let m = -1.3 - -1.1. Let j be 7/(-2 - 5) - 2/(-6). Is m <= j?
False
Let z = -64 - -63. Let a = 245/4 - 61. Which is smaller: a or z?
z
Let o(r) = 3*r - 17. Let g be o(0). Let p = 14 + g. Let v = -3 + 0. Is v <= p?
True
Let r(b) = 2*b**3 - 6*b**2 - 7*b + 18. Let z be r(5). Let c = z + -86. Which is smaller: c or 6?
c
Let z be 1/(-4) - ((-133)/(-28) 