Решение 

`>=`(`+`(`/`(`*`(130, `*`(R)), `*`(`+`(R, 1)))), 120){`<`(R, -1)}, {`<=`(12, R)}