Let t = 7 - 4. Suppose -2*k = -4*p - 1 - 3, -5*k = -p - 55. Solve -t*z + k = -0*z for z.
4
Suppose 0 = 3*u - 5*u + 10. Suppose 3*b + 5 = -u*o + 25, 0 = -3*o - 3*b + 12. Solve o*q + 9 = 1 for q.
-2
Suppose -4*z = -5*z + 3. Solve 0 = -z*r + 3 + 12 for r.
5
Let k(p) = p3 + 5*p2 - p - 2. Let i be k(-5). Suppose 0*v - 6 = -2*v. Suppose -4*s = 4*l - 24, 3*l + 2*s - 2 = v*s. Solve i*h + l*h - 20 = 0 for h.
4
Suppose -s = -2*s + 4. Solve n = s + 1 for n.
5
Suppose -5d = 3 + 7. Let u = 0 + d. Let w be 2(-1)/(u*1). Solve -4 = h - w for h.
-3
Let s(x) = 3 + x3 - 4*x2 - 3*x**2 - 2 + 1. Let q = 16 + -9. Let r be s(q). Solve 0*n = -r*n - 4 for n.
-2
Suppose -6 - 17 = -5*a - 2*u, a + u - 7 = 0. Let q(k) = -2*k - 4. Let t be q(-3). Solve 3 = t*h - a*h for h.
-3
Suppose -2*x + x + 15 = 0. Suppose -3*t + 24 = -7*t. Let h = t + x. Solve -21 + h = -4*m for m.
3
Suppose 5*j = 32 - 12. Suppose -8*w + 4*w = -j. Suppose 2*y - y = 6. Solve -y + w = -v for v.
5