Let d be 5 + -2 + 2 + -3. Solve 8 = 2*r + d*r for r.
2
Suppose -3*m + 24 = -2*x + x, 5*m - 54 = -3*x. Let t be (-20 + 14)/((-3)/16). Suppose -t + 7 = -5*w. Solve -m = w*z - 2*z for z.
-3
Suppose 0 = -4*p - 5 + 25. Suppose -2*l + 10 = i, 2*i + 79 = 6*i - 5*l. Suppose -d - 2*d + i = 4*w, -w = p. Solve 2*m + 2*m = -d for m.
-3
Let s(z) = z3 - 6*z2 - 3*z + 4. Let x be s(7). Suppose -p = p - x. Solve 2*u + p = -2*u for u.
-4
Let n = 31 - 27. Solve n*h = h - 12 for h.
-4
Suppose -2*c + 7 - 1 = 0. Let m(v) = 2*v**2 + 6*v - 4. Let r be m(-5). Suppose 4*j + r = 8*j. Solve -3*k = -j*k + c for k.
3
Let s(n) be the first derivative of -3*n4⁄2 - n3⁄3 + 1. Let d be s(-1). Let j(q) = 4*q**2 - 3*q. Let p be j(2). Solve 0*o = -d*o - p for o.
-2
Let s be (-6)/(-9)*(-4 + 1). Let b be -2s/(-4)-5. Suppose -14 = b*w - 34. Solve 0 = -2*j - 2*j - w for j.
-1
Let b(f) = -f + 8. Let q be b(5). Suppose 2*v + 4*d = q*d - 1, 2*v + 3*d - 1 = 0. Let t(s) = -5*s. Let p be t(v). Solve p*w - 10 = 3*w for w.
5
Let r = 68 - 56. Solve r = 4*o - o for o.
4