Let f(v) be the third derivative of -v6⁄120 - 7*v5⁄60 - v4⁄4 + v3⁄3 - v**2. Let c be f(-6). Let m be 12⁄15*10/c. Solve -9 = -m*o + o for o.
3
Let l® = -r**2 + 6*r - 2. Let n = -1 - -6. Let f be l(n). Solve -f*h = -0 - 3 for h.
1
Let d = -16 - -21. Suppose -d*v + 25 = -5. Solve 0 = -s + v*s - 20 for s.
4
Suppose -2*i - 3*f = -24, 4 - 26 = -5*i + 2*f. Let d(h) = -h**2 + 5*h. Let j be d(i). Let z(u) = -3*u + 1. Let a be z(j). Solve -a + 4 = -3*b for b.
5
Let r(x) = x + 5. Let i be r(2). Suppose k - 4*k = -15. Solve -i*a = -k*a - 2 for a.
1
Suppose 3*z - 13 = -4*b + 5*b, -z - 2*b - 5 = 0. Suppose -v + 9 - z = 0. Solve 5*x + 9 + v = 0 for x.
-3
Let b = 5 + -5. Suppose 3*v - 12 = -2*k, -k - 3 + b = -3*v. Solve -2 = k*d - 4*d for d.
2
Let o be 0/(1/(-1)) - -20. Suppose 0 = -b - 4*b + o. Solve -2*p = -b*p for p.
0
Suppose 4*m + 20 = 5*v - v, -5 = 3*m - v. Suppose 2*t + 110 = 116. Solve 5*p - t*p - 8 = m for p.
4
Suppose -3*d + 5*y = 25, 3*d = 3*y - y - 10. Solve -3*g - g + 8 = d for g.
2