Let t(b) = 2*b - 4. Let q be t(3). Let l(p) be the second derivative of p5⁄20 - p4⁄12 + p**3⁄6 + 2*p. Let d be l(0). Solve -q*k + 15 - 5 = d for k.
5
Suppose 0 = 13*q - 10*q. Let i(p) = -p3 + 6*p2 + 2. Let g be i(6). Solve q*n - g*n = 6 for n.
-3
Let x(n) = -n**2 + 6*n + 10. Let y be x(7). Suppose d - 1 = 1. Suppose -5*p + 40 = -0*l + l, 0 = d*p + 4*l + 2. Solve p = -y*v - 0*v for v.
-3
Let h = -4 + 4. Let k(i) = -i + 5. Let z be k(h). Solve 5*y - z = -0*y for y.
1
Suppose -2*r = 2*r - 8. Suppose -r*a = -3*a + 2. Let t be 10/(a/4*4). Solve -2*f + t*f - 12 = 0 for f.
4
Suppose -2*v = 2 - 6. Suppose 0 = 7*m - 10m. Let s be (-1)/v(m - 10). Solve -7*c + s = -2*c for c.
1
Suppose 3*n = -0*n + 150. Suppose 0 = 2*t + 2*t + 8, 0 = 5*y - 5*t - n. Solve y*d - 10 = 3*d for d.
2
Suppose 4*m = 8*m. Suppose 0 = -2*t - m + 12. Let c(p) = -2*p + 4. Let q be c(-6). Solve t*z = 2*z - q for z.
-4
Suppose 25 = 3*j - 2. Suppose x = -l + j, 3*x - 28 = -4*l + 3. Solve -p = -1 + l for p.
-3
Suppose 3*z - 4*o = -o + 12, 24 = 2*z + 2*o. Suppose -x + 2*x = z. Solve 4*l - x = -24 for l.
-4