Let c = 12 + -6. Solve 0 = b - c*b + 10 for b.
2
Let t(n) be the second derivative of n5⁄20 - 5*n4⁄12 + n3⁄2 + 3*n2⁄2 + n. Let r be t(3). Let g be 3/(r/4)*-1. Solve g*f = -2*f for f.
0
Let k(v) = 4*v - 12. Let m be k(3). Solve 0 = -m*f + 5*f for f.
0
Suppose h - 2 = 3. Suppose -h*c = -c - 72. Solve -c = -4*t + 2 for t.
5
Let q(y) = -2*y - y + y2 - 5 + 0*y2 + 6. Let v be q(4). Suppose v*g - 3*g - 4 = 0. Solve -2*k - g = -10 for k.
4
Suppose 3*c + 72 = -5*r, -14 = 2*r + 5*c + 11. Let a = 15 + r. Solve a = -d - 3 for d.
-3
Let z® = r**2 - 3*r. Let i = -9 - -12. Let k be z(i). Solve k - 5 = -p for p.
5
Suppose 0 = -f - 2*b + 7, 0*f = 3*f + 5*b - 21. Let z = f - 0. Solve 32 = -5*r + z for r.
-5
Suppose 0 = -8*d + 9*d - 8. Solve 0*z = -4*z - d for z.
-2
Let c(s) = s - 5. Let p be c(6). Solve 6 = f + p for f.
5