Let z = -32 + 2. Let y be (-6)/5*z/9. Suppose -a + 4*v = -2*a + 15, -y*v = -5*a + 27. Solve -a = 2*d + 1 for d.
-4
Suppose 0*c + 20 = 5*c. Solve -8*n = -c*n - 4 for n.
1
Let k = -219 - -119. Let q be (2/(-5))/(10/k). Solve 0 = -2*z + 4 + q for z.
4
Let n® = -r3 - 7*r2 - 7*r - 6. Let f be n(-6). Solve f = -7*s + 4*s + 9 for s.
3
Let z(i) = i**2 - 7*i + 3. Let g be z(7). Suppose 8 = -q + g*q. Solve -2*o + q*o = 8 for o.
4
Let h be (-4)/8 + (-13)/(-2). Solve -2*d + h = -4 for d.
5
Let l be 8/(-14) + 88⁄7. Solve 2*k = 5*k + l for k.
-4
Let a = 2 + 0. Suppose -x = -4*x + 6. Solve a*t + x*t = 8 for t.
2
Let c(v) be the third derivative of -v7⁄5040 + v6⁄72 - v5⁄15 - v2. Let m(s) be the third derivative of c(s). Let a be m(0). Solve 2*t - a = -3*t for t.
2
Let l be ((-16)/4)/((-3)/15). Solve -4*m = -0*m - l for m.
5