Suppose -2*v + 7*p - 10 = 2*p, -5*v + 5*p - 10 = 0. Suppose 13*m + 4 = 14*m. Solve -m*d = -20 - v for d.
5
Suppose -4*p + 17 + 15 = 0. Solve 3*u - p = u for u.
4
Let d be (0 - -1)/(-4 + (-72)/(-16)). Solve -d*k - 2 = -0 for k.
-1
Let o(p) = -4*p - 9. Let t be o(-4). Suppose 0*j = -4*j - 4. Let b = t - j. Solve -b = g - 3*g for g.
4
Let l(q) = q**2 + 2*q + 1. Let a be l(-1). Suppose -4*o + 12 = -2*i, -i = -a*o + 2*o - 10. Solve i*j = 4*j - 4 for j.
2
Let h = -28 + 31. Solve h*y = -0 + 9 for y.
3
Let c be (4*1)/(4 - 2). Let m be (3 - 4 - 9)/(-2). Suppose -m*z = -8*z + 21. Solve c*l - z = 3 for l.
5
Let a = 7 - 4. Suppose 0 = 3*q + 2*z - 12, 4*q + 8 = -a*z + 24. Solve 5*i - 1 = q for i.
1
Let u = -4 + 5. Let v = u - -1. Let k(z) = z**2 + 4. Let d be k(0). Solve 2 - d = -v*j for j.
1
Let a(b) = b3 - 8*b2 - 8*b - 3. Let o = 38 - 24. Suppose 2*z = -2*v + o, -2*v - 2*v + 38 = -z. Let t be a(v). Solve -14 + t = -4*k for k.
2