Let k(g) = 4*g - 1. Let b be k(1). Solve 0 = b*a + 9 for a.

Let y(z) = z3 - z2 - z + 3. Let h be y(0). Let t(s) = 0 + 2 + s + 3*s**2 - 4. Let l be t(h). Solve l - 3 = -5*a for a.

-5

Suppose -4*s + 2*x = -10 - 20, 4*s + x = 33. Suppose m = -2*j + 7, 5*j = -2*m + 8 + 9. Solve -s = -u - j for u.

5

Suppose -16 + 5 = 2*c + 5*k, -4*k = c + 10. Solve c = -0*s + 2*s for s.

1

Let n(x) = x - 2. Let b be n(7). Suppose 3*z = 2*z + b. Suppose z*d - 4*u = 10 + 8, 4*u + 2 = -3*d. Solve 0*k + d = -2*k for k.

-1

Let s be 2*(-3)/2 + 8. Suppose -1 + 16 = s*z. Solve 0*y = -z*y - 3 for y.

-1

Suppose 0*p - 3 = -p. Solve p*n + 8 = -n for n.

-2

Let o = 2 + -2. Suppose o = -5*d + 40 - 15. Suppose 31 = d*p - 34. Solve -p = -5*v + 2 for v.

3

Let a(t) = t3 + 5*t2 - 7*t + 7. Let z be a(-6). Let x = -8 + z. Solve 3*o + x = 2*o for o.

-5

Let q(o) = -2*o3 + 9*o2 - 2*o - 1. Let w(x) = -3*x3 + 10*x2 - 3*x. Let s(n) = 4*q(n) - 3*w(n). Let r be s(-5). Solve -7*a + r = -3*a for a.

4

Let i = -4 - -6. Suppose -z - iz = -3. Let t be -1-2*z*1. Solve v = -v - t for v.

-1