s + 6 = 3*o - 2*g, 5*g + 27 = -o. Is o at most 0?
True
Let v(a) = a**3 - a - 1. Let i be v(-2). Let z(n) = -n**2 - 7*n - 2. Let l be z(i). Let o be (-1 - -2)/(l/4). Which is smaller: o or -1?
o
Let c(d) = d + 7. Let a be c(0). Suppose p - a = 3*j + 6, 2*j + 18 = 3*p. Does j = -2?
False
Let u(v) = -v**2 + 6*v - 2. Let i be u(5). Let r be 1/(-3)*6/(-2). Which is smaller: r or i?
r
Let n(u) = -u**3 + 6*u**2 + 8*u - 6. Let v(s) = s**3 + 4*s**2 - 4*s - 2. Let g be v(-5). Let j be (-2 - -1)*g + 0. Let q be n(j). Is q >= 1?
True
Suppose 0*t + 19 = 2*t + 5*s, 20 = 3*t - s. Suppose 3*v - 2 - t = 0. Suppose -4*k - 2*b = -17 + v, -3*b = -9. Is k greater than 2?
False
Suppose -l - 6 = 2*y + 25, -l = y + 13. Let h be 2/(-3)*y/(-30). Let f = -4/3 + 1. Is h at most as big as f?
True
Let k(w) = w**2 - 4*w + 4. Let l be k(4). Suppose l = 4*x - 0. Which is bigger: x or 4/5?
x
Let y be 5/3 + 1 - 3. Let o = 4 - 3.6. Is y less than o?
True
Suppose 17 + 7 = 3*n. Let q = n + -3. Is q at most as big as 4?
False
Let w = 1433 - 1431. Let n = -3 + 5. Suppose 0 = n*z - 3*z + 5*c + 22, 5*z - 26 = 4*c. Is z <= w?
True
Let r = 775 - 774. Suppose -3*l + 4*l - 2 = 0. Let n be (1/(-2))/(0 - l). Which is smaller: r or n?
n
Let d = -0.5 + 0.8. Let k = 13.3 - 14. Let o = d - k. Do -1 and o have the same value?
False
Let a be (3/(-2))/((-9)/12). Suppose a*o + 6 = -2*l, 5*o + l + 0*l - 5 = 0. Is o at least as big as 2/3?
True
Let y = 746764/9 + -83217. Let i = -243 - y. Is -1 < i?
True
Suppose 4 = 3*z - z, -2*z + 4 = 5*j. Suppose m - 26 = 4*m + g, j = -2*m - g - 16. Let k be (-5)/2*(-2)/m. Which is bigger: 0 or k?
0
Let t = -5 - -4.95. Let n = -0.05 + t. Is 0.1 less than n?
False
Suppose 0 = 2*h - 4*h + 34. Suppose -r + 4*i = -h, 19 - 2 = 5*r - 3*i. Is r less than 1/3?
False
Let q = 55 - 56. Let g = 202 - 1820/9. Is q < g?
True
Let l(d) = 2*d + 1. Let u be l(-3). Let p = u + 1. Let q be (5/15)/((-2)/p). Which is greater: q or 0?
q
Let k = -33.022 + 0.022. Which is smaller: k or 1?
k
Let f(m) = -m**2 - 15*m - 7. Let d be f(-10). Which is smaller: d or 44?
d
Let d = -3 + 2.8. Which is greater: d or -4?
d
Suppose 4*d - 6*d - 2 = 0. Let c be (1/(-22))/(1/(-4)). Does c = d?
False
Let a(h) = h**2 - 4*h - 3. Let v(u) = 4*u**2 + 2*u - 2*u**2 - 2*u**3 - 4*u**2. Let b be v(-2). Let c be a(b). Is -1 at least as big as c?
True
Let d = -12 - -102. Suppose -2*b = -3*f - d + 6, -4*b + 200 = 2*f. Let z be (-2)/3 + 44/b. Which is greater: z or 0?
z
Suppose -41 = 3*z + 4*b + b, 2*b + 29 = -3*z. Let d = -6 - z. Which is greater: 0 or d?
d
Suppose 3*c + 4 - 1 = 0. Let p(g) = -4*g + 17. Let t be p(5). Is c <= t?
False
Let x(a) = 3*a**3 - 25*a**2 + 14*a. Let m(u) = u**3 - 8*u**2 + 5*u. Let w(b) = 7*m(b) - 2*x(b). Let z be w(5). Let i be 24/z - 6/2. Is i less than 0?
True
Let u = -8 + 7.4. Let b = u + -0.2. Which is smaller: b or -0.1?
b
Let k = -214/581 + -61865/41832. Let x = k - -13/8. Which is greater: 1 or x?
1
Let m = -10412/29 + 359. Are m and 1 non-equal?
True
Let f(k) = k**3 + 4*k**2 + k + 2. Let h be f(-4). Let y = -2 - h. Which is smaller: 2/3 or y?
y
Let h be (-14)/(-3) + (-2)/(-6). Let a = h + -1. Suppose b - 4 + 5 = 4*p, p - a = 4*b. Which is bigger: p or -3/7?
p
Let f = -3 - -11. Let i = 18 - f. Let m be i/(-7)*(-6)/(-15). Is m greater than or equal to -1?
True
Let l = -8 + 7. Let z = l - -2. Is z <= -1?
False
Let b = -3 + 3. Is b >= -3/5?
True
Let a(v) = 3 - v - v + 1 + v. Let o be a(5). Which is greater: 2 or o?
2
Suppose -4*o + 8*o = v + 2, -9 = -3*o - 3*v. Which is smaller: o or -2/17?
-2/17
Let q = 3 - 2. Suppose p - 4 = -0*p + c, 3*c - 13 = -2*p. Suppose l = p*l. Is q bigger than l?
True
Let m = -2.4 + 0.4. Let u = 1732/5 + -9685/28. Let v = u - 3/28. Is m less than v?
True
Let h be 6 - 4 - (1 - 2). Let o = 2 - h. Let p = o - 0. Do -2 and p have the same value?
False
Suppose 2*p = 4*k - k + 12, -4*p = -3*k - 24. Which is smaller: p or 43/7?
p
Let n be ((-36)/4)/((-2)/2). Are n and 8 non-equal?
True
Let a = -1/2 + 1/6. Let q = -643 - -16073/25. Is a >= q?
False
Suppose 0 = -4*n - 253 - 279. Let a be 3 - 0 - n/(-42). Is a less than or equal to 0?
True
Let b = 11/135 - -5/27. Is -1 bigger than b?
False
Let y be 3/(-2) - (-50)/20. Which is bigger: 2/257 or y?
y
Let c = -0.37 - -0.17. Which is smaller: c or 3?
c
Let s = 2549/13 - 196. Let d be ((3 + -3)/(-2))/(-3). Is d at most as big as s?
True
Let g = -5105797/130 + 39275. Let b = g - -6/13. Is b at least as big as 0?
True
Let x = -9674 + 39189/4. Let p = -124 + x. Is p greater than -2?
True
Suppose -3*x = 2*r - 4 + 6, 14 = -3*x + 4*r. Let v(d) = d**3 + 6*d**2 - 6*d + 1. Let w be v(-7). Is w less than x?
True
Suppose 13*j - 2 = 14*j. Which is smaller: j or -3/5?
j
Let q(n) = n**3 + 5*n**2 - 7*n - 5. Let w be q(-6). Let a be (1 - 2) + (-2)/w. Let r = a - -5. Is 2 < r?
False
Let y(w) = -w**3. Let h be y(-1). Which is bigger: 12 or h?
12
Let o(q) = -q**3 + 4*q**2 - 4*q - 1. Let f be o(2). Which is smaller: f or -6/13?
f
Let t(p) = -p - 7. Let z = -13 + 24. Let k = 11 - z. Let j be t(k). Is j <= -7?
True
Suppose -3 = 4*o - 23. Suppose 5*d + 3 + 6 = -3*q, 0 = -o*d + 3*q - 21. Is -3 > d?
False
Let i be 202/14 - 4/(-7). Which is smaller: 14 or i?
14
Let h = -0.6 + -0.4. Do 4 and h have the same value?
False
Let u be 4 + -1*(-285)/(-70). Is -1 at least as big as u?
False
Let y = 7 + -5. Let n be 3/(-3) + 2 - y. Let m be (-6)/(-5) + (-2)/10. Which is smaller: m or n?
n
Let f(i) = -i**2 + 0*i**2 + 2*i + 4*i. Let b be f(6). Let n be (7 + -7)/(0 + -1). Is n at most b?
True
Let p be (-48)/210*(1 + 6/4). Is -1 less than p?
True
Let q be (-2*(-1)/(-2))/(-2). Suppose -3*c - 2*p = -0*p + 14, 0 = -c + 3*p + 10. Let x = 3 + c. Is q equal to x?
False
Let g(j) = 3*j. Let y be g(1). Suppose y*o - 161 = 4*p, -5*o + 2*p = p - 274. Let i be ((-4)/o)/((-12)/(-30)). Which is smaller: i or 1?
i
Let p = 17 + -32. Let z = p + 26. Which is smaller: z or 12?
z
Suppose 0 = -3*c - 4*l + 11, -c = -2*l + 3. Let u = 173/286 - -7/22. Is u <= c?
True
Let h be 90/24*16/6. Let k be h/(-45) - (-40)/18. Suppose 0 = k*y - 2*r + 2, 2*y - r - 2*r = -4. Is 1/17 < y?
True
Let m = -1 + 1.2. Let d = -50 + 30. Let h = d + 21. Is h not equal to m?
True
Let j be (-27)/(-81) - (-28)/(-39). Is j less than 2/5?
True
Let q = -16 - -13. Is q bigger than -0.1?
False
Let o be (1/(-5))/(1/(-5)). Suppose -r - o = 3. Is r at most -3?
True
Let r = 16 + 70. Let z = r - 80.9. Let w = -5 + z. Are 0.1 and w nonequal?
False
Suppose 0 = -a + 5*t + 2 + 28, 25 = a - 4*t. Suppose y = a*y. Which is bigger: -1 or y?
y
Let b = -9 + 15. Suppose 0 = -3*c + b + 9. Does 5 = c?
True
Let v = -41 - -31. Let f(x) = 6*x + 2. Let c be f(-2). Is v at least c?
True
Let r = -73 + -116. Let b be 1/(-3) + (-9)/r. Is b not equal to 2/15?
True
Let x be (1/(-5))/(6/(-30)). Suppose x = -3*y + 7. Do 0.05 and y have the same value?
False
Suppose -3*x + 25 = n + 2*x, -5*n = x - 5. Is n bigger than -1/189?
True
Let n = -0.1 - 0.02. Let t = n + 0.04. Which is smaller: t or -1?
-1
Let h = -3699/980 - -6/245. Is -4 equal to h?
False
Let s = -1/119 - -5/17. Suppose 0*a - 6 = -2*a. Suppose m + 8 = 3*h - 5*h, m = a*h + 2. Which is greater: s or h?
s
Suppose 17 = w - 4*u - 0, 0 = -u - 3. Let z(f) = 2*f + 4. Let x(d) = d + 4. Let m(h) = -3*x(h) + 2*z(h). Let p be m(w). Which is greater: p or 0?
p
Let n = -27 - -21. Is n < -26/5?
True
Let x = -20 + 33. Which is greater: 14 or x?
14
Let p = 17.2 - 16. Let o = p + -4.2. Is 1 != o?
True
Suppose -16*d = -17*d + 12. Is 14 less than d?
False
Let y be 0 + -2 + 1 + -1. Is y less than -1?
True
Let c(z) = -z**3 - 7*z**2 + 7*z - 1. Let a be c(-8). Let i be (-5)/a*6/10. Which is greater: 0 or i?
0
Let v(i) = i - 4. Let n be v(3). Which is greater: -1/34 or n?
-1/34
Let j = -1 + -30. Let u = j - -156/5. Is 0 at least as big as u?
False
Let l = -17 - -12. Let k = -1 + 5. Let t = k + l. Is 1/3 >= t?
True
Let f = -2/449 - 367/18409. Are -1 and f non-equal?
True
Let h be (1 + -1)/(-1 + 0). Suppose -5*a + 5 = h, -3*s + 4*a = -7*s + 28. Which is smaller: 2 or s?
2
Let m be (-3)/14*62 + (-26)/(-91). Is -11 at most as big as m?
False
Let n = 195/2 - 116. Is n greater than -20?
True
Let x = 63 + -63. Which is bigger: 22 or x?
22
Suppose 0 = -3*r - 2*r - 10. Let f be (-15)/(-9) + (-1 - 1). Is f at least as big