solving literal equations