(m) = -m**3 - 9*m**2 - 14*m - 16. Let b be s(i). Which is greater: b or -101/6?
b
Let k = 61848 - 199336106/3223. Is 1 at most k?
False
Let t be ((700/49014)/25*39)/((-2)/6). Which is smaller: t or 1?
t
Let z be (-31)/(6*(1 + 1)). Let a = 3209 - 12845/4. Let m = a - z. Which is smaller: m or 21?
m
Suppose -42*u - 32*u - 2748 = 730. Which is bigger: u or -74?
u
Let x = -168 + 553. Let o be (-8)/10 - x/(-450). Suppose 28 - 26 = -2*r. Which is bigger: o or r?
o
Let u be -1 - 519/(-6) - 2/((-10)/25). Is u less than 90?
False
Suppose 4*l - 118 = -r + 221, -4*l + 335 = 5*r. Suppose 0 = l*s - 78*s. Which is smaller: s or -7/37?
-7/37
Let k = 8.61 + -3.61. Is -6/7 less than or equal to k?
True
Let m = 0.0209 + -0.0709. Let q be (-2)/8 + 5*5/60. Are m and q nonequal?
True
Let x(k) be the third derivative of k**6/120 + k**5/60 - k**4/6 - k**3/6 - 31*k**2 + 2*k. Let l be x(-3). Which is smaller: 6 or l?
l
Let j = 110.007 - 110. Let c = j + -0.107. Which is smaller: -2/69 or c?
c
Let d = 10219.4 + -10220. Which is bigger: 264 or d?
264
Let r = 2.55 - 45.55. Let h = r - -43. Which is smaller: h or -44?
-44
Suppose -129*t = -127*t - 8022. Let z = t + -84208/21. Which is smaller: 0 or z?
0
Let j = -14210 - -14212. Which is bigger: j or -2725?
j
Let y(g) = g**2 - 3*g - 9. Let q be y(-7). Let c be (58 - -4) + -9 + 4 + 2. Which is smaller: q or c?
c
Let h = -1965/17 + 10280863/88944. Is h less than -1?
False
Let l(r) = -52*r + 865. Let c be l(-28). Which is bigger: c or 2320?
c
Let d = -2.88 - -2.701. Let x = 370.021 - 370. Let a = d - x. Which is smaller: -2/3 or a?
-2/3
Let m = -10 + 6. Let d = 14 + m. Let j be d/(-20)*(-5 + 1). Are 5/7 and j equal?
False
Suppose 3*n + 4*i = 22, n - i = -0*n + 19. Suppose n*k = -56 - 56. Is k smaller than 3?
True
Let m be 3/((-149376)/(-20))*108. Let b = 2/1167 - m. Which is bigger: b or 1/3?
1/3
Suppose 3*l + 0*g = 2*g + 822, 548 = 2*l - 5*g. Let r = l - 273. Is r greater than 10/79?
True
Let j = 69767/7 + -9961. Are j and 3/7 unequal?
True
Let r be 18/(-39) - (-41)/((-1066)/(-80248)). Which is smaller: r or 15436/5?
r
Suppose -109*k = -113*k + 16. Let y = 25 + -2. Suppose 19*u = y*u - k. Which is smaller: u or 2/103?
2/103
Let n be (-358282)/(-620)*((-48)/28)/3. Let v = -1651/5 - n. Is v bigger than 0?
True
Let d be (-15 - -16) + (-5 - (2 + -3)). Let k(x) = -48*x + 156. Let g be k(4). Is d at most g?
False
Suppose -d - 89 = 3*u, 0 = -15*u + 19*u - 5*d + 163. Which is smaller: u or -60?
-60
Suppose -6*u = 7*u - 26091. Let x be -20 - -22 - 3/(u/1336). Which is smaller: 1 or x?
x
Let u = 13725 - 13701. Is u less than 543?
True
Let g = 2130/37 + -82166/111. Is -683 at least as big as g?
False
Let h = 108 - 108. Suppose h*t - 2*t - 34 = -2*u, -44 = 2*t - 4*u. Suppose 7*y - 48 = 11*y. Is y bigger than t?
False
Let a = -4 + 8. Let c(i) = i**3 - 5*i**2 - 3. Let p be c(a). Let d(k) = -2*k**3 + 56*k**2 + 139*k - 2370. Let m be d(29). Are m and p unequal?
True
Let c = -20706 + 14695. Is -0.2 less than or equal to c?
False
Suppose v + 4*k + 7 = 1, 0 = 3*v + 5*k + 4. Suppose r + 18 = -v*u, -2*r = -4*r + u - 46. Let l be 2*(r/(-3))/(28/21). Is 8 smaller than l?
True
Suppose -7733 = -77*c + 58*c. Suppose 3*a - y - 412 = 0, -3*a + c = 13*y - 9*y. Is a > 137?
False
Let b(g) = 2*g**2 - g**2 + 151*g - 153*g - 31 - 35 + 2. Let v be b(-7). Which is bigger: v or -1/369?
-1/369
Let d be 864/360*340/8. Does 69 = d?
False
Let i = -0.00124 + 0.04724. Which is greater: -8 or i?
i
Suppose 4*c - 88 = 36. Let p(i) = -i**2 + 32*i - 32. Let q be p(c). Do q and -1/30 have the same value?
False
Let d(u) = -2*u**3 + 12*u**2 - 21*u + 12. Let h be d(4). Let n be h/(-2) + (-3075)/(-175). Which is smaller: n or 23?
n
Let f = 0.14 + -0.37. Let n = f + 0.13. Let a = 33 + -59. Which is bigger: n or a?
n
Let f = 676389697/6265 + -539789/5. Let i = -2/179 + f. Which is greater: 6 or i?
6
Let a = 0.069 - 1.369. Let j = -1.21 - a. Which is smaller: -0.8 or j?
-0.8
Let m(j) = -j - 8. Let k be m(-5). Let n(t) = t**3 - 39*t**2 - 80*t - 75. Let z be n(41). Let q be (5 - z)*k/24. Is 2 > q?
True
Let k = -20041.0225 - -20041. Do k and -28 have the same value?
False
Let y = -129 + 129.091. Let s = y - 0.05. Let g = s + -0.011. Which is smaller: 1 or g?
g
Let m(l) = l + 22. Suppose -11 = -5*j + 4. Suppose q - v = -2*v - 8, j*q + 44 = 2*v. Let z be m(q). Are z and 9 unequal?
True
Suppose 8 + 112 = -24*j. Let r be j/(100/8) - 13/5. Let o = -31/18 - 187/90. Is o <= r?
True
Let i be (-3)/((-288)/(-136))*((-34)/(-8) - -1). Which is bigger: i or -7?
-7
Suppose -p - 300 = -3*j, 3 - 503 = -5*j - 3*p. Which is bigger: j or 92?
j
Let s = -113 - -95. Let w be 3/s*(6 - 44). Let v(q) = 3*q - 12. Let n be v(6). Is w equal to n?
False
Let j = 18 + -18. Suppose 0 = -16*p - 0 - 0. Let b be p/(j - 0 - 2). Is b bigger than -1?
True
Let l = -788 - -730. Suppose 3*d - 3*z - 39 = 0, 6 = 3*d + 5*z - 41. Let u be (d/(-42))/(2/l). Which is smaller: 11 or u?
u
Let f = -10 - -10. Let p = -434683/7898 + 1211/22. Is p smaller than f?
False
Let l = 2248 + -1996. Let g(y) = y**2 - 3. Let h be g(6). Let c be (2/h)/(4/l). Is c equal to 3?
False
Let s = -174 - -209. Suppose s*o - 31*o + 140 = 0. Which is greater: -33 or o?
-33
Let v = -14.1 + 3.7. Let a = -10 - v. Let b = 0.54 + -0.14. Is a <= b?
True
Suppose 17*d + 5*d - 132 = 0. Suppose d*i - 1 = -1. Let f = 281/851 - 9/37. Which is greater: f or i?
f
Let o = -115 + -519. Let h = o + 633. Which is smaller: -5 or h?
-5
Let v = -3708 - -3424. Is v less than or equal to 38?
True
Suppose 0 = 4*q - 20. Suppose 5*d = 0, q*j - 9 - 6 = 2*d. Suppose -i = -j*i + 2. Which is smaller: i or 1.4?
i
Let f = -29 + 13. Let g = -7 - f. Let z = g + -4. Is -2/7 bigger than z?
False
Suppose 0 = 12*z + 2475 - 2439. Let h(n) = -n**3 - 5. Let q(d) = d**3 + d**2 + 5. Let c(o) = -5*h(o) - 6*q(o). Let r be c(-6). Which is greater: r or z?
z
Suppose -16*g + 15*g - 33 = 0. Let j = 37 + g. Suppose u - 2*k = 10, -5*u + 6 + 14 = -j*k. Is -2 at most u?
True
Let i be ((-5061)/28*30)/24. Let s = i - -226. Is 6 less than s?
False
Let d be 5/(-3) + 9/(-45)*-5. Let o be 3 + (-2 - 60/3). Let a = o + 96/5. Is d != a?
True
Let h be (90/1170 + (-68)/39)/((-1)/471). Which is smaller: h or 1567/2?
1567/2
Let n be 2*2*(-12)/(-8) - -4. Suppose 16 = 13*o - 23. Suppose -3*w = 3*r + o, -w = 2*r + r + 7. Is w at most as big as n?
True
Let i(q) = q**2 - 30*q + 117. Let z be i(5). Let l(b) = b**2 + 2 - 6*b - 2*b**2 + 3. Let d be l(z). Is -11 at most d?
True
Let q be ((-98)/28 - -3)*1/15685. Which is smaller: q or 1?
q
Let t(u) = -u**3 + 3*u**2 + 2. Let l be t(3). Suppose -l*q = -2*i + 8, -23 = i - 3*i - q. Let p = 445 + -435. Is p > i?
True
Suppose 0 = 5*b - 0*i - 2*i + 11, i = -b + 2. Let t be (1 + b)/(-10 - -8). Let m be 39/4 + (0 - (1 + t)). Which is smaller: 8 or m?
8
Let c(d) = 2*d**3 - 5*d**2 - 3*d + 1. Let u(t) = t**2 + 6*t - 4. Let m be u(-7). Suppose 0 = 3*k - m*r - 18, -r = k. Let n be c(k). Is 0.1 >= n?
False
Let v be (6/(-156))/((-4725)/657845). Let d = 4/1755 + v. Which is smaller: 6 or d?
d
Let w = 24/19 + -6/95. Let p be (-2 + (-62)/(-10))/(4/15). Let g = p - 16. Is g bigger than w?
False
Let u be (-1)/((2 - 1)/(-23 - -1)). Suppose 19*i = u*i - 18. Let z be (-2 - -5)/(411/i - -2). Which is bigger: z or -1?
z
Let f = -1302/19 - -11756/171. Which is greater: f or 14.15?
14.15
Let k = -112 + 193. Let m = -40 - -241/6. Is m less than k?
True
Let y be (1/(-2))/(((-260)/8840)/(28/22)). Which is bigger: 23 or y?
23
Let u = 3.7 - 3. Let l = 0.7 - u. Let i = -3145 - -3150. Is l < i?
True
Suppose 5*d - 38*d + 462 = 0. Suppose 1 = -15*c - d. Which is bigger: c or -27/22?
c
Let d be 7/(-21) - (1124319/(-336708) + 3). Let n = 13/597 - d. Is 1 not equal to n?
True
Suppose 2*b + 4*l - 22 = 0, -4*b + 44 = 2*l - l. Let f = 18 - b. Suppose f = -h + 8*h. Which is bigger: h or -4/11?
h
Let r = 42 - 28. Suppose -2*a = h + 56, -a - 5*h - r = -h. Let i be (-6)/10 + (-78)/a + -3. Is i < 0?
True
Let j(a) = -31*a**3 - 8*a**2 + 26*a - 27. Let o be j(4). Which is bigger: -2033 or o?
-2033
Let x be -11*(73 + 9 - -3). Which is bigger: x or -933?
-933
Let v = -54 - -16. Let w = -45 + v. Let a be 4/28 - w/7. Which is greater: a or 3/5?
a
Let l = -47 - -45.6. Let j = -75.6 + l. Let d = -76.7 - j. Which is smaller: -3 or d?