Let m(q) be the third derivative of -q6⁄120 + 7*q5⁄60 - 5*q4⁄24 - 4*q3⁄3 + 3*q**2. Let i be m(6). Let h be i - (-2)/(2⁄23). Solve -4 - h = 5*u for u.
-5
Let u(i) = -2*i - 12. Let d be u(-6). Suppose d*r - 2*r = 0. Solve -4*x + 0*x + 4 = r for x.
1
Suppose -l + 35 = 5*j, 0 = j - 0*j + 3*l + 7. Solve j*r - 9 = 5*r for r.
3
Let n = 12 + -12. Solve n*l - 3*l - 15 = 0 for l.
-5
Suppose 6*w = w + 80. Suppose -4*v + 3*j + 8 = -20, -5*j - 24 = -v. Let g be (0 + 9)*v/6. Solve g*c = 2*c - w for c.
-4
Suppose 3*a + 78 = a. Let r be 2⁄5 - a/15. Let x(k) = k**2 + 4*k - 4. Let q be x(-5). Solve -r*z = 8 + q for z.
-3
Let d = 9 - 9. Let c be (d - 1) + (-6)/(-2). Suppose -20 + c = -3*g. Solve 2*j - 2 + g = 0 for j.
-2
Let y(s) = s3 - 7*s2 + 2*s - 4. Let l be y(7). Solve 0 = -0*n - 5*n - l for n.
-2
Let w be -1 - -2 - (-1 - -1). Let v be 3/(3⁄2 - 0). Let y be 0/((-3)/(-2)*2/(-3)). Solve -v*i - 5 + w = y for i.
-2
Let s(i) = -i3 + 4*i2 - 4*i + 3. Let v© = c - 1. Let h be v(4). Let k be s(h). Solve 0 = 2*n - k*n for n.
0