Suppose -5*v + 2*v + 12 = q, -4*v = -2*q - 6. Solve 0*u = u - v for u.
3
Suppose -2*k - t = -0 + 4, -t - 4 = 0. Suppose 0 = -2*s + 5*v - 2, -2*s + s = 2*v - 8. Suppose 0 = -s*d + 14 + 6. Solve 0*a - d*a = k for a.
0
Let f(a) = -3*a + 3. Let p be f(3). Let c = p - -12. Suppose 3*s - 6*s + c = 0. Solve -4 = -3*h + s for h.
2
Let l be 4 + 8 + 6/(-2). Solve -k - l = -4*k for k.
3
Suppose -r = -v - 5, -v - 23 = -4*r + 4*v. Suppose -3*w = 15, 28 = r*h - h - 4*w. Solve -5*z + z = -h for z.
2
Suppose -5*c + 0*c = -2*q - 19, q = -2. Solve 0 = -0*r - c*r for r.
0
Suppose 0 = 23*m + 3*m - 130. Suppose -2*d - 4*k - 12 = 0, -3*d = 5*k + 7 + 6. Solve d*a - 5*a = m for a.
-5
Let d be (2/(-6))/((-2)/(-66)). Let q(y) = y + 13. Let c be q(d). Suppose -1 = -3*w + 3*r - 4, -3*w + c = 2*r. Solve w = -0*z - z + 4 for z.
4
Suppose 22 = 2*t + q + 8, -q - 31 = -3*t. Solve -5*r = -2*r - t for r.
3
Suppose 4*b = 3*b + 15. Suppose -w + 6*w + b = 5*v, -3 = -3*w. Let y = -16 - -20. Solve 5*l + y = v*l for l.
-4