Let o(m) be the second derivative of -m5⁄20 - m4⁄3 - m3⁄6 - m2 + 2*m. Let c be o(-4). Suppose 0 = 2*u + c*b, u + 3*b - 3 = -13. Solve u*q = q for q.
0
Let k = 15 + -10. Suppose 5*j - j - k*z = 20, 0 = 3*z. Suppose -m - j*t = 3*m - 8, 4 = 2*m + 2*t. Solve -4 = -2*c + m for c.
3
Let d(m) = -m3 - 6*m2 - 7*m - 6. Let u be d(-5). Let p be (u/(-6))/(2/(-6)). Solve -p*c - c = 0 for c.
0
Let y(o) = -o + 2. Let g be y(1). Suppose 0 = 5*u - g - 14. Solve 2 = u*l + 5 for l.
-1
Let k = 35 + -21. Let d be (-10 + 3)*(-8)/k. Solve -7*o = -3*o + d for o.
-1
Let n(q) = q**2 + 8*q - 5. Let p be n(-9). Suppose 4*k + p = 5*k. Solve -k = -z + 5*z for z.
-1
Let x = -5 - -10. Suppose 4*w = x*q - 17 - 3, -20 = -5*q - 2*w. Suppose -56 - q = -5*g. Solve u = 4*u - g for u.
4
Suppose -2*u + 4 = 4*r, -4*u + 2*r - 3*r + 1 = 0. Suppose -b - 2*o = u, 2*b - 25 = o - 5. Solve -2*j - b = -0*j for j.
-4
Suppose -4*v - p - 12 = 0, -v + 0*p - 6 = p. Let g be (-5 - -3)/v - 1. Solve g*q = q for q.
0
Suppose 5*m = -3*m + 32. Solve 5 - m = u for u.
1