:- style_check(-singleton).


div2(A) :- 0 is mod(A,2).
div3(A) :- 0 is mod(A,3).
div5(A) :- 0 is mod(A,5).
div7(A) :- 0 is mod(A,7).
div11(A) :- 0 is mod(A,11).
div13(A) :- 0 is mod(A,13).
div17(A) :- 0 is mod(A,17).
div19(A) :- 0 is mod(A,19).
div23(A) :- 0 is mod(A,23).
div29(A) :- 0 is mod(A,29).

const0(0). const1(1). const2(2). const3(3). const5(5). const7(7).
const11(11). const13(13). const17(17). const19(19). const23(23). const29(29).