Let k(s) = -s**3 - 13*s**2 - 12*s + 4. Let w be k(-12). Solve 0 = -p + w*p + 12 for p.

Let y(x) = -x**2 - 9*x + 10. Let v be y(-10). Solve 2*k + k = v for k.

0

Suppose 3*o + 4 = 5*o. Suppose 2*p + o*m + 0*m = -2, -2*m - 14 = -p. Solve 5*w + p = 19 for w.

3

Suppose 0*c - 12 = -3*c. Solve -c*d = -d - 3 for d.

1

Suppose 20 = 2*q + 5*z, -3*z + 20 = 4*q + 2*z. Solve q = 2*v + 2*v - 4 for v.

1

Let y = 56 - 54. Solve -y*d = 3*d for d.

0

Let u(g) = -g + 5 - 3 - 4 + 3. Let t be u(1). Solve t = 2*p - 3*p for p.

0

Let r = 114 + -60. Let a be (-6)/(-4) - r/(-4). Solve 0*t + a = -3*t for t.

-5

Suppose -2*k = -0*k. Suppose 2*u = -u. Let z = k - u. Solve 2*n - 2 = -z for n.

1

Let x(w) = 2*w + 6. Let t be x(7). Let a be (-12)/t + ¹⁸⁄₅. Let k be a/2*⁸⁄₆. Solve -9 = k*i + i for i.

-3

Suppose 13*x - 17*x + 56 = 0. Solve -x = 5*u + 6 for u.

-4