Let p(r) = r**2 + 2*r - 2. Let d be p(-3). Is d bigger than c?
True
Let c(k) = k**3 - 4*k**2 + 2*k - 2. Suppose s + 3*q = -2, 3*s - 2*q - 25 = -9. Let m be c(s). Let n be 2/(-6)*m*-1. Is 1 < n?
True
Let w = 3.2 + -3. Let d = -4 - -2. Which is greater: d or w?
w
Let b = -129 + 131. Which is smaller: -4 or b?
-4
Let p = -23 - -14. Suppose 4*l + 32 = -0. Which is smaller: l or p?
p
Let v = 13 - 8. Is -1 greater than or equal to v?
False
Let i = -19 - -35. Suppose -2*f + i = -0. Is f <= 9?
True
Let f = -1 + 2. Let t = -3 + f. Suppose -4 - 1 = 5*o. Is o bigger than t?
True
Suppose -3 = 4*l + 1. Which is bigger: -1/21 or l?
-1/21
Let z = -10.3 + 1.3. Let g = -9.04 - z. Is -1 less than or equal to g?
True
Let c = 12 + -9. Is 5 bigger than c?
True
Suppose 2*q - 8 = -5*d - q, q - 1 = 0. Suppose 44 - 43 = m. Is d greater than or equal to m?
True
Let x = 182/3 - 60. Let m(y) = -y**3 - 9*y**2 - y - 8. Let z be m(-9). Are z and x equal?
False
Let t = -9.14 + 9. Let u = 19.06 - 19. Let v = u - t. Is 0.1 > v?
False
Let n be 4/(-6) - (-106)/6. Is n less than or equal to 17?
True
Let r be (-20)/(-24) - (-2)/12. Let s be (9 - 2) + -3 + 0. Suppose 4*c + s*u = 12 - 4, -2*c + 4*u = 8. Which is smaller: r or c?
c
Let u be (-406)/(-357) + 4/(-6). Which is greater: -1 or u?
u
Let s be (-6)/18 + (-46)/(-3). Suppose -h - y = -0*h - s, 2*h = 3*y + 5. Is h greater than 11?
False
Let q = 6804/184085 + -2/3347. Which is smaller: q or -1?
-1
Let w = 0.34 - -0.66. Is w at most as big as -25?
False
Let z = -1.2 - -0.2. Which is smaller: -0.9 or z?
z
Let h = 23 - 24.3. Let a = h - -3.3. Which is smaller: a or -3/5?
-3/5
Let x = 0.01 + 0.39. Let f = 13 + -9. Let z = f - 5. Which is smaller: z or x?
z
Let o = -13 + 11. Is -10/9 less than o?
False
Suppose -4*d - 7*f = -2*f + 95, -4*d + 2*f - 130 = 0. Let r be 2/(-5) - (-48)/d. Let a be ((-6)/(-10))/(4/(-10)). Which is smaller: a or r?
r
Let n(c) = c**3 + 3*c**2 - 3*c + 2. Let d be n(-4). Let u = d + 0. Is u >= -1?
False
Suppose 3*j = 4*b + 27 - 10, 0 = -3*b - 5*j + 9. Let h be 2*((-3)/b + -2). Is h != 0?
True
Suppose 6 = 5*l - 3*l. Let s be (1480/(-492) + l)*-6. Which is bigger: 0 or s?
s
Let g be (3/5)/(1/15). Suppose -3*i + g = -2*h, 2 = 3*h - 2*i + 13. Let s be h + (1 - 2) + 3. Is s less than or equal to 0?
True
Suppose 4*u - 5 + 21 = 0. Let l be (-2)/5 + u/15. Suppose -v = -5*v - 4. Are v and l non-equal?
True
Let k be 2/4*(-3)/1. Let m be ((-2)/5)/((-6)/150). Suppose -3*v - 2*v - m = 0. Which is smaller: v or k?
v
Suppose 2*n + 0*n + 22 = 0. Is -10 at most n?
False
Let o be (-2)/(-7) - 20/(-28). Let d be 1/(-3) - (-19)/21. Do d and o have the same value?
False
Let a be (-154)/(-50) + 1*(7 + -10). Do a and 2 have the same value?
False
Suppose 2*d + 3*n = 7*d - 109, 3*d - 2*n = 65. Suppose d = -3*v - 7. Let a be 1 - (-2)/v*3. Is 2/5 < a?
False
Let x(b) = 25*b. Let m be x(-1). Which is bigger: -24 or m?
-24
Let f(q) = q**3 + 9*q**2 + 6*q + 4. Let o be f(-8). Suppose 4*l = -o + 8. Which is greater: l or -2?
-2
Let t be (-2)/2 - 14 - 2. Let m = 8 + t. Let u be (1 - (-6)/m)*2. Which is smaller: -2 or u?
-2
Let t = -1 + 2. Are t and 7 unequal?
True
Let r be (-1)/(-2)*(-36)/(-63). Is -14 > r?
False
Suppose 2 + 0 = u. Let w be 2/4 + 1/u. Let f be (3 + 1)*4/24. Which is bigger: w or f?
w
Let t(x) = x**2 - x + 5. Let l(b) = -b**2 + b - 4. Let w(a) = -7*l(a) - 6*t(a). Let h be w(0). Let z be 1 + h + (-33)/(-27). Is z bigger than -1?
True
Suppose u + 6*t = 11*t - 18, -t + 12 = 4*u. Which is smaller: u or 5/6?
5/6
Let p(x) = 3*x**2 - 10*x + 2. Let z be p(4). Let o(l) = 3*l**2 - 3*l + 1. Let h be o(3). Suppose -3*b - z = 3*s - 1, 2*s - 3*b = h. Which is bigger: s or -2?
s
Let w = 18 - 196/11. Let a = 0 + -0.2. Let c = a - -0.1. Which is bigger: c or w?
w
Suppose -f - f = 0. Which is bigger: -5/7 or f?
f
Let z(w) = w**2 - 7*w + 10. Let b be z(4). Let r be -3 + b + 27/5. Is r > 1?
False
Suppose 0 = -2*q + v - 21, 5*v = -q - 0*q + 6. Which is smaller: -8 or q?
q
Let b = 1 - -5. Let w(y) = -y**3 + 7*y**2 - 9*y + 2. Let h be w(b). Let v be 2/15*20/h. Is v < 0?
True
Let m(p) = -5*p + 0*p + 4*p - 4*p. Let n(d) = -5*d. Let s(v) = -4*m(v) + 5*n(v). Let q be s(-1). Is q <= 4?
False
Let o(m) = m - 4. Let f = -7 + 14. Let p = 11 - f. Let t be o(p). Is t not equal to 1?
True
Suppose 2*t - 9 = 9. Let w be 8 + -1*(-2 + 2). Which is smaller: w or t?
w
Let j(i) be the first derivative of i**2/2 - 5*i + 2. Let l be j(7). Let w be (-1)/l - 12/(-8). Is w < 1/3?
False
Let c = 6 + -6. Which is greater: c or -2/11?
c
Suppose 4 = 2*v - 7*v + l, -2*v = -5*l + 20. Is v at least as big as 1?
False
Let j be ((-3)/(-6) - 0)/((-1)/16). Is j bigger than -9?
True
Let g(f) = -2*f**2 - 12*f - 11. Let s be g(-5). Which is greater: 2 or s?
2
Suppose -3*x - 5*y = x + 89, 4*x + y + 69 = 0. Let i = x + 21. Is -3 < i?
True
Let z = 4 + -1. Suppose -z*p + 5*p = 0. Is p less than -1/4?
False
Suppose 0 = -5*f + 7 - 17. Let i be 1/3*(f - -11). Suppose -q - 4 = 3*q. Which is smaller: i or q?
q
Suppose -s - 2 = 1. Is 0 at most as big as s?
False
Suppose -3*p = -8*d + 3*d - 24, 2*p + 3*d = -3. Let u be 5 - (p - (2 + -2)). Let g(t) = -t**2 - 7*t + 4. Let c be g(-7). Is u at most as big as c?
True
Let b(r) = 2*r - 12. Let t(c) = -1. Let i(d) = b(d) - 5*t(d). Let w be i(5). Let p = 3 - 1. Is p > w?
False
Let n = 9 + -8. Let k be (-2 + 2 + n)*3. Suppose -k = -4*r + 1. Is -1 < r?
True
Let c = 0.01 - 2.21. Let i = c + 0.2. Let o = i - -4. Is o bigger than -2/7?
True
Let n(b) = 9*b**3 - 2*b**2 + 2*b - 1. Let k be n(1). Suppose 2*m = m + 3. Suppose k*a = m*a - 10. Which is bigger: a or -2/5?
-2/5
Let w be (-1)/4*16/(-30). Let p be 10/6 + 2/(-3). Do w and p have different values?
True
Let t be (-45)/10*4/3. Is -6 at most t?
True
Let o(l) = -8*l**2 - 1. Let b be o(1). Let t = b - -5. Let x be t/3 + 0 + 0. Which is smaller: 0 or x?
x
Let h be (-28)/21 - (-1 - 0). Which is bigger: 1 or h?
1
Suppose 0 = 3*s + 5*n - 3*n + 13, -4*s = -3*n + 23. Which is greater: s or -7?
s
Suppose 4*b = 3*b + 6. Is 7 at most b?
False
Suppose 0 = 5*z - 5*c, 0 + 2 = c. Let s(f) = f - 3. Let q be s(4). Suppose z*m + 1 = -q. Which is bigger: -2 or m?
m
Let z(k) = k**2 + k - 112. Suppose -f = 3*f. Let w be z(f). Let s = -1234/11 - w. Is 1 at least s?
True
Let m(w) = w**2 - 6*w - 3. Let b be m(6). Let g be -3 - ((-70)/12 - b). Is g at least 0?
False
Let c = 13/7 + -33/14. Which is smaller: -4/7 or c?
-4/7
Let v = 1 - 8. Let p = -7.1 - v. Is p at least -1/3?
True
Let p = -6.3 + 6. Is -3 greater than p?
False
Let v be -1 - -32 - -2 - 3. Let q = -15 + v. Is 15 < q?
False
Let v be (-30)/9 + (-10)/15. Suppose 0 = x + 3. Is x != v?
True
Let r be (0/(6/3))/2. Are r and 2/47 equal?
False
Suppose -3*a = a - 660. Let j be ((-6)/(-8))/(a/(-40)). Suppose 2*b = -0*b. Is j != b?
True
Let l = -3.8 + 3. Let j = l - -0.2. Let d = -4.4 + j. Which is smaller: d or 0.1?
d
Let f(d) = -5*d + 6. Let p be f(8). Let q be (-4)/10 + p/(-10). Let w be (-1)/q + (-8)/(-12). Is w at most 1?
True
Let a = 205 - 229.2. Let d = -24 - a. Which is smaller: 4 or d?
d
Let i = -10 + 9. Which is smaller: i or -2/39?
i
Let a(h) = -h**3 - h**2 - h - 1. Let i be a(-1). Let n be 18/(-6) + (-93)/(-33). Which is smaller: i or n?
n
Suppose 6*v = 7*v - 5. Suppose 0*j + 3*f = -2*j + 2, 0 = v*f. Is j equal to 2/7?
False
Suppose -a + 12 = 3*a. Let v be (-13)/(-3) + (-1)/a. Suppose -2*q - d = 4*d + 6, 4*q - v = -2*d. Which is smaller: 1/2 or q?
1/2
Let k(x) = -x - 4. Let m be k(-3). Let b be (m/(-20))/(11/22). Which is smaller: b or 1?
b
Let n = -37 - -23. Is n smaller than -14?
False
Let g = -7 - -9. Let o be (1/1)/(g/(-12)). Which is bigger: o or -7?
o
Let i = 3831093/59305 + 2/11861. Let n = -6773/105 + i. Which is greater: n or 0?
n
Let a = 7.988 - -0.012. Which is greater: 1/4 or a?
a
Let y = 68 + -71.1. Let l = y + 3. Do l and 2 have the same value?
False
Let h be (-4)/(-28)*(-14)/(-20). Let o(z) = z**2 + 4*z - 5. Let g be o(-5). Which is smaller: h or g?
g
Let c = -13 - -14. Which is greater: c or 8?
8
Suppose -4*l = 7*l - 22. Which is smaller: 12 or l?
l
Let o = -7 + 0. Do o and -7 have different values?
False
Let g = 117 + 27. Let i be ((-2)/g)/((-6)/423). Let z = i + -5/16. Is z < 5?
True
Let h = 43 - 42. Is h at most as big as 2?
True
Let r = -18.7 - -19. Whic