Let t(w) = -w**2 + 6*w + 1. Let c be t(5). Let y be 2/(-3) + 34/c. Let k = -10 - -15. Solve -k*m = -15 + y for m.

2

Let h(t) = t**3 - 4*t + 3. Let a be h(2). Solve -2 - a = -5*m for m.

1

Suppose 6 = 3*r - 9. Solve 1 = -h + r for h.

4

Let b = 14 - 11. Let x be ((-6)/(-4))/(1⁄6). Solve 3*u + b = -x for u.

-4

Let x(z) = -z3 - z2 - 2*z - 3. Let t be x(-2). Suppose -2*g + 25 = 3*w - 4*w, g - t*w - 26 = 0. Solve -3*v = 2 - g for v.

3

Suppose -4 = -2*g - 0. Solve 0 = -3*o - g + 11 for o.

3

Suppose 5*p - p = 3*r + 62, -3*p - 30 = 2*r. Let l be r/(-8) - (-6)/(-24). Solve 2 = l*c + 10 for c.

-4

Let q = -31 + 35. Solve q*x - 10 = -x for x.

2

Let n = -26 - -48. Suppose 0*b + n = b + 5*m, -5*b - 10 = -5*m. Let l = b - -3. Solve i + l = 2*i for i.

5

Let v = -2 - -7. Suppose 10 = -5*r - v*t, -2*r = 3*r + 4*t + 6. Suppose -3*a + 2 = -m - 3, -5*a = 4*m + 20. Solve a = -r*p - 2 + 8 for p.

3