 = -2*n. Sort n, 3, v in descending order.
3, v, n
Let j be 16/234 + 0 + 10/(-45). Put -1/31, -5, j in increasing order.
-5, j, -1/31
Let n(b) = b**3 - 8*b**2 + b - 4. Let k be n(8). Let r be -2 - (-1 + k + 0). Sort r, -2, 5 in increasing order.
r, -2, 5
Let a(b) = -b**2 - 4*b - 5. Let j be a(-5). Suppose 171 = 16*k + 3*k. Let x = k + j. Put x, -2, 4 in increasing order.
-2, x, 4
Let f be -20*1 - (14 - 18). Put -9, f, -4 in descending order.
-4, -9, f
Let v = 40 - 35. Suppose 6*r - 3*r = -4*g - 26, -v*g = 25. Sort -5, 4, r in ascending order.
-5, r, 4
Let a = -4 + 6. Suppose -68 = -3*l - 5*f, -2*f = l - 0*f - 22. Let s = 26 - l. Put -2, a, s in decreasing order.
a, s, -2
Let b = 3.061 + -0.061. Sort 4, b, 1, 5/2 in descending order.
4, b, 5/2, 1
Suppose 3*k = 5*k + 8, 4*w + 4*k = 116. Suppose 0 = 35*q - w*q - 4. Sort q, -5, -2, -3 in decreasing order.
q, -2, -3, -5
Suppose 0 = 61*i + 87 - 26. Let d = 276001997/632344405 - -6/2499385. Let y = -2/253 + d. Sort y, 2, i in decreasing order.
2, y, i
Let r be 7 + -8 + -4 - -1. Put -2, -5, 3, r in increasing order.
-5, r, -2, 3
Let z(o) = o + 14. Let f(d) = 1. Let j(v) = 3*f(v) - z(v). Let i be j(-9). Let b be i/2 - (-6 + 1). Sort b, 1, -2 in ascending order.
-2, 1, b
Let u(s) = -s**3 - 16*s**2 - 8*s + 105. Let z be u(-15). Put -87, z, -2 in ascending order.
-87, -2, z
Let s = -2 - -3. Suppose -3*k - 14 = 16. Let i be (k/2)/((-2)/(-2)). Sort 4, i, s.
i, s, 4
Let m be (-3)/(-8)*(-3 - -23). Let s be (-4)/1 - 39/(-9). Let o = 2.9 - 3. Sort m, o, s in increasing order.
o, s, m
Let w be -2 + -2 + 0 + 10. Sort w, 12, -1 in increasing order.
-1, w, 12
Let u be 3*4/(-162)*(-18 + 15). Put 0.161, u, 1/7 in increasing order.
1/7, 0.161, u
Let x = 384 - 381. Sort -1, -21, x, -5 in ascending order.
-21, -5, -1, x
Let i(j) = j**3 - 5*j**2 - 6*j - 6. Let v be i(6). Let w be ((-2)/(-10)*4)/v. Sort w, -2, -14 in ascending order.
-14, -2, w
Let u(w) = -w**3 + 6*w**2 - 3. Let z be u(6). Suppose 5*l - 4 + 24 = 0. Put 3, l, z in decreasing order.
3, z, l
Let g = 973 - 967. Sort 11, g, 1/7 in increasing order.
1/7, g, 11
Suppose -4*c = f - 26, 3*f + 13 = 3*c - 14. Let i(w) = w**2 - 6*w + 4. Let y be i(c). Let p be ((-21)/12 + 2)/(6/(-8)). Sort p, -4/3, y in descending order.
y, p, -4/3
Let t = -28 + 60. Let a = 31.6 - t. Let b = -2 - 1. Sort b, a, -0.1 in decreasing order.
-0.1, a, b
Let j be (-3)/12 + (-6)/8. Suppose -q + 3 = 4*b + b, -b - 4*q + 12 = 0. Put b, j, 8 in ascending order.
j, b, 8
Let d = -3750/7 - -536. Let h = -1 + 3. Suppose 2*c + 4 + h = 0. Sort c, d, 4/7 in decreasing order.
4/7, d, c
Let k be 54/(-10) - 124/(-310). Sort k, 4, -33 in descending order.
4, k, -33
Suppose 6*i - 2*s = 2*i + 14, -4*i - 4*s + 8 = 0. Suppose 6 = 3*a - 2*t, 5*a + 4 = -18*t + 19*t. Put a, -10, i, 1 in decreasing order.
i, 1, a, -10
Let t = -58 + 61. Let j be (-1 + 0)*t*(-2 + 3). Suppose -u = 2*u + 3. Sort -5, j, u.
-5, j, u
Suppose -h - 4 + 26 = 2*u, 4*u = -5*h + 80. Let n = h - 10. Let j be (2/(-1) + -4)/n. Sort 4, 3, j in ascending order.
j, 3, 4
Suppose -2*v + 61 = 4*y + 9, y = -3*v + 23. Let m = y + -32/3. Put -0.3, 4/5, -0.4, m in decreasing order.
4/5, m, -0.3, -0.4
Let d(h) = h - 4. Let q be d(-1). Sort q, -2, 114 in ascending order.
q, -2, 114
Suppose -50 = 8*v - 26. Sort -1, -25, v in decreasing order.
-1, v, -25
Let r = -1 + 0. Suppose -5*a + 115 = 30. Let c = a - 15. Sort c, r, 4.
r, c, 4
Let g = -164 - -159. Sort 18, 0.2, -0.2, g in increasing order.
g, -0.2, 0.2, 18
Let o = 739/3 - 247. Let n be -1*(4/5)/(-2). Let p = 6/53 + -136/265. Sort p, n, o.
o, p, n
Let n = -34 - -27. Let v = n + 3. Sort 1, v, 0, -1 in increasing order.
v, -1, 0, 1
Let z = 35 + -22. Let v = z - 8. Let a = 0.9 + -3.9. Put a, 0.4, v in increasing order.
a, 0.4, v
Let k = 52 + -52.12. Sort 0.3, k, -0.1.
k, -0.1, 0.3
Suppose 0 = -t - 3*t - 4. Let f be 6/(4*t/2). Suppose -k - 2 - 3 = -4*z, 0 = -2*k - 5*z + 16. Put f, 4, k in decreasing order.
4, k, f
Let l = 23.2 + -4.2. Let k = 25 + -22. Put l, k, -1/2 in increasing order.
-1/2, k, l
Let x be 0 + (2/(-2) - -2). Suppose 11*b - 12 = 9*b. Sort b, 2, x.
x, 2, b
Suppose 0*y + 3*y = -12, -4 = -4*x - 3*y. Let u be 1/x*-4 - 4/(-5). Put -1/8, u, 0.4, -0.04 in ascending order.
u, -1/8, -0.04, 0.4
Suppose k + 2*z = -2*k + 11, 1 = -k - 3*z. Suppose -7*q + 2*q = u - k, 4*q - 4 = 5*u. Suppose 4*f = -0*f + 8. Put 7, q, f in decreasing order.
7, f, q
Suppose 3*u - 3*c = 9, -u - 4*c - 6 = 6. Let n be 70/(-4)*16/(-10). Suppose -2*w = 3 + 5, -4*w = 4*v + n. Sort v, -1, u.
v, -1, u
Let o be (4 + -1 + -3)/(10 - (20 - 11)). Let j = 0.1 - -0.4. Put j, o, 5/3 in decreasing order.
5/3, j, o
Let i be -10 + 9 + (-2 - 0). Suppose 2*h + 1 = -4*s - 23, 3*s + 5*h + 25 = 0. Sort -2/7, i, s in decreasing order.
-2/7, i, s
Suppose -476*t = -485*t - 18. Sort 5, 4, t, -1.
t, -1, 4, 5
Let v be 12/8*2*1. Let o = -84 - -83. Let q be 3 - -4*(-1 + o). Sort q, v, -3 in increasing order.
q, -3, v
Suppose -8 = 3*y - y, 6 = d - 2*y. Let i = -161 + 165. Put -3, i, 3, d in decreasing order.
i, 3, d, -3
Let k(q) = 42 + 41 - 89 - q. Suppose 4*g + 7*o = 3*o - 12, 20 = 5*o. Let z be k(g). Put 5, 4, z in increasing order.
z, 4, 5
Let w be 12/(((-45)/(-110))/3). Let j = 443/5 - w. Sort j, 2/17, -1/5.
-1/5, 2/17, j
Suppose 33 = 2*i + 17. Suppose 5*x = i - 28. Sort x, -3, 2 in increasing order.
x, -3, 2
Let k = -2.8 - -2.9. Let w = -4 - -3.98. Let r = w - -0.32. Sort -1, k, r in ascending order.
-1, k, r
Let u = 716 - 715. Let w be 4/(-18) - (-32)/(-18). Put u, w, -5 in increasing order.
-5, w, u
Let i be 43/(-9) - (-2)/(-9). Let a(w) = -w**3 + 8*w**2 + 3*w + 27. Let p be a(9). Sort -3, i, p in ascending order.
p, i, -3
Let b = -3 - -3.5. Let f = 8 + -7. Let n = f - 1.3. Put 7, b, n in increasing order.
n, b, 7
Suppose -7*f + 10 + 18 = 0. Sort 59, 1, f in ascending order.
1, f, 59
Let l = -125.7482 + -0.1018. Let p = -121 - l. Let h = -0.15 - p. Sort h, 1/4, -2/3.
h, -2/3, 1/4
Let h be 5*(-12 + 5 - -8). Put -11, -5, h, -3 in decreasing order.
h, -3, -5, -11
Suppose 0 = -5*k + 3*j + 28, 3*k - 9 - 4 = -2*j. Suppose 32 = -k*t - 0*m + 4*m, -t + 3*m - 13 = 0. Sort t, 4, -2.
t, -2, 4
Let j be (3/(-6))/(0 - -1). Let p = 6689 - 6692. Sort -2, j, p, -13.
-13, p, -2, j
Let m = -79 + 76. Suppose 2*b = -3*b - 25. Sort m, b, -1, 2 in decreasing order.
2, -1, m, b
Let a = 578.5 + -578. Put 77/3, a, 0.3, -4 in ascending order.
-4, 0.3, a, 77/3
Let i(x) = -x - 3. Let f be (15/(-3) - -3) + -4. Let z be i(f). Suppose -3*v + z*s - 21 - 18 = 0, -5*v - 2*s = 58. Sort v, -5, 1 in ascending order.
v, -5, 1
Let w = -223 + 225. Let k = -4.7 - -0.7. Sort -1/8, w, k in increasing order.
k, -1/8, w
Let x = 94 + -116.5. Let o = 23 + x. Let v be (-9)/3*2/(-4). Sort v, o, 0.1 in ascending order.
0.1, o, v
Let o be 2 - 6/(-2) - 1. Sort -4, o, -1/5 in increasing order.
-4, -1/5, o
Suppose 10*o - 11*o + 27 = 0. Suppose -22*p + 5 = -o*p. Let i be (4/5)/(2/5). Put i, p, 1 in increasing order.
p, 1, i
Let v be 0/1 - (0 + -4). Let a be (-106)/9 + 8 - 2/9. Let f be (2 - -3)/(-1 + 0). Put f, a, v in decreasing order.
v, a, f
Suppose 6*h + 5 = 29. Suppose 0 = 10*b - 3 + 23. Sort h, 2, 5, b.
b, 2, h, 5
Let z = 19 - 31. Let h = 30 + z. Let j be 30/40 - h/16. Sort 0, j, -3 in decreasing order.
0, j, -3
Suppose 4*w - 3*v = -1 + 42, 0 = 2*w + v - 13. Suppose -5*p = -4*m - 78, -w*m + 66 = 3*p - 4*m. Let i be p/27 + 4/(-3). Sort 1/4, 0, i in increasing order.
i, 0, 1/4
Let w = 19.9877 + 0.0123. Sort w, -1/10, 4, 0.2 in descending order.
w, 4, 0.2, -1/10
Let j = -730 + 727. Put -8, -14, j in descending order.
j, -8, -14
Suppose 204*x + 72 = 168*x. Sort 5, x, -1, -95 in decreasing order.
5, -1, x, -95
Suppose u + 76 = -3*u. Let p = 12 + u. Let g = 12 + p. Sort g, -0.1, 1/6 in descending order.
g, 1/6, -0.1
Let r(h) = -h**2 - 9*h - 4. Let y be r(-8). Put y, -10, 3 in increasing order.
-10, 3, y
Let g = 112 - 108. Sort 9, g, 0, -2 in descending order.
9, g, 0, -2
Let m = -19 + 30. Let h(v) = v - 16. Let x be h(m). Sort 2, -13, x in descending order.
2, x, -13
Let n = -0.25 + -2.85. Let b = -10.9 + n. Let k = b - -13.7. Sort k, -0.4, 5 in ascending order.
-0.4, k, 5
Let p(l) = -2*l**2 - l + 18. Let t be p(-6). Let i = 50 + t. Put -5, 7, i in ascending order.
-5, i, 7
Let c = -13 - -9. Suppose -3*h 