Input (grade 10): In general, it is said (read as "divides") for non-zero integers and iff there exists an integer such that.
Output (grade 10): In general, we say m | n (read: m divides n) for non-zero integers m and n iff there exists an integer k such that n = km.