Suppose u + u = 3*u. Solve 3*j + 0 - 9 = u for j.
3
Let v = -5 - -7. Suppose -4 = -r - c, 3*c - 12 = v*r - 0*r. Let h = 4 + -2. Solve -7*d + h*d + 20 = r for d.
4
Suppose 63 - 13 = 5*r. Solve -3*c - 2*c = -r for c.
2
Let n be (-2)/3*-3 + 1. Let t(f) = -f3 - 4*f2 + 6*f + 7. Let o be t(-5). Suppose o*w + 3 = n*v, 2 = -v + 3. Solve 3 = -h - w*h for h.
-3
Let v(z) = -2*z - 9. Let c be v(-6). Suppose -5*u + 30 = -5*f, 4*f + 13 = 2*u + f. Solve 0 = -m + u - c for m.
2
Suppose 0 = 15*h - 10*h - 10. Solve -h = -y - 0 for y.
2
Let o = 7 - 4. Suppose -4*w = 3*b - 15 - 11, -5*w = -o*b - 19. Suppose 5*m + 2*l = 25, m - w = -0*l + 3*l. Solve -g = -m*g + 16 for g.
4
Let s = 11 + -2. Let u be (s - -2) + (2 - 1). Solve -u = -5*m + 8 for m.
4
Suppose 0 = -3*p + p. Suppose a - 5*a + 8 = p. Suppose 0 = 7*m - 5*m - 2. Solve -a = -q + m for q.
3
Suppose 5*z + t = 13 + 27, 2*z = -2*t + 8. Let a = z + -7. Solve -a*c + 12 = -6*c for c.
-3