Least value of possible_y satisfying the given equation will yield True in the below if and break the loop
if ( ( first_term_diff % b + possible_y * d ) % b == 0 ) : NEW_LINE INDENT break ; NEW_LINE DEDENT