Suppose -2*k + 8 = 0, 5*k - 3 = 5*s + 2. Solve 0 = s*r + 2 + 10 for r.
-4
Let r(h) = -h3 - 8*h2 - 3. Let c be r(-8). Suppose -q + 1 = -0*q. Let x be (c + 7)/(1/q). Solve -2 = x*n + 2 for n.
-1
Suppose -5*a - 5*x = -a - 40, -4*a + 8 = -3*x. Solve 8*s - 12 = a*s for s.
4
Let s(j) = 2*j - 5. Let w be s(5). Suppose 3*p + 3*q = 2*p + 7, -3*p + 7 = -w*q. Suppose 0 = 4*a - p*l, -6 = -3*a + 2*l - 2. Solve -a*n = 8 - 0 for n.
-2
Let h(a) = -a**2 - 16*a + 2. Let p be h(-16). Suppose 0 = 2*w + 10*b - 5*b + 5, 0 = -2*w - 4*b - 4. Solve 4 = -p*g - w for g.
-2
Let u(w) = 2*w3 + 2*w2 - 3*w + 1. Let a be u(2). Let h = -15 + a. Solve 0 = -2*n + n - h for n.
-4
Suppose -6*d + 12 = -2*d. Solve -2 - 13 = -d*y for y.
5
Let h = 9 - 8. Let f be ((-2)/(-6)*0)/h. Solve 4*w + 16 = -f*w for w.
-4
Suppose -2*n = 0, q + n = -0*q. Solve q*j + 3*j = 3 for j.
1
Let l be (-4)/(-6)*3 - (-8)/4. Solve -l - 11 = 5*m for m.
-3