Let m = -1 + 4. Let r be (3/m - -1)*2. Suppose -3 - 7 = -5*s. Solve -r = 3*k - s*k for k.
-4
Let f be (-1 + 4)*(-2 - -3). Suppose 4 = 5*r - f*r. Suppose 4 = -3*i - 4*g, -3*i = 3*g - 0 + 3. Solve i = u + r*u - 6 for u.
2
Let f(h) = h**2 - 10*h + 2. Let i be f(10). Suppose m = -m, -i*t = 4*m - 8. Solve -16 + t = -3*g for g.
4
Let q be ((-4)/(-4) - 5)*(-15)/4. Solve 0 = -x - 4*x + q for x.
3
Suppose 2*d = 2*f + 44, d - 2*d = -4*f - 37. Solve -7 = 2*p - d for p.
5
Suppose 19 - 4 = 5*s, 2*s = -4*d + 22. Suppose -5*x + 102 = -n, -d*n = 2 + 6. Solve -x = 2*y - 7*y for y.
4
Suppose -t = -3*q, -1 = -2*q + 4*t - 11. Solve o + 0 = q for o.
1
Let w = 15 - 28. Let q = w - -21. Let c(x) = x**2 + x. Let n be c(0). Solve n = 3*j - 7 - q for j.
5
Let w(y) = 7 + 6*y2 + 2*y - y3 + y + 3*y + 2*y**3. Let g be w(-5). Solve -g*u - 1 = 9 for u.
-5
Let x = -6 + 10. Let f be x*(-2 - 15/(-6)). Solve 4*q = -6 + f for q.
-1