Let m(h) = -10*h - 4*h3 + 3*h3 + 16 - h - 13*h**2. Let n be m(-12). Solve -4 + 0 = n*k for k.
-1
Suppose -3*v - 62 = -0*w - w, 0 = -w + 5*v + 66. Suppose 0 = x + 3*x - w. Suppose -5*a = -5, 0 = -3*g - a + 2*a + x. Solve g*y - 20 = y for y.
5
Let z = 64 + -44. Solve -3*r - r = -z for r.
5
Let w = -98 - -101. Solve -6 = w*v - 18 for v.
4
Let k(x) = 3*x3 + 2*x2 + x - 2. Let z be k(1). Solve -z*o + 31 - 11 = 0 for o.
5
Suppose -6*k + 8*k = 6. Suppose -3*x - k = -4*x. Solve -7*q + x*q + 16 = 0 for q.
4
Let c(x) = -x + 2. Let r be c(2). Solve r = o - 0 - 4 for o.
4
Suppose -6*f + 2*f + 32 = 0. Suppose 0*p + f = 2*p. Suppose -5*w = b - 16, -2*b = 3*b + 2*w - 11. Solve t - b = -p for t.
-3
Let s be 3/((-15)/2)*-10. Suppose 0 = -3*m + 15, 5*r = -0*r + 5*m + 25. Suppose 0 = -5*p - 2*f + 6, 4*f + r = 3*p - 2*p. Solve s*w = p*w - 4 for w.
-2
Let w = -56 + 56. Solve -3*k - 12 = -w*k for k.
-4