Suppose -5*g + a - 18 = 0, -2*g + a - 12 = -3. Let w = 5 + g. Suppose 5*t = 2*z - 11, 4*t + 0*t = -w*z + 2. Solve -z*c - 1 - 11 = 0 for c.
-4
Suppose 0 = -12*o + 13*o - 15. Solve -5*h - o = 10 for h.
-5
Let m be 2 + -26 + (3 - 0). Let h be 43⁄5 - m/(-35). Suppose 15 = 3*i + 2*z - 1, 2*i = -5*z + 29. Solve -3*d = h - i for d.
-2
Let d = 19 + -10. Suppose 72 = 3*b + b - 4*o, 2*o = -3*b + 39. Let z = b - d. Solve -3*t - 9 = z for t.
-5
Let i be (2 + -1)*0 + 7. Let n be 1/(4/((-12)/(-3))). Solve 3*s - n + i = 0 for s.
-2
Suppose 0 = -5*t + 3*s + 31, 0*t + 4*t = -3*s + 41. Solve -2*x + 0*x - t = 0 for x.
-4
Suppose 0 = -4*s - 0*s + 4. Let a(b) = b**2 + b - 1. Let c be a(s). Let j be -1c(-12 + -1). Solve -j - 3 = 4*i for i.
-4
Suppose -4*j + 2 = -3*j. Solve -j*t - 3 - 1 = 0 for t.
-2
Let v(p) = p + 7. Let h be v(-4). Solve 15 = -2*w - h*w for w.
-3
Let r(j) be the first derivative of -j3⁄6 - 5*j2⁄2 + 2*j + 3. Let h(z) be the first derivative of r(z). Let q be h(-7). Solve 0 + q = -m for m.
-2