Let n(k) = -7*k3 - 4*k2 - 3*k. Let m be n(-1). Solve -m = -j + 3*j for j.
-3
Let o® = 5*r. Let i be o(3). Let l be (-2)/(-6) - (-115)/i. Let j(s) = s3 + 3*s2 + 2*s. Let c be j(-2). Solve c = -l*b + 4*b - 20 for b.
-5
Suppose -5*i - 8 = -28. Solve -6 = -i*q + 10 for q.
4
Suppose -2*q - 4 = -4*q. Solve 0 = q*w - 3*w for w.
0
Let z(d) = -7*d - 2. Let t be z(-1). Solve 2*c - c = -t for c.
-5
Let d(n) be the first derivative of -5*n + 3 - 1⁄2*n**2. Let c be d(-7). Solve u - 3*u - c = 0 for u.
-1
Suppose 4*c - 4 = 2*c. Solve -n + 1 = -c for n.
3
Let r = -25 + 32. Solve -4*v + r = -5 for v.
3
Suppose 0*p - p - 7 = -2*h, -4*p - 7 = -h. Solve 0 = 8*g - 5*g + h for g.
-1
Suppose -5*k + 6 = 26. Let b = k + 4. Solve -4*j + 10 + 2 = b for j.
3