Suppose 3*c + 3 - 15 = 0. Let s be (c/6)/(1⁄3). Suppose 3*l = t + 5*l - 8, -s*t = -5*l - 16. Solve -t = 2*v - 6*v for v.
2
Suppose 19 = 3*k - k - 3*l, -2*l - 6 = 2*k. Solve -5*j = -k*j + 15 for j.
-5
Let u(w) = w - 5. Let l be u(5). Suppose l*b = 3*b. Suppose b = -0*v - 3*v + 15. Solve 4 = 3*c - v for c.
3
Let s = -9 - -15. Suppose -a - s*j = -2*j + 18, -j = -5*a - 6. Let u = 3 - a. Solve l - 6*l = -u for l.
1
Suppose -2*u = -8, -23 = -5*t - 5*u - 3. Solve -j + t*j = -5 for j.
5
Suppose -5*u = w - 5*w + 384, 5*u + 96 = w. Suppose -3*l + j + 117 - 19 = 0, -3*l + w = -3*j. Solve -5*b - l = -8 for b.
-5
Suppose 0 = -5*g + 2*g + 6. Let t(w) = w**2 - 4*w - 8. Let a be t(6). Suppose -2*z + 0*z = -a. Solve -g*q = -z + 12 for q.
-5
Suppose -4 = -3*h - 1. Suppose 13*k - 123 = -58. Solve -h = g - k for g.
4
Let l = 3 - 1. Suppose 1 + 9 = 2*y. Solve 0 = l*j + y - 1 for j.
-2
Let q be 36⁄5 + 1/(-5). Let o be ((-9)/4)/(2/(-8)). Suppose h + h + 3*f + 13 = 0, -4*h + f = -o. Solve 2*n + q = -h for n.
-4