Let x(d) = d - 6. Let n be x(8). Let t = n + 10. Let m = 4 + -4. Solve m*k - t = 3*k for k.
-4
Suppose -4*z - 3*f + 52 = 0, -z = -5*f + 2 + 8. Solve 5*h - 3*h = z for h.
5
Let q = 36 + -11. Solve 0 = 6*p - p + q for p.
-5
Suppose 0 = -3*z + 2*z - 7. Let v = -4 - z. Suppose 0 = -0*m - v*m + 12. Solve 3 = -5*g + m*g for g.
-3
Let s = 26 - 16. Let d be -2 - (-5)/(s/24). Suppose 4*h = -h + d. Solve -h - 6 = 2*c for c.
-4
Let j = 5 + 0. Suppose j*b - b - 20 = 0. Solve b*t + 1 = -4 for t.
-1
Let z be ((-5)/((-60)/(-4)))/(1/(-9)). Solve -z*g = -5*g - 4 for g.
-2
Let s(p) = -p3 - 3*p2 + 4*p + 5. Let u be s(-4). Let c = 10 - u. Suppose 0 = -q + c*q - 12. Solve -2 = q*i - i for i.
-1
Let d be 3 - -2 - (2 - 2). Suppose 0 = -3*p + d*z - 20, -p - 5*z + 20 = p. Suppose -11 = -k + 3*g, -2*k + 4*g + 19 = -g. Solve s + s + k = p for s.
-1
Suppose 0 = -4*h + 22 - 2. Suppose h*o = 8 + 12. Suppose 8 = 2*u + 2*u. Solve -u*f + 0 = o for f.
-2