Let n(s) = -s**2 + 7*s + 6. Suppose 0 = 3*x + 15 - 42. Let q be (3 - 5) + x*1. Let j be n(q). Solve j*w - 12 = 2*w for w.
3
Let q(n) = -n3 + 2*n2 + 3*n + 2. Let b be q(3). Suppose -s = 0, -99 - 3 = -b*f - 5*s. Let y be f/4 + (-9)/12. Solve y + 0 = 4*h for h.
3
Let k be (-1)/2 - 3/(-2). Let x = -4 - -8. Solve -x*h + k = 5 for h.
-1
Let o be -3 + (-2 - -8) + -3 + 1. Solve o = -4*n - 11 for n.
-3
Let m be ((-8)/6)/((-2)/(-6)). Let p be (-6)/4*m/(-3). Let c = 5 + p. Solve 2*o = -c + 13 for o.
5
Suppose 5*h - 5 - 5 = 0. Suppose -4*g + 42 = 10. Let w be g + (-2 - (-2 + 2)). Solve 0*q = -h*q - w for q.
-3
Suppose -14 = -2*f - 4. Solve -f*y + 4 = -16 for y.
4
Suppose -2*s - 4 = -12, -2*s - 52 = -5*q. Solve -4*j + q = -4 for j.
4
Suppose -5*w + 3*k = -3, 5*k + 2 = -w - 3. Solve w = -5*d - 0*d + 15 for d.
3
Let q = -9 + 9. Solve q = -2*k - 2*k for k.
0