Suppose -v - 8 = -3*v. Suppose x + 3*x = -v, 3*a = -x + 11. Solve 0*w = -a*w - 16 for w.
-4
Suppose u = -4*u. Let k be u - ((-2 - -2) + 2). Let c(n) = n + 4. Let i be c(k). Solve -3 - 3 = -i*a for a.
3
Let r be -1*3/(-6)*16. Solve -r*g + 3*g - 15 = 0 for g.
-3
Suppose -i - 4*w = -21, -i - 4 = 3*w - 4*w. Let g be i*5/((-5)/(-4)). Suppose 0 = 3*d - g - 2. Solve -6*a = -d*a - 12 for a.
3
Let t(w) = -5*w2 + 5*w + 2*w + 11*w2 - w + w**3 + 4. Let n be t(-4). Suppose 3*k - 6*k + n = 0. Solve -5*o + 4 = -k*o for o.
4
Let x = -17 + 22. Solve -h + 0*h - x = 0 for h.
-5
Let u = -10 + 20. Let r = -5 + u. Suppose -3*k + r*k + 4*c - 20 = 0, -4*k + 4*c + 4 = 0. Solve 3*p - k*p = 3 for p.
-3
Let y = 1 + 7. Let u(k) = -k**2 + 8*k + 4. Let c be u(y). Solve -c*f + 5*f + 2 = 0 for f.
-2
Suppose 0*b - 4*b = 0. Suppose b = -5*u - 0*u. Solve -r + 0*r - 3 = u for r.
-3
Let v(j) = 11*j3 - j2 + j - 1. Let f be (-6)/(-8) - 3/(-12). Let y be v(f). Solve 6*i - y = i for i.
2