Suppose -2*l - 7*c + 2*c + 129 = 0, 0 = 4*c - 20. Let j be l/(-3) + (-7)/(-21). Let p = 25 + j. Solve -k - k = -p for k.

4

Let a(x) = 6*x. Let n be a(1). Let y(i) = i + 6. Let b = -15 - -11. Let d be y(b). Solve d = 2*t - n for t.

4

Let g = 15 - 9. Solve 4*a - 10 = g for a.

4

Suppose -3*t - 3 = 0, o - 3*t - 2 - 1 = 0. Suppose -4*s + 11 = -a, -s - s + 2*a - 2 = o. Let f be 113 + 13. Solve -f = -2*u + s for u.

4

Let g(y) = -y + 20. Let k be g(16). Solve 0*u + u = -k for u.

-4

Let o be -414-2. Let l be 2612 + o/(-12). Solve -j - l - 3 = 0 for j.

-5

Let n = -2 + 5. Suppose n*b - 14 - 1 = -i, 5*i + 5*b = 25. Solve 3 + i = -3*h for h.

-1

Let s = 68 + -96. Let p = -22 - s. Solve -p*t = -t for t.

0

Suppose 0 = 4*s - 139 + 3. Suppose -p + 4*l + 0*l - 1 = 0, 2*p - s = -l. Suppose -3*m + p = 2*m. Solve m*b = b for b.

0

Let h = -7 + 15. Let k = 14 + -6. Suppose -4*u + k + 0 = 0. Solve 2 = u*x - h for x.

5