) be the third derivative of -o**6/120 + o**5/6 + o**4/2 - 11*o**3/6 - 2*o**2. Let b be g(11). Is b at most -1/26?
False
Suppose -2*a + 12 - 4 = -5*p, 0 = -2*a + 8. Suppose -6*i - 53 + 263 = p. Which is bigger: i or 33?
i
Let u be -18 - (13674/(-456) - -12). Suppose -4*g + 7*g = 3. Is u bigger than g?
False
Let b(d) = d**2 - 5*d + 2. Let o be b(3). Let k = 7 + o. Let s be -1*k + -4 + -2. Is s <= -10?
False
Suppose -60*u - 519 = -57*u. Is -172 greater than or equal to u?
True
Let p be (20/6)/(142/6). Let o = 498/497 + p. Which is smaller: 1 or o?
1
Let j = -26 - -38. Let z be (3/(-2))/(15/35). Let r = -4 - z. Which is smaller: j or r?
r
Let n(i) = i**2 - 22*i - 67. Let y be n(20). Which is bigger: -108 or y?
y
Let q be (-12)/(-10)*(-45)/(-6). Suppose 0 = -4*o - 20 - 8. Let b = q + o. Is 4 at most b?
False
Let l = 1/1336 - -673339/6680. Which is smaller: 100 or l?
100
Let b = -1.96 - -2. Let x = -238.96 + 246. Let r = b - x. Which is bigger: r or 0.1?
0.1
Let x = 86 - 433/5. Let t = 2010 - 2010. Which is greater: x or t?
t
Suppose -11*v = -8 - 3. Which is bigger: v or -2/1831?
v
Let j be -37 - ((-4)/(-50) + (-635)/125). Does 5 = j?
False
Let k be ((-4)/(-6))/(4/42). Suppose -v - 31 = -k. Let a be (-6)/v + 30/(-56). Is 5 >= a?
True
Let k = -57.64 + 58. Let d = k + -0.26. Which is bigger: d or -2?
d
Let z be 1/((-2)/12*-3). Suppose -2*q + 8 = -q - z*r, 4*q - 4*r = 16. Let w be (-1)/(-2)*-6 + 2. Is w greater than q?
False
Suppose u + 700 = 15*u. Which is smaller: u or 4?
4
Let m = -4.585 - -0.085. Let g = m + 3.5. Let v = 0.9 - -0.1. Is v > g?
True
Let h(i) = 3*i**3 + 40*i**2 + 17*i - 21. Let g be h(-13). Is g < -76?
False
Let c(p) = p**2 - 3*p + 0*p**2 - 2*p. Let g be c(5). Let k be (2/10)/(-132*(-31)/3720). Is g at most as big as k?
True
Let m be (5/(-3))/5*-6. Suppose 0*w = -w - 5*a - 22, 4*w - m*a = 22. Let q be (-2)/(-6) + 7/6. Which is bigger: w or q?
w
Let n = -365 - -273. Which is bigger: -4 or n?
-4
Let n(m) = -m**3 - 6*m**2 + 14*m - 32. Let u be n(-8). Let l = 26 + -40. Which is smaller: u or l?
u
Suppose -2*v = -y + 257 - 3, 0 = -3*v - 5*y - 394. Which is bigger: -380/3 or v?
-380/3
Let w be 2283/(-15) - 0/(-8). Let s = w - -153. Are s and 0 non-equal?
True
Let y = 129754/3 + -42191. Let h = 1073 - y. Which is smaller: h or 14?
h
Suppose -19*x + 13*x - 120 = 0. Let u be (2 - 3 - -2)*(-38)/2. Which is smaller: x or u?
x
Let d(u) = 2*u**3 - 12*u**2 - 17*u + 24. Let g be d(7). Suppose 5*x = 4 + 26. Is x greater than g?
True
Suppose 3*i = -2*o, 3 = 3*o + 2*i - 2. Let h(b) = b**2 + 8*b + 10. Let c be h(-7). Suppose -2*x + 4*y + 12 = 0, -c*x + x - 2*y = 0. Is x not equal to o?
True
Let v = 5.3 + -5.6. Which is bigger: v or -0.9?
v
Let i be 2 + (0 + -1)*2. Suppose i = -0*y - 4*y + 4. Does y = -0.1?
False
Let r(p) = p**2 + 4*p - 8. Let c = -15 - -20. Let o be (c/2)/(-1)*2. Let u be r(o). Is u at most -0.3?
True
Suppose 2 = -4*i + 14, 5*i = -5*h - 115. Let s = 38 + h. Which is bigger: s or 2?
s
Let s(m) = m**3 - 4*m**2 + m - 11. Let c be s(0). Let q = 0.56 - -2.34. Let y = -3 + q. Which is smaller: y or c?
c
Suppose -y + 6*y - 4 = 4*c, 3*c + 3*y = -3. Let n be ((-1)/(-2))/(2/(-60)). Are n and c nonequal?
True
Let g = 9.03 + -9. Let z = g + -0.11. Let i = 99.1 - 99. Which is bigger: z or i?
i
Let m = 5 + 7. Let w be m/(-4) + 5 + 8. Suppose 3*a = 4 + 29. Is a at most w?
False
Let n(v) = 3*v - 1. Let m be n(1). Let f = -145 + 131. Let k = f - -61/4. Which is greater: m or k?
m
Let z be -4 + ((-35598)/24)/17. Is -90 equal to z?
False
Let q = 418/61 + -36443/5612. Let l = q - 2951/8740. Which is smaller: 1 or l?
l
Let j be (-6 + 0)*2 + -11 + 7. Which is greater: j or 14?
14
Let p(r) = -r**2 + 3*r + 17. Let s be p(-3). Let t(g) = g**3 + 9*g**2 + 5*g - 11. Let j be t(-8). Suppose d - 3*v = -d + j, 2*v = 5*d - 5. Does d = s?
True
Suppose -2*g - 4*q + 14 = 0, -q + 9 + 8 = 5*g. Suppose g*u = 2*u + 15. Suppose 4*s + 27 = -d, -2*s + 4*d - u - 3 = 0. Which is smaller: -8 or s?
-8
Let s = -16 + 23.16. Let r = -0.16 + s. Let p = r + -8. Is p greater than -2/23?
False
Let v be 378/35*90/(-459). Is v greater than or equal to -2?
False
Let a = -377/2 - -227. Is a at least 39?
False
Suppose -m = -2*m + 2*n + 5, -4*n = 16. Let p be (0 - -2)*(14 - m). Suppose -5*v = 2*d - p, -3*v - v - 4*d + 32 = 0. Which is smaller: 7 or v?
v
Let i = 0.0225 - -0.0775. Which is smaller: i or -1008?
-1008
Suppose -u - 58*o - 570 = -61*o, -5*o + 2294 = -4*u. Is 0.1 at most u?
False
Let u = 21 + -20.88. Let o = 0.32 - u. Is 2 less than or equal to o?
False
Let r(q) = q**2 + 2*q + 6. Let b be r(-10). Let o be b/12 + 51/18 + -3. Which is smaller: 5 or o?
5
Let u = 3.13 - 0.13. Let t = u + 10. Let w = -13 + t. Which is smaller: w or 16?
w
Suppose 4*j - 26 + 14 = 0. Suppose j*b - q - 10 = 16, 0 = -b - 4*q + 13. Which is greater: b or 62/7?
b
Suppose -2*a + 6*a - 64 = 4*y, -5*a - 2*y + 108 = 0. Let w(t) = -t + 6. Let c be w(0). Let s be ((-1)/a)/(c/(-16)). Is s at most 0?
False
Let r = 2/1537 + 87605/3074. Which is bigger: 28 or r?
r
Let z = 28 - -86. Which is bigger: z or 459/4?
459/4
Suppose -2*q - 1 = 2*z - 9, -4*q - z + 4 = 0. Is q greater than -528?
True
Let p be (-18 - -2)/(2/8). Is -313/5 at least p?
True
Let b be 30190/(-4)*(-2)/39. Let m = 880 - 493. Let o = m - b. Which is smaller: 1 or o?
o
Let c be 32 + -34 + (0 - -129). Which is greater: c or 129?
129
Let u(m) = m**2 + 3*m + 5. Let v be u(-4). Let z be ((-56)/21)/(2/(-12)). Let h be -2*4/(-16)*z. Is h smaller than v?
True
Suppose 0 = -7*j + 117 + 135. Let m be (((-3)/(-10))/(27/j))/26. Which is smaller: 2 or m?
m
Let n = -0.16 + -0.06. Let o = 0.78 - n. Which is smaller: o or 2/203?
2/203
Let y(m) = -m**3 + 10*m**2 - 17*m - 10. Let d be y(9). Let z be ((-331)/d + -4)*(-12)/(-9). Which is bigger: z or -1?
z
Let n be (2 - 16) + (-12)/(-3). Let k = 28 - 14. Let a = k - 24. Are a and n equal?
True
Let a = -38 - -38. Which is smaller: -1/62 or a?
-1/62
Let f = 15649 + -77812/5. Is f > 88?
False
Let d = 217 + -314. Is d at most as big as 2/9?
True
Let p(n) = -12*n**3 - n. Let g be p(-1). Let d be 5/(-15)*39/(-2)*2. Let l = d - g. Is l > -1/9?
True
Suppose -4*c + 6 = -22. Suppose 25 = 5*s, 4*s + 27 - c = -5*w. Which is greater: w or -22/3?
-22/3
Suppose 288*y = 284*y. Let d be -2 + (-2 - 204/(-50)). Is y not equal to d?
True
Let v = -50/507 - -24164/234741. Is v greater than -2?
True
Suppose b - 8 = -6. Suppose -b*v - 2*s = 6, -3*v - 22 = -2*s + 2. Let c be -9*1*v/(-9). Is c at most as big as -5?
True
Let z = 366 - 378. Is -12 less than or equal to z?
True
Let k(l) = -3*l**3 - 29*l**2 + 9*l - 10. Let m be k(-10). Let r be (8/15)/(4/(-6)). Which is smaller: m or r?
r
Suppose -11*z - 4 = 7. Let h = -1 + 0. Let y be h + 9*(-4)/(-38). Are z and y equal?
False
Let v = 2.93 - -0.07. Let d = 91 + -94. Are v and d non-equal?
True
Let a = -1985.7 + 1993. Are -0.6 and a unequal?
True
Let c be -1*(-8 + (-3 - -5)). Let h = -3 + c. Let m = 453/68 + -58/17. Which is bigger: h or m?
m
Suppose -5*m + 38 + 17 = 0. Suppose 25 = -3*r - 4*x, 4*r - m + 41 = -2*x. Is -7 != r?
False
Suppose 4*f - 2*v - 348 = 0, -644*f = -643*f - 4*v - 108. Let n = -171 - -254. Which is bigger: f or n?
f
Let w = -148 + 145.4. Let f = -6.6 - w. Let o = -2 + 4. Is o greater than or equal to f?
True
Let j be (-1 + 2)/((-41)/(-2)) + 0. Which is greater: j or 1?
1
Let c be 59/(-7) + (-2)/2. Let n = -64/7 - c. Which is greater: n or 2?
2
Suppose 0 = 4*v + o - 21, -2*o = 4*v - 30 + 4. Suppose -6 = 3*m, -5*m = -3*s + v*s + 2. Which is bigger: s or 3?
s
Let i be 16/(176/33) + 2/(-1). Let t be (-1)/(-1) + (-1 - -2). Suppose 0*w + w = t. Which is smaller: w or i?
i
Let u = 1 + -6. Suppose 22 = -4*i + 39*p - 37*p, 3*p + 55 = -5*i. Let t = i - u. Is -6 not equal to t?
True
Let c be 1/(6/(-8)) - (-130614)/99. Which is bigger: c or 1319?
1319
Let h be (((-1064)/(-32))/(-19))/(2/(-8)). Which is smaller: h or 9?
h
Let k = 1 - 0.9. Suppose s + 8 = -2*j + 3*s, 3*j - 4 = -s. Suppose -2*x - 8 + 0 = j. Is k bigger than x?
True
Let a be 8/(-44) - 46/(-11). Let q be -4 + 6*a/8. Which is smaller: q or -10/9?
-10/9
Let w be (-2 + (-20)/(-6))/((-267)/63). Let m = w + 3/1424. Which is greater: m or 0?
0
Let m(t) = 2*t**3 + 15*t**2 - 10*t - 2. Let v be m(-8). Let k be 3/24*4 - 15/v. Let b be 0/(-3 -