Let m(g) = g**3 + g + 8. Let w be m(0). Suppose -w = -2*o - 2o. Let i be 1(o + -2 - -4). Solve 0 = -f - i*f - 20 for f.
Let x(j) = -3*j + 1. Let a be x(-1). Suppose a*d - 4 = -0. Let s be d/(-3 + (-14)/(-4)). Solve -s*o + o = 3 for o.
-3
Let i = -7 - -19. Solve 2*j + 2*j = i for j.
3
Let d = -28 + 5. Let g = 27 + d. Solve 2*b + g = 4*b for b.
2
Let c be ((-1)/(-2))/(2⁄72). Let p = -5 + c. Suppose 4*g + 20 = 0, p = -2*u - 0*g - 5*g. Solve -12 = -3*q + u*q for q.
-4
Suppose y + r - 1 = 2, y + 2 = 4*r. Suppose -y*c - 20 = -7*c. Suppose 11 = 5*z - c. Solve 0*u = -z*u + 12 for u.
4
Let s = 15 + -9. Let g be 10⁄4*12⁄15. Suppose -x - g*o + 14 - 4 = 0, -70 = -4*x + 2*o. Solve -s*t - x = -2*t for t.
-4
Suppose 0 = -4*g + 7 + 1. Let j = 2 - g. Solve j = -0*z - 4*z - 12 for z.
-3
Suppose -z + h - 2 = 0, 0 = 4*h - 0*h - 8. Let v be 0 + (3 - (z + 2)). Solve -5 = -2*o + v for o.
3
Let j = 22 - 19. Solve 3*c - 9 = j for c.
4