Suppose 2*r = s + 4, 0 = -4*r + r + 12. Let k(g) = 2*g**2 + 17*g + 6. Let x be k(-9). Suppose 0 = -4*y - 5*b - s - 3, 3*y - 3*b - x = 0. Solve w + 0 = y for w.
2
Let m be 7 - (2 - (2 - 3)). Suppose m = 2*c - 10. Solve 0 = -5*t + c - 2 for t.
1
Let j(h) = -h3 + 8*h2 + 6*h - 12. Let b be j(8). Let r = b - 20. Suppose -5*a = -3*v + v + 8, 0 = 4*v - r. Solve a*s = 3*s + 12 for s.
-4
Let x = -8 - -8. Suppose x = 4*q - 2 - 6. Solve q*u - 4*u = -4 for u.
2
Suppose -3*s - 13 = z, -5*z + 6 = -2*s + 3. Let a be 2 + -1 + z + 4. Let m = -21 - -30. Solve -m = a*q + 3 for q.
-3
Let q be (17⁄2 - 2)*2. Let d be 4⁄10 - q/(-5). Let i = 0 + d. Solve g - i*g = 8 for g.
-4
Let q be (2⁄3)/2*3. Let p = -1 + q. Suppose 2*k + k = p. Solve 3*f + 2 + 7 = k for f.
-3
Suppose -36 - 36 = -3*l. Suppose z = -z + l. Solve z = -3*o - 3 for o.
-5
Let a = -2 - -3. Solve a = 3*u - 5 for u.
2
Let r be 8⁄52 - (-63)/13. Let f = 7 - r. Solve -f*v + 4*v = 0 for v.
0