Let n = -13 - -16. Solve 2*u = 5*u - n for u.
1
Let o = 18 - 11. Let w(k) = -o*k2 + 4 + 3*k2 + 3 - k**3 + 6*k. Let x be w(-5). Solve -3*n - 1 = -x*n for n.
-1
Let o = -2 + 4. Suppose 0 = -z - o + 5. Solve -z = -n + 2*n for n.
-3
Suppose 5*t = -15, -h + 0*t + 27 = -5*t. Solve h + 0 = 4*k for k.
3
Let l = -4 - -6. Suppose 5*y = 3*h - 7 + 39, -12 = l*y + 5*h. Let r be ((-8)/(-5))/(y/10). Solve 15 = -p - r*p for p.
-3
Let p be 0 - (0 + -11) - 0. Let i = -8 + p. Solve 7 = -4*v + i for v.
-1
Suppose v - i - 11 = -6*i, -34 = -5*v - 4*i. Solve -q - q - v = 0 for q.
-3
Suppose 12 = 2*z + 2. Solve -20 = -0*h + z*h for h.
-4
Let p(y) = -y3 + 10*y2 - 10*y + 12. Let j be 24⁄40 - 84/(-10). Let z be p(j). Suppose 3*d = -2*a - 6, -a + z*d - d + 11 = 0. Solve -a + 11 = 4*w for w.
2
Let m(o) be the third derivative of -1⁄3*o3 + 2*o2 + 0 + 1⁄8*o**4 + 0*o. Let z be m(2). Solve z*v - 11 = -3 for v.
2