solve.py

from pwn import *
from sympy import *

context.log_level = 'debug'

r = remote("misc.chal.csaw.io", 9002)

print(r.recvline())
print(r.recvline())
print(r.recvline())
print(r.recvline())
print(r.recvline())
print(r.recvline())
print(r.recvline())
X = symbols("X")
for i in range(100):
	equation = r.recvline()
	print("Equation is " + equation)
	stuff = equation.split("=")
	lhs,rhs = stuff
	lhs = sympify(lhs)
	rhs = sympify(rhs)
	sols = solve(lhs-rhs,X)
	print("Solution is " + str(sols[0].evalf())) 
	r.sendline(str(sols[0].evalf()))
	print(r.recvline())