Let d = -34 - -36. Solve -d*i - 3*i = -25 for i.
5
Let a = -18 - -7. Let t = -8 - a. Solve 0 = 2*f - t + 13 for f.
-5
Let u(f) = -3*f + 7. Let r be u(1). Solve 0*x - 8 = r*x for x.
-2
Let j(l) = -l3 - 9*l2 + 2*l + 20. Let d be j(-9). Solve -4*v - d = -5*v for v.
2
Let b = -14 - -16. Solve -2*f - b = -f for f.
-2
Let l = -23 + 11. Let u = l + 26. Suppose -5*v = -2*v - 4*n + 4, 0 = 5*v - 4*n - 4. Solve -2*o + u = v for o.
5
Let z = 5 - 3. Let n(i) be the second derivative of i5⁄10 - i4⁄6 - i**2 + 2*i. Let k be n(z). Solve 0 = k*y - 4*y - 6 for y.
3
Let s = -9 + 14. Solve s*c + 20 = -0*c for c.
-4
Suppose 5*j - 10 = -0. Suppose -j*p - 2 = -0*p + o, -o = -3*p + 2. Solve p*v - 2*v = 6 for v.
-3
Suppose 4*q - 11*q = 0. Suppose -4*s = 5*a - 32, -4*s + 0*s = -2*a - 4. Solve h + q*h - s = 0 for h.
3