Suppose 2*k - 1 = -5. Let c = 5 + -8. Let f be k/2*c + 2. Solve -f*v + 7 = -8 for v.
3
Let k(n) be the first derivative of -n3⁄3 + 7*n2⁄2 - 3*n + 4. Let u be k(6). Solve -2*d + 1 = u for d.
-1
Suppose -7*c + 25 = -2*c. Solve -q + c*q + 20 = 0 for q.
-5
Suppose 5*r = r + 40. Suppose -2*d = 5*u + 10, u - 2 = -3*d + 2*u. Suppose 0 = -3*i - d*i + 6. Solve -2 = -i*q - r for q.
-4
Let d be (-136)/(-10) - (-4)/10. Let i = d - 10. Solve -i*r = 2 + 14 for r.
-4
Suppose 5*g - 3*g - 92 = 0. Suppose 5*v - g = -11. Let t be 2/(1⁄3*2). Solve 0 = -t*s - 2 - v for s.
-3
Suppose 0 = g - 3*g + 30. Suppose 5*b - 5 = g. Solve 2*w + 0 + b = 0 for w.
-2
Suppose -l - 30 = -6*l. Let n = 10 - l. Solve n*p = -18 + 2 for p.
-4
Let k(p) = p3 + 4*p2 - 5*p + 6. Let i be k(-5). Let u(w) = 2*w - 4. Let t be u(i). Solve t = r + 3 for r.
5
Let g(z) = -z**2 + 8*z + 2. Let p be g(8). Let h be -2*3/p + 5. Solve 0 = h*v - 2 - 6 for v.
4