 51 = -66. Suppose 4*l - 3*s + 213 = -2*s, -5*s = -l - t. Which is smaller: -55 or l?
-55
Let s(w) = -w**3 - 122*w**2 + 6*w + 497. Let p be s(-122). Which is smaller: -229 or p?
p
Suppose -7*b - 2*b + 322413 = 30*b. Is b at most 8266?
False
Suppose 1 = 3*g + o + o, -3*o = -5*g - 11. Let k be (16/55)/(4 - (-7020)/(-1762)). Let j = k - 202/11. Is j < g?
False
Let i = 16063/2 - 208545927/25966. Which is smaller: i or 0?
0
Let q = 604 + -1064. Let a = -462 - q. Is -2/61 at most as big as a?
False
Let w be (309/(-270) - (-8)/18) + (-5)/(-10). Which is bigger: -1358 or w?
w
Let s be (3/(-4))/(3/2). Let l be -1*69*(-144)/(-54). Let r = l - -1280/7. Is r < s?
True
Let q = 411/2 - 5363/26. Let s = 6 + -6. Suppose -5*w + w = s. Is q bigger than w?
False
Let z = 2762 + -2763. Let r = 4089786 - 13839837695/3384. Let h = -49/72 - r. Which is smaller: h or z?
z
Let g = -32 - -81. Let i = g - 48.57. Are i and 0 nonequal?
True
Let b(h) = -76*h + 4*h**2 + 146*h + 21 - 78*h. Let a be b(6). Are a and 116 nonequal?
True
Let i(x) = -3028*x + 6292. Let y be i(2). Is y < 218?
False
Let x(z) = -4*z**3 + 42*z**2 + 146*z + 4. Let s be x(-3). Is 52 at least as big as s?
True
Let g = 589478170363039728 - 27189091131155076028421/46124. Let v = -28840335 - g. Let t = -1/887 - v. Does 1 = t?
False
Let s = -182 + 192. Let n(r) = r**3 + 9*r**2 + 3. Let k be n(-9). Suppose 4*w - 9 = k. Is w bigger than s?
False
Let m(f) = f**2 + 6*f - 13. Let a be m(-8). Let g be -1*(4 + -3) - a. Is 18 less than or equal to g?
False
Let l = -31 - -44. Let q be ((-96)/40)/3 - (-8)/10. Let h be (q + 5)*3*6/6. Is h equal to l?
False
Let l = -9/31689841 + -879805051012/16447027479. Let r = -30/173 + l. Let k = r + 54. Which is smaller: -13 or k?
-13
Let l be (-1)/(-5) + 1743/(-15). Let t = l - -241. Let d = t + -157. Is -31 > d?
True
Suppose -123*j - 3634 = 35*j. Suppose 2*x = 4*x - 6, 3*m = 3*x - 3. Suppose 0 = -m*k - 2*k - 100. Which is greater: k or j?
j
Let s = 2602 + -2602. Is -18/151 != s?
True
Let y = -327011 + 4353497445/13313. Is 0 greater than y?
False
Let y be (2/4)/((-2)/(-276)). Let r = 65051 - 64982. Is y less than r?
False
Let f be (-9)/372*9/(-27)*-2. Is f at most 0?
True
Let c be 12/8*(-518300)/(-685092). Let p = -1/3086 - c. Is -2 <= p?
True
Let w = 12468/20345 + 4/1565. Let r be 2/(6/(-9))*-1. Suppose -13 = -5*o - r. Is w greater than or equal to o?
False
Let b be (0 + 2472/(-72))/(5/3). Which is greater: 63 or b?
63
Let l be (9 - 29/((-150046)/(-45744))) + (-4)/26. Let k = -1 + 0. Are k and l unequal?
True
Let z = -22783 + 22783. Which is greater: 2/60175 or z?
2/60175
Let g be (12/(-14)*(-50435)/(-220))/((-2)/(-80)). Which is smaller: g or -7861?
-7861
Suppose -1007 + 1183 = -16*r. Which is greater: 611 or r?
611
Suppose 0*t = 15*t - 360. Let b(v) = -11*v**3 + v**2 + v - 1. Let z be b(1). Let s = z + t. Which is smaller: 12 or s?
12
Suppose -5*g = -2*g. Suppose -2*j = 2*n - 8, -3*n - 2*j = -4*n - 5. Suppose z + 0*z - n = g. Which is smaller: z or 0?
0
Let m(x) = 87*x - 347. Let u be m(4). Let z be 4/8 + (-9)/(-2). Let p(h) = -h**2 + 4*h + 5. Let f be p(z). Which is smaller: u or f?
f
Suppose -5*d + 3*d = 5346. Let f be d/(-21) + ((-24)/(-21))/(-4). Let t = f + -139. Are t and -11 unequal?
True
Let g = 1637824294/8269 + -198068. Is g bigger than 0?
True
Let i be (10/70)/((-2)/14). Which is bigger: 33/157 or i?
33/157
Let c be (4/10)/((-8)/(-5)). Let r = 5.77 - 4.818. Let o = 0.548 + r. Which is greater: c or o?
o
Let a = 5442 - 5403. Which is bigger: a or 157/4?
157/4
Let g = -1781/23 + 1956/161. Let x = g + 13250/203. Which is smaller: x or 0?
x
Let o = 20 - 19. Let j be 1/o + 1 + 0 + 8. Let k = -39 - -36. Is k greater than or equal to j?
False
Let r be 1 - ((-205212)/14854)/(-14). Is 0 > r?
False
Let q be 2/4 - 1045/(-38). Let u = -33.603 + -0.197. Let t = u - -34. Do q and t have the same value?
False
Suppose -5*o = -c - 0*o + 10, 4*o - 19 = -c. Suppose -5 = -14*i + c*i. Is -49/12 bigger than i?
True
Let j be 200/12*24/20. Let f = -20 + j. Suppose f = 4*q - q + 36. Which is smaller: q or -11?
q
Let v = 5180 + -15541/3. Is v equal to -6282?
False
Let t = -0.05 + 6.05. Let j = t - 5. Let p = -1.5978 - -0.0978. Which is smaller: p or j?
p
Let h(i) = i**2 + 5*i - 63. Let u be h(-10). Let j = -45 + 74. Suppose -j + 71 = -3*m. Are u and m equal?
False
Let j(s) = -2*s**3 + 157*s**2 - 261*s - 16. Let z be j(76). Is 36107/4 equal to z?
False
Let o = -43 - -39. Let u = 6537 + -6549. Which is smaller: u or o?
u
Let a be ((-178)/70 - (-828)/345) + (-12724)/14. Is -924 smaller than a?
True
Let v = -0.8 + -0.2. Let a(j) = -348*j**2 + 2*j. Let h be a(1). Let k = h - -384. Is k bigger than v?
True
Let m = -5413.9 - -5414. Is -65/51 greater than m?
False
Suppose -8*m + 17389 = 1269. Let l be (m/180)/(-13) - 5/(-45). Which is smaller: 3 or l?
l
Let c = 23 - -357. Suppose 94 = 6*u - c. Is 78 equal to u?
False
Let n(c) = c**2 - 1398*c - 5608. Let v be n(-4). Are v and -1/83016 non-equal?
True
Suppose 4*f = x - 6 - 6, 4*f = 2*x - 8. Let t be -18 - -10 - x/(2 - 1). Let b = -142 - -996/7. Which is smaller: t or b?
t
Let k(i) = -i**2 + 3*i + 10. Let r be k(5). Let n(q) = -q + 6. Let o be n(4). Suppose 0 = 4*t - 7*m + o*m - 246, 3*m = -6. Is t <= r?
False
Let f = -8519813944/95 - -89683628. Let w = f + -1376. Which is smaller: w or 0?
w
Let u(r) = -r**3 + 40*r**2 - 77*r + 46. Let t be u(38). Let w be 78/5 + (-4)/(-10). Let z = -10 + w. Which is smaller: z or t?
z
Let p = -612270375/299 + 2049905. Let y = p - 2178. Suppose 0 = -2*z - 7*o + 9*o + 10, z = -5*o - 25. Is z at least y?
True
Suppose -2*t - 561 - 607 = z, 4*z = 3*t + 1719. Are -579 and t non-equal?
True
Suppose 0 = 3*j + 3*w - 78 + 93, -4*j + w = 0. Is j >= -6/2303?
False
Let w = -538.8 + 538.9. Is w less than -493/4?
False
Let i be (-5)/115 + (-192)/(-184). Which is smaller: i or -34/79?
-34/79
Suppose -k - 82 = u, -3*k - 21*u = -26*u + 254. Which is greater: -112 or k?
k
Let o = -2926 - -7743. Which is greater: o or 2/5?
o
Let g(o) = o**3 - 4*o + 2. Suppose n + 8 = 3*n. Let l be g(n). Suppose 3*f + l = -7*f. Which is smaller: -3 or f?
f
Suppose -m = -4*c - 30, -3*m - 24 = -5*c - 58. Which is bigger: -83 or c?
c
Let n = 746 + -1545. Let t = -320397/401 - n. Is t != 1?
True
Suppose 4*a + 3 = -2 - 7. Which is smaller: 1/213 or a?
a
Let g = 80.52 + -0.52. Let c = 79.89 - g. Is c at least -4?
True
Let g(a) be the second derivative of -a**4/12 - a**3/2 + 20*a**2 - 63*a. Let l be g(5). Which is smaller: l or 1/37?
l
Let u(w) = 127*w + 105. Let l be u(-1). Is -8 at most l?
False
Let k be (-5 - -1)*(-7)/28. Let w be 4 + (2*1038/(-3) - -3). Let m = w + 15761/23. Which is smaller: m or k?
m
Let i(u) be the first derivative of -u**2/2 - 7*u - 12. Let r be i(-11). Let f(c) = c**2 - 2*c + 7. Let s be f(r). Which is smaller: s or -3?
-3
Suppose 4*q - 35 = -3*t, -9 = -4*q + 11. Let k(r) = 2*r - 16. Let n be k(9). Suppose n*a - 4*f = 12, t*a - f = 3*a. Is a greater than or equal to 1?
False
Let n = 165 + -244. Let l = n + 41. Which is greater: -37 or l?
-37
Let w(u) = -5*u - 41. Let d be w(-4). Let q = 70 - 67. Which is smaller: d or q?
d
Let r = 84.68 - 234.68. Is 0 < r?
False
Suppose 0 = 16*u - 141 - 1155. Suppose b = 2*b - 80. Is b smaller than u?
True
Let s = -3780 + 3736. Is -18 smaller than s?
False
Let l = -444 + 394. Let s be (l/(-8))/((-10)/40). Is s smaller than -19?
True
Let k be 9/12 + 423/(-4). Let o be 15/(9*5/330). Let x = k + o. Which is smaller: x or 4?
4
Let f = 9/607 + -1585/188777. Let s = -2 - -2. Is f less than s?
False
Let k = -12121 - -12120. Which is greater: k or -26/475?
-26/475
Let v be (-97)/582*30/(-55). Is v at least as big as 691?
False
Let y be 16 + 6 + (-2)/(-10)*1. Let n = y + -933/40. Is n < -1?
True
Let s = -8473/6169 - -85/62. Are -1 and s equal?
False
Let h(l) = -l**3 + 11*l**2 - 11*l. Let v be h(10). Let d be (-60)/50 - 2/v. Let k be -36*8/(-138) - 2. Which is smaller: k or d?
d
Let r = 49289/161000085 + 3/32155. Is r at most as big as 0?
False
Let o be 16 + 9/((-45)/(-10)). Suppose -o = 5*s - 3, -5*j - 3*s + 6 = 0. Let k(x) = 2*x - 2. Let c be k(j). Which is smaller: 14/5 or c?
14/5
Let z = -2446 - -2442. Which is greater: z or -540?
z
Let f = -298 + 11624/39. Let i be (-2 - 1/1) + 8 + 0. Let g be (-1)/(i/(4 +