Let z© = -c3 + 13*c2 + c - 8. Let a be z(13). Let f(d) = d**2 + 5*d + 6. Let u be f(-7). Solve -s - u = -a*s for s.
5
Let d = -3 - -7. Suppose d*n - 24 = -8. Solve -n*m + 15 = -m for m.
5
Suppose -8*h = -16*h + 24. Solve -15 = -h*d - 0 for d.
5
Let u be (-1)/(1/(-6)*-1). Suppose 0 = -4*q - 4*r + 12, -3*r + 5*r = -10. Let m = u + q. Solve m*k = -0*k for k.
0
Suppose 0*v - 3*v - 7 = 2*l, 0 = l - 4*v + 20. Let p = l - -12. Solve -6*k + p*k = -6 for k.
3
Let d be 6/(-8) + ((-6)/(-8))/1. Solve d = 2*b - b + 2 for b.
-2
Let c(j) = -j**2 - j + 1. Suppose 0*d - 5*d = -2*k + 13, k - 5*d = 14. Let u be c(k). Solve 0 - u = x for x.
-1
Suppose -v + 4 = v. Solve -v*w - 1 = 1 for w.
-1
Let d© = -c - 1. Let v be d(-3). Suppose 5*o + v*h - 40 = -h, 4*o - 45 = -5*h. Solve o*y - 10 = -0*y for y.
2
Let b© = c**2 - 2*c - 3. Suppose g - 2*g + 11 = 4*n, 3*g = n - 19. Let v be b(n). Suppose 2*a = 3*a - v. Solve 2*p - 13 + a = 0 for p.
4