(g) = -3*g**3 - 2*g**2 + 128*g - 788. Let i be f(7). Which is greater: i or -1020?
i
Suppose d - 10*d = 10437 + 15069. Which is smaller: d or 1?
d
Let s = 17222 + -16732. Is 1/2 at least s?
False
Let b = -22 + 30. Let l(c) = -7*c. Let j be l(-1). Suppose -n = -0*n - j. Which is greater: b or n?
b
Let l be 12/36 - ((-193201)/(-147) + -2). Let x = l + 1312. Which is greater: 0 or x?
x
Let q = 55 + -23. Let l(k) = -k**3 - k**2 - 2*k + 5. Let i be l(0). Suppose r = i - 4. Which is bigger: r or q?
q
Let k = -81 + 80. Let s = -72 + -173. Which is smaller: k or s?
s
Let d be 26232/(-165) + 1 + (-3 - -1). Let l be (24/(-9) + 2)/((-15)/3618). Let k = l + d. Which is smaller: 0 or k?
0
Suppose 101*k - 189*k = -93*k + 2910. Is 596 >= k?
True
Suppose -5*y + 32*y = 162. Suppose y*t + 32*t = 1026. Which is smaller: t or -15?
-15
Let h = 22061 + -22062. Which is bigger: h or -3/4082?
-3/4082
Let q be 90/(-361) + (-4)/(-16). Let u be (2 + 3)*((-66)/(-30) - 2). Is u less than q?
False
Let k = -832 + 819. Suppose -5*b = -2*m - 29, 2*b - 4*b - 8 = 2*m. Let u = -18 - m. Which is smaller: u or k?
k
Suppose -3*x - 600 = k, -3617 = 4*k + 2*x - 1187. Is k < -609?
False
Let k be (-1)/(-22)*12 + 216645/121. Is 1790 < k?
True
Let s = 47 + -94. Let g = s + -7. Let a = -55 - g. Which is bigger: 13 or a?
13
Let n(y) = 19*y**2 - 2*y - 2. Let d(q) = -3*q - 65. Let g(a) = -a - 22. Let r(z) = -4*d(z) + 11*g(z). Let h be r(-19). Let j be n(h). Does -0.1 = j?
False
Let d = 7154 + -5769. Does 1381 = d?
False
Let a = 17.891 + 0.209. Let t = -17.9 + a. Which is greater: t or -1.6?
t
Let s(y) = -2*y**3 - 2*y**2 + 31*y + 58. Let w be s(-3). Which is smaller: w or -5/49?
-5/49
Let q(i) = i**2 + 5*i - 85. Let d be q(5). Is -37 <= d?
True
Let z be (-4)/(-15)*6/(-14). Let x = -111 - -111.13. Let m = x + -1.13. Do m and z have the same value?
False
Let a be (-8 - 2) + 1*3. Let i be (-23464)/252 - (-1)/9. Let j = -103 - i. Is j equal to a?
False
Suppose 8 = 3*b - b + 5*m, 5*b = -m - 3. Let h = 2202171163/59 + -37326543. Let s = h - -1608. Is s greater than or equal to b?
True
Let d = -2436 - -2432. Let p be (-2 + 5/2)*-7. Which is smaller: p or d?
d
Suppose -5*h + 4*n = -401, -43 = -h - 2*n + 40. Let q be ((-1260)/h)/((-10)/45). Which is greater: q or 68?
q
Let m be ((-490)/(-4))/(4/(-82) + 12330/22468). Is m >= 247?
False
Let p be (-6)/(-9) + 2/3*-13. Let g(s) = -s**3 - 7*s**2 + 9*s + 11. Let i be g(p). Suppose -5*b = -2*b - 4*q - 26, 27 = 3*b - i*q. Which is greater: 13 or b?
13
Let s be (-6973)/532 + 13 + 1/(3 + 1). Is s bigger than -937?
True
Let c(y) = -y**3 + 23*y**2 - y + 44. Let u be c(23). Suppose u = 4*b - 15. Which is smaller: b or 39/5?
39/5
Let p = -2.23 + 2.6. Let v = 825 + -824.73. Let k = v - p. Which is bigger: -6 or k?
k
Suppose -4*t = -62 + 38. Let o(g) = -4*g**2 - 4*g**2 - t*g + 6 + 7*g**2. Let m be o(3). Is -21 greater than m?
False
Let l be (4/(-3))/(-2*(-1)/(-6)). Suppose 41 = 5*h + 3*o - 5*o, l*h - 5*o = 26. Suppose -5*w + 4*z = 98, 4*w - h*w - z = 88. Is w at most -17?
True
Let n = -26.976 + -0.024. Let o = -11.44 - -11.34. Which is bigger: o or n?
o
Suppose 115 = -5*f - 40. Suppose 0 = 12*q + 259 + 125. Which is smaller: q or f?
q
Suppose -4*k = -y - 5, -k + 2*y = 2*k - 10. Let g = -1463/5 + 293. Which is greater: g or k?
g
Let j be ((-75)/1230)/((-1)/(-2)). Let d = 605/82 - j. Are d and 7 unequal?
True
Suppose -5888 = 12*c + 11*c. Let s be (10/(-15))/(c/(-4)). Which is bigger: -2 or s?
s
Let q be 77/4 + (-6)/24 - -2. Let s = -634 + 630. Is q > s?
True
Let v = 55 + -47. Suppose -4*w = v, w + 2 = 2*l - 2. Which is greater: l or 2/217?
l
Let g be 1581/5509 + (-6)/21. Let p = -604661 + 604661. Which is greater: p or g?
g
Let l(k) = 2*k**3 - 2*k + 3. Let s be l(3). Suppose -y + 3*h + 60 = 0, 2*y - 33*h - 96 = -35*h. Is y greater than s?
False
Let s be (304/494)/(18/39). Let x = -5 + 9. Which is smaller: s or x?
s
Let b(w) be the first derivative of -7*w**2/2 - 7*w - 20. Let c be b(2). Let t be (10/c)/((-30)/45). Is t less than or equal to 2?
True
Let c = 32.2 - -214.8. Let d = c + -264. Is 0 at most as big as d?
False
Let k(v) = -5*v**2 + 25*v + 12. Suppose 3*c = 4*c - 2*p - 7, -2*c - 4*p = -6. Let m be k(c). Suppose -m = 39*b - 45*b. Which is smaller: b or 4/7?
4/7
Let l be (-48)/(-18)*45/(-10). Let c be (-1)/12*l/(-198)*6. Is -2 at most as big as c?
True
Let j be (1/(-2) - 0)*2830/70. Let z = 20 + j. Do z and 0 have different values?
True
Let n = 4.78 + -108.78. Let s = n - -92. Which is bigger: -0.4 or s?
-0.4
Let m be -830*(16 + 15574/(-975)). Is -22 >= m?
True
Let s = 23770 - 22732. Which is smaller: 1042 or s?
s
Let l be (-582)/(-485) + (-20466)/130 + 0. Which is bigger: -157 or l?
l
Let v = 75457/6 + -2904229/231. Let k = v + -5/154. Let y be (-1)/(-6) - 153/(-54). Which is smaller: k or y?
y
Let y = 72 - 72. Let j be (-2)/(-2 + y + 0). Which is smaller: -1/55 or j?
-1/55
Suppose 1113*b - 1 = 1112*b. Which is bigger: b or -2/1587?
b
Let t = 299.3 + -299.0778. Which is greater: 0 or t?
t
Let t(q) = q + 12. Let o be t(8). Suppose 7*f = -8 - o. Suppose 0 = -4*z - 2*x + 2 + 10, z + 3*x - 13 = 0. Which is greater: f or z?
z
Suppose 5*o - 32 = -3*y, 2*y = -3*y - o + 24. Suppose 11 - 3 = y*r. Let f be (-35)/69 + (-15)/9 + r. Which is smaller: 0 or f?
f
Let c be ((-1)/(-21)*6)/(0 - 8/28). Which is smaller: -566 or c?
-566
Let g be -1 + -10 + (-196 - -212). Which is smaller: -3 or g?
-3
Let k = 22339/9 - 611306753/246285. Which is greater: k or 0?
0
Let t = -491/14 - -4391/126. Is t less than or equal to -157.2?
False
Let l = -962.178 - -85.149. Let x = 876 + l. Let o = 0.029 + x. Which is bigger: 0.05 or o?
0.05
Let l = -0.362 - -0.472. Let h = 0.2 - 0.19. Let c = l - h. Is c bigger than -1/4?
True
Suppose 65*h = 73*h. Which is greater: -10/63 or h?
h
Suppose -h + 3*w = -166, -w - 3*w = -16. Is 178 bigger than h?
False
Let v = 7 - 2. Suppose 4*b - 394 + 90 = 0. Suppose -b*w = -82*w + 24. Which is bigger: w or v?
v
Let d = -16.684 - -1.684. Is d bigger than -0.24?
False
Let j(h) = h**3 - 48*h + 712. Let o be j(0). Is 719 bigger than o?
True
Let w = -866 + 293. Let f = -552 - w. Is 21 bigger than f?
False
Let x(p) = 13*p - 228. Let y be x(18). Suppose -y = -i - 2*l + 4*l, -i - 6 = 2*l. Which is smaller: 8/27 or i?
i
Let d be ((-483)/9)/7 + 8. Are d and 342 equal?
False
Suppose 3 = -13*u - 23. Let z = 157 + -128. Let m = 23 - z. Is u less than m?
False
Let v = -182 + 145. Let s = 201/422 - -5/211. Is s greater than v?
True
Let x be ((-18)/4)/((-267)/(-356)) + 1*215. Let j be (-78)/(-4)*(-224)/(-21). Which is smaller: j or x?
j
Let q(j) = j**3 - 5*j**2 + 14*j - 29. Let w be q(6). Let n = -90 + w. Which is bigger: n or 28?
28
Let y(d) be the third derivative of -d**6/120 + d**5/20 - d**4/12 + 23*d**3/6 - 15*d**2. Let g be y(4). Which is bigger: 1/11 or g?
1/11
Let w be ((-1842)/22)/(12/8). Suppose 24*v + 670 = 2014. Let q = v + w. Which is bigger: 3 or q?
3
Let h = 211.5 - 313.5. Is h at most -1?
True
Let m(i) = 4*i**2 + i + 2. Let p be m(-1). Let x be p/5 - 6 - -2. Which is greater: 12 or x?
12
Let o(i) = -4*i**2 + i + 2. Let a be o(-1). Let x be ((-8)/(-14))/((15/(-35))/a). Suppose 106 = -3*v + n + 3, -5*n = x*v + 112. Is -33 > v?
False
Let f = -3.3631 + -0.8369. Which is smaller: 71 or f?
f
Let p = 2533 + -1233. Let x be (-1)/((-2)/(-1))*p/10. Is -3 at most x?
False
Suppose 0 = -4*s - 46 - 34. Let r(b) = -4 - 4 + 0 + b + 4*b**2 - 10 + 31*b. Let n be r(-8). Which is smaller: n or s?
s
Suppose 6*g + 10 = 70. Let c be 3/(-1 + (-1)/(-2)). Let k be (g/(-15))/(c/63). Which is smaller: k or -5?
-5
Let m = -0.156 - -1.356. Which is smaller: 0.013 or m?
0.013
Let v be 150 - (114/(-21) + (-12)/(-28)). Let i = v + -157. Which is smaller: i or -6.4?
-6.4
Suppose -5*g = i + 22 - 6, 2*g + 1 = 5*i. Which is bigger: 0.315 or i?
0.315
Let h be 139/26 - (2 - 3). Let s = h + -13/2. Let z = 3276 - 3277. Is s at least z?
True
Let p = 38002 + -37997. Which is smaller: p or 19/11?
19/11
Let i be (-44)/176*(-24)/(-36). Let b be (2 - 54/26)/1. Which is smaller: i or b?
i
Let q = 20 - 16. Suppose 2*n - 4*y + 70 = 0, 0*n + 3*n - q*y = -103. Let f = -14 - n. Which is bigger: 18 or f?
f
Suppose -7*d + 2*d = 5*v - 95, -55 = -3*v - 2*d. Suppose -m + 8 = 4*m - o, -5*m + 4*o + v = 0. Let g = 12/17 