) = 1. Let f(m) = m - 1. Let b(y) = -f(y) + 2*l(y). Let d be b(5). Let c be d/6 - (-2)/6. Is 0 > c?
False
Suppose -5*f + 4*s - s = -50, -s = f - 18. Let w be (-4)/(-22) - f/11. Does w = -2/27?
False
Let w be ((-4)/(-12))/(24/22). Let u be 17/(-84) - (-2)/7. Let k = w - u. Do k and -1 have the same value?
False
Let t(k) = k**3 + 3*k**2 - 2*k + 3. Let w be t(-4). Let v = -11 - -6. Is w at most v?
True
Let w = 0.7 + -1.3. Let u = w + -0.4. Which is bigger: 1 or u?
1
Let x(a) = a**3 + a**2 + 5. Let l be x(0). Suppose 7 = 4*h + 3*m - 1, 7 = l*h + 3*m. Let u be 0/(-2*h/2). Is 1 != u?
True
Suppose 2*x + 8 = 2*r, -4*x - 4*r - 34 - 6 = 0. Let z = -6 - x. Which is smaller: 8/5 or z?
z
Let n = 15.8 + -9.1. Which is smaller: n or 0.1?
0.1
Let d(j) = -j**3 - 7*j**2 + 8*j - 1. Let w be -4 + -2 + -4 + 2. Let q be d(w). Let r = -3 - -2. Is q > r?
False
Let c = -16 - -8. Let k(s) = -s**3 - 9*s**2 - 8*s - 1. Let z be k(c). Let v = -0.29 + 0.3. Which is smaller: z or v?
z
Let d(v) = -v - 5. Suppose 2 + 5 = -3*x - 4*u, 5*x + 55 = 2*u. Let r be d(x). Which is greater: r or 3?
r
Let n(g) = -g**3 + 5*g**2 + 15*g + 3. Let m be n(6). Which is greater: m or 56?
m
Let a(m) = -m**3 + 9*m**2 - 10*m. Let q be a(8). Let t = 16 + q. Which is smaller: t or 2/7?
t
Let h = 1 + -1.6. Is 0.2 at most as big as h?
False
Suppose j + 36 = 5*l, -4*j - 4 = -0*j. Is l at most as big as 7?
True
Suppose -4*y + 4 = -4*c, 2*c = 7*c - y + 1. Which is smaller: c or -3/8?
-3/8
Let p be ((-18)/4)/((-12)/80). Let j be (6/p)/(2/(-5)). Which is smaller: -0.1 or j?
j
Let b = -15/13 + 281/221. Let p(n) = n**2 - 25*n - 54. Let i be p(27). Which is bigger: b or i?
b
Let a(h) be the third derivative of h**5/10 + h**4/12 + h**3/3 - 6*h**2. Let z be a(-1). Are 6 and z non-equal?
False
Suppose -g = 4*p - 93, -3*g = 3*p + 2*g - 74. Let c be 1 - (-1 - (-240)/9). Let q = p + c. Which is smaller: q or -3?
-3
Let o(j) be the second derivative of -j**5/20 + j**4/3 + 2*j**3/3 + 2*j**2 + 4*j. Let l be o(5). Which is smaller: l or -2/25?
l
Let h be 18/4 + (-2)/4. Let o be (-1)/(h/(-3 + -1)). Is o less than -2/27?
False
Let z = 9 - 18. Let m(j) = -j**3 - 9*j**2 + j + 8. Let v be m(z). Let c be -1*1/2*6. Which is smaller: c or v?
c
Let h = 15 + -16. Is h at most as big as -32?
False
Let u(j) = 4*j**2 - j + 1. Let s be u(1). Suppose -s*b - 2 + 18 = 0. Suppose 3*q - 2 = b. Do 0 and q have the same value?
False
Suppose -p - 15 = 4*j + 2*p, 0 = -5*j + 2*p + 10. Let c = 2 - j. Suppose 17 = 6*b - 1. Which is bigger: c or b?
b
Suppose 0 = -0*q - q - 3*w - 9, 0 = -q - 5*w - 17. Suppose q*n = -4 - 20. Let y be 70/(-8) + 7/(-28). Which is smaller: n or y?
y
Let v be (-1)/16*12/(-2). Let l be 12/9 - (-4)/(-2). Which is smaller: l or v?
l
Suppose 4*o + 2 = -14. Let h be o/6 - 16/3. Let n be 1/h + (-15)/18. Are -2/11 and n equal?
False
Suppose -6*q = -2*q - 8. Let d(w) = -3*w - 1. Let h(n) = -6*n - 3. Let p(z) = -5*d(z) + 2*h(z). Let i be p(1). Is i smaller than q?
False
Let t = -7 - -19/3. Is 2/9 >= t?
True
Let q = -3 - -6. Let s(y) = 4*y**2 - 1. Let r be (-2)/6 - 12/(-9). Let w be s(r). Is w bigger than q?
False
Suppose g - 2*g - 11 = -4*z, 4*g - 16 = -4*z. Suppose 12 = z*b + b. Suppose -4*m + 2*v + 3 = -3, 4*m - v = b. Is -5/6 < m?
True
Let y be 2/8 + 1100/80. Which is smaller: -0.1 or y?
-0.1
Let i = 0.19 + -16.19. Let t = i - -19. Which is smaller: 3/5 or t?
3/5
Suppose 4*x + 22 = -2*n, 0 = -x - 5*n - 0 - 28. Suppose -4*t = -t - 15. Let k = t + x. Does 2 = k?
True
Let z = 2 - 1. Let y = -0.6 - -0.2. Let j = 0.5 + y. Is j bigger than z?
False
Let k = 2.5 - 2.38. Let r be (-2)/5 + (-4)/(-35). Is k bigger than r?
True
Let q be (3/(-2))/((-9)/(-483)). Let d = -1453/18 - q. Is d != -1?
True
Let y = 332/15 + -22/15. Is y at most as big as 1?
False
Let b be 51/30 - (-1)/(-5). Let z = 1 - b. Is -4/3 != z?
True
Let i be 1170/48*(-4)/(-3). Let m = i + -31. Which is smaller: 3 or m?
m
Let t = 0 + -5. Let k be 22/10 - (-10)/t. Is k > -1?
True
Let l be ((-2)/(-36))/((-2)/(-16)). Let z = 26 + -27. Is l < z?
False
Suppose -13 = -2*k + 7. Let j be 39/(-60) + 4/k. Is j less than or equal to 0?
True
Suppose -2*w = -3*q - 0*w + 13, -2*q - 3*w + 13 = 0. Let c be (7/(-3) - -2)/(1/(-24)). Suppose p = -3*p + c, -4*x + q*p - 22 = 0. Which is smaller: 0 or x?
x
Let q = -3 + 3. Suppose 5*i + l = -24, -4*l = -q*i + 5*i + 21. Let x(o) = -o - 6. Let n be x(i). Which is greater: 1 or n?
1
Let g be 11/(-1) + 1 + 1 + -6. Let j = 1 + -1.1. Which is bigger: g or j?
j
Let o = -60 + 243/4. Do -1 and o have the same value?
False
Suppose -4*s = 3*l - 14, 5*l + 3*s - 14 = s. Which is smaller: l or 5/3?
5/3
Let y be (-2)/(-24)*4*(-2 - -4). Which is greater: 0.3 or y?
y
Let s(g) = -g**2 + 7*g - 1. Let h be s(6). Suppose -5*j - 5 = 5*z, z - h*z = 2*j. Let a = -1/3 + 5/33. Which is bigger: a or z?
z
Suppose g = -3, j - 2*g - 3*g = 13. Let m(w) = -4*w**2 - 2*w - 6. Let s(c) = c**2 + c + 1. Let b(d) = m(d) + 5*s(d). Let v be b(-3). Which is greater: j or v?
v
Let g = -21 + 23.4. Let v = -3 + g. Is 1 != v?
True
Suppose -3*q = 5*d + 8, -2*q = 3*q + d + 6. Let w = 4 + q. Suppose z = w*z - 8, 4*z - 8 = 4*x. Which is smaller: 3 or x?
x
Let u = 30 - 25. Which is smaller: -1/2 or u?
-1/2
Let g(d) = -5*d**3 - d**2 - d. Let f be g(-1). Let r(k) = k**3 - 5*k**2 + k - 7. Let q be r(f). Which is bigger: -1 or q?
-1
Let x(l) = l. Let u be x(-1). Let d be ((-6)/15)/(3/9). Are u and d equal?
False
Let t(j) = -j + 7. Let h be t(6). Let a = 1 + h. Let g = -0.2 - -0.3. Do g and a have different values?
True
Let l be 26/(-20) + -15 + 16. Which is bigger: l or -1?
l
Let o be (-9)/6*272/24. Which is greater: -16 or o?
-16
Let l = -2 + 4. Suppose 7*m = l*m. Which is smaller: m or -7?
-7
Let x be (-20)/21 - (-4)/6. Let o be 0 - (1 + -6)/(-5). Is x > o?
True
Let k be 1 + (-4)/(-2) + -14. Is -12 bigger than k?
False
Let v = -14 - -20. Suppose -b + v = y + 3*b, -3*y = b - 73. Suppose -2*m - 5 = 3*g + 8, 5*m + y = -g. Is -6 equal to m?
False
Let u = 39 + -45.02. Let i = 6 + u. Let c = i + 0.02. Is c < -1?
False
Let w = 19/26 + 36/13. Which is bigger: 5 or w?
5
Let c be (0 - 2/5) + 7392/17380. Is 0 smaller than c?
True
Let i be (-10)/(-4)*16/10. Let p be 6 - 4 - (i + 1). Let d be (-3)/p + (-3 - -2). Are d and 0 equal?
True
Let r = 109 - 63. Let p = 185/4 - r. Is 5 not equal to p?
True
Suppose 0 = 5*c - w + 1, 3*w = c + c - 10. Which is smaller: c or -3?
-3
Suppose 0 = -4*i + 2*y - 8, 0 = i + 2*y - 5 - 3. Suppose 2*h - 6 = -i. Let g(u) = -u - 5. Let t be g(-6). Which is greater: t or h?
h
Suppose -174 = 2*b - 444. Suppose -2*h - 3*h = b. Let d be h/(-6) - (3 - 1). Is d >= 4?
False
Let j = -112 + 157. Which is smaller: 46 or j?
j
Let y = -0.23 - -2.23. Let x(a) = -a + 10. Let q be x(7). Is q >= y?
True
Let f = 15 - 11. Which is bigger: 3 or f?
f
Let l be (-45)/108 + ((-5)/6)/(-5). Does l = 8/9?
False
Let u = 94 - 93. Which is smaller: -1 or u?
-1
Let s be (2/2*0)/3. Which is smaller: -3 or s?
-3
Suppose -4*h - 4*s = -3*s + 11, -2*h - 4*s = 16. Let b be 1/(h/20*-2). Are b and 3 non-equal?
True
Let l(c) = -c**3 + c**2 + c + 1. Let i be l(0). Suppose -2*v = 5*v + 4*v. Let n = v + i. Which is greater: -1/5 or n?
n
Let n = -67 + 39. Which is bigger: -27 or n?
-27
Let l(x) = x**3 - x**2 - x + 1. Let v be l(1). Let o = -2/21 + 3/7. Which is smaller: v or o?
v
Suppose -2*i - 2*d + 6 = -4, -5 = 5*d. Is -0.1 != i?
True
Let s be (2/2)/(-2 + 4). Are s and 1/2 unequal?
False
Let h = -41 + 43. Is h <= 4?
True
Let c be (-22)/(-55) + 76/10. Is c bigger than -0.3?
True
Suppose -5*h + 0*h = -d - 14, 13 = -2*d + 5*h. Let x be 2*(-2)/(-4)*d. Which is greater: x or 1/7?
x
Suppose 0 = 2*i - 6, -2*i + 42 = -3*d - 5*i. Which is bigger: -18 or d?
d
Suppose 3 = 3*h - 0*h. Suppose -7*o + 0*o + 7 = 0. Is o <= h?
True
Let f(d) = d**3 + 10*d**2 + 4. Let g be f(-10). Suppose g*n = -5 + 13. Let h be (n/3)/((-20)/(-6)). Is h bigger than 1?
False
Let o(y) = y**3 + 5*y**2 - 6*y + 2. Let q be o(-6). Let i(a) = -a + 6. Let m be i(0). Suppose -m*h = -q*h. Are h and 0 nonequal?
False
Let p = -0.142 - -0.042. Are p and -23 unequal?
True
Suppose -11*r = 45 + 87. Is r >= -8?
False
Let u = 3/149 - 266/5811. Is u bigger than -1?
True
Let k(b) = b**2. Let x(p) = -5*p**2 + 3*p + 4. Let m(q) = -4*k(q) - x(q). Let j be m(3). Let c be ((-2)