解未知之谜（写出检验过程）．
5x+3×0.7=4.6　　　　
（x-20）÷25=0.8．解：（1）5x+3×0.7=4.6，
5x+2.1=4.6，
5x+2.1-2.1=4.6-2.1，
5x=2.5，
5x÷5=2.5÷5，
x=0.5；
检验：把x=0.5代入方程，
左边=5x+3×0.7，
=5×0.5+3×0.7，
=2.5+2.1，
=4.6，
右边=4.6，
左边=右边，
所以，x=0.5是方程的解．

（2）（x-20）÷25=0.8，
（x-20）÷25×25=0.8×25，
x-20=20，
x-20+20=20+20，
x=40；
检验：把x=40代入方程，
左边=（x-20）÷25，
=（40-20）÷25，
=20÷25，
=0.8，
右边=0.8，
左边=右边，
所以，x=40是方程的解．
分析：（1）先求出方程左边3×0.7的积，然后根据等式的基本性质，方程的两边同时减去2.1，最在后方程的两边同时除以5，求解即可．
（2）先根据等式的性质在方程的两边同时乘以25，然后在方程的两边同时加上20，求解即可．
点评：此题考查了根据等式的基本性质解方程，注意不要忘记检验，以及规范检验的格式．