How to simplify equation by eliminating variables using z3py

Question

I want to simplify some formulas likes: convert (a == b and b == c) to (a == c) When I use "solve-eqs" Tactic, I get nothing [[]].