Let k = -7 - -12. Suppose v - 5*w - 19 = k, -30 = -2*v + 4*w. Suppose -6 + 3 = -3*m. Solve -5*c - m = v for c.
-2
Suppose 0 = -h + 5 - 1. Let a = -3 + 3. Suppose 2*t + u = -t + 11, 13 = 3*t - u. Solve a*l = -t*l - h for l.
-1
Let o = 43 + -40. Solve 2*v - v - o = 0 for v.
3
Let l = -129 - -133. Solve -7*n - l = -3*n for n.
-1
Suppose 0 = 2*v, 4*n + 2*v + 1 = 9. Solve -2*t + n = -t for t.
2
Suppose -2*o + 28 = -5*z, 6*o + 2*z - 12 = o. Suppose 0 = -2*d - 2*d - 5*x + 30, 0 = x - 2. Let m = d - 3. Solve -o*y + 10 - m = 0 for y.
2
Suppose 0 = -7*o + 4*o. Suppose o = z - 4*z + 3. Solve 3*f = 2*f - z for f.
-1
Let o = 4 - -2. Let l = o + -6. Suppose l = 3*z + 15, -11 = -4*y + y - 2*z. Solve v - y = -2 for v.
5
Let b = -12 + 17. Solve 0 = -2*f - b + 1 for f.
-2
Let l(q) = -8*q + q3 + 1 + 19*q - 8*q + 6*q2 - 3. Suppose -2*g - 5*o - 10 = 25, 5*g - 4*o = -5. Let d be l(g). Solve 0*s - d = 2*s for s.
-4