Let y(t) be the second derivative of t4⁄12 - t3⁄3 - 2*t**2 - 3*t. Let l be y(4). Solve -p + 15 = l*p for p.

3

Let h be -1*((-3 - 0) + 3). Solve 3*w - 10 + 1 = h for w.

3

Suppose -3*z + 2*z + 15 = 4*l, -15 = -5*l. Suppose 0 = 2*b - z*b - 5*t - 17, t + 4 = 0. Solve b*w + 18 - 3 = 0 for w.

-5

Let m be 0 + 1 + -3 + 7. Suppose -2*v = -v - 15. Let j = v - m. Solve -j = n + n for n.

-5

Suppose 3*d - 2d + 2 = 0. Let f be (-1)/(1(d + 1)). Let p be 0*(1 - (f + -1)). Solve -3*m + m = p for m.

0

Let s = 9 - 7. Let c(p) = -p2 - 2 - 2 + 6 - 10*p + 2*ps. Let r be c(10). Solve 4 = d - r*d for d.

-4

Let y = -14 + 20. Suppose -3*x + y = -x. Solve -x*l = l + 4 for l.

-1

Let r be (-2)/6 + 13⁄3. Suppose t = -t. Let w = 4 - 4. Solve t = -c - w + r for c.

4

Let u(m) = m3 + m - 1. Let q(h) = 6*h3 + h**2 + 7*h - 2. Let i(p) = -q(p) + 4*u(p). Let w be i(-2). Solve -y - w = 3*y for y.

-4

Let o = 22 + -10. Solve -4*n = -n + o for n.

-4