Let d(h) = h. Let j be d(6). Suppose 0 = -2*z + j. Solve z = -t + 7 for t.
4
Let r(j) = 3*j + 9. Let s(f) = 4*f + 9. Let y(n) = 3*r(n) - 2*s(n). Let q be y(-7). Solve q*h + 0 = 4 for h.
2
Let t(x) = x**2 + 6*x - 5. Let a be t(-5). Suppose 0 = -j + 5*b - 32, -15 - 5 = -5*b. Let h be j/(-3) - 2 - a. Solve h = -0*q - 4*q for q.
-3
Let h = -4 - -12. Suppose -3*r - h = -5*j, -2*r = -6*r - 4*j + 32. Solve -x + r = x for x.
2
Let f = -56 - -60. Solve -6 + 2 = f*z for z.
-1
Let w = -24 - -14. Let b = w - -15. Solve q = b*q - 16 for q.
4
Let l(g) = g3 - 9*g2 + 3. Let u be l(9). Solve -u*c + 7*c = -16 for c.
-4
Suppose -u = -5*u. Let l(t) = -3*t - 9. Let d be l(-3). Suppose d*h + 2*h - 4 = u. Solve -h*p = -7*p + 10 for p.
2
Suppose 0 = -5*o + c - 14 - 1, -5*o = -5*c + 15. Let u be (0/(-1))/o - -3. Suppose u*l = 8*l. Solve l*v - 15 = -3*v for v.
5
Let u(s) = -2*s - 9. Let t be u(-6). Let m© = 5 - t*c - 1 - 3. Let o be m(-1). Solve 0*z + 8 = o*z for z.
2