Let b = 2 - -1. Let d be 7 - (-1 + (b - 3)). Solve -d = -m - m for m.
4
Let n be 6/(-15) + (-47)/(-5). Suppose 4*k + k - 4*r = n, 3*k - r = 4. Solve h = 2*h + k for h.
-1
Let t(x) = -x**2 + 11*x + 2. Let z be t(11). Solve -4 + 2 = -z*i for i.
1
Suppose -3*o + 10 = 5*u, -5*u + 2*u = -4*o - 35. Solve -4 = -u*p + 11 for p.
3
Let n be -3*(1 - (-7)/(-3)). Let y(f) = f3 + 8*f2 + 8*f + 1. Let m be y(-7). Let x = m + 6. Solve n*i = -x*i for i.
0
Suppose 0 = -5*s + 8*s - 3. Suppose -4*x + 7 = -s. Solve x + 2 = 2*v for v.
2
Let i® = r**2 - 7r + 7. Let g be i(6). Let c be 0((-4)/2 + g). Solve -2*f + 2 = -c for f.
1
Suppose -2*i = 2*k - 0*k + 2, 0 = -2*i + 5*k + 19. Suppose 2*d - 38 = -2*d - i*c, -c + 55 = 5*d. Let n be (1 - 1) + 1 + -1. Solve r - 5*r - d = n for r.
-3
Let w be 16/(-9) + (-2)/9. Let o be (-5)/w*(-4)/(-5). Solve -15 = -3*f - o*f for f.
3
Suppose k = -k + 2*u + 12, 0 = -2*k + 4*u + 12. Solve -k = i - 3*i for i.
3