Let x = 8 + -8. Let s be -1 + 0 + x + 1. Suppose d + 0*y + 17 = 5*y, s = d - 2*y + 5. Solve -b - d = -2*b for b.

3

Let d(t) = -t**2 + 3. Let c be d(0). Suppose 0 = -7*u + c*u. Solve u*r + 12 = -3*r for r.

-4

Let u(z) = z3 + 10*z2 + 9*z. Let s be u(-9). Solve s = v - 1 for v.

1

Let s be 7 + (-2 + 0)*1⁄1. Suppose 0 = -3*l + 26 + 1. Solve s*u + l = -16 for u.

-5

Let a = -16 + 18. Solve a*v - 3*v = -2 for v.

2

Let a(b) = 6*b**2 - 9*b - 1. Let q be a(3). Solve -6 = -4*m - q for m.

-5

Let v(y) = -5*y**2 + 2*y - 1. Let t be v(1). Let w be (-9 - t)/(1/(-1)). Let c = w - 3. Solve 20 = -2*x - c*x for x.

-5

Suppose -6*x = -8*x + 12. Solve 4*o = x*o + 8 for o.

-4

Let a(s) = s - 12. Let u be a(0). Let m = u - -22. Suppose -m = -4*z + 2*z. Solve -2 + z = v for v.

3

Suppose 2*j + 12 = s - 2, 0 = j + 4*s + 25. Let d = j + 16. Suppose -2*c = -2*g + 7*g - 25, -2*c + 20 = 4*g. Solve 0 = -3*b + g + d for b.

4