c(w) = -w**3 + 7*w**2 - 8*w + 12. Let r be c(6). Suppose 2*f = 3*b + 170, -4*b + 0*b + a = r. Which is smaller: f or 87?
87
Let i = -21 + 138. Let k be (4 + (-98)/21)*i/6. Which is greater: -10 or k?
-10
Let s = 31 - 21. Let y be 6/(-30) + 2/s. Suppose -4*v - 36 - 4 = y. Which is smaller: v or -8?
v
Let r(v) = -v**3 - 4*v**2 + v + 9. Let k(m) = -m**3 + m**2 - 2*m + 2. Let n be k(2). Let q be r(n). Which is smaller: 76 or q?
q
Let v be -2 + (10 + -2)*(4 + -3). Suppose -v*w = 12*w + 864. Is w at most as big as -97/2?
False
Let j = -6133 - -3444. Which is bigger: -2687 or j?
-2687
Let f = 46 + -24. Let p = f - 20. Suppose p*g - 2*v - 42 = 0, 13 + 2 = g + v. Which is bigger: 19 or g?
19
Suppose 3*g = -4*p - 580, 0*p - 2*g = -2*p - 304. Let k be ((-312)/p - 0) + -2. Let x be (2/(-1))/(4 - 2). Which is smaller: x or k?
x
Let h = 15845/228 - 600/19. Is 37 != h?
True
Let t = 29 - -14. Let w = -44.7 + t. Let f = 844 + -841. Are w and f unequal?
True
Let z be 13*(-145587)/684 - (-6)/(-9). Let r = 5535/2 + z. Let b = r + -30/19. Which is greater: b or -2/3?
-2/3
Suppose -5*x + 886 - 868 = -3*z, -10 = z - 3*x. Is z < 1/221?
True
Let w = -9776 + 78105/8. Let q = -29/8 + w. Which is smaller: q or -17?
-17
Let y be (1 - 4/3)*-12. Suppose -9*h = -y*h + 245. Suppose -4*o - 208 = -4*k - 28, -2*k = o + 54. Which is smaller: o or h?
h
Let n be ((-51)/6)/((-8)/(-16)). Let k be (n - -1)/(9/(-36)). Which is smaller: k or 65?
k
Let z(t) = t**2 - 3*t - 7. Let w be z(-5). Suppose 5*h + 488 = 368. Let f(d) = d**2 + 24*d + 32. Let j be f(h). Which is bigger: j or w?
w
Let i = -0.19029 + -53.80971. Suppose 3*u = -0*u. Which is smaller: i or u?
i
Suppose 0 = -2*a - 12, 0 = -3*x + a + 594 - 573. Is 234/37 not equal to x?
True
Suppose 8*c - 11*c + 1548 = 0. Suppose -l - c = 2*l. Which is smaller: l or -1?
l
Let m = -11562.12 - -11563. Is -47 at most as big as m?
True
Let b = -12999 + 51995/4. Is 1.43 <= b?
False
Let i(n) = -n**2 - 6*n - 4. Let b be i(8). Let w = -325 + 208. Let t = w - b. Is 2/145 greater than or equal to t?
True
Let w be (-284)/(-18) - 20/(-90). Let v be (2/(-4))/(-4 - (-63)/w). Which is smaller: v or 11?
v
Let h = 0 + 3. Let g(s) = 2*s**3 - 31*s**2 + 40*s + 22. Let c be g(14). Is h <= c?
False
Suppose 1969*p = 1982*p - 65. Which is smaller: 81/23 or p?
81/23
Let c = 5 - 4.979. Let s = -465.43 + 498.451. Let z = s - c. Are 0 and z unequal?
True
Let z be (-4)/30 - (-172)/840. Let f = 111 - 110. Is f >= z?
True
Let h = 4.631 + 0.069. Let m = 3.92 + -8.92. Let l = m + h. Is l < 8?
True
Let d(l) = -l**3 - l**2 + 9*l + 9. Suppose -7 = -5*u - z - 21, z + 11 = -4*u. Let r be d(u). Which is smaller: r or -4/57?
-4/57
Let c(a) = -8*a**2 - 8*a - 17. Let l be c(-3). Suppose -3*p - 22 = 14. Let m be 4*1*(-195)/p*-1. Is l < m?
False
Let c be (-5)/(-358)*(-168 - -166). Which is bigger: 1 or c?
1
Let q be (3 - (40/(-6))/(-2))*-3. Let z = 1195/29822 - -4/481. Is z > q?
False
Suppose 14 - 46 = -8*k. Suppose 0 = o - k*o - 2*f + 1980, 2620 = 4*o - 4*f. Are 658 and o nonequal?
False
Suppose 370*i - 261*i = 278495. Which is greater: i or 2556?
2556
Suppose -4*o + 12 = -h - 0, 0 = -o + 3*h - 8. Let s be (-4 + 12)/o*-31*1. Is -63 <= s?
True
Let b(w) = -25*w + 3. Let d be b(0). Suppose -2*k + 3 = -3*x, 2*k + 3*x = k - d. Which is smaller: 1/111 or k?
k
Suppose -3 = 4*n - 7*n - 5*s, -5*n - 3*s + 5 = 0. Let f be ((-10)/15 + n + 0)/4. Is -2/3 at most f?
True
Let m = 19109 - 3477847/182. Which is greater: -1 or m?
m
Let r be 17628/(-1508) + (-13)/(-1). Is r less than 1?
False
Let f = -5.28 + -570.72. Let b = -666 - f. Is 3 != b?
True
Let u be ((-40)/(-12))/(-5) - 20/(-12). Let n = 484 + -47911/99. Is u less than n?
False
Let n be ((-4)/3)/((-20)/(-30)). Let h be (-2*2)/n + 8748/(-4401). Is h >= -1?
True
Let c be 63/7 + 1 + 0. Let j(o) = 3*o - 25. Let q be j(c). Suppose 0 = 2*h - 3*x - 18, -q*h = -0*h + 2*x - 7. Is h less than 2?
False
Let u = -458 + 434. Let k be (-11)/(-9) - (9 + u/3). Which is bigger: -3/19 or k?
k
Suppose -4*x - 11 = -5*j - 1, -4*x - 4*j + 8 = 0. Suppose d + 3*i = -4*d - 132, 3*d - i + 82 = x. Let t be (d/(-68))/(9/6)*2. Which is bigger: t or 0?
t
Let q be (-2)/16 - (1452/(-96) + 15). Let d be ((-4)/390)/((-12)/(-11360)). Let j = d + 132/13. Are j and q nonequal?
True
Let c(q) = 2*q**3 - 3*q**2 - q - 1. Let z be 2/(-10)*40/((-12)/3). Let n be c(z). Which is bigger: 5/168 or n?
n
Let h be (-16)/84*16797 - 5. Suppose -2*k + 6378 = 5*t, 0 = -k - 2*k + t + 9601. Let a = h + k. Is a greater than or equal to -6?
True
Suppose 3*u + 98 = 3*g - 124, 5*g - u = 394. Is g at least as big as 98?
False
Let z(s) = 4*s + 29. Let p be z(-8). Let o be 2/p + 4*(-5)/(-3). Suppose -o*n + 55 = -n. Which is greater: 7 or n?
n
Let d(l) = -l**3 - 34*l**2 - 47*l + 39. Let s be d(-34). Are s and 8178/5 equal?
False
Let m(w) = 4*w - 3*w + 5*w**3 + 8*w**3. Let c be m(1). Let v(k) = -9*k + 84. Let x be v(8). Are x and c non-equal?
True
Let j = -6.2 - -5.1. Let k = j + 1.5. Let p = -69 - -74. Is p less than k?
False
Let p be (992976/(-4845))/8 + 6. Let k = p + 6/323. Is k != -20?
True
Let k(m) = -28 - 7*m + 38 - 27 - 25. Let x be k(-10). Suppose -3*t - g = -56, 6*g - g = -t + x. Which is smaller: t or -1?
-1
Let r(i) = -i**2 + 2*i + 6. Let s be r(-9). Let u = 82 + s. Which is smaller: -14 or u?
-14
Let x = -71 - -73.4. Let w = x - 17.4. Let r = 29 + w. Is r at least -1?
True
Let o = 1694.07 + -1702. Let m = o + 7.63. Let p = 5.3 - -23.7. Which is smaller: p or m?
m
Let o be 2/6 - (-992)/(-2868). Let u = -759/3346 - o. Is 0 at least u?
True
Let t = -743 + 739.09. Let f = -3.92 - t. Which is smaller: f or -3?
-3
Let c(t) = t**3 - 15*t**2 - 18*t + 269. Let k be c(15). Is k bigger than -8/2081?
False
Let v = -276 - -102. Let o = v + 191. Which is smaller: -0.8 or o?
-0.8
Let f(z) = -5*z**2 + 21*z + 6. Let t be f(-6). Let v be (-360)/t - 261/80. Which is smaller: v or -2?
v
Let f(m) = -50*m - 1595. Let d be f(-27). Let l = -0.03 - -0.03. Which is smaller: l or d?
d
Let l = -11005 - -3081399/280. Which is smaller: 0 or l?
l
Let r = 19933/7 + -2663. Let k = r - 185. Is 7 at most k?
False
Let w be (-2)/(-10) + (-646)/(-170). Let z(t) = -6*t + 2. Let q be z(w). Is -22 != q?
False
Let k = -12 + 16. Suppose -k*o + 0*o + 24 = 4*b, -5*o = 15. Let t be 371/106 - -1*4. Which is greater: t or b?
b
Let n = 318440 + -1598823/5. Which is bigger: -1324 or n?
-1324
Let m be ((-10)/(-4))/((-25)/(-60)). Suppose -h + 2*j - m = 0, -7*j - 68 = 3*h - 3*j. Let l = -4 + h. Which is smaller: l or -17?
l
Let d(c) = 2*c**2 - 20*c - 1040. Let g be d(-24). Which is smaller: 588 or g?
588
Let l be ((-2)/6 - (-32)/24) + -162. Let o = l + 161. Is -1/355 greater than o?
False
Let z = 41532 + -28137. Let s = z - 147051/11. Is 28 != s?
True
Suppose 2*m - 3*d = -2*d - 59, -3*d = 3*m + 75. Let x be 24/(-10)*(-2)/m. Suppose -268*z + 861 - 593 = 0. Which is smaller: z or x?
x
Let w = -811/272 + -7/34. Are -2 and w unequal?
True
Let j = 6056 + -3094615/511. Let y = 36184031102/2555 - 14162045. Let q = y + j. Is 3 < q?
False
Let u = -56.9312 + -0.0688. Does u = 0.048?
False
Suppose 35*f + 31 + 8 - 4 = 0. Which is smaller: f or -3/5513?
f
Let a = 41 + -32. Let d(n) = -n**3 + 8*n**2 + 8*n + 11. Let h be d(a). Suppose -101 = -2*q - 3*b, 0 = h*q + 2*b + 3*b - 111. Is 42 less than q?
True
Suppose -2*z - 2*j - 12 = 3*z, -2*z - 18 = 3*j. Which is smaller: z or -8/1403?
-8/1403
Let i be (20271/(-152))/((-3)/22). Let v be 21520/(-22) - 310/(-1705). Let r = v + i. Is r less than 1?
True
Let g = 16 + -24. Let y(r) = -r**2 - 8*r - 3. Let x be y(g). Let s = -156 - -155. Which is smaller: x or s?
x
Let m = -18 - -19. Let q = -47 - -75. Let j be q/210*5/3. Are j and m equal?
False
Let c be 58/18 - (-5 - -8) - 6724/(-36). Which is smaller: c or 207?
c
Let c = 0.0705 - -0.0195. Let h = 74 - 73.09. Let k = c + h. Is -34 at most as big as k?
True
Let t be (-8)/120*(-168)/(-4) - 3/15. Let p be (1 + -1)*(0 + -1). Which is smaller: t or p?
t
Let d(c) = -c**3 + 9*c**2 + 4. Let s be d(9). Suppose -n - 8 = -5*n. Suppose n*f = 8*f - 12. Which is bigger: s or f?
s
Let a = -1135.59 + 1141. Let z = a - 5.9. Let j = z + 0.39. Which is smaller: 3/16 or j?
j
Let h(u) = -3*u**3 + 10*u**2 + 5*u - 4. Let m be h(-4). Is m at most as big as 332?
True
Let b = -6007 - -6278