l(6). Let q be (3/9)/(1/15). Is q less than m?
True
Suppose 0*z + f - 1 = -4*z, z = 2*f + 7. Which is smaller: z or 5/4?
z
Let a(i) = 4*i**3 - i**2 + 1. Let z be a(1). Let w be (z/(-6))/(13/3). Are w and 0 equal?
False
Let j = -3 - -4. Let l be (-4)/(-74) + -1 + j. Which is greater: 0 or l?
l
Suppose 6*c - 8 = 10*c. Is c < -3/4?
True
Let l(g) = g**3 - 2*g - 1. Let o be l(0). Are -1 and o unequal?
False
Let s = -29.46 - 0.54. Is s at least as big as 0?
False
Let x = -21/20 - -4/5. Let g be 2/(-3)*3/(-2). Is g smaller than x?
False
Let a = 4 - 4. Suppose a = -4*h - 0*h + 8. Suppose 3*w + h*w = 10. Which is smaller: 1 or w?
1
Let h = -8 - -9. Is h at least as big as 3?
False
Let r(l) = 2 + 5*l + 3 - l - 3*l. Let g be r(-8). Which is smaller: -4 or g?
-4
Let v = 3 - 1. Suppose -2*r - 4 = -6*i + 4*i, -4*i = 2*r - v. Which is smaller: 1/5 or i?
1/5
Let n = 5 + -3. Which is smaller: n or 8/3?
n
Let g = -2 - -3. Let b be ((-4)/8)/((-45)/6). Let z = b + -2/5. Is z at least g?
False
Let d be 1/(-3)*(-18)/14. Does d = -0.2?
False
Suppose -4*z + 6 = -2. Let r be 2*(4/(-8)*0 - -1). Is z smaller than r?
False
Let k be (-1)/2 - (-118)/4. Suppose 5*s + k = -11. Which is smaller: s or -6?
s
Let g(m) = -m**3 - 2*m**2 - m - 2. Let f be g(-2). Let b be (-27)/45 - 156/(-10). Let p be b/42 - (-1)/(-2). Does p = f?
False
Let i = -245/6 - -4153/102. Is i smaller than -1?
False
Let n = 3 - 0. Let p = -3 - -3. Let y be p - (0 + (-2)/1). Which is bigger: n or y?
n
Let a = -0.084 + -2.916. Which is greater: a or -3/7?
-3/7
Let f = -17 + 20. Let w(l) = 3*l**2 - l + 1. Let j be (-1 - (-4)/2)/1. Let t be w(j). Is t != f?
False
Let h = 18 - 9. Let s be (h - 6) + 22/(-12). Is s greater than 1?
True
Let y = -391/72 - -47/8. Is 1 at least as big as y?
True
Let w = -1.022 - -0.082. Let z = w + 0.9. Are z and -1 unequal?
True
Suppose -131 + 251 = -2*z. Are -60 and z non-equal?
False
Suppose 0 = -6*x + 3*x. Which is smaller: 5/7 or x?
x
Let t(y) = -y**3 - 4*y**2 + 6*y + 6. Let h be (-2)/4 - 36/(-8). Let s = -9 + h. Let v be t(s). Which is smaller: v or 1/3?
1/3
Let m(q) = q**3 - 6*q**2 + 5. Let c be m(6). Let x = 0 + c. Which is greater: x or 2?
x
Let l = 1.1 - 0.3. Let x = 2.8 - l. Which is smaller: x or -4?
-4
Suppose -5*h = 131 - 11. Is -23 greater than or equal to h?
True
Let z = -244 - -497/2. Which is smaller: z or 5?
z
Suppose t = 5, -5*t = 4*x - t - 20. Which is smaller: -3/14 or x?
-3/14
Let y = -0.07 - 0.01. Let z = -2.08 - y. Let d = 0.1 + -0.2. Is z bigger than d?
False
Let g = -0.67 + -0.33. Which is smaller: -0.07 or g?
g
Let z be ((-3)/(-6))/(4/(-8)). Which is bigger: z or -1/24?
-1/24
Let x = 153 - 156. Let p(m) be the second derivative of m**3/3 + 2*m**2 + m. Let h be p(-4). Which is smaller: x or h?
h
Let h = -36 + 32. Is h equal to -4?
True
Let k(m) = m**2 + 7*m + 4. Let a be k(-6). Suppose -5*n - 3 = 12. Is n less than or equal to a?
True
Let n = -3 - -7. Let j be (-10)/n - -1 - 2. Which is bigger: j or -5?
j
Suppose -10 = -2*t, -3*f = -2*f + t - 7. Let k be 0 + (2 + 2 - f). Is 5/4 bigger than k?
False
Let a = 5 - 3. Let t be 2 + (5 - (8 - 2)). Are a and t nonequal?
True
Let b be (-669)/(-22)*(-12)/18. Let r = b + 213/11. Is r greater than -2?
True
Let h(f) = -f**3 + 7*f**2 - 6*f - 7. Let u be h(6). Which is smaller: -8 or u?
-8
Let l = -10 + 7. Is l not equal to -2?
True
Suppose -6*o + 5*o = 10. Is o at most -10?
True
Let q be (-6)/(-5)*(-4)/(-18). Is q <= 0?
False
Let h = -0.5 + -0.5. Let a = -113/143 + 7/11. Which is bigger: h or a?
a
Suppose 0 = 5*i + 25. Let w be 5/(i/(-2))*-2. Let s(x) = -3*x - 5. Let p be s(0). Which is smaller: p or w?
p
Let c(d) = 4*d - 1. Let o be c(1). Let j be 77/88*18/7. Is j smaller than o?
True
Suppose -4*d + 2*j - 8 = 0, 8 + 8 = -2*d - 5*j. Is -4 bigger than d?
False
Let h be 45/12 - 2/(-8). Suppose -6 = 4*y - 14, 4*y = h*t + 16. Let v be ((-2)/3)/(t/3). Is 0 bigger than v?
False
Let v = 2203 - 1278. Let i = v + -36077/39. Is 0 greater than i?
True
Let m(l) = l + 10. Let a be m(-8). Suppose 18 = 5*o - a. Are o and 2 equal?
False
Let k = -1.5 - 0.5. Which is greater: k or 3/10?
3/10
Suppose u = -0*u - 1. Let f be (u/(-4))/((-7)/(-12)). Which is bigger: 1 or f?
1
Let w = 25 + -15. Suppose -3*z = -20 - w. Is z bigger than 11?
False
Suppose -2*s - 75 = -5*w, 0 = -3*w - s + 2*s + 46. Suppose -3*k + 8 = i, -4*i + 2*k = -k - w. Is i at most 5?
True
Let f = 0.4 + 1.6. Let d = -2.1 + f. Let h = 1.3 - 0.3. Which is greater: h or d?
h
Suppose 0*p = 2*u + 3*p - 12, -5*p - 8 = u. Let o = u + -12. Let x be (1 - -3)*1/2. Which is bigger: o or x?
x
Let m = -123.3 - -132. Let k = m - 9. Let x = k - -0.2. Is x bigger than -0.3?
True
Let m = 0.15 + -0.95. Let k = m - -0.9. Which is bigger: -1 or k?
k
Let o = -2 - -4. Suppose -3*u + 7*u = 24. Let h = 8 - u. Is h bigger than o?
False
Let h be 1/(-2)*4 - -1. Let p(j) = -2 - 3*j - 1 + 2 + j**2. Let r be p(3). Is r greater than h?
False
Let b = -2233/3 - -732. Which is smaller: -1 or b?
b
Let c = -142 - -709/5. Which is smaller: c or -2/101?
c
Suppose 2*v = 6*v. Let s(x) = x - 1. Let j be s(2). Suppose p + j = -2*f - 4, f = 4*p + 20. Is f at most v?
True
Suppose -9 + 13 = 2*x. Let z be -8*-1*2/12. Is x at least as big as z?
True
Suppose 8*l = 7*l - 30. Are -29 and l equal?
False
Let n(i) = -i**3 + 12*i**2 - i + 14. Let u be n(12). Is u greater than 18/13?
True
Let k be (-12)/4 + 24/10. Suppose 16 = -4*c - 5*r - 3, -3*c - 3*r - 12 = 0. Are k and c unequal?
True
Suppose 4*g + 25 + 7 = 0. Let n = -5 - g. Suppose -4*z - n = -z. Is z != 2/5?
True
Let m(x) = -x**2 + 3*x - 1. Let t be m(2). Let z be (1/t*2)/(-2). Let b = -1/3 + -1/6. Is z less than b?
True
Let b(l) = 7 - 21 - 2*l + 4*l**2 + l**3 + 6*l**2. Let x be b(-10). Let i(w) = -w**3 + 6*w**2 + w - 5. Let c be i(x). Do 1 and c have the same value?
True
Let t be 3/(-21) + (-16)/(-14). Let z be 1*101/2*-2. Let m = z - -705/7. Are m and t unequal?
True
Let s = 0 - 0. Let r = -4 + 6. Let o be 8/(-20) + r/5. Is o <= s?
True
Suppose 5*f + 10 - 25 = 0. Suppose -f*j + 54 = 7*i - 2*i, -4*j + 72 = 3*i. Which is smaller: 1 or j?
1
Let m be -2*(-5)/(40/12). Suppose -d - m = -4*d. Are d and 1 equal?
True
Suppose 5 = 3*i - 1. Is i less than or equal to -1/3?
False
Suppose -4*w - 5*o + 3 = -3, -w - 5*o = -9. Which is greater: -2/23 or w?
-2/23
Let r(n) = 5*n**2 + 17*n - 1. Let o(j) = -3*j**2 - 11*j + 1. Let l(h) = 8*o(h) + 5*r(h). Let i be l(3). Let m = 6 - 2. Is i at least m?
False
Let w = 10 - 9. Which is greater: -2/75 or w?
w
Let u = -0.7 - -0.4. Let b = 0.3 - u. Let n be 1/(-1 + 1 + 1). Which is smaller: n or b?
b
Let o = -6 - -6. Let t be (8/(-6))/(-1 - -2). Which is greater: t or o?
o
Let x = -11 + 6. Let s = 6 + x. Which is smaller: s or -2/11?
-2/11
Let b = 81 + -46. Let v = b - 141/4. Let t = 3 + 2. Which is smaller: v or t?
v
Suppose -53*w = -56*w - 12. Is w at least -2?
False
Let n = 179 + -173. Let g(c) = c - 2. Let j be g(2). Are n and j unequal?
True
Let o be 1/(0 + (-84)/8). Which is greater: o or -1?
o
Let k be ((-51)/(-9))/((-7)/21). Which is smaller: k or -14?
k
Suppose 1 = -5*h - o, -4 = -3*h + 4*o - 0*o. Suppose t - 3*t = h. Which is smaller: t or 2/23?
t
Let c be (1/(-9))/(91/(-231)). Let p = 5985/13 + -460. Let h = p + c. Is 2 at least h?
True
Let s(v) = -2*v - 1. Let u = 6 - 1. Suppose 21 = -u*r + 4*f, 2*r - 4*f + 20 = -2*r. Let t be s(r). Which is bigger: 3/8 or t?
t
Let u = -110.9 + 111. Is 50/7 < u?
False
Suppose -3*n = n + 4. Let o be (-1 - -1)/(-2 - n). Let g be 2 - ((-1 - -2) + o). Is g bigger than 2?
False
Suppose 2*w = 5*w. Suppose w*g = -g. Is 1/3 less than or equal to g?
False
Let k(v) = v**2 + v. Let n(w) = 3*w**2 + 4*w + 1. Let o(f) = 8*k(f) - 3*n(f). Let m be o(-2). Let x = 5 + -2. Are x and m unequal?
True
Suppose 15 = -2*p + 3*p - 4*c, -2*c + 5 = -3*p. Are p and -7 nonequal?
True
Let d(q) = -6*q - 85. Let v be d(-14). Which is smaller: v or 4/111?
v
Let k be (2*(-1)/2)/1. Let r(p) = p**3 + p**2 - p - 8. Let f be r(0). Let y be ((-12)/f)/((-6)/8). Which is smaller: k or y?
y
Let t be (-4)/(-6) + 20/15. Let q be ((-3)/(t/(-2)))/3. Which is greater: 2 or q?
2
Let h = 0 - 0. Suppose 3*j + 0*j = h. Suppose 2*l = -j + 6. Which is smaller: -1 or l?
-1
Suppose 4*d + 12 = d. Which is bigger: d or -6?
d
Let z(w) be the first derivative