70 + -59/10. Which is smaller: p or 0?
0
Let m = -3 - -3. Let x = 5 + m. Let y be (3/4)/((-12)/4). Which is smaller: x or y?
y
Let f = -10.06 - -10. Let a = 1.06 + f. Which is greater: a or -2/7?
a
Let b = 7 - -1. Suppose -4*q - b = -6*q. Suppose 5*l = -1 - q. Which is smaller: 0 or l?
l
Let y = 0.08 - 0.08. Let f = 0.07 + y. Let j = 0 - 0. Which is bigger: j or f?
f
Let i be ((-4)/(-28))/((-2)/4). Is 1 greater than or equal to i?
True
Let l(p) = p**3 - 2*p**2 + 3*p - 3. Let u be l(2). Let g = u - 2. Let k be (3 + -4)/(g - 0). Is k >= 0?
False
Let u(i) = -i**3 - 6*i**2 - 2*i - 8. Let j be u(-6). Suppose s + 3*f = -17, -j*s - 5*f + 8 - 41 = 0. Let q = s - 0. Which is greater: -1 or q?
-1
Let y(c) = -c**3 - 6*c**2 + c + 7. Let w(t) = 5*t - 1. Let j be w(-1). Let n be y(j). Which is bigger: n or 3?
3
Let q be 10/(-4)*(-3 - -1). Let h be ((-2)/10)/(2/q). Which is smaller: h or -1?
-1
Let l = -30751/9 - -3431. Let v be 654/45 - 1/5. Let k = l - v. Is -1 less than or equal to k?
True
Suppose -b = 5*b + 2*b. Which is smaller: -1/6 or b?
-1/6
Let z = -403 - -3635/9. Which is smaller: z or 0.1?
0.1
Let z(d) = 2*d**3 + 1. Let g be z(-1). Let y = -3/8 + -23/24. Is g less than or equal to y?
False
Suppose -10 = -4*x - 2, 3*m + 2*x - 46 = 0. Let y be ((-72)/m)/(3/(-21)). Let i = 183/5 - y. Is i greater than or equal to -1?
True
Let h = 20 + -21. Let y = 2 - 2.1. Let t = y - -0.3. Which is greater: h or t?
t
Let x = -9.7 + 10. Which is smaller: -0.3 or x?
-0.3
Let l = 127 + -126. Which is smaller: l or -1/153?
-1/153
Suppose 0 = -4*y - g + 12, g + 3*g = y - 20. Suppose -4*p + 7 = s - y*s, -p = s. Suppose 2*i = -2*m + 4*i + 2, -5*i = 2*m + 5. Which is smaller: m or p?
m
Let c(t) = 8*t + 12. Let l(b) = 3*b + 4. Let w(m) = 4*c(m) - 11*l(m). Let o be w(3). Let i = 8/19 - 5/57. Is i less than o?
True
Let y = 0.03 - 0.33. Let c be (-9)/(-18)*(-1 - -1). Suppose -5*p - d + 10 = c, 0*p - 2*p - 2*d = -4. Which is smaller: p or y?
y
Let g = 14 - 9. Let l = -15 + 8. Let m = l + g. Are m and -1/2 equal?
False
Suppose -f + 4*f + 18 = 0. Let h be 2 - f/9*-3. Let p be (-2 + h)/(14 + -1). Which is smaller: p or 1?
p
Let k = 7 - 8. Is -2/3 at most as big as k?
False
Let s = -3/25 - 16/75. Which is bigger: 38 or s?
38
Let m be -4*(-2)/((-12)/(-3)). Which is greater: 3/2 or m?
m
Let x = -210 + 1683/8. Which is greater: x or -1/4?
x
Suppose -4*g + g + 15 = 0. Suppose 0 = b - 5*d + 2 - 23, 5*b = g*d + 65. Which is smaller: -0.2 or b?
-0.2
Let v be 2/62*14/(-1). Let c = 26/217 - v. Which is smaller: c or -0.2?
-0.2
Let n = -10 - -1. Let w = -5 - n. Let d = 3.9 - w. Is d < 1/3?
True
Let i = 0.5 + -4.5. Let n = 8 - 8.1. Are i and n nonequal?
True
Let o(l) = -l**3 - 4*l**2 + 7*l + 7. Let a be o(-5). Let j = -5 - a. Let w = 3 + j. Which is bigger: w or 3?
3
Let r = 0.2 + 2.8. Let t = -17 - -13. Let o = t + r. Which is bigger: -1/3 or o?
-1/3
Let x be (-33)/180 - (-2)/(-5). Let p = x - 1/12. Which is smaller: -2 or p?
-2
Suppose -3*x = 3*y - 18, 3*x - x - 7 = -y. Let v(k) = -k + 5. Let o be v(y). Is o greater than 4/7?
False
Let u(b) = -2*b - 8. Let f be u(-6). Suppose 8 = 4*s - f. Suppose 3*a + m = -s*m - 25, -4*a = -2*m + 4. Which is smaller: a or -4?
-4
Suppose -y = -5*r - 59, 2*y + 11 = -5*r - 36. Is -12 bigger than r?
False
Let z(y) = 6*y**2 - 1. Let j be z(-1). Let q be ((-2)/j)/((-22)/(-10)). Does q = -2/7?
False
Let g be (-3 + (-27)/6)*2. Let t be (18/g)/(0 - -2). Which is bigger: 0 or t?
0
Suppose -95*m = -93*m. Suppose -z = s - 4*z + 7, -s + 17 = 5*z. Is m >= s?
False
Let s(n) be the third derivative of n**6/120 - 7*n**5/60 - n**4/24 + 2*n**2. Let w be s(7). Let h = w - -6. Is 1/5 at most h?
False
Let i(b) = b**2 - 5*b - 1. Suppose -1 = -3*q + 4*h - 2, 5*q - 41 = -4*h. Let u be i(q). Let c = u + 1. Which is greater: c or 4/7?
4/7
Let d be (-4)/(-3) + 0 - 2. Let u be ((-16)/56)/(3/7). Is d <= u?
True
Let u(d) = d**2 + 8*d + 8. Let j be u(-7). Let i(h) = -j + 2 - 1 + h. Let p be i(-2). Is -1 <= p?
False
Let j = 1 - -6. Which is smaller: j or 8?
j
Let m = 8 - 13. Which is greater: -25/6 or m?
-25/6
Let d = -16.3 + 16. Let o be (4/(-10))/((-6)/10). Which is smaller: d or o?
d
Suppose -20 = -5*m + 5. Suppose 0 = m*o - 2*o - 3. Which is smaller: o or 0?
0
Let g be 7*2*1/(-2). Let u(c) = c**3 + 7*c**2 + c + 9. Let r be u(g). Suppose r = 5*x + 12. Which is greater: x or -3?
x
Let w be (-2)/3 + (-33)/18. Is -4 > w?
False
Let c be (4/(-24) + 1)*-3. Which is smaller: c or 2/5?
c
Let w be ((-2)/((-2)/5))/1. Suppose w = 5*r - 0. Let m(t) = t**3 - t. Let b be m(r). Is 3/4 > b?
True
Suppose q + 3*q = 2*q. Are 2 and q nonequal?
True
Let g be 2 + (-104)/48 - (-1)/(-3). Suppose -o - o - 4 = 0. Which is greater: o or g?
g
Let q = -29 - -29. Which is smaller: q or -3/8?
-3/8
Let w = 50 - 65. Which is smaller: w or -16?
-16
Let r be (-15800)/(-32) + -2 + 1. Let x = r - 496. Is -4 at most x?
True
Let x be ((-252)/8)/((-102)/32). Let d = x - 10. Which is smaller: -1 or d?
-1
Suppose 0 = -5*t + 39 - 14. Suppose -t*d = -q + 10, -4 = 3*q + q + 2*d. Let v = -10 + 19/2. Is v > q?
False
Let v be 3*(-10)/(-54)*(5 + -26). Is -13 <= v?
True
Let n = 3.1 - 3. Let w(y) = y**2 + 6*y + 5. Let b be 3 + -2 + 0 - 6. Let j be w(b). Is j less than n?
True
Let g = -81 - -241/3. Let r(f) be the third derivative of -f**5/60 + f**4/8 - f**3/2 + f**2. Let q be r(2). Which is greater: g or q?
g
Suppose -4*z + 6 - 2 = 0. Let v(w) = -2*w - 13. Let o be v(-7). Let l = z + o. Is l at least 2?
True
Let k = 6 + -4. Let d be 1/(-5) - k/10. Which is bigger: d or -0.2?
-0.2
Let x = -49653198/50735 - -71384/73. Let y = 2/139 + x. Which is smaller: 0 or y?
y
Suppose -n = 3 - 4. Let g be -1 + 0 + 9/11. Which is smaller: g or n?
g
Let n(s) = s**2 - 4*s - 3. Let x be n(5). Let p be x/(-8)*32/(-68). Which is smaller: 1 or p?
p
Let g = -43 + 44. Is -1/17 smaller than g?
True
Let t be 2 - ((-1)/(-1) - 2). Suppose -4*l - 18 = -t*c + 4, -3*l - 22 = -5*c. Suppose -4 - 5 = c*w - r, 0 = -w - r + 3. Which is smaller: w or 0?
w
Let j = 3 + 0. Let h be (-1)/(-3) + (-4)/j. Let l be (-6)/(-4)*12/(-135). Is h greater than or equal to l?
False
Let i(j) = -j**2 + 10*j + 4. Let d = 26 + -16. Let f be i(d). Suppose 3*w + 1 = 4, -5*m + 2*w + 3 = 0. Are f and m unequal?
True
Let l = -3.6 + 5. Let o = l - 1.3. Do o and 1/6 have the same value?
False
Let b be -9 + 7/(21/12). Which is smaller: -7/2 or b?
b
Let l = 105 + -106. Let d = 5.03 + -5. Let g = d + -5.03. Which is smaller: g or l?
g
Let s(i) = -i + 1. Let x be s(-3). Let l(n) = -n - 17. Let o be l(-22). Suppose -6*m + m - 9 = -x*d, -o*d - 4*m = 40. Is -6 at most as big as d?
True
Let j(b) be the third derivative of -b**5/60 - 5*b**4/24 - b**3/3 - b**2. Let o be j(-4). Is o > 1?
True
Let m be 18*1*7*1/21. Let z = -13 + 20. Which is smaller: z or m?
m
Let u = 4 + 4. Suppose 2*h - h = u. Is h at most 7?
False
Let l(m) = m**2 - 14*m + 1. Let u be l(15). Suppose 0 = -12*w + u*w. Is 2/17 bigger than w?
True
Suppose -6*n + 32 = -4. Is n less than or equal to 7?
True
Suppose -2*a - 3 = 2*r + 3*r, -5*r - 4*a - 1 = 0. Are -1 and r equal?
True
Let u be 2/4 - 13/(-78). Which is greater: u or 1?
1
Suppose 2 = 5*h - j - 15, -h + 5*j + 13 = 0. Suppose -h*l - l + 28 = 0. Suppose -l*i = -3*i + 3*y + 3, 0 = 5*i - 5*y - 40. Is i less than or equal to 4?
True
Let a = -7 - -10. Suppose a*s = 5*s. Let k = 446/7 + -64. Is s >= k?
True
Let i(o) = 3*o. Let s be i(-1). Suppose 6 = -4*p - 10. Let r = s - p. Is 1 at least r?
True
Let s = -102/305 - 4/61. Which is greater: s or -7?
s
Let n be -21 - -20 - 70/(-18). Which is smaller: n or 2?
2
Suppose -b - 10 = -6*b. Suppose -2*a = -x, b*a = -3*x + 2*x. Are a and -0.15 equal?
False
Let z be (-1 - -2)/((-11)/22). Suppose -4 = -2*f - 6. Which is greater: f or z?
f
Let x be (-3)/(-35) + (-2)/14. Which is smaller: 1 or x?
x
Suppose b - 12 = -x, 5*x - 5*b - 27 = 3. Suppose 4*z - x = z. Let p(j) = -2*j**3 - 3*j**2. Let s be p(-2). Is z greater than s?
False
Suppose -4*o - 52 = 4*t - 0, 5*o = 3*t - 49. Is o < -10?
True
Let x(z) = -z + 2. Let f be x(2). Suppose 15 = -f*p - 5*p. Is p at least as big as -3?
True
Let i = -0.031 - -0.011. Is 3 greater than or equal to i?
True
Let a = -7 + 11. Suppose a*i + 20 = 0, 2*d - i + 0*i + 13 = 0. Is d at least as big as -10?
True
Let w = 0.87 + 0