Let r(d) = -d**2 - 9*d - 5. Let v be r(-8). Solve -v*i + i - 6 = 0 for i.
-3
Suppose 3*s + 2 = -2*o, 5*o - 2 = 3*s + 35. Solve 0 = o*p + 2 + 3 for p.
-1
Let a(q) = -5*q3 - q2 + 12*q + 13. Let m(l) = l3 - l2 - l - 1. Let v(b) = -a(b) - 4m(b). Let j be v(-6). Let p be j(4⁄3 - 0). Solve p + 0 = -k for k.
-4
Let v = 1 + 0. Suppose 144*c - 140*c + t - 1 = 0, -5*t - 12 = 3*c. Solve -f - v = c for f.
-2
Suppose -c = -4c + 9. Let i be (-2)/4(1 - c). Solve -5*f = i + 4 for f.
-1
Let h(s) be the second derivative of s5⁄20 - s4⁄6 - s3⁄6 - s2⁄2 + 5*s. Let l be h(3). Solve l*t = t for t.
0
Let b = 1 + 3. Suppose 0 = 3*r - 2*g + 6, -2*r - g + 0 + 3 = 0. Suppose r*v = 2*v. Solve v*y + b = y for y.
4
Let y be (-1017)/(-36) - 2⁄8. Suppose 0 = d + 3*d + y. Let u = -5 - d. Solve -3*i = -u*i + 4 for i.
-4
Let p(k) = k3 - 2*k2 + 3k - 6. Let i be (-3)/(-1)(-4 - -5). Let q be p(i). Solve -2*v - q = -6*v for v.
3
Let o(v) = 2*v**2 - 4*v - 1. Let k be o(3). Suppose -k*c = -5*l - 47 - 13, -5*l = 4*c + 15. Let t be (-2)/7 - 16/l. Solve -1 = n + t for n.
-3