rd derivative of a**5/60 - a**4/4 + a**3/6 + a**2. Let k be y(5). Is o at most k?
False
Let n = 1 + 2. Suppose 5 = -3*m + p, n*p = m - 0*m + 15. Suppose -4*o + m = -4. Is 0 less than or equal to o?
True
Let k be (-620)/(-22) + 1*10/(-55). Let a = -22 + k. Which is smaller: 4 or a?
4
Let u(l) = l**3 - l**2 + 16*l + 55. Let a be u(-3). Is a at least as big as -34?
True
Let u(h) = h**2 - 26*h + 50. Let z be u(24). Suppose -5*d + 3*l = -2*l + 415, 0 = 5*d - z*l + 400. Which is smaller: d or -79?
-79
Suppose -414*h + 288 = -422*h. Is h at least as big as -44?
True
Let i(l) = 4*l**3 - 1. Let p be i(1). Suppose -4*h + 3 = -p*h. Which is greater: h or 4?
4
Suppose -i = -7*i. Suppose 0 = -i*n - 7*n + n. Are n and -74 unequal?
True
Let q = 1853/3 + -619. Does 4/41 = q?
False
Let w be -5 + (2 - -1) + 163/82. Suppose -j + 0 = -1. Is j at least w?
True
Let j(z) = -z - 4. Let n(a) = -a - 13. Let v be n(-6). Let k be j(v). Which is smaller: 13/3 or k?
k
Let v = -2.3 + 6.3. Let h = -3 + v. Let b = 16/5 + -18/5. Is h less than b?
False
Let l = -39 - -49. Let r = 17 - 10. Let b = l - r. Is -1/3 >= b?
False
Suppose 0 = v + 65 - 26. Let n = 38 + v. Let c = 8.82 - -0.18. Which is smaller: c or n?
n
Let f(v) = -v**3 - 5*v**2 + 6*v + 3. Let r be f(-6). Suppose -2*o + r*q - 1 = 6, 5*q - 11 = 4*o. Is -4/49 <= o?
True
Suppose -34*n + 32*n - 14 = 0. Let a be (0 + n)/((-5)/(-25)). Which is smaller: a or -33?
a
Let i be (-6)/15 - (-248)/20. Let x be -3 + i + (2 - 2). Let h(p) = p**3 - 9*p**2 + p - 8. Let u be h(x). Which is smaller: u or -3/16?
-3/16
Let t be (-57)/94*(-5075)/(-21). Let p = -293/2 - t. Which is bigger: p or 0?
p
Suppose -2*w + 35 = 3*w. Suppose -242*j + 262*j = 180. Is j equal to w?
False
Suppose 2*y - c - 2 = 0, 0*y - c = -4*y. Does y = -69/34?
False
Let a(u) = u**2 - 7*u - 2. Let r be a(7). Let c = -3 + r. Let f be (c/(-10))/((-1)/2). Is f bigger than -4/13?
False
Suppose -4*r + 3*p = -1572, 4*r - 495 = -p + 1077. Let m = -5893/15 + r. Let a = -0.3 - -0.1. Is a bigger than m?
False
Let k = -201/812 - 1/406. Which is smaller: k or 77?
k
Let z(o) = -o + 12. Let x be z(8). Suppose 0 = -3*y + 5*d - 10 - 3, x*d - 3 = -5*y. Which is bigger: 2 or y?
2
Suppose 0 = -f - 0*f - q - 11, 5*f = 3*q - 47. Let r be ((-2)/15)/(18/f). Suppose 0 = 5*k + 4*w + 15 + 10, -3*k = 2*w + 13. Which is greater: k or r?
r
Let l = -511 - -352. Which is bigger: l or -157?
-157
Let o be 4*(-3)/(-51)*-38. Let s = -20182/2261 - o. Is 0 bigger than s?
False
Let n = -38 - -70. Let s be (-1 - (-6)/14)/(((-230)/5)/23). Are n and s equal?
False
Let u(j) = 3*j**2 - 18*j - 8. Let d be u(7). Suppose 3*a - 18 + 57 = 3*x, -5*x + 59 = -2*a. Is x smaller than d?
True
Let o = 396 - 700. Let m = o - -597/2. Which is greater: m or -6?
m
Let u be 45/4302*16/(-20). Is u at least 0?
False
Suppose -15*i - 27 = 108. Suppose 0 = 2*g - 12 + 2. Let h = i + g. Is h at least -3?
False
Let q be 27/72 - 9/(-108). Do q and 0 have the same value?
False
Let p = 185/8 - 1447/56. Which is smaller: -3 or p?
-3
Let i(z) = 5*z - 95. Let l be i(19). Is l not equal to -6/89?
True
Let k = -0.0525 - 38.0475. Let g = k + 38. Is -1.3 > g?
False
Let a(i) = i + 1. Let k be a(-2). Let r be (13/(-234))/(3/(-2)). Which is greater: r or k?
r
Suppose -6*u = -11 - 7. Which is smaller: 27/10 or u?
27/10
Let s be 156/42 + 2/7. Suppose s*i + 58 = -122. Let c = i + 35. Is -2 greater than or equal to c?
True
Let l = 37 + -36. Let s = 6.8 - 12.8. Is l at least as big as s?
True
Let q be (20 + -23)*(0 - 17/6). Let x(d) = -d**2 - 6*d + 2. Let f be x(-4). Is q > f?
False
Let r = 1902 - 1901. Which is smaller: r or 0.0319?
0.0319
Let z = 67.95 - 70. Let y = 0.05 + z. Let p = -31.3 - -32.3. Which is greater: y or p?
p
Let k = -0.014 - -26.014. Let f = k - 25. Is f less than or equal to 3/8?
False
Let n be (-48)/(-384) + 2/(-16). Let f be 185 + 0 + (1 - 3). Let o = -8603/47 + f. Is o greater than n?
False
Let z = -0.037 + 61.037. Let c = z - 60.1. Is c less than or equal to -0.06?
False
Let u(y) = 2*y - 19. Let s = 13 - -6. Suppose -3*q + s + 8 = 0. Let z be u(q). Is z >= -3?
True
Suppose -778 = 23*h - 9564. Which is smaller: 381 or h?
381
Suppose -3 = -k - 1, 3*d - 5*k = 4937. Let g = d + -6631/4. Is -9 <= g?
True
Suppose -5*s + f - 3 = 0, -4*s + 0*s = -2*f. Which is smaller: 2/63 or s?
s
Let g(l) = l**3 + 15*l**2 + 18*l + 13. Let b be g(-13). Let j = -131 + b. Is j at most as big as -14?
True
Let c(k) = k**2 - 4*k + 2. Let n be c(3). Let s be -2*(-21)/(-9)*(-11)/(-44). Are n and s nonequal?
True
Suppose 0 = -3*u + 3. Suppose -4*h + 9 = u. Let z(j) = -j - 13. Let p be z(-14). Which is smaller: h or p?
p
Let n = 25248/2818595 - 22/2105. Which is greater: n or 0?
0
Suppose 4*o = 3*o + 1. Let g be (o - 0)*3/1. Let w(x) = 5*x**2 + 28*x - 10. Let b be w(-6). Do b and g have the same value?
False
Suppose -10*r + r + 4*r = 0. Is r < 29?
True
Let z(f) = -3*f**2 + 11*f - 4. Let a(s) = 4*s**2 - 12*s + 4. Let k(c) = 4*a(c) + 5*z(c). Let h be k(-6). Let g be h/150*(-9)/(-2). Are 1 and g non-equal?
True
Let y be (-50602)/30*10/(-3570). Let w = y - 8/765. Let g(n) = -2*n - 1. Let m be g(-3). Which is bigger: w or m?
m
Suppose 4*j + 5*f - 14 = 3*f, -f = -5. Suppose j = 7*o - 2*o - 2*k, 5*o - 5*k + 5 = 0. Is 2/107 less than o?
True
Let c = 0.335 + -0.32. Let o = c - 0.315. Do 1/2 and o have different values?
True
Let j(m) = m + 18. Let c be j(-9). Suppose -c = -3*n + 3. Let k be n + (-61)/11 + 1. Is k at most as big as -2?
False
Let b = -309 + 30281/98. Let v be 8/(-2) - (-10 - -7). Which is bigger: b or v?
b
Let b = -0.012 - -35.012. Let a = -34.9 + b. Which is smaller: a or 2/13?
a
Suppose 0 = -18*n + 19*n - 5*h - 343, 0 = -h - 1. Is 340 bigger than n?
True
Let u = 210.2 - 210.3. Is -0.0848 at least u?
True
Suppose 0*d + 7*d = 98. Let b = 18 + -16. Are b and d unequal?
True
Let d be 2/(-28) - 183132/(-168). Is d less than 1089?
False
Let j = 11 - -11. Let i = 10 - j. Which is smaller: i or -10?
i
Let v(o) = -o**2 - 39*o - 186. Let c be v(-8). Which is smaller: 63 or c?
c
Let d = 2/173 + -2444/1903. Suppose 10 - 10 = 2*m. Which is smaller: m or d?
d
Let i be (-2)/3*(-6)/4. Let s(l) = 15*l - 2. Let k be s(i). Are 13 and k equal?
True
Let c(v) = 2*v + 26. Let i be c(-18). Let d be ((-5)/i)/((-103)/4). Which is bigger: d or -1?
d
Let i = -13 - -23. Let q be 6/i + (-3)/5. Which is greater: q or -1?
q
Suppose 0 = -3*n - 46 - 89. Is n bigger than 0?
False
Suppose -127 = -4*y + 277. Is y less than 103?
True
Let n be 21/(-252)*-12*(-13)/1. Suppose -2*b - 5*i + 100 = 0, 0 = 5*b - 3*i - 38 - 274. Suppose 0*g + 5*g + b = 0. Which is smaller: n or g?
n
Let k(f) = 5*f + 1. Let q be k(4). Let w = -14 + q. Let i = -13 - -12. Which is bigger: i or w?
w
Suppose 12*o - 1588 + 40 = 0. Which is smaller: 122 or o?
122
Let j(v) = -2*v**3 + 127*v**2 + 66*v - 111. Let s be j(64). Is s > 109/6?
False
Let f be 170/(-2295) - 4/(-54). Is -2/361 bigger than f?
False
Let y(u) = u + 23. Let q be y(0). Suppose 2*o + 7 = q. Which is bigger: o or 9?
9
Let x = -3 + 3.1. Let y = 0.05 - x. Let i = 0.25 + y. Is i greater than or equal to 0.2?
True
Let o = 678 - 638. Let d(u) = -u**3 - 4*u**2 + 3*u - 13. Let n be d(-6). Which is greater: n or o?
n
Let q be (9 + -5)/(-20) - (-872)/4285. Which is smaller: 0 or q?
0
Let o = -20 - -25. Suppose 0 = -o*p + p. Is p bigger than -4/5?
True
Let f(j) = j**2 + 23*j + 123. Let y be f(-15). Is 49/15 bigger than y?
True
Let i be ((-14)/(-3))/(5/(-15)). Let l be (3 + 13/(-2))*36. Let x be (i/l)/((-2)/6). Which is bigger: x or 5?
5
Let g = -0.033 + -1.467. Let j = -1.6 - g. Is -8/5 at least as big as j?
False
Let c = -24 - -20. Let f be 0 - (-2 - (2 + c)). Let a = 36/5 - 823/115. Which is smaller: a or f?
f
Suppose w - 19 = -3*z, 3*w + 4*z - 8*z + 8 = 0. Which is smaller: -2/35 or w?
-2/35
Let n(q) = 4*q - 7. Suppose -4*u - 7 = 2*z + 5, 0 = -2*u - 2*z - 2. Let w be n(u). Let d be (-6)/w + (-31)/99. Are d and 0 equal?
False
Suppose 36 = -0*o - 6*o. Suppose 0 = 2*c + 4*g + 8, 3*c = -3*g - 2 - 1. Suppose 0*z + 4*u = c*z + 10, -3*z - 3*u - 24 = 0. Which is bigger: o or z?
o
Let s(c) = 4*c - 69. Let l be s(17). Which is greater: l or -1/16?
-1/16
Let c(a) = a**2 - 11*a + 27. Let w be c(7). Let k be 2 + -6 - w - 1. Are -13/4 and k non-equal?
True
Suppose 60 - 256 = 