Let g(b) be the second derivative of b5⁄20 - b4⁄12 + 12*b**2 + 3*b. Let l be g(0). Solve 5*y - l = 1 for y.
5
Let j(a) be the second derivative of -a4⁄12 + a3⁄6 + 7*a**2⁄2 - 2*a. Let m be j(0). Let g = m + -2. Solve o = g*o - 20 for o.
5
Let o be (2*(-36)/(-40))/(2⁄10). Solve 0*k + o = -3*k for k.
-3
Suppose 0 = -t - a - 14, -3*a - 17 = t + a. Let r = t - -20. Suppose 5*w = r*o - 3*o + 1, w - 5 = -4*o. Solve 3*m + 4 - w = 0 for m.
-1
Let p = -13 - -15. Solve 0 = -p*u + 4*u - 10 for u.
5
Let p(i) = 2*i**2. Let n be p(-2). Solve 0 = 4*f - 24 + n for f.
4
Let s = 9 - 10. Let o be (-2 + 4)/(s/(-1)). Solve -8 = -2*z - o*z for z.
2
Suppose 0 = -5*g + 3*g + 4. Solve -g*n = -n - 2 for n.
2
Suppose -3*i + 3*k = -18, -3*i - 5*k = -k - 11. Suppose -2*r - 6 = -i*r. Suppose -2*g = s - 7, s - 1 = -2*g + r*s. Solve t + g = -2 for t.
-4
Suppose -2*t = 3*s - 19 - 0, -3*s = -5*t + 16. Suppose -4*a = 5*r - 13, 2*a - r = t*a + 4. Let m be (a + 3)/(-1 - 1). Solve m + 2 = -j for j.
-2