Let b = -3 - -7. Solve o - b + 1 = 0 for o.
3
Let h(b) = b3 + 5*b2 + 4*b + 2. Let d be h(-4). Suppose -x + d = -3. Solve -t + 2*t - x = 0 for t.
5
Suppose -25 = -4*n - n. Solve 0 = -2*g + g + n for g.
5
Let n(g) = g + 6. Let m be n(-6). Let s be ((-3)/(-3))/(-1)*m. Solve p - 2*p + 4 = s for p.
4
Let o = 3 + -3. Let w = o - -6. Suppose -j + w = j. Solve 0*z - j*z = 0 for z.
0
Let v = 26 + -22. Solve 0*s = -v*s + 20 for s.
5
Let v = 15 + -9. Suppose 21 = 5*y + v. Let u be -3*y/(-9) - -3. Solve -s - u*s = 10 for s.
-2
Suppose -7 = -n + 2*n. Let d(p) = p3 + 6*p2 - 7*p + 4. Let q be d(n). Suppose 0 = 2*o + 2*o - 12. Solve -o*m - 10 = -q for m.
-2
Let x = -1 - -2. Let k = 1 + x. Let y(m) = -m**2 - 10*m - 4. Let d be y(-4). Solve 6*o = k*o - d for o.
-5
Suppose -15*c = -20*c + 15. Solve -3*z - 3 - c = 0 for z.
-2