Let n = 6 + -3. Suppose -13 = -n*v + 32. Solve 5*c = v + 10 for c.

Suppose 30 = 5*y - 5*x, -3*x + 5 - 14 = 0. Suppose -1 = c - y*w + 1, 5*c + 3*w = 8. Solve r = 1 + c for r.

2

Let u = -12 + 18. Solve -4*h + u = -2*h for h.

3

Suppose 2*a - k = 2*k, 3*k = a - 3. Let y(f) = 2*f**2 + 4*f + 1. Let i be y(a). Let t = 0 + i. Solve 2*v - t = -3 for v.

2

Suppose -2*r - 21 = -5*r. Let c = r - 5. Solve c*s - 3 = s for s.

3

Let b(m) = m3 - 2*m2 + 3*m - 2. Let j be b(2). Let z = -2 + j. Solve -1 = z*x + 5 for x.

-3

Suppose 4*b - 4 + 0 = -2*z, 2*b + 6 = -5*z. Solve 4*m - b - 18 = 0 for m.

5

Let z = -31 + 31. Solve -5*b - 10 + 25 = z for b.

3

Suppose 0 = -5*c - 3*r - 23 + 80, -c + 7 = 5*r. Let u(w) = w3 - 5*w2 + 5*w - 2. Let t be u(4). Solve -t*y - y = c for y.

-4

Let r be 10/(-65) + (-82)/(-26). Let d(a) = 2*a - 4. Let l be d®. Suppose l*j - 36 = 4*c, -11 = 2*c - 1. Solve -3*s + 7*s - j = 0 for s.

2

Let a = -42 + 44. Solve -a = 5*o + 3 for o.

-1