AlgMap-9.1 \({@v@}\) = [[input:ans]] [[validation:ans]]]]> \[ {@cf1*v+k1@} = {@k2@}. \] We first move all the constants to one side (\({@-k1@}\)): \[ {@cf1*v@} = {@k2-k1@}. \] Then divide by the coefficient of \({@v@}\) (\({@cf1@}\)): \[ {@v@} = {@ta@}. \] And so we now have obtained a value for {@v@}.]]> 1 0.1 0 v:rand([x,y,z,t]); cf1:rand(6)+1; k1:rand(10)+1; k2:rand(10)+1; ta:(k2-k1)/cf1; [[feedback:prt1]]

]]> \[ {@cf1*v+k1@} = {@k2@} \Rightarrow {@v@} = {@ta@}. \] 1 0 0 *10 none 1 i cos-1 lang [ 0 {"author":[{"firstName":"Tony","lastName":"Barnard","institution":"","year":"1999"}],"language":["en"],"isPartOf":"STACK Library - Algebra Refresher","license":"cc-sa-4.0","additional":{"UoE":{"Notes":"This is automatically generated metadata."}},"freeform":{}} ans algebraic ta 15 1 0 0 1 1 1 1 1 prt1 1.0000000 1 1 0 AlgEquiv ans ta 0 = 1.0000000 -1 1-0-T = 0.0000000 -1 1-0-F 253453649 332413405 343041774 223289048 754301387 1781387469 741447996 544014872 246266401 854303989 1 ans ta prt1 1.0000000 0.0000000 1-0-T