Salut, bienvenue.
La commande solve devrait répondre à tes attentes.


EDIT : Ou alors, non, en fait tu veux juste évaluer une expression avec des variables ? Dans ce cas, tu tapes ton expression avec tes noms de variables (x, y etc) et à la fin tu ajoutes un pipe (caractère | qui se lit "'sachant que"), et là tu donnes des valeurs à tes variables.
eg :
2*x+4*y|x=12 and y=63