Let v(m) = -4*m3 - m2 + 2*m + 2. Let i be v(-1). Suppose 0*f + 2*f - 4 = 0. Suppose 4*p + u = 8, p + f*p - 7 = -u. Solve -p = i*l - 4 for l.
1
Let n(v) = -4*v - 10. Let m be n(-4). Solve 0 = -2*q - 16 + m for q.
-5
Let n(k) = -k3 - k2 - 1. Let w be n(-2). Suppose -4*l - 15 = -3. Let f be (-10)/(-2) + (l - -2). Solve -2 = -w*t + f*t for t.
-2
Suppose 3*g + 23 = 4*o - 11, 2*g - 4 = 0. Let p = o - 8. Solve 4*v = p*v - 2 for v.
-1
Let y be 4 - 1*(1 - 2). Let c be (2 - 7)*3/(-5). Suppose 1 = 2*i - c. Solve 6 = -y*m + i*m for m.
-2
Suppose 3*o + 18 = c, 5*o + 38 = -c - 0*c. Let s(j) = j + 2. Let n be s(o). Let b be 0/(-2 + n/(-1)). Solve -8 = -b*r - 2*r for r.
4
Let b(n) = -n**2 + 6*n - 6. Let w(f) = -1. Let t(g) = b(g) - 2*w(g). Let d be t(4). Suppose -i + 15 = d*i. Solve -r - i = -5 for r.
2
Suppose 0 = -5*n + 10 + 10. Let p(g) = -g + 5. Let h be p(n). Let a = h - -3. Solve -i = a*i + 20 for i.
-4
Let c be (-1)/(-2) + 33⁄6. Let f(d) = -d3 + 7*d2 + 3*d - 6. Let r be f(6). Suppose 3*k - 7 = 5*a - 85, 3*a = 3*k + r. Solve -c*g + g = a for g.
-3
Let k = -20 + 30. Let i = -6 + k. Solve i*g + 0*g - 16 = 0 for g.
4