Let s = 1 - -2. Solve 0 = -s*j + 1 + 5 for j.
2
Suppose -3*u - 23 - 4 = 0. Let c(b) = b**2 + 8*b + 13. Let k be c(u). Suppose -k = -5*h + 23. Solve 0 = -4*o + o + h for o.
3
Suppose 11*r - 5 - 17 = 0. Solve 0 = -c - r*c - 3 for c.
-1
Let c(n) = -2*n - 4. Let w(h) = h**2 + 7h + 3. Let s be w(-7). Let g be c(s). Let z be -2(1 + g/4). Solve 0 = -z*v - 13 + 4 for v.
-3
Let f = -6 + 10. Let n(m) = -m3 + 3*m2 + 6*m - 6. Let i be n(f). Suppose 9 = i*r - 3. Solve w - r = -w for w.
3
Suppose 0 = 4*j - 9 + 1. Suppose 0 = -0*d + 5*d + 2*s - 19, -5 = -5*d + 5*s. Suppose 25 = d*x + j*x - f, 17 = 3*x - f. Solve x*p = -0 + 20 for p.
5
Suppose 5*t = -5*v + t + 47, -2*v + 2*t = -26. Solve 3*c + v = -4 for c.
-5
Suppose 0*m = -m. Suppose -c - 3*n = -m*n + 10, -3*c = -3*n - 30. Solve -c*o = -2*o - 15 for o.
5
Let b(l) = -l**2 + 14*l - 14. Let j be b(11). Solve 3*y - j + 7 = 0 for y.
4
Let c be (-4)/(-18) - (-176)/18. Let s be -6*2/(-4)*1. Solve s*d + c = d for d.
-5