Suppose 3*z + 6 = d, 5*z + 8 = d - 0. Solve d = x + 4 for x.
-1
Let t be 4 - (-3)/(-12)*0. Solve t = -2*c - 0*c for c.
-2
Let z = -16 + 19. Solve m = -0*m + z for m.
3
Suppose 2*y = -14 + 42. Suppose -2*i - 4 = -y. Solve 0 = f - i*f + 20 for f.
5
Let t be ((-4)/(-2))/((-5)/(-40)). Suppose 0 = c + 3*c - t. Solve -c*k + 2 + 10 = 0 for k.
3
Let b be (-17 - 3) + (1 - 0). Let i = b - -33. Solve 0 = -3*l + i - 5 for l.
3
Let s be -2*(0/(-4) - 1). Solve 0 = -2*p - s for p.
-1
Suppose 5*v = -3*g + 10, 0 = v + 3*g - 2. Suppose 0 = -5*f + 10, 2*f - v = h - 9. Suppose -5*m + h - 1 = 0. Solve -q - 15 = m*q for q.
-5
Let w = 6 + -4. Solve 3*b + w = -4 for b.
-2
Suppose h - 6*m = -2*m + 18, -5*h - 2m = -46. Let b be (1 - 1)(-5)/h. Let r(f) = 2*f3 - 4*f2 + f + 2. Let d be r(2). Solve b*g - d*g - 8 = 0 for g.
-2