>= -8?
False
Let a(c) = -c**3 - 3*c**2 - 3*c - 1. Let v(m) = m**3 + 7*m**2 - 9*m - 10. Let s be v(-8). Let d be a(s). Which is greater: d or -4/9?
d
Suppose m = 5*a + 6, -4*a = -2*m - 0*a + 6. Let s be 1 + (m - 3) + -5. Let b be (-2)/((-1 - s) + 0). Is -1 at least as big as b?
False
Let j be (-1*1/3)/(13/78). Which is greater: -1 or j?
-1
Let w(f) = -2*f + 1. Let m be w(-2). Suppose -m*k - l = -19, -3*l - 7 = k - 2*k. Let s = 1 - 1.1. Is k greater than s?
True
Let q be 2/1 - 304/148. Which is smaller: q or 1?
q
Let g(a) = -a - 5. Let i be g(-5). Suppose s - 13 = -4*p, 9 = -i*s + 3*s + 2*p. Is 1/5 at least s?
False
Let q(z) = -z**2 + 8*z + 16. Let b be q(12). Let p = b + 59. Which is smaller: p or 26?
26
Let i(x) = 25*x**3 + x**2 - 2*x - 2. Let a be i(-1). Is a >= -24?
True
Suppose -3*c - 2*c - 1 = -2*s, -4*c - 2*s + 10 = 0. Which is greater: -2/13 or c?
c
Let x = 0.1 - 0.01. Which is bigger: x or 2?
2
Let b be (-2)/(-8) - 3/(-12). Let g be 2 + (2 - 27/6). Is b < g?
False
Let l = 2.5 + -3. Let b = 29.1 + -29.2. Is b smaller than l?
False
Let j = 2.79 - -0.21. Let r = j - 0. Which is smaller: r or -2?
-2
Let c = -1 - 1. Let q be ((-28)/(-20))/(48/(-190)). Let v = q + 39/8. Which is smaller: v or c?
c
Suppose 0 = 43*r - 46*r. Which is greater: 2/185 or r?
2/185
Let n = 89 + -533/6. Let h = -3 - -5. Let r be 1 - (h - 9/7). Which is smaller: r or n?
n
Suppose -5*l = 73 + 32. Which is smaller: -19 or l?
l
Suppose 3*u - 12 = 3*c, 4*c + 4 = c + u. Let b = 12 + -23. Let x = 9 + b. Is c at most as big as x?
False
Suppose d + 4 = 5. Let j(s) = -s**3 + 2*s**2 - 3*s. Let z be j(3). Let p be (-2)/(-3) - (-16)/z. Are p and d equal?
False
Suppose 3*q + 1 = -t, 0*q + 2*q = 0. Which is smaller: t or -2?
-2
Suppose 0 = -4*d - 2*v - 6, -3*v = 2*d - 4*d + 17. Let n be d/((-2)/(-1 - -7)). Which is smaller: n or -1?
n
Let c(s) = 13*s + 27. Let o be c(-2). Which is greater: -1/93 or o?
o
Suppose -u = -1 - 1. Is u less than or equal to 2?
True
Let f = 4 + -1. Suppose j + 72 = f*i - i, -4*j + 2*i = 258. Let o be j/84 - (-3)/18. Is 0 greater than o?
True
Let o be (-3 - -1)*8/(-8). Suppose o*q = -6, 0*u = -4*u - 4*q - 8. Which is greater: u or 1/4?
u
Suppose -2*q = -3*g - q - 5, -g = 3*q + 5. Let f = 0 - g. Let l = f - 1. Which is smaller: l or 3/7?
3/7
Let i = -25 + 9. Let p = i + 17. Is -2 less than p?
True
Let x(z) be the second derivative of z**5/20 + z**4/3 - z**3 - 5*z**2/2 - 2*z. Let q be x(-5). Are q and -1/3 unequal?
True
Let y = 2 + 2. Suppose z = -3*c - 8, 2*c - z + 3 = -4. Let q be (1/4)/(c/y). Which is smaller: -3 or q?
-3
Let k be (0 - 4/(-6))*-3. Let u be k/((-1 - -9)/(-1)). Which is smaller: u or 0.1?
0.1
Let m = 1.4 - -0.1. Let c = 1.4 - m. Which is greater: c or 0?
0
Let f be (-8)/(-20) - (-21)/(-40). Is f bigger than -1?
True
Let d = -16486/7 - -16176/7. Let n = d - -44. Let w be 0/(-1 + 2)*-1. Is w at least as big as n?
True
Let u = 18 - 15. Let w be (3/(-10))/((-9)/(-12)). Is w greater than u?
False
Let q = -0.9 - -0.2. Which is bigger: -0.1 or q?
-0.1
Suppose 2*j = -z + 9, 6*z - 13 = -2*j + z. Suppose 0 = -3*f + 3*i + 3, 4*i = 2*f + f. Is f < j?
False
Suppose -4*h - 1 + 13 = 0. Suppose -h*y = y. Is -1/2 smaller than y?
True
Let x = -762/5 + 152. Which is smaller: x or -73?
-73
Let y(k) = 2*k + 1. Let b(x) = -5*x - 3. Let o(j) = -3*b(j) - 7*y(j). Let h be o(2). Suppose -h*p + 4 = -6*p. Is p not equal to 0?
True
Let w = -4.05 + 4. Let l = w + -0.99. Let b = l + 0.04. Is -1 != b?
False
Let x = -155/8 + 673/24. Is x equal to 8?
False
Let z be (-6)/4*8/(-12). Let n(k) = -2 + z + k**2 - 3*k + 0. Let y be n(3). Is y <= 0?
True
Let g = -25 - -149/6. Is g bigger than 0.7?
False
Let f be 16/(-10)*25/10. Is f < -2?
True
Let t be ((-2)/5)/((-6)/30). Let b be ((-3)/t)/(4/(-8)). Let k be ((-7)/b - -3)*3. Do k and 7/4 have the same value?
False
Suppose 3*a - 50 + 13 = -5*j, -j = -5*a + 15. Suppose a*l = -l + 10. Suppose g = -l*g. Is g <= 3?
True
Let s(y) = y**3 - 7*y**2 + 5*y - 4. Let f be s(6). Let r = f + 11. Which is smaller: 2/53 or r?
2/53
Let c = 40 + -25. Which is bigger: c or 16?
16
Let a = 17.2 + -3.2. Let y = 15 - a. Let c = 3 + -3.2. Which is greater: c or y?
y
Let b = 1 - 1. Let o be b - -2 - (-36)/(-14). Suppose -2*r - 8 = 2*r - 4*w, -4*r = 4*w - 8. Which is smaller: o or r?
o
Suppose -2*c + 4*o = -3*c - 13, 0 = 5*c - 5*o + 40. Which is smaller: c or -4?
c
Let j be 4/10 - 52/(-20). Suppose d - 5 = j*g - 3, -5*d = -25. Which is smaller: g or -2/5?
-2/5
Let d be (-9)/15 + (-1)/(-1). Which is greater: 0 or d?
d
Let f be (-52)/(-20) + (-2)/(-5). Suppose f*v + 3 = 2*v. Which is smaller: -2 or v?
v
Let i = -4 - -6. Let y(p) = 3 + p**i + p + p + 2*p. Let q be y(-4). Is q less than or equal to 1?
False
Let n be 1/4 - (-7)/4. Suppose 5*d - 20 = d, 5*k = -n*d + 10. Suppose 5*r + 3 + 7 = 0. Which is smaller: k or r?
r
Let y be (-31)/(-66)*2 - 1/1. Is y greater than -1?
True
Let f(m) = 7 + 3*m - 8 - 4*m. Let p be f(-2). Which is greater: p or -1/11?
p
Let s be (-4)/(-14) + (-132)/(-28). Let b = s - 2. Suppose -b*l + 8*l + 12 = 3*v, -v - 13 = 4*l. Which is bigger: -7/3 or l?
-7/3
Let a(s) = -s**2 - 4*s. Let c be (16/20)/(1/(-5)). Let r be a(c). Is 1/3 bigger than r?
True
Let k(o) = -2*o. Let b be k(2). Let g(d) = d**2 + 4*d - 5. Suppose 7*w - 8*w = 4. Let c be g(w). Which is smaller: c or b?
c
Let s = 288 - 174. Let r be -2 - 1 - s/(-42). Do 0.2 and r have the same value?
False
Let o(c) = -c**2 + 7*c - 7. Let z = -1 + 5. Suppose -z*j + j = -15. Let q be o(j). Is q at most as big as 3?
True
Let l be ((-2)/(-95))/((-1)/5). Let v = -23/108 + -1/27. Which is smaller: v or l?
v
Let v = 1.4 + -0.4. Let o = -0.2 + v. Let q = o - 0.5. Are q and 2/7 equal?
False
Suppose -4*z + 4 = -4*d, 2*z + 4*d + 12 = -2*z. Let v be (-4 + 5)*(0 + z). Which is smaller: -3 or v?
-3
Let l(z) = -3*z - 6. Let q = 0 - 4. Let b(a) = -4*a - 5. Let x(s) = q*b(s) + 5*l(s). Let w be x(8). Which is bigger: w or -2/3?
-2/3
Let p = 88 + -44. Let x = p + -574/13. Which is bigger: 1 or x?
1
Let j(m) = m - 9. Let w be j(-7). Let v be (-4)/w + (-3)/12. Which is smaller: 3 or v?
v
Suppose g = -3*h + 14, 2*g - 34 = -0*g - 4*h. Is 25 greater than or equal to g?
True
Let q = 14 - 30. Is -15 smaller than q?
False
Let u(h) = 2*h**3 + 4*h**3 - 7*h**2 - 5*h**3 - 5*h - 5 - 3*h. Let p be u(8). Which is greater: p or -6?
p
Let z(b) = -b + 11. Let a be z(6). Let t be 8/(-14)*(-7)/a. Do t and 2 have the same value?
False
Suppose 16*c = 13*c + 27. Which is bigger: c or 10?
10
Suppose 6*w + 112 = -38. Is -24 less than or equal to w?
False
Let b(r) = -r**2 - 7*r + 9. Suppose 33 = -4*k + 1. Let s be b(k). Is -0.2 less than or equal to s?
True
Let q = 3 + -1. Let t = 711591 - 215611865/303. Let d = t - 2/101. Which is greater: q or d?
q
Let c = 10 + -2. Suppose -p - c + 10 = 0. Is 9 less than p?
False
Let g(m) = -m**2 - 7*m - 2. Let v be g(-6). Let h be (-76)/40*2 + v. Which is bigger: -1 or h?
h
Let n = 3067/323 - 165/17. Which is smaller: 1 or n?
n
Let b = -4 + 8. Suppose -b*x - 8 = -8*x. Let r be (-12)/8*(-2 - 0). Which is greater: r or x?
r
Let c = 7 + -4. Suppose t = c*t. Is -5/6 >= t?
False
Let q = 0.2 - -0.8. Are -1 and q nonequal?
True
Let x = -6.9 + -0.1. Let k = x + 15. Which is smaller: k or -2/7?
-2/7
Let i = 182 + -164. Is i less than 16?
False
Let o = 1.63 - -0.37. Is o greater than -2?
True
Let c = 16/9 + -29/18. Which is greater: c or 0?
c
Suppose -15 + 5 = 5*q. Let c(u) be the first derivative of u**2/2 - 8*u - 1. Let p be c(7). Is q <= p?
True
Suppose 9*p - 6*p = 0. Suppose p = -5*g + 13 + 7. Which is smaller: 1/5 or g?
1/5
Let v(s) = -5*s**2 + 2*s + 2. Let r be v(2). Is r < -14?
False
Suppose -19*f = 686 + 1233. Is f greater than or equal to -100?
False
Suppose k - 3*k - 14 = 0. Let h = -3 - k. Which is greater: 0 or h?
h
Let s = -2045/9 - -228. Is s >= 0?
True
Let s = -0.89 - 1.15. Let j = -0.09 - -0.05. Let a = j - s. Is 0.2 > a?
False
Let l(c) = c**2 - 5*c - 3. Let v be l(6). Suppose 15 = -0*j - j + i, v*j - i + 35 = 0. Let o be j/25 + (-2)/10. Which is greater: o or 1/3?
1/3
Let c = 39 + -10. Is 29 greater than c?
False
Let g(u) = -3*u - 2. Let h be g(-9). Let c = -23 + h. Which is smaller: 3/4 or c?
3/4
Let h = -9 - -3. Which is bigger: 1 or h?
1
Let s be (9 + -10)/((-1)/83). Let f = 335/4 - s.