Let l = 12 - 9. Solve 0 = -c - 2 - l for c.

Let s be (0/(-1*2))/(-3). Suppose -5*j + 20 = 5*j. Solve s = j*t - 7*t for t.

0

Let a = -3 - -5. Solve a*f + 16 = -2*f for f.

-4

Let r(g) = -g - 5. Suppose -3*q - 9 = 0, -4*s + s - 6 = 4*q. Suppose 0 = s*t - 3*u - 0 + 23, 3*t + 9 = -4*u. Let k be r(t). Solve 0 = -2*m - k*m for m.

0

Let y be 2 + 0 + 1 + 2. Solve 7*s = y*s - 10 for s.

-5

Let p = -11 - -11. Solve p = -o - 3*o for o.

0

Let q(j) = 3*j - 1. Let s be q(2). Suppose s*c - u - 16 = 0, -21 + 5 = -4*u. Solve -c*k - 7 = 9 for k.

-4

Suppose -5*b = -a + 2*a + 2, 4*b = -4. Solve 0*s = 3*s + a for s.

-1

Suppose 0 = -3*n + 1 + 5. Suppose -r = -3*q + 4*r - 15, n*r - 6 = 3*q. Solve 0*t + 4*t - 20 = q for t.

5

Suppose 7*k - 40 = 2*k. Solve k = -g + 5*g for g.

2

Suppose 0 = 5*k - 0*k - 40. Let m be ⁸⁄₁ + k/4. Suppose -5*s - 3*n + 2*n = 3, -2*s - 15 = 5*n. Solve s*c = 2*c + m for c.

-5