Let m(n) = n3 + 5*n2 + 2. Let d = -1 + -4. Let u be m(d). Suppose 3*z - 12 = 0, -z + 0*z + 22 = u*x. Solve x + 0 = 3*b for b.
3
Suppose 0 = -2*f - 4*z + 14, -3*z = -6*z + 6. Solve -g + 12 = f*g for g.
3
Let c(k) be the third derivative of k5⁄20 + k4⁄8 - k3⁄2 + 2*k2. Let v be c(-3). Solve 0*m + 5*m - v = 0 for m.
3
Let z(t) = 2*t**2 - t - 8. Let i be z(4). Solve i = 2*q + 3*q for q.
4
Let v = 1 + 0. Let k be (6/(-3))/(7 - 5). Let y be 3/(v/(-2)*k). Solve 0 = 2*l - y*l - 12 for l.
-3
Let n = -5 + 8. Suppose 4*q = q. Solve n*y + q*y = 3 for y.
1
Let a(p) = -3*p - 8. Let w = 7 + -13. Let y be a(w). Solve -5 = 5*l + y for l.
-3
Suppose 8 - 2 = 2*b. Let c = 0 + b. Solve -c*k = 6 + 3 for k.
-3
Suppose -5*c - 4*q + 112 = 0, -c - 3*q = -6*c + 126. Suppose -4*y = -2*y - c. Solve -27 = -3*a - y for a.
5
Suppose -b + 12 = -4*b. Let d = 5 + b. Suppose 34 = 5*z - n, -n + d = 5. Solve 5*c - z = 4 for c.
2