Let l = -17 - -30. Solve 4*p - l + 1 = 0 for p.
3
Let j be (0 + -5)*(-4 - (-30)/25). Solve -j - 1 = 5*l for l.
-3
Suppose 5*l = 9*l - 60. Solve l + 1 = 4*v for v.
4
Suppose 5 = 5*z, 6*a = 2*a - 2*z + 14. Let v = -3 + a. Solve v = 2*b + 5 + 3 for b.
-4
Let r(h) be the second derivative of -h4⁄12 - h3 + 2*h**2 + h. Let b be r(-6). Solve 0*v = b*v for v.
0
Let l = 12 + -10. Suppose -4*z + 3*c = -23, 0 = -0*z - z + 2*c + 7. Let g be 8⁄10*z/l. Solve -3*t = g*t - 10 for t.
2
Suppose 3*b + 15 = 24. Solve b = -3*r - 9 for r.
-4
Let k be (-2)/2 - (8 + -3). Let h = k + 8. Suppose -3*r - h*w = -14, -5*r + 12 = 3*w - 11. Solve -l - l = -r for l.
2
Let v = -5 + 15. Suppose -b + 3*b - v = 0. Solve 16 = b*l + 1 for l.
3
Let h = 8 - 6. Suppose 2*p + h - 6 = -f, 0 = -4*p - 5*f + 8. Suppose 1 = 5*q - 4. Solve -p = -r - q for r.
1