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

Let k(h) = h**2 - 5*h - 5. Let b be k(7). Solve -5*u - 16 = -b*u for u.

4

Let q(d) = -2*d**2 - 2*d + 4. Let x be q(0). Solve 3*b = -b + x for b.

1

Let j be (-3 - (-30)/9)*-9. Let r be -2 - (j - -4) - -7. Suppose -p = 5*t - 4 - 2, 5*t - 14 = p. Solve -k - r = -t for k.

-2

Suppose 0 = 3*c - 15, -2*d + 2*c - 4*c = -24. Let h = 7 - d. Suppose -5*z + 9 = -2*z. Solve -z*u + 4 + 8 = h for u.

4

Let z = 1 + -1. Let m(w) = z*w + w - 4 - 1. Let l be m(6). Solve -3*f - 11 = l for f.

-4

Let w be (15 + -4)/(-1 - -2). Solve 5*m + 4 = -w for m.

-3

Suppose -7*x = -3*x - 8. Let c = x - 2. Suppose -2*m - 3*m + 15 = 0. Solve 3*k + m + 0 = c for k.

-1

Suppose 3*l + 2*s = 8, -3*l + l + 2*s + 2 = 0. Solve -l = 3*z + 10 for z.

-4

Let h = 2 + -4. Let a be (-2)/(3/(9/h)). Suppose 3*v - 2*s = 46, 37 = v + 4*s - 9*s. Solve -a*x + v = x for x.

3

Suppose 0 = 4*h - 3*r - 13, -r - 3 = -2*h + h. Suppose 3*g + 2*o - 18 = 3*o, 0 = h*g - 3*o - 24. Suppose 0 = -2*p + g - 2. Solve 1 = j + p for j.

-1