 s. Is -21 bigger than h?
False
Let w(i) = -i**3 + i**2 - i + 27. Let m be w(7). Let f be m/596 - (-59)/118. Which is smaller: 0 or f?
0
Suppose -83 - 97 = 4*x. Let l be 15/x*(-12)/(-760). Which is smaller: 1 or l?
l
Let l(u) = -32*u - 17. Let b be l(-3). Let t be (1 + (-6)/4)*(-65 + b). Suppose 3*s + 25 = w, -2*s - 28 = -3*w - 2. Is t <= s?
True
Suppose -84*s + 91*s + 70 = 0. Let n be (-194)/(-7) - (160/56)/s. Which is smaller: 36 or n?
n
Suppose 0 = 34*i - 41*i. Which is smaller: i or 7/155?
i
Let h = 353 + -298. Let j = h - 55. Is j less than -1/13?
False
Let n = -1704/19 - -17293/171. Is n at most -2/3?
False
Let k(d) = -d**3 + 5*d**2 + 5*d + 2. Let g be k(6). Let b = -1876 - -1874. Is b at most as big as g?
False
Let v = 0.515 + -0.015. Suppose 0 = 2*u - 3*c - 10, -5*u + 1 + 17 = -4*c. Let m be 25/14 - u/7. Which is smaller: v or m?
v
Let m = -82.90618 - 0.09382. Which is smaller: -0.001 or m?
m
Suppose 0 = -5*o, 3*y + 3*o + 22 = 5*y. Let d = y - -11. Suppose 0 = -2*j - 5*x - d, -2*j - 2*j + x = 0. Which is bigger: j or -9?
j
Let v = 18 + -30. Let f = -66973/3 - -22311. Is v not equal to f?
True
Let l(c) = -7*c**3 + 11*c**2 + 2*c - 56. Let n(u) = 16*u**3 - 21*u**2 - 3*u + 110. Let x(j) = -9*l(j) - 4*n(j). Let t be x(-15). Is 155 at most as big as t?
False
Let v be ((-24)/(-10))/(18/300). Let y(a) = 8*a - 112. Let x be y(14). Suppose x = 36*m - v*m - 96. Which is greater: -0.1 or m?
-0.1
Let t(p) = p**3 - p**2 - 2*p + 3. Let w be t(2). Suppose -2*m + w*m + 3 = 0. Let d(v) = v**3 - 4*v**2 + 4*v - 48. Let n be d(5). Is n smaller than m?
False
Let k(u) = -u**3 + 14*u**2 - 7*u + 104. Let g be k(14). Suppose 2*l - 16 = -2*l. Suppose -12 = -l*w + 4. Is g at least w?
True
Let l = 134 - 129. Suppose 0 = l*w + w - 12. Let p(q) = -16*q**2 + q + 4. Let n be p(w). Which is smaller: -59 or n?
-59
Let u = -27 + 31. Suppose -42 - 14 = u*l. Let z be (-246)/22 + l/(-77). Is z bigger than -12?
True
Let r = 10.92 - 14.2. Is r at least as big as 0.03?
False
Let a = 10 - -7. Let c = a - 13. Let n = 4.1 - c. Do n and 0.11 have the same value?
False
Let r = 15 - 11. Suppose r*q + 4*x = -0*q + 4, q - 5 = -3*x. Let s = 2335/11 - 213. Is q less than s?
True
Let c(i) = -2*i**3 + 26*i**2 - 19*i + 13. Let u be c(12). Is 20 at most as big as u?
True
Let p(o) be the third derivative of o**4/24 + 4*o**3/3 + 3*o**2. Let m be p(7). Suppose -5*t - 5*r - m = -115, 3*r + 25 = 2*t. Which is smaller: 18 or t?
t
Suppose 593 = 3*r - u - 540, -3*u - 1143 = -3*r. Let c = 384 - r. Which is smaller: -5 or c?
-5
Let f = -3498.5 - -3498.6. Which is smaller: -1630/13 or f?
-1630/13
Suppose 8*a = 3*a - 75. Let n = 47/3 + a. Is -0.65 greater than or equal to n?
False
Let q = -5346475553/81 + 66005026. Let d = 845 + q. Is 1 > d?
True
Suppose -4*m + 6 = -x, -3*x - 4*m - 23 + 5 = 0. Let i(f) = 2*f + 10. Let g be i(x). Is 7 greater than g?
True
Suppose 6*s - s = -5*f + 365, -2*s + 151 = 3*f. Suppose -167 = -q - s. Let w = q - 61. Which is greater: 39 or w?
39
Suppose -i = 3*i + 3*o - 125, o = i - 33. Suppose -2*j - 24 = -96. Suppose -4*y = i - j. Is -1/60 greater than y?
False
Suppose -23*p - 40 = -132. Let d be (-1340)/66 + p*7/42. Which is bigger: d or -19?
-19
Let s = -5102.6 + 5105. Which is bigger: s or 3/2?
s
Suppose -3*b + 1526 = -274. Suppose 44*g - b = 40*g. Is 151 bigger than g?
True
Let h(x) = -35*x**3 - 23*x**2 - 105*x + 11. Let z be h(-6). Do z and 7373 have different values?
False
Let u be (-32)/(-20)*11/(-165). Let h = -671/2775 - u. Let t be 0/(-2) + -2 + 1. Which is smaller: h or t?
t
Suppose 4*b - 4*g + 8*g = 24, b + 2 = g. Let t be (-63)/108 + 1/b. Is t at most 1?
True
Suppose 28 = -4*d, 71*o + 201 = 74*o - 3*d. Is o less than 50?
False
Let h(x) = 9*x**3 - 9*x**2 + 5*x - 5. Let m be h(8). Let b = m - 418904/103. Which is bigger: -1/4 or b?
b
Let f(u) = -u**3 - 50*u**2 + 104*u + 37. Let t be f(-52). Is -16 less than t?
True
Let z be (-10 - (-34 - -12)) + -13. Which is smaller: z or -1/2141?
z
Let p be 47/(-8) - 1/4. Let a = 304135/69496 + 220/1241. Let z = p + a. Which is bigger: z or -3?
z
Let d(i) = -i**2 - 14*i + 5. Let n be d(-10). Suppose -n = 11*g + 65. Let v be 6/g*3/((-18)/(-34)). Which is smaller: -2 or v?
v
Let b = 133/183 - 11/183. Is 0.08 at most b?
True
Let f = -3 + 48. Let m = f - 11.6. Let n = 33 - m. Which is bigger: -3/7 or n?
n
Let b(j) = 24 + 12*j - 30 + 10 + 35. Let q be b(-3). Is q less than or equal to 0.06?
False
Let h = 0.08282 - 0.38282. Which is bigger: h or -24/19?
h
Suppose 5*u = 5*p + 7980, -5*p + 2*u - 6168 = 1791. Which is greater: -1591 or p?
p
Suppose 4 = 4*g, 0 = -z - 0*g + 2*g - 15. Let i be 2/13 + (-37)/z. Let a be (-2)/i + 52/132. Which is smaller: a or -0.2?
a
Let b = -1044 + 1044.1. Are 2919 and b equal?
False
Let b = 80 + -73. Let r = 31 - 30. Suppose -r - b = 4*x. Which is bigger: -3/5 or x?
-3/5
Let r be ((-28)/(-2))/2 + 22 + (-22 - 8). Are r and -1/1904 equal?
False
Let a = 10 + -7. Let u be (3514/1760 + -2)/((-270)/327975). Let i = 9/352 + u. Does a = i?
False
Let a be 2/(-10)*520/(-48). Let u(p) = p**3 - 25*p**2 + 72*p - 131. Let l be u(22). Is l bigger than a?
False
Suppose 4*m - 23*u - 41790 = -24*u, -m + 2*u + 10452 = 0. Which is smaller: 10449 or m?
m
Let h be (-40)/(-300) + 94/(-30) - 6/(-2). Which is bigger: h or 3/571?
3/571
Let p(w) = -2*w**3 - 7*w**2 + 5*w + 2. Let f be p(-4). Let b be (-5 - (-788)/140) + f/10. Let g = -1.3 + 7.3. Is b greater than g?
False
Let h = 121 + -121. Let n be h/1 + (-318)/((-18)/3). Is n < 53?
False
Let z be (-7)/(28/2)*(-1407 - -5). Is 702 smaller than z?
False
Suppose 41 + 25 = 10*g - 16*g. Which is bigger: g or -231/19?
g
Let g = 0.202 + 257.798. Let r = 258 - g. Which is bigger: 150 or r?
150
Let m = -4 + 2. Let z = 0.04 - -0.036. Let w = z - 0.076. Is m > w?
False
Let j = -94 + 88. Let g = 17 - j. Which is smaller: g or 47/2?
g
Let o = 2/20523 - 123152/143661. Is 19 less than o?
False
Suppose 5*a = 399 + 321. Let l be (3 - a/50)*5 - -3. Suppose w = 2*w - 5. Which is smaller: w or l?
l
Let l = 6.6 + -6.5. Let z = 140.9258 - -0.0742. Which is smaller: z or l?
l
Let o be (-2)/(-3)*(-645)/86 - -6. Which is smaller: -6/553 or o?
-6/553
Suppose 5*m - 3*x = -163, 5*m - 3*x + 195 = -8*x. Let y be 74/(-105) - 20/m. Let b = -147 + 149. Which is greater: y or b?
b
Let k = 135 - 113. Let u = -23 + k. Does u = -1/9?
False
Let f be (-2835488)/512 - (-2)/32. Which is greater: -5537 or f?
-5537
Let g be (-12)/8 - (-49)/1540*42. Suppose -5*t + 8*c = 3*c - 10, -c - 2 = 0. Which is smaller: g or t?
g
Let w(f) be the first derivative of f**4/4 - 4*f**3/3 - 13*f**2/2 + 3*f + 16. Let s be w(6). Which is bigger: -11/4 or s?
-11/4
Let m(c) = c. Let z(i) = i**2 + 11*i - 17. Let d(j) = -4*m(j) + z(j). Let y be d(-9). Suppose -r = -4*n + y, n - 2*r = -0*r - 5. Which is bigger: n or -20?
n
Let a = 3.69 - 3.788. Let n = a + -1.902. Which is bigger: n or 48/11?
48/11
Let d be 10 - 13 - 20/(-2). Let v be (-41)/(-7) - (-1)/7. Suppose -2*a = -v - 12. Is a at least d?
True
Let f(i) = 7*i + 103. Let p be f(-16). Let w(h) = -h**3 - 9*h**2 - 9*h - 10. Let l be w(p). Which is greater: 70 or l?
l
Let t = 23886 - 23888. Suppose 10 + 25 = -l. Which is smaller: t or l?
l
Let q(u) = 22*u - 2. Let d be q(-2). Suppose -7*x = 82 + 72. Let w = d - x. Which is smaller: w or -1?
w
Let p(t) = -3*t + 332. Let c be p(0). Let z = c - 304. Which is greater: -1/5 or z?
z
Let f = 8828219/59 - 149635. Which is bigger: -4 or f?
-4
Let p = -1.86 + 367.86. Let q = 365.74 - p. Let b = 0.3 + -0.3. Which is smaller: q or b?
q
Let g(z) = z**2 + 66*z + 1. Let p be g(-7). Let o = p - -384. Which is bigger: o or -86/3?
o
Let b(y) = 125*y + 1048. Let g be b(-10). Which is smaller: g or -207?
-207
Let k = -89038/25 + 3562. Let y = 101/50 + k. Let w = 0.1525 - -0.0475. Which is smaller: w or y?
w
Suppose -3*q + 2 = 14. Let t be (q - (-22)/6)/(-1). Suppose 0 = 3*k + 5*c + 6, -5*k - 3*c + 56 - 50 = 0. Which is smaller: k or t?
t
Suppose -140*w = -135*w - 35. Suppose 8*h - h - w = 0. Which is smaller: h or -4/59?
-4/59
Let h = -721/2227 - -27/131. Is h at least as big as 0.083?
False
Suppose -4*q = -y + 42 + 48, 2*y - 4*q = 184. Suppose -y = -2*m - 92. Is -1/301 equal to m?
False
Let g = 166 - 130. Let y = g + -37.6. Is -1/4 <= y?
False
Let u be 1 - (8 + 2/