Let f be (-1 - (-6)/4)*10. Suppose 13 = 3*q - f. Solve -q*m - 15 = -m for m.
-3
Suppose 0*x + x + 3*w = 14, -5*x - 6 = -4*w. Solve -x*m = -4*m for m.
0
Suppose 4*x - x + 6 = 0. Suppose 0 = 3*z + 2*b + 145, 2*b - 110 = 2*z + 6*b. Let d be 1/(z/(-21) + x). Solve -2 = 3*u + d for u.
-3
Suppose 4*m - 10 = 6. Solve 2*h - m*h = -10 for h.
5
Let n = -10 - -10. Suppose n = -2*r + 12 - 4. Solve -2*c - r = 4 for c.
-4
Let n(d) = 5*d3 + d + d2 - 2*d2 - 2*d3 - 4*d**3. Let w be n(-2). Solve 0 = 4*k - w*k + 4 for k.
-2
Let h be 1/(1 - 6⁄7). Let r be (-1)/(-3)*(23 + 4). Solve h = -4*i - r for i.
-4
Suppose -4*g + 204 + 56 = 0. Suppose -2*a = -g + 5. Suppose 0 = n + 4*n - a. Solve -10 = -n*m + m for m.
2
Let u(k) = -k - 6. Let l be u(-5). Let a(t) = 4*t**2 + t + 1. Let p be a(l). Suppose 5*m - 4*i - 28 = 0, -4*m + m + p*i = -20. Solve 5*n - m = n for n.
1
Suppose 4*r - 1 = 3*r. Suppose -5*d = -2*d - 15. Suppose 4*y - 3*u + 3 = 15, 0 = -y - d*u + 3. Solve 2*i + r = -y for i.
-2