(-16)/8). Which is greater: -1 or w?
w
Let f be (-10)/5 + -1 + 5. Let q(x) be the second derivative of x**3/3 - 3*x**2/2 - x. Let k be q(f). Is k bigger than 0?
True
Let y = 1 + 7. Let v = 8.2 - y. Is -5 < v?
True
Let u(n) = n**2 + 3*n - 18. Suppose -5*i - 7 = 23. Let q be u(i). Is -2/15 at least as big as q?
False
Suppose 38*k = 34*k. Let d be 2/(-5) - 116/(-140). Is d at most as big as k?
False
Let o = -35.14 + 34. Let c = o - -0.14. Let d(l) = -l**2 - 5*l - 2. Let f be d(-3). Which is smaller: c or f?
c
Let w = -25/7 - -104/35. Suppose -4 = 3*g - 4*v + 1, 3*v = 5*g - 10. Suppose 2 = k + 5*j - 7, 3*j - g = -k. Which is smaller: k or w?
k
Let n be (-2)/4 + (-2)/4. Let w = 159/22 + -12495/1738. Let t = -203/1185 + w. Which is smaller: t or n?
n
Let a be (-3)/(-4) - (-3)/12. Let v be (3 - (a - 0)) + -2. Suppose v = 5*q + 2*p + 5, -3*p = -4*q + 2*p + 29. Is -1/9 less than q?
True
Let m be (-4)/(-6) + 21/9. Let b be 1/((-81)/(-258)) - m. Let w = b + 1/27. Is w less than or equal to 1?
True
Let m(k) be the first derivative of -k**5/120 + k**4/3 - k**3/3 - 2. Let b(c) be the third derivative of m(c). Let h be b(8). Which is smaller: 2/3 or h?
h
Let r = 2 - -1. Which is smaller: 4 or r?
r
Let x(d) = -2*d - 6. Let v be x(-4). Let p(u) = u**2 + 5*u + 2. Let w be p(-5). Suppose -5*y = -2*o + 3 - 21, -3*o + 11 = w*y. Are o and v non-equal?
True
Let s be ((-2)/(-5))/(3/45). Let b = -4 + s. Let u be 1 - (-6)/(2 + 1). Which is smaller: u or b?
b
Let c(v) = -5*v**3 + 2*v**2 - 9*v + 12. Let l(m) = 4*m**3 - m**2 + 8*m - 11. Let p(n) = -5*c(n) - 6*l(n). Let x be p(4). Is x at least as big as -6?
True
Let j = 0.8 - 6.8. Is -1/4 not equal to j?
True
Let k(p) = -p**2 + 5*p - 4. Let b be k(4). Is b at most as big as 6?
True
Let z = -35 - -106/3. Is z greater than 0?
True
Let l be 2 + 4/(-2) - 0. Let p be (-2 + (-2)/(-1))/(16 - 14). Do p and l have different values?
False
Suppose 5*c + 4*s = 353, c + s - 5*s - 61 = 0. Which is bigger: c or 68?
c
Let o(a) = a**3 - 9*a**2 - a. Let h be o(9). Which is greater: 1/4 or h?
1/4
Let a = -5 - -6. Is -1 not equal to a?
True
Suppose 3 - 6 = -3*o. Suppose 3*c - b - o = 10, -c - 5*b - 23 = 0. Does 5/7 = c?
False
Let d = 1.6 - 0.6. Let j = 3 - d. Let w = 3 + 0. Which is smaller: w or j?
j
Suppose 42*r + 1 = 43*r. Which is smaller: 8/35 or r?
8/35
Suppose -4*o - 3*l = -2*o + 2, o + 5*l = -1. Which is smaller: o or -2/9?
o
Suppose 41 = -6*n + 221. Which is bigger: 29 or n?
n
Let q(n) = -n**2 - 3*n - 2. Suppose -18 = 5*y + 2. Let i be q(y). Let u be (-3 - -2)/(2/i). Which is smaller: 1 or u?
1
Let z(j) = 2*j + 14. Let u be z(-17). Is u at least as big as -19?
False
Let x(f) = -f**3 + 16*f**2 - f - 5. Let q be x(16). Are -19 and q nonequal?
True
Let x = 1 - -14. Let i = x + -14.8. Do -4/7 and i have the same value?
False
Let u be ((-2)/(-2) + 20)*1. Let k be (7/u)/((-1)/3). Let w be k/(-28) + (-4)/(-16). Which is bigger: w or 1?
1
Let m be (2/15)/(15/(-45)). Is -3/20 > m?
True
Let a = -521/4 - -131. Let m(j) = -4 - 6 - 5 + 4 - j. Let u be m(-11). Is a greater than or equal to u?
True
Let x = -12 - -10. Let w be 4/(-3) - (-6)/9. Which is smaller: w or x?
x
Let l = -0.1 + 0.1. Let p be (-2)/(-10) - 2/(-20). Let z = 1/5 + p. Is z <= l?
False
Let f = 26 - 45. Let g = f - -13. Which is smaller: -24/5 or g?
g
Let l = -40 + 107. Is l at most 66?
False
Suppose 3*f + 27 = -2*j, j + 2*j = -9. Which is bigger: -6 or f?
-6
Let p be (5 + -3)/((-76)/(-46)) + -1. Let m(z) = -z + 13. Let q be m(12). Which is smaller: p or q?
p
Let j = -10 - -19. Let z be j/2*(-2)/1. Is -9 less than z?
False
Suppose 4*x - 5*b = 3 - 4, -b = 3*x - 23. Let c = x - 4. Is c at least as big as 5/4?
True
Let r = -35 + 43. Is 37/5 < r?
True
Let j be 6/9*(-15)/(-8). Let l = 5.04 - 0.04. Let n = -4 + l. Which is bigger: j or n?
j
Let f be (-3 - (-1 + 1)) + 123/(-41). Is f less than -26/5?
True
Let i(p) = -p - 8. Let k be i(-6). Let c be 1 + 1 + 0 + k. Suppose 7 = -m + a, -a + c = -2*m - 9. Is -2 bigger than m?
False
Suppose 4*y + 0*k = -4*k, 0 = -y - 5*k - 20. Let b(g) = -g + 5. Let w be b(y). Let c = w + 1. Is c >= 2?
False
Suppose -2*c + 0*p = -2*p, 0 = -5*c + 2*p + 6. Suppose 3*u + 36 = -3*r, -4*u + 6 = -c*r - 0. Let s(i) = -i**2 - 9*i + 1. Let l be s(r). Is l smaller than -1?
False
Suppose 0*o = 3*o + 2*d - 1, 0 = -2*o + 3*d - 8. Let t = o - -3. Suppose m - 5*c - 2 = 0, -m - c + 2 = t*c. Are m and 2 unequal?
False
Let s(j) = -4*j - 2. Let b be s(0). Which is smaller: 6 or b?
b
Let a = 7.7 + -8. Let t = -1.3 - a. Let m = 0 + t. Is 2 < m?
False
Suppose -4 = -4*i + 5*m, -2*m = -2*i + m. Suppose -3*x - 5 = -k - k, 5*x - k = -i. Let c be (2/24)/((-6)/16). Which is greater: x or c?
c
Suppose 0 = -5*u - 5. Which is smaller: -1/20 or u?
u
Let j = 16 + -14. Let d = -0.02 + 1.02. Let m = d + -0.8. Which is smaller: m or j?
m
Suppose 2 = g - 1. Let d be g/(-7)*12/(-9). Which is smaller: 0 or d?
0
Let n = -1/211 + -417/1055. Let y be (-1 + 26)*(-2)/(-5). Is y not equal to n?
True
Let i be ((1/2)/1)/((-7)/14). Which is smaller: 1/100 or i?
i
Let s = 31 + -31. Is 2/3 > s?
True
Let g(p) = 3*p**2 + 5*p + 4. Let m be g(-7). Let q = m + -4522/39. Which is smaller: -1 or q?
-1
Let c = -0.1 - 0.3. Let s = -14 + 6. Let m = -8 - s. Which is bigger: c or m?
m
Let s = 434 - 10847/25. Suppose 3*o = 9*o + 6. Which is smaller: s or o?
o
Let m be 7*((-54)/(-14) + -3). Let p be (2/m)/(6/6). Let v = 0.03 - 4.03. Is p equal to v?
False
Let u(l) = 3*l + 6*l**3 - 11*l**3 - 4*l**2 + 4*l**3 + 1 - 6. Let b be u(-5). Which is greater: b or 4?
b
Suppose 0 = -g + q + 2, 5*g + 20 = g - 3*q. Let z be 1666/5083 + g/13. Is z bigger than 1?
False
Let b be 1 + -2 + 1 - -37. Let g = -26 + b. Suppose 2*n + 2*t = n - 5, 4*n = -5*t - g. Which is smaller: 0 or n?
0
Let y = 44 - 24. Suppose -t - t + y = 0. Is 9 at least as big as t?
False
Let i be (-3)/(-5) + 132/(-420). Let w be (-3)/(-4) - 2/(-8). Let y be (0/(-2))/(-1)*w. Is y less than or equal to i?
True
Let k = -5 - -5. Let f(n) = -n**3 - 3*n**2 - 1. Let c be f(-3). Are c and k equal?
False
Let k be (-15)/5 + 349/(-5). Let j = 4019/55 + k. Which is smaller: j or -1?
-1
Suppose -2*g = 3*m + g, -5*m = g + 8. Let w be 4/14 - (-24)/14. Let p = w + m. Which is smaller: 2/3 or p?
p
Suppose 3*m - 4 = -m. Let l(b) = -3*b - 3. Let n be l(-2). Let a be 0 + (1 - n/5). Which is smaller: m or a?
a
Let w be (3/10)/(6/12). Let o be (-2)/(-4) - (-1 - -2). Which is bigger: w or o?
w
Suppose -z - u = -10, 5*z + u + 13 - 75 = 0. Is z > 14?
False
Let c = 26 + -26.2. Which is smaller: c or 5?
c
Let l = -97 + 101.1. Let j = -0.01 + -3.99. Let b = l + j. Is b smaller than -0.2?
False
Suppose 2*i + i = -5*m + 25, -2*m + 2*i - 6 = 0. Suppose m*z - 4 = -0. Suppose -6 = -4*r - z. Is 1 less than or equal to r?
True
Let i(v) = -v**3 + 7*v**2 - 8*v - 2. Let f be i(6). Is 1 greater than or equal to f?
True
Let t = -4 - 14. Is t >= -17?
False
Let i = 499 - 502.01. Let w = i - 0.07. Let v = -0.08 - w. Is v <= 0.2?
False
Let y = -3.8 + 3.8. Is y less than -22?
False
Let o = 0.06 + -0.23. Let n = 0.83 - o. Which is bigger: 11 or n?
11
Let u(p) = p + 10. Let n(b) = -2*b - 19. Let l(c) = -3*n(c) - 7*u(c). Let k be l(-12). Which is smaller: k or -2/21?
k
Let p be (-1 + (-1)/(-2))*(-48)/(-52). Is -2 < p?
True
Let p(m) = 2*m + 2 - 4*m + 3*m. Let c be p(-4). Which is smaller: c or -6/11?
c
Suppose -3*b + b - 8 = 0. Let n(l) be the first derivative of -l**3/3 - 11*l**2/2 - 12*l + 1. Let v be n(-10). Is b at most as big as v?
True
Let r(n) = n + 8. Suppose 4 + 3 = -d. Let q be r(d). Suppose -4*l - 3*b + 3 + 4 = 0, -3*l = 4*b - 7. Is l at least as big as q?
True
Suppose 4*k = 3*t - 3, -3*k - 2*t = -13 - 6. Suppose -k*g + 4 = 3*u + 25, -4*g - 26 = 3*u. Which is greater: -3 or u?
u
Let l = -0.1 - -0.1. Let y = l - -0.2. Let p = 0.8 + y. Is 1 bigger than p?
False
Let g be 3/6 - 3/2. Suppose l = 4*p + 8, -2*l = 3*l + 5*p - 65. Let t be ((-2)/l)/((-2)/(-8)). Which is smaller: g or t?
g
Suppose -1 - 5 = 3*f. Let q be f/(-5) + (-24)/(-15). Let g be 3/18*q - 1. Which is smaller: -1 or g?
-1
Let i(t) = -5*t + 1. Let m be i(0). Let q(h) = -2 + 0 - 3 + h. Let y be q(6). Do m and y have the same value?
True
Let i = 10 + -11. Which is smaller: 2/3 or i?
i
Let j = -0.52 + -0.08. Let g = -0.6 - j. Are -0.1 and g equal?