Solving open sentences involving absolute value