 7. Let k be g(-10). Suppose -3*u = 5*b - 8, k*u - u + 12 = b. Is -2 < u?
False
Let k(t) = t**2 - 2*t - 1. Let n be k(-1). Suppose 8 = 2*u + n. Let j be 8/6 + (-14)/6. Which is smaller: u or j?
j
Let b(k) = -2*k - 5. Let f be b(-5). Suppose -f*m + 45 = -8*m. Is m greater than -15?
False
Suppose -4*z = -5*g - z, 5*g = z + 10. Suppose 2*q - 5*q = -9. Is g != q?
False
Let b = 58 + -59. Is 2/77 <= b?
False
Suppose 3*j = -r + 3, 4*r + 4*j - 14 = 22. Which is greater: 6 or r?
r
Let n = -2/237 + -703/948. Which is bigger: -0.3 or n?
-0.3
Let g(k) = k**2 + k + 2. Let j be g(-2). Suppose -j*i + l = -1, -i - i + 4*l = -4. Let m(h) = -h**2 - 4*h. Let a be m(-4). Is i smaller than a?
False
Let d = 10 + -3. Suppose -2*s + 6 = 2*c, d = 3*s - 0*c + c. Do 8/5 and s have the same value?
False
Let v = -23 + 33. Let u = v - 8. Is -4 smaller than u?
True
Let q = 18 + 4. Are q and 22 equal?
True
Let s(k) = -2*k**3 + 10*k**2 + 12*k - 7. Let a be s(6). Is a greater than -11?
True
Let i(r) = r**3 - r. Let x be i(0). Suppose x = -o - o + 6. Suppose -d = -1 + o, 4*y + 8 = -4*d. Which is bigger: 2/5 or y?
2/5
Let w = -132 + 125.95. Let j = 0.05 + w. Is -0.1 <= j?
False
Let j = -39 + 39. Which is smaller: j or 2?
j
Let w = 12 + -8. Let q be 8/(-28) - (-149)/7. Suppose -6*b = -q - 3. Is b > w?
False
Let p = 11 - 11.1. Which is bigger: p or -1?
p
Let r(s) = -s**3 - s**2 - s - 8. Let i be r(0). Are i and -37/5 equal?
False
Let u(k) = k**3 + 11*k**2 + 9*k - 6. Let q be u(-10). Let p be (-30)/44*q/5. Which is smaller: p or -1?
-1
Suppose c + 1 + 7 = -4*j, -5*c = -2*j + 18. Let m be (-2 - 0) + 24/10. Is m bigger than j?
True
Suppose 36 = -4*o + 8. Suppose 5 = -4*t - 19. Which is smaller: t or o?
o
Let s(q) = q + 4. Let k be s(-3). Suppose -f - 3*b = 0, -5*f = -3*f + 4*b + 6. Let v be 4*f/(-12) + -1. Is k at least as big as v?
False
Let a = 2 - 2. Let r = -0.129 - 2.871. Do r and a have the same value?
False
Let f = 3 - 3. Is f less than 0.3?
True
Let q be ((-16)/56 - 34/(-70))/(-1). Which is smaller: q or 1?
q
Let q = -2 + 6. Suppose -q + 2 = 2*b. Let o be (-19)/24 + 6/9. Is o less than or equal to b?
False
Suppose 3*j = -2*j - 1820. Let n be j/63 - 2/9. Let c be (-6)/2*1*2. Is c at most n?
True
Let f(v) = -v**3 - 3*v**2 + 4*v - 1. Suppose 0*p + 2*p + 8 = 0. Let m be f(p). Is m at most -2?
False
Let q be -4 - (-3 - (-3 - -4)). Is 1 smaller than q?
False
Let p = -237 - -680/3. Which is smaller: p or -9?
p
Suppose -2 + 17 = w. Suppose w = 5*y, -5*s + s = -2*y - 2. Suppose 3*l = 4*x - s, -5*l + 4*x + 1 = 7. Is 1 at most l?
False
Let a be (-2)/(-8) + 75/20. Let r be (1/(-6))/(a/8). Let l be (2 + -4)/(20/(-2)). Which is bigger: l or r?
l
Let c = 14 - -2. Let i = 7 - c. Let q(b) = -b - 9. Let z be q(i). Which is smaller: 3/5 or z?
z
Let h be (9/(-21))/((-6)/(-8)). Let n = 3 - 3. Let i = n - 0. Which is smaller: h or i?
h
Let f = 134 - 1204/9. Let o = 3.57 + 0.43. Which is smaller: f or o?
f
Let g = -0.01 + -0.79. Let p = g - 0.2. Let y = -1003/7 - -143. Is p at least as big as y?
False
Suppose -2*o + 0 = -2. Let m(q) = q + 6. Let k be m(-5). Let n be (k + (-45)/39)/(-1). Which is smaller: o or n?
n
Let j = 15 + -7. Suppose 5*i = -j + 3. Are 1/9 and i non-equal?
True
Suppose 0 = 2*j + 2*x + 3*x - 8, 3*j = -2*x + 12. Suppose j = -m - 4*u, -4*u + u = -5*m + 3. Suppose m = -6*o + o - 10. Is -2 > o?
False
Let u be -5 - ((-4)/(-5) + 208/(-10)). Let z(q) = q**2 + q + 2. Let f be z(3). Is u at most f?
False
Let z = -152 + 152. Which is smaller: 2/7 or z?
z
Let y(h) = h**3 + h**2 + h + 1. Let k be y(0). Suppose -4*d - 151 = -147. Is d at least k?
False
Let f = -732547/8 - -91753. Let s = f + -185. Let h be -1 - -4*(-4)/(-16). Is h greater than s?
True
Let k = 6 + -4. Suppose -3*w - 1 = -k*z, w = -4*w - 3*z - 8. Let b be -1*(9/6 + w). Which is greater: -1 or b?
b
Suppose 0*r + 4 = -r. Let m be r/(-10) - 8/70. Which is bigger: m or 0?
m
Let u be (-3)/(-27)*(-6)/8. Suppose -6*x - 4 = -2*x. Are u and x equal?
False
Let w(c) = -c + 11. Let g be w(8). Which is greater: 9 or g?
9
Let q be ((-8)/(-20) - 0) + (-64)/(-140). Suppose -w - 4*w + 5 = 0. Which is smaller: q or w?
q
Let w be 2/5 + 16/(-15). Suppose 0 = 82*r - 81*r - 5*s - 13, 0 = 2*r + 5*s + 19. Is w bigger than r?
True
Suppose 11*c = 6*c + 25. Let v be 70/(-4)*(-1)/5. Is v at most c?
True
Suppose -8*b + 12 = -5*b. Suppose h - b = 4*k, 5*h - 7 + 2 = 5*k. Is h at most as big as -6/7?
False
Suppose 3*k - 2*l + 7 = 0, 4*k - 24 = -3*l - l. Is k at least as big as 0?
True
Suppose -19*c + 42 = 2*c. Is c > -3?
True
Let b be 51/(-126) - 1/(-3). Let j be 3*1 - (33 + -29). Is b at least j?
True
Let d(h) = -h**3 - 10*h**2 - 10*h - 7. Let g be d(-9). Suppose -4*p = g*u + 2, -3*u - 2*u = -5*p - 10. Let z be (-38)/88 - (-3)/12. Is p smaller than z?
True
Suppose 0 = -f + 3 - 13. Let h be 1/2 + 70/(-4). Let s = f - h. Is -1/3 less than s?
True
Let d(u) = -43*u + 7 - 3 - 1 - 2. Let c be d(1). Let g be 1/(-3) - (-4)/c. Is 0.1 less than g?
False
Let g = -26 - -28. Suppose -o + g*o = 1. Is -8 at most o?
True
Let j = 15/13 - 136/39. Are j and -3 equal?
False
Let n(y) = y**3 - 5*y**2 - y - 3. Let f be n(4). Which is greater: -25 or f?
f
Suppose 3*w = s - 6*s + 6, -2*w - 5*s = -4. Suppose 8*j - 5 = 3*j. Let y be (-7)/(-2) - j/2. Is y smaller than w?
False
Let p be (0/(9/(-3)))/(-1). Let g be (7 - 4)*1/14. Which is greater: g or p?
g
Let y = 8 - 4. Suppose -p = y*i - 7, 19 = i - 5*p - 9. Which is smaller: i or 1?
1
Let u = -39 + 60. Let w be (-6)/u - (-1714)/21. Let y = w + -82. Which is bigger: -1 or y?
y
Suppose b = -g + 4, 4*g = 2*b - 0*g - 32. Suppose -3*j + 11 = b. Is 6/11 != j?
True
Let r be -2 + 0 + 2 + 0. Suppose -3*h - 4 + 1 = r. Is -1 <= h?
True
Let f(m) = -m - 3. Let p be f(2). Let j = p - -4. Let t = -85/39 - -7/3. Are j and t nonequal?
True
Suppose 0*d - 4*d = -12. Suppose c + 8 - d = 3*f, c + f = 15. Let k be ((-12)/(-40))/(12/c). Is -0.1 < k?
True
Suppose 5*n + 10 = 5*d, -d = -0*n + 2*n - 11. Let u be (0 - 4/(-10))*d. Is 2 not equal to u?
False
Let o = 65 - 33. Suppose 7*k = 3*k + o. Let q = 7 - k. Is q bigger than -1?
False
Let z(u) = u**3 + 15*u**2 + u + 15. Let n be z(-15). Is -2/81 less than or equal to n?
True
Let q = -9 - -15. Let n be q - 7 - (-50)/36. Let s = 8/9 - n. Are s and 2 non-equal?
True
Let c = 5.8 + 0.2. Let n = -5 + c. Which is smaller: 0.2 or n?
0.2
Suppose t + 3*t + 60 = 0. Let v be (9/t)/((-9)/10). Let s = -1 - -0.8. Is s less than or equal to v?
True
Let p be (-2 - 0)/(0 + 5). Let y = 1 - 0.9. Let d = y - 0.2. Which is greater: p or d?
d
Let f = 8 + -15/2. Suppose -2*i + 3 = -1. Is f equal to i?
False
Suppose -4*p + 3*r - 12 = p, 4*r - 16 = 4*p. Let c be 2*3*(-1)/(-6). Which is bigger: c or p?
c
Suppose 0 = 29*b - 24*b + 520. Which is bigger: -0.1 or b?
-0.1
Let w(c) = 2*c + 13. Let z be w(-7). Let b be -1 + 5 + (-2 - -2). Suppose 2*v - 3 = -3*s, 0*s = 3*s - b*v + 15. Is s equal to z?
True
Let a = 0 - 3. Let i = -2.9 - a. Is i at most as big as 0.3?
True
Let h = -3.8 - -4. Let l = h - 0.1. Which is smaller: l or 1/4?
l
Let g be 0 + (3 - 2 - -5). Is g at least 8?
False
Let r = -5 + 13. Let b = r - 0. Let n be -1 + 0 - b/(-20). Which is bigger: n or -1?
n
Let w be 6/4 + 2/(-4). Let f = -31/2 + 277/18. Do w and f have the same value?
False
Let b = 25 + -41. Is -16 bigger than b?
False
Let b(x) = x - 2. Let w be b(7). Let m = -14 + 21. Let r = -1 + m. Do r and w have the same value?
False
Let o(l) = 2*l - 6. Let s be o(5). Suppose 3*v + 2*x = 5 + 1, 3*x - 8 = -s*v. Suppose -2 = v*n - n. Is n less than -2?
False
Let z(b) = b + 2. Let j(h) = -1. Let q(p) = 5*j(p) + z(p). Let n be q(1). Is 4/3 <= n?
False
Let h be (-26)/(-7) - (-2)/7. Suppose -h = 2*f - 12. Let b be f*(-2)/((-8)/(-2)). Is b less than or equal to -3?
False
Let g(h) = -h**3 + h**2 - 5*h. Let m be g(-5). Let y be 2/(-7) - (-43)/m. Which is smaller: 1 or y?
y
Let k(o) be the second derivative of o**3/6 + 2*o. Let x be k(2). Let l(r) = r**2 - 3*r + 1. Let a be l(x). Is -1 at least as big as a?
True
Let h(d) = 2*d**2 - 9*d - 6. Let f = 7 + -2. Let y be h(f). Is y greater than or equal to 1/6?
False
Let w = -13 + -1. Is -13 greater than or equal to w?
True
Let v = -2428/4411 + 2/401. Let w = v - 4/33. Is -2/7 at most w?
False
Suppose -f - 3*f = -16. Suppose 2*c - f*c -