Automatic Algorithms of Complex Properties