Symbol: is_h_timing_divisible_by_2