227 - 2041/9. Which is smaller: 1/8 or x?
1/8
Let g(m) = -m**3 + 6*m**2 + 16*m - 8. Let d be g(8). Is 1/4 <= d?
False
Let o be (-1 - 0) + (1 - 2). Let y = o + 0. Let k = y - -2. Is k less than 2/5?
True
Let q = 0.4 - 5.4. Let j = q - -4.9. Which is bigger: j or 0.2?
0.2
Let r = 1.5 + -0.3. Let f = r - 0.2. Let q = -5.9 - -6. Which is smaller: f or q?
q
Let a = 41 - 34. Which is bigger: a or 10?
10
Let b be 4/(-4) + 2/2. Let i = 3 + b. Let o be 2 + i/((-3)/3). Are -2 and o unequal?
True
Let q = -51 - -128. Let v be (6 - 4) + 1656/(-21). Let g = v + q. Do g and 1 have different values?
True
Let h be -2*6*(-3)/6. Let x be h/(-9) - 2/(-3). Is 2/7 smaller than x?
False
Let s be (1/(-6)*2)/1. Let p(n) be the second derivative of -n**5/20 + 5*n**4/12 - 2*n**3/3 - n**2/2 - 2*n. Let f be p(4). Which is smaller: f or s?
f
Let v = 1/12 + -61/300. Let h = 2358134/75 + -31441. Let r = h + v. Which is smaller: r or -1?
-1
Let g(l) = 2*l**2 + l + 1. Let z be g(0). Is z > 2?
False
Let j = -63 - -55. Is j at least as big as 3?
False
Let q = 4 - 4. Let z = 0.5 - q. Let r = z + -0.4. Is r greater than or equal to -2?
True
Let v = 13 + -19. Suppose -5*l = -16 - 4. Suppose -2*a = -6*a - 4*g + l, 2*a = 2*g - 2. Is a smaller than v?
False
Suppose 0 = -3*y + 54 - 6. Suppose -2*d + 3*n - y = -4, -12 = -3*n. Suppose 0 = 5*z + 3*v + 5, 2*z + 2 = 5*v. Which is smaller: z or d?
z
Suppose 2*j = -0*u - 3*u + 13, -3*j + 2 = u. Suppose 4*v + 1 + u = 5*d, 2*v - 8 = -3*d. Let o = -35 - -243/7. Is o at least v?
False
Let r be (-8)/(-6) - (-1)/(-3). Let k = -139 - -692/5. Is k smaller than r?
True
Let c = 3 + 2. Suppose c = 3*v - 1. Is v bigger than 7?
False
Let w = 15 + -12. Suppose -2 = -2*g - 2*n, 5*g - n = 2*n - w. Do g and 2/29 have the same value?
False
Let v = 1 + -4. Let o = 2.7 + v. Let y = 51 - 52. Which is bigger: y or o?
o
Let k be -1 + 6*1/10. Let g = 1.7 - 0.7. Which is bigger: k or g?
g
Let r = 2/653 + -967/102521. Is -1 >= r?
False
Let t be (-4)/18 - (-346)/99. Is t less than or equal to 2?
False
Let d be (-2)/7 + (-65)/(-7). Let a be ((-9)/(-24))/(d/4). Is 0 >= a?
False
Let r be 8/36 + -2*(-58)/(-198). Is r at most as big as -1?
False
Let o = -4.1 + 4.3. Let a = 50 - 201/4. Which is smaller: o or a?
a
Let z be 38295/(-6)*(-101)/15258. Let k = z + 3/2543. Let y = 42 - k. Which is bigger: 1 or y?
1
Let d be 10/(-10) - (-1 + 15). Is d <= -15?
True
Let a(v) = -v. Let i be a(-1). Let t be ((-426)/72 - -6)/(1/4). Is i at least t?
True
Suppose -4*w + 15 = 2*m - 3, m + 3 = w. Is m at least as big as 5/6?
True
Let z(k) = k**3 - 13*k**2 + 12*k + 4. Let i be 16/6 - 6/9. Suppose -i*w - 3*w = -60. Let l be z(w). Which is greater: l or 5?
5
Let t = -0.59 - -12.59. Which is smaller: 3 or t?
3
Suppose -5*f + 18 = 4*y, -3*f = -2*y + 4 - 6. Let m be -1*(2 + 1*-2). Is y less than m?
False
Let n be (-8)/6*(1 - 4). Suppose 0 = -5*p + 10, n*i + 157 = -2*p - 63. Let t = i - -170/3. Which is greater: t or 0?
t
Let n = 463/90 + -26/5. Is n smaller than -1?
False
Let g = 21 - 27. Are g and -5 equal?
False
Suppose 1 - 21 = -4*h. Suppose 0 = h*k - c - 4, 16 = 6*k - 2*k - 4*c. Is k greater than or equal to 1/6?
False
Let k = 8.7 + -10. Let p = 0.3 + k. Is p at least 1/2?
False
Let d = -594921/259 + 2297. Which is greater: d or 0?
d
Let q = 100 + -99.8. Which is smaller: q or 0?
0
Let v = 0.5 - 0.2. Which is smaller: v or -4?
-4
Let w = -3/44 + 285/308. Is 1 equal to w?
False
Let m = 3/16 + 11/112. Is -1/3 less than or equal to m?
True
Let m = -247/124 + -8/31. Is m smaller than -3?
False
Let o = 2 + 3. Suppose -o*x = 17 - 7. Let h be 195/(-425) + x/(-5). Is h at most as big as 1?
True
Let z be 4/(-10) - 8/(-15). Let s be 102/27 - 2/(-9). Suppose 0 = -o - 5*r - 4, 4 - 3 = 5*o + s*r. Is z smaller than o?
True
Let n = 13 + -10. Let c = -2 + n. Is c > 0.6?
True
Suppose 3*h = 2*h + 6. Is 5 at least as big as h?
False
Let k = -0.27 - -0.17. Let w = k + -1.9. Which is bigger: -8/3 or w?
w
Suppose -2*x + 12 = 3*p + 2*x, -p = -5*x - 4. Suppose -4*i + p = -2*i. Is i at most as big as -0.1?
False
Let v(a) = a**2 + a. Let o be v(0). Let j be (0 - o) + 8/32. Let t be (1 - 1)/(3 - 1). Which is smaller: t or j?
t
Suppose 0 = 5*m + 2*y + 4, 2*m = -2*m - y - 2. Which is bigger: 3/11 or m?
3/11
Let s be (-2)/3*9/6. Let k be s + 1 - (-1 + 2). Suppose -2*x = -10 + 12. Is x less than or equal to k?
True
Let a = -0.2 + 0.6. Let v = -0.4 + a. Let n = 1 - v. Is 1 less than or equal to n?
True
Let x = 3 + 0. Suppose -2*r - x*m - 167 = 0, -r + 76 = -2*r - 3*m. Let g = -457/5 - r. Which is bigger: g or 0?
0
Suppose 3*y = -294 + 69. Which is greater: y or -74?
-74
Let d = -12 + 6. Let b = 4 + d. Which is smaller: -6 or b?
-6
Let g = 0 + -0.1. Let y be (-15)/20 - 4/(-2). Which is greater: g or y?
y
Let z = -61047/50 - -1221. Is z at least as big as 1?
False
Suppose -x + 9 = 10. Which is bigger: x or 4?
4
Let r = -5.4 - -9.5. Let l = -4 + r. Let j = -0.2 + l. Which is smaller: j or 0.1?
j
Let d be 55/70 - (-4)/(-14). Suppose 30 = -3*o + 4*j - 2, 0 = -2*o - 5*j + 17. Let n(v) = -v**2 - 3*v + 5. Let p be n(o). Is d at most p?
True
Let f = 81 - 325/4. Is -0.003 greater than f?
True
Let b = 38 + -42. Let i = 1 + -5. Is i < b?
False
Let o be (-1 - -13) + (-1 - -4). Suppose -3*y + o = -0*y. Let n be y/(-20) + (-13)/(-20). Is 1 greater than n?
True
Let o(z) = -z**3 + 2*z**2 - 2*z - 2. Let i be o(-2). Let t(f) = f**3 - 5*f**2 + 4*f - 2. Let q be t(6). Let p be 4/i + q/(-18). Is p > -1?
False
Let j = -35 + 34. Is 1/56 >= j?
True
Let o = -0.3 + 11.3. Let w = -10 + o. Which is smaller: w or 0?
0
Let q = -11.07 + 11. Let t = q - -0.47. Let m = t + 0.6. Is 0.2 less than m?
True
Let b = 2.1 + -0.1. Let q = 1.9 - b. Is 1 less than or equal to q?
False
Let n(s) be the third derivative of -s**4/24 + 5*s**3/6 - 3*s**2. Let a = -1 + 5. Let m be n(a). Is m greater than 2/13?
True
Suppose n = -n - 8. Let v = n + 6. Let f be 0 - v - (-1)/4. Is -3 > f?
False
Let q = -2 - -16. Suppose -3*d + b + 0 - q = 0, 3*b - 24 = 3*d. Suppose 5*y + 10 = 0, 20 = -5*i - 0*y - 5*y. Are d and i nonequal?
True
Let i be 28/(-3) - ((-25)/5 - -5). Which is greater: -8 or i?
-8
Let i = 6 - 2. Suppose 2*o = i*o - 2. Which is bigger: o or -1?
o
Suppose -4*b = -f + 8 + 13, -2*f + 3*b = -17. Let a = 24/5 + -5. Is f at most a?
False
Let b = 0.2 + -1.4. Let p = b + 0.2. Suppose 4*y + w = -7, 5*y - 2*w = 2*w - 35. Which is smaller: y or p?
y
Let k be 4/8*2 + -4. Is k <= 2/9?
True
Let y(w) = -w**2 - 13*w - 25. Let n be y(-12). Is n < -15?
False
Let l = -5 + 7. Let f = -1.4 + l. Does -1 = f?
False
Let k = 6401/19 + -337. Let m be -2 + (1 - (-3 - -2)). Which is bigger: k or m?
m
Suppose -2*f = 13*f + 45. Which is smaller: f or -2?
f
Let a(c) = -c**2 - 7*c - 2. Let n be a(-6). Suppose 4*p + 24 = -n*k, 0*p = -3*p - 9. Let r(o) = -2*o - 2. Let z be r(1). Do k and z have the same value?
False
Let o be 3 + 3/6*(-15 + 1). Which is smaller: -42/13 or o?
o
Let b(i) = -9*i - 1. Let o be b(-1). Let u be (-2)/o*16/(-36). Which is bigger: u or -1?
u
Suppose -1 = c + 2. Suppose -7 + 3 = -r. Suppose 2*w + 2 + r = 0. Is c at most as big as w?
True
Suppose 0 = -3*a - 2*d - 20 + 4, -5*a + 3*d = -5. Are a and -28/9 equal?
False
Let o = 0 + 0. Let r = -1/763 - 753/7630. Is o >= r?
True
Suppose 5*u - 2*u - 27 = 0. Is 10 less than or equal to u?
False
Let t = 16670/219 + 68/657. Let p = t + -76. Suppose -2*a = 2*h - 8, h - 10 = -4*a - h. Which is greater: a or p?
a
Suppose 0 = 3*f - n + 5, 4*f + n - 3 = 2. Do f and -1 have the same value?
False
Let a = -18949/1872 - -7/624. Suppose 0*m = 4*m - 40. Let j = m + a. Is j bigger than 1?
False
Let x = 49 - 69. Is -19 greater than x?
True
Suppose -3*x + 8 = -5*x. Which is greater: 3 or x?
3
Let i = 3 - 10. Let j be 3 + -6 - 12/i. Is -2 greater than or equal to j?
False
Let z be (-4)/(-22) + 318/66. Let v(l) = l**2 - 4*l + 1. Let m be v(z). Let g = -5 + m. Which is smaller: -1 or g?
-1
Let a(u) = u**2 - 9*u - 4. Let z(t) = -t**3 - 9*t**2 + 8*t - 10. Let d be z(-10). Let m be a(d). Which is smaller: 3 or m?
3
Suppose -4*m - 6 = y - 0, -9 = 5*m + 2*y. Let z be 48/(-70) + (-10)/(-35). Which is smaller: z or m?
m
Let j(q) = q**3 + 2*q**2 - 3*q - 1. Suppose 0 = -5*i + 4*k - 3, 3 + 0 = 2*i - 3*k. Let m be j(i). Do m and -6/5 have the same value?
False
Let