smt-prime.sol

pragma experimental SMTChecker;
// pragma solidity ^0.4.20;

contract Primes {
  function prime(uint a, uint b) public pure {
    require(1 < a && a < 500);
    require(1 < b && b < 25000);
    assert(a * b != 23447);
  }

  function factor(uint a, uint b) public pure {
    require(1 < a && a < 500);
    require(1 < b && b < 25000);
    assert(a * b != 23449); 
  }
}