Решение 

`and`((D(y))(x[0]) = k(x[0]), `and`(k(x[0]) = -`/`(3, 2), -`/`(3, 2) = -1.5))