Let z(f) = -2*f - 2. Let i be z(-5). Suppose i*d = 4*d. Suppose d = 2*w + 3*w. Solve w = l + 3 - 6 for l.
3
Let c = -2 - -5. Suppose 15 = c*h + 2*h. Solve w = -h*w + 8 for w.
2
Suppose 7*c - 10 = 2*c. Solve -4 + 14 = -c*i for i.
-5
Let q = -25 + 88. Let n = q - 43. Let f(d) = d - 1. Let s be f(4). Solve 0 = s*g + g - n for g.
5
Suppose 0 = -8*q + 4*q + 16. Suppose 0*i - 6 = i + 2*h, -5*h = q*i + 9. Solve 2*w - i = w for w.
4
Suppose 0 = -5*n - 5*v, -2*n - 10 + 30 = -2*v. Suppose -2*f - 6*s + 3*s = -13, 3*f = -5*s + 21. Let r = n - f. Solve -r*l - l = 0 for l.
0
Let h be 3 - (-4 + 7)/3. Suppose 0 = 2*d - 5*b + 14, 2*b - 14 = -h*d - 0*b. Solve -d*z = -0*z for z.
0
Let r = -2 - -17. Let q = -5 - -7. Suppose 0 = q*f + f - r. Solve 2*l = f*l for l.
0
Let o(v) = v3 - 2*v2 - 3*v + 1. Let m be o(3). Let g(w) = 5*w**2 - 2*w + 1. Let u be g(m). Solve -u*n = 7 + 1 for n.
-2
Suppose -3*t + 14 = i, 2*i + 12 = 6*i + t. Suppose i*m - 5*m = 0. Let w = -5 + 10. Solve 0 = -m*o + w*o - 5 for o.
1