Suppose 5*m - 5*o = 10, -3*o = m - 5*m + 6. Suppose f - 2 = -l, m*l = 5*f + l - 2. Suppose -3*y = f, -4*z + 24 = -0*y - 2*y. Solve 0 = -5*s - 1 + z for s.
1
Suppose -4*v + 11 - 3 = 0. Let p = 12 + -4. Suppose -15 = -3*c + 3*h, 2*c + h + 5 = -c. Solve c*b - p = v*b for b.
-4
Suppose -q = 6*q - 7. Solve -2*r = -1 - q for r.
1
Let o = 22 - 21. Solve -2 = q + o for q.
-3
Let z be (-4)/(-16) - (-786)/(-8). Let q be (-28)/z - (-2)/(-7). Solve -2 = 2*m - q for m.
-1
Let a = 11 + -8. Suppose 6 = -3*h - 6*q + 3*q, 9 = -3*h - 4*q. Let v be h + 2/((-6)/a). Solve v = 2*k - 1 - 1 for k.
1
Let j be (-5)/4 + 2⁄8. Let n be (3/(-1))/j - -3. Solve 6*c + n = 3*c for c.
-2
Let b be -14*3/(9/(-21)). Let y be b/10 + (-8)/(-40). Suppose -30 + y = -4*j. Solve j*x - 16 = 4 for x.
4
Let d(g) = 40*g3 - g2 + 2*g - 2. Let i be d(1). Suppose -3*u - j - 4 = -23, -3*u = -3*j - i. Let n = -2 + 6. Solve 0*r + n*r = -u for r.
-2
Let p(f) = f + 1. Let q be p(3). Solve 11 + 5 = q*b for b.
4