Let v(t) be the first derivative of t3⁄3 - 3*t2 + 4*t - 10. Let g be v(6). Solve 1 = -g*o + 5 for o.
1
Let p© = c**2 - 7*c + 6. Let w be p(6). Suppose -4*r = -w*r. Solve r = i - 4 for i.
4
Suppose 3*f + 15 = 3*i + 4*f, -7 = -i - f. Solve 0 = 2*n + i for n.
-2
Let i© = -c + 8. Let d be i(6). Suppose 0 = 2*a - d - 2. Solve 7*o = a*o for o.
0
Suppose 0*x = 5*x + 50. Let p = 13 + x. Solve -w = 2*w - p for w.
1
Let l be ((-2)/1)/(3/(-18)). Suppose -3*a = a - l, 4*v + 2*a = 30. Let k = 3 + -2. Solve -v = -5*z - k for z.
1
Suppose 0*o - 3*o = -3*i, 3*i + 8 = 5*o. Suppose 2*g = o*g. Solve 8 = 2*p - g*p for p.
4
Let n(z) = 4*z + 12. Let u be n(0). Solve 0*p + u = 4*p for p.
3
Let q(i) = -2*i + 3. Let b(m) = -m - 1. Let t(l) = -b(l) + q(l). Let y be t(0). Suppose 2*j = y*j. Solve w + j = 2 for w.
2
Let b = -92 - -103. Solve -9 = b*k - 14*k for k.
3