Let v = 11 - 5. Suppose -5*h + 2*h + v = 0. Solve 2*o + h*o - 16 = 0 for o.
4
Let w be 3 + -2*(-13)/2 - 4. Solve -5*h = -2*h - w for h.
4
Let l = -5 - -7. Let m be ((-1 + 0)*2)/(-2). Let v be (-3)/((2 + -3)*1). Solve l*d - v = m for d.
2
Let u = 6 + -2. Suppose 3*v + 0*v = u*i - 9, i = -v - 3. Solve i = -5*x + 3 - 13 for x.
-2
Let u(o) = -o**2 + 9*o + 12. Let f be u(10). Solve f = -5*h - 3 for h.
-1
Let m(f) = f**2 - 5*f - 3. Let u be m(6). Suppose -c - 47 = -5*z + 32, -4*c + 59 = 5*z. Suppose 4*i = -0*i + 12. Solve u*r = -i + z for r.
4
Suppose -2*c + m - 55 = 0, 4*m + 15 = -2*c - 15. Let u = c - -27. Solve -u*x = 1 + 1 for x.
-1
Let n(h) be the first derivative of h**2⁄2 - 7*h - 1. Let k be n(7). Solve k*r = -4*r for r.
0
Suppose 7*c + 14 = 56. Solve -12 = -c*s + 2*s for s.
3
Suppose -4*k + 4 = -5*r - 1, -2*k = -3*r - 3. Solve -6 = -k*u - 3*u for u.
2