使用 sympy 库解决鸡兔同笼问题

"鸡兔同笼" 是一个经典的数学问题，描述的是：一个笼子里有一些鸡和兔，从上面数有 n 个头，从下面数有 m 只脚。问笼子里有多少只鸡和多少只兔？

假设笼子里有 x 只鸡和 y 只兔。

根据题目，我们可以建立以下方程：

鸡和兔的头数总和是 x + y = n（鸡和兔都有一个头）。
鸡和兔的脚数总和是 2x + 4y = m（鸡有2只脚，兔有4只脚）。
现在我们可以使用编程来解这个方程组。在 Python 中，我们可以使用 sympy 库来解这个方程组。

下面是一个使用 Python 和 sympy 库来解鸡兔同笼问题的示例代码：

注意：你需要将 n 和 m 的值替换为题目中给出的实际值。在这个示例中，我假设了 n=35 和 m=94 作为示例值。