Let z(o) = o**2 - 3*o + 7. Let q be z(0). Solve 0 = 4*h + q + 9 for h.
-4
Suppose -5*z + 30 = 5*y, -4*z + 6*z - 8 = -y. Solve -2*f = -y*f - 6 for f.
-3
Let d = -18 + 18. Solve 5*y = -d*y - 20 for y.
-4
Let q be (12/(-5))/(-3)*5. Let u = 3 - q. Let t = 3 + u. Solve t*z - 3*z = -3 for z.
3
Suppose 0*k + 2*k = 6. Suppose 0 = 2*n - k*r + 1 - 16, -24 = -3*n + 5*r. Let c be (-40)/(-3) + (-1)/n. Solve -5*g - 2 = c for g.
-3
Suppose 0 = f + 6*y - 3*y + 1, 7 = -2*f - 5*y. Let v be (f/10)/(4/(-10)). Solve -4*w = v - 0 for w.
-1
Let g be (-28)/3*6/(-4). Let y be 4/g - (-2)/(-7). Let i = 23 - 20. Solve y = -c + i*c + 6 for c.
-3
Let p = -2 - -5. Suppose 3*m - 4 = -2*n - m, -3*m + 6 = p*n. Solve -5*t - 3 = -n*t for t.
-1
Suppose -5*t - 4*o = -16, 2*t - 5*o - 3 = 10. Solve q + t*q = 10 for q.
2
Let u be (-65)/(-55) + (-4)/22. Solve -h - u = -6 for h.
5