Let y be 24/(-40) - (-214)/340. Does y = -1?
False
Let p be -1 - 2 - 46/(-18). Let y be 0 + 1 + (3 - 0). Suppose 3 = -t + y. Which is bigger: t or p?
t
Let z = -2 - -2.2. Let x = z + -1.2. Let p = 22.6 - 23. Is x less than p?
True
Let q = 4 + -4.2. Let i(a) = a + 8. Let p(j) = j**3 + 5*j**2 + 5*j - 4. Let k be p(-4). Let s be i(k). Which is smaller: s or q?
q
Let h be (28/6)/7*-15. Which is greater: h or -21?
h
Let c = -27204/5915 - 1/1183. Let f = -539/115 - c. Which is smaller: 1 or f?
f
Suppose 3*m = 4 + 41. Suppose -3*p = -g + 3, 5*g - p = 4*p + m. Suppose g*n = 2*o, -2*n = -5*o + n. Is 1/4 less than o?
False
Let o = -82/7 - -12. Let v = o - 11/14. Are v and 0 equal?
False
Let t = 0.07 - 0.27. Let f be 0 + -3 + (-105)/(-33). Let d = f - -12/55. Which is bigger: d or t?
d
Suppose -2*z = -0*z. Let h be (-6)/(-15) - 3056/(-35). Let y = h + -88. Is y at most z?
True
Let i(u) = 3*u**2 - 11*u - 5. Let z(b) = -2*b**2 + 11*b + 6. Let t(s) = 3*i(s) + 4*z(s). Let h be t(-10). Which is greater: h or 2/11?
2/11
Let f = 33.72 - 38. Let y = -0.28 - f. Which is bigger: y or -4?
y
Suppose 5*z - v = -0*v - 14, -5*v + 10 = -5*z. Let c = 4 + z. Let h = 0 + c. Which is smaller: 2 or h?
h
Let m(q) be the third derivative of q**5/60 - q**4/8 + q**3/3 + 3*q**2. Let v be m(2). Is v at most as big as -1/9?
False
Let q = -16.6 - -2.6. Let m = q + 14. Let j = 1 + -2. Is m at most j?
False
Let y be (4/10)/((-3)/(-30)). Let m(a) = -a**3 + 4*a**2 + 2*a - 6. Let o be m(y). Which is smaller: o or 1?
1
Let g = 7 + -7. Let r be (-6)/((-3 - g)/3). Suppose 4*w - 2 = -r. Which is bigger: w or 1/9?
1/9
Suppose w - 2 = d, -2 = -4*w + 3*w + 3*d. Suppose -3*t - w = -t. Which is smaller: 1 or t?
t
Suppose 0 = 5*r + 15 + 5. Let a = 6 + r. Suppose -a*b + 3*b - 3 = 0. Is b at least as big as 2?
True
Let g = -8 - -8.1. Let b = -3 - -3.2. Let w = b - g. Which is smaller: w or -2?
-2
Suppose -6*m - 37 = -2*m + 5*u, -22 = 4*m + 2*u. Let s be (-3 - m) + 0/(-2). Which is smaller: s or -2/5?
-2/5
Suppose 0 = -5*a - 2*u - 18 - 12, u = 4*a + 37. Let q = -1141/3 + 380. Is a > q?
False
Suppose -k = 7*k + 8. Which is smaller: k or 1/18?
k
Let c = -15 + 13. Let n = c - -7. Which is smaller: -0.1 or n?
-0.1
Let w be (9/(-24))/(-3)*2. Let v = 15 - 16. Which is greater: v or w?
w
Let k = 57 + -68. Is k at most as big as -13?
False
Let a = 8 + -7.9. Which is smaller: -2 or a?
-2
Let z = -6 + 9. Suppose 5*s - 10 = 0, z*c - 2 = -s - 0*s. Is c less than 1/4?
True
Let c(z) be the second derivative of -z**5/20 - z**4/12 + z**3/6 + z**2/2 - z. Let q be c(0). Suppose -2*u - 16 + 4 = 3*h, -16 = 4*h. Which is bigger: q or u?
q
Let a = -15 + 11. Let q = a - -6. Which is bigger: 1 or q?
q
Let y = 9 + -4. Let a = y - 5. Suppose 5*g + 11 = -h, 5*h - g - g + 1 = a. Which is bigger: -2/7 or h?
-2/7
Suppose -4*w + 7 + 1 = 0. Let f be w/4*(-8)/14. Let x = -709 + 713. Which is smaller: x or f?
f
Let t = -1 + 1. Suppose -3*m - 2*k = 5, -5*m - k - 5 = 1. Which is smaller: m or t?
m
Suppose -2*v + 3 + 47 = 0. Which is bigger: 29 or v?
29
Let s = -1 + 2. Let k = -11 + 13. Let q = k + -3. Which is smaller: q or s?
q
Let b = -13 - -5. Let n = -0.12 + 0.12. Is b less than n?
True
Let a = -25 + 53/2. Which is smaller: 2 or a?
a
Suppose 2*z - 4 = 2*x + 2, 4*z - 5*x - 9 = 0. Suppose -h = -z*h. Is h <= -3/8?
False
Let d be (-5)/(-20) - (-34)/(-8). Which is smaller: -5 or d?
-5
Suppose -4*w - z - 71 = 0, 15 = -5*z - 0. Is w bigger than -17?
False
Let w(j) = j**3 + 6*j**2 + 3*j - 1. Let i be w(-5). Let d(t) = -t + 10. Let c be d(i). Are 2/3 and c nonequal?
True
Let a be 10/(-25) + (-66)/(-15). Let s(p) = -p**3 + 5*p**2 - 6*p + 4. Let v be s(4). Let i be 2/(4/2) - v. Which is greater: i or a?
i
Let d be -2 - -1*(-5)/5. Is -8 less than or equal to d?
True
Let o = 3 + -2.5. Let c = 0.6 - o. Is -1/7 < c?
True
Let p = -0.2 - 0.8. Let v = -0.04 + 0.04. Let k = v - 0. Which is smaller: k or p?
p
Let b(w) = w**3 + 4*w**2 + 3*w. Let u be b(-2). Let o be (u - (-9)/(-4))*1. Which is bigger: 2/3 or o?
2/3
Let b(x) = -x**2 + x + 1. Let y be b(1). Let c be ((-3)/6)/(2/20). Let h be (4/20)/(4/c). Is h less than y?
True
Suppose 0 = -2*z + 2*a + 7 + 23, 15 = -3*a. Does 10 = z?
True
Let i = -6 - -9. Suppose -3*z + 6 = -3*r, -2*z + z + i*r = 0. Is z < 2?
False
Suppose -1 = 2*g - 5. Let w(o) = 0*o**2 - o**2 - g + 1 - 7*o. Let i be w(-7). Which is bigger: 1/3 or i?
1/3
Suppose 3*t - 13 = -7. Let d be 0 + 4/(1 + 1). Suppose -3*c = 3*l - 5*l - 5, 3*l = d*c - 5. Is c >= t?
False
Let s = -11 - -11.05. Let h = 0.05 + s. Let p be 2 + (-6)/4 + 1. Is h not equal to p?
True
Let o be (0 - 0)/(-1 - -3). Let u = -7.99 + 8. Let k = -1.01 + u. Does k = o?
False
Let v(m) = -m**3 - 17*m**2 - m - 16. Let d be v(-17). Are d and 5 unequal?
True
Let g(q) = q**2 - 5*q - 3. Suppose 4*d = 3*d - 3. Let o be (-64)/(-12) - (-1)/d. Let z be g(o). Is z at least 1/4?
False
Let u be -2*(21/(-6) + 3). Suppose 0 = -3*f - 0*f + 18. Let x be 2/20 - 3/f. Are u and x equal?
False
Suppose -10 = m + 4. Let l be ((-2)/m)/(3/(-6)). Let y be -3 + 0 + 2 + 0. Which is bigger: l or y?
l
Let x(w) = -w**3 + 3*w**2 - 2*w + 6. Let c be x(3). Which is smaller: c or -2?
-2
Let p = 27 + -136/5. Which is smaller: p or 2?
p
Let z be (-40)/15 - 4/(-6). Let v(b) = b**3 - 4*b**2 + 5*b - 2. Let n be v(3). Suppose 0 = -3*k + n*k. Do z and k have the same value?
False
Let a be ((-14)/6)/((-4)/48). Let j be a/(-6)*(-30)/20. Which is smaller: 4 or j?
4
Let g = -5 - -9. Let k(h) = h - 3. Let j be k(g). Let p = -1 + j. Which is bigger: p or -1/4?
p
Let z = 23 - 14. Let n be ((-3)/5)/((-2)/30). Is n <= z?
True
Suppose -3*a = -7*a. Suppose l + 2*l = a. Let y = l - 1. Is -2 bigger than y?
False
Let y = -0.6 - -0.4. Let l = 5 + -3. Let x be 3/l*(-3)/9. Is y at least as big as x?
True
Let d be (-100)/26 - 12/78. Is -1 at least d?
True
Let v = 0.89 - 0.8. Let r be 3/(-9) + (-22)/(-30). Which is greater: r or v?
r
Let m = -7 - -9. Let h = -2 + 7. Suppose -h*u - 4*a = -19, -5*a + 2 = -4*u + 3*u. Which is smaller: u or m?
m
Let i = -105/31 - -11772/3503. Which is bigger: i or -1?
i
Suppose 5*o + 15 = 4*a, -3*a + o + 17 = 3*o. Suppose -3*s - a = -d, 3*d = 4*s + 2*d + 5. Which is smaller: 2/75 or s?
s
Let l = 370/3 - 18124/147. Is 1 <= l?
False
Let m = 6 + -11. Let i(s) = -s - 2. Let v be i(m). Suppose -b + 5 = -v*q, q + q = -4*b + 6. Is q < -2?
False
Let j be 0 - (0 - (-12)/(-8)). Let p be -4 - (2 + -7) - -2. Which is bigger: p or j?
p
Suppose 4*s + l - 111 = -s, -3*s - 3*l = -69. Does 23 = s?
False
Suppose 3*z = -z + 28. Suppose z*h - 20 = 2*h. Let u be -1 + (-3 - -6) - h. Is -1 > u?
True
Suppose -2*h - 2 = -0. Which is smaller: h or -1/21?
h
Let m(w) = -w**3 + 4*w**2 + 4*w + 7. Let n be m(5). Suppose 0 = 3*c - 2*c + g + n, 10 = -3*c - 5*g. Let p = -0.8 - 0.2. Which is smaller: p or c?
p
Let l = -2449/17746 - -3/467. Is 0 less than or equal to l?
False
Let h be (2/(-3))/((-34)/51). Is 8/13 less than h?
True
Let y be (-2)/6 + 2/(-3). Are -1 and y unequal?
False
Let g = -0.03 + 0.13. Are g and 8 equal?
False
Let c = -866 + 4276/5. Which is greater: c or -11?
c
Let l(d) = d**2 + 6*d + 6. Let b be l(-4). Let w be b/10*(-20)/(-12). Is 0 > w?
True
Suppose 2*b - b + 12 = 5*t, 8 = -2*b + 2*t. Let j = 3910/13 + -301. Let d = j + -7/26. Which is greater: b or d?
d
Let p = 0.2 + -3.2. Which is bigger: -1/3 or p?
-1/3
Let y = 31 + -17. Are y and 15 nonequal?
True
Let p be (-12)/(-14) + -2 + 2. Which is smaller: p or 2?
p
Let o = 1 - 5. Let j(q) = q - 1. Let y be j(o). Suppose n + 4*n + 30 = 0. Is y less than n?
False
Let g(j) = -5*j + 10. Let l(w) = w - 1. Let z(s) = -g(s) - 4*l(s). Let m be z(8). Do 2 and m have the same value?
True
Let d be (-33)/(-12) - (-15)/(-5). Which is bigger: 1 or d?
1
Let z be 15/(-3)*16/(-40). Which is bigger: 3 or z?
3
Suppose -4*u + 4 = 3*x + 5, 0 = x - 1. Is u greater than -2/75?
False
Let i be -1 + (13 - 3)/5. Which is greater: -3/22 or i?
i
Let k = 14 - 11. Suppose -k*b + 6 = -j, 3*j - j = -5*b + 10. Which is smaller: j or -10/11?
-10/11
Let q(v) be the second derivative of -v**3/3 - 3*v**2 + 4*v. Let s be q(-4). Is s at most 0?
False
Let d = 16 - 25. Let k = d + 6. Let z be (-8)/(-45) - (-4)/18. Which is smaller: k or z?
k
Let p(v) = -v + 5. Let r be p(7). Suppose 0 = 4*h - 5*x + 2, 5*x = -3*h +