There are a number of math problems here. First AC (Alternating Current not Air Conditioner :-) watts are not DC watts. They are DC
watts over (the square root of two.) So when converting from a DC value like BTU/hr you need to factor that in. Assuming a power
factor of 1, the actual equivalent DC watts of the air conditioner is about 2.5K (8500ish BTU), and will actually be less because the power factor will
be less than 1 for the type of motors used in an air conditioner.
Secondly Heat != electricity unless you are using a resistive device. You don't compare them kWH to kWH, there's a
COP involved though usually a SEER is used when talking HVAC. This COP will be well over 1, as you can move way more than 1kWH of heat with 1kWH of electricity; often several times more, but it depends on the temperatures involved. If you have a heat ballast like a ground source loop attached to a heat pump that boosts the COP dramatically.