ppose -43 + 11 = -2*h. Let s(t) be the second derivative of t**5/20 + 17*t**4/12 - 7*t**3/2 - 39*t**2/2 - 13*t. Let g be s(-18). Which is bigger: g or h?
h
Suppose -3*w + 3*c + 411 = 423, -3*c = 2*w - 12. Is w not equal to -5/2959?
True
Let q(b) = -33*b**3 + 6*b**2 - 18*b + 17. Let r be q(2). Which is smaller: r or -0.02?
r
Let q = -6896 - -6624. Which is greater: q or 0?
0
Suppose 12*b - 90 = 6*b. Let w = -51 - -55. Suppose 3*f - 2*s = -0*s + 32, -2*f + w*s + 16 = 0. Is b not equal to f?
True
Let u = 5431 + -5401. Is -38 at least u?
False
Suppose -5*b + 1 + 14 = 0. Let z = 22 + -11. Let j be (-3 - (1 - 2))*z/(-10). Which is greater: j or b?
b
Let i = -0.65 + 38.65. Let s = i - 47. Let d = s + 11. Which is bigger: 12 or d?
12
Let f be ((-88)/154 - (-1)/14)/((-6)/32772). Which is smaller: f or 2730?
2730
Let d = 5151 - 5149. Which is bigger: d or 72?
72
Let s be 15/(-20) + 11853/(-36). Let w be s/(-1700) - (-1)/10. Which is smaller: -2/3 or w?
-2/3
Suppose -127*x = -114*x - 1352. Is 107 less than or equal to x?
False
Let t = 297.15 + -0.15. Let i = -297 + t. Which is smaller: i or 24?
i
Let v = -103 + 22. Let k = v + 84. Is k greater than 9/5?
True
Let w be (-192)/20*44310/(-56). Is w at least 7597?
False
Suppose 0 = -5*d - 5*p + 85, 0 = -2*d + 2*p + 23 + 3. Suppose d*u + 46 = -14. Is -7/2 at most u?
False
Let p(i) = i + 6. Let x be p(10). Suppose x*c - 11*c + 15 = 0. Let l be -11 - (-11)/(11/6). Which is greater: l or c?
c
Let k be (706/(-2471))/((-9)/21). Is k != -13/23?
True
Let q be -3 - ((-115)/(-46))/(1/398). Are -999 and q unequal?
True
Let b = -5996.006 - -5996. Is 33 greater than or equal to b?
True
Let o = 6.62 - 24.62. Let k = 985 + -1003.08. Let u = k - o. Does 1 = u?
False
Suppose 0 = 3*v - 162 + 48. Let d = 198 + -159. Which is greater: d or v?
d
Suppose 40 = -2*m - 2*n, -5*m + m = 2*n + 80. Let w(a) = 3*a**2 + 62*a + 41. Let q be w(m). Which is bigger: q or -6/29?
q
Suppose 118*r - 125*r = 3983. Is r at most as big as -567?
True
Let p = 19.55 - 13.1. Let l = p + 0.55. Which is smaller: l or -1/12?
-1/12
Let m = -0.185 - 0.015. Let l = m + 1.1. Let w = -9.9 + l. Which is bigger: w or 4?
4
Let f = 7/28260 - -6407927/113040. Is f at most 58?
True
Let b be 16/(1488/667) + (-1)/3 - 5. Which is smaller: b or 2?
b
Let d(p) be the first derivative of 3*p**2/2 + 79*p - 21. Let a be d(-29). Which is smaller: a or -5?
a
Let x = 9683/40 + -268061/280. Which is bigger: x or -714?
-714
Let p = 52.7 - 48.3. Let q be (-3)/(4/((-64)/12)). Suppose 0 = -2*d - d - 5*i - 21, -q*i = -d + 10. Which is smaller: d or p?
d
Suppose 0 = -2*f + 4, -3*j - 10 - 66 = -5*f. Let q = -18 - j. Suppose -4*t = -d + 20, -1 - 7 = 2*d + q*t. Is 32/7 at most as big as d?
False
Suppose 2*z = -3 + 1. Let p be ((-8)/2)/((-30)/135). Suppose -19*w + p = -28*w. Which is smaller: w or z?
w
Let k(b) = -b**2 + 24*b + 2. Let p be k(25). Let j = -14 + 25. Let g = p + j. Which is smaller: g or -10?
g
Let y be 12/(-25256440)*(-794424340)/(-75). Let c = y - 2/57401. Let w = c - -58/11. Which is greater: -1 or w?
w
Let a be 1/(-4)*-10*-4. Let v be (-561 + 558)*((-8)/(-1))/4. Is a at least as big as v?
False
Suppose -u = -0*u. Let a be 744/(-2702) + 244/854. Which is smaller: a or u?
u
Let x(a) = -3*a**3 - 2*a**2 - 11*a + 5. Let f be (2 - -13)/(-26 + 23). Let c be x(f). Do 384 and c have the same value?
False
Suppose 26 = -4*x - u + 1, -2*u + 16 = -3*x. Suppose 0 = 3*r - 6, -148*f + 145*f + 4*r = -4. Let d be (4 - 1)/(x/f). Is d bigger than -4?
True
Suppose 14*o - 2376 = 12*o. Let h = -379 - -171. Let q be (6 + o/h)/(3/(-8)). Is 0 != q?
True
Let x = -13427 + 4489. Is x less than -8939?
False
Let s(p) = 9*p - 61. Let g be s(18). Suppose -4*y + 21 = g. Let t = y + 25. Is 5 at most as big as t?
True
Let d = -6628 + 6588. Is d less than or equal to 1/5?
True
Let b = -1604 + -3164. Is -4767 at least as big as b?
True
Let v be (((-304)/(-6))/((-170)/(-255)))/((-6)/(-93)). Is v greater than or equal to 1176?
True
Let p = -468 - -1871/4. Let s = 37507/20 - 1876. Let k = s - p. Which is smaller: -2/11 or k?
k
Let j(d) = 13 - 5*d + 2*d + 0*d + 13. Let h be j(7). Suppose 22 = -h*t - 3*s, t = 3*s + 14 - 4. Is t greater than or equal to -6?
True
Let y = -41/7 - -6901/1183. Is -1 less than y?
True
Let g be (2/(-4))/((-13)/3). Suppose -2*b + 127 = 77. Let i(z) = -2*z**3 + 50*z**2 + 3*z - 75. Let o be i(b). Is g less than o?
False
Let m = 52680 + -389199843/7388. Which is bigger: m or 0?
0
Let n be ((-25)/(-15))/((-2)/(-339)) - 216/(-432). Which is smaller: n or 311?
n
Let l = -1933.8 - -838.8. Which is smaller: 0.4 or l?
l
Let b = 504.5 + -502.5. Is b smaller than 360?
True
Let a = -339 + 329. Let n be a + (-6 - -14) + 2. Which is smaller: 15/47 or n?
n
Let k = -34.1 - -37.09. Let c = -0.01 - k. Let p = -0.3822 + 0.6822. Which is bigger: p or c?
p
Let j be 37/13 - 3 - (-140)/572. Is j greater than or equal to -43/4?
True
Suppose 86*j - 104*j = 2556. Which is greater: -1/17 or j?
-1/17
Let a be (2 + (-15)/6)/(403/(-286)). Which is smaller: a or 1?
a
Let y be 216/(-354240)*(-4)/(-10). Which is greater: y or 0?
0
Let u = -1.04 - -2.66. Let j = 2.62 - u. Which is smaller: -2/7 or j?
-2/7
Let x(k) = -93*k + 43*k - 2 + 49*k. Let t be x(-1). Is t greater than -28/13?
True
Let s be 427*7/(10 - 3). Suppose 0 = -3*i + s - 169. Is 86 < i?
False
Let v = -42 - -66. Let t(z) = 151*z + v + 150*z - 300*z. Let q be t(-20). Is q less than or equal to 4?
True
Let i = -19101 + 8208. Do i and -2 have different values?
True
Suppose 0 = 5*t + 42*s - 39*s - 4036, -5*t - 2*s = -4029. Are t and 817 nonequal?
True
Let t be -8 - -4 - (7/(-2))/(-1). Let m = 620 + -629. Is m greater than or equal to t?
False
Suppose 24*s - 142 - 50 = 0. Suppose 0 = -5*b - 177 - s. Let d be (-15)/(-12) + 3/(-12). Do b and d have different values?
True
Let o be -1 + 3/6*2. Let u(n) = -n**2 + n + 35. Let l be u(o). Let s = -974 - -1009. Is l at least s?
True
Let q = -1985.00207 + 1985. Are q and 0 nonequal?
True
Let a = 15780 + 1161. Which is greater: 16940 or a?
a
Let g = 8494/5 - 1697. Let u be (-12)/(-7) - (-4)/14. Is u greater than g?
True
Let d be (-1 - 38)/(1173/414). Let f = d - -1204/85. Let b be (-472)/(-237) - 0 - 2. Which is smaller: f or b?
b
Let i be 2*(0 + 1)/(-1). Let c be (-20)/(-5) + (-1 + 2)*i. Suppose 2*q + 2*d - 4 = 0, -c*q - 2*d + 5 = d. Is -4 equal to q?
False
Suppose -129*z + 127*z = -10, 4*t - 10426 = 2*z. Is 2610 less than or equal to t?
False
Let u = 5048 - 5048.1. Which is bigger: -850 or u?
u
Let b be (-394)/(-5319) + (104/54 - 2). Let q be (44/90)/((-2)/(-6)). Is b < q?
True
Suppose -5*k - 2*d + 267 = 0, 0 = -4*k - 5*d + 190 + 10. Which is greater: k or 50?
k
Let y = 40 - 34. Let b be y/(0 + 12/8). Suppose b*z - 10 = 14. Does z = 5?
False
Let l = 7786 + -7788. Which is smaller: 2/4145 or l?
l
Suppose -4*z - b + 3*b - 56 = 0, -b - 62 = 4*z. Suppose -2*k - 2*s = 2*s + 12, -5*s - 15 = 2*k. Suppose -56 = 4*p - k*p. Which is bigger: z or p?
p
Let q(x) = -x**2 + 8*x - 8. Suppose -2*i - 18 = -5*i. Let f be q(i). Suppose -2*z = -f*z + 2. Which is smaller: z or -1/10?
-1/10
Let d = 2134 + -2136. Is d greater than or equal to -573?
True
Let d(k) = k**3 - k**2 + 1. Let s be d(-1). Let r be (-3081)/(-6)*(-16)/(-24). Let z = 343 - r. Which is greater: s or z?
z
Let o = 9.716 - 1.056. Let w = -41.34 - -41. Let y = o - w. Which is smaller: 1 or y?
1
Let g = 2086 - 2087. Do -2/7671 and g have the same value?
False
Let h = 5758 - 8543. Which is smaller: h or 2/7?
h
Suppose -25261 = 38*v + 14753. Which is greater: -1052 or v?
-1052
Suppose -76*k = -103*k + 27. Are k and 89 non-equal?
True
Suppose 3*h - 3*p = 31 - 280, 498 = -6*h - 3*p. Is -79 at most as big as h?
False
Suppose -5*m + 465 = -5*f, 11*f - 14*f + m = 275. Let p be -1 - 9*844/84. Which is bigger: f or p?
f
Let l = -696/23 - -19091/621. Let g(b) = -b**3 + 17*b**2 + 34*b + 77. Let v be g(19). Which is smaller: l or v?
l
Let p be (-6)/(-15) - (-106)/10. Let d(u) = 2*u + 64. Suppose -i - 8 = -3*b + 6, 0 = i - 2*b + 18. Let r be d(i). Is r less than p?
False
Let f = 2642 + -2714. Suppose 5*c - c + 36 = 0. Let j be (-96)/f*1/c*1. Which is bigger: j or 0?
0
Suppose 214 - 218 = -25*n + 29*n. Which is smaller: n or 1/26263?
n
Suppose -221*b + 118*b + 115*b = -89*b. Let m be 4/18 + 