m(o) = -o**2 - 8*o - 8. Let u be m(-8). Let r be (4/8)/(38/u). Which is bigger: -1 or r?
r
Suppose 3*f + 1 = 4*w - 0, -4*w + 8 = 4*f. Let v be 0/(6/2 - w). Let c = 17/3 + -6. Is v not equal to c?
True
Let i be (-1)/(((-3)/36)/1). Suppose 2*y + 0*y = -4*x + i, 3*y + 15 = 5*x. Let q be -1*-2*1/(-10). Is y < q?
False
Suppose -1 = -48*c + 49*c. Let u be 0 + 1 + 1 - 1. Is c smaller than u?
True
Let l = 15 + -10. Suppose l = -i + 10. Let o(b) = -b**3 + 9*b**2 + 4. Let m be o(9). Which is smaller: i or m?
m
Let v be (((-30)/(-18))/(-5))/((-2)/(-6)). Let x = -15/8 - -119/72. Which is greater: v or x?
x
Let p = 0.5 - -3.5. Let z = -4 + p. Let l = 1 + z. Is 1/2 at least as big as l?
False
Let q be (4/(-76))/(4/(-16)). Which is smaller: q or -1?
-1
Let t(b) = 3*b + 0*b**3 - b**3 - 4*b**2 - 2*b + 4. Let r be t(-4). Suppose p + 2*k - 4 = 0, 3*p - 3*k - k = -18. Is r equal to p?
False
Suppose 4*h - h = 2*w + 19, -5*h - w = -10. Let s be (4/(-6))/((-6)/9). Which is smaller: h or s?
s
Suppose -8*b = -7*b + 80. Is -80 != b?
False
Suppose -w - v = 2 - 5, 3*v - 21 = 3*w. Let l = w - -2. Do l and 1/10 have different values?
True
Let h = 3.7 + -4.1. Which is bigger: 17 or h?
17
Let p = -1/5 + 17/35. Let z = -0.15 - -0.2. Is z equal to p?
False
Let d = -40 + 31.8. Let p = 2 - 10. Let r = d - p. Do r and -0.2 have the same value?
True
Let l be (-3)/(-3 - (-3)/2) - 3. Are 3/14 and l non-equal?
True
Suppose 3*p = 4*p - 2. Suppose p*u - 15 = 5. Is 10 < u?
False
Let o be (-1 - 4 - -3) + 3. Let k be -1*(-2 + o)*1. Which is smaller: k or -1/5?
-1/5
Suppose 3*u + 2*y - 160 = 3*y, 4*u + 2*y = 210. Is u bigger than 54?
False
Suppose -3*v + w + 58 = 3*w, 0 = -3*w + 15. Suppose -4*d + v = 2*u - 2, -4*d = -u + 15. Is u at least as big as 9?
True
Let i = -1 + 3. Let r = i + -1.8. Let t = -0.75 - 0.25. Which is bigger: t or r?
r
Let j = 3 + 3. Let n be ((-2)/3)/((-44)/j). Let u be -4*(-4)/(-8) + 6 + -5. Is u bigger than n?
False
Suppose 0 = 3*o + 31 + 275. Let q be o/(-216) + 2/(-8). Which is smaller: -0.5 or q?
-0.5
Let s be (4/(-6))/(2/(-3)). Let l = 2177/10 - 218. Is s equal to l?
False
Suppose -6*y + 2*y - 24 = 0. Is -4 != y?
True
Suppose -3*m - 5*z + 19 = 0, 3*m + 7 + 4 = z. Let g = 232/169 + 2/169. Let l = 28/39 - g. Do l and m have the same value?
False
Let t = 2/65 - -181/455. Suppose v + 5 = 6*v. Which is smaller: t or v?
t
Suppose 15 = n - 4*n. Let g = n + 10. Which is bigger: 3 or g?
g
Let t = 1.56 + 0.04. Let p = t + -3.6. Is p smaller than -2?
False
Let b = 7 + 21. Let u be (-6)/21 + 64/b. Let z = -415/4 + 105. Is u != z?
True
Let h(o) = o**2 - 6*o. Suppose 4*l = 13 + 7. Let y be h(l). Let r be (-4)/5*y/6. Is 3 greater than r?
True
Let g = -8 + 9. Which is smaller: 1/7 or g?
1/7
Let x = -2.8 - -3. Let g = x - 0.2. Let b(z) = z**2 + 7*z - 30. Let o be b(-10). Is o greater than g?
False
Suppose 0*l + 4*l = 0. Is 6/11 not equal to l?
True
Let d be (123/234)/(4/18). Let v = d - 21/13. Which is smaller: 0 or v?
0
Let u = 0.2 - 1. Let x = 19.1 + -20. Let z = x - u. Is 0.3 less than z?
False
Let v be (-3)/(-165)*(-10)/(-4). Let a be (3/(6/(-4)))/2. Which is greater: a or v?
v
Let k = -0.27 - 0.03. Let z = 6 + -6.3. Let q = k - z. Is 3 < q?
False
Let h(u) = -u**2 - 13*u + 13 - 2*u + 2*u + 5*u. Let z be h(-9). Is 3 less than or equal to z?
True
Let r = 15 + -59/4. Is r at most as big as -8?
False
Suppose -b + o = 0, -b - 4*b + 7 = 2*o. Are -2.4 and b equal?
False
Let o(b) be the second derivative of b**3/2 - 15*b**2/2 + 3*b. Let s be o(6). Do 4 and s have the same value?
False
Let b(h) = -14*h - 3. Let i be b(10). Let q = -1717/12 - i. Is 0 at most q?
False
Let q be -3 + (-26)/124*-14. Let m = -6 + 4. Which is bigger: q or m?
q
Let v(g) = g**3 - 6*g**2 + 7*g - 7. Let z be v(5). Suppose m = t + 2 - z, 2*t = 4. Let q be -4*(1 - (-10)/(-9)). Is q at least m?
False
Let p be ((-29)/(-5))/(2/(-5)). Let m = 3001/4 - 736. Let a = m + p. Which is smaller: a or 0?
a
Let c = 52 - 40. Do c and 10 have the same value?
False
Let q = -141/35 - -24/7. Let r(n) = -n**3 + 8*n**2 - 6*n - 8. Let f be r(7). Which is smaller: q or f?
f
Let o(b) = -b - 8. Let a be o(-6). Let t be -3 - -3 - 4/a. Let m = 148/219 + -2/219. Which is smaller: m or t?
m
Suppose 0 = -r - 4*u - 7, -5*u + 2*u - 12 = 3*r. Suppose 7*a = -11*a - 54. Is r at least as big as a?
True
Let n be ((-2)/(-2))/(3/(-15)). Let o be 5/(n/(-4)) + -2. Let i = 0 + 0. Do i and o have the same value?
False
Let y = 12/71 + 93/710. Let i = 14 + -13.9. Is i < y?
True
Let n be (-1)/(((-2)/(-4))/(-1)). Let b = 32.9 - 33. Which is greater: n or b?
n
Let p(k) = -k**2 + k + 1. Let j(r) = -5*r**2 - 2*r + 5. Let n(h) = -j(h) + 6*p(h). Let l be n(8). Is l less than or equal to -2/17?
False
Let d = 417 - 4577/11. Is 0 smaller than d?
True
Let k = 1.76 + -0.04. Let x = 0.18 + k. Let q = 2 - x. Is q less than -3/5?
False
Let b = 33 + -33.1. Which is bigger: -2 or b?
b
Let k be 10/35 + (-8)/14. Is k at most as big as 0?
True
Suppose 0 = -g + 2*g - 1. Let c be (-1)/5 - (2 + -3). Which is smaller: g or c?
c
Let s = 1912/20517 + 2/977. Let q be -1 - (1 + -1)/1. Which is smaller: s or q?
q
Let m = 0 + -1. Let f be (-2 - 1)*(6 - m). Let r be (-1 - -1) + 6/f. Which is smaller: 1 or r?
r
Let q be 2 + -1 - (-4)/(-3). Which is smaller: -2/11 or q?
q
Let n be ((-8)/10)/((-18)/135). Which is bigger: n or 1?
n
Suppose -4*z - 3*h - 7 - 1 = 0, -z + h + 5 = 0. Let q(k) = 3*k**2 - 1. Let t be q(z). Let m be t/8 - (-33)/(-36). Which is smaller: m or 0?
m
Let f(d) = -5*d + 15. Let k be f(5). Is k equal to -48/5?
False
Let p = 4 + 13. Suppose 0 = 5*i + u, i - p = 4*i + 4*u. Let g = 103/205 - -4/41. Is g >= i?
False
Let p = -0.4 - 0.1. Let o = p - 0.5. Is o > 1/2?
False
Suppose 5*n = -5*t - 16 + 1, 0 = 4*n + 2*t + 8. Let g be (0/(-1))/(n + -2). Which is smaller: g or -2/3?
-2/3
Let k be (-22)/(-9) + -3 + 1. Let l(h) = -2*h**2 - 3*h - 2. Let c be l(-1). Which is greater: k or c?
k
Let v = -0.14 + -7.86. Let t = v - -7.9. Which is bigger: t or -1/6?
t
Suppose -w - 45 = -4*w. Let g be 16/w + (-4)/10. Which is smaller: -4/7 or g?
-4/7
Let f be (4/(-10))/(18/(-10)). Let d = -0.1 - 0. Let t = d + 0. Which is bigger: t or f?
f
Let y be (4/(-8))/(-1 - 0). Which is smaller: 0 or y?
0
Let f(n) be the second derivative of n**4/12 - 7*n**3/6 - n**2 + n. Let t be f(8). Suppose 0 = 3*x + t. Which is smaller: -2/3 or x?
x
Let d be -1 + (-33)/(-18) + -1. Let g be -1 - 1*0/3. Is d bigger than g?
True
Let x = 1 + 0. Is 1/3 less than or equal to x?
True
Let g(t) = t**2 - t. Let k be g(1). Suppose c + 2*u = -7, -5*u - 16 = -0*c + c. Which is greater: c or k?
k
Let b(r) = 5*r + 74. Let c be b(-13). Which is smaller: c or -8?
-8
Let r(u) = u**3 - 2*u**2 + u - 1. Let a be r(2). Is a < 12/23?
False
Let v = 13 - 15. Is v != 1?
True
Let i(k) = -2*k**2 + 5*k + 2. Let m be i(3). Let l be 2 + m - (-11)/(-9). Suppose 5*x + 2 = 2*t, 4*t + 6*x - 4 = x. Does t = l?
False
Let b(o) be the first derivative of -5*o + 2 + 1/2*o**2. Let j be b(8). Is 3 at least as big as j?
True
Let h = 8 - 3. Suppose -h*l = -b - 8, -5*b + 1 = -4*l - 1. Is b less than or equal to 2?
True
Let y(k) = k**3 + 23*k**2 + 22*k - 1. Let z be y(-22). Which is greater: -10/7 or z?
z
Let f(o) = -o**2 + o + 7. Let b be f(0). Let w be ((-7)/24)/(b/(-28)). Are 2 and w non-equal?
True
Let p = 36.4 - 27. Let s = p - 7.44. Let c = s - -0.04. Is -1/3 equal to c?
False
Let d = -19 - -14. Which is greater: -3 or d?
-3
Let m(t) = 1 - 5*t + 5 + t**2 - 1 - 4. Let d = -5 - -10. Let f be m(d). Is f less than 1/7?
False
Suppose -2*t - 24 = -4*o, -2*o + 2 = -4*t - 22. Let i = 6 + t. Are 2/3 and i unequal?
True
Let v = 27 - 27. Let d be ((-1)/(-6))/((-4)/(-6)). Is v <= d?
True
Let g be (-12)/(-20) - (-31)/(-35). Let q be (2/4)/(2/(-4)). Is q greater than g?
False
Let v(x) = x - 9. Let y be v(11). Suppose 0 = -c - y*c + 12. Is 3 smaller than c?
True
Let d = -6 + 6. Suppose -2*o + o - 3 = d. Which is greater: -2 or o?
-2
Let d(g) be the first derivative of -g**2/2 + 4*g + 3. Let b be d(3). Which is smaller: -1/3 or b?
-1/3
Let n = -1 - -2. Let u = n - -2. Suppose -3*c = u - 0. Which is smaller: 1 or c?
c
Suppose 5*y + 5*f - 25 = 5, -f - 4 = 0. Suppose 4*z - 4*t + 4 = 2*z, 0 = -4*z - t + y. Which is greater: z or 0?
z
Let l be 2/11 - 12/66. Suppose y = 5*y -