Πεψενθε 

`implies`(`/`(`*`(m), `*`(`+`(5, -3))) = `+`(`*`(3, `*`(x, `*`(`/`(`+`(`*`(10, `*`(x)))))))), m = `/`(3, 5)) 

`and`(`*`(M, `*`(M[1])) = `+`(3, .6), `+`(3, .6) = 3.6)