如何用F＃求解方程？

Question

如何用F＃求解方程？

例如（我编写的语法松散）：

define a, b where (a + b = 5) and (a - b = 1)

define c where (c = c / 2)

print a, b, c

我希望它输出3，2和0。

此外，它可以使用先前定义的方程式的解决方案来执行define d where d = c + a之类的操作吗？