Suppose -1 = 3*w - 16. Suppose -t = -w*t + 4. Solve -u + 2 - t = 0 for u.
1
Suppose 7*y + 35 - 63 = 0. Solve -21 = y*d - 9 for d.
-3
Suppose -2*t = -4*y + 20, 5*y - 3*t = 9 + 15. Suppose 8 = -0*f + f + 3*p, -f + y = p. Solve -7*w + f*w + 2 = 0 for w.
1
Suppose 0*k = -2*k + 4. Let c(v) = 2*v - 3. Let w be c(4). Suppose k*o - w = o. Solve o*m = -0 - 5 for m.
-1
Suppose 0 = -5*s - 3*d + 63, -3*s + 0*s = 2*d - 38. Let q = s - 3. Solve 5*p - q = 6 for p.
3
Suppose 2 = 4*k - 2*u - 22, -24 = -4*k + 5*u. Solve -k*f - 2 = 4 for f.
-1
Let w(q) = q + 3. Let x be w(3). Suppose 3*l = -2*r - 4, -5*l - 1 = r + 1. Let s = l + 3. Solve -x = k - s*k for k.
3
Let q = 10 - 6. Solve 3*h + q = h for h.
-2
Let o(f) = -f. Let p = 0 + 7. Let c be o(p). Let i = c + 13. Solve i = k + k for k.
3
Let r(q) = 2*q - 3. Let f be r(4). Solve -f = -z - 0 for z.
5