3 + builtins.isInt 4 10 && !12 + - 6 - 5