Symbol: is_h_timing_divisible_by