Let t = -135 - -152. Solve -t*q + 16*q = 0 for q.
0
Suppose 3*l - 1 - 11 = 0. Let t® = r - 8. Let y be t(8). Suppose y = -0*o + 3*o. Solve o = 2*n - l for n.
2
Suppose 4*x = x - 9. Let j = 13 + -10. Let m be 1 + x + j + 2. Solve -m = -w + 4*w for w.
-1
Let v(f) = 0*f - 2 + 0*f - 2*f + 3*f. Let z be v(4). Solve 12 = -2*o - z*o for o.
-3
Suppose 24 = 20*z - 17*z. Solve 0 = 3*r - z - 7 for r.
5
Let j(a) = -8*a + 5. Let t(q) = 7*q - 4. Suppose 3*m - 2*c - c + 21 = 0, -4*m - c = 28. Let x® = m*t® - 6*j®. Let d be x(-3). Solve d = 4*w - 15 for w.
4
Let f(t) = -t. Let g be f(-4). Suppose 5*o = b + 52, g*b - 3*b = 2*o - 22. Suppose -4*v + 2 = -o. Solve 2*x - 1 = -v for x.
-1
Suppose 0 = 3*b - 2*v - 1, v = -5*b + 2*v + 11. Solve -b = -k - 4 for k.
-1
Let b = -32 + 43. Solve -b*d = -6*d - 5 for d.
1
Suppose -2*d + 5*d + 5*o - 19 = 0, 0 = d - 4*o + 5. Solve 8 = -c + d for c.
-5