Let u(n) = -3*n2 + 15*n. Let s(m) = -m2 + 5*m. Let l(f) = 8*s(f) - 3*u(f). Let p be l(5). Let a be -2 + 7 + 1 + p. Solve -a*v + 2*v - 4 = 0 for v.
-1
Let v(n) = n**2 - 8*n + 5. Let u be v(8). Solve -3*z - 2*z - u = 0 for z.
-1
Let q(i) = i3 + 6*i2 + 1. Let h be 6*(-2)/((-2)/(-1)). Let x be q(h). Solve 0 = 5*s - 4 - x for s.
1
Suppose 0 = -2*r - 3*r - y + 2, -2*r - y - 1 = 0. Let x(s) = s3 - 5*s2 - 6*s + 5. Let n be x(6). Suppose 0*c = n*c. Solve c = -0*t + t + r for t.
-1
Suppose q = -6 + 8. Solve -6*i + q*i = -8 for i.
2
Let h(n) = -2*n2 + 21*n + 9. Let v(a) = -a2 + 10*a + 4. Let q(l) = 6*h(l) - 13*v(l). Let x be q(4). Let w be -2 - -2 - (1 + -13). Solve 6*d + w = x*d for d.
-3
Let v(j) = -j**2 - 6*j + 3. Let y be v(-6). Solve 2 + y = s for s.
5
Let x be (16⁄6 + -2)*6. Suppose 15 = x*v + d, -v + 3 = -3*v + 3*d. Suppose t - 4*t + v = 0. Solve -5 + t = -c for c.
4
Let j = -6 + 8. Suppose 2*c = -3*x + 4, -c + 2*x = x - j. Solve 0 = -c*r + r + 4 for r.
4
Suppose -6*f - 15 = -f. Let a = f - -12. Solve -v + 4*v = -a for v.
-3