Suppose -3*m + 6 = 4*v, m + 5*v - 2 = 3*v. Suppose -2*g = 3*g + 20. Let u be (-51)/(-12) - (-1)/g. Solve m = u*k - 6 for k.
2
Let y = -134 - -134. Solve -7*f + 5*f + 6 = y for f.
3
Suppose 3*q = -j + 19, 2*q + 6 = 3*j - 18. Let g = -8 + j. Solve -g*b + 4*b - 8 = 0 for b.
4
Suppose 3*s = 4*s + 4*k + 16, -3*s + 4*k = -32. Solve -6*w = -s*w + 6 for w.
-3
Suppose x + 0*c = -2*c + 3, 5*c = 2*x - 6. Let q = 8 + -5. Let k = x - q. Solve k = 4*v - 12 for v.
3
Suppose 4*y - 28 = 4*w, -w + 18 = 4*y - 0. Let k = -2 - y. Let x = 11 + k. Solve -x*f + 5 = f for f.
1
Suppose 0 = 7*v - 6*v - 3. Solve v*l - 5 = 1 for l.
2
Let f be 10/(-9)3-6. Let q = -7 + 11. Suppose -q*m + m = 0. Solve m = d + 4*d - f for d.
4
Let k(g) = -g**2 + 4*g + 8. Let b be k(5). Suppose -4*j - 3*n + 25 = -b*j, -28 = -j - 4*n. Solve 0*h - j = -4*h for h.
4
Let z be (-3)/((63⁄150)/(-7)). Suppose 0 = -r - r + z. Suppose -5*i + 3*h = -r, 0*i + 5*i + 4*h - 25 = 0. Solve 6*v - 3 = i*v for v.
3