Let j(d) = 5*d3 + d2. Let g be j(1). Suppose 5*p - a = a + 9, -g = -5*p + 3*a. Solve -5*o + 8 = p for o.
1
Let y(p) = p - 12. Let f be y(10). Let w = f - -4. Let d(k) = -3*k - 2. Let i be d(-4). Solve -3*j - w*j + i = 0 for j.
2
Let h = -17 + 17. Suppose 0*b + 4*b = 0. Let f = h - b. Solve f = 4*r - 12 for r.
3
Suppose 2*h = 5*w - 3 + 8, -4*w = -12. Solve -2*v + h = -0*v for v.
5
Let p(y) = -2*y3 + 15*y2 + 10*y - 11. Let l be p(8). Solve j - l*j + 4 = 0 for j.
1
Suppose 2*x = 2*a, 3*a - 5 = 4*x - 8. Solve 0*u = -x*u for u.
0
Suppose -6*v + v = -25. Suppose 4*m = -5 + 93. Suppose -3*g + 2*s = -9, -7*g + 2*g + m = -s. Solve -g*c - 5 = v for c.
-2
Let y(s) = -s - 7. Let a be y(-8). Suppose -5*k - 2*q = -20, 4*k + 4*q = 5 - a. Let d be (-10)/(-1)*15/k. Solve 2*l = -3*l + d for l.
5
Let v(m) be the third derivative of m6⁄120 + m5⁄12 - m4⁄4 + m3⁄3 - 7*m**2. Let a be v(-6). Solve -a*o = -3*o - 2 for o.
-2
Suppose 0 = 5*m + v - 1, -3*m + 0*v + 2*v = 2. Solve m = -r - 2*r - 6 for r.
-2