fermat_solve.sol

/*
 * The "core" logic of the smart contract.
 * Calculates the equation with provided values for Fermat's last theorem.
 * Returns the value of a^n + b^n - c^n, n > 2
 */
function solve(int256 a, int256 b, int256 c, int256 n) pure public returns (uint256) {
    assert(n > 2);
    uint256 aExp = power(a, n);
    uint256 bExp = power(b, n);
    uint256 cExp = power(c, n);

    uint256 sum = add(aExp, bExp);
    uint256 difference = sub(sum, cExp);
    return difference;
}