Let a(f) = f + 4. Let w be a(0). Suppose -4*l + 17 + 7 = 3*n, 3 = l. Solve -16 = -n*i - w for i.
3
Suppose 0*d + 4*d = -8, 0 = -2*k - 2*d - 4. Solve 2 = -k*w + 2*w for w.
1
Let f = -6 - -9. Suppose 2*h + j = 24 + f, -3*h = -3*j - 54. Let d(i) = -i. Let t be d(-5). Solve -4*w - t = h for w.
-5
Suppose -z - 24 = 3z. Let r be -4(-1 + (-3)/z). Solve 1 = -r*w - 1 for w.
-1
Suppose -5*d = -15, -o - 2*d + 1 = -3*d. Suppose -6*t - 40 = 50. Let b = -15 - t. Solve b = o*y + 8 for y.
-2
Let t = -30 - -34. Solve 2*d - t = d for d.
4
Let u = -12 - -15. Solve k - 12 = -u*k for k.
3
Let k = -52 + 59. Solve -3 = -2*a + k for a.
5
Suppose -114*m = -113*m. Solve -t - 2*t + 9 = m for t.
3
Let o = -20 + 22. Let p = o + 5. Solve 10 = 2*x - p*x for x.
-2