Let r be -1*(-3 + (-54)/(-3)). Let n = r + 19. Solve -k - 15 = -n*k for k.

5

Suppose 2*w = 5*y - 16, 0*y - 3*w + 2 = -y. Solve b = 5*b - y for b.

1

Suppose -a = -1 - 1. Suppose 25 = 3*s + a*s. Solve s - 21 = 4*q for q.

-4

Suppose -3*x + 7*x = -8. Let z be (-20)/(-6) - x/3. Suppose 4 = -z*t + 2*f - f, 0 = 2*t - f + 4. Solve 0 = -t*c - 5*c - 15 for c.

-3

Let g = 2 - -1. Suppose -g*b = 2*o + 18, -3*b = -2*o - 4*b - 14. Let p be 8⁄12 + (-20)/o. Solve -3*i - 5 = -p*i for i.

5

Let c = 3 + -1. Suppose -2*d - 4*y + c = d, -9 = -5*d - y. Suppose 3*l = d*w + w, -l = w. Solve -1 = m - w*m for m.

-1

Let b(u) = u**2 - u - 2. Let o be b(3). Suppose o*d + 4*m = 48, d = -3*m + 8*m - 18. Solve 2*v + d = 1 for v.

-3

Let f = -5 - -17. Solve -2*t - 2*t = f for t.

-3

Suppose -2*t + 16 = -0*t. Solve -g + t = 3*g for g.

2

Suppose -o - 2*o = 2*d - 15, 5*o - 13 = -2*d. Solve -7*t = -d*t - 10 for t.

-5