addnum: Agrega un nmero a ambos lados de una ecuacin
addterm: Agrega una expresin a ambos lados de una ecuacin
divnum: Dividir una ecuacin por un nmero
exsides: Intercambiar ambos lados de una ecuacin
lincomb: Suma de ecuaciones con coeficientes
mulnum: Multiplicar una ecuacin por un nmero
rewrite: Reescribir una ecuacin
spliteq: Dividir casos segn una (in)ecuacin
