cond derivative of p**3/2 + 5*p**2 + 21*p. Let k be q(-3). Which is bigger: k or -1/63?
k
Let b = -19 - -18.8. Let n = 1.06 + -1. Let z = n - 0.56. Is z smaller than b?
True
Let v(l) = l**2 + 2*l + 1. Let w be v(-3). Suppose 0 = -2*s - y + 7, 0*y + 5 = s + 2*y. Is w < s?
False
Let a be ((-172)/140)/((-15)/25). Let d = -79/21 + a. Which is smaller: 0.1 or d?
d
Let s be 0/(-3*(-6)/(-9)). Let k = -129 + 519/4. Is k > s?
True
Let w = 0.032 + -96.032. Let f = w + 87. Which is smaller: f or 0?
f
Let f = 2 + -3. Let t be (-6)/9 + (1 - 2). Let s = t - -2. Which is greater: s or f?
s
Let w be ((-1)/(-3))/(1/(-3)). Which is greater: -5/7 or w?
-5/7
Let k(h) = -5*h. Let c be k(-1). Suppose -2*n + 2*d = -10 + 4, 0 = -n - 4*d + 13. Suppose -g = 4*f - 3*g + 26, -c*f + n = 5*g. Is f at most 4/5?
True
Let g = 10 - 22. Let j be (g/63)/(12/14). Suppose 2*a - 2*s = 8, 4*a - 221*s = -218*s + 11. Which is smaller: a or j?
a
Suppose 14*b + 1 - 29 = 0. Is -278 equal to b?
False
Let i be ((-1624)/10)/(-4) - 1. Suppose 4*n + 41 = -119. Let s = n + i. Is 0 less than s?
False
Let f be (-6)/(-4)*2/12. Let y = -42 + -70. Let v = -112 - y. Is v >= f?
False
Suppose -9*v + 76 = -50. Is -34 equal to v?
False
Let z(i) = -2*i**2 - 7*i + 15. Let y be z(-5). Is y < 3/139?
True
Suppose -2*k + b = -2 - 2, -5*b = -20. Let q = -15 + k. Let c be -17 - -2 - (2 + -6). Is c smaller than q?
False
Let r(x) = -x**3 - 6*x**2 - 5*x + 11. Let g be r(-4). Is -3.79 equal to g?
False
Let o(s) = -19*s**2 - 77*s - 3. Let b be o(-4). Is b less than or equal to -3/184?
False
Suppose -v - 3*r = 4, -2*v + 4 = -4*v - 2*r. Let z = -306/5 - -27836/455. Is z bigger than v?
True
Let t be (-63)/6*(-4 + 10/3). Suppose -t*h + 25*h = 36. Let d = 5/22 + 63/110. Which is smaller: d or h?
d
Let b(f) = 11*f**3 - f. Let t be b(-1). Let z = 16 + t. Let s be (-12)/8*4/z. Which is greater: -4/17 or s?
-4/17
Let q = 292 + -274. Let t(r) = 3*r - 2. Let m be t(4). Let j = m - -7. Do q and j have different values?
True
Let g = -2 - -2. Let k = g - -2. Let f = 0.9 - 1. Which is greater: k or f?
k
Let d be -9 + (-702)/(-171) - -5. Which is smaller: -34 or d?
-34
Let j be (6 + -8)/(6/429). Let f be (13/j)/((-1)/(2/(-6))). Which is smaller: -1 or f?
-1
Suppose -6*k - 3987 = -9*k. Let d = 77079/58 - k. Is 0 at least d?
True
Let r(d) = -2*d**3 - 47*d**2 + 20*d - 33. Let c be r(-24). Which is bigger: c or 446/7?
446/7
Let m = -5.11 - -5.17. Let g = -0.2 - 0. Is m greater than g?
True
Suppose -7*j + 86 = 3*u - 5*j, 2*j - 8 = 0. Let b(x) = -x**3 - 2*x**2 + 3*x + 5. Let t be b(-4). Is t < u?
True
Suppose q + 386 = 3*t, q = t + 149 - 539. Is -392 < q?
False
Suppose -5*a + 310 = 2*i, -4*a + 15*i - 19*i = -260. Suppose -2*d - 8 = -6*d, t = -2*d + 65. Which is bigger: a or t?
t
Suppose -6*w - 255 = -w. Let a = w + 46. Is a at most as big as -5?
True
Suppose -7*b - 26 = -2*b + 2*r, 3*r + 5 = b. Let a be ((b + 3)*22)/2. Is -12 > a?
False
Suppose -9*b = -21 - 87. Is b at least 14?
False
Let v(u) = -2*u - 11. Let b(w) = 3*w + 22. Let o(z) = 3*b(z) + 5*v(z). Let i be o(6). Suppose -i*g + 14 = -3*g. Is 6 at least g?
False
Suppose -5*v = 2*c - 28, 0 = c - 60*v + 64*v - 23. Suppose 0 = -y - 2*y. Suppose -155 = -5*j + 5*o, y*j + 51 = j - 5*o. Is c > j?
False
Let q(n) be the third derivative of n**4/8 + 7*n**3/3 - 13*n**2. Let w be q(-5). Is w greater than or equal to -2/51?
False
Let f(l) = 29*l**3 - 2*l**2 - 3*l - 2. Let r be f(-1). Let x be ((-2)/10)/((-2)/(-4)). Which is greater: x or r?
x
Let k = -338 + 339. Let a = 381/2737 - -6/161. Which is greater: a or k?
k
Let l = 0.029 - 5.029. Let c(g) = g**3 + 5*g**2 - 5*g + 3. Let m be c(3). Let f be (-5)/(m/8) - -2. Which is smaller: f or l?
l
Suppose -2*y = 599 + 171. Let f be ((-14)/y)/(0 - (-1)/(-5)). Which is smaller: 2 or f?
f
Let l = -167549/91 - -31418/13. Let v = 577 - l. Let n be (2 - 3)/(-1)*0. Are v and n equal?
False
Let a = 1994.0092 - 1994. Are 1 and a unequal?
True
Let m(c) = -c**3 + 10*c**2 - 6*c + 6. Let y be m(8). Let r = 256/3 - y. Which is bigger: -1 or r?
r
Let x be (0 + 0)*25/50. Suppose 5*f - 2*o + 42 - 10 = 0, 0 = -2*f + 4*o. Let q be 2/(-10)*4/f. Is x <= q?
True
Let w = 1083 + -1085. Suppose 0 = 3*b + 2*i + 4, 4*i + 0*i = -5*b - 4. Is w less than b?
False
Let a(g) = -g**2 - 3*g + 4. Let v be a(-6). Let z = -7 - v. Let w be 34/(-12) + z + -4. Which is bigger: 0.1 or w?
w
Let j = 421363/7 - 60031. Let m = 164 - j. Suppose -2*f - 12 = -3*n, -2*n = -3*f - f - 8. Is m at most f?
False
Let c(x) be the first derivative of x**2/2 - 4*x + 5. Let m be c(6). Suppose 2 + 0 = -m*j. Which is smaller: j or -0.3?
j
Let n be ((-2)/(-4))/(135/1560). Let p = n - 58/9. Is p greater than 0?
False
Let b = -17 + 37. Suppose 0 = -3*u - 2*u + b. Let l = u - 3. Is -0.05 smaller than l?
True
Let q = -1182 + 1181.9. Is 9/4 bigger than q?
True
Let g(y) = -y**3 + 15*y**2 - 50*y - 5. Let x be g(10). Let r(l) = -l - 1. Let b be r(4). Is b >= x?
True
Let x = -216 + 216. Is x greater than or equal to -1/115?
True
Let v be 11 + (2 - -8)/5. Let i = -13 + v. Is -1/28 less than or equal to i?
True
Let b be ((-6)/3)/((-1)/6). Suppose 0*a + 4*a = b. Suppose 0 = -y - 3*i - 4, a + 5 = 5*y + i. Is y smaller than 2?
False
Let s(a) = 19*a**3 - a - 1. Let l be s(-1). Is -10 greater than or equal to l?
True
Suppose 3*z + 6*q - 4*q = 90, 5*q - 150 = -5*z. Suppose a + z = 3*v - 16, 0 = -5*a - v - 214. Which is bigger: a or 1?
1
Let x be (-10)/14 + 58/(-203). Let q be x/(-2)*(27 - 29). Is 2/27 <= q?
False
Let y be 2 + (-11)/((-18150)/(-3324)). Which is bigger: 1 or y?
1
Let d(n) = 14*n - 63. Let k be d(17). Does k = 174?
False
Let y(w) = 2*w + 3. Let c be y(2). Suppose 0 = 3*a + 4 - c. Is 1 smaller than a?
False
Let g = -11.54 + -1.16. Which is smaller: g or 1?
g
Let j be ((-35)/(-14))/((-2)/68). Let r = j - -56. Let l = -41 - r. Are l and -12 equal?
True
Let h(j) = -2*j - 5*j + 17 + 4*j. Let k be h(5). Is 8/11 > k?
False
Suppose -7 = s - 8. Let w be (s - 2)*9/(-27). Which is greater: 2 or w?
2
Let h be 161/4 + 5/(-20). Let f be 2/3*(-2)/h. Let y be (0/(0 + 3))/(-1). Which is smaller: f or y?
f
Suppose 2*u + 2*k - 8 = 0, -3*u + 17 = 5*k + 3. Let y be (u/9)/(4/(-36)). Is -30/13 < y?
False
Let f(b) = -2*b**3 + 6*b**2 + 5*b - 5. Let r(j) = j**3 - j**2 + 1. Let q(l) = -f(l) - r(l). Let d be q(4). Which is smaller: d or -33?
-33
Let n = -1136/3423 + -8/163. Let o = 2/3 + n. Let u = -0.999 + -0.001. Which is bigger: o or u?
o
Let n = -29 + 10. Let a = n + 11. Let q be (8/25)/(a/20). Which is greater: -1 or q?
q
Let n = 0.5 + -10.5. Let u = -1/413 + 17/59. Are u and n equal?
False
Let n be 238/(-108) - (-4)/2. Let c = 311/1350 + n. Let x be -4*(-77)/(-28) - -11. Which is greater: x or c?
c
Let p be ((-30)/25)/(3/(-15)). Let t be 45/(-24)*p/(-5) + -2. Which is smaller: t or -29?
-29
Let n be (-6)/(-16) + 4990/(-80). Is n equal to -63?
False
Let a(o) = -o**2 - 7*o - 6. Let y be a(-4). Let v be (3*6)/(-7 + y). Let d(r) = r**3 - 5*r**2 + 3*r + 3. Let j be d(4). Is v at most j?
True
Let n = -392/2035 + -3/407. Which is smaller: n or -2.14?
-2.14
Suppose -2*v = 49 - 45. Which is greater: v or -32/23?
-32/23
Let u be (4 - 315/14)/((-41)/(-17)). Let i be (-4)/(-82)*(-1)/(-12). Let c = u + i. Is -8 bigger than c?
False
Let c be 2 + 6 + (-16 - -5) + 6. Let b = -8 - -1. Let n be -2*(0 - (-6)/b). Are n and c equal?
False
Let b = 0.004 - 24.004. Let d = 22 + b. Is d at most -0.01?
True
Let o be 6/8 - (-108)/(-16). Let r be o/112*(-36)/54. Which is greater: r or 0?
r
Let q(v) = 8*v**2 + 3*v + 3. Let j be q(0). Which is bigger: 27/11 or j?
j
Suppose -3 = -j - 2*j. Let f be (4/(-246))/(j/3). Which is bigger: f or 0?
0
Let w = -472 + 13728/29. Is w greater than or equal to 1?
True
Let j = 1276 + -1947. Is -671 < j?
False
Suppose 30 = -h + 6*h. Suppose 2*a - 86 = i, a + 5*i + h - 71 = 0. Let y be a/105 - 5/7. Which is smaller: 7/6 or y?
y
Let m be 2/(-3)*(-24)/(-16). Which is smaller: m or 8/139?
m
Let c = -1808 - -1791. Is -58 < c?
True
Let z(d) = d**3 - 5*d**2 - 6*d + 7. Let o be z(7). Let m be 7/o - 49/9. Is m less than or equal to -6?
False
Let b = 1234/87 + -410677/29058. Let h = -13/334 + b. Which is bigger: h or 0?
h
Suppose 5*q = 60 - 130. Which is greater: -77/5 or q?
q
Suppose 3*g = -2*o + 33, -6*o + 3*g = -2*o - 39. Let v be o/8*(