Let h = -13 + 8. Let t = -3 - h. Solve -c = 6 - t for c.
-4
Let o = 6 - 6. Solve 0 = k - o*k for k.
0
Let u = -23 + 25. Suppose 0 = -2*q + 2*h, -8*q + 3*q - 4*h + 18 = 0. Suppose -5*r + 16 = -r, m = q*r. Solve 3*p - m + u = 0 for p.
2
Let u be (-11)/4 + 3 - (-54)/8. Solve 4*w = 5 + u for w.
3
Suppose -x = -5*x. Suppose x*d - 3*d = 0. Solve -4*c - c + 20 = d for c.
4
Let c be (3 + -2)*2⁄1. Let q(t) = -3*t - 5. Suppose 5*s + 20 = s. Let i be q(s). Solve -c = 4*o - i for o.
2
Suppose 4*l - 10 = 4*g + 10, 0 = 5*l + 5. Let k = g - -8. Solve -k*q = 3*q - 15 for q.
3
Suppose k + 0*k = 5*w - 46, -4*w - 5*k = -31. Let s = 1 - -1. Solve -w = -s*m - m for m.
3
Let m(j) be the third derivative of 0*j + 2*j3 - 3⁄8*j4 - 2*j2 + 0 + 1⁄60*j5. Let n be m(8). Solve -n = 4*r - 16 for r.
3
Let f = -25 - -27. Let y be f - (1 + 0 + -1). Solve y*r - 6 = -0*r for r.
3