(n-of(= i 402 n 200)(= n(+(/ 5(-- i 2)i)(/ i /.n(- -1 i)4))))(pr:num n 99)