((x^2/-23)^3-(x^2/-23)^2+2x^2/(-23)-1)*(-12167)