Vamos lá, a primeira coisa que modifiquei no seu código foram os inputs para facilitar o resultado veja:
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
Adicionei o type para checkbox e alterei a virgula para ponto
Agora para você utilizar as variáveis em PHP como $variavel, $total e $total_geral será necessário você salvar os dados após cada alteração nos checkbox, você pode utilizar ajax para isso.
<?
$variavel = 100,00
?>
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
<input type="checkbox" checked="" value="20.00" />
<div id='resultado_soma'><?echo $total?></div> <!--Resultado da soma dos checkbox-->
<div id='resultado_soma_menos_variavel'><?echo $total_geral?></div>
<!-- Resultado Pegando a Variavel - Resultado checkbox -->
Agora o javascript para tudo isso funcionar
(function() {
var elements = document.getElementsByTagName('input');
var resultado = document.getElementById('resultado_soma');
var total = 100.00;
for (var i = 0; i < elements.length; i++) {
elements[i].onclick = function() {
if (this.checked === false) {
total = total - this.value;
} else {
total = total + parseFloat(this.value);
}
resultado.innerHTML = total;
}
}})();
Você pode ver o código completo aqui também : https://jsfiddle.net/kcnhr66w/1/