Let w(a) = a - 3. Let s be w(3). Solve -4*z - 3 + 7 = s for z.
1
Let l = -3 + -2. Let m be (4 + 3 + l)*4. Suppose -8 - m = -2*t - 2*z, 4*t = -z + 23. Solve t = -p - 0*p for p.
-5
Suppose 4*y - y = 48. Suppose -s = s - y. Solve 0 = -2*t + s for t.
4
Let p(w) = -9*w. Let i be p(-1). Suppose u + 3*h = -2*h - 13, 0 = -3*h - i. Solve 3*x - 10 = -u*x for x.
2
Suppose 0 = -2*f + 4*m + 22, 3*f = -5*m + 28 + 16. Solve 2*k + 7 - f = 0 for k.
3
Let n = 19 + -15. Solve 2*r = 6*r - n for r.
1
Let g(y) = -y3 - 4*y2 + 3*y - 7. Let t(h) = h3 + 3*h2 - 4*h - 1. Let w be t(-3). Let b = w + -16. Let a be g(b). Solve -a*u - 2*u = 0 for u.
0
Suppose 5*v = -25, 3*v + 10 = 2*s - 7. Solve -z = 6 - s for z.
-5
Let h(s) = s2 - 2*s - 2. Let l(n) = -3*n2 + 5*n + 5. Let m(b) = -7*h(b) - 2*l(b). Let g be m(5). Let i = g + 2. Solve 3*k + 5 + i = 0 for k.
-2
Suppose 0 = 4*n - 20 + 4. Suppose 2*z + n*b = -2, 3*b + 4 = -2*z + z. Suppose g - 20 = -3*g. Solve 0 + z = -g*k for k.
-1