Let v® be the second derivative of r3⁄6 - r2⁄2 - 3*r. Let b be v(4). Solve b = -3*w - 0 for w.
-1
Let u be ((-2)/6)/((-15)/45). Solve 4*z + u = 17 for z.
4
Let l(o) = -o**2 + 8*o - 7. Suppose -2*k = -k - 6. Let u be l(k). Suppose 33 = 2*v - u*r, -5*r - 20 = -v + 9. Solve -5*g - v = 6 for g.
-2
Suppose i = 4*i + 2*h - 26, 0 = 3*h - 12. Solve -u + i = u for u.
3
Let p(a) = -a3 + 3*a2 - a + 5. Let l be p(4). Let t be 20/l*3/(-2). Let y(v) = 7*v + 2. Let z be y(t). Solve u + z = 5*u for u.
4
Let g be (-2)/(-8)-2-2. Let x be g/20-1. Let z® = r**2 - 6*r + 4. Let a be z(6). Solve -2*k + 2 + a = x for k.
3
Let w(f) = -f + 1. Let a be w(-1). Suppose -2*v - 4 = -r - 12, -a*r + 20 = 5*v. Solve -11 = v*n - 3 for n.
-2
Let g® = -3*r. Let u be g(-1). Suppose u*q - 10 = -1. Let t = 14 + -9. Solve q = t*b - 2 for b.
1
Suppose 12 = -2*g + 16. Solve -3*p = -g*p + 5 for p.
-5
Suppose 2*b - 4*b = 4*b. Solve b*t + t = 5 for t.
5