Let y be (0/((-1)/1))/2. Let n(i) = -i**2 + 5*i + 5. Suppose m + 3*o = 2, -5*m + 5*o + 10 = -4*m. Let q be n(m). Solve y = -q*z - 0*z + 25 for z.
5
Suppose -4*l = -4*k + 44, -4*k - 7*l + 3*l + 20 = 0. Solve -2*h = -4*h + k for h.
4
Let a(w) = w + 2. Let p be a(7). Let k = p - 7. Solve 12 = k*b + b for b.
4
Let w be (-18 - -18) + ((-3)/(-1) - -2). Suppose 0 = 2*n + 2*n. Solve -w*c + 20 - 5 = n for c.
3
Suppose 2*s - 7 - 17 = 0. Let j = s + -8. Solve -j + 5 = d for d.
1
Suppose 5*g + c - 21 = 0, -4*g - 5*c - 2 = -23. Solve 0 = -g*p + 8 for p.
2
Let x = 8 - 10. Let a = x - -2. Suppose 0 = b - d - 5, -b - b = 3*d. Solve -o + b*o - 8 = a for o.
4
Let d = -16 + 9. Let s = d - -7. Solve -5 = -s*k - k for k.
5
Let k(x) = -2*x3 - 3*x2. Let c be k(-2). Suppose 0 = -5*t + 25 + 50. Let d = t + -9. Solve -m + d = -c*m for m.
-2
Suppose 0 = -2*w - 0*w. Solve w = 3*u - u + 4 for u.
-2