Let m(h) = -h3 - 5*h2 - 3*h + 4. Let q be m(-4). Let p(l) = l3 + 11*l2 + 11*l + 10. Let y be p(-10). Solve 4*k + y + 16 = q for k.
-4
Let l = -1 + 4. Suppose -l*d = u - 4, 6*d - 20 = -5*u + d. Solve 4*t - u = 3*t for t.
4
Let l(x) = 3*x - 1. Let g be l(-1). Let i be ((-10)/g)/((-8)/(-16)). Suppose -4*m + i*m = 8. Solve -5*h - 2 = m for h.
-2
Suppose -10*d + 8 = -6*d. Solve 3*p = d*p + 4 for p.
4
Let z(h) = 3*h + h + 0*h - 5*h + 3. Let d be 1*0/(-3 - -2). Let l be z(d). Solve -6 = l*q - 0 for q.
-2
Suppose 7*g - 2*g = 0. Suppose g = -f + 5 - 3. Solve 0 = 2*p + f*p for p.
0
Suppose f - 6 = -3*u + 5*u, 0 = f + 5*u + 15. Solve f = -4*i - 0*i - 20 for i.
-5
Suppose 0*s + 2 = 2*s. Solve -19 - s = 4*t for t.
-5
Suppose 16*c - 20 = 11*c. Solve 0*j - c = j for j.
-4
Suppose 2*j + 2*n = 40, j - 3*j + 40 = n. Let c(z) = z + 5. Let r be c(0). Solve -k + r*k = j for k.
5