Let z(v) be the second derivative of v4⁄12 + v3⁄2 - v**2⁄2 + 4*v. Let j be z(-5). Solve j + 1 = 2*i for i.
5
Let m(y) = -y3 - 3*y2 + 4. Let x be m(-2). Solve 5*w + 18 - 3 = x for w.
-3
Let z(o) = o + 6. Let k be z(-8). Let c be k/5 - 27/(-5). Suppose 0*d = c*d - 15. Solve -4*n = -3*n + d for n.
-3
Let o(x) = -4*x - 5. Let z be o(-2). Solve z*m = -m + 4 for m.
1
Let b(k) = -k + 1. Let p(x) = -x3 - 12*x2 - 9*x - 14. Let j(h) = -3*b(h) - p(h). Let l be j(-11). Solve l = -8*w + 3*w + 15 for w.
3
Suppose 0 = -2*k + 4*k - 12. Solve -12 = -k*x + 3*x for x.
4
Let l be (105⁄10)/(3⁄4) + -2. Solve p + 2*p + l = 0 for p.
-4
Let w(k) = -k3 - 3*k2 + 4*k. Let y be w(-4). Suppose x = -3*x - 12, -2*h + 23 = -5*x. Suppose 0 = 4*m + 3*o - h - 6, o = -m + 2. Solve y*u = u + m for u.
-4
Let t = 8 + -4. Suppose -4*i = -9 + 1. Let s = i + 0. Solve 2*w - s = t*w for w.
-1
Let x be -3*(-2 + (-7)/(-3)). Let i be x/(-4) - (-21)/12. Solve -i*r + 0 = 2 for r.
-1