Suppose -9 = 5*w - 34. Suppose -w*l + 5 + 15 = 0. Let z = l + -2. Solve f + 1 = z*f for f.
1
Let w(v) be the first derivative of v**2 - 5*v - 1. Let t be w(4). Solve 4 = -t*x - 8 for x.
-4
Suppose -2*z + 4 = b, -5*z - 10 = -10*z + 5*b. Suppose -4*q + z - 1 = -3*p, -p = -4*q + 11. Solve k - q = -0*k for k.
4
Suppose 2*t + 2 + 0 = 0. Let s be t/(-2) - 161/(-14). Solve 0 = 3*q + q + s for q.
-3
Let d(i) = 4*i + 1. Let m be d(-3). Let r be 2/m - 204/(-33). Let l be (-2)/1 + (-4 - -11). Solve l = -r*g + g for g.
-1
Let j = -6 + 13. Let q = j - 0. Solve 13 = -5*c - q for c.
-4
Let k be 5 - ((0 - 1) + 1). Solve k*d + 0 + 15 = 0 for d.
-3
Let h(u) = -u3 + 8*u2 - 7*u - 2. Let p(v) = v3 + v2 - 2v - 1. Let s be p(2). Let o be h(s). Let r be -15(o/3)/2. Solve -r = -4*c - c for c.
1
Let k = -4 + 16. Let n = -12 + k. Solve n = w - 4*w + 3 for w.
1
Let i(w) = w**2 - 4*w + 4. Let b be i(4). Suppose 7*k - 2*k - 5 = 0. Suppose 0*o - b*s + 7 = 3*o, 0 = o + 2*s - k. Solve o*y = 11 - 1 for y.
2