Let p(d) = -4*d + 1. Let i(u) = u3 - 10*u2 + 10*u - 10. Let x be i(9). Let h be p(x). Let f = -6 - -15. Solve 2*s = h*s - f for s.
3
Suppose -5*v + 2*d = -15, 5 = 5*v - 5*d + d. Suppose -v*j - 5*p - 25 = 0, -j + 5 = -0*p - 4*p. Let r = 4 + j. Solve -r - 4 = -i for i.
5
Let m = 9 + 16. Solve -m = -2*g + 7*g for g.
-5
Let m = 39 - 33. Solve 0 = 4*a + m - 2 for a.
-1
Suppose 4*q = -1 - 11. Let t(j) = 2*j - 3. Let z be t(q). Let c = -7 - z. Solve -c*y - 2 = -y for y.
-2
Suppose 15*s = 18*s - 12. Solve 0*y - s = y for y.
-4
Suppose 0 = -10*o + 15*o. Solve -4*v = -o*v - 8 for v.
2
Let m(f) = f**2 + 2*f - 1. Suppose i + 3*j - 2 = -i, 3*i - 2*j - 3 = 0. Let w be m(i). Solve w*a + 15 = -a for a.
-5
Let c(m) = -2*m - 2. Let w(j) = 3*j - 1. Let x be w(-1). Let v be c(x). Suppose y - 14 = -4*b + 4*y, 2*b + v = -5*y. Solve b*k + 2*k = 0 for k.
0
Suppose 4*d = -2*h - 6, 0*d = -3*h + d + 12. Solve -z + h*z = 8 for z.
4