Let h be (-15)/(-9)*(3 + 0). Suppose 0 = -0*w + 5*w - h. Suppose -2 - w = 3*y, -5*y - 1 = 4*z. Solve -3*k - 5 = z for k.
-2
Let i be 0*(-2 - (-2)/2). Suppose -54 = -5*j - 24. Solve i = -3*l - j + 15 for l.
3
Suppose 0*x = 4*j - x - 91, -3*x = 9. Solve -5*p + j - 2 = 0 for p.
4
Let v(a) be the third derivative of a4⁄24 + 13*a3⁄6 + a**2. Let t be v(-9). Solve t*s + 1 = 13 for s.
3
Suppose 5*a - 29 = q + 31, 15 = 3*q. Solve 10*w + 12 = a*w for w.
4
Let j be 312/(-54) + 2/(-9). Let o = -1 - j. Solve 0 = 3*a - o*a for a.
0
Let o be (-13)/5 - 6/(-10). Let t be -14*1/o - -1. Suppose -4*f = -4*u - 8, 0*f - 4*u - t = f. Solve f = 2*c - 4*c for c.
0
Let c(p) = -p3 + 11*p2 - 10*p + 4. Let s be c(10). Suppose -d + 4*b = -s, -2 = -5*d - 5*b - 7. Solve d = 5*g - 27 + 2 for g.
5
Suppose 5*g = g + 8. Let c = -6 - -12. Suppose 2 = -5*w + g*w - o, 0 = 4*w - 3*o - c. Solve w = 3*p + p for p.
0
Suppose 2*t + 39 + 31 = -5*x, -4*x - t = 53. Let c be ((-171)/x)/((-9)/(-24)). Solve 5*y = -c + 13 for y.
-5