Let a = -7 + 8. Solve 3*u + a = -2 for u.
-1
Suppose -5*s - 5*y + 120 = 0, -3*s + 5*y + 12 + 44 = 0. Suppose -4*r = -14 - s. Let l(x) = -x**2 + 10*x - 3. Let v be l®. Solve 5*w = 3*w - v for w.
-3
Suppose 0*j + 2*y - 6 = -2*j, -2*y + 14 = 4*j. Let m = j - 3. Let v be (0 - -2) + (m - 0). Solve -v = 2*b - b for b.
-3
Suppose -3*l + 6 = -l. Suppose 6 = j - l*z + 2*z, -6 = j + 2*z. Suppose j*q - 23 = -5*o, -18 = -2*o - 2*q - q. Solve 0 = -2*n + o*n + 4 for n.
-4
Suppose 0 = 4*n - 13 - 11. Suppose -15 = -n*x + x. Solve -x*p + 7 = 22 for p.
-5
Let r be (-4 + 7)/(1⁄5). Suppose 0 = 2*x + 3*x - r. Suppose 6*t = x*t + 9. Solve 5 = -t*j + 17 for j.
4
Suppose 0*s + 3*s = 2*v - 21, v + 5*s = -9. Solve 4*q = 6*q - v for q.
3
Let j = 18 + -15. Solve -j*s = -0*s for s.
0
Suppose 0 = -j + a - 11, 2*j + 26 = a + 5. Let z = j - -10. Solve 3*t - 2 - 10 = z for t.
4
Let g = 100 + -100. Solve 3*o + o - 8 = g for o.
2