Let y(f) = 11*f2 - 2*f - 2*f - f - 4*f2 - 4 - f**3. Let s be y(6). Suppose -s*x + 7*x = -5*a + 30, 0 = 2*x - 3*a - 7. Solve 5*l - x - 15 = 0 for l.
4
Let y(t) = 5 + 2*t + t**2 - 8*t - 4. Let l be y(6). Solve l = -c + 4 for c.
3
Let o(v) = v - 1. Let c be o(2). Suppose -2*j - 8 = 0, 6*m - 3*j - 12 = m. Let n = m + 3. Solve n = -d - c for d.
-4
Let d be (-2)/6 - 20/(-6). Suppose 2*w = w + d. Suppose w*c + 7 = 22. Solve c*v - 4*v = 0 for v.
0
Let g(n) = 3*n - 5. Let k(w) = -2*w + 5. Let t(a) = -4*g(a) - 5*k(a). Let h = -11 - -7. Let q be t(h). Solve u = q*u for u.
0
Let m(l) = l**2 - l + 4. Let h be m(-3). Suppose 0*r + h = 3*p - 2*r, -22 = -3*p - 4*r. Solve p = 5*t - 4 for t.
2
Suppose g + 5 = 0, 0 = 2*j + 6*g - 3*g + 9. Solve -j*k + 15 = 2*k for k.
3
Let i(l) = 3*l + 12. Let o be i(-4). Solve o*h = -h for h.
0
Suppose -5*o + o = 0. Let t = 14 + -11. Solve o = t*s - s + 10 for s.
-5
Let h be (-3)/183-12. Solve 3*k - h = 3 for k.
3