Let i(d) = 2*d - 6. Let z = 7 + -1. Let j be i(z). Suppose 20 = -u + j*u. Solve -1 = 5*t + u for t.
-1
Let x(n) = 2*n - 9. Let g be x(6). Suppose 2*z = 3*t - 0*z - 30, 18 = 3*t + 2*z. Solve w = t - g for w.
5
Let s(b) = -b + 2. Let j be s(2). Suppose j = -3*z + 2*l - 2, 0 - 1 = -l. Solve z = 5*p - p + 20 for p.
-5
Suppose 2*z = 5*j - 177, z + j + 0*j + 71 = 0. Let p be 3⁄15 + z/(-20). Solve -p*l - 4 = -16 for l.
3
Let x(y) = y**2 - 3*y - 3. Let d be x(5). Suppose -d*v = -4*v - 15. Solve -1 - v = 2*m for m.
-3
Suppose y - 2*y = -4*t - 21, -5*t = 2*y + 10. Suppose -2*i = 1 - y. Solve -i*v = 5 - 3 for v.
-1
Suppose -2*p = 2*y + 1 + 1, -5*p = 2*y - 7. Let a(v) = -v3 - 4*v2 - v. Let g be a(y). Solve -n = -g*n - 6 for n.
-2
Let l be -1 - 0 - (1 - -33). Let o be -1 + 1 + l/(-5). Let u = 24 + -24. Solve -o*c + 2*c + 15 = u for c.
3
Suppose 4*k = -0*k + 8. Suppose 5*r = -0*r + 10. Suppose r*d - 36 = -2*d. Solve d = -5*t + k*t for t.
-3
Suppose 1 + 35 = 3*c. Suppose 4*d - c = 8. Solve -d = -4*o + 3*o for o.
5