Given hash(x) and y, can I verify z = hash(x + y)?
The technical term for what you're looking for is "publicly verifiable proof of retrievability". Here is a question on crypto.SE that discusses existing implementations of PoRs.