Let u = -31 + 53. Suppose -3*f - 7 = -u. Suppose -3*k = -2*t + 12, f*t - k - 30 = -2*k. Solve -25 = s - t*s for s.

5

Suppose -7*v = -3*v - 36. Solve -2*f = f - v for f.

3

Let s = -3 - -3. Solve 0 = 4*q - s*q + 12 for q.

-3

Suppose 3*b = -h + 11, -h = -b - 1 + 2. Solve h*g + 2 = 8 for g.

3

Let j be 6 - 7/(288). Solve 0 - j = 2*z for z.

-2

Let n = -2 + 2. Suppose -5*d = -v, n*v = -v - d. Solve v = -3*o - 7 - 2 for o.

-3

Suppose 0 = -g - 2*g. Suppose g = 4*f - 3*f. Suppose f = -3*n + 16 - 4. Solve -2*j + 0*j = -n for j.

2

Suppose -a + 1 + 3 = 0. Suppose -50 = -a*c - 2. Let b = 7 - 3. Solve -c = b*o - o for o.

-4

Suppose 13 = 7*a - 1. Solve a*z = -0*z + 4 for z.

2

Let h be 34 + 3/(-4). Solve 2*c = -h*c - 4 for c.

-2