Suppose -22 = -7*q - 1. Solve q*o = 6 - 0 for o.
2
Let f(m) = 2*m - 10. Let x be f(10). Solve d + x = -d for d.
-5
Suppose 0 = -a - 5*l + 17, -a - 3*a = l + 27. Let z = a - -16. Solve -h = h + z for h.
-4
Let l = 17 + -11. Solve 25 = -t + l*t for t.
5
Let p(s) = -s - 2. Let w be p(-2). Suppose 5*g + 2*d - 26 = 0, 0*g + 2*g - 3*d = 18. Let y be (-2)/(-6) + (-40)/(-24). Solve w = -y*b - g for b.
-3
Suppose m = 4*m + 3. Let n be -1 + 2*m/(-2). Solve 0*u - 5*u - 15 = n for u.
-3
Suppose -4*t + 44 = 5*v, 0 = t + 4*v + 18 - 40. Let j be (-2)/t + (-104)/(-24). Solve 20 = -j*x - 0 for x.
-5
Let f® = r3 + 5*r2 + 2*r - 4. Let q be f(-3). Solve -8 = -4*u + q for u.
4
Let w(m) = m**2 - m. Let q be w(2). Suppose q*s = 3*y - 4, 5*y - 4*s = y + 4. Suppose -2*h - 4*l = -12, 0 = -y*h - 3*l + 10 - 0. Solve -2 = -d + h for d.
4
Suppose -4*f + 9 = -11. Suppose 0 = -3*o - 6, 2*o = 4*s - 0*o - 28. Solve s = f*n - 19 for n.
5