Let s = 7 + 9. Solve s = b + 3*b for b.
4
Let z(s) be the first derivative of -s4⁄4 + 7*s3⁄3 - 7*s**2⁄2 + 8*s + 5. Let p be z(6). Solve -p*l + 7*l = 0 for l.
0
Let l(p) = p**2 - p - 3. Let d be l(4). Let k = -6 + d. Suppose 10 = -4*v + 30. Solve -v*t - 28 + k = 0 for t.
-5
Let i = 14 - 14. Suppose -8*n + 4*n = i. Solve n*x + 8 = 4*x for x.
2
Suppose 2*p + l = 1, -p - 8 = p + 4*l. Solve 3*v + p*v - 20 = 0 for v.
4
Suppose 0 = -4*f + 81 + 19. Suppose 2*i - 3*p = 9, p - f = -4*i - 0*i. Solve -o = -i*o - 25 for o.
-5
Suppose 0 + 4 = 4*n. Suppose -h + n = -1. Suppose -3*g + 5*k - 25 = 0, 2*k + 6 - 16 = -3*g. Solve g = h*m - 7*m - 25 for m.
-5
Let x = -16 - -20. Solve -5 - 7 = x*z for z.
-3
Let a = 2 + -4. Let y = a - 0. Let f be (4⁄6)/(y/(-15)). Solve -f - 7 = 4*c for c.
-3
Let s(l) = -2*l3 - 4*l2 + l. Let m be s(-4). Let p(f) = -f3 - 8*f2 + 8*f - 4. Let v be p(-9). Suppose 0*h + v*h - m = 0. Solve -2*q + h = -6*q for q.
-3