For a machine with an efficiency of 80%, what is the work output of the machine if its work input is 2,000 joules?

Question

would i divide 2000/.80? which gives me 2500?