 s >= -0.1?
True
Suppose -m + 0 + 2 = -5*l, 5*l + 5*m + 20 = 0. Are 1/39 and l equal?
False
Let q be (6/(-15))/((-519)/165 - -3). Is q smaller than -2?
False
Let y be ((-2)/(-3 + 1))/3. Is y less than 0?
False
Let y = -109 + 107. Is 1 at most as big as y?
False
Let l = -21 - -15. Let o be 6 + l - (4 + -1). Is -3 equal to o?
True
Let u(x) = 4*x - 2*x**2 + 3*x - 9 + 2*x**2 - x**2. Let c be u(4). Let m = 13/9 - -11/9. Is m < c?
True
Suppose -6 + 12 = -2*q. Which is bigger: q or -2?
-2
Let g be 5/2*(-304)/(-95). Let x(i) = -i**2 + 8*i - 5. Let k be x(5). Let s be (-24)/k*10/(-3). Is s >= g?
True
Let o = -1 - -0.7. Let j = -13.9 + 14. Let u = o - j. Is 1 != u?
True
Let n = -3.1 - -3. Let q be 4/(-16) - 2/(-16). Is n less than or equal to q?
False
Suppose 6*d = -10*d - 1136. Is d less than -71?
False
Let l = 13 + -9. Suppose -6*f - l*h = -3*f + 18, 5*h = -2*f - 12. Which is bigger: -5 or f?
-5
Let h be (-2)/(-8) - (-17)/(-100). Let l be ((-4)/12*0)/(-2). Which is greater: h or l?
h
Let m(n) = n**3 - 4*n**2 + 4*n - 1. Let w be m(3). Suppose -w*v = -v. Suppose v = 2*q - 2*p - 2, 5*q - 7 = 5*p - p. Which is smaller: 1 or q?
1
Suppose 3*t = -0*t + p + 4, 2*t - 3*p = 5. Let l(f) = 1 + 7*f**2 + 8*f - t - f**3 + 0. Let y be l(8). Which is bigger: y or -3/11?
y
Suppose -7 + 2 = l. Does -5 = l?
True
Let u = 1/2 + -13/18. Which is greater: -1 or u?
u
Suppose -o - 3*o = 0. Suppose 2*a + 144 = -o*a. Let q be (-1 - 9)*6/a. Which is bigger: q or 2?
2
Let b(n) = -n**3 + 15*n**2 + 6*n + 6. Let l be b(15). Is 95 at most l?
True
Let q(g) = g**2 - 8*g + 11. Let t(d) = -5*d**2 + 41*d - 56. Let h(m) = 11*q(m) + 2*t(m). Let x be h(7). Let s be (2/x)/((-9)/6). Which is bigger: 1 or s?
1
Let v = 24 - 47/2. Which is smaller: -0.18 or v?
-0.18
Suppose q - 6*o - 2 = -2*o, 0 = -q - 5*o - 7. Which is smaller: q or -1/5?
q
Let u = -13 + 24. Are u and 0 equal?
False
Suppose 0 = z + 4*z + 5. Let d be 6/(-9) + 112/150. Which is smaller: d or z?
z
Let m be 6/(-18)*2*3. Let h be 2/(-6) + m/6. Is -2 at least as big as h?
False
Suppose -5 - 15 = -5*s. Suppose 6 = i - s*i. Which is smaller: 1 or i?
i
Let h = -3/41 - 29/164. Is 10 >= h?
True
Suppose 35 = -6*d + d. Let o = -3 - d. Let w = o - 6. Which is bigger: -3 or w?
w
Let w = -110 - -1981/18. Which is smaller: 1 or w?
w
Suppose -p + 6*p = 20. Suppose 10 = l - 1. Suppose l = -d - c + 5*c, 17 = d + 3*c. Which is smaller: p or d?
p
Let z be (4/(-16))/((-11)/(-64)). Which is smaller: z or 0?
z
Let t = -120 + 119. Which is smaller: t or -4/9?
t
Let i = 2.4 + -0.4. Let y = -1 - i. Let c = y - -3. Which is greater: c or -3?
c
Let o = 8.5 - 9. Let y = 0.3 + o. Let c be (2/4)/((-2)/(-4)). Is c != y?
True
Let u(k) = k**3 + 7*k**2 - 7*k + 5. Let r be u(-8). Which is greater: 5 or r?
5
Let f = 10 - 9. Let o = 144919/7 - 20791. Let q = o - -88. Which is greater: f or q?
f
Let a = -11.7 - -1.7. Which is greater: -1 or a?
-1
Suppose 0 = -3*v + 5*j + 22, 4*j + 11 = -9. Let y(c) = -7*c**2 + 2*c - 3. Let s be y(3). Let r = s + 416/7. Which is smaller: v or r?
v
Let s = 20 - 15. Which is bigger: -12 or s?
s
Let i be ((9/(-4))/(-9))/(10/16). Which is smaller: i or 3?
i
Let m(v) = -2*v - 1. Let y be m(-1). Suppose 0 = -o + 5*o. Which is smaller: y or o?
o
Let i = 0.24 - 0.54. Which is greater: i or -0.4?
i
Suppose 5*a + 2 = 5*r - 23, 3*r + 2*a + 10 = 0. Suppose r = 4*o - 0 + 4. Is -1 greater than o?
False
Let n(k) be the second derivative of -1/6*k**3 - 1/6*k**4 - 1/20*k**5 + 2*k - k**2 + 0. Let h be n(-2). Are h and 1 nonequal?
True
Let u = 6 + -14. Which is bigger: -10 or u?
u
Let q = 2.2 - -7.8. Suppose -5*h - 1 = -6. Are h and q unequal?
True
Let d be -7 - 2*2/(-4). Let v(a) be the first derivative of -a**2/2 - 9*a - 2. Let o be v(d). Is -2 at least o?
True
Suppose 5*h + 3*p - 16 = 2*p, 5*h + 3*p - 18 = 0. Suppose -4*i = -5*w + 21, 0 = h*w - 3*i + 7*i + 13. Let c = -1.8 + 2. Which is smaller: w or c?
c
Suppose -4*h - 3 = -h. Let t be 6/(-22)*8/(-12). Which is smaller: h or t?
h
Let m = -1591/354 + -1/177. Do m and 0 have the same value?
False
Let h be ((-12)/16)/((-2)/(-8)). Let s = -2 - h. Is s bigger than -2/5?
True
Let z(k) = -k**2 + 8*k - 7. Let d be z(7). Suppose -5*j + 2*h + 3 = 0, -5*j = -h - d*h - 4. Which is bigger: j or 2/7?
j
Let c(f) = -5*f - 17. Let a be c(2). Which is bigger: a or -26?
-26
Suppose -557 = -9*k + 46. Is 67 less than k?
False
Let l = 3 - 0. Let m = 7 - 11. Let p be m/(-6)*3 + 1. Are p and l non-equal?
False
Let w(t) be the second derivative of -t**3/6 + 6*t**2 - t. Let r be w(6). Suppose -r*o = -o + 5. Which is smaller: -2 or o?
-2
Let p = -2187/11 - -199. Let y = 4 - 4. Suppose -2*a + y*a = 2. Which is bigger: p or a?
p
Let j(x) = x**3 - 3*x**2 - 6*x + 4. Let q be j(4). Let k(z) = z**2 + 5*z + 5. Let n be k(q). Is 2/5 at least n?
False
Suppose -1099 = -5*a + 1936. Let z = 4847/8 - a. Let x = z - -7/8. Which is smaller: -1 or x?
-1
Let v be 8/6*147/(-516). Let a = 2/43 + v. Which is smaller: a or -0.3?
a
Let j = -66144/7 - -8130931/861. Let r = j - 32/41. Let w = r + 59/9. Is 1 greater than w?
True
Suppose -9*n - 64 = -n. Which is smaller: n or 2?
n
Let c be -3 - (-2 + -13 + -1). Which is smaller: c or 14?
c
Let l = 89 + -359/4. Let r be 2/7 - (-9)/(-7). Which is smaller: r or l?
r
Suppose 2*p - 35 = -3*p. Suppose 3*f - 34 + 10 = 0. Which is smaller: f or p?
p
Let s = 463 + -4162/9. Which is bigger: -0.4 or s?
s
Suppose v - 5*y + 16 = -13, -5*v - 4*y - 29 = 0. Are v and -9 unequal?
False
Let p be 5 + (-184)/37 - 0/(-1). Which is smaller: 0 or p?
0
Let f be 2/3*2/10. Do 1 and f have different values?
True
Let x be 1/(-1) - -2 - -1. Let v = 1 - 1. Suppose v*z = -z + 1. Which is smaller: z or x?
z
Let x(p) = p + 2. Let l be x(0). Suppose 0 = -24*n + 27*n. Is l >= n?
True
Let a = -10 + 7. Are a and -6 equal?
False
Let r be 0 - (96/(-28) - 0). Is r != 4?
True
Let d = -757 + 1451/2. Let x = 31 + d. Which is smaller: x or -1?
-1
Suppose 3*u - 2*b - 7 = -6*b, b - 6 = -5*u. Let c = u - 1. Let z(w) = w**3 + w**2 - 4. Let s be z(c). Is s at most -5?
False
Let t = -65 - -45.7. Let l = t + 19. Is 3 not equal to l?
True
Let m = -43 + 41. Which is smaller: 2 or m?
m
Let i(n) = -n**3 + 8*n**2 - n + 10. Let d be i(8). Let b(w) = -w**2 - 4*w - 3. Let p = 3 + -5. Let s be b(p). Are d and s unequal?
True
Let q = -0.21 - -0.76. Let h = 0.5 - q. Let u = 1.12 + -0.12. Which is smaller: h or u?
h
Let o = 60 + 34. Is o less than 95?
True
Let b = -0.98 + 0.48. Which is bigger: b or -1/16?
-1/16
Suppose 2*q - y + 4 = 2, 0 = 3*q + y - 2. Let v = 2.8 + 0.2. Is v at least q?
True
Suppose 2*c = 4*p - 6, c + 4*p - 13 = 4*c. Which is smaller: -6 or c?
c
Let h = 1.11 + -0.21. Which is smaller: -2 or h?
-2
Suppose -7 = i - 11. Let n be i/14 + 46/(-14). Is -7/2 >= n?
False
Suppose 0*u - 2*u = -12. Suppose -u*h = -h - 30. Which is smaller: h or 4?
4
Let p(m) = -2*m + 2. Let i be p(1). Let o = 2/31 + -72/155. Is o smaller than i?
True
Let y = -34 - -35. Which is smaller: -2 or y?
-2
Let l = -4 - -9. Let j be 2/l - 3/(-5). Which is bigger: j or 5?
5
Let y = 12751/7 + 856/21. Let n = 1823 - y. Let z = n + 39. Is 2 smaller than z?
False
Let k be 3*15/27 - 1. Suppose 3*b + n + 2 = -0*b, 4 = -4*b - 2*n. Let x be ((-3)/(-6)*b)/(-1). Which is smaller: x or k?
x
Let z be (0 - -1)/(-5 + 0). Which is smaller: 0.01 or z?
z
Let u be ((-44)/6)/11*(-12)/34. Is u at least as big as 1?
False
Let j(q) = q**2 - 3*q + 1. Let p be j(2). Let w be (-60)/(-144)*(-16)/6. Which is smaller: p or w?
w
Let m(b) = -25*b - 13. Let o be m(-2). Which is smaller: 39 or o?
o
Let x(u) = -u**2 - 8*u - 5. Suppose v + 5 = -0*v. Let k be x(v). Do k and 11 have different values?
True
Let o be 4/(6/3*1). Suppose 14 = o*h + 5*n, 0*h - 5*h - 4*n = -18. Let d be h + -4 - 50/(-15). Which is smaller: d or 1?
1
Let c be (19/(-57))/(13/(-6)). Is c equal to -3?
False
Let j = -61 - -159. Does j = 97?
False
Suppose -30 = 3*u + 3*r, 0 = -5*u + 4*u + r. Let k be (3 + -6)*4/3. Is k at least u?
True
Suppose 0 = 6*w - 5*w + 23. Which is smaller: w or -24?
-24
Let y(a) = -a**2 - 4*a + 5. Let q(g) = -g**2 - 4*g + 5. Let o(k) = 5*q(k) - 4*y(k). Let z be o(-4). Which is bigger: 4 or z?
z
Let c = -1/5 - 3/10. Let m = 5.4 - 5. Let t = m - 0.6. Which is greater: t or c?
t
Let z(v) = v**2 + 5*v + 3. Let g be z(-6). Le