Let o = -37 - -45. Let m be (-3 + 0)*15/(-9). Suppose 2*i - 5 - 5 = -4*p, -m*i + 25 = 3*p. Solve 2*s - o = -p*s for s.
4
Let q = 3 + 2. Suppose q*s - 4 = 4*z + 11, 0 = s - 2*z - 3. Suppose 0 = 5*k - g - 3, -4*k + 6*k - 3*g = 9. Solve s*p - 15 = -k*p for p.
5
Let a be -3 + 3 + 0/(-3). Solve a = -2*y + 2 + 2 for y.
2
Let y(b) = -5*b - 1 - b2 + 4*b2 - 3 + 2. Let n be y(4). Solve 5*k - 1 = -n for k.
-5
Let f = 33 - 23. Solve 0 = 2*u - 7*u - f for u.
-2
Let l = -2 + 6. Suppose 4*t - 20 = -l. Solve t*g + 10 = -10 for g.
-5
Suppose -2*m - 5*g = -5 - 13, 0 = 5*g. Let z = -36 + 37. Solve 0 = -5*h + z + m for h.
2
Suppose 0*p - 4 = -p. Suppose d + p = 2*d. Solve 0 = -3*z + d + 5 for z.
3
Suppose -2*z - 11 = -4*z - 5*b, z + b - 4 = 0. Solve z*s - 2 = 2*s for s.
2
Suppose -10 - 11 = -3*o. Solve -5*d = 8 + o for d.
-3