solve[ F1 + 10 sin(30) - P = 0, F1 ]