t greater than or equal to 893?
True
Let t(g) be the second derivative of -g**4/12 - g**3/3 - g**2 + 9*g. Let d be t(0). Let q be d/(-8)*11 + -4. Which is greater: -2 or q?
q
Suppose v - 24 = -3*v. Suppose 5 - v = a, -3*c = -a - 1. Suppose 6*s + 23 - 35 = c. Is -17 < s?
True
Let o be 100/(-1750) + (-2)/(-35). Let g(l) = 2*l**2 + 16*l. Let x be g(o). Let d = -2/307 - 289/2763. Which is bigger: x or d?
x
Let j = 4467 - 3498. Is 2/9 smaller than j?
True
Suppose 58*z + 72*z - 130 = 0. Which is smaller: 3/853 or z?
3/853
Let b = 196 - 199. Let h(r) = r**3 - 9*r - 1. Let t be h(b). Is 9/43 greater than t?
True
Let s(b) = -2*b**2 + b + 1. Let a(p) = 9*p**2 - 15*p + 29. Let z(y) = a(y) + 4*s(y). Let v be z(15). Is 93 at least v?
True
Suppose 3*q + 165 = 8*q. Suppose 5 = 14*w + q. Is w at least -12/11?
False
Let d be 77/(-28)*-4 - 56. Is 2/15 bigger than d?
True
Let t = 12.74 + -86.84. Let x = 11.9 - t. Let s = x + -85. Which is smaller: s or 24?
s
Suppose 4*s - 12 = -2*g, g + 2*s = -2*s + 10. Let n be -6*9/(27/g). Does n = -1?
False
Let l = -52/137 - -30590/79871. Let a(o) = -o**2 + 10*o + 11. Let u be a(11). Which is smaller: l or u?
u
Let w = -616 - -689. Is w > 70?
True
Let l = -0.1116 - 63.8884. Are 2.7 and l equal?
False
Let w = 2 + -2. Suppose -y + w = -4. Suppose -2*f + y*t - 35 = 3*f, 0 = -3*f - 4*t + 11. Is f at most 1?
True
Let w = 5201 - 5116. Is 67 > w?
False
Suppose 2 + 5 = -14*h - 7. Let f be (1/(-8))/((-26)/(-8)). Is f greater than or equal to h?
True
Let m be 0/(-4)*(-3)/12. Suppose 2*b + 2*o - 64 = m, o = 4*b - 87 - 16. Is b at most 24?
False
Let x = -289.78 + 283.78. Which is greater: x or 22?
22
Let r = -29694 + 32355. Is 6 > r?
False
Let n(w) = 3*w**3 - 202*w**2 + 85*w - 432. Let f be n(67). Does 1/2 = f?
False
Let h be 6*-2*(-1 - (-245)/56). Let m = 731/18 + h. Suppose -2*q + 4 = 5*v, 0*v = v + 4*q - 8. Is m at least v?
True
Let m = 25 + 1. Suppose -2*b - 20 = 4*s, -b - m = -3*s + s. Suppose -740*f + 750*f + 190 = 0. Is b less than f?
False
Let k = -10727/63 + 437/9. Let n = -132 - k. Which is smaller: n or -11?
-11
Suppose 10*w - 30 = -170. Suppose -12 - 41 = -4*y - x, 5*x = -15. Let g = y + w. Which is smaller: -4 or g?
-4
Let d(l) = l**3 - 14*l + 20. Let q be d(2). Which is smaller: 96/77 or q?
q
Let t = 459140 - 2264312/5. Let a = t + -157164/25. Let z = a - -9. Are 1 and z unequal?
True
Let q be (-18)/(-9)*6/(-4) + 68. Is q not equal to 907/14?
True
Let k be (-12*9)/(18/12 + -3). Let q be 0 - (2/9 - (-9200)/k). Is -128 greater than q?
False
Suppose -5*x - 54 = -2*u - 20, -u + 4*x + 14 = 0. Suppose -702 = -u*b + 19*b. Is 232 <= b?
True
Let m be (3 + 986/(-323))*1338. Which is bigger: -69 or m?
-69
Let y(v) = 3*v - 8. Let w be y(-2). Let d be ((-7)/w)/((-2)/384*-3). Which is smaller: d or 31?
31
Let z = -5823/2 - -110639/38. Suppose 0 = -4*k + 4*o + 52, -3*k + 77 = 2*k - 2*o. Let w = k - 18. Which is smaller: z or w?
w
Suppose -5*z = 15, -5*v + 3*v - 5*z = 15. Suppose v*b = 5*b - 530. Let p be 2/12 - b/(-12). Is 11 at least p?
True
Let b = -13468 + 12465. Is -2 > b?
True
Let w be 316 + ((-20)/8)/(1/(-2)). Let v = -464 + w. Which is greater: -142 or v?
-142
Let b(v) = -670*v - 4019. Let p be b(-6). Is p at most 1/4863?
False
Let o(r) = r**2 + 3*r - 9. Let l be o(9). Suppose -98*j + 89*j - l = 0. Which is smaller: j or -132/13?
j
Suppose -56*f + 55*f - 5 = 0. Let z(g) = -28*g. Let c be z(1). Let w = c + 55/2. Which is greater: w or f?
w
Suppose 5*g + 28 = -y, -y + 2*g + 2*g = -17. Let u be (-73)/76 + y + (-30)/(-8). Let d = -30.4 - -31.4. Is u smaller than d?
True
Suppose 0*v = 2*v + 4, -p + 4*v = -4. Let m(y) = y**2 - 2*y - 4. Let u be m(p). Suppose -6*s - 32 = -u. Is s greater than -5/6?
False
Let m be (-20)/(-80) - (-79)/4. Let u(g) = -2*g**2 + 41*g - 2. Let f be u(m). Which is greater: 35/2 or f?
f
Let a be 1/(-2) + (-2)/(2 - 6). Which is smaller: 86/61 or a?
a
Let v(g) be the first derivative of 2*g**3 + 4*g**2 - 1/4*g**4 + 13 - 4*g. Let a be v(8). Is -68 at least a?
True
Suppose -3*s + 11 = 4*c, -9*c + 5*c = 4. Suppose s*j - n = 13, 8*j - 1 = 9*j - 2*n. Do -6 and j have the same value?
False
Suppose 4*u = 2*u - m + 10, 4*u + m = 18. Suppose u*c + 4*w = 4, -4*w + 2*w = c + 4. Which is smaller: 8 or c?
c
Let b(g) = 157*g**3 - g**2 - g + 1. Let j be b(2). Suppose 13*s + j = 1264. Let a = -2797 - -388786/139. Is a at most as big as s?
True
Suppose -4*g + 2 = 2*d + 46, 0 = -4*d + 3*g - 110. Let r = d - 11. Which is smaller: -38 or r?
-38
Let x = 883634/2717 - 3578/11. Is 0 >= x?
True
Let t = -25 + 19. Let x = 81.95 - 82.02. Is x <= t?
False
Suppose 14*g - 22*g - 48 = 0. Let n(a) = -a - 6. Let x be n(g). Let z be (1 + 27/(-25))/(-2). Is x at least z?
False
Suppose -5*d + 3*g = -21, 3*d - 8*g = -3*g + 19. Let o(p) = 0 - 167*p + d + 169*p. Let s be o(-3). Which is greater: -7 or s?
s
Suppose -5*t - 4*u = -1454, t - 3*u - 2*u - 314 = 0. Suppose -2*n = 2*n + 2*w + t, -2*n - 150 = -2*w. Suppose 2*o - o = -75. Which is smaller: n or o?
o
Let x be -8 + (-18)/(4266/(-2049)). Is 2 at most x?
False
Suppose -5*z - 1558 + 3318 = 0. Which is smaller: 357 or z?
z
Let t(n) = n**2 + 9*n + 8. Let i be t(-8). Suppose 5*m + 4*g + 21 = i, -4*m + 3*g = -g - 12. Are -3 and m equal?
False
Let f be (2 - 7 - (-4 - -1))/(78/2412). Which is smaller: -61 or f?
f
Let a(t) = t**3 + 4*t**2 + 4*t - 4. Let w be a(-4). Let c = 15162 + -15182. Is c <= w?
True
Let g be 37/(-111) - 58/(-3). Suppose -2*h = o + 11, -2*h = -4*h + 5*o + g. Is h at least -78/19?
True
Suppose 2*t + 5 - 29 = 0. Let f be t/5 - (36/15)/6. Suppose -c = -f*c. Which is greater: c or 0.08?
0.08
Let d = 43 - 35. Let l be (-4)/((-3)/6*d). Let g be -3 + l + (-555)/(-275). Is g at least as big as -1?
True
Suppose -2*u - 1 = 3, 0 = n - 5*u - 11. Let p be n/(-5) - 3720/(-100). Suppose p*v - 42*v - 10 = 0. Which is bigger: -7 or v?
v
Let s(w) be the third derivative of -13*w**5/60 + w**4/6 + 4*w**3/3 + 103*w**2. Let i be s(-3). Which is smaller: -123 or i?
-123
Suppose -3*q - 4*d = -6045, 5*q = 6*q - 3*d - 2002. Is q less than 2009?
False
Suppose 0 = -5*o - 7*o + 708. Let i = o + -60. Which is bigger: i or -2?
i
Let x be 8/36 + (-200)/(-72). Suppose -5*m = -v - 20, 5*m - 30 = x*v - 10. Is v greater than or equal to 2/371?
False
Let m(r) = -6*r + 7357. Let c be m(0). Is 7357 equal to c?
True
Let i = -745 + 192. Let z = i + 563. Which is greater: z or -2/13?
z
Suppose 2*u - 10 = 2*j, -38*j - 2*u = -35*j - 10. Let z = -33672 + 55390438/1645. Which is bigger: z or j?
j
Let g be ((-8)/(-10))/((-31)/46686). Let q = 1194 + g. Which is smaller: q or -11?
-11
Let b = -4595 + 4566. Which is bigger: b or 0.086?
0.086
Let p be -93 - -102 - 28389/3159. Is p greater than 0.1?
False
Suppose 5*q - v = 0, -4*q - 7*v + 6*v = 0. Suppose -4*o = -0*h + 2*h - 690, -2*h - 2*o + 684 = q. Is 339 at most as big as h?
True
Let q(y) = y**3 + 6*y**2 + 5*y + 1. Let g be q(-4). Let j be ((-140)/(-372))/(-5)*3389/(-20). Let s = -2/465 + j. Is g less than s?
False
Let m(z) = z**3 + 15*z**2 - 17*z + 5. Let d(i) = -8*i**2 + 8*i - 3. Let n(c) = 5*d(c) + 2*m(c). Let l be n(4). Does -6 = l?
False
Let y = -3298 + 3298.1676. Which is smaller: y or 1/4?
y
Let s be (-2)/(-6)*(-2)/(-4). Let c = 0.061 + -269.061. Let q = -269.3 - c. Is s smaller than q?
False
Suppose 2 = -2*r - 4*z + 4, 5*z = 3*r + 8. Let a(w) = -w + 19. Let t be 65/9 + 8/(-36). Let v be a(t). Is r at least as big as v?
False
Let o = -33 + 11. Suppose 5*u + 5*y = 220, 7*u - 3*u = 5*y + 203. Let t = u - 70. Which is greater: t or o?
o
Suppose -v - j = -3*j - 657211, -5*v + 5*j + 3286070 = 0. Let a = -4323830452/6579 + v. Let u = a + -8/153. Is 0 less than or equal to u?
False
Suppose -6*b + 10*b = 5*l + 3205, -6*b = 5*l - 4845. Let d = 1268 - b. Which is bigger: d or 462?
d
Let q be (-10)/(-2 + 9/4). Let h = -34 - q. Suppose -s - 2*m + h*m = 32, s = -m - 7. Is -12 bigger than s?
False
Let s = -254/27 + 55291/5886. Let t be 7/(-49) - 208/(-182). Which is bigger: t or s?
t
Let p = 7205/6 + -207925/174. Which is smaller: p or 5?
5
Let u = 23 - 15. Suppose 27 = -5*g + 47. Suppose 5*a = s - 29, 3*s - 16 = g*s + 4*a. Is u less than or equal to s?
False
Suppose 2*v = -5*y + 3, 3*y + 23*v - 7 = 27*v. Is y at least as big as 3/4723?
True
Let u = -206/21 + 2308/231. Let a = -21 + 17.8