 + 9 = 2*t + 5*g. Let x = 1591 - 4870/3. Let a = -33 - x. Which is smaller: t or a?
t
Suppose i - d - 56 = 120, -i + 2*d = -181. Suppose 0 = -2*f - 17 - 59. Let x be f/i - (-10)/(-36). Which is bigger: -2 or x?
x
Let o = -183 + 106. Let h = o + 79. Let j be (-63)/(-220) + 10/(-40). Which is bigger: h or j?
h
Let p(n) = -n**2 - 9*n + 6. Let a(g) = -g**2 - 10*g + 7. Let y(f) = -6*a(f) + 7*p(f). Let k be y(8). Let v be 3/4*k/1683. Which is smaller: -1 or v?
-1
Suppose 4*v + 96 = -4*g, -4*v + 35 = 3*g + 129. Let z be (2/v + 0)*(-80 + 86). Let b(a) = -a**3 - 3*a**2 - 2. Let j be b(-3). Is j != z?
True
Suppose 5*z - 1186 = -3*v, v + 0 = 2. Let t = z - 237. Is t bigger than 131?
False
Let s = -0.038 + -0.411. Let b = s - -0.229. Is b > 3?
False
Let u = -46 + 47. Let o = u - 6. Let c be 2/(-9) + 238/45 + o. Are -1 and c equal?
False
Let j = 2576/3 + -858. Let m = 0.18 + 0.02. Let s = m - 0.14. Is s at most as big as j?
True
Let z = 3879824650/22193 + -174822. Which is greater: 1 or z?
1
Suppose 546*a + 1190 = 529*a. Which is smaller: a or -1776/25?
-1776/25
Let k = -169 + 335.4. Let t = 166 - k. Is t less than -0.8?
False
Let j be -7 + (-27)/(-4) + (-74)/(-104). Which is bigger: -37 or j?
j
Let v be (77/(-14) + -2)/((-119)/(-122) + -1). Is 304 at least as big as v?
False
Let k = -25 - -25. Let r be (k - (-2)/(-3))*39/26. Let l be -1*r*(-4 - -16). Which is greater: l or 11?
l
Let c(u) = u**3 + u**2 - 16*u - 30. Let o = 258 - 262. Let p be c(o). Which is smaller: p or -38/3?
p
Let b = 0.34 + -0.248. Let x = b + -0.292. Which is greater: 101 or x?
101
Let a be (6/19)/((-10)/(-5)). Let z = 2/175 + -706/525. Let b = -10/9 - z. Which is smaller: a or b?
a
Let z(n) = n**3 + 10*n**2 + n + 10. Let b be -2 + (8/1)/2. Suppose -2*k = -3*k - 3, -14 = b*h - 2*k. Let m be z(h). Is 2/7 bigger than m?
True
Let q be 63/(-18)*(300 - 0)/(-3). Let w be 9/((-378)/(-12)) - 156/q. Let n(o) = -o**3 + 3*o**2 - o - 1. Let p be n(2). Which is smaller: w or p?
w
Let h = -7621/2 + 3684. Is h less than -127?
False
Suppose 76 = -0*i + 4*i. Let k = i - 20. Let m = -1/2 + 39/86. Is m at most as big as k?
False
Suppose 0 = -4*c - 246 + 242. Let f(j) = -11*j - 17. Let b be f(c). Is -8 > b?
False
Let k be 1 + (-2)/8*0. Suppose -5*h = -4*h - k. Let x be (8/30)/(-2)*h. Which is smaller: -1 or x?
-1
Let v = -0.25 + 0.03. Suppose y - 108 + 183 = 0. Let r be (-4)/(-3)*y/350. Is r smaller than v?
True
Let a(x) be the third derivative of -x**6/60 - 13*x**5/30 + x**4 - 8*x**3 + 136*x**2. Let m be a(-14). Which is greater: m or 21?
21
Let c = 377 - 716. Let v = c - -339.02. Which is smaller: -23 or v?
-23
Let f be 18/3*(9/6)/3. Let x = f + -33. Which is smaller: -92/3 or x?
-92/3
Let r be 462/(-35) + 14 + (-588)/10. Which is smaller: -60 or r?
-60
Let n be 4596/924 - 24/(-924). Is -12/97 less than n?
True
Let y = 4.06 - -80.69. Let u = y + -84. Let b = 109/3 - 37. Is u equal to b?
False
Let l be 6252/(-264) - 4/(-22). Let h = l + 25. Is h greater than -3?
True
Let t be -15*1/135 + (-2 - (-802)/9). Which is smaller: t or 111?
t
Let z = -516 - -6743/13. Let n = -5 - -8. Which is smaller: n or z?
z
Let u be ((-16)/10)/((-1923)/5715 + (-1)/(-3)). Which is greater: 512 or u?
512
Let k = 121 - 118. Suppose 0 = g + k*p + 124, -4*p - 179 = 4*g + 301. Which is greater: -120 or g?
g
Suppose -5*i = 13 + 27. Let m be i/18*-1*12/4. Do 4 and m have the same value?
False
Let n = 0.04715 - 0.04715. Which is bigger: 7352 or n?
7352
Let n = 1/142 - 51/2201. Let q = 1816843/310 + -23443/4. Let y = n - q. Which is greater: y or 0?
0
Let w be ((-1100)/8 + 12)*148. Are -18574 and w equal?
True
Let z = -65/63 - -23/63. Which is bigger: z or -733/10?
z
Let r = 17534 - 683830/39. Is r smaller than -10?
False
Suppose 16 = -0*c + 4*c. Let q = -291 - -294. Suppose -4*l + 5 + 7 = -c*w, 3*l = -3*w + q. Which is greater: 12/11 or l?
l
Let m = -56885 - -56886. Suppose 3*q - 157 = -1039. Is m <= q?
False
Let d be (-1821)/4540 + (-4)/(-10). Suppose 333*v - 219*v + 147*v = -406*v. Are d and v nonequal?
True
Let x = -31 + 67. Suppose 3*f = 2*a + 301, a + 507 = 5*f + 3*a. Suppose f = -5*h + x. Which is greater: -16 or h?
h
Let a(k) = -8*k + 1. Let d be a(-1). Suppose 13*g - d - 17 = 0. Suppose -5*t - 13 = g. Is -22/5 not equal to t?
True
Suppose -612 = 10*f + 41*f. Which is smaller: f or 33?
f
Let j be (-5)/(-15)*72/3. Suppose -j*i = 11 + 341. Is -42 less than i?
False
Let n(q) = q**2 - 18*q + 56. Let r be n(14). Let v be (-9)/(-15) - 6/5. Let a = -1 - v. Is a < r?
True
Suppose -14*g + 16*g + 4*f - 4566 = 0, 0 = 4*f - 8. Is 2278 at least g?
False
Suppose -29 = -5*a - 4. Suppose 0 = 2*p + a*b - 24, -5*p - 3*b = -44 - 54. Suppose -10*u + p + 18 = 0. Which is greater: u or -0.4?
u
Let k be 3*(-4)/8*22 + 3. Let y be k/76 + 14/14*0. Which is smaller: -1 or y?
-1
Let t(g) = 2*g**3 - 3*g**2 + 12*g - 1919. Let y be t(0). Is y at least as big as 0?
False
Let w be ((-2)/4)/(2/4). Suppose -4*j + 3*k + 90 = 806, 5*j + 900 = 5*k. Let v be w/(-5)*2 + j/330. Which is greater: -2/5 or v?
v
Let v = -1/77 - -233/154. Let o be (-354)/7 - ((-24)/40)/((-35)/25). Which is smaller: o or v?
o
Let r be 2/(67122/7485) - ((-102)/27 + 4). Which is greater: r or 0?
r
Let c be 6/18*-116*(-42)/(-4). Let f be 35/c + 4/58. Is 0 at most f?
False
Let k = 3359 + -3359. Is k >= -1/1474?
True
Let n = -575 - -895. Let d = n + -264. Which is smaller: d or -2/7?
-2/7
Let j = 40.6 - 46. Let l = 8.6 - j. Are -0.1 and l nonequal?
True
Let g be 8/(-4) - (96/30)/(3/15). Which is smaller: 32 or g?
g
Let f be (-5)/(550/(-20)) + (-27)/(-33). Let t be (4 + -4 + -1)*2/18. Which is greater: t or f?
f
Let m = -17 + 137. Let d = m + -117. Is d at least as big as -24?
True
Let l(y) = -y**3 + 16*y**2 - 21*y + 36. Let n be l(15). Let s = n + 66. Suppose -p = 3*w - 14, 3*p = 3*w - 6*w + s. Which is smaller: 0 or p?
p
Let p = -609 + 611. Let n = 0.009 - -0.261. Which is smaller: n or p?
n
Let k be (180/75)/((-9)/(-60)). Let b be 5/5*(-1 - k/(-12)). Is b greater than -63?
True
Suppose -17*a = -13*a - 364. Let y be 786/(-39) + 469/a + -5. Is -22 at least y?
False
Let t(h) = -14*h**2 + 49*h + 110. Let a(y) = -5*y**2 + 16*y + 36. Let x(w) = 11*a(w) - 4*t(w). Let z be x(22). Which is smaller: z or 7/61?
z
Let m be (-6)/(9 - -45) - (-33025)/(-45). Is m > -746?
True
Let j = -12621.2 - -12621. Which is bigger: 4276 or j?
4276
Let t(x) = x**3 - 4*x**2 - 4*x + 26. Let l = 596 - 591. Let r be t(l). Which is bigger: 28 or r?
r
Let t be -6*1 - ((-27082)/(-2266) + -18). Is t less than or equal to 0?
False
Let j = -227 - -246.6. Let q = 19.8 - j. Is -0.77 != q?
True
Let k be (-8)/10 + 268/310. Let a = 145 + -300. Let u = a - -154. Which is greater: k or u?
k
Let p = 0.5 + 0.1. Let w = 1591.49 - 1598. Let a = -3.51 - w. Is p != a?
True
Let q(i) = 22*i**2 + 124*i - 45. Let u be q(-6). Which is greater: -852 or u?
u
Let h(u) = 4*u**2 + 407*u - 76. Let t be h(-102). Do t and 27 have different values?
True
Let v be 4/(-10) - ((-387)/5 - 0). Suppose 0 = -n - 58 - v. Let d be 35/(-14)*12/n. Is d smaller than 6?
True
Let o be ((-15)/6)/((-1)/2). Suppose -10*a = -o*a. Suppose h - 4*h + 39 = a. Which is smaller: h or 11?
11
Suppose 2*p - 5*p = 24. Let d = p + 7. Let x = -9/130 - 7/650. Is x at least d?
True
Suppose 18*b + 494 = 476. Which is bigger: -56/165 or b?
-56/165
Let x be 7198/122 - (21/3 + -1). Is x greater than or equal to -1/4?
True
Let n(a) = a + 3. Let c be n(-4). Let u = 8803308971/5585231 - -42/328543. Let i = u - 1577. Which is bigger: i or c?
i
Let o = 84.9 + -88. Let s = -8.1 + 20. Let v = o - s. Is 1 equal to v?
False
Let w be (2/3)/((-74)/18 - (-28 + 24)). Let g be 1/3 + (-52)/12. Which is bigger: w or g?
g
Let p = 3307 - 8147. Which is smaller: -2 or p?
p
Let x(o) = -o**3 + o**2 + 4*o + 41. Let n be -2 - (4 + -7) - 1. Let i be x(n). Let w = i - 39. Which is smaller: w or 9/7?
9/7
Let w be 4 + (-8 - -4) + 5. Suppose -3*z + 10 + w = 0, 4*x - 83 = z. Suppose -4*m + x - 30 = 0. Which is bigger: m or 0.8?
0.8
Let h = -18765 + 18342. Which is smaller: h or -421?
h
Let o be -1 - -1 - 2/(-7). Let p = 492.416 + -492. Let u = -0.406 + p. Which is greater: u or o?
o
Let j(a) = -a**3 + 37*a**2 + 76*a + 72. Let t be j(39). Which is greater: t or -91/16?
-91/16
Let m(q) be the second derivative of 43*q*