Let v(j) = j3 + 10*j2 + 4*j - 1. Let c(z) = -z3 - 9*z2 - 4*z + 2. Let o(b) = -4*c(b) - 3*v(b). Let t be o(-5). Solve t*y = -2*y + 8 for y.
4
Let m(n) = 2*n - 7. Let r(l) = -l**2 + l + 11. Let g be r(0). Let c be m(g). Suppose 5*t + c = 40. Solve 0 = -5*a - t for a.
-1
Suppose 6*u - 11*u = -50. Solve -2*c - 3*c + u = 0 for c.
2
Let j = -12 - -8. Let f be ((-2)/j)/((-1)/14). Let a be 2/f + 8⁄28. Solve r - 4*r - 15 = a for r.
-5
Let s(f) = f. Let x be s(2). Let u© = c + 10. Let q be u(-8). Solve 2 + x = -q*o for o.
-2
Let l be (-3)/(-12) + (-230)/(-40). Solve l*u - 20 = u for u.
4
Let x = 13 - 13. Solve x*v = 2*v + 4 for v.
-2
Let i be (1 - 12⁄9)*-9. Suppose -i*h = -4 - 2. Suppose -h*n + 16 = 2*n. Solve -r + 3 = n for r.
-1
Let a(d) = -3*d - 29. Let v be a(-10). Solve -z = -0*z + v for z.
-1
Let j = 14 + -7. Let z(s) = -s - 8. Let b© = -c - 7. Let p(k) = -3*b(k) + 2*z(k). Let a be p(j). Solve 5*d = d + a for d.
3