Let b(d) = -2*d3 - d2 + 2*d - 1. Let r be b(-2). Suppose r*h - 20 = 3*h. Solve -4*l + h*l = -1 for l.
-1
Let l = -7 + 11. Solve -l*a - 3 = -3*a for a.
-3
Let g(a) = -3*a. Let b be g(-2). Let n(v) = -3*v - 4*v2 + 6*v + 6 + v3 - 2*v**2. Let h be n(b). Solve -4*z - 8 = -h for z.
4
Let c = -2 - -7. Let v(q) = -6*q - 4. Let w be v(-3). Let x = 2 + w. Solve -j + c*j = x for j.
4
Let k = -59 + 61. Let d = 5 - 3. Suppose -s + 2*s = 0. Solve -k*i - d*i = s for i.
0
Suppose 2*y - 68 = -q, -4*y - 7*q + 3*q = -128. Suppose 8 = 4*s - y. Solve -4*b = -3 + s for b.
-2
Suppose -4*u = 5*t - 2*t, 0 = 5*t. Suppose u = g, -r = -2*r + 2*g. Suppose -4*w = -d - r*w + 22, 5*w = -2*d - 21. Solve -d*s = -4*s + 8 for s.
4
Suppose 5*b = 2*r - 26 + 6, -4 = b. Solve r = -2*q - 0 - 6 for q.
-3
Let y be (-2 - 1)*20/(-6). Let w = 2 + y. Suppose 2*x + 0*x = -2*h + 8, 0 = 3*x - 5*h - w. Solve -10 = -x*o + 6 for o.
4
Let x(q) = 2*q**2 - 3*q - 1. Let r be 2⁄5 - 86/(-10). Suppose -2*g - 2*g + 3*v = -r, 2*v - 8 = -2*g. Let y be x(g). Solve -u - u = -y for u.
4