Let r be 2/(12/(-2)) + 119⁄51. Solve -5*v - r = -3*v for v.
-1
Suppose 2*t - t - 5 = 0. Suppose t*y + y = 0. Solve y = -3*h + 5 + 7 for h.
4
Let b be (-2 - -4) + (-2 + 3 - -1). Solve -b + 2 = 2*p for p.
-1
Suppose -4*k + 8 = 4*k. Solve -2*r = -r + k for r.
-1
Suppose -q = -3*d - 19, 3*q = 3*d - d + 22. Let w = -2 - d. Suppose -5 - w = -2*v. Solve 0 = -v*m - m - 25 for m.
-5
Suppose -2*m = -m - 3. Solve 6 = m*x - 5*x for x.
-3
Suppose 4*b - 3*w = 5, 0*b + 4*b + 2*w = 10. Solve 0 = 5*q - b*q for q.
0
Let w(l) = 2*l + 4. Let u be w(0). Solve -5*k - u = 1 for k.
-1
Suppose -4*r + 3*w = -11, -2*r + 2*w = -1 - 3. Suppose -r*x = -0*x. Solve -6*h + 2*h = x for h.
0
Suppose 0 = 4*q + 3*q. Solve q = -4*s + 4 + 4 for s.
2