derivative of -k**5/20 - 5*k**4/6 + 15*k. Let z be j(-10). Which is smaller: z or d?
d
Suppose -9 = u, -2*i = i - 2*u + 3921. Is -7 > i?
True
Let j = 2566 + -2575. Is j at most as big as -480/49?
False
Let g be -8*(364/14 - 22). Suppose 4*k = 5*k - 5, -5*l + 3*k = 180. Which is bigger: g or l?
g
Let x = -1.11 - -180.11. Let w = x - 193. Is -7 bigger than w?
True
Let o be -39*(-4)/(-6) + -1*2. Let l be (o/5)/(-3*4/(-60)). Let w = 22.1 + -22. Which is bigger: w or l?
w
Let x = -45 + 88. Let v = -10 + x. Let z = v - 36. Are z and -2 non-equal?
True
Suppose -392 = 4*c - o, -2*c = -4*o + 48 + 134. Let y be (-132)/c + 6/(-4). Suppose 2 = -4*w - l, -3*w - 10 = w + 5*l. Which is bigger: y or w?
w
Let r be 3/247 + -2 + (-3 - -5). Is -1 greater than r?
False
Let k(v) = -v**3 + 3*v**2 + 2*v + 4. Let f be k(4). Let d be (4/(-12))/(f/(-12)). Let x = -505/3536 - 3/272. Is x not equal to d?
True
Let s(z) = 4*z - 3. Let y be s(3). Let d(h) = 2*h + 11. Let c be d(7). Suppose 15 = g + i, -6*g + 5*i + c = -g. Which is smaller: g or y?
y
Let w = -51 + 218. Let z = w + -127. Is z smaller than -2?
False
Let f be 46744/(-14) + 300/350. Is -3337 bigger than f?
True
Let x(f) = f**2 + 16*f + 4. Let g be x(-16). Suppose -6*k = 2*m - g*k - 284, -k - 740 = -5*m. Is 146 greater than m?
False
Let n = 62/5 - 176/15. Let z(g) = g**2 - 7*g + 7. Let j be (18/8 - 0)/(18/48). Let o be z(j). Which is bigger: o or n?
o
Let k = 21 + -18. Suppose -3*j - 4*l = 162, 91*j = 86*j + k*l - 241. Let d = 0.2 + -0.1. Which is smaller: j or d?
j
Let k(c) = 20*c + 7. Let w(t) = t**2 - 9*t - 41. Let q be w(12). Let s be k(q). Which is smaller: -95 or s?
-95
Let s(o) = -321*o + 7034. Let l be s(22). Let h be 0/(-2)*(-4)/(-8). Is l != h?
True
Let r = -798093/5 + 158686. Is r smaller than -933?
False
Let p(v) = 19*v**2 - 14*v - 14. Let w be p(-7). Let o be (-4 - w/25) + 6/(-15). Is o less than -44?
True
Let w be -19 - (6 + -16) - (112 + 3). Suppose -2*p + 1 + 3 = 0. Is w at most p?
True
Let y = 5135.3 - 4689. Let i = y + -446. Is i at most -24?
False
Suppose -u + 2*u - 13 = 0. Let f = u - 51/4. Let y = -2.5 + 2. Is y smaller than f?
True
Let h(f) = -f**3 - f**2 + f + 5. Let k be h(4). Let l be 421/(-6) - (-233)/1398. Is l <= k?
False
Let f be (4 - (-174)/(-36))*(-32)/200. Let p be 2/(-2 - (6 + -10)). Which is greater: f or p?
p
Let t(l) = l**3 + 20*l**2 - 37*l + 43. Let n be t(-22). Let r be (174/8)/(n/(-24) - 5). Which is greater: r or -56?
-56
Suppose 0 = 4*h - 3*q - 15, -8*h + 6*h - 10 = 2*q. Suppose 2*l = -8, 2*m = 5*l - h + 22. Which is greater: 9 or m?
9
Let t be 1*(4 + -9) - 55. Let j be (t/39)/(8/24). Which is bigger: -6 or j?
j
Suppose -s - 2 = s. Let x be -5 - -5 - (-3)/((-6)/632). Let p be ((-140)/245)/(x/14). Which is greater: p or s?
p
Let j be 2/15 - (-16240)/(-300). Let v = -158/3 - j. Let g be 11/2*(0 - (3 + -1)). Which is bigger: v or g?
v
Let n = 18702 - 17909. Is 802 not equal to n?
True
Let w(q) = -2*q**3 + 6*q**2 + 76*q - 141. Let s be w(7). Let n = -1/1196 - 2205/223652. Is s less than n?
True
Let m be (30/(-450))/(2/(-30)). Is m greater than -3/3751?
True
Let s = -184981 - -74917123/405. Let i = -4/81 - s. Let k = 5.7 - -7.3. Which is bigger: k or i?
k
Let g = 69213/7 + -9866. Which is greater: g or 21?
g
Suppose 0 = -5*g + 171 + 604. Is g at most as big as 13?
False
Let l be 946/(10/(-3) + 4) + (14 - 10). Which is greater: l or 1425?
1425
Let w = 780.92 - 781. Are w and -2/151 non-equal?
True
Let k(f) = -6*f + 9. Let x be k(1). Let u be -2*(-4 + 5) + x*3. Let a(r) = -r**2 + 5*r + 14. Let g be a(u). Is -14/13 < g?
True
Let f = 4997/7336 - 39/56. Let u = -157/1703 - f. Suppose -4*x = 3 - 7, -3*x - 2 = -5*t. Is t at most as big as u?
False
Let i = 3020.1037 - 0.1037. Let l = -3026.028 + i. Let w = -0.028 - l. Which is greater: -0.2 or w?
w
Let k be -1*6/(-4)*192/(-567072). Which is greater: 1 or k?
1
Let s = -71016 - -283619/4. Let d = 57 + -168. Which is smaller: d or s?
s
Let c = 701.02638 - 0.02638. Is 5 bigger than c?
False
Let n = -7975 + 7980. Is -13 equal to n?
False
Suppose -335 = -5*y - 2*t, 0*t + 67 = y - 3*t. Suppose -133*o = -141*o - 1024. Let f = y + o. Which is greater: f or 1?
1
Let b be (28/(-182) - 896/(-78))*87. Is 986 greater than or equal to b?
True
Let z(q) = 2*q**3 - 2*q**2 - q. Let k be z(2). Suppose 9*l - 34 = -6*o + 11*l, 5*o = 5*l + 45. Which is smaller: k or o?
o
Let a = 1204/1585 + -114/317. Are a and 2374 equal?
False
Let r = -122/5 - -24. Let b(q) = 2*q**3 + 10*q**2 + 7*q - 3. Suppose -l - 3*f = -2*l + 2, 4 = -2*f. Let c be b(l). Which is smaller: c or r?
r
Let g be (56/660)/(40/2802). Let i = 21/50 + g. Which is greater: 5 or i?
i
Let a = 32.97 - 32.97. Is a not equal to -204?
True
Let z = -103.4845 + -1.5155. Is -5/3 at most z?
False
Suppose 0 = m + 5*o + 4 - 14, -5*o = 0. Let n(p) = -p + 12. Let q be n(m). Let f be (8 - 12) + (q - -2). Is f bigger than 18/19?
False
Suppose 6*d + 479 + 487 = 0. Is d at least as big as -159?
False
Let m = 10985/272481 - 14/359. Do m and 1 have the same value?
False
Let l = -387 - -387.95. Let q be (-33)/(-88) + ((-484)/288)/11. Is l >= q?
True
Let g(b) = -b**3 - 4*b**2 - 8*b - 24. Let c be g(-4). Let y(u) = u - 4. Let a be y(c). Which is greater: 9 or a?
9
Suppose -2*b - 2*b - 23 = -3*y, 4*y - 4*b - 32 = 0. Let i(x) = 4*x**2 - 36*x - 12. Let t be i(y). Is t != -6?
True
Let t = 292.9 - 287. Let b = -5.8 + t. Let f = -0.3 + -0.1. Is f bigger than b?
False
Let t = 270 - 268. Suppose -2*m - 5*y - 63 = 0, 0 = -t*m + m + 5*y + 6. Is -22 <= m?
True
Suppose 0*m + 5 = -m. Let d be m/(-1)*2242/(-95). Are -117 and d equal?
False
Let m(n) = n**2 + 1. Let l be m(3). Let g(t) = -t**2 + 7*t + 5 + 11*t - 8*t. Let a be g(l). Is a greater than -1?
True
Suppose 46 = -25*l - 54. Let p be (2/l)/((-43)/(-86)). Is 62 equal to p?
False
Let c = -15267 - -15429. Does 165 = c?
False
Let i be (-20)/(-2) + (-1872)/186. Which is greater: i or -4?
i
Let x(o) = 4*o**3 + 68*o**2 + 62*o - 31. Let i be x(-16). Which is bigger: i or -2/105?
i
Suppose 2*m + 0*a = a - 2, -2*m - 5*a = 2. Let k be m/(8/6)*(-1148)/(-126). Which is bigger: k or -6?
-6
Let j be -2 - (-6 - (3 - 219*5/150)). Which is smaller: 0.125 or j?
j
Let t(r) be the second derivative of r**5/20 - r**4/4 - r**3/3 - 114*r. Let c be t(3). Which is greater: c or -41/8?
-41/8
Let o = 18 + -18. Suppose -3*m - 4*x - 5 = 0, -3*x + o = 15. Let p(d) = 2*d - 11. Let t be p(m). Which is bigger: t or 4?
4
Let u = 64 - 57. Let q = u - 64. Let n = q - -57. Is 3 < n?
False
Let m = 382 - 385.4. Let y = -3.3 - m. Is 431 bigger than y?
True
Let q(r) = -13*r**2 + 9*r - 12. Let u(l) = 12*l**2 - 8*l + 12. Let a(z) = -3*q(z) - 4*u(z). Let v be a(2). Which is smaller: -40 or v?
-40
Suppose 4*c - 19 = -i, -3*i = 3*c - 5 - 7. Which is smaller: -1/7092 or i?
i
Let y(r) = r - 825. Let j be y(62). Which is greater: j or -5350/7?
j
Let s = 9124 + -8840. Which is smaller: s or 285?
s
Let y be ((-12)/56)/(((-192)/(-126))/16). Let n = 0.12 + 0.88. Are y and n non-equal?
True
Let j = 9101 - 9378. Is j bigger than -284?
True
Let q = -15 + 17. Let i be 20/2*q/(-2 + 0). Let d be (-343)/(-14)*4/(-10). Which is greater: i or d?
d
Let k(y) = -y**3 - 14*y**2 + 8*y - 33. Let v be k(-15). Let d be (1 + -87)*2*6/v. Is -14 < d?
False
Suppose -431*c = -451*c - 68120. Are c and -3408 non-equal?
True
Let q(c) = -7*c + 10. Let n be q(-9). Let p = n + -69. Let d(l) = l**3 - 4*l**2 - 2*l + 6. Let v be d(p). Which is greater: 2/3 or v?
2/3
Suppose -4 = p, -4 = 2*w + 2*p + 2. Let c(s) = -3*s**3 + s**2 + s - 4. Let v be c(3). Let u be 4/18 + v/369. Is w less than or equal to u?
False
Let p = -513321/112820 + -1/11282. Is p != -4?
True
Let o = -45507 - -3777261/83. Is o bigger than 3?
False
Let p = -397 + 398. Let i = p + 28. Do i and 152/5 have the same value?
False
Let r(s) = -s**2 - 4*s + 8. Let w be r(2). Which is smaller: w or 13?
w
Let k be ((1/2)/(2/(-4)))/((-2)/4). Which is greater: k or -2565?
k
Let p be -1855 - (-4 - 1 - 6). Is p != -1841?
True
Let j(v) = -v**3 - 3*v**2 + 2*v - 8. Let g be j(-4). Suppose -2*y - 9 = 3*s - 4*s, g = -s + y + 5. Let c be (-1)/5 - ((-8)/(-10) - s). Is -1/5 smaller than c?
True
Let g = 671 + -672.16. Let u = -1.16 - g. Which is smaller: u or -22.5?
-22.5
Let p = 1.6853 - 1.6633. Which is greater: 