a) Adevărat ( a e de forma 15k deci 3 divide a).
b) Adevărat (a e de forma 17k, iar cum a divide x înseamnă că x e de forma 17kl, k, l ∈ N, deci 17 divide x).
c) Fals (2 | 4 și 4 | 4, dar 8 nu divide 4 - acesta este un contraexemplu prin care se ilustrează că o propoziție matematică este falsă).