Suppose -2*s = 3*q - 3, 0 + 3 = -q - 2*s. Solve -5*d + 7 = -q for d.
2
Suppose -4*q + 12 = -4*y, -4*y + 2*q - 4*q + 18 = 0. Solve -y = 4*p + 6 for p.
-2
Suppose -s - 8 = -0*s + h, 2*h = s - 1. Let o(a) = -a - 1. Let l be o(s). Solve 0 = l*t + 6 + 2 for t.
-2
Let d(b) = -b + 7. Let j be d(5). Solve 2*v + j = -2 for v.
-2
Let v = -23 + 41. Let p = v - 15. Solve -p*r - 7 = 5 for r.
-4
Suppose n + 0 = 5*d - 7, -2*d = -5n + 11. Let p be (-20)/(2(-1)/d). Solve 0*m = -4*m + p for m.
5
Let g be (-25)/(-7) - (-5)/35*-4. Suppose 0*m = -m + 6. Solve -g*j = -j + m for j.
-3
Let t = -2 - -4. Suppose 0 = r - t*r + 11. Let j = 16 - r. Solve 6*m = m + j for m.
1
Suppose -3*y + 0*p = -p, -12 = 4*p. Let t be (1 + -1)*y/(-2). Solve t*a = 3*a - 12 for a.
4
Suppose -v - 3*a = -4*v, -5*v + 3*a = 0. Let l(y) = y**2 - 3. Let x be l(3). Suppose 0 = c + 4 - x. Solve v = c*u + 3*u for u.
0