Earthquake Problems Automatically Solved