Suppose -3*l + 0*q - 2*q + 11 = 0, 5*l = 4*q - 11. Suppose -3*n + 8 + l = 0. Suppose 13 = -2*r - 4*u + 1, 0 = n*r + 4*u + 12. Solve -2*s + 3 - 9 = r for s.
-3
Let n = -6 + 4. Let w = 5 + n. Let m = w + 7. Solve -i - m = i for i.
-5
Suppose 0 = -5*a + 5, -3*j - 3*a = -6*j + 135. Let o = -26 + j. Solve -s - o = 4*s for s.
-4
Suppose -o - 3 + 2 = 0. Let u = 1 - o. Let d = u + -2. Solve -15 + d = 5*i for i.
-3
Let u = -7 - -13. Let x(a) = -a3 + 6*a2 + 3*a - 2. Let h be x(u). Solve -4 + h = 4*b for b.
3
Let q be (-6 - -7) + 0 + 1. Solve -q = 4*i + 10 for i.
-3
Let y(f) = -f + 1. Let c(h) = -3*h + 2. Let q(p) = -c(p) + y(p). Suppose 0 = -3*u + 2*j - 3*j + 9, -23 = -4*u - 5*j. Let o be q(u). Solve -k - o*k = 8 for k.
-2
Suppose -a + 5 = 1. Let w = a - -1. Let h = 9 - w. Solve -g + 1 = h for g.
-3
Let i(p) = -p - 6. Let f be i(-7). Let x(s) = 3*s + f - 2 + 4. Let n be x(5). Solve -n = 4*y + 2 for y.
-5
Let i be 1*3 + 3 + -4. Suppose -6 = -i*p - 2. Suppose -2*s = -2 - p. Solve s = 4*l + 18 for l.
-4