$\mathrm{sol}:=\mathrm{solve}\left(\left\{0\le x-y^2\&comma;x^2\&plus;y^2<9\&comma;0<-y\&plus;3x-2\right\}\&comma;\left[x\&comma;y\right]\right)$

$\mathrm{sol}:=\left[\left[x\&equals;1\&comma;y<1\&comma;-1\le y\right]\&comma;\left[x\&equals;-\frac{1}{2}\&plus;\frac{1}{2}\sqrt{37}\&comma;y<\frac{1}{2}\sqrt{-2\&plus;2\sqrt{37}}\&comma;-\frac{1}{2}\sqrt{-2\&plus;2\sqrt{37}}<y\right]\&comma;\left[x\&equals;\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}\&comma;y\le \frac{1}{10}\sqrt{60\&plus;10\sqrt{86}}\&comma;-\frac{1}{10}\sqrt{60\&plus;10\sqrt{86}}\le y\right]\&comma;\left[x<\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}\&comma;1<x\&comma;y\&equals;\sqrt{x}\right]\&comma;\left[x<\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}\&comma;1<x\&comma;y\&equals;-\sqrt{x}\right]\&comma;\left[x<1\&comma;\frac{4}{9}<x\&comma;y\&equals;-\sqrt{x}\right]\&comma;\left[x<-\frac{1}{2}\&plus;\frac{1}{2}\sqrt{37}\&comma;\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}<x\&comma;y\&equals;\sqrt{x}\right]\&comma;\left[x<-\frac{1}{2}\&plus;\frac{1}{2}\sqrt{37}\&comma;\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}<x\&comma;y\&equals;-\sqrt{x}\right]\&comma;\left[x<\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}\&comma;1<x\&comma;y<\sqrt{x}\&comma;-\sqrt{x}<y\right]\&comma;\left[x<1\&comma;\frac{4}{9}<x\&comma;y<3x-2\&comma;-\sqrt{x}<y\right]\&comma;\left[x<3\&comma;-\frac{1}{2}\&plus;\frac{1}{2}\sqrt{37}<x\&comma;y<\sqrt{-x^2\&plus;9}\&comma;-\sqrt{-x^2\&plus;9}<y\right]\&comma;\left[x<-\frac{1}{2}\&plus;\frac{1}{2}\sqrt{37}\&comma;\frac{3}{5}\&plus;\frac{1}{10}\sqrt{86}<x\&comma;y<\sqrt{x}\&comma;-\sqrt{x}<y\right]\right]$

$\mathrm{plots}\&lsqb;\mathrm{inequal}\&rsqb;\left(\mathrm{sol}\&comma;x\&equals;0..3\&comma;y\&equals;-2..2\right)$

$\mathrm{SolveTools}\&lsqb;\mathrm{SemiAlgebraic}\&rsqb;\left(\left\{a{x}^2<b\&comma;a<x\right\}\&comma;\left[x\right]\right)$

$\&lcub;\begin{array}{cc}\left[\left[0<x\right]\right]& \mathrm{And}\left(a\&equals;0\&comma;0<b\right)\\ \left[\left[a<x\&comma;x<\frac{\sqrt{ab}}{a}\right]\right]& \mathrm{And}\left(0<a\&comma;a^3<b\right)\\ \left[\left[0<x\right]\&comma;\left[a<x\&comma;x<0\right]\right]& \mathrm{And}\left(a<0\&comma;b\&equals;0\right)\\ \left[\left[-a<x\right]\right]& \mathrm{And}\left(a<0\&comma;b\&equals;a^3\right)\\ \left[\left[a<x\right]\right]& \mathrm{And}\left(a<0\&comma;0<b\right)\\ \left[\left[-\frac{\sqrt{ab}}{a}<x\right]\right]& \mathrm{And}\left(a<0\&comma;b<a^3\right)\\ \left[\left[-\frac{\sqrt{ab}}{a}<x\right]\&comma;\left[a<x\&comma;x<\frac{\sqrt{ab}}{a}\right]\right]& \mathrm{And}\left(a<0\&comma;a^3<b\&comma;b<0\right)\\ \left[\right]& \mathrm{otherwise}\end{array}$