Let r(v) = v. Let h = 7 + -7. Let x be r(h). Suppose q - 5*q + 32 = x. Solve -3*u - 1 = q for u.
-3
Let a = -7 - -9. Solve 0 = a*f + 3*f - 20 for f.
4
Suppose 8 = 2*g + 2*l, 3*g - 11 = l + 5. Suppose 5*h - g = 30. Suppose -3 = -8*v + h*v. Solve v - 5 = -p for p.
2
Suppose 4*f = -a + 24, a + f - 4 = 14. Solve -3*u + 4 = a for u.
-4
Suppose 7 = -3*w + 4. Let n = 1 - w. Solve -n = 2*c - 4*c for c.
1
Suppose 0 = -5*g + 3*c + 1, 2*g + 0*c - 5*c + 11 = 0. Let v be -2 + (-4 + 2 - -4). Solve v = -g*w + w for w.
0
Let c be (-17 - -2)*(-5)/15. Solve -5 = c*t + 10 for t.
-3
Suppose 3 = 11*v - 10*v. Suppose 4*x = v*x. Solve x = 2*r - 0 - 10 for r.
5
Let v(g) = 9*g + 9*g2 + g3 - 7*g2 + 6*g2. Let t be v(-6). Suppose 2*d = l + 3*l - t, -21 = -3*l + 3*d. Solve -3*h - 8 + l = 0 for h.
-2
Suppose -4*c + 0*c = -16. Suppose -6*k + c*k - 5*n = 4, 2*n - 2 = -2*k. Solve k*f - 5 = 2*f for f.
5