et o be (-18)/(-14) - r/14. Let l be o - 2 - (1 + -3). Which is smaller: 1/5 or l?
1/5
Suppose -5*k + 11 = 2*i, 4*i + 2*k = 10 + 4. Suppose 2*w = i - 5. Which is smaller: 2/31 or w?
w
Let o(n) be the third derivative of -n**6/120 - n**5/30 - n**4/24 + 3*n**2. Let u be o(-2). Let m be (u/(-10))/(4/(-8)). Which is greater: m or 3/2?
3/2
Let p be (-2 + 3)*-1 - -1. Which is smaller: 3 or p?
p
Let z(h) be the third derivative of -h**4/24 - h**3 - 3*h**2. Let b be z(-11). Are 5 and b non-equal?
False
Let x = 19 + -32. Is x greater than -14?
True
Let v(h) = 8 + h**2 + 9*h + 2*h - 3*h. Let c be v(-8). Let p = c - 3. Which is smaller: 4 or p?
4
Let g = 1/33 - -61/165. Is g at most as big as 2?
True
Suppose -2*l + 4*h + 1 = -5*l, 4*h = 2*l - 6. Let d = -0.1 - -0.15. Is d != l?
True
Let x = 22.4 - 23. Let y = -0.4 - x. Which is bigger: y or 0.1?
y
Let v = 39.8 - 46. Let s = 6 + v. Let f = 0 + -0.2. Is f > s?
False
Let z(v) = -20*v - 1 + 2 + 19*v. Let c be z(-1). Is 0.2 > c?
False
Let a = 0.957 - -0.043. Is 2.6 at least as big as a?
True
Suppose 4*u = -u - 0*u. Which is smaller: 4/5 or u?
u
Let z be 21/(-66) + 4/(-22). Is z bigger than 0.2?
False
Suppose 2*a = -5*v + 17, -a + 17 = 4*v + 4. Which is bigger: -0.5 or v?
v
Let i = -5 + 12. Which is smaller: 3 or i?
3
Suppose -5*n - 10 = -5. Let i be (-44)/38 + (1 - 0). Is n <= i?
True
Let c = -0.4 + 0.6. Let z be ((-386)/4)/((-6)/(-4)). Let m = -65 - z. Which is smaller: c or m?
m
Let j be (2 + -2)*6/(-24). Which is smaller: j or -17/15?
-17/15
Let y be (1/(-3))/(2/(-6)). Let h be (-14)/(-49) + (-32)/63. Is y at most as big as h?
False
Let s(y) = 2*y**2 - 2. Let j be s(-3). Suppose -f = d - 6 + 2, 5*f = -d + j. Let a = -253 + 2275/9. Which is greater: d or a?
d
Let v = -11 - -15. Suppose v*a = -i + 3*i - 4, -4*a - 10 = i. Is -9/7 smaller than i?
False
Let p be -2*-1*(2 - 3). Is -5/2 less than or equal to p?
True
Let c = -80 + 85.9. Let a = 6 - c. Let z = 2 + 0. Which is smaller: z or a?
a
Let v be (-2)/(-3)*(-6)/22. Let x = -5 + 3. Is v greater than x?
True
Let l = -0.55 - 9.65. Let x = 10 + l. Which is bigger: x or 0?
0
Suppose d + 20 = 2*d. Suppose -3*q = -a - 4 - 6, 0 = -5*a - d. Let l be 1 - q/4*0. Is 1 bigger than l?
False
Suppose 3*k - 3 = 0, k - 2*k = 3*q + 44. Is q smaller than -16?
False
Let t = -1 + 10. Let o = 9 - t. Is -1 greater than o?
False
Let x = -0.34 + 0.04. Let h = -0.4 - x. Which is bigger: h or 1/7?
1/7
Suppose 0 = h + 3*h - 16. Suppose 4*o - o = h*t + 3, 2*o = 5*t + 9. Which is smaller: t or -2?
t
Let k be (36/(-27))/((-1)/(-6)). Let g = 9 + k. Let w = 1 + 0. Is g smaller than w?
False
Let p(b) = b - 6 - 3*b + 2*b**3 - b**3 + 4*b**2. Let w be p(-4). Suppose -w*u + 1 = -1. Which is bigger: u or 1/3?
u
Let s = -2293/6 - -381. Which is greater: s or -0.2?
-0.2
Let h be 58/3096 - 2/9. Let o = h + -2/43. Which is greater: -1 or o?
o
Suppose 5*n + n = 0. Which is bigger: -2/9 or n?
n
Let t = -11 - -16. Suppose -4*z = -4, -3*v + 5*v - 5 = -t*z. Suppose -2*l + 1 - 5 = 0. Which is smaller: v or l?
l
Let s = 1.18 + -0.42. Let u = s - -0.04. Let x = u - -0.2. Which is bigger: x or -1?
x
Let i(w) = -6*w**2 - 2*w - 1. Let y be i(-1). Which is greater: -4 or y?
-4
Let s = -36 + 44. Is s at most as big as 9?
True
Let z be (-2)/10 + (1 - 1). Let a(c) = c**2 - 1. Let q(y) = -6*y**2 - 7*y + 24. Let j(d) = 5*a(d) + q(d). Let m be j(-9). Is z > m?
False
Let c be 0/(-5) - (-3)/24. Is -1 >= c?
False
Let g = 0 - -11. Which is bigger: -1 or g?
g
Let x = -0.82 - -0.12. Let w = -0.4 - -0.1. Let b = w + x. Is -2/11 <= b?
False
Suppose 4*d - 6 + 30 = 0. Let o = 8 + d. Let j be (-112)/(-180) + o/(-5). Is j != -1?
True
Suppose -f = 3*f. Let w = f + 0. Suppose 0 = 4*o + k + 11, -3*k + 3 = -w. Is -2 less than o?
False
Let r(c) be the third derivative of -c**5/60 + 7*c**4/24 + 5*c**3/3 + c**2. Let w be r(8). Suppose -u + 1 = -0*u. Is w at most as big as u?
False
Suppose 3 = m + 2*q + 14, 0 = 3*m - 2*q + 17. Which is greater: -5 or m?
-5
Let i be (1 - 1)*((-6)/9 - -1). Which is greater: -83 or i?
i
Suppose 6*p - 72 = 2*p. Let h be p/(-21)*(-3)/6. Is h equal to 1?
False
Let q be (1/(-30))/(3*(-8)/36). Is 0 at most q?
True
Let s = 0.31 + -3.31. Which is greater: s or -7/5?
-7/5
Let w = 0 - 2. Let z = 4 + -32. Let g be w/6 - z/63. Which is greater: 1 or g?
1
Let d be (0 - 12/8) + 0. Suppose -5*r + 4*y = -3*r - 14, -r - 5*y = 0. Let m(k) = k**3 - 6*k**2 + 4*k + 2. Let p be m(r). Which is smaller: p or d?
p
Let v = -17 + 16. Are v and 0 equal?
False
Suppose 2*c = -2*q + 4*c + 4, 5*q + 3*c - 42 = 0. Suppose -3*s = -3*u - 3, q*s - 5*u + 7 = 3*s. Let d be 4/s - 10/15. Do 3 and d have the same value?
False
Let k = 2 + -4. Let g = 1 + k. Is -4 equal to g?
False
Let m(n) = n**2 + 5*n - 7. Let q be m(-5). Let k be q/(-4) - (-1)/4. Let o(z) = z**3 - z + 2. Let y be o(0). Is y greater than k?
False
Let f be (-3)/9 - (-1)/(-3). Let m = -3 - -1. Is m greater than f?
False
Let a(d) = d**2 - 2. Let b be a(2). Suppose o + 2 = m, -4*o - 5 - 7 = 0. Let v(p) = 3*p**2 + 1. Let t be v(m). Is b less than or equal to t?
True
Let d = 0.5 + -0.5. Let y = d - 0. Let z = 2 + y. Which is smaller: -1 or z?
-1
Let a be 20/(-6) + 2/(-3). Let y = 383/3 - 129. Let q = 13/12 + y. Which is bigger: a or q?
q
Let q(s) = s + 4. Let b(n) = n**3 + 6*n**2 + 3*n + 3. Let l(m) = -m**3 - m**2 + m. Let y(v) = -b(v) - 2*l(v). Let p be y(5). Let o be q(p). Does o = 0?
False
Let n = -3 - -1. Suppose -2*a = 3*a + 35. Let b = 5 + a. Is b > n?
False
Let r = -5 - -6. Suppose t = -4*t + 10. Which is bigger: r or t?
t
Let i be -6*-4*4/(-48). Which is smaller: -9/8 or i?
i
Let o = 0 + -1. Let y(n) = -n**3 - 8*n**2 + n - 6. Let l be y(-8). Let z be 1/l + (-1)/(-2). Is o <= z?
True
Let q = -8 - -6. Let f = -28 - -16. Let l be 8/f - (1 + -1). Which is greater: q or l?
l
Let n = -7 - 5. Which is greater: n or -0.2?
-0.2
Let x = -6 + 3. Let i = x + 4. Which is greater: i or -2/11?
i
Let a(s) = -s**2 + 3*s - 2. Let q be a(3). Let t = -4 - q. Is t less than 0?
True
Let v = -10.33 - -0.33. Which is bigger: -1/8 or v?
-1/8
Suppose 0 = q - 5*s - 6, 5*q - 2*s + 6*s = 1. Is q less than 3/11?
False
Let m be 6/15 - (-72)/20. Suppose 5*o = -l + 2*l + 9, 0 = m*o + l. Which is smaller: o or -2/23?
-2/23
Suppose -5*q + 5*s - 13 = -43, 24 = 4*q - s. Let w be (9/q)/((-3)/(-16)). Is w less than 7?
False
Let o be 1 + 278*(4 + (-45)/10). Which is greater: -139 or o?
o
Suppose 4*u - 3*a + 2 = -2*a, 4*a + 13 = -5*u. Is u less than -4/17?
True
Let n be (1 - ((-120)/(-52))/5) + -1. Are 1 and n non-equal?
True
Let p = 8 + -11. Is p at most -7/2?
False
Let p be (1 - 1)/(-2 - 0). Let m = 1 + p. Let t be 2 + (2 - (-21)/(-6)). Which is smaller: t or m?
t
Suppose 4*k - r - 38 = -3*r, 3*k - 2*r = 18. Let a be 1/(-4) - 30/k. Are -3 and a equal?
False
Let y be (-1 + 0)*(2 + 15). Let k = y - -28. Is 11 equal to k?
True
Let q = 34 + -34. Which is smaller: q or 14?
q
Let p = -3.92 + -0.08. Let j = 0.18 + -0.28. Is j at most as big as p?
False
Let z(h) = -30*h - 87. Let f be z(-5). Is 64 <= f?
False
Suppose -3*p + z - 12 = 0, -4 + 12 = -2*p - z. Is p greater than or equal to -26?
True
Let w = -7 + 11. Let k = w - 2. Which is smaller: k or 2/9?
2/9
Let r = -13 - -16. Suppose r = 2*i + i. Is 2 at most i?
False
Suppose -x + 3 = 2*g, -g + 6 = -4*g. Which is smaller: 1 or x?
1
Suppose 0*x - 4*x - 9 = k, -2*k - 4 = x. Let c(i) = -2*i - 37. Let d be c(-19). Is d > x?
True
Let g = -1.47 - 0.53. Which is smaller: -0.2 or g?
g
Let h = 0.2 + -0.4. Suppose -25 = 2*p - 5*i, 5*i - 20 = -4*p + i. Let b(j) = -j - 1. Let z be b(p). Which is smaller: h or z?
z
Let z be (-58)/8 + (-5)/(-20). Let v(i) = i**3 + 10*i**2 + 10*i + 3. Let n be v(-9). Which is bigger: n or z?
n
Let a = 19 + -15. Suppose -2 = -2*t + 4. Which is smaller: t or a?
t
Suppose 0 = -2*j + 5*j + 48. Which is smaller: j or -15?
j
Let z = -0.4 + 0.3. Let c = -12 + 10.9. Let i = c - z. Which is smaller: i or 0.3?
i
Suppose -4*f = f. Which is smaller: f or -3/7?
-3/7
Let v = 4 + -3.7. Let b be (4 - 27/6)*-4. Suppose -b*y + 4 = 2*y. Which is smaller: y or v?
v
Let i(z) = z**2 + 3*z - 3. Let y be i(-4). Which is bigger: y or -1/81?
y
Let c(k) = 5*k + 18. Let z be c(-4). Let i be 1/2 - (-2)/(-4). Is z < i?
True
Suppose -4*f = -0*f + 8. Let i = f - -3/2. Is -1/5 at leas