Let a = 9 + -5. Let t be 6⁄4*(-40)/(-12). Solve -t*z - a = -z for z.

-1

Suppose -d = 3*d - 20. Suppose -3*s - f = -2*f + d, -3*f + 15 = -2*s. Solve s*c = 4*c + 16 for c.

-4

Let y(f) = -f**2 + 5*f + 7. Let x be y(-5). Let a = x - -63. Solve -a = -3*z - 5 for z.

5

Let z = 28 + -13. Suppose 5*b - 2*b = z. Let y be (-2 - 1)*16/(-12). Solve y*m - b*m - 5 = 0 for m.

-5

Let u = 8 + -8. Suppose 7*n - 2*n = u. Solve n*r + 3 = r for r.

3

Let u(v) = v**2 - 7*v + 7. Let a be u(6). Let z = -2 + a. Let q = z + 1. Solve 5*y - 10 - 10 = q for y.

4

Suppose 0 = -y + 5*z - 12, 0 = -4*z + 17 - 5. Solve y*v = -2*v - 5 for v.

-1

Suppose -3 = -5*q + 17. Solve -10 = q*k + 6 for k.

-4

Let t = -11 + 19. Solve t + 12 = 4*m for m.

5

Suppose -3*l = -5*l + 16. Solve l*v = 3*v - 15 for v.

-3