from sympy import symbols, solve, Poly, And
# Define the variable
x = symbols('x')
# Define the inequality
inequality = 3*x - 5 < 4*x + 7
# Solve the inequality
solution = solve(inequality, x)
# Display the solution
print("The solution to the inequality 3x - 5 < 4x + 7 is:")
print(solution)