Πεψενθε 

`and`(P = `+`(`+`(10, 15), 20), `+`(`+`(10, 15), 20) = 45) 

`and`(k = `*`(90, `/`(1, 45)), `*`(90, `/`(1, 45)) = 2) 

`and`(c = `*`(2, 20), `*`(2, 20) = 40)