diff --git a/expreduce/interp.go b/expreduce/interp.go
index 4e5957c..1ef2514 100644
--- a/expreduce/interp.go
+++ b/expreduce/interp.go
@@ -3,7 +3,7 @@ package expreduce
 import (
 	"bytes"
 	"fmt"
-	"github.com/corywalker/wl-1"
+	"github.com/cznic/wl"
 	"go/token"
 	"log"
 	"math/big"
diff --git a/expreduce/resources.go b/expreduce/resources.go
index 215a6a9..2d33885 100644
--- a/expreduce/resources.go
+++ b/expreduce/resources.go
@@ -1161,7 +1161,7 @@ func resourcesSolveM() (*asset, error) {
 		return nil, err
 	}
 
-	info := bindataFileInfo{name: "resources/solve.m", size: 23742, mode: os.FileMode(420), modTime: time.Unix(1524345277, 0)}
+	info := bindataFileInfo{name: "resources/solve.m", size: 23742, mode: os.FileMode(420), modTime: time.Unix(1524352163, 0)}
 	a := &asset{bytes: bytes, info: info}
 	return a, nil
 }
diff --git a/expreduce/string.go b/expreduce/string.go
index 9a3c3bb..4d8f601 100644
--- a/expreduce/string.go
+++ b/expreduce/string.go
@@ -1,7 +1,7 @@
 package expreduce
 
 import "bytes"
-import "github.com/corywalker/wl-1"
+import "github.com/cznic/wl"
 
 type ToStringParams struct {
 	form         string
diff --git a/utils/solve_tests.m b/utils/solve_tests.m
new file mode 100644
index 0000000..cf4ed0b
--- /dev/null
+++ b/utils/solve_tests.m
@@ -0,0 +1,336 @@
+{False,x,{},{}}
+{False,x,{},{}}
+{False,x,{},{}}
+{False,{},{},{}}
+{{},x,{{}},{{}}}
+{{False,False},{},{},{}}
+{E^x==0,x,{},{}}
+{1/x==0,x,{},{}}
+{x^x==0,x,{},{}}
+{3^(2+x)==0,x,{},{}}
+{-1+0^x==0,x,{},{}}
+{x==0,x,{{x->0}},{True}}
+{x==0,x,{{x->0}},{True}}
+{3^(2-x)==0,x,{},{}}
+{-1+0^(-2+x)==0,x,{},{}}
+{1+Sqrt[x]==0,x,{},{}}
+{-\[Pi]+x^2==0,pi,{},{}}
+{-a==0,a,{{a->0}},{True}}
+{-a==0,a,{{a->0}},{True}}
+{-0.5+x==0,x,{{x->0.5}},{True}}
+{-0.5+x==0,x,{{x->0.5}},{True}}
+{-0.5+x==0,x,{{x->0.5}},{True}}
+{2 x==0,x,{{x->0}},{True}}
+{-3+y==0,y,{{y->3}},{True}}
+{-y==0,y,{{y->0}},{True}}
+{-y==0,y,{{y->0}},{True}}
+{(1+1/p)^(1+p)==0,p,{},{}}
+{{-2+X08647738==0,X18647739==0},{X0,X1},{},{}}
+{Sqrt[x]==0,x,{{x->0}},{True}}
+{(1+I) x==0,x,{{x->0}},{True}}
+{a+x==0,x,{{x->-a}},{True}}
+{E+x==0,x,{{x->-E}},{True}}
+{-3+y==0,{x,y},{{y->3}},{True}}
+{y+x y==0,x,{{x->-1}},{True}}
+{-1+ArcTan[x]==0,x,{{x->Tan[1]}},{True}}
+{-3+Log[x]==0,x,{{x->E^3}},{True}}
+{Sin[Sqrt[x]]==0,x,{{x->0}},{True}}
+{-2+Sqrt[r]==0,r,{{r->4}},{True}}
+{1+1/(-1+x)==0,x,{{x->0}},{True}}
+{1/(2+1/x)==0,x,{{x->0}},{True}}
+{-2+x^(1/4)==0,x,{{x->16}},{True}}
+{-3+x^(1/3)==0,x,{{x->27}},{True}}
+{-2+Sqrt[x]==0,x,{{x->4}},{True}}
+{-1+Sqrt[x]==0,x,{{x->1}},{True}}
+{1+x^(1/3)+Sqrt[x]==0,x,{},{}}
+{Sqrt[-1+x]==0,x,{{x->1}},{True}}
+{-(1/2)+x==0,x,{{x->1/2}},{True}}
+{-(1/2)+x==0,x,{{x->1/2}},{True}}
+{Sqrt[x^3]==0,x,{{x->0}},{True}}
+{-2+3 x==0,x,{{x->2/3}},{True}}
+{-2+3 x==0,x,{{x->2/3}},{True}}
+{-y+Erf[x]==0,x,{{x->InverseErf[y]}},{True}}
+{-y+Erfc[x]==0,x,{{x->InverseErfc[y]}},{True}}
+{E^x+x==0,x,{{x->-ProductLog[1]}},{True}}
+{-2+Sqrt[x]+x==0,x,{{x->1}},{True}}
+{{-2+Abs[x]==0,-\[Pi]+arg[x]==0},x,{},{}}
+{-2^x+5^x==0,x,{{x->0}},{True}}
+{(1-5/x) x==0,x,{{x->5}},{True}}
+{-x+x^(y z)==0,x,{{x->1}},{True}}
+{x-y^3==0,x,{{x->y^3}},{True}}
+{-3+Abs[i]==0,i,{{i->-3},{i->3}},{True,True}}
+{-3+Abs[x]==0,x,{{x->-3},{x->3}},{True,True}}
+{-35-5.62527 e+x==0,x,{{x->35. +5.62527 e}},{True}}
+{-E^x+x==0,x,{{x->-ProductLog[-1]}},{True}}
+{-4+x^2==0,x,{{x->-2},{x->2}},{True,True}}
+{-4+x^2==0,x,{{x->-2},{x->2}},{True,True}}
+{-1+x^2==0,x,{{x->-1},{x->1}},{True,True}}
+{-1+x^2==0,x,{{x->-1},{x->1}},{True,True}}
+{-1+x^2==0,x,{{x->-1},{x->1}},{True,True}}
+{-1+x^2==0,x,{{x->-1},{x->1}},{True,True}}
+{-1+(2 x)/(2+x)==0,x,{{x->2}},{True}}
+{x y==0,{y,x},{{x->0},{y->0}},{True,True}}
+{x y==0,{y,x},{{x->0},{y->0}},{True,True}}
+{-3+x+y==0,{x,y},{{y->3-x}},{True}}
+{{2-X18649524^2==0,X08649523+X18649524==0},{X0,X1},{},{}}
+{x/Sqrt[1+x^2]==0,x,{{x->0}},{True}}
+{(1+x)/(2+x^2)==0,x,{{x->-1}},{True}}
+{-9+1/(5+x)^(1/5)==0,x,{{x->-(295244/59049)}},{True}}
+{-8+Abs[-7+x]==0,x,{{x->-1},{x->15}},{True,True}}
+{-y+InverseErf[x]==0,x,{{x->Erf[y]}},{y==InverseErf[Erf[y]]}}
+{-y+InverseErfc[x]==0,x,{{x->Erfc[y]}},{y==InverseErfc[Erfc[y]]}}
+{{-2+x^2+y==0,x^2+y==0},{y,x},{},{}}
+{(1-x) x==0,x,{{x->0},{x->1}},{True,True}}
+{-1+x^y==0,{y,x},{{x->1},{y->0}},{True,True}}
+{-1+x^y==0,{y,x},{{x->1},{y->0}},{True,True}}
+{-1-2 x-x^2+(1+x)^2==0,x,{{}},{True}}
+{(-1-x)/(2+x)^2+1/(2+x)==0,x,{},{}}
+{{False,Sqrt[-a^2-b^2]==0},a,{},{}}
+{-(1/(2 centimeter))+1/x==0,x,{{x->2 centimeter}},{True}}
+{(2+1/(-1+x)) (-1+x)==0,x,{{x->1/2}},{True}}
+{-((3 a)/Sqrt[x])==0,x,{{}},{a/Sqrt[x]==0}}
+{2^(1/4)+x==0,x,{{x->-2^(1/4)}},{True}}
+{Sqrt[2]+x==0,x,{{x->-Sqrt[2]}},{True}}
+{2^x+x==0,x,{{x->-(ProductLog[Log[2]]/Log[2])}},{True}}
+{-0.1-x+x^2==0,x,{{x->-0.091608},{x->1.09161}},{False,True}}
+{-0.1-x+x^2==0,x,{{x->-0.091608},{x->1.09161}},{False,True}}
+{-0.1-x+x^2==0,x,{{x->-0.091608},{x->1.09161}},{False,True}}
+{1-x+(-3 x^2+x^3)^(1/3)==0,x,{},{}}
+{-y+z^x==0,x,{{x->Log[y]/Log[z]}},{True}}
+{Log[-3+x]+Log[3+x]==0,x,{{x->Sqrt[10]}},{True}}
+{Log[1+x]-Log[-1+2 x]==0,x,{{x->2}},{True}}
+{(-3+x^(1/3)) x==0,x,{{x->0},{x->27}},{True,True}}
+{1+x^2==0,x,{{x->-I},{x->I}},{True,True}}
+{1+x^2==0,x,{{x->-I},{x->I}},{True,True}}
+{1/(E^y+1/x-y)==0,{y,x},{{x->0}},{True}}
+{E^y x+y==0,x,{{x->-E^-y y}},{True}}
+{{-2+a==0,b==0},{a,b},{{a->2,b->0}},{{True,True}}}
+{{3+x==0,y==0},{y,x},{{y->0,x->-3}},{{True,True}}}
+{-4+Sqrt[3] Sqrt[x]==0,x,{{x->16/3}},{True}}
+{((-3+x) (-2+x))^((-4+x) (-3+x))==0,x,{{x->2}},{True}}
+{x^(1/4)+x^(1/3)+Sqrt[x]==0,x,{{x->0}},{True}}
+{1/(3+x/(1+x))^2==0,x,{{x->-1},{x->-1}},{True,True}}
+{-2 Abs[-3+x]+Abs[3+x]==0,x,{{x->1},{x->9}},{True,True}}
+{{-3+a==0,False,-4+b^2==0,-12+4 a==0},{a,b},{},{}}
+{-2^(x/3)+5^(x/2)==0,x,{{x->0}},{True}}
+{(1+Sqrt[x])/(1+x^(1/3)+Sqrt[x])==0,x,{},{}}
+{4 (1-Sqrt[x]) x==0,x,{{x->0},{x->1}},{True,True}}
+{{-1+a==0,-2+a+b==0},{a,b},{{a->1,b->1}},{{True,True}}}
+{{-3+x==0,2+y==0},{x,y,x},{{x->3,y->-2}},{{True,True}}}
+{(-1+x)/(1+1/(-1+x))==0,x,{{x->1},{x->1}},{True,True}}
+{x^2-y^2==0,{x,y},{{y->-x},{y->x}},{True,True}}
+{-Abs[-1+x]+2 Abs[x]==0,x,{{x->-1},{x->1/3}},{True,True}}
+{-(\[Pi]/3)+atan2[x,2]==0,x,{{x->InverseFunction[atan2,1,2][\[Pi]/3,2]}},{True}}
+{{4+x==0,E+y==0},{x,y},{{x->-4,y->-E}},{{True,True}}}
+{{x-y==0,x+y==0},{x,y},{{x->0,y->0}},{{True,True}}}
+{{x-y==0,x+y==0},{x,y},{{x->0,y->0}},{{True,True}}}
+{{x-y==0,x+y==0},{x,y},{{x->0,y->0}},{{True,True}}}
+{-2+a+b x==0,{a,b},{{b->2/x-a/x}},{True}}
+{-2+(x/y)^w==0,w,{{w->Log[2]/Log[x/y]}},{True}}
+{-1+x+x^2+Cos[y]^2+Sin[y]^2==0,x,{{x->-1},{x->0}},{True,True}}
+{{y==0,E^x+x==0},{x,y},{{x->-ProductLog[1],y->0}},{{True,True}}}
+{{y==0,E^x+x==0},{y,x},{{y->0,x->-ProductLog[1]}},{{True,True}}}
+{E^(x/2)+a/x==0,x,{{x->2 ProductLog[-(a/2)]}},{True}}
+{-((b x)/(a+x))+y==0,x,{{x->(a y)/(b-y)}},{True}}
+{-3+2 Log[4+3 x]==0,x,{{x->1/3 (-4+E^(3/2))}},{True}}
+{{-Sqrt[2]+(Sqrt[2]+Sqrt[5]) t==0,t==0},t,{},{}}
+{{-3+x+y==0,-5+x-y==0},{y,x},{{y->-1,x->4}},{{True,True}}}
+{{-1+x==0,-1+x==0,x-y==0,x-2 y==0},{x,y},{},{}}
+{{-1+x==0,x-y==0,x-2 y==0,-1+x==0},{x,y},{},{}}
+{{-1+x==0,x-y==0,x-2 y==0,-1+y==0},{x,y},{},{}}
+{-1+1/x+x==0,x,{{x->(-1)^(1/3)},{x->-(-1)^(2/3)}},{True,True}}
+{(-3+E^x) (b+a x)==0,x,{{x->-(b/a)},{x->Log[3]}},{True,True}}
+{-y+ProductLog[2 x]==0,x,{{x->(E^y y)/2}},{y==ProductLog[E^y y]}}
+{{3+x==0,2-I y==0},{y,x},{{y->-2 I,x->-3}},{{True,True}}}
+{{-4+(x+y)^2==0,-2+x+y==0},{y,x},{{x->2-y}},{{True,True}}}
+{(8+E^x) (8+2 x)==0,x,{{x->-4},{x->I \[Pi]+Log[8]}},{True,True}}
+{-(b/(1+a x))+y==0,x,{{x->(b-y)/(a y)}},{True}}
+{{-2+x+y==0,-4+2 x+2 y==0},{y,x},{{x->2-y}},{{True,True}}}
+{{-5+Abs[-7+4 x]==0,-1+Abs[-3+8 x]==0},x,{{x->1/2}},{{True,True}}}
+{{-5+Abs[-7+4 x]==0,-1+Abs[-3+8 x]==0},x,{{x->1/2}},{{True,True}}}
+{{-5+Abs[-7+4 x]==0,-1+Abs[-3+8 x]==0},x,{{x->1/2}},{{True,True}}}
+{-3+E^x==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[3],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-3+E^x==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[3],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-3+E^x==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[3],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{(-1+n) (2+n) (-1+2 n)==0,n,{{n->-2},{n->1/2},{n->1}},{True,True,True}}
+{(x-y^3)/(y^2 Sqrt[1-y^2])==0,x,{{x->y^3}},{True}}
+{(x-y^3)/(y^2 Sqrt[1-y^2])==0,x,{{x->y^3}},{True}}
+{{1/(2+1/x)==0,-1+1/(-3+y)==0},{y,x},{{y->4,x->0}},{{True,True}}}
+{{-2+x+5 y==0,-15-3 x+6 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-2+x+5 y==0,-15-3 x+6 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-2+x+5 y==0,-15-3 x+6 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-2+x+5 y==0,-15-3 x+6 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-2+x+5 y==0,-15-3 x+6 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-15-3 x+6 y==0,-2+x+5 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-15-3 x+6 y==0,-2+x+5 y==0},{x,y},{{x->-3,y->1}},{{True,True}}}
+{{-1+re[x]==0,-2+im[x]==0},x,{{x->(re^(-1))[1]}},{{True,im[(re^(-1))[1]]==2}}}
+{x (x-y/x)==0,x,{{x->-Sqrt[y]},{x->Sqrt[y]}},{True,True}}
+{x (x-y/x)==0,x,{{x->-Sqrt[y]},{x->Sqrt[y]}},{True,True}}
+{2-b^2+(a+b) x==0,{a,b},{{a->(-2+b^2-b x)/x}},{True}}
+{2-b^2+(a+b) x==0,{a,b},{{a->(-2+b^2-b x)/x}},{True}}
+{2-b^2+(a+b) x==0,{a,b},{{a->(-2+b^2-b x)/x}},{True}}
+{E+x^2==0,x,{{x->-I Sqrt[E]},{x->I Sqrt[E]}},{True,True}}
+{-2+Sqrt[-1+x^2]==0,x,{{x->-Sqrt[5]},{x->Sqrt[5]}},{True,True}}
+{E^x-y==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[y],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{2-y^2+n (x+y)==0,{x,y},{{x->(-2-n y+y^2)/n}},{True}}
+{1+E^x==0,x,{{x->ConditionalExpression[I \[Pi]+2 I \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{1+E^x==0,x,{{x->ConditionalExpression[I \[Pi]+2 I \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{(2 x)/(7-x)+x^2/(7-x)^2==0,x,{{x->0},{x->14}},{True,True}}
+{{3+I y==0,2-I x==0},{x,y},{{x->-2 I,y->3 I}},{{True,True}}}
+{{t+x+y+z==0,-t-z==0},{x,y,z,t},{{y->-x,t->-z}},{{True,True}}}
+{{1+c==0,b+2 c==0,a+b==0},{a,b,c},{{a->-2,b->2,c->-1}},{{True,True,True}}}
+{{1+c==0,b+2 c==0,a+b==0},{a,b,c},{{a->-2,b->2,c->-1}},{{True,True,True}}}
+{4+x^2+y==0,x,{{x->-Sqrt[-4-y]},{x->Sqrt[-4-y]}},{True,True}}
+{{E^x-Sin[y]==0,-3+1/y==0},{x,y},{{x->Log[Sin[1/3]],y->1/3}},{{True,True}}}
+{4 (1-a Sqrt[x]) x==0,x,{{x->0},{x->1/a^2}},{True,Sqrt[1/a^2]==1/a}}
+{-2+x^x==0,x,{{x->Log[2]/ProductLog[Log[2]]}},{(Log[2]/ProductLog[Log[2]])^(Log[2]/ProductLog[Log[2]])==2}}
+{-a x^b+y==0,x,{{x->(y/a)^(1/b)}},{y==a ((y/a)^(1/b))^b}}
+{3 x+Log[4 x]==0,x,{{x->1/3 ProductLog[3/4]}},{0==Log[4/3 ProductLog[3/4]]+ProductLog[3/4]}}
+{{a+a^2==0,a-b==0},{a,b},{{a->-1,b->-1},{a->0,b->0}},{{True,True},{True,True}}}
+{{-10+Sqrt[x^2+y^2]==0,3+Sqrt[(10-x)^2+y^2]==0},{x,y},{},{}}
+{{-10+Sqrt[x^2+y^2]==0,3+Sqrt[(10-x)^2+y^2]==0},{x,y},{},{}}
+{-1+3 E^(2-7 x)+5 x==0,x,{{x->1/35 (7+5 ProductLog[-((21 E^(3/5))/5)])}},{True}}
+{a x^b-y==0,x,{{x->(y/a)^(1/b)}},{y==a ((y/a)^(1/b))^b}}
+{x y (x^2-y^2)==0,{y,x},{{x->0},{x->-y},{x->y},{y->0}},{True,True,True,True}}
+{x y (x^2-y^2)==0,{y,x},{{x->0},{x->-y},{x->y},{y->0}},{True,True,True,True}}
+{x^2 z^2-y^2 z^2==0,{z,x,y},{{y->-x},{y->x},{z->0}},{True,True,True}}
+{3-E^(a x)==0,x,{{x->ConditionalExpression[(2 I \[Pi] C[1]+Log[3])/a,C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-4-15 x+x^3==0,x,{{x->4},{x->-2-Sqrt[3]},{x->-2+Sqrt[3]}},{True,True,True}}
+{{x+y+z==0,a+y+z==0},{z,y,x,a},{{x->-y-z,a->-y-z}},{{True,True}}}
+{{x+y+z==0,a+y+z==0},{z,y,x,a},{{x->-y-z,a->-y-z}},{{True,True}}}
+{-10+2^x==0,x,{{x->ConditionalExpression[(2 I \[Pi] C[1])/Log[2]+Log[10]/Log[2],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-10+3^x==0,x,{{x->ConditionalExpression[(2 I \[Pi] C[1])/Log[3]+Log[10]/Log[3],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-E^3+E^(3 x)==0,x,{{x->ConditionalExpression[1/3 (3+2 I \[Pi] C[1]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-3+x+x^2==0,x,{{x->1/2 (-1-Sqrt[13])},{x->1/2 (-1+Sqrt[13])}},{True,True}}
+{10-3^x==0,x,{{x->ConditionalExpression[(2 I \[Pi] C[1])/Log[3]+Log[10]/Log[3],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{a^(5+3 x)+3 Log[a^(5+3 x)]==0,x,{{x->(-5 Log[a]-ProductLog[1/3])/(3 Log[a])}},{True}}
+{p^(5+3 x)+3 Log[p^(5+3 x)]==0,x,{{x->(-5 Log[p]-ProductLog[1/3])/(3 Log[p])}},{True}}
+{{a^2+a c==0,a-b==0},{a,b},{{a->0,b->0},{a->-c,b->-c}},{{True,True},{True,True}}}
+{{4+x^2==0,E+y==0},{x,y},{{x->-2 I,y->-E},{x->2 I,y->-E}},{{True,True},{True,True}}}
+{2^x+4^x==0,x,{{x->ConditionalExpression[(I \[Pi])/Log[2]+(2 I \[Pi] C[1])/Log[2],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-3+2 E^(4+3 x)==0,x,{{x->ConditionalExpression[1/3 (-4+2 I \[Pi] C[1]+Log[3/2]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{1+3 x+x Log[x]==0,x,{{x->-(1/ProductLog[-E^3])}},{3+Log[-(1/ProductLog[-E^3])]==ProductLog[-E^3]}}
+{-a x+2 x Log[x]==0,x,{{x->E^(a/2)}},{E^(a/2) (a-2 Log[E^(a/2)])==0}}
+{{x+y+z==0,a+t+y+z==0},{z,y,t,x,a},{{x->-y-z,a->-t-y-z}},{{True,True}}}
+{{x+y+z==0,a+t+y+z==0},{z,y,t,x,a},{{x->-y-z,a->-t-y-z}},{{True,True}}}
+{{E^x-Sin[y]==0,-3+E^-y==0},{x,y},{{x->I \[Pi]+Log[Sin[Log[3]]],y->-Log[3]}},{{True,True}}}
+{5+2^(3-5 x)+3 x==0,x,{{x->(-25 Log[2]+3 ProductLog[-(10240/3) 2^(1/3) Log[2]])/(15 Log[2])}},{True}}
+{{-10+Sqrt[x^2+y^2]==0,(-3+Sqrt[(10-x)^2+y^2])/(-(191/20)+x)==0},{x,y},{},{}}
+{-b E^(a/x)+y==0,x,{{x->ConditionalExpression[a/(2 I \[Pi] C[1]+Log[y/b]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-9+Abs[1+x]+Abs[-7+x^2]==0,x,{{x->1/2 (-1+Sqrt[61])},{x->1/2 (1-Sqrt[69])}},{True,True}}
+{1-6 x-2 Log[x]+(3 x+Log[x])^2==0,x,{{x->1/3 ProductLog[3 E]}},{Log[1/3 ProductLog[3 E]]+ProductLog[3 E]==1}}
+{-3+Sqrt[a^2+b^2]==0,a,{{a->-Sqrt[9-b^2]},{a->Sqrt[9-b^2]}},{True,True}}
+{Sin[x]+Tan[x]==0,x,{{x->ConditionalExpression[2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{-0.6+(0.7 +c)/(100+c+t+z)==0,-0.3+(0.2 +z)/(100+c+t+z)==0,-0.1+t/(100+c+t+z)==0},{c,z,t},{},{}}
+{1-Log[a+4 x^2]==0,x,{{x->-(1/2) Sqrt[-a+E]},{x->Sqrt[-a+E]/2}},{True,True}}
+{1-Log[a+4 x^2]==0,x,{{x->-(1/2) Sqrt[-a+E]},{x->Sqrt[-a+E]/2}},{True,True}}
+{x-y^3==0,y,{{y->x^(1/3)},{y->-(-1)^(1/3) x^(1/3)},{y->(-1)^(2/3) x^(1/3)}},{True,True,True}}
+{-2+E^(x/y-z/y)==0,y,{{y->ConditionalExpression[(x-z)/(2 I \[Pi] C[1]+Log[2]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{-Sqrt[10]+Sqrt[x^2+y^2]==0,-4+x+y==0},{x,y},{{x->3,y->1},{x->1,y->3}},{{True,True},{True,True}}}
+{{-Sqrt[10]+Sqrt[x^2+y^2]==0,-4+x+y==0},{y,x},{{y->3,x->1},{y->1,x->3}},{{True,True},{True,True}}}
+{{E^x-Sin[y]==0,-4+y^2==0},{x,y},{{x->Log[Sin[2]],y->2},{x->I \[Pi]+Log[Sin[2]],y->-2}},{{True,True},{True,True}}}
+{{E^(2 x)+z-Sin[y]==0,-3+E^-y==0},{z,y},{{z->-E^(2 x)-Sin[Log[3]],y->-Log[3]}},{{True,True}}}
+{2 E+x^3==0,x,{{x->(-2 E)^(1/3)},{x->-(2 E)^(1/3)},{x->-(-1)^(2/3) (2 E)^(1/3)}},{True,True,True}}
+{-2+x^z y^z==0,z,{{z->Log[2]/(Log[x]+Log[y])}},{x^(Log[2]/(Log[x]+Log[y])) y^(Log[2]/(Log[x]+Log[y]))==2}}
+{1/x+x+y==0,x,{{x->1/2 (-y-Sqrt[-4+y^2])},{x->1/2 (-y+Sqrt[-4+y^2])}},{True,True}}
+{-7+4 3^(2+5 x)==0,x,{{x->ConditionalExpression[1/5 (-2+(2 I \[Pi] C[1])/Log[3]+Log[7/4]/Log[3]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-2^(3/x)+5^(x/2)==0,x,{{x->-Sqrt[((6 Log[2])/Log[5])]},{x->Sqrt[(6 Log[2])/Log[5]]}},{True,True}}
+{{-1-3 b==0,-2+2 a==0,-3-3 d==0,-4+2 c==0},{a,b,c,d},{{a->1,b->-(1/3),c->2,d->-1}},{{True,True,True,True}}}
+{-y+Cos[x]==0,x,{{x->ConditionalExpression[-ArcCos[y]+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[ArcCos[y]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{True,-1-3 b==0,-2+2 a==0,-3-3 d==0,-4+2 c==0},{a,b,c,d},{{a->1,b->-(1/3),c->2,d->-1}},{{True,True,True,True,True}}}
+{{True,-1-3 b==0,-2+2 a==0,-3-3 d==0,-4+2 c==0},{a,b,c,d},{{a->1,b->-(1/3),c->2,d->-1}},{{True,True,True,True,True}}}
+{z Cos[x]==0,x,{{x->ConditionalExpression[-(\[Pi]/2)+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]/2+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{E^(2 x)+z-Sin[y]==0,-3+E^-y==0},{x,z},{{x->-(1/2) I (\[Pi]+I Log[z-Sin[y]])}},{{True,E^-y==3}}}
+{-x Log[3]+3 Log[x]==0,x,{{x->3},{x->-((3 ProductLog[-(Log[3]/3)])/Log[3])}},{True,0==Log[-((3 ProductLog[-(Log[3]/3)])/Log[3])]+ProductLog[-(Log[3]/3)]}}
+{{2-b^2==0,a+b==0},{a,b},{{a->Sqrt[2],b->-Sqrt[2]},{a->-Sqrt[2],b->Sqrt[2]}},{{True,True},{True,True}}}
+{{2-b^2==0,a+b==0},{a,b},{{a->Sqrt[2],b->-Sqrt[2]},{a->-Sqrt[2],b->Sqrt[2]}},{{True,True},{True,True}}}
+{{2-b^2==0,a+b==0},{a,b},{{a->Sqrt[2],b->-Sqrt[2]},{a->-Sqrt[2],b->Sqrt[2]}},{{True,True},{True,True}}}
+{{2-y^2==0,x+y==0},{x,y},{{x->Sqrt[2],y->-Sqrt[2]},{x->-Sqrt[2],y->Sqrt[2]}},{{True,True},{True,True}}}
+{2 x^w-4 y^w==0,w,{{w->Log[2]/(Log[x]-Log[y])}},{x^(Log[2]/(Log[x]-Log[y]))==2 y^(Log[2]/(Log[x]-Log[y]))}}
+{Log[1/a^3-x^2]/a==0,x,{{x->-(Sqrt[1-a^3]/a^(3/2))},{x->Sqrt[1-a^3]/a^(3/2)}},{True,True}}
+{Cos[x]-Sin[x]==0,x,{{x->ConditionalExpression[-((3 \[Pi])/4)+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]/4+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{Cos[x]-Sin[x]==0,x,{{x->ConditionalExpression[-((3 \[Pi])/4)+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]/4+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{True,-3 b-2 c==0,2 a-2 d==0,3 a-3 d==0,3 b+2 c==0},{a,b,c,d},{{c->-((3 b)/2),d->a}},{{True,True,True,True,True}}}
+{{True,-3 b-2 c==0,2 a-2 d==0,3 a-3 d==0,3 b+2 c==0},{a,b,c,d},{{c->-((3 b)/2),d->a}},{{True,True,True,True,True}}}
+{-Cos[x]+2 Sin[x]==0,x,{{x->ConditionalExpression[ArcTan[1/2]+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[-\[Pi]+ArcTan[1/2]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{1+x^2+Log[1+x^2]==0,x,{{x->-I Sqrt[1-ProductLog[1]]},{x->I Sqrt[1-ProductLog[1]]}},{0==Log[ProductLog[1]]+ProductLog[1],0==Log[ProductLog[1]]+ProductLog[1]}}
+{(x-y^3)/(y^2 Sqrt[1-y^2])==0,y,{{y->x^(1/3)},{y->-(-1)^(1/3) x^(1/3)},{y->(-1)^(2/3) x^(1/3)}},{True,True,True}}
+{-y+2 Cos[x]==0,x,{{x->ConditionalExpression[-ArcCos[y/2]+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[ArcCos[y/2]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-y+2 Cos[x]==0,x,{{x->ConditionalExpression[-ArcCos[y/2]+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[ArcCos[y/2]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-y+z Cos[x]==0,x,{{x->ConditionalExpression[-ArcCos[y/z]+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[ArcCos[y/z]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-Log[2]+Log[1+E^(2 x)]+Log[1-(-E^-x+E^x)/(E^-x+E^x)]==0,x,{{}},{Log[1/(1+E^(2 x))]+Log[1+E^(2 x)]==0}}
+{-1+((-E^(3-x)+E^(-3+x)) (-E^(-3-x)+E^(3+x)))/((E^(3-x)+E^(-3+x)) (E^(-3-x)+E^(3+x)))==0,x,{},{}}
+{-4+x^(1/4)+Sqrt[x]==0,x,{{x->1/2 (49-9 Sqrt[17])}},{Sqrt[98-18 Sqrt[17]]+2^(3/4) (49-9 Sqrt[17])^(1/4)==8}}
+{-0.5+a+1/2 Cos[b \[Pi]]==0,b,{{b->-0.31831 ArcCos[1. -2. a]},{b->0.31831 ArcCos[1. -2. a]}},{a+0.5 Cos[1. ArcCos[1. -2. a]]==0.5,a+0.5 Cos[1. ArcCos[1. -2. a]]==0.5}}
+{5+2 x+Log[-2+3 x]==0,x,{{x->1/6 (4+3 ProductLog[2/(3 E^(19/3))])}},{0==19/3+Log[3/2 ProductLog[2/(3 E^(19/3))]]+ProductLog[2/(3 E^(19/3))]}}
+{{True,3 b-2 c==0,2 a+3 b-2 d==0,-3 a-3 c+3 d==0,-3 b+2 c==0},{a,b,c,d},{{c->(3 b)/2,d->a+(3 b)/2}},{{True,True,True,True,True}}}
+{{True,3 b-2 c==0,2 a+3 b-2 d==0,-3 a-3 c+3 d==0,-3 b+2 c==0},{a,b,c,d},{{c->(3 b)/2,d->a+(3 b)/2}},{{True,True,True,True,True}}}
+{-4+E^-x+E^x==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[2-Sqrt[3]],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[2+Sqrt[3]],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-y+z Cos[2 x]==0,x,{{x->ConditionalExpression[1/2 (-ArcCos[y/z]+2 \[Pi] C[1]),C[1]\[Element]Integers]},{x->ConditionalExpression[1/2 (ArcCos[y/z]+2 \[Pi] C[1]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{(1+a^2) (Cos[a x]+Sin[a x])==0,x,{{x->ConditionalExpression[(-(\[Pi]/4)+2 \[Pi] C[1])/a,C[1]\[Element]Integers]},{x->ConditionalExpression[((3 \[Pi])/4+2 \[Pi] C[1])/a,C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{-b1+a11 x+a12 y==0,-b2+a21 x+a22 y==0},{x,y},{{x->-((a22 b1-a12 b2)/(a12 a21-a11 a22)),y->-((-a21 b1+a11 b2)/(a12 a21-a11 a22))}},{{True,True}}}
+{-2^(x/3)+2^x==0,x,{{x->ConditionalExpression[3 ((I \[Pi])/Log[2]+(2 I \[Pi] C[1])/Log[2]),C[1]\[Element]Integers]},{x->ConditionalExpression[(6 I \[Pi] C[1])/Log[2],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{c+b x+a x^2-(k p+1/4 (-h+x)^2)/p==0,{h,p,k},{{k->(-h^2+4 c p+2 h x+4 b p x-x^2+4 a p x^2)/(4 p)}},{True}}
+{c+b x+a x^2-(k p+1/4 (-h+x)^2)/p==0,{h,p,k},{{k->(-h^2+4 c p+2 h x+4 b p x-x^2+4 a p x^2)/(4 p)}},{True}}
+{{-10+Sqrt[x^2+y^2]==0,-3+Sqrt[(10-x)^2+y^2]==0},{x,y},{{x->191/20,y->-((3 Sqrt[391])/20)},{x->191/20,y->(3 Sqrt[391])/20}},{{True,True},{True,True}}}
+{{-2+x^2+2/y==0,-3+x+y==0},{x,y},{{x->1,y->2},{x->1-Sqrt[5],y->2+Sqrt[5]},{x->1+Sqrt[5],y->2-Sqrt[5]}},{{True,True},{True,True},{True,True}}}
+{{E^(2 x)+z-Sin[y]==0,-3+E^-y==0},{x,y},{{x->Log[-Sqrt[-z-Sin[Log[3]]]],y->-Log[3]},{x->Log[Sqrt[-z-Sin[Log[3]]]],y->-Log[3]}},{{True,True},{True,True}}}
+{-a+(-1+x^2)^2==0,x,{{x->-Sqrt[1-Sqrt[a]]},{x->Sqrt[1-Sqrt[a]]},{x->-Sqrt[1+Sqrt[a]]},{x->Sqrt[1+Sqrt[a]]}},{True,True,True,True}}
+{{-h^2+4 c p-4 k p==0,2 h+4 b p==0,-1+4 a p==0},{h,p,k},{{h->-(b/(2 a)),p->1/(4 a),k->(-b^2+4 a c)/(4 a)}},{{True,True,True}}}
+{{-h^2+4 c p-4 k p==0,2 h+4 b p==0,-1+4 a p==0},{h,p,k},{{h->-(b/(2 a)),p->1/(4 a),k->(-b^2+4 a c)/(4 a)}},{{True,True,True}}}
+{-E^-x y^2+Log[x^2]==0,{x,y},{{y->-Sqrt[2] Sqrt[E^x] Sqrt[Log[x]]},{y->Sqrt[2] Sqrt[E^x] Sqrt[Log[x]]}},{2 Log[x]==Log[x^2],2 Log[x]==Log[x^2]}}
+{{-3+x^2+y==0,-4+x-y==0},{x,y},{{x->1/2 (-1-Sqrt[29]),y->1/2 (-9-Sqrt[29])},{x->1/2 (-1+Sqrt[29]),y->1/2 (-9+Sqrt[29])}},{{True,True},{True,True}}}
+{{-3+x^2+y==0,-4+x-y==0},{y,x},{{y->1/2 (-9-Sqrt[29]),x->1/2 (-1-Sqrt[29])},{y->1/2 (-9+Sqrt[29]),x->1/2 (-1+Sqrt[29])}},{{True,True},{True,True}}}
+{-4+Sqrt[E^-x]+Sqrt[E^x]==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[7-4 Sqrt[3]],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[7+4 Sqrt[3]],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{{E^(2 x)+z^2-Sin[y]==0,-3+E^-y==0},{x,y},{{x->Log[-Sqrt[-z^2-Sin[Log[3]]]],y->-Log[3]},{x->Log[Sqrt[-z^2-Sin[Log[3]]]],y->-Log[3]}},{{True,True},{True,True}}}
+{{E^(2 x)+z^2-Sin[y]==0,-3+E^-y==0},{y,z},{{y->-Log[3],z->-Sqrt[-E^(2 x)-Sin[Log[3]]]},{y->-Log[3],z->Sqrt[-E^(2 x)-Sin[Log[3]]]}},{{True,True},{True,True}}}
+{-(E^-x/2)+E^x/2+(-E^-x+E^x)/(E^-x+E^x)==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[I \[Pi]+2 I \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{E^-x+E^x-y==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[1/2 (y-Sqrt[-4+y^2])],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[1/2 (y+Sqrt[-4+y^2])],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{E^-x+E^x-y==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+Log[1/2 (y-Sqrt[-4+y^2])],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[1/2 (y+Sqrt[-4+y^2])],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{a^(5+3 x)+3 Log[a^(5+3 x)]+b Log[a^(5+3 x)]==0,x,{{x->(-5 Log[a]-ProductLog[1/(3+b)])/(3 Log[a])}},{E^-ProductLog[1/(3+b)] (1+(3+b) E^ProductLog[1/(3+b)] Log[E^-ProductLog[1/(3+b)]])==0}}
+{-(4/x)-3 x+a x+b^2/(4+x)==0,{a,b},{{b->-((I Sqrt[4+x] Sqrt[-4-3 x^2+a x^2])/Sqrt[x])},{b->(I Sqrt[4+x] Sqrt[-4-3 x^2+a x^2])/Sqrt[x]}},{True,True}}
+{1+x^3+x^5==0,x,{{x->Root[1+#1^3+#1^5&,1]},{x->Root[1+#1^3+#1^5&,2]},{x->Root[1+#1^3+#1^5&,3]},{x->Root[1+#1^3+#1^5&,4]},{x->Root[1+#1^3+#1^5&,5]}},{True,True,True,True,True}}
+{2 Sin[x]-2 Sin[2 x]==0,x,{{x->ConditionalExpression[2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[-(\[Pi]/3)+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]/3+2 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]+2 \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{2^x-x^2==0,x,{{x->2},{x->-((2 ProductLog[Log[2]/2])/Log[2])},{x->-((2 ProductLog[-1,-(Log[2]/2)])/Log[2])}},{True,Log[2]^2==4 E^(2 ProductLog[Log[2]/2]) ProductLog[Log[2]/2]^2,Log[2]^2==4 E^(2 ProductLog[-1,-(Log[2]/2)]) ProductLog[-1,-(Log[2]/2)]^2}}
+{-2^x+x^2==0,x,{{x->2},{x->-((2 ProductLog[Log[2]/2])/Log[2])},{x->-((2 ProductLog[-1,-(Log[2]/2)])/Log[2])}},{True,Log[2]^2==4 E^(2 ProductLog[Log[2]/2]) ProductLog[Log[2]/2]^2,Log[2]^2==4 E^(2 ProductLog[-1,-(Log[2]/2)]) ProductLog[-1,-(Log[2]/2)]^2}}
+{{I1-I2-I3==0,I3-I4-I5==0,I4+I5-I6==0,-I1+I2+I6==0,12-dI1/2-2 I1-2 I3-2 I5-3 I6==0,dQ4-I4==0,dQ2-I2==0,2 I3+2 I5+3 I6-Q2==0,dI4+I4-2 I5+2 Q4==0},{I1,I4,Q2,Q4,dI1,dI4,dQ2,dQ4},{},{}}
+{{I1-I2-I3==0,I3-I4-I5==0,I4+I5-I6==0,-I1+I2+I6==0,12-dI1/2-2 I1-2 I3-2 I5-3 I6==0,dQ4-I4==0,dQ2-I2==0,2 I3+2 I5+3 I6-Q2==0,dI4+I4-2 I5+2 Q4==0},{I1,I4,Q2,Q4,dI1,dI4,dQ2,dQ4},{},{}}
+{{I1-I2-I3==0,I3-I4-I5==0,I4+I5-I6==0,-I1+I2+I6==0,12-dI1/2-2 I1-2 I3-2 I5-3 I6==0,dQ4-I4==0,dQ2-I2==0,2 I3+2 I5+3 I6-Q2==0,dI4+I4-2 I5+2 Q4==0},{I1,I4,Q2,Q4,dI1,dI4,dQ2,dQ4},{},{}}
+{{True,True,-3 b-2 c==0,2 a-2 d==0,3 a-3 d==0,3 b+2 c==0,3 b-2 c==0,2 a+3 b-2 d==0,-3 a-3 c+3 d==0,-3 b+2 c==0},{a,b,c,d},{{b->0,c->0,d->a}},{{True,True,True,True,True,True,True,True,True,True}}}
+{{True,True,-3 b-2 c==0,2 a-2 d==0,3 a-3 d==0,3 b+2 c==0,3 b-2 c==0,2 a+3 b-2 d==0,-3 a-3 c+3 d==0,-3 b+2 c==0},{a,b,c,d},{{b->0,c->0,d->a}},{{True,True,True,True,True,True,True,True,True,True}}}
+{1-x+a x^5==0,x,{{x->Root[1-#1+a #1^5&,1]},{x->Root[1-#1+a #1^5&,2]},{x->Root[1-#1+a #1^5&,3]},{x->Root[1-#1+a #1^5&,4]},{x->Root[1-#1+a #1^5&,5]}},{True,True,True,True,True}}
+{1-x+a x^5==0,x,{{x->Root[1-#1+a #1^5&,1]},{x->Root[1-#1+a #1^5&,2]},{x->Root[1-#1+a #1^5&,3]},{x->Root[1-#1+a #1^5&,4]},{x->Root[1-#1+a #1^5&,5]}},{True,True,True,True,True}}
+{{E^(2 x)+z-Sin[y]==0,-3+E^-y==0},{z,x,y},{{x->-(1/2) I (\[Pi]+I Log[z-Sqrt[1-Cos[Log[3]]^2]]),y->-Log[3]},{x->-(1/2) I (\[Pi]+I Log[z+Sqrt[1-Cos[Log[3]]^2]]),y->-Log[3]}},{{False,True},{True,True}}}
+{7+3 x^3+x^5==0,x,{{x->Root[7+3 #1^3+#1^5&,1]},{x->Root[7+3 #1^3+#1^5&,2]},{x->Root[7+3 #1^3+#1^5&,3]},{x->Root[7+3 #1^3+#1^5&,4]},{x->Root[7+3 #1^3+#1^5&,5]}},{True,True,True,True,True}}
+{(1-x+x^5) (1+1/(1-x+x^5))==0,x,{{x->Root[2-#1+#1^5&,1]},{x->Root[2-#1+#1^5&,2]},{x->Root[2-#1+#1^5&,3]},{x->Root[2-#1+#1^5&,4]},{x->Root[2-#1+#1^5&,5]}},{True,True,True,True,True}}
+{{r-x^2-y^2==0,-(y/x)+Tan[t]==0},{x,y},{{x->-(Sqrt[r]/Sqrt[1+Tan[t]^2]),y->-((Sqrt[r] Tan[t])/Sqrt[1+Tan[t]^2])},{x->Sqrt[r]/Sqrt[1+Tan[t]^2],y->(Sqrt[r] Tan[t])/Sqrt[1+Tan[t]^2]}},{{True,True},{True,True}}}
+{-a8648100-I b8648101+sol^5==0,sol,{{sol->(a8648100+I b8648101)^(1/5)},{sol->-(-1)^(1/5) (a8648100+I b8648101)^(1/5)},{sol->(-1)^(2/5) (a8648100+I b8648101)^(1/5)},{sol->-(-1)^(3/5) (a8648100+I b8648101)^(1/5)},{sol->(-1)^(4/5) (a8648100+I b8648101)^(1/5)}},{True,True,True,True,True}}
+{Sin[3 x]+Sin[6 x]==0,x,{{x->ConditionalExpression[2/3 \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[1/3 (-((2 \[Pi])/3)+2 \[Pi] C[1]),C[1]\[Element]Integers]},{x->ConditionalExpression[1/3 ((2 \[Pi])/3+2 \[Pi] C[1]),C[1]\[Element]Integers]},{x->ConditionalExpression[1/3 (\[Pi]+2 \[Pi] C[1]),C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{2-2 x+x^6==0,x,{{x->Root[2-2 #1+#1^6&,1]},{x->Root[2-2 #1+#1^6&,2]},{x->Root[2-2 #1+#1^6&,3]},{x->Root[2-2 #1+#1^6&,4]},{x->Root[2-2 #1+#1^6&,5]},{x->Root[2-2 #1+#1^6&,6]}},{True,True,True,True,True,True}}
+{686-169 x-1176 (2+x)^(2/3) y+1344 (2+x)^(1/3) y^2-512 y^3==0,y,{{y->1/2 (1-I Sqrt[3]) x^(1/3)+7/8 (2+x)^(1/3)},{y->1/2 (1+I Sqrt[3]) x^(1/3)+7/8 (2+x)^(1/3)},{y->1/8 (-8 x^(1/3)+7 (2+x)^(1/3))}},{True,True,True}}
+{-1+x^y+x^(2 y)==0,x,{{x->(1/2 (-1-Sqrt[5]))^(1/y)},{x->(1/2 (-1+Sqrt[5]))^(1/y)}},{((1/2 (-1-Sqrt[5]))^(1/y))^y+((1/2 (-1-Sqrt[5]))^(1/y))^(2 y)==1,((1/2 (-1+Sqrt[5]))^(1/y))^y+((1/2 (-1+Sqrt[5]))^(1/y))^(2 y)==1}}
+{z-Log[x]+Log[y/(x (-1+y^2/x^2))]==0,x,{{x->-Sqrt[-E^z y+y^2]},{x->Sqrt[-E^z y+y^2]}},{z+Log[-E^-z Sqrt[y (-E^z+y)]]==Log[-Sqrt[y (-E^z+y)]],Log[y (-E^z+y)]==2 (z+Log[E^-z Sqrt[y (-E^z+y)]])}}
+{-8+4^(2 x+2 x^2)==0,x,{{x->ConditionalExpression[1/2 (-1-Sqrt[1+2 ((2 I \[Pi] C[1])/Log[4]+Log[8]/Log[4])]),C[1]\[Element]Integers]},{x->ConditionalExpression[1/2 (-1+Sqrt[1+2 ((2 I \[Pi] C[1])/Log[4]+Log[8]/Log[4])]),C[1]\[Element]Integers]}},{ConditionalExpression[2^((4 I \[Pi] C[1]+Log[1024])/Log[4])==32,C[1]\[Element]Integers],ConditionalExpression[2^((4 I \[Pi] C[1]+Log[64])/Log[4])==8,C[1]\[Element]Integers]}}
+{(-1+x)^2 x (1+x) (1-x+x^6)==0,x,{{x->-1},{x->0},{x->1},{x->1},{x->Root[1-#1+#1^6&,1]},{x->Root[1-#1+#1^6&,2]},{x->Root[1-#1+#1^6&,3]},{x->Root[1-#1+#1^6&,4]},{x->Root[1-#1+#1^6&,5]},{x->Root[1-#1+#1^6&,6]}},{True,True,True,True,True,True,True,True,True,True}}
+{-3+Log[1+3/x]+Log[3+x]==0,x,{{x->1/2 (-6+E^3-Sqrt[-12 E^3+E^6])},{x->1/2 (-6+E^3+Sqrt[-12 E^3+E^6])}},{2 Log[E^(3/2)-Sqrt[-12+E^3]]==Log[2 (-6+E^3-E^(3/2) Sqrt[-12+E^3])],Log[2]+Log[-6+E^3+E^(3/2) Sqrt[-12+E^3]]==2 Log[E^(3/2)+Sqrt[-12+E^3]]}}
+{{C s V1+(-(1/R)-2 C s) Vplus==0,(-(1/Rf)-1/Ri) Vminus+Vout/Rf==0,(-(1/R)-C s) V1+Vout/R+C s Vplus==0,-Vminus+Vplus==0},{Ri,Vminus,Vout,V1,R,Rf},{{Vminus->Vplus,Vout->((1+3 C R s+C^2 R^2 s^2) Vplus)/(C R s),V1->((1+2 C R s) Vplus)/(C R s),Rf->(Ri (1+C R s)^2)/(C R s)}},{{True,True,True,True}}}
+{7/4+3 x^2+4 x^3+x^5==0,x,{{x->Root[7+12 #1^2+16 #1^3+4 #1^5&,1]},{x->Root[7+12 #1^2+16 #1^3+4 #1^5&,2]},{x->Root[7+12 #1^2+16 #1^3+4 #1^5&,3]},{x->Root[7+12 #1^2+16 #1^3+4 #1^5&,4]},{x->Root[7+12 #1^2+16 #1^3+4 #1^5&,5]}},{True,True,True,True,True}}
+{x^2-E^-x y^2==0,{x,y},{{x->2 ProductLog[1/2 E^(x/2) x],y->-E^(x/2) x},{x->2 ProductLog[1/2 E^(x/2) x],y->E^(x/2) x}},{4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2,4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2}}
+{x^2-E^-x y^2==0,{x,y},{{x->2 ProductLog[1/2 E^(x/2) x],y->-E^(x/2) x},{x->2 ProductLog[1/2 E^(x/2) x],y->E^(x/2) x}},{4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2,4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2}}
+{x^2-E^-x y^2==0,{y,x},{{y->-E^(x/2) x,x->2 ProductLog[1/2 E^(x/2) x]},{y->E^(x/2) x,x->2 ProductLog[1/2 E^(x/2) x]}},{4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2,4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2}}
+{x^2-E^-x y^2==0,{y,x},{{y->-E^(x/2) x,x->2 ProductLog[1/2 E^(x/2) x]},{y->E^(x/2) x,x->2 ProductLog[1/2 E^(x/2) x]}},{4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2,4 ProductLog[1/2 E^(x/2) x]^2==E^(x-2 ProductLog[1/2 E^(x/2) x]) x^2}}
+{(2+2^E^(y^2/x))/(15+x^2)==0,y,{{y->ConditionalExpression[-Sqrt[x] Sqrt[2 I \[Pi] C[1]+Log[(2 I \[Pi] C[2])/Log[2]+(I \[Pi]+Log[2])/Log[2]]],C[2]\[Element]Integers&&C[1]\[Element]Integers]},{y->ConditionalExpression[Sqrt[x] Sqrt[2 I \[Pi] C[1]+Log[(2 I \[Pi] C[2])/Log[2]+(I \[Pi]+Log[2])/Log[2]]],C[2]\[Element]Integers&&C[1]\[Element]Integers]}},{ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers],ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers]}}
+{E^(x/2)/2-a/x^2==0,x,{{x->4 ProductLog[-(1/(2 Sqrt[2] Sqrt[1/a]))]},{x->4 ProductLog[1/(2 Sqrt[2] Sqrt[1/a])]}},{1/2 E^(2 ProductLog[-(1/(2 Sqrt[2] Sqrt[1/a]))])==a/(16 ProductLog[-(1/(2 Sqrt[2] Sqrt[1/a]))]^2),1/2 E^(2 ProductLog[1/(2 Sqrt[2] Sqrt[1/a])])==a/(16 ProductLog[1/(2 Sqrt[2] Sqrt[1/a])]^2)}}
+{979+2310 x-55 x^2-110 x^3+x^5==0,x,{{x->Root[979+2310 #1-55 #1^2-110 #1^3+#1^5&,1]},{x->Root[979+2310 #1-55 #1^2-110 #1^3+#1^5&,2]},{x->Root[979+2310 #1-55 #1^2-110 #1^3+#1^5&,3]},{x->Root[979+2310 #1-55 #1^2-110 #1^3+#1^5&,4]},{x->Root[979+2310 #1-55 #1^2-110 #1^3+#1^5&,5]}},{True,True,True,True,True}}
+{20+10 x-5 x^2-15 x^3+x^5==0,x,{{x->Root[20+10 #1-5 #1^2-15 #1^3+#1^5&,1]},{x->Root[20+10 #1-5 #1^2-15 #1^3+#1^5&,2]},{x->Root[20+10 #1-5 #1^2-15 #1^3+#1^5&,3]},{x->Root[20+10 #1-5 #1^2-15 #1^3+#1^5&,4]},{x->Root[20+10 #1-5 #1^2-15 #1^3+#1^5&,5]}},{True,True,True,True,True}}
+{{C s V1+(-(1/R)-2 C s) Vplus==0,(-(1/Rf)-1/Ri) Vminus+Vout/Rf==0,(-(1/R)-C s) V1+Vout/R+C s Vplus==0,-Vminus+Vplus==0},{Ri,Vminus,Vout,V1,Vplus,Rf},{{Vminus->Vplus,Vout->((1+3 C R s+C^2 R^2 s^2) Vplus)/(C R s),V1->((1+2 C R s) Vplus)/(C R s),Rf->(Ri (1+C R s)^2)/(C R s)},{Vminus->0,Vout->0,V1->0,Vplus->0}},{{True,True,True,True},{True,True,True,True}}}
+{1+((-E^(1-x)+E^(-1+x)) (-E^(-1-x)+E^(1+x)))/((E^(1-x)+E^(-1+x)) (E^(-1-x)+E^(1+x)))==0,x,{{x->ConditionalExpression[-((I \[Pi])/4)+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[(I \[Pi])/4+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[-((3 I \[Pi])/4)+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[(3 I \[Pi])/4+2 I \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-3^x+x^3==0,x,{{x->3},{x->-((3 ProductLog[-(Log[3]/3)])/Log[3])},{x->-((3 ProductLog[1/3 (-1)^(1/3) Log[3]])/Log[3])},{x->-((3 ProductLog[-(1/3) (-1)^(2/3) Log[3]])/Log[3])}},{True,0==Log[3]^3+27 E^(3 ProductLog[-(Log[3]/3)]) ProductLog[-(Log[3]/3)]^3,0==Log[3]^3+27 E^(3 ProductLog[1/3 (-1)^(1/3) Log[3]]) ProductLog[1/3 (-1)^(1/3) Log[3]]^3,0==Log[3]^3+27 E^(3 ProductLog[-(1/3) (-1)^(2/3) Log[3]]) ProductLog[-(1/3) (-1)^(2/3) Log[3]]^3}}
+{(1+((-E^(3-x)+E^(-3+x)) (-E^(-3-x)+E^(3+x)))/((E^(3-x)+E^(-3+x)) (E^(-3-x)+E^(3+x))))^2==0,x,{{x->ConditionalExpression[-((I \[Pi])/4)+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[(I \[Pi])/4+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[-((3 I \[Pi])/4)+2 I \[Pi] C[1],C[1]\[Element]Integers]},{x->ConditionalExpression[(3 I \[Pi])/4+2 I \[Pi] C[1],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-(E^-x/2)+E^x/2+1/(E^-x/2+E^x/2)==0,x,{{x->ConditionalExpression[2 I \[Pi] C[1]+1/2 Log[-2+Sqrt[5]],C[1]\[Element]Integers]},{x->ConditionalExpression[I \[Pi]+2 I \[Pi] C[1]+1/2 Log[-2+Sqrt[5]],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[-I Sqrt[2+Sqrt[5]]],C[1]\[Element]Integers]},{x->ConditionalExpression[2 I \[Pi] C[1]+Log[I Sqrt[2+Sqrt[5]]],C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{-y+z Cos[Sin[x]]==0,x,{{x->ConditionalExpression[-ArcSin[ArcCos[y/z]-2 \[Pi] C[2]]+2 \[Pi] C[1],C[2]\[Element]Integers&&C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]+ArcSin[ArcCos[y/z]-2 \[Pi] C[2]]+2 \[Pi] C[1],C[2]\[Element]Integers&&C[1]\[Element]Integers]},{x->ConditionalExpression[\[Pi]-ArcSin[ArcCos[y/z]+2 \[Pi] C[2]]+2 \[Pi] C[1],C[2]\[Element]Integers&&C[1]\[Element]Integers]},{x->ConditionalExpression[ArcSin[ArcCos[y/z]+2 \[Pi] C[2]]+2 \[Pi] C[1],C[2]\[Element]Integers&&C[1]\[Element]Integers]}},{ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers],ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers],ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers],ConditionalExpression[True,C[2]\[Element]Integers&&C[1]\[Element]Integers]}}
+{3+E^(-a x)/2-E^(a x)/2-(E^(-a x)/2+E^(a x)/2)^2==0,x,{{x->ConditionalExpression[(I \[Pi]+2 I \[Pi] C[1]+Log[-1+Sqrt[2]])/a,C[1]\[Element]Integers]},{x->ConditionalExpression[(2 I \[Pi] C[1]+Log[1+Sqrt[2]])/a,C[1]\[Element]Integers]},{x->ConditionalExpression[(2 I \[Pi] C[1]+Log[-2+Sqrt[5]])/a,C[1]\[Element]Integers]},{x->ConditionalExpression[(I \[Pi]+2 I \[Pi] C[1]+Log[2+Sqrt[5]])/a,C[1]\[Element]Integers]}},{ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers],ConditionalExpression[True,C[1]\[Element]Integers]}}
+{5-2 x+4 x^2-2 x^3==0,x,{{x->2/3-1/12 (1+I Sqrt[3]) (262-6 Sqrt[1905])^(1/3)-((1-I Sqrt[3]) (131+3 Sqrt[1905])^(1/3))/(6 2^(2/3))},{x->2/3-1/12 (1-I Sqrt[3]) (262-6 Sqrt[1905])^(1/3)-((1+I Sqrt[3]) (131+3 Sqrt[1905])^(1/3))/(6 2^(2/3))},{x->1/6 (4+(262-6 Sqrt[1905])^(1/3)+(2 (131+3 Sqrt[1905]))^(1/3))}},{True,True,True}}
+{{x0 x3+x1 x4+x2 x5+x6==0,x10+x0 x7+x1 x8+x2 x9==0,x0 x11+x1 x12+x14+x13 x2==0},{x0,x1,x2},{{x0->-((x10 x13 x4-x10 x12 x5+x14 x5 x8-x13 x6 x8-x14 x4 x9+x12 x6 x9)/(x13 x4 x7-x12 x5 x7-x13 x3 x8+x11 x5 x8+x12 x3 x9-x11 x4 x9)),x1->-((-x10 x13 x3+x10 x11 x5-x14 x5 x7+x13 x6 x7+x14 x3 x9-x11 x6 x9)/(x13 x4 x7-x12 x5 x7-x13 x3 x8+x11 x5 x8+x12 x3 x9-x11 x4 x9)),x2->-((-x10 x12 x3+x10 x11 x4-x14 x4 x7+x12 x6 x7+x14 x3 x8-x11 x6 x8)/(-x13 x4 x7+x12 x5 x7+x13 x3 x8-x11 x5 x8-x12 x3 x9+x11 x4 x9))}},{{True,True,True}}}
+{-1+x^3+x Sqrt[y]==0,x,{{x->-(((2/3)^(1/3) Sqrt[y])/(9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3))+(9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3)/(2^(1/3) 3^(2/3))},{x->((1+I Sqrt[3]) Sqrt[y])/(2^(2/3) 3^(1/3) (9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3))-((1-I Sqrt[3]) (9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3))/(2 2^(1/3) 3^(2/3))},{x->((1-I Sqrt[3]) Sqrt[y])/(2^(2/3) 3^(1/3) (9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3))-((1+I Sqrt[3]) (9+Sqrt[3] Sqrt[27+4 y^(3/2)])^(1/3))/(2 2^(1/3) 3^(2/3))}},{True,True,True}}
+{1-x+a x^3==0,x,{{x->(2/3)^(1/3)/(-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3)+(-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3)/(2^(1/3) 3^(2/3) a)},{x->-((1+I Sqrt[3])/(2^(2/3) 3^(1/3) (-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3)))-((1-I Sqrt[3]) (-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3))/(2 2^(1/3) 3^(2/3) a)},{x->-((1-I Sqrt[3])/(2^(2/3) 3^(1/3) (-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3)))-((1+I Sqrt[3]) (-9 a^2+Sqrt[3] Sqrt[-4 a^3+27 a^4])^(1/3))/(2 2^(1/3) 3^(2/3) a)}},{True,True,True}}