Suppose -3*d + v + 9 = 0, 3 = 3*d - 0*d + v. Solve 5*l + d = 4*l for l.
-2
Suppose 6 = -3*n - 0. Let t be (2 - 4)*3/n. Solve -2*k + t*k - 2 = 0 for k.
2
Suppose 0 = 4*h - 16 + 4. Let p = 9 + -6. Solve h*o - p = 2*o for o.
3
Let g = -4 - -3. Let l(z) = -13*z**3 - z. Let m be l(g). Suppose 0 = 4*t + 2 - m. Solve -i + t = -0*i for i.
3
Let d(n) = -n - 1. Suppose 8 = -b + 7. Let r be d(b). Solve t = -r*t + 2 for t.
2
Let g(z) = z**2 - 2*z - 2. Let i be g(3). Suppose 5*t - 29 - i = 0. Suppose 4*u = 4*p, 4*u + 3*p - 2*p = 0. Solve 0*s + 3*s + t = u for s.
-2
Let p = 20 - 18. Suppose -p*w + 6 = w. Solve -2*r = -0*r + w for r.
-1
Suppose 60 = 5*r - 0*r. Solve 5*q - r - 3 = 0 for q.
3
Let m(d) = -5*d - 2. Let o be m(-2). Solve -4*l = -0*l - o for l.
2
Let q(w) = -2*w**2 + 3*w. Let o be q(4). Let r be (-6)/((o/6)/5). Suppose 2*p + p - r = 0. Solve -p*b + 11 = 2 for b.
3