HF RL Explorer

construct/rlve recursive sequence sum

construct/rlve recursive sequence sum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Define the sequence F by F(0) = 119 and F(n) = 1 F(n - 1) + 410 for every integer n = 1.

The task

Define the sequence F by F(0) = 119 and F(n) = 1 * F(n - 1) + 410 for every integer n >= 1.

Part of amphora/MathConstructOptimize-Envs-harbor.