Let z(h) = -h3 - 5*h2 - 2*h - 8. Let w be z(-5). Solve 0 = -f - w*f - 3 for f.
-1
Let w(u) = -u - 1. Let i be w(-3). Solve i*r - 4 = r for r.
4
Let a(u) = -u**2 + 5*u + 2. Let s be a(4). Let x = 0 + 0. Suppose -w - 2*w = x. Solve w = 2*j - 5*j + s for j.
2
Let c = -10 - -18. Solve i - 5*i = c for i.
-2
Let f(y) = y**2 - 2. Let g be f(-4). Suppose -5*c - 3*u - 2*u + 75 = 0, -c = 2*u - g. Suppose j + 0 = c. Solve 0 = -5*z + z + j for z.
4
Suppose 7*v + 0*v - 28 = 0. Solve 0 = -5*z + z - v for z.
-1
Suppose 4*c - 6 = 6*c, -2*q + 4*c + 20 = 0. Solve 3*b = q*b for b.
0
Let g(b) = -3*b + 7. Let p be g(7). Let r be (4/(-14))/(2/p). Solve 0 = -3*q + 4 + r for q.
2
Let h(y) = 21*y**3 - 2*y + 1. Let r be h(1). Solve -s + r = 4*s for s.
4
Let t(x) = -x2 + 6*x + 2. Let w be t(7). Let p(q) = q2 - q - 6. Let c be p(w). Suppose -1 = a + 5*m + 10, a = 2*m + c. Solve -2 = -4*z + a for z.
4