Let c® be the first derivative of r4⁄4 - 2*r3 + 7*r**2⁄2 - 6*r - 2. Let b be c(5). Solve -l - 3 + b = 0 for l.
1
Let p(d) = d3 - 7*d2 + 4*d + 12. Let r be p(6). Solve r = -2*g - 0*g + 6 for g.
3
Suppose 0*n - 19 = 5*m + 3*n, -2*n + 4 = 0. Let a(b) = -2*b - 7. Let v be a(m). Suppose 3 - 36 = -v*r. Solve 31 = -5*o + r for o.
-4
Let d(y) = 4*y - 1. Let b(t) = -4 - t - 4*t + 5. Let i(u) = -3*b(u) - 4*d(u). Let a be i(-1). Solve a*x + 2*x - 12 = 0 for x.
3
Let j(a) = a - 1. Let y be j(5). Suppose -3*n + n = -y. Suppose 3*v = -5*k + n*v + 9, 11 = 3*k - 5*v. Solve -k = 4*q + 6 for q.
-2
Let i(o) = o - 6. Let m be i(16). Let k be -1 - 0 - (-5 - 2). Let x be m/k - (-5)/15. Solve -x*y = 2*y for y.
0
Suppose 5*i - 8 = -4*r + 6*r, 0 = 5*i - 5r - 5. Let s be i(-3)/(-2) + -1. Suppose -5 = -t + z + 3, 0 = -s*t + 5*z + 31. Solve t*f + f = -12 for f.
-3
Let k(l) = l**2 - 2*l + 5*l - 2*l + 11. Let h be k(0). Suppose -v = -h - 5. Solve -5*j + v = -j for j.
4
Suppose 5*i - 4*i = 2. Suppose -f = p - 1, -5*f + p + 3*p + 5 = 0. Solve -c - i - f = 0 for c.
-3
Let d be (-2 + 2)/(1 + -2). Suppose -6*q + 3*q = d. Suppose -2*m + 0*m = q. Solve -2*u + 3*u - 4 = m for u.
4