Solving literal equations