auto_times_x; minus_between_nums