Let t(d) = d3 + 7*d2 - 2*d - 14. Let k be t(-7). Solve -3*r - 2*r + 15 = k for r.
3
Let t(k) = -k**2 - 26*k + 158. Let u be t(-31). Suppose 3*s = -3*d + 4*s + 4, -2*d = 4*s + 16. Solve 6*b - 3*b - u = d for b.
1
Suppose -6*u + u = -l - 163, 2*u = 3*l + 73. Solve -5*n - u + 7 = 0 for n.
-5
Let a = 12 - 29. Let k = a + 29. Let r(v) = 5*v3 - 3*v2 + 3*v - 2. Let w be r(2). Solve -w + k = -4*z for z.
5
Let j be -1 - (12⁄1)/(-1). Let a = j + -7. Let x(s) = s**2 + 2*s + 7. Let o be x(-4). Solve -u = a*u - o for u.
3
Suppose -3*w - 15 = 5*h + 2*w, h - 5*w = 15. Let v(p) = p3 + 14*p2 + 13*p + 3. Let l be v(-13). Solve 2*o + o + l = h for o.
-1
Let c = -1 + -7. Let o = 10 + c. Solve 0 = o*d + 2*d + 12 for d.
-3
Let p(g) = 2*g3 + 7*g2 - 3*g**3 - 2 + 0 + 2*g. Let l be p(7). Solve -d = -4*d - l for d.
-4
Let g = 4 + 4. Let h(w) = -w - 4 - 2 + 2*w. Let k be h(g). Solve -m = k*m + 12 for m.
-4
Let i be (0*4/(-12))/(-2). Suppose 4*k - 20 = i, -f = -2*k + 5 + 3. Solve -5*l - 17 + f = 0 for l.
-3