f less than or equal to -1?
False
Suppose -2*z + 1 = 3*s - 2, -5*z = -3*s + 3. Suppose -5*k - 4 = -4*n + s, 0 = 5*n - 4*k - 4. Is 1 at most n?
False
Let u = 86 + -84.98. Let q = u - 0.02. Is q less than -3?
False
Let f(s) = 3*s + 1. Suppose 4*q - t - 13 = 0, -3*q - t = 2 - 3. Let y be f(q). Let c = 15 + -8. Is y != c?
False
Let o(a) = -5*a**2 - 11*a - 6. Let v(r) = 4*r**2 + 10*r + 5. Let k(f) = -3*o(f) - 4*v(f). Let z be k(-7). Is z at least -1?
False
Let g = 8.02 + -8. Let n = g - -0.08. Which is greater: n or 0?
n
Suppose 2*d = -2*n + 6, -5*d + 2*d + 4*n = 5. Let k = 3.28 + -0.28. Which is smaller: k or d?
d
Let i(f) = -4*f**2 - 6*f - 3. Let p be i(-5). Is p < -74?
False
Let p(v) = 2*v. Suppose -5*f - 6 = 2*j - 1, -3*f + j = 3. Let g be p(f). Suppose 0 = -0*x + x + 2. Does g = x?
True
Let u = -6 + 15. Let i(n) = -n**3 + 8*n**2 + 9*n. Let m be i(u). Suppose 5*f + 15 = -m. Is -4 at most f?
True
Let u = -0.31 - -0.01. Let b = -0.1 - u. Let g = -1 - -0.8. Is g > b?
False
Suppose 0 = -2*b - 4*g, b + 2*b - 50 = 4*g. Let f be b/22*(-6)/(-15). Suppose -w = -4*n - 16, -w + 1 = -n - 3. Is w less than or equal to f?
True
Let r = -17 + 30. Are 13 and r unequal?
False
Let o = -27/7 + 57/14. Let x(v) = -v**3 + 8*v**2 + 8*v + 8. Let r be x(9). Which is bigger: o or r?
o
Let f(y) = -y - 2. Let l be f(-2). Let n be (-7)/21*(4 + 0). Is l < n?
False
Suppose 3*x - 30 = 5*q, 4*x - 23 = -q - 6. Which is greater: -5/3 or q?
-5/3
Let q = 0.019 - 3.019. Is q <= 1.9?
True
Suppose -4*d = -5*p - 9, -5*d + 0 = -5*p - 10. Let i = 505/6 + -84. Do p and i have the same value?
False
Suppose 2*b = b - 1. Let h be -2 - 22/(-14) - 0. Which is bigger: b or h?
h
Let j be (-2)/(-6) - 8/6. Is -2/7 at least j?
True
Let j(b) be the second derivative of b**6/360 - b**5/40 + b**4/12 + 2*b. Let x(o) be the third derivative of j(o). Let c be x(2). Which is smaller: c or -1?
-1
Let q be 0 + -1 - 0/2. Let b be (-6)/4*(2 - 4/6). Which is greater: q or b?
q
Let w = -207 - -155. Is -50 greater than w?
True
Suppose y - 4*p = -17, -5*y + 1 = 4*p - 10. Let q = 1 - 7. Are y and q non-equal?
True
Let u(s) = 3*s - 3. Let i be u(0). Let r be 90/23 + 12/i. Which is smaller: -1 or r?
-1
Let m(s) = -2*s - 5. Let t be m(-2). Which is greater: t or -4/3?
t
Let a = -26 + 26.19. Let g = -0.11 - a. Let l = -3 + 1. Which is bigger: l or g?
g
Let w = -42 + 41. Which is smaller: w or 1/3?
w
Suppose c = 2*r - 7, -2*c + 0*c - 2*r + 4 = 0. Which is smaller: -4 or c?
-4
Let h be 0 + 0 + -2 + 4. Let y(z) = -2*z + 6*z + 1 - h*z - z. Let f be y(-1). Is -1/5 less than or equal to f?
True
Let w be 3/12 - 0/2. Let b = -18 - -11. Let v = -6 - b. Is w greater than or equal to v?
False
Let r(n) = -n + 3. Suppose -5*w - 3 - 2 = 3*q, -3*q - 3*w = 9. Let c be r(q). Is c <= 0?
False
Suppose -2*b = 2*b. Which is greater: -7/9 or b?
b
Let u(d) = -d**3 + 8*d**2 - 3*d + 11. Let l be u(8). Which is bigger: l or -12?
-12
Suppose 3*p - 2*p + 1 = 0. Let h = 236 - 2598/11. Is h less than or equal to p?
False
Let b(c) = c + 9. Let q be b(-8). Are q and -1/9 equal?
False
Suppose 0 = -2*b - 2*b + 12. Let x(o) = o - 1. Let f be x(2). Is b greater than or equal to f?
True
Let t = -4 + 2. Let l = 2 - 2. Which is greater: l or t?
l
Let n = -1270 + 3892/3. Let y = -28 + n. Let a = 0.01 + 0.39. Which is smaller: y or a?
y
Suppose 0*x + 3*f = 5*x + 107, -x - 11 = 2*f. Is -17 smaller than x?
False
Let h be (-16)/(-7) - (-4)/(-14). Suppose 4*f + 30 = h*f. Let i be 9/f - 2/(-5). Which is greater: i or 0?
0
Suppose 0 = 2*o - 4*g, -2*o + g + 45 = 3*o. Let b be 3 - (o + -4) - -6. Is b <= -2?
False
Suppose 38 = -2*x + 3*q, -2*x = 4*q + 1 + 23. Let b = x + 36. Suppose b = -0*i + 5*i. Which is smaller: 3 or i?
3
Suppose 14*t + 28 + 0 = 0. Is 45 > t?
True
Let p be ((-18)/(-5))/(22/55). Is 12 less than p?
False
Suppose -7*r = -0*r - 938. Is r at least 134?
True
Suppose -p + 3 = -4*h, -h + 5*h + 8 = -4*p. Let t = 191/1479 + -1/87. Let o = 24/85 + t. Which is bigger: h or o?
o
Let j be (-27)/60 - 3/(-12). Suppose -b - 2*b = 0. Which is smaller: b or j?
j
Let f = 18 + -15. Let y be (f + 135/(-48))/(-1). Is y less than -1?
False
Suppose 7*q - 2*q = -3*u + 85, 2*u - 2*q = 46. Let a = u - 49/2. Let y = 0.8 + -0.9. Is y at least as big as a?
False
Suppose -5*q = 20, -2*p - 3*q - 3 = 45. Let x be (-4)/p + 19/36. Let r = -4/47 + 63/188. Is r > x?
False
Let d = -35 + 41. Are 2/5 and d non-equal?
True
Let o = -9 - -7. Let l(a) = -a**3 - 3*a**2 + 2*a + 3. Let t be l(-3). Let j = -4 - t. Is j greater than or equal to o?
True
Suppose v - 3*v = -4*d + 6, -4*d + 9 = v. Which is greater: v or -4?
v
Let y = 6 - 6. Let w = -1.7 + 3.7. Which is smaller: w or y?
y
Let z = -21 - -20. Which is bigger: -5 or z?
z
Let g be (3/(-8))/((-33)/22). Let o be ((-2)/(-6))/((-1)/3). Let y = o + 2. Which is smaller: g or y?
g
Let x be 1*2/3*6. Suppose -4*j + 28 - x = -2*p, 4*p = 3*j - 28. Suppose -j*k - k = 5. Is 1/3 less than k?
False
Suppose 3*i + v = 7, -2*i = i - v - 11. Suppose 0 = -2*t - i*p - 9, -t - 5 - 2 = -p. Let q be -7*((-15)/5)/(-3). Is t at most as big as q?
False
Suppose -2*c - 8 = 0, -2*c - 9 = -3*f + c. Let b(z) = -2*z. Let k be b(-2). Is k <= f?
False
Let q(w) = -w + 5. Let n be q(0). Suppose 4*r + 20 = -r - 2*s, -10 = -n*r + 4*s. Is r bigger than -1?
False
Let h be (-268)/(-6) + 8/(-12). Let i = h - 131/3. Which is greater: i or -1?
i
Let h be (-4)/6*42/308. Which is smaller: -1 or h?
-1
Let d = -0.7 - -1.7. Which is greater: d or -2?
d
Let d be ((-1 + -1)*-5)/2. Suppose -d*o = 4*f + 25 - 1, 4*o = 2*f - 14. Is 1/4 at least as big as f?
True
Suppose 0 = 2*a - 0*a - 2*w + 6, -4*a + 28 = 4*w. Suppose a*g = 4*g - 10. Which is smaller: g or 4?
4
Let d be 4/10 - (-12)/(-5). Is -10 bigger than d?
False
Let v be 29*2/(-10) + 5/(-25). Which is smaller: -4 or v?
v
Suppose -2*a + 4*m - 9 = -3, 0 = -m + 4. Suppose -a*q = 42 - 17. Do q and -3 have different values?
True
Let i(f) = f**2 + 2*f + 3. Let r be i(-2). Suppose 5*k - 4*y = -r*y + 16, k + 5*y = 24. Which is smaller: k or 2?
2
Let u(h) = 2*h + 2. Let s(c) = -1. Let z(m) = -4*s(m) + u(m). Let p be z(-5). Let n(y) = -y**3 - 5*y**2 - 3*y + 3. Let k be n(p). Which is smaller: k or 0?
k
Let m = -123 - -1725/14. Suppose 3*y + 1 = -2*z - 0, -y - 2*z - 3 = 0. Is y smaller than m?
False
Let z be -24 - (4/3 + -2). Let y = -24 - z. Let j = -0.3 - -0.3. Which is smaller: j or y?
y
Suppose -5*p - 77 = 13. Is -2 greater than or equal to p?
True
Let b = 2 + -2.12. Let h = b + 0.02. Let g(k) = -k**2 + k + 1. Let y be g(-1). Which is smaller: h or y?
y
Let p(f) = 2*f + 1. Let n be p(2). Let d(t) = 5*t**3 - 2*t**2 + 1. Let v be d(1). Is n at least v?
True
Let g be -1 - (-3 - (-1 + 1)). Let w = -5 + g. Let d = w + 9. Is 6 equal to d?
True
Let f = 0 + 2. Let u be ((-8)/14)/(4/f). Let y = 0 - -1. Does y = u?
False
Let f be -4 + 1*(1 - -2). Is f smaller than 4/21?
True
Suppose -o = -4*o + 12. Let x = 5 - o. Let m = 0 + x. Are 0 and m non-equal?
True
Let p be 9/6*12/63. Does p = 1/4?
False
Suppose 4*v - 6*v - 2 = 0. Let y(i) = -4*i**2 - i - 2. Let s be y(v). Are -4 and s nonequal?
True
Suppose 7*f + f - 8 = 0. Is 0.3 greater than f?
False
Suppose 4*r = 3*g + 51, 4*r - 8*g + 3*g = 61. Let j be 102/(-14) - (-2)/7. Let p = j + r. Is 1/4 less than or equal to p?
True
Suppose -d - 12 = -10. Which is bigger: -12/5 or d?
d
Let m = -8.6 - -1.6. Let h = -70 - -63. Let b = m - h. Is -8 equal to b?
False
Let s = 333/24940 + -1/580. Which is greater: s or -1?
s
Let v = 29 + -23. Suppose 2*c - 20 = -5*r, -5*c + 14 = 5*r - v. Which is smaller: c or 3/4?
c
Let f = -3 - -6. Suppose o + 1 = -f*c, c + 5*o - 5 = 2*o. Let r be (-4 + 3)*c/(-5). Which is greater: r or 0?
0
Suppose 28 = 4*w + 8*p - 4*p, 4*w - p = 8. Which is smaller: w or -0.4?
-0.4
Let k = -53 + 21. Which is bigger: k or -0.2?
-0.2
Let n = -27 + 28. Let g = -0.3 - -0.2. Is g >= n?
False
Let o = -7 + 27. Which is greater: 21 or o?
21
Let y = -1.47 - -1.5. Do y and 0 have different values?
True
Let g(t) = -t**3 - 4*t**2 - 5*t - 4. Let l be g(-3). Suppose -3*q + 78 = 5*u, 5*u = l*q + 21 + 52. Let p be 3/u + (-48)/(-10). Is 5 at least p?
True
Suppose -2*s + b = -3*b - 2, b - 17 = -3*s. Do s and 4 have the same value?
False
Let v = 16.07 - 16. Let f = v - -0.03. Which is smaller: f or -1.1?
-1.1
Let x = 