Let q(z) = 21*z2 - 2*z. Let r be q(2). Suppose w = 6*w - r. Let o(v) = v3 + 6*v**2 - 2*v - 8. Let k be o(-6). Solve k = -3*m + w for m.
4
Let a(y) = y3 + 3*y2 - 2*y - 4. Let v be a(-3). Suppose 1 = 3*r - v. Suppose 0 = 3*l + j - 14, 2*j - r = -3. Solve -12 = l*n - 2 for n.
-2
Let p = 9 - 6. Suppose -m - 2*l + p = 0, -3*m + 3*l + 12 = m. Let y = 6 - m. Solve 0*d = -y*d + 15 for d.
5
Let t(u) = -u**2 - 4*u + 2. Suppose 3*y + 12 = -0*y. Let b be t(y). Let c = 11 - 7. Solve -b*r = -c*r - 8 for r.
-4
Let q(s) = s3 + 10*s + 1 - 7*s2 - 5 + 3 - 2*s**2. Let v be q(8). Solve 4*j + 1 + v = 0 for j.
-4
Suppose 5*l = -2*p - 12, p + 2*l = 5*p - 24. Solve p*c + 4 + 8 = 0 for c.
-3
Let n = -61 + 63. Solve 8 = -n*j - 2*j for j.
-2
Let n = 37 - 17. Solve -5*f + f = -n for f.
5
Suppose 0 = 12*g - 17*g + 15. Solve g = -a - 2 for a.
-5
Suppose -2*k - 4*k = 0. Solve k*p = -2*p + 6 for p.
3