猎奇唐人小解法

众所周知，$s(x) = s(x-1)+1$ 且 $s(0) = 1$（皮亚诺公理），且乘法 $ab = a + a+a+ \cdots \text{(共 n 个 a)} \cdots + a$，由此得代码。

def s(x):
    return x + 1
n = int(input())
a = n
for i in range(s(s(s(s(s(0)))))):
    n += s(0)
b = n
for i in range(s(s(0))):
    n += s(b + (s(0 + (-1) + (-1))))
print(f"({a}+5)*3={n}")