Let k(n) = -n3 + 4*n2 + 5*n + 5. Let r be k(5). Let q be 1 + -3 - (-2 - r). Suppose 20*b - 16*b - 16 = 0. Solve b*h = q*h for h.
0
Let m(n) = -3*n - 25. Let l be m(-9). Solve 0 = l*x - 0*x + 2 for x.
-1
Let n = 5 - 4. Let a = n - -1. Solve 0*j + a*j = 8 for j.
4
Let v(j) = j + 8. Let k = 7 - 13. Let b be v(k). Solve b*q - 5*q = 12 for q.
-4
Let w = -11 - -14. Suppose -w*g = g - 4. Solve v + 0*v = -g for v.
-1
Let r be 1⁄2 + (-34)/4. Let v be (r/(-10))/((-6)/(-15)). Solve -4*z + v*z = -4 for z.
2
Let h(m) = m**2 + 4*m - 7. Let x be h(-6). Suppose -x = n - 12. Solve -n = w - 3 for w.
-4
Let b = -32 - -35. Let f be 4⁄16 - (-2)/(-8). Suppose 4*t + t + 4*a + 4 = f, -2*a - 2 = -4*t. Solve t = h - b for h.
3
Let v be 102/(-8)-6. Let a = v - 9. Let k = a - 0. Solve -k = -2*d - 4 for d.
1
Let n = 3 - 1. Let r = n - -22. Suppose y = 5*y - r. Solve 0*i = 3*i + y for i.
-2