Symbolic algebra examples