Let w(k) = 2*k2 - 2*k - 4. Let i be w(3). Let x be ((-6)/(-4))/((-2)/i). Let r(z) = -z3 - 6*z**2 + z + 8. Let h be r(x). Solve 0*b = -2*b - h for b.
-1
Let s = -68 - -76. Solve -4*m + s = 20 for m.
-3
Suppose 5*r - 2r + 414 = 0. Let x = r - -93. Let f be 2/(3/x-2). Solve 2*h + h = f for h.
5
Let t = -20 - -34. Suppose -3*b - 4*c = -24, b - 2*c + t = 3*b. Solve 0*h = -b*h - 4 for h.
-1
Let c be ((-2)/9)/(2/(-36)). Solve a - 5*a = c for a.
-1
Let d(f) = f**2 - f + 7. Let i = 14 - 9. Let y be d(i). Suppose -3*s + y = 3*j, 4*j + 9 = 2*s - 15. Solve -3*p + s = -8*p for p.
-2
Suppose -6*r - 27 = -5*r. Let s = -24 - r. Solve n + s = 6 for n.
3
Let j(o) = -o**2 + 9*o - 13. Let b be j(6). Let h® = r - 5. Let f be h(5). Solve -b = i - f for i.
-5
Suppose -5*n + 50 = 5*n. Solve 4 = n*m - 16 for m.
4
Let k = 21 + -10. Solve -2*n = -k + 1 for n.
5