Suppose 0 = -9*f + 10*f - 7. Suppose 4*h - f - 1 = 0. Solve -1 = h*s - 3 for s.
1
Suppose -u - 2*h + 7*h + 7 = 0, -6 = -2*u + 2*h. Solve -8 = -0*q - u*q for q.
4
Let s(v) = 2*v3 - 5*v + 3 + v - 3*v3 + 5*v. Let f be s(0). Solve -9 = -f*x - 3 for x.
2
Let j(y) = -4*y + 39. Let z be j(9). Solve 4*d + z = 23 for d.
5
Suppose -4 + 7 = 3*x. Let k(y) = y**3 + y + 11. Let u be k(0). Let q = -8 + u. Solve -x = -q*j - 10 for j.
-3
Let l(s) = s + 9. Let q be l(-8). Suppose 2*w + q = -3*y + 39, y = -4*w + 56. Suppose -2*m + w = -19. Solve -z + 5*z - m = 0 for z.
4
Suppose -4*i - 1 + 3 = 2*t, t - 4*i = 19. Let p = t - 5. Solve -p*s = -6*s + 12 for s.
3
Let j(v) = v - 3. Let d be j(3). Suppose 3*i + 2*x - 9 = 27, d = -2*x. Let u be ((-2)/(-6))/(2/i). Solve s + u*s - 6 = 0 for s.
2
Suppose 4*x + 4*d - 36 = 0, -3*d = 5*x - 11 - 26. Solve -x*t + 3 = 23 for t.
-4
Let r be (-9)/(-12) + (-5)/(-20). Suppose -r = -g + 1. Solve 6 = -g*p - 4 for p.
-5