Let m be (5 - -2) + 15/(-5). Solve 0 = -0*r - m*r for r.
0
Let h(s) be the second derivative of 2*s**3⁄3 - 2*s. Let d be h(1). Suppose -9 = -d*g + g. Solve 7*w = g*w for w.
0
Let j(y) = y2 + 4*y - 5. Let p(q) = -q2 + q - 5. Let x be p(0). Let k be j(x). Solve k = 3*g + 2*g - 25 for g.
5
Let b(w) = -6*w3 - w2 - w. Let l be b(-1). Let r = l - 1. Let k be r/(-2)*4/(-5). Solve -3*z + k + 10 = 0 for z.
4
Let v(j) = j3 - 10*j2 - 10*j - 8. Let g be v(11). Suppose g*n + 3 = 6*n. Solve -p = -1 - n for p.
2
Suppose -5*w - w + 30 = 0. Solve -k = -w*k for k.
0
Suppose -3*k - 6 = -5*g - 5*k, 4*g + 4*k = 0. Suppose 0 = t - 1 + 3. Let l be t - 3/(-1) - 1. Solve g*u - 3*u = l for u.
0
Let y(n) = -n - 6. Let u be y(-3). Let l be (-9)/(-6) + u/2. Solve l = 2*c - 0*c - 8 for c.
4
Suppose -2*w = w. Suppose w = 4*j - m - 11, 2*m + 19 = 2*j - 3*m. Suppose -3*t + 10 = j*t. Solve l + l = t for l.
1
Suppose -j - 4*j = -40. Solve -j = -z + 3*z for z.
-4