(*
  Authors: Wenda Li
*)

theory algebra_2varlineareq_fp3zeq11_3tfm1m5zeqn68_feqn10_zeq7
  imports Complex_Main
begin

theorem algebra_2varlineareq_fp3zeq11_3tfm1m5zeqn68_feqn10_zeq7:
  fixes f z::complex
  assumes h0: "f + 3*z = 11"
      and h1: "3*(f - 1) - 5*z = -68" 
    shows "f = -10 \<and> z = 7"
  by sorry

end