Let y(w) = 10*w - 4. Let l be y(1). Solve 3*z + 0*z - l = 0 for z.
2
Let l be 0 + 2 + (-4 - -4). Let y be (1 - (4 + -1)) + l. Suppose -2*q - 6 = -3*x, -x + 9 = -3*q - y*q. Solve 0 = m - x + 1 for m.
-1
Suppose 0*c + c = -5*n + 26, 2*c - 5*n = -23. Let b = c - -1. Suppose -5*j = 2*g - 4, -3 = -b*g - 3*j + 1. Solve -10 + g = 4*t for t.
-2
Let y(s) = -s**2 + 5*s - 5. Let z be y(3). Solve 14 = -3*u - z for u.
-5
Suppose q = -5*z - 0*z + 4, 2*z - 8 = -2*q. Let j be (-5)/(-20) - 15/(-4). Suppose -4*r + 0*r - 4 = -u, -r - 3*u = -12. Solve r = -y - z*y - j for y.
-4
Let h(j) = 4*j - 3. Suppose -5*z = -55 - 0. Let t = z - 9. Let r be h(t). Solve -2*g + g = -r for g.
5
Let s = 1 + 4. Let n = 53 - 25. Suppose -h - 3*h = -n. Solve -h = -4*x + s for x.
3
Suppose 0 = -4*q - 3*c - 0*c + 46, 3*q - 37 = -c. Let k(y) = y - 9. Let x be k(q). Solve -3*m = -x*m + 3 for m.
3
Suppose -2*b = -2 - 6. Suppose -3*k - 2 = -0*k + 2*c, -2*c = -b*k + 16. Solve -k = 5*u + 3 for u.
-1
Let z be 10 + (4 - 3)*-1. Let s = -6 + z. Solve -v = -s*v + 10 for v.
5