Let b(g) be the first derivative of g**2⁄2 + 10*g - 3. Let z be b(-7). Solve -z*s = -5*s - 2 for s.
-1
Let o = 13 - 10. Solve -o*y + 16 = y for y.
4
Let s = -8 + 10. Suppose t + 1 = 4*w - 5, 3*w = 4*t - 2. Solve -r - s - w = 0 for r.
-4
Let f = 70 + -48. Suppose -l - 2*p - f = -5*l, 5*l = -3*p + 11. Solve 0 = l*k + k + 20 for k.
-4
Let h be ((-8)/4)/10 + 32⁄10. Solve -2*c - h = -c for c.
-3
Suppose -4*q - 22 = -o, -q + 4 = 5*o - 1. Suppose 5*p = 4*b + 50, 5*p - 60 = -0*p + o*b. Solve -4*m + p = -2 for m.
4
Let p be ((-28)/8)/(-7)*0 + 4. Suppose -w = -2*w + 5. Suppose 4*v + v = w. Solve -p = -g - v for g.
3
Suppose -2*m = m + 3*a + 3, 5*a + 25 = 5*m. Solve 3*u + m*u + 25 = 0 for u.
-5
Let j be 0 - 0 - 25/(-5). Let o be 1(2 - j)-1. Solve -o*l = 6 - 0 for l.
-2
Suppose -u + 19 - 14 = 0. Solve -u*p = -14 - 1 for p.
3