Let h be 2/(-12) - (-130)/60. Solve h = 2*k - 0 for k.

1

Let t be -1*(-3)/(-1) - -8. Suppose n = -t*q + 37, n - 4*q + 56 = 4*n. Solve 2*x - n = -x for x.

4

Let v(t) = 5*t + 6. Let i be v(-5). Let d = 32 + i. Suppose d = q + k, -32 = -4*q - k + 2*k. Solve 2*x = q + 1 for x.

5

Let v = 138 + -136. Solve 0 = -3*t - v*t - 25 for t.

-5

Suppose 2*u + u = 21. Let o = u - 4. Solve 0 = -3*g + o for g.

1

Suppose 0 = -5*z + 34 + 21. Suppose -z = 4*w - 35. Solve -2*b - w = -4 for b.

-1

Suppose 5*w - 30 + 7 = -c, 4*c - 28 = -4*w. Solve c*j - 9 = -0*j for j.

3

Let j be -4*4⁄20*5. Let u(v) = v**2 + 3*v - 4. Let d be u(j). Solve d = -2*f + 5*f - 6 for f.

2

Let o be (0 - (0 + 1)) + 1. Suppose -d + j + 6 = -3*j, 4*j = -4*d + 4. Suppose -d = -k + 3. Solve o - 15 = -k*m for m.

3

Suppose k - 2 - 3 = 0. Suppose -3*w + 4*w - 9 = 0. Let p = w - 3. Solve -p = -k*n + 19 for n.

5