Let x = 63 + -59. Solve -x*u = -5*u + 1 for u.
1
Let i = 59 + -50. Solve 0 = -2*d - 3 + i for d.
3
Let h be (-1)/(-4) + (-38)/(-8). Let x(b) = -b3 - 3*b2 - b. Let u be x(-3). Let z = u + h. Solve 2*n + 0*n - z = 0 for n.
4
Suppose -4 = -3*d + 2. Suppose -18 = -d*x - 0*x. Suppose 0 = 2*s + 8, j - 4*s - x = 11. Solve -14 = j*n - 2 for n.
-3
Let a(z) = -z**2 + 10*z - 12. Let f be a(8). Suppose 3*t - 9 + 2 = -2*i, 2*i - 2*t - 2 = 0. Suppose -i*v = -s - 2*s, 4 = -s + 2*v. Solve -f*b = -s*b + 2 for b.
-1
Let r = 14 - 8. Let v = 11 - r. Solve j = 2*j + v for j.
-5
Suppose -4*d + 80 = -24. Solve 5*h - 6 = -d for h.
-4
Suppose 0 = -5*o + 2*m + 40, -2*o - 23 = -5*o + m. Suppose -3*y - 16 = u + 12, 2u = 4. Let b be (-20)/(-6)(-12)/y. Solve 2*t - o = b*t for t.
-3
Let w = -16 + 16. Solve -4*j - 15 + 3 = w for j.
-3
Let w = -65 - -94. Let h = w + -21. Solve 10 = 3*v - h*v for v.
-2