Let f be (3 + -1)*4 + 3. Let x = 11 - f. Solve 2*k - 4 - 2 = x for k.
3
Let x be (1 - 1 - -1)*12. Suppose 0 = -2*n + 5*n - x. Suppose 0 = -n*v - 4*b + 80, 1 - 71 = -3*v - 5*b. Solve -v = 5*f - 0 for f.
-3
Let i = 47 + -27. Let n be ((-4)/10)/((-2)/i). Solve -n = -c + 2*c for c.
-4
Suppose 0 = -2*u - 2*y + 28, -3*u + 23 = 2*y - 22. Let s = u - 12. Solve -s*g = 2 + 13 for g.
-3
Suppose -r - 3 + 6 = 0. Suppose -3*k + 24 = -3. Suppose -r*g + 0 + k = 0. Solve 0 = -g*w + 8 + 4 for w.
4
Let n(f) = f3 + 7*f2 - f - 5. Let b(j) = 7*j. Let w be b(-1). Let u be n(w). Solve u*p + 3 + 1 = 0 for p.
-2
Suppose 2*k + 2*k - 24 = 0. Let r be k/4*40⁄12. Solve -r = -0*v - v for v.
5
Let o = 20 - 18. Solve o*s - 8 = -4 for s.
2
Let t = -2 - -2. Let n be (-2 - t) + (2 - 3). Let s be (1 - 0) + (n - -2). Solve -2*g - 3*g - 10 = s for g.
-2
Let l(t) = t3 - 5*t2 - t + 7. Let w be 6⁄2 + 3 - 1. Let a be l(w). Solve 0 = 2*o + 6 + a for o.
-4