Let m(t) be the third derivative of -t5⁄60 + t4⁄8 - t3⁄6 - t2. Let v = 6 + -4. Let l be m(v). Solve -2*z + 7 + l = 0 for z.
4
Suppose 0 = -l - 5*n + 8 + 19, n + 17 = 3*l. Solve 3*d = 5 + l for d.
4
Suppose 0*m - 39 = 3*m. Let a = -10 - m. Solve -a*p + 2 = -1 for p.
1
Let w(b) = -b**2 + 9*b - 8. Let s be w(6). Suppose 0 = z + 3*g, g = -5*z - 2*g. Let m = z + 5. Solve m*d + s = -0*d for d.
-2
Suppose 2 = -0*k + k. Solve -6*l = -k*l for l.
0
Let j = 2 + -4. Let y be 0 + j/(-4)*2. Suppose 2*t = -l + y, -5*l + 2*t - 3*t + 50 = 0. Solve -4*h - l = 5 for h.
-4
Let c(q) = -q**2 + 3*q + 10. Suppose d = -i + 12 - 1, 3*i - 2*d - 18 = 0. Let z be c(i). Let v be -1 - 2 - z/2. Solve 3*g - v = -g for g.
3
Suppose -8*j + 15 = -3*j. Suppose 2*g + 16 = j*t, t - 10 = 4*g - g. Suppose 49 = t*l - 3*x + 8*x, -2*l - 5*x + 37 = 0. Solve l = -k + 3*k for k.
3
Suppose -2*g + 0 = -3*h - 1, 2 = g. Solve 0 = -v - 3 - h for v.
-4
Suppose -5 + 17 = 3*v. Let y be (-1)/((12/(-15))/v). Solve y*o + 14 = -11 for o.
-5