Let v(s) = s3 + 8*s2 - 10*s - 6. Let b be v(-9). Suppose -b*j + j = -6. Solve 0 = -j*c + c for c.
0
Suppose 0 = -6*a + a + 3*m + 19, -4*a + 14 = -2*m. Suppose 0 = a*i - 4*u - 25 + 1, 2*i = -2*u. Suppose -12 = -i*v + v. Solve -s = v*s for s.
0
Let u(s) = -s**2 - 4*s. Let d be u(-4). Solve d = -l - 0*l for l.
0
Suppose 0 = -i + 2 + 2. Suppose -2*f - 36 = -i*f. Let s be f/(-63)1-7. Solve 4 = s*l - 0 for l.
2
Let u = 61 - 59. Solve 4*x + u - 10 = 0 for x.
2
Let k = 7 + -3. Suppose 0 = -3*z + h + 7, k*h - 32 = -4*z + 4. Let c be (-268)/(-22) - (-4)/(-22). Solve 0*m - c = -z*m for m.
3
Let p(h) be the first derivative of -h4⁄4 + 13*h3⁄3 - h**2⁄2 + 16*h - 3. Let r be p(13). Solve 0*b - r*b = 9 for b.
-3
Suppose 0 = 2*i + i - 24. Let s = i - 5. Suppose 1 + 11 = s*w. Solve 0*b + w = -4*b for b.
-1
Let y(l) = -l3 + 7*l2 - 4*l - 7. Let v = 6 - 0. Let a be y(v). Suppose a*h + 5*m - 21 - 24 = 0, -5*h - 3*m = -37. Solve 0 = h*n - 10 - 0 for n.
2
Suppose 2 + 26 = -4*h. Let v = h + 7. Solve v = 2*f - 3 + 1 for f.
1