Suppose -2*d - 8 = 4*r + 2*d, -3*r + 5*d + 26 = 0. Suppose -q = -2*q + r*k + 11, 3*k = q - 9. Solve -8*n + q = -3*n for n.
3
Let w = 11 - 0. Solve 0 = 2*g + w - 1 for g.
-5
Let t be 2/(-12) - 62/(-12). Suppose 0 = -2*z - q + 11, -t*q + 1 = 2*z - 14. Solve 10 = z*l - 0*l for l.
2
Suppose 2*m + m = 0. Let u be (-2)/(4*2⁄4). Let h be -6*u/3*5. Solve 2*l - h = -m*l for l.
5
Let j be (-12)/((-6)/3) + -2. Suppose 0 = -3*s + 2*x + 16, j = -s + 3*x - 0*x. Solve -2*t + s = 2*t for t.
2
Let f = 10 - 9. Solve -4*u - 5 = -f for u.
-1
Suppose 2 = -l + 10. Let b be (-2)/l + 3⁄12. Solve 4*g = -4 - b for g.
-1
Let v = -7 - -10. Suppose 3*u - 4*u + 11 = 3*d, u + 7 = v*d. Let t = 2 + d. Solve -t + 3 = b for b.
-2
Suppose 0 = t - 5*t + 12. Solve t*b + 0*b + 3 = 0 for b.
-1
Let p = -619 + 619. Suppose -4*b = b + 2*q + 1, 3*q + 11 = 2*b. Solve -2*t + b + 9 = p for t.
5