一个简单验证和差化积记忆效果的程序，但重复输入量很多，求助

a="sina+sinb="
A="2sin((a+b)/2)cos((a-b)/2)"
    
b="sina-sinb"
B="2sin((a-b)/2)cos((a+b)/2)"          #后面还有c,d,e,f,g....

print(a)
x=input()
while x!=A:
    print("False")
    print(a)
    x=input()
else:
    print("True")

print(b)
x=input()
while x!=B:
    print("False")
    print(b)
    x=input()
else:
    print("True")

这个可不可以用什么简化一下，后面还有好多个公式