What kind of accuracy do you want? readadc10 will give you 1024 steps. You have 1750 ms-steps between your low and high values, so you multiply your adc value by 1750 and then divide by 1024. Unfortunately, picaxe can't handle numbers larger than 65536, so you have to scale things to fit the picaxe math.
Say bump 1024 up to 1025 and each is divisible by 25--1750/25=70 and 1025/25=41. Your maximum adc value is 1024, so you can't multiply that by 70 without overflowing. By dividing those numbers in half, you get ADCVal / 35 * 20.5--you still have the problem of the fractional value. You can get around this by calculating your half an ADCVal first, and then doing the rest of the calculation, and finally adding the half back in, plus your offset of 250. Something like this.
Code:
readadc10 w1
w2 = w1 / 2
w1 = w1 * 35 / 20 + w2 + 250
pause w1