Let n = 129 + -124. Solve -4*x = -n*x + 5 for x.
5
Suppose 4*o + 2*z = 0, -o - 4*o = 5*z + 10. Solve o*m + 3*m - 20 = 0 for m.
4
Let x(u) = 2*u - 2. Let l be x(3). Suppose -5*i + 5 = -2*r - 15, l*r = i - 22. Solve -f + 1 - i = 0 for f.
-1
Let p(f) = -7*f**3 - 1. Let y be p(-1). Suppose 8 = y*b - 2*b. Solve 1 = b*h + 3 for h.
-1
Let d = 27 + -27. Solve d*c = -4*c + 12 for c.
3
Suppose 3*m - 1 - 11 = 0. Suppose -m - 6 = -5*s. Solve 3*j = 5*j - s for j.
1
Let m(k) = -7 - k + 2*k - 7*k - k**2. Let o be m(-6). Let z = 8 - o. Solve -j - z = 2*j for j.
-5
Let d(z) = 6*z**2 - 2*z + 1. Let a be -1 - -2 - (-1 + 1). Suppose 2*h = 1 + a. Let w be d(h). Solve -c = -w*c for c.
0
Let k = -57 + 65. Solve -d + 4 = k for d.
-4
Suppose -4*f - 16 + 3 = 5*h, 4*f + 11 = -3*h. Let w(d) = -4*d**3 + d. Let y be w(h). Solve -y*p + 3 = -3 for p.
2