ラムダ式の簡約化の問題について

Question

前提・実現したいこと

ラムダ式に関する以下の問題が分からないです。
1.ラムダ式“(λxyz.(+ x y z) 2 3 )”簡約化せよ
2.ラムダ式“(λxyz.(w x y z) 2 3 4)”簡約化せよ
3.ラムダ式 “(λtu.(t u v) 5 6)” を省略されていない式に直せ．
4.ラムダ式 “(λxyz.(+ x y z) 2 3 4)” と“(λxyz.(+ x y z) 2 3)”を簡約した結果を求めよ

ラムダ式に関する理解がかなり曖昧で困っています。以上の問題に対して自分なりに出した答え以下に記します。
1.(λ z.(+ 2 3 z) )
2.(w 2 3 4)
3.λt.(λu.(t.(u.(v.()))) 5) 6
4.(λxyz.(+ x y z) 2 3 4)->(+ 2 3 4)
(λxyz.(+ x y z) 2 3)->λz.(+ 2 3 z)

どこが間違っているかのご指摘も頂けるとありがたいです。よろしくお願いします。