let mathd-numbertheory-150 = `!n:num. ~(prime (7 + 30 * n)) ==> 6 <= n`;;