(-1 - 0). Suppose 2*w + p*j = 5, -3*w = -6*w + 4*j - 1. Is w less than or equal to 0?
False
Let d = -70 - -72. Which is greater: -13 or d?
d
Let h be (-3)/21*14/(-7). Is h at most as big as 11?
True
Let x(g) = g + 7. Let k(c) = -1. Let q(j) = -3*k(j) - x(j). Let y be q(-6). Is y greater than or equal to 5?
False
Let d(b) = 54*b + 5. Let k be d(-2). Which is smaller: k or -104?
-104
Let n = 9 + -13. Suppose 0 = 3*r + 2 - 8. Suppose -r*p + 5*g = -0*p + 3, p + 2*g = 3. Is p bigger than n?
True
Let w = 111 + -112. Is 2/61 <= w?
False
Let v = 44 + -32. Is 10 at most v?
True
Let z = -21 + 21. Is z < -33?
False
Suppose -1 = 3*x + 3*o + 29, x - 5*o = 20. Let a be (-20)/(-8)*4/x. Is a less than or equal to -2?
True
Suppose 2 = -2*f + 2*n, 0*f - f = 3*n - 15. Suppose -5*t = -f*g + 13, -2*t = 2*g + 2*g. Let i = -0.6 + 2.6. Is g greater than i?
False
Let y = -45 - -52. Does 7 = y?
True
Let z(v) = v**3 + 5*v**2 - v - 6. Suppose 9 = -5*g - 16. Let s be z(g). Let h = -2 + 2. Which is bigger: s or h?
h
Suppose 3*p + 2*a + 0 = -6, 4*p - 15 = 5*a. Let x be 1/(-8) - (-2)/(-8). Which is smaller: p or x?
x
Suppose 0 = -5*a - 0*x + x, 3*x = 5*a. Which is greater: -6/35 or a?
a
Let q be -4 + -2 + 3 + -3. Is q bigger than -7?
True
Suppose 3*m = 5*u + 10, 3*u + 5*m - 29 = -1. Let w be (-17)/(-21) - (-4)/(-6). Is w at least as big as u?
False
Suppose -8*n = n + 459. Which is greater: n or -52?
n
Let r(p) = p**2 + 5*p - 5. Let g be r(-6). Let n = 37 + -34. Is g smaller than n?
True
Let d be ((-102)/36)/(13/(-6) + 2). Is d at most as big as 15?
False
Suppose 1 = 2*a + 3, -2*y = -5*a - 19. Suppose 3*w + 2 = -y. Suppose -5*m - 1 = -6, 0 = 2*r + 5*m + 1. Is w at most as big as r?
True
Let t = 32734/3 - 10765. Let v = 2219/15 - t. Is 1 < v?
True
Let l(c) = c**3 - 12*c**2 + 10*c - 14. Let u be l(11). Which is greater: -24 or u?
-24
Let v(c) = -6*c**2 + c - 1. Let r be v(1). Let g be (r/(-15))/((-42)/10). Let u = 8 + -9. Which is smaller: g or u?
u
Let j = 23 - 22. Is -4/17 less than j?
True
Suppose 10 = -6*k + k. Let b be 1*(k/(-5) - 1). Which is bigger: 0 or b?
0
Suppose -12 = 3*t, 5*t + 100 = -0*x + 5*x. Which is smaller: 1 or x?
1
Let q be (11/(-4))/(5/(-20)). Suppose 3*s - q - 12 = 2*v, -s = -2*v - 25. Is v greater than or equal to -12?
False
Suppose 2*f - 12 = -2*a, -f - 3*a = -5*f - 4. Suppose f*z - 3 = 5*z. Let t be (z/2)/(-1)*6. Is 4 bigger than t?
True
Let b = 1 + -1.1. Let f = 33.7 + -34. Is b greater than or equal to f?
True
Suppose -5*k = 4*b - 7 - 30, 49 = 4*b + k. Is b <= 13?
True
Let d = 13 + -10.7. Is d > -1/3?
True
Suppose -22 + 6 = 4*q. Let b be (-6)/q*(-4)/6. Let n = -244/805 + 2/115. Is b less than n?
True
Suppose 24 = 3*k + 177. Let q = k + 203/4. Is q < 0.1?
True
Let o = 25 + -22.2. Let j = o + -2.9. Which is bigger: 1/7 or j?
1/7
Suppose 0 = 4*c - 5*c + 588. Let m = c + -22934/39. Is -1 > m?
False
Let t = -7 - -6.9. Let q = -5 - -8. Suppose 8*j = q*j. Are t and j equal?
False
Let g be (-7)/3 - (-2)/6. Let n be (7 + -2)*g/(-85). Is n greater than or equal to 1?
False
Let x = -1.1 - -7.1. Is 0 less than or equal to x?
True
Let j be (-40)/(-21)*(-7)/6. Does j = -1?
False
Let k = 41.08 + -41. Which is smaller: k or 1?
k
Suppose 10 = 3*f - 2. Let u be f/10 - 296/750. Let b = u - 1133/1500. Which is greater: b or 0.2?
0.2
Let v = 137/304 + -5/19. Let u = v + -25/48. Which is greater: u or 1?
1
Suppose 2*b + 0*b = 4. Suppose 3*l - b = l. Which is greater: l or 4/5?
l
Let o = 41 - 37. Are o and 2 equal?
False
Suppose 2*n = 2*t - 3*t + 55, 4*t = 4*n - 80. Let y be n/(-9) + 2/(-9). Do -3 and y have the same value?
True
Suppose -11 - 25 = -4*h. Which is smaller: 8 or h?
8
Let n = 15 - 11.8. Let p = 0.01 - -2.99. Let i = n - p. Do i and 0.1 have the same value?
False
Let p be (1 + 0)/((-19)/2). Let z be 14/10 + (-1)/(5/2). Which is smaller: p or z?
p
Let c be (-3)/(-4)*8/2. Let f = 6 - c. Which is smaller: f or -1?
-1
Suppose -u = -2*u + 3*w + 19, -5*w + 3 = u. Suppose 3*z - u = 5*v + z, 5*v - 4*z = -11. Let q = -2 - v. Which is smaller: q or 1/4?
1/4
Let r be (0 + 0)/(-6 - 35/(-5)). Let o(i) = i**3 - 3*i**2 + i + 1. Let c be o(2). Let t = -2 - c. Which is smaller: t or r?
t
Let c be (-16)/(-15) - (-2)/(-5). Suppose -3*v + 3 = -3. Suppose 2*x - 2*p - 8 = 0, v*x + 20 = 3*p - 8*p. Which is smaller: x or c?
x
Let m be (-7)/(35/(-6))*-5. Let x(j) = -j**2 - 7*j - 7. Let u(l) = l**2 + 7*l + 7. Let t(f) = 2*u(f) + 3*x(f). Let s be t(m). Is -1/5 less than s?
False
Let v = 14.884 + -100.814. Let d = 87 + v. Let p = d - 0.07. Which is smaller: -2/5 or p?
-2/5
Let q be (-18)/38*182/147. Let g = q + 2/133. Let i = 106/3 - 35. Which is bigger: i or g?
i
Let s(p) = p**2 + 2*p + 1. Let z be s(-5). Suppose -68 + z = 4*b. Is -13 at most as big as b?
True
Let j = -32.34 + -0.66. Which is smaller: -0.1 or j?
j
Let t(d) = -d + 1. Let n be t(0). Suppose n = 5*k - 19. Suppose 0 = k*z - 2*z. Is z bigger than 0?
False
Let h = 0.18 + -8.18. Let m = h + 8. Which is bigger: m or 2/5?
2/5
Suppose 50 = -5*u - 5*d, -2*d + 15 = -4*u - u. Let c = u + 5. Suppose 4 = 4*q - 0. Which is greater: c or q?
q
Let r = -8 + 6. Let w be (0/(12/(-3)))/(-1). Is r less than or equal to w?
True
Let v be (1 + (-2)/8)*-37. Let m = 28 + v. Is 0 at least m?
False
Let n = -26 + 18. Let v = 7.9 + n. Is -6 at most v?
True
Suppose -4 = -2*g - 2. Is g less than or equal to 0?
False
Let w(o) = -2*o**2 - 29*o + 18. Let g be w(-15). Is 1 greater than or equal to g?
False
Let z = 5 - 5. Let n = 0.1 - z. Is 2/17 < n?
False
Suppose 2*g - p - 2*p = 10, -4*g - 5*p - 2 = 0. Let c(s) = s**3 - 2*s**2 - s + 4. Let j be c(2). Let t be g/((-2)/((-4)/j)). Which is smaller: t or 1?
1
Suppose -4*m - 3*r = 8, 5*m - 3*r = 3*m + 14. Let a = -0.3 - -0.5. Which is bigger: m or a?
m
Let j be 0*(3/(-6) - -1). Suppose 3*i - 5*l - 5 = j, 4*i + i - l - 1 = 0. Does i = 0?
True
Suppose -1 - 7 = -4*c. Suppose l - 3 = c*l, -3*n + 9 = -l. Is n < 0.1?
False
Let s = -324/7 + 6170/133. Let h = 0 + -1. Is s > h?
True
Let y = 503/4 - 126. Which is bigger: y or -1/27?
-1/27
Suppose 0 = h + 3*k - 7*k - 41, 2*k + 6 = 0. Suppose -3*i - 5 = -5*r, 4*i + h = r + 11. Let a be -1*(-2 + 1 - r). Which is smaller: -1/2 or a?
a
Let d = -5 - -6. Let s = -5 + 5. Do d and s have different values?
True
Suppose -3 = 2*p + 1. Let h be (-6)/(-3 + p/(-1)). Are h and 6 non-equal?
False
Let c be -2 + -4 + 2 - 0. Which is smaller: -2 or c?
c
Let b(n) = 4*n. Let p be b(-2). Is p < -8?
False
Suppose d - 1 = 4*r - 0*d, 3*r - 5*d = -22. Let t = -3889/9 + 431. Is t less than or equal to r?
True
Let z = 2/75 + 12/175. Suppose 3*h - 12 = 0, -h - h = -5*n - 8. Which is bigger: z or n?
z
Let u = -14 + 16.7. Let a = 0.7 - u. Let i = 1.3 - 0.3. Is i not equal to a?
True
Let k = -22 + 44. Is 23 > k?
True
Let m = 4 - 8. Let l = -33 + 29. Is l greater than m?
False
Let o(l) = l**3 + 6*l**2 + 5*l + 1. Let h be o(-5). Which is greater: h or -1/20?
h
Let c be (-2907)/1802 + (-3)/(-2). Which is smaller: 0 or c?
c
Suppose -2 = -4*v - i, 0 = -v - i + 3*i - 4. Suppose -r = 2*r - w + 3, v = -r + 5*w - 15. Let t(d) = -d**3 - d**2 - d. Let f be t(r). Which is smaller: -2 or f?
-2
Let g = 5 + -1. Let k be -3 + (g - (4 + 3)). Which is smaller: k or -8?
-8
Suppose 0 = 2*l - 3*l - 8. Let q be 0 + 0 + 3/(-1). Does l = q?
False
Let l(u) = -u**2 + 2*u + 1. Let s be l(2). Suppose -2 = 4*a - 10. Let w = a + 0. Which is smaller: w or s?
s
Let s(n) = -n**3 - 12*n**2 + 15*n + 55. Let y be s(-13). Are 29 and y non-equal?
False
Suppose -4*k + 3*j = k - 13, -j - 1 = -k. Suppose -k*d + 4 = -d. Let p = 1/42 - -121/210. Is d != p?
True
Let w(s) = -s + 4. Let k be w(10). Let c(m) = m**3 + 5*m**2 - 6*m + 2. Let n be c(k). Let l be (-12)/9 + (1 - -1). Is l less than n?
True
Let b = 41.86 + -44. Let c = -0.14 - b. Which is smaller: -2/7 or c?
-2/7
Let i(j) = 3*j - 2. Let r be i(-6). Let l = -33 - r. Is -13 >= l?
True
Let r = 47204/5 + -9507. Let a = r + 66. Which is smaller: a or 0?
a
Let d = 0.24 - 0.14. Which is smaller: -18 or d?
-18
Let o = -6 + 6. Let j(r) = r**2 - r + 2. Let t be j(2). Let x = t + -6. Which is smaller: x or o?
x
Let t = -180 + 182.02. Let q = -0.02 + t. Let k = 2 - q. Is 0 greater than k?
False
Suppose -4*t = -3 - 1. Let a = t - -1. Do 5/6 and a have the same value?
False
Let o = 56 + -80. Let i b