Let r(z) = z - 1. Let k(n) = 3*n + 4. Let w be k(-3). Let t be r(w). Let b = 6 + t. Solve -3*d + 0*d = b for d.

Let x be -8 - -12 - (-1 - -1). Solve -8*z - 12 = -x*z for z.

-3

Let d(y) = -y + 9. Suppose 0*m - 35 = -5*m. Let x be d(m). Solve -x*s - 1 = -5 for s.

2

Let i be 81(18 + -17). Solve 17 = 5*m - i for m.

5

Suppose -7*a + 18 = -a. Suppose 0 = a*s - s. Solve 9 = -s*d - 3*d for d.

-3

Let y = -3 + 4. Let j be (32/(-16))/(2/(-4)). Solve j = -3*v + y for v.

-1

Let h be (-2)/14 + (-472)/28. Let a = h - -25. Solve -k = -3 + a for k.

-5

Let k = -11 + 18. Let n(j) = -j + 9. Let x be n(k). Solve 0 = -3*p + x + 10 for p.

4

Suppose -5*b = 2 + 3. Suppose 2*p = 6, -4*d - 3*p - 7 = -4*p. Let x = b - d. Solve x = -w - 4*w + 15 for w.

3

Let h = 24 + -20. Solve -t = h*t for t.

0

Suppose 24 = 4*k + 4*l, -2*k = 3*l + 11 - 27. Solve -5*v - 3 = k for v.

-1