I'm sorry but I think I'm missing something, how did you get this form
 
    >>> solve(x**-1*y-t,x)
    [y/t]