 Suppose -a*c + 4*c + 6 = 0. Sort q, c, 1 in decreasing order.
1, q, c
Suppose 0 = 2*m - 4 - 0. Let c be m/6 + 33/(-45). Let h = -91 + 87. Sort h, 0.1, c in increasing order.
h, c, 0.1
Suppose -45 = -4*a - 65. Sort -4, 5, 0, a in descending order.
5, 0, -4, a
Let p(m) = 3*m + 6. Let g be p(4). Sort -5, -2, g in descending order.
g, -2, -5
Let m be (-4)/((-4 - -2)*1). Suppose q - y + 20 = 4*q, 0 = 3*q + m*y - 25. Sort 2, -3, q in decreasing order.
q, 2, -3
Let f = 8 + -8.4. Let a = f + 0.7. Sort 4, -2, a.
-2, a, 4
Let b = -2 + 5. Let i be 8/36 + 4/(-18). Let h be (i + 1)*0/(-3). Sort 1, h, b in decreasing order.
b, 1, h
Let k(y) = -y**3 + 5*y**2 - 2*y + 4. Let t be k(4). Suppose 0*j - t = 4*j. Let b = -157 + 161. Put 5, j, b in decreasing order.
5, b, j
Let v be (8/6)/(1/3). Suppose v*q - 21 = q. Let k = q + -10. Sort 5, k, 4 in increasing order.
k, 4, 5
Let c = 0 - -4/5. Suppose 0 = -w + 4*x - 15, -w + 3*x - 11 = -0*w. Let y be -1*1/(-2) - w. Put 4, y, c in ascending order.
y, c, 4
Let s(o) = -o. Let k(b) = -b. Let y(x) = -2*k(x) + 3*s(x). Let r be y(4). Sort -1, 4, r in decreasing order.
4, -1, r
Suppose -5*w = 2*t - t, -3*w = 3. Sort -3, t, 0, 4 in decreasing order.
t, 4, 0, -3
Let r be 2/(-4) - (-2 - 4/(-8)). Put r, -5, -4 in descending order.
r, -4, -5
Let g = 2 + -2.2. Let k = 0 - -1.8. Let o = 2.2 - k. Sort -3, o, g in descending order.
o, g, -3
Let q = -7 + 10. Suppose 2*f - 4*r + 0*r = 2, 0 = 4*f + 2*r + 6. Put 6, f, q in decreasing order.
6, q, f
Suppose -g - 3*g = -w - 7, 14 = 5*g - 3*w. Let a(u) = -u - 7. Let q(k) = 1. Let z(x) = -a(x) - 4*q(x). Let h be z(-3). Put 4, g, h in decreasing order.
4, g, h
Suppose 1 = 4*j - 3*j. Sort j, -9, 4 in decreasing order.
4, j, -9
Let m = 42 - 42.1. Put m, 4, 0.3, 3 in descending order.
4, 3, 0.3, m
Let y(s) = -2*s - 1. Suppose 0 = 3*w - 6. Let l be y(w). Suppose x = 3*x + 8. Sort l, x, 1 in descending order.
1, x, l
Let q = 0.17 - 5.17. Let f = 0.01 + 0.29. Sort q, f, 5 in ascending order.
q, f, 5
Suppose -4 = b + 1. Sort 1, b, 5 in descending order.
5, 1, b
Let j be (4/2)/(19 + (-24)/(-6)). Sort j, 5, -1, 2.
-1, j, 2, 5
Let m = 2 - -3. Sort m, -1/5, -3/5 in descending order.
m, -1/5, -3/5
Suppose 2*q = -4*i - i + 74, -68 = -5*i + q. Let d = i + -72/5. Sort 1, 0.1, d in ascending order.
d, 0.1, 1
Let b be 1/2 + (-99)/18. Let a = 8 - 11. Let o = -2 - a. Sort 0, o, b in descending order.
o, 0, b
Let a = -0.05 + -0.15. Let d(f) = f**3 - 11*f**2 + 10*f + 5. Let v be d(10). Sort a, 0, v.
a, 0, v
Let b(k) = -k**3 + k**2 + k + 1. Let y be b(0). Let f = -0.13 - 0.27. Let n be 2/(6/(-4) - 0). Sort n, f, y in decreasing order.
y, f, n
Let w be (-2)/(-4)*(15 - -1). Suppose -15*l + 13*l + 2 = 0. Put 3, w, l in descending order.
w, 3, l
Let n = -11 + 6. Let k(p) = p**2 - 3*p + 2. Let x be k(3). Let q = x + 2. Sort 0.4, q, n.
n, 0.4, q
Let d be (-14)/(-6) - (-4)/6. Suppose -3*i - 10 = -4. Let w = d + i. Put -0.2, w, 3 in increasing order.
-0.2, w, 3
Let z = 0.077 + -4.077. Let c = -2 - -4. Put z, c, 0 in decreasing order.
c, 0, z
Let p = 44 + -42. Sort 3, -0.5, -4, p.
-4, -0.5, p, 3
Let g be 10*(-3)/(-36)*8/20. Put 0.1, g, 0.08 in ascending order.
0.08, 0.1, g
Let f(k) = k**2 + 6*k + 6. Let l be f(-5). Let h be ((l + 0)*-1)/1. Suppose -3*m - 3*t = 3, -15 = 3*t - 0*t. Sort m, h, 5 in decreasing order.
5, m, h
Let f be (2 - 1 - -4) + -1. Sort f, -1, 3 in ascending order.
-1, 3, f
Let f be 0/(-1)*(-2)/4. Let i(o) = 3*o**2 + 31*o + 12. Let v be i(-10). Put v, -1, f in ascending order.
-1, f, v
Let p(m) = m**2 - m + 4. Suppose l = -4*g + 4*l + 9, 0 = 5*l + 15. Let b be p(g). Let c be (-207)/(-45) - (-4)/10. Sort 1, c, b.
1, b, c
Suppose -5*i - 3*d - 25 = 0, -i + 2*i - 18 = 4*d. Let n = 3.2 - 3.2. Let g = n - 4. Sort 4/3, g, i.
g, i, 4/3
Let r = -19 + 17. Sort 0, 5, r.
r, 0, 5
Let b = -76 - -77. Let i = 6 + -4. Let v be i - -1*(-10)/8. Sort -4, v, b in ascending order.
-4, v, b
Let q be 66/55*5/2. Sort -5, -4, q in increasing order.
-5, -4, q
Let u be ((-8)/(-9))/(16/24). Put 5, u, 1 in increasing order.
1, u, 5
Let m be -27*(10/(-6))/(-5). Sort m, 4, 2 in increasing order.
m, 2, 4
Let u = -1.33 - -1.03. Put -0.1, u, -1.5, -2 in ascending order.
-2, -1.5, u, -0.1
Suppose g - 3*k + 5*k = 0, 4*g - 50 = 2*k. Suppose -f - 45 = 4*l - 6*f, 2*f - g = 0. Sort 4, l, 0 in descending order.
4, 0, l
Suppose -c + 0*c - 5*u = -7, -4*c - 3*u + 11 = 0. Suppose c*a + 3*i = -10 + 1, 2*a = 5*i + 31. Put a, 8, -5 in decreasing order.
8, a, -5
Let r = -1.3 + 1.1. Put -0.3, r, 5 in descending order.
5, r, -0.3
Suppose -3 = -r + 1. Suppose 3*n - 53 = -j, -j + 34 = 2*n - 0*n. Suppose -5*y - 2*t + 20 = 0, -r*y + 2*y = 3*t - n. Put 1/2, -0.3, y in descending order.
y, 1/2, -0.3
Suppose 89 = 3*l + 11. Suppose -4*b = -8*b + 2*m + l, -2*b + 2*m + 18 = 0. Let u be ((-16)/132)/(b/(-6)). Put 2/9, 1/2, u in decreasing order.
1/2, 2/9, u
Let j be 12/10*(-10)/3. Sort j, -1, 3 in increasing order.
j, -1, 3
Let u(h) = -h + 6. Let b be u(10). Suppose -v - 4*t = -20, 0 = 3*v + 3*t - 2*t - 5. Let d = v - 5. Put d, b, -1 in decreasing order.
-1, b, d
Let y = 34 - 31. Put -4, 1, 2, y in descending order.
y, 2, 1, -4
Let z be -2 - (2 - 27/6). Let k = 0 - z. Sort k, 3, 5 in ascending order.
k, 3, 5
Suppose 0 = 3*x + 2*x + 5, 5*x = l + 5. Suppose 0 = 2*h + 2*b - 2, -3*h = -2*h + 5*b + 3. Sort 1, h, l in descending order.
h, 1, l
Let z(v) = 2*v + 3. Let p be z(-4). Let h(s) = -s**2 + 2*s - 2. Suppose j + 2*m - 10 = 0, -3*m - 2 = -3*j - 2*m. Let k be h(j). Sort p, k, 5.
p, k, 5
Suppose -3*o + 12 = 0, 4 = -4*m - 2*o + 4*o. Suppose -m + 0 = x. Let d be (x - -1) + 2/9. Sort -2, d, -2/3 in descending order.
d, -2/3, -2
Let q = -9 - -18. Let z = q - 4. Let r = -2 + z. Sort 4, -3, r in descending order.
4, r, -3
Let t(u) = u + 4. Let c be t(-5). Suppose -21 = 5*o - 4*h, -5*o + 3*h - 5*h - 27 = 0. Let v be 2*1*(-2)/(-4). Sort o, c, v.
o, c, v
Let q be 1*46/(-12) - (-9)/(-54). Sort 3, q, -2 in descending order.
3, -2, q
Let c = 24 + -25.3. Let v = -0.2 - c. Let o = -0.6 + v. Sort 3, o, -1/4.
-1/4, o, 3
Let z = 6 + 0. Let m = z - 3. Let f = m - 4. Sort 4, f, 1 in ascending order.
f, 1, 4
Suppose -3*w - 2*w = -20. Let d = -6 + 11. Sort w, -1, d.
-1, w, d
Let a = -23/248 - 1/31. Sort a, 2/11, 4 in ascending order.
a, 2/11, 4
Let v = 1 + -2. Sort v, -0.2, 1.
v, -0.2, 1
Let t = 7 + -15/2. Let n = -128/51 - -20/17. Sort t, -4, n in decreasing order.
t, n, -4
Let n = 21.6 + -22. Let o = -3 + 6. Sort n, -1/4, o in descending order.
o, -1/4, n
Let d = 5 + -3. Let k = 2 - d. Let x be 0 - (1 - k/1). Sort -5, x, 5 in decreasing order.
5, x, -5
Let v = 0.1 + -0.1. Sort v, -0.8, -2/5.
-0.8, -2/5, v
Let x be (2/(-20))/((-4)/50). Let i = -13/4 + 4. Let j = -1 + -2. Sort i, x, j in increasing order.
j, i, x
Let c be (-3 - 27/(-28)) + 3. Let t = -5/7 + c. Sort 3, -0.4, t.
-0.4, t, 3
Suppose 0 = -o + 3*o + 10. Put -2, 1, o in increasing order.
o, -2, 1
Let j = 29 - 28.8. Sort 1/4, -0.1, -0.5, j in increasing order.
-0.5, -0.1, j, 1/4
Suppose -4*q - 40 = q. Let v be (-18)/q - (-2)/(-8). Suppose 4*l = -v*j - 15 + 3, -3*l + 2*j = 16. Sort 2, -5, l in descending order.
2, l, -5
Let p be (2 + -4)*94/(-4). Suppose 4*g = 1 + p. Suppose -5*d - 2*w + 8 = -d, 3*w = 5*d + g. Sort -2, -5, d.
-5, -2, d
Let d(a) = a**2 + 14*a + 18. Let v be d(-13). Sort v, 4, 2 in descending order.
v, 4, 2
Suppose -2*n = 4*s + 8, 2*n + 0 = 2*s + 4. Let a(u) = u - 2. Let j be a(0). Let q = j + n. Put q, 4, -4 in decreasing order.
4, q, -4
Let q = -0.1 - -4.1. Let p = -3 + q. Suppose 3*l - 10 = -2*l. Sort p, 0.2, l.
0.2, p, l
Let x = 1 - -5. Sort x, 1, 5 in increasing order.
1, 5, x
Suppose -20 = -10*v + 14*v. Suppose -c - 5*m - 10 = 0, -2*c - 3*c - 4*m = 8. Put v, 2, c in decreasing order.
2, c, v
Let f be 2/((-9)/((-180)/(-8))). Put 4, -2, f in increasing order.
f, -2, 4
Let g be 171/(-27) - (-4)/3. Suppose -4*q - n = -9*q + 4, 3*q + 3*n - 6 = 0. Let a = 1 + -1. Sort g, a, q.
g, a, q
Let s = 29 - 18. Suppose -s*q = -8*q. Suppose 3*h - 5*h + 2 = 0. Sort q, 5, h.
q, h, 5
Let m(t) = -45*t - 11. Let o be m(-1). Sort -1, o, -2.
-2, -1, o
Let b(y) = y + 3. Let n be b(0). Suppose n*h = -0*h. Sort -1, h, 5 in increasing order.
-1, h, 5
Suppose -2 + 10 = -4*l. Suppose r - 6 = -0*r. Let u be r + 3/6*-2. Put u, -3, l in dec