Let i(s) = -s - 16. Let o be i(-12). Let j(q) = q3 + 3*q2 - 4*q + 3. Let x be j(o). Solve 0 = t - 4*t - x for t.
-1
Let t(s) = -s + 12. Let b be t(7). Solve -39 = b*g - 14 for g.
-5
Let p = -4 + 12. Let r = 12 - p. Solve 5*f = -21 - r for f.
-5
Let y(i) = -5*i + 2. Let h be y(0). Solve h*l = -0*l - 4 for l.
-2
Suppose 0 = -5*b - 11 - 4. Let w be (8/(-3) - b)*18. Suppose 3*j - w*j = 0. Solve j + 6 = 2*f for f.
3
Let d = -1 - -4. Solve d*r - r = -6 for r.
-3
Let v = -43 + 51. Solve 2*o + v = -0 for o.
-4
Let i(x) = 3*x + 17. Let g be i(-4). Let v be (-2 + -1)/(-3) + 5. Solve -g*w = -v - 9 for w.
3
Suppose -5*s - 6*b = -b - 10, 2*s - 4*b = 10. Solve -j - 2 = -s for j.
1
Let z = -3 + 5. Let k = -4 + 5. Let i = z - k. Solve x + i = -4 for x.
-5