Given that x=8 is the solution of the equation ax-4*7=12, then what is the solution y= of the equation ay+5=20.
已知x=8是方程ax-4*7=12的解，那么方程ay+5=20的解y=多少．
<gadget id="calculator">20 - 5</gadget>
<output>15</output>

<gadget id="calculator">15 / 5</gadget>
<output>3</output>

<result>3</result>