Let j be (-3 - (-10)/4)*-8. Suppose -6 = -s + b, 5 = 2*s - b - j. Solve -4*n + s = -1 for n.
1
Let n(b) be the first derivative of b**2⁄2 - b + 2. Let y be n(5). Suppose 4*s - 4*c + 0*c = -y, 0 = 3*s - c - 5. Solve -s = -4*w + 17 for w.
5
Let g(i) = i**2 - 10*i + 7. Let b be g(11). Let h = 0 + b. Solve 5*a + h = 3 for a.
-3
Let w(j) = -j**2 + 7*j + 10. Suppose 4 = 4*b - 28. Let k be w(b). Solve 4 - 12 = -k*n for n.
4
Let f be ((-2 - (-2 - 1)) + -1)/2. Solve f = 7*g - 3*g - 16 for g.
4
Suppose 0*r + r + k = 0, -2*r - 4*k - 6 = 0. Solve r*o - 6*o = -9 for o.
3
Let m(a) = a**2 + 10*a - 35. Let d be m(-13). Solve d*g + g = -10 for g.
-2
Let b = 1 - -5. Suppose 0*z + b = 2*z. Solve z*t - 2*t = -3 for t.
-3
Let o be (-135)/(-25) - 2⁄5. Let s = o + -4. Suppose -c + s = -6. Solve c*k + 3 = 4*k for k.
-1
Let a be -12 + 10 - -1*2. Solve p = -a*p + 3 for p.
3