Let w(k) = -k - 3. Let s be w(-5). Solve 2*r + 0 = s for r.

Let n(s) = 2*s - 9. Let l be n(7). Let t = 0 + l. Suppose -4*o - o + t = 0. Solve 2*u = -o + 7 for u.

3

Let v = -13 - -16. Let o = v + 1. Solve -o*p = -3*p for p.

0

Let q = 2 + 2. Suppose -2*g = -q*g - 30. Let z be ((-9)/g)/(¹⁄₅). Solve z*r - 8*r = 0 for r.

0

Let p© = 6*c3 - c2 - 4*c3 + 2*c + 3*c2 - 4*c. Let w be p(2). Solve 5*i + 0*i + w = 0 for i.

-4

Let s be 2/(-4)*(0 - 2). Suppose -i - 5*h - s = 9, 0 = 4*i - 2*h - 4. Suppose i = -0*f - 3*f + 12. Solve f = 2*j - 2 for j.

3

Let q be (-47)/(-7) + (-2)/(-7). Solve -5*v = -27 + q for v.

4

Suppose -c - 3*c = -12. Suppose y = c*y. Suppose y*a - a = -2. Solve 0 = a*z + z for z.

0

Let n be (-2)/(-9) - (-48)/27. Solve x - 5 = n*x for x.

-5

Suppose 0 = 3*z - 5*y - 42, -y = -z + y + 15. Suppose -3*k + 122 = 4*x, -5*x + 0*x - 4*k = -153. Solve -5*w + z - x = 0 for w.

-4

Let a© = -c2 + 6*c - 6. Let h be a(4). Let b = h - 11. Let w(i) = i2 + 10*i + 12. Let r be w(b). Solve j - 5 = -r for j.

2