Let z = 3 - -6. Solve 3*k + 0*k = z for k.
3
Suppose -4*h = 4*q - q + 126, 0 = h + q + 31. Let w be (-4)/(-26) - h/39. Solve 2*l - 7 + w = 0 for l.
3
Suppose 0 = -4*i + 4*l - 16, 16 = 3*i + 5*l - 4. Suppose i = 2*z - 5*z + 6. Solve -z*o + 7*o = -20 for o.
-4
Suppose -7 = 5*o + 3. Suppose 0 = 7*f - 0*f - 21. Let v = f - o. Solve 4*k + 15 = -v for k.
-5
Let y = -4 + 1. Let m = 5 + y. Suppose -3 + 1 = -2*t, m*t + 3 = a. Solve a*k + 3 = 4*k for k.
-3
Suppose 3*q = 9 + 3. Suppose -1 = p - q. Suppose -h = p*l - 22, -3*l + 0*l = -4*h - 2. Solve 0 = 4*s - 6*s + l for s.
3
Let s = 2 + 2. Solve 0 = -0*f + 2*f - s for f.
2
Suppose -2*q + 4*b = 3*q - 36, 16 = -4*b. Solve -d - q*d = -5 for d.
1
Suppose -2*f - 5*d - 6 = 0, 2*d + 2 = 4*f - 10. Suppose -4*y = 3*n - 7*n - 24, f*n - 3 = -3*y. Solve -h - 8 = -y*h for h.
4
Let p(x) = 2*x + 28. Let r be p(-12). Solve w + 0 + r = 0 for w.
-4