Suppose -b = -1, 3*t - 6 = -4*b + 10. Let n be (2⁄4)/(1/t). Suppose -2 = n*k, 5*k - 27 + 2 = -2*m. Solve 4*r + m + 1 = 0 for r.
-4
Suppose -4*h + 12 = i, 0 = 5*i + 4*h - 5 - 7. Let g be 1 + 0/(-2) - -2. Solve -g*w = -i*w - 9 for w.
3
Let x(m) = -m**2 - 8*m - 6. Let p be x(-6). Solve 2*h = -p + 2 for h.
-2
Suppose 2*v - u + 8 = -5*u, 4*v - u = 11. Suppose v*b = b. Suppose -5*t = -3*z - b - 3, 4*z = 4*t + 4. Solve -t = k + 2 for k.
-5
Let t = 13 + -9. Let q = 10 + 8. Solve -t*m + 2 - q = 0 for m.
-4
Suppose -3*j + 0*j = 2*j. Solve 2*f = -j*f for f.
0
Let k(d) = -d3 - d2 - d - 1. Let s be k(-2). Suppose -5 = -5*o - 2*i, -6 - 4 = s*o + 5*i. Solve -o*n - 6 = -n for n.
-3
Suppose 0 = 2*j + 5*w - 14, j - w - w = -2. Solve -j*m = -0*m + 6 for m.
-3
Suppose -3*s + 28 + 14 = -l, 2*s = -5*l + 45. Solve -p + 6*p = -s for p.
-3
Suppose -4*c = 0, 5*c + 0 = -b + 4. Let l = 23 - 12. Solve -5*x + b + l = 0 for x.
3