 p**4/24 - p**3/3 - p**2/2 - 2. Let r(b) be the second derivative of z(b). Let a be r(3). Which is greater: -1/4 or a?
a
Let p be (4 + -2)/(-24 + 1). Which is smaller: 1 or p?
p
Suppose -4*w - 253 = -45. Which is greater: -50 or w?
-50
Let s be (-2)/(-3) - (-49 - -2). Let x = -79 + 127. Let k = x - s. Which is greater: 0 or k?
k
Let g be (-4)/16 + (-22)/8 - 3. Is g greater than or equal to -6?
True
Let b be (4 + -3)*0 + 0. Suppose b = v - 4. Let k be (20/6)/(2/3). Which is smaller: k or v?
v
Let f be (84/10)/((-99)/(-220)). Which is smaller: 18 or f?
18
Suppose 3*b = -3*o - 15, -4*b + 7*b - 57 = 5*o. Let p = 1 - 8. Is o < p?
True
Let o(b) = -b - 2. Let p be o(-5). Let x be (-4)/((-9)/p*2). Which is greater: x or -1?
x
Let n = 3 + -2. Suppose 0 = 2*b + 2*y - 12, -b + 4*y = -2*b + 9. Let v be 31/35 + (-3)/b. Are v and n nonequal?
True
Suppose 0 = 2*u + 4 - 2. Suppose 25 = w + 4*w - 5*p, -14 = 2*w + 4*p. Which is bigger: u or w?
w
Let z = -55 - -54. Which is greater: z or 3/19?
3/19
Let x = 14 + -8. Let g = x - 6. Suppose g = o - 6*o. Which is smaller: -1/7 or o?
-1/7
Let g = 24242/25 - 970. Does g = 1?
False
Let t = -550/12291 - -4/723. Is 0 at least as big as t?
True
Let v = 2.7 + -3. Is 2/35 at least v?
True
Suppose 2*n = 2*j - 4, -3*n + 4 = -11. Which is smaller: j or -0.6?
-0.6
Suppose 6*i = 5 + 7. Let x = i - -7. Which is smaller: 10 or x?
x
Suppose 4*l = 5*t + l - 35, 0 = l + 5. Suppose 0 = -r - 3*d + 4 + 9, t*r - 5*d - 35 = 0. Suppose -6*f - r = -f. Is f greater than -2?
False
Suppose -5 + 1 = 4*n + 4*s, -s = 2*n - 1. Suppose -a = -0*a + n. Which is greater: -1 or a?
-1
Let x = 36/5 - 463/65. Is 1 >= x?
True
Let u be (-4)/(62/(-16) - -4). Is -31 greater than or equal to u?
True
Let y = 169/35 - 45/7. Which is bigger: y or -3?
y
Let s be (0*(-8)/16)/(6/(-2)). Let h be (-33)/108 + (-2)/(-8). Are h and s equal?
False
Suppose -13 - 19 = 2*c + 2*y, -c - 7 = -2*y. Is c smaller than -10?
True
Let j(f) = -5*f - 4. Let q be j(-4). Let n be (q/24)/(52/(-6)). Let p = -0.4 + 0.3. Which is smaller: n or p?
p
Let u = 4999/19 + -263. Let h(l) = -9*l**3 - l**2 + 5*l - 6. Let o(a) = -4*a**3 - a**2 + 2*a - 3. Let v(y) = -3*h(y) + 7*o(y). Let b be v(-4). Is b at most u?
False
Suppose -2*q + 5*u - 19 = 2*q, -14 = -q - 5*u. Let l = 1513/7 + -217. Which is greater: q or l?
l
Suppose -7*i = -3*i - 2*q + 2, -5*i - 4*q - 22 = 0. Let x(r) = r + 1. Let m be x(i). Is -1 at least m?
True
Suppose -5*z = 5, 3*z - 3 = -4*q + 2*z. Suppose 0 = -5*r + 5 - 15. Let c be (-21)/7*r/33. Is c at least q?
False
Let s = 2 - 3. Let o = s + 0. Suppose u - 14 = 4*d, 0*d = -4*u + 2*d + 14. Is u less than o?
False
Suppose -2*l - 5*z + 17 = -l, -2*l = z + 2. Which is smaller: l or -15/8?
l
Let d be 2/2 - (-14)/2. Let t = d - 9. Which is bigger: -4/5 or t?
-4/5
Let j = 0.5 - 1.5. Which is bigger: j or 2/17?
2/17
Let n be 1/((-1)/(-4)) - 7. Which is smaller: -4 or n?
-4
Suppose k + g + 4*g = 16, 5*g = -3*k + 18. Let m be (-4)/6 + 52/42. Which is smaller: k or m?
m
Suppose 114*k + 25 = 113*k. Is k at most as big as -25?
True
Let j be ((-3)/(-2))/(2/12). Suppose 0 = -7*r + 34 + 29. Are j and r nonequal?
False
Suppose -4*i = 16, -3*y - i = 2*y - 11. Suppose -4*m - 3 = 1. Let a be 4/2 + 0 - m. Is a at most as big as y?
True
Let r be 1/(-27)*106 - 12/(-3). Is 1 > r?
True
Let v be (-2)/2*(-3 + -3). Suppose 2*d = 5*y, -5*d = -2*y + v*y. Let k be (-1)/24 + (-1)/3. Which is bigger: d or k?
d
Let v = 3.02 - 0.02. Let n = v + -2.75. Let f = n - 0.05. Is f smaller than 2/3?
True
Let x(l) = 4*l**2 - l + 1. Let j be x(-2). Which is smaller: j or 58/3?
j
Let s = 0 - -2. Let j(h) = -s*h - 2*h + 3*h + 7. Let c be j(8). Which is smaller: -1/3 or c?
c
Let r = 0.104 - -6.896. Which is smaller: r or 0.09?
0.09
Let m = -2 + 2. Let q = 4.03 - 0.03. Let f = q - m. Is f bigger than -1?
True
Let f be 4/18 - (-374)/(-1035). Let c = f + -6/23. Let a(h) = -h - 1. Let y be a(0). Is y < c?
True
Suppose -2*k - 44 = -4. Do k and -18 have different values?
True
Let l be (-3)/(11/(-4) + 2). Which is greater: l or -0.1?
l
Let i = 0.33 + -0.33. Let n = -3 - -1.9. Let m = n - -0.1. Is m bigger than i?
False
Suppose 0 = -6*y + 2*y - 24. Let r be ((-6)/(-4))/(-21 + y). Is 1 at least as big as r?
True
Suppose 3*g - 5*v + 127 = -g, 134 = -4*g - 2*v. Let j = g + 95. Let r = j + -309/5. Which is smaller: r or 0?
0
Let g = -1 + 4. Let k be -2 + (-5)/4 + g. Is k greater than or equal to 4?
False
Let o be (-309)/(-21) + 2/7. Suppose o = 3*q - 0*q. Suppose g + 2*d + 7 = 0, q*g - 2*d = -d - 2. Is -2/9 at least as big as g?
True
Let h be 3/6 + (-2)/(-4). Suppose -4*r + 6 = -c - 21, -2*r + 81 = -3*c. Let i be (-33)/(-27) - (-6)/c. Is h <= i?
True
Let m = -153/715 + 2/143. Which is smaller: m or 6?
m
Let l = 0.06 - -3.94. Let k = 25.6 + -30. Let u = l + k. Is 0 at most as big as u?
False
Suppose 379 - 39 = 5*s. Is s greater than or equal to 68?
True
Let d = -16 - -17. Which is smaller: -2/7 or d?
-2/7
Suppose 2*l = -5*r - 1 - 17, -3*r - 10 = l. Let i = l + 6. Is 2 less than or equal to i?
True
Suppose -3*w = -5 + 2. Let c be -8 - -5 - -1*w. Let k = -1 - c. Which is smaller: k or -1?
-1
Suppose 6*g - 5 = g. Are -3 and g nonequal?
True
Suppose -2*f - 2*z = 2, 3*z = -3*f - z - 8. Let y be (-1 - 0)*-1*2. Suppose 4*c = 5*s + f, 5*c = y*s - 6 - 6. Is s greater than -3?
False
Suppose 2*t = -0 + 6. Suppose -5*y = -0*v + t*v - 13, 0 = v - 1. Let m be (y + -4)/(1/3). Is -5 at least as big as m?
True
Suppose 15 = -2*h - x + 5, 4*h + 20 = -4*x. Let b be (2 + -10)/(4 + h). Which is smaller: b or 9?
b
Let w = 227/10 - 6977/310. Are w and -2 non-equal?
True
Let b = 27 + -18. Let v be (b/6)/(-1)*2. Is -3 greater than or equal to v?
True
Let i = -0.8 - -0.74. Let v = -97.06 - -98. Let t = i - v. Is 3/7 bigger than t?
True
Let n be 5*1/5*-1. Which is bigger: n or 2/121?
2/121
Let g = 0.639 - -3.331. Let f = -6 + 2. Let q = f + g. Is 1 at most as big as q?
False
Suppose -3*f - 7 - 5 = 0. Let j be (f/3)/(2/3). Which is bigger: -5/4 or j?
-5/4
Suppose -j + 18 = d - 5*j, -20 = 4*j. Let x be d/((-8)/(-28))*1. Is x != -5?
True
Let j = -18 - -10. Let t be 2 + ((-66)/j)/(-3). Which is smaller: t or -2?
-2
Let d = 95/1886 + 3/82. Suppose -2*h + l = -2 - 1, h = -2*l - 1. Is d at least as big as h?
False
Let d(m) = m - 8. Let u = -14 - -21. Let k = 15 - u. Let f be d(k). Is 1/6 greater than f?
True
Let k be 2/(-10) + (-1)/(-5). Suppose g - z = -k*z - 2, 4 = -5*g + 3*z. Let s(r) = -r**2 - 8*r. Let d be s(-8). Is d equal to g?
False
Suppose -1 = 4*b + 3. Suppose 3*p = 4*p. Let y be (1 + p/b)*2. Is y smaller than 5?
True
Suppose -2 = 5*n + 108. Let q = 112/5 + n. Which is bigger: q or -2/7?
q
Suppose 12 = 5*d - 7*d. Let i = -12 - -6. Let v = d - i. Which is greater: v or -2/23?
v
Suppose -148 = 10*v + 82. Is v smaller than -20?
True
Let h = 34 - 176/5. Let q = 8 + -10. Is q bigger than h?
False
Let j = -103 - -314/3. Is j greater than or equal to 4?
False
Let l(q) = q**3 - q**2 - 5*q + 2. Let p = -3 + 6. Let h be l(p). Suppose -5 + 0 = h*v. Which is bigger: v or -1/6?
-1/6
Let z = 3 - 6. Let t be (-5 + 7)*(-5)/(-2). Suppose 0 = -t*f - 22 + 2. Which is smaller: z or f?
f
Suppose 0 = -5*h - 3*z + 48, -4*h - z + 18 + 19 = 0. Let u(m) = m - 10. Let l be u(h). Suppose v + 6*v = 0. Which is smaller: l or v?
l
Let z(k) = -k - 1. Let l be z(-4). Suppose -5*v + v = -4*q - 32, l*q = -4*v - 3. Suppose 4*f - v*f = 1. Which is smaller: f or -2?
-2
Let j = -22 + 25.1. Let v = 2.1 - j. Let b = -1 - -1.1. Is v >= b?
False
Let z(l) = l**2 + 7*l - 4. Let u be z(-8). Suppose -u*g + 7*g - 2*v = 13, 4*v + 20 = 0. Are 0 and g unequal?
True
Let v(k) = k**3 + 13*k**2 - 11. Let i be v(-13). Suppose -3*r - 2*r - 70 = 4*f, 3*r - f + 25 = 0. Which is bigger: r or i?
r
Let w(p) = p**3 - 4*p**2 + 4*p - 4. Let k be w(3). Is -3/5 at most k?
False
Let s(x) = 0*x + x - 3 - 1. Let t be s(5). Let n = -27/28 - -5/4. Which is smaller: t or n?
n
Let r = 2 + 3. Let z = -71 - -73. Which is bigger: r or z?
r
Let r = -2 + 5. Suppose -5*y + 2*y = 4*h - 16, y - 1 = r*h. Is 2 <= y?
True
Suppose 4*y - 9 = 27. Is y less than or equal to 8?
False
Suppose 2*l + 2*l - 155 = 5*y, y = 4*l - 47. Let g = -107/4 - y. Suppose 5*w = -4 - 1. Is w at most as big as g?
True
Suppose 2*v = 0, 5*x = -0*v - 2*v + 5. Is x at most 