Let f(h) = -h3 - 5*h2 - 3*h + 4. Let p be f(-4). Let q be (-6)/2 - (-2 + p). Let n be 0 - (-5 - q - 2). Solve m = 4*m + n for m.
-2
Suppose -4*n = -4*h + 7 - 23, 2*h = -n + 7. Suppose 10 = n*a - 0. Suppose 4*q = 5*x - 22 - 8, -5*x + 15 = -q. Solve -x*d = -a - 2 for d.
2
Suppose 0*b + 2 = -2*b. Let k® = -r - 1. Let g be k(b). Solve 0 = -g*d + d - 4 for d.
4
Let u = -9 + 23. Solve u - 34 = 4*r for r.
-5
Suppose 2*g + 2*v - 36 = 0, 4*g - 134 + 50 = -v. Let h be 4/g - (-128)/22. Solve 3*s = 6 + h for s.
4
Let t(m) = -m - 2. Let c be t(-6). Let d be (-6)/c*40/(-12). Let r = 2 - 0. Solve d*h = 3 + r for h.
1
Suppose 4*t = 8*t - 12. Suppose u = t*u - 6. Suppose 5*v = -0*v - 20, u*n - 5 = -v. Solve 4*g + n = -13 for g.
-4
Suppose -d - 14 = -16. Solve -d*o + o = 3 for o.
-3
Suppose 0 = h + 55 - 59. Solve 4*k - h = -0*k for k.
1
Let n(h) = h - 4. Let k be n(4). Solve -p + k*p = 1 for p.
-1