 = -3*w. Let z be 2/t + (-36)/8. Sort -4, 4, z in increasing order.
z, -4, 4
Let n = -10.2 + 11.1. Put 1/9, 2, n in increasing order.
1/9, n, 2
Let u be 15/(-4)*(-24)/(-2). Let t be (-1)/u*12/(-10). Let f = t - -379/150. Put f, -0.4, -2/9 in increasing order.
-0.4, -2/9, f
Let u = 8 + -4. Suppose 4*z = 2*z - 8. Let x be (-10)/(-3) + 1/(-3). Put u, z, x in ascending order.
z, x, u
Let c = 0 + 0. Let h = 0 + c. Let w = -0.11 + 4.11. Put -2/7, h, w in decreasing order.
w, h, -2/7
Suppose g + 4*v + 22 = 4, 4*v + 16 = 0. Sort g, -8, 4, 5 in decreasing order.
5, 4, g, -8
Let z = -8 + 13. Sort -7, 3, 2, z in descending order.
z, 3, 2, -7
Let c(v) = -v**3 + 8*v**2 + 4. Let g be (-12)/(((-30)/(-4))/(-5)). Let u be c(g). Put 5, u, -4 in ascending order.
-4, u, 5
Let f = -8 + 13. Let a = 30 + -26. Let d = -58 - -178/3. Sort f, d, a in increasing order.
d, a, f
Let g = 0.18 + -0.12. Put 3, -3, g in descending order.
3, g, -3
Let z be 13/5 - (-4)/10. Suppose -s + 5*g = 2, 3*s - 18 = s - g. Suppose -s*f = -z*f. Sort f, 1, 5 in descending order.
5, 1, f
Let m = -3.1 - 15.9. Let z = -20.6 - m. Let d = 2 + z. Put -4, d, -1/2 in ascending order.
-4, -1/2, d
Let g = 84 + -251/3. Sort -5, 2/3, g in descending order.
2/3, g, -5
Let i = 4.2 - 0.2. Sort i, 2/9, -5.
-5, 2/9, i
Let k = -2 - -2.9. Let v = 0.9 - k. Let c = 0.3 - v. Sort 0.5, -0.3, c in ascending order.
-0.3, c, 0.5
Suppose 24 = 22*n - 28*n. Sort 2, n, 0 in ascending order.
n, 0, 2
Let y be ((-3)/6)/1*0. Put -4, y, 28, 5 in descending order.
28, 5, y, -4
Let m = 0.5 - 0.6. Let g = -1/54 - 211/270. Sort m, -2/3, g.
g, -2/3, m
Let v = -71 - -211/3. Put v, -2, -0.2 in increasing order.
-2, v, -0.2
Let g = -2.01 - -0.01. Let v = 3 + 2. Let t = g + v. Sort 0.3, t, 2/9.
2/9, 0.3, t
Let g = -16 + 42. Let b be (2/(-6))/(g/12). Let v = -1.871 - 0.129. Sort 3, v, b.
v, b, 3
Let p(s) = -s - 3. Let r be p(-7). Let l be 4/(-22) + 105/33. Suppose -l*d - r = -2*d. Put 4, 0, d in descending order.
4, 0, d
Let a = 6 - 5. Let h be (0 + 1)*a - 1. Sort h, 0.1, -5 in decreasing order.
0.1, h, -5
Suppose 3*t - 9 = -0. Suppose 4 = k + t. Sort -5, 5, k in increasing order.
-5, k, 5
Suppose 4*n = 3*n - 4. Let a be 38/323 - (-93)/(-68). Put a, n, -0.3 in descending order.
-0.3, a, n
Let z be 1 + (-1)/((-1)/3). Let y(q) = -q**2 + 12*q + 8. Let u be y(13). Put -1, z, u in increasing order.
u, -1, z
Suppose 4*o + 28 = -10*o. Let k be ((-2)/(-6))/(3/(-9)). Let j(g) = -g**2 + 1. Let q be j(k). Sort -3, q, o in descending order.
q, o, -3
Let t = 0.018 - 0.118. Sort 0.4, t, -1 in decreasing order.
0.4, t, -1
Let y be -1 + 0 + (-1)/1. Let o = y + 0. Let b be 1*(o - 3/(-3)). Sort b, 0, -3 in ascending order.
-3, b, 0
Let q = -14 + 12.9. Suppose -21*m - 83 = 1. Sort m, q, -3 in descending order.
q, -3, m
Let t = 20 + -18. Put 3, 9, 0, t in decreasing order.
9, 3, t, 0
Suppose 0*w = 2*w - 2. Suppose -5*a + 2*a = -15. Put w, 4, a in decreasing order.
a, 4, w
Let z(u) = u**2 + 10*u + 12. Let f = 15 - 23. Let t be z(f). Suppose 4*o - 7*o = 15. Sort 4, t, o.
o, t, 4
Let f = 52 - 35. Put -4, -1, f in descending order.
f, -1, -4
Suppose 0 = -d - 3*d + 148. Suppose -d = -5*q + 43. Let p be ((-6)/14)/((-12)/q). Sort -3, 3, p.
-3, p, 3
Suppose -4*x - 20 = 4*o, -o - 2*x + 3*x - 3 = 0. Let a be 1 - (3 - 4/1). Put -3, a, o in increasing order.
o, -3, a
Let n be (1 - 5)/(-1 + 2). Suppose -2*g = i - 1, -5 = g + 4*g - 5*i. Suppose g = b + b + 4. Sort b, n, 2 in decreasing order.
2, b, n
Let f = -26 - -24. Suppose -2*p - 17 = -3*a - 2*a, 0 = 4*p + 5*a - 41. Suppose b + n + 0*n = 0, -p*b - 5 = -n. Put b, 4, f in descending order.
4, b, f
Let c be 1/(-2)*1 - 0. Suppose x - 3*u - 21 = 2*x, -5*u - 27 = x. Let t be (-6)/(-4) + 6/x. Sort t, -0.1, c.
c, -0.1, t
Let r = -467/5316 - -2/443. Put -1/7, r, 0 in increasing order.
-1/7, r, 0
Let n = -12 - -10. Put -1, n, 2 in decreasing order.
2, -1, n
Suppose 0 = -w + 2*w + 6. Let t = w + 11. Suppose -2*v = -6*p + 3*p - 20, 0 = 2*p + v + 4. Put -1, t, p in decreasing order.
t, -1, p
Suppose 4*w + 7 - 3 = 0. Let v(y) = y**2 + 4*y + 1. Let b be v(-3). Let i = -2 + 4. Put b, w, i in descending order.
i, w, b
Suppose -3*p - 1 = -2*q - 3, -2*q + 2*p = 0. Let y be (-8 + 10)*3/q. Put y, 2, 0.3 in descending order.
y, 2, 0.3
Let x = -5 + 6. Let o(h) = -2*h**2 + h + 6*h**2 - 3*h**2. Let t be o(-1). Sort t, 3, x.
t, x, 3
Let i = -1 + 0.6. Let b be (-15)/(-9) - (-3)/9. Put i, -1, b in descending order.
b, i, -1
Suppose 0*c + 5*c = 20. Suppose 7 - 3 = -2*r. Sort 3, c, r in ascending order.
r, 3, c
Suppose 0*g + 10 = 2*g. Let s = -11 - -8. Let u = -6 - s. Sort 0, g, u in ascending order.
u, 0, g
Let l = 21.4 - 26. Let m = l - 0.4. Sort m, 3, -1 in ascending order.
m, -1, 3
Suppose -5*g - 2*a = 6, -3*g - 2*g + a = 12. Sort -1, g, -3 in decreasing order.
-1, g, -3
Let i = 0.02 + 3.98. Let z = -33 + 129/4. Put 5, i, z in ascending order.
z, i, 5
Suppose -r - 9 + 4 = 0. Suppose -3*l - 5*q - 23 = -2, -5*l - 3*q - 19 = 0. Put r, 4, l in ascending order.
r, l, 4
Suppose 3*s - 3 + 9 = 0. Let z = -4 + 0. Sort z, 2, s in decreasing order.
2, s, z
Let l = 3 + -7.9. Let s = l + 5. Put s, 0, -3 in decreasing order.
s, 0, -3
Let w = 17 + -20. Sort 5, -4, w, 4 in descending order.
5, 4, w, -4
Suppose t = -3*p + 19, -2*t + 3*p - 3 = t. Suppose -4*b + 6 = -4*k + 2, 4 = -t*k - b. Put k, 1, -2 in decreasing order.
1, k, -2
Let r = 48 + -44. Put r, 5, -2/7, 2/9 in descending order.
5, r, 2/9, -2/7
Let u = -0.08 + 0.1. Let j = -0.02 + u. Sort 2/3, -0.4, j.
-0.4, j, 2/3
Let w(q) = -2*q + 4 + q + 0 + 0*q. Let h be w(7). Sort -5, h, 0 in descending order.
0, h, -5
Let i = -0.08 + 0.58. Sort -1/3, -2/13, i.
-1/3, -2/13, i
Let q = -0.516 + 0.016. Sort 3, -3, q, 4 in increasing order.
-3, q, 3, 4
Suppose 6 = -2*p, -2*d = -4*d + 3*p + 13. Let f(h) = -h + 1. Let t be f(d). Put -5, 5, t in increasing order.
-5, t, 5
Let t = -43 + 39. Sort -60, -2, t.
-60, t, -2
Let n = 0.3 - -3.7. Let s(j) = -j**3 + 2*j**2 + 5*j - 4. Let a(u) = 4*u**3 - 2*u**2 + 1. Let c be a(1). Let q be s(c). Sort n, 2/3, q in ascending order.
2/3, q, n
Let x be (2 + 273/(-24))*8/(-20). Sort x, 0.5, -3, 0.2.
-3, 0.2, 0.5, x
Let p be (-2 + -3)*2/(-2). Suppose -r + 6*r = -15. Put p, r, 4 in increasing order.
r, 4, p
Let h = -28/9 - -178/63. Let p = -6/17 + 56/255. Sort h, 1, p in descending order.
1, p, h
Let z = -16 + 11. Put z, -0.2, 8/7 in decreasing order.
8/7, -0.2, z
Let r = 0 + 0.1. Let s = -696/7 + 100. Put 0, r, s in descending order.
s, r, 0
Let s(h) = -h. Let l be s(-4). Suppose 4*i + l = -0*i. Put i, -1/11, 0.4 in ascending order.
i, -1/11, 0.4
Suppose 4*n + 7 = -5*m, n + 0*m = -2*m - 4. Let l be n/2 + 3 + -4. Let w(g) = g**2 - 7*g + 3. Let s be w(7). Put l, s, -1 in increasing order.
-1, l, s
Suppose q = -w + 6*q + 21, 2*w + 3 = q. Let u be (-32)/(-24)*(w + 1). Put -2/15, u, 1/2 in ascending order.
u, -2/15, 1/2
Let i = -9 + 13. Let m(w) = w - 4. Let s be m(i). Suppose -h = -s - 4. Sort -2, -5, h.
-5, -2, h
Let t = -15 - -15.1. Let j = -1.1 + t. Put -0.3, -4, j in increasing order.
-4, j, -0.3
Suppose -5*o = y + 20, 2*y + 16 = y - 4*o. Let h(c) = c**2 + 5*c + 2. Let g be h(-2). Sort 4, g, y.
g, y, 4
Let r = -0.04 + -0.26. Suppose -5*j - 3*d = -6*d + 22, d = 2*j + 9. Sort j, r, 1/5 in decreasing order.
1/5, r, j
Let v be (-2)/6*(4 - 4). Let j be (v - -1)/(-1)*-3. Let r(i) = i**2 + i - 2. Let n be r(0). Sort j, 2, n.
n, 2, j
Let t be 2/(-5) - 2/5. Let o = 32 - 29. Put o, t, 0.5 in increasing order.
t, 0.5, o
Let a be (2/(-5))/((-4)/14). Let n be (-10)/4 - (3 - 4). Put n, 2, a in ascending order.
n, a, 2
Let c be (-10 - -3)*(-2)/7. Let k be (-40)/25*(-1)/(-4). Put 1/7, c, k in increasing order.
k, 1/7, c
Let t(m) = -2*m**2 - m**2 + 5 + m - m**2 - 4 + m**3. Let i be t(4). Suppose 0*b + 10 = i*b. Put b, 5, -5 in decreasing order.
5, b, -5
Let x = 10 + -9.72. Let f = x - 0.2. Let s = 0.08 - f. Put -1, 4/5, s in increasing order.
-1, s, 4/5
Let t(m) = 4*m**3 + 4*m**2 - m**3 - 2*m**3 - 2*m + 3 - 2*m. Let z be t(-5). Let o = 0 - 0. Sort 3, o, z in descending order.
3, o, z
Let h = 11 - 12. Sort h, -5, 3 in descending order.
3, h, -5
Let d = -28 - -26. Put -5, -1, d, 4 in decreasing order.
4, -1, d, -5
Let r = -40 - -38. Sort r, -4, 1 in decreasing order.
1, r, -4
Suppose 0 = -3*k + 8 +