Suppose 4 = 3*m + 19. Let j = m + 7. Solve j*s + 3*s - 10 = 0 for s.
2
Let v(p) be the first derivative of p3⁄3 + p2⁄2 - 9. Let l(u) = u**2 + 3*u + 2. Let j be l(-3). Let s be v(j). Solve s*k = 2*k + 16 for k.
4
Let t(d) = 6*d**2 - 2*d - 3. Let x be t(-1). Solve 0*h = 5*h - x for h.
1
Let o = 24 + -21. Solve x = -o*x for x.
0
Let q(o) = o**2 - 5*o + 5. Let y be q(5). Let m be y/(-2)*24/(-3). Suppose 3*z - 2*r = 2 - 3, -r = 4*z - 17. Solve -i = z*i - m for i.
5
Suppose 80 = 4*j - 0*j. Suppose -h = -6*h + j. Solve -16 = -h*l - 0*l for l.
4
Let a = -6 - -5. Let o = a + 7. Suppose -2*u + 4*v = o, 2*u - 20 = -4*v - 2. Solve h + u*h = 0 for h.
0
Let r = -82 - -86. Solve 0 = -4*z + r + 16 for z.
5
Suppose 0 = 3*y - 0*y. Suppose -5*l = -o + 14, -l - 3*l = -o + 12. Let a be y - 3 - -5 - l. Solve -a*j + 7 - 3 = 0 for j.
1
Let d be 2/(-9) + 376⁄72. Suppose -d*j + j = -12. Solve -17 = -j*i - 2 for i.
5