用python写代码，数学领域著名的“哥德巴赫猜想”的大致意思是：任何一个大于2的偶数总能表示为两个素数之和。比如：24=5+19，其中5和19都是素数。本实验的任务是设计一个程序，验证5000以内的偶数都可以分解成两个素数之和。 输入格式: 输入在一行中给出一个(2, 5000]范围内的偶数N。 输出格式: 在一行中按照格式“N = p + q”输出N的素数分解，其中p \le≤ q均为素数。又因为这样的分解不唯一（例如24还可以分解为7+17），要求必须输出所有解中p最小的解。 输入样例: 24 输出样例: 24 = 5 + 19

以下是Python代码实现：

def is_prime(n):
    if n <= 1:
        return False
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            return False
    return True

n = int(input())
for i in range(2, n // 2 + 1):
    if is_prime(i) and is_prime(n - i):
        print('{} = {} + {}'.format(n, i, n - i))
        break

首先定义一个`is_prime`函数来判断一个数是否为素数。然后遍历偶数`n`的一半范围内的所有素数`i`，如果`n-i`也是素数，则输出结果并退出循环。输出结果按照题目要求格式化输出即可。