. Let s = a + g. Sort -3, s, 5 in descending order.
5, s, -3
Suppose -5*b = 1 - 21, -3*m - 22 = -b. Let z be (1*(-2)/2)/(2/m). Sort -2, 4, z, 2.
-2, 2, z, 4
Let r = -4/13 - -72/65. Let b = -3.9373 + -0.0627. Sort -0.3, b, r, -0.2 in ascending order.
b, -0.3, -0.2, r
Suppose 0 = b, -b - 15 = -5*j - 0. Suppose g = -f, 2*f - 6*f = -5*g - 27. Sort j, g, -4 in descending order.
j, g, -4
Let j = 0.1053 + -0.8053. Put 0.1, -3/2, j in ascending order.
-3/2, j, 0.1
Suppose -3*j = -3*m - 2*m - 56, 5*m + 58 = 4*j. Let x = m + 15. Sort x, 4, -5 in decreasing order.
x, 4, -5
Let v be (-1)/(-2 - -1) - 2. Suppose -999*k + 991*k = -32. Sort k, 2, v.
v, 2, k
Let v = 39 - 29. Let c be 2/(-12)*(-14 + v). Let s be 7/(-4) - (2 + -3). Sort s, c, -5 in descending order.
c, s, -5
Let h = -297 + 304. Sort h, 0, -1 in ascending order.
-1, 0, h
Suppose -2*w - b + 3 = 2*b, 4*w + 2*b = 10. Suppose -5*t - m = -35, -5*t + 2*m = -2*m - 35. Suppose 4*a + w = t*a. Sort 2, -5, a in decreasing order.
2, a, -5
Let u be (-5)/(-3) + 4/(-6). Let c = -2 + u. Suppose -i = 2*i + 9. Sort -5, c, i in descending order.
c, i, -5
Let l(x) = -x + 7. Let c(v) = v - 8. Let j(a) = 4*c(a) + 5*l(a). Let h be j(7). Let o = 620 + -620. Put -8, h, o in ascending order.
-8, h, o
Let v = 42 + -38. Let j = 6 + -11. Let s = 4 + j. Sort -5, s, v in decreasing order.
v, s, -5
Let q = -24 + 22. Let a be (-2)/(-3)*90/12. Suppose -3 = -2*s - 6*k + 3*k, -5*k + a = 4*s. Put s, q, -4 in increasing order.
-4, q, s
Let l = -96 + 102. Suppose 0 = -3*b - 19 + 4. Put b, l, 2 in ascending order.
b, 2, l
Let t = -2.3 + 0.3. Let a = -69 - -64. Put t, a, 4, -3 in descending order.
4, t, -3, a
Let s = -0.1 - -7.1. Let j = 4 - s. Let x = j + 5. Put -2/5, -0.5, x in decreasing order.
x, -2/5, -0.5
Let n be (-4)/24 - (-350)/(-60). Let l(m) = m**2 + 12*m + 10. Let j be l(-11). Sort -3, j, n in increasing order.
n, -3, j
Let s(i) = i**3 + 14*i**2 + 19*i - 25. Let f be s(-12). Let d = f - 35. Put -2, d, -3, 9 in descending order.
9, d, -2, -3
Let u = -300 - -302. Let a = 1.5 - 1. Put a, -5, u, -3/2 in decreasing order.
u, a, -3/2, -5
Let n = -169.5 - -174.5. Put -0.2, n, -3/2, 0.4 in descending order.
n, 0.4, -0.2, -3/2
Let l(d) = -d**2 - 18*d + 44. Let g be l(-20). Put g, -61, 2 in ascending order.
-61, 2, g
Let i be ((-2 - -3)*2)/(-2). Let r be -5*(-12)/60 - 5. Sort r, i, -10 in descending order.
i, r, -10
Let k = 127 - 122. Let f = 0 + 0. Let v = f - -1. Put v, 3/7, k in ascending order.
3/7, v, k
Suppose 3*b - 7*g - 36 = -5*g, -48 = -4*b - 2*g. Put -6, b, 2 in ascending order.
-6, 2, b
Suppose 3*a + 66 - 103 = 2*l, -5*a + 2*l = -59. Put a, 0, 3 in increasing order.
0, 3, a
Let o = -6 + 5. Suppose 6*a - 3*a = x + 10, -3*x - 2 = -2*a. Sort 0, x, o.
o, 0, x
Suppose -213 = -2*f - 221. Put 8, f, 2, 1 in decreasing order.
8, 2, 1, f
Let a be 8 - 8 - (3 - 2). Let q = -186 - -189. Sort q, a, -8 in descending order.
q, a, -8
Let i = -241/10 + 49/2. Put i, -1/3, 1/3, -0.3 in decreasing order.
i, 1/3, -0.3, -1/3
Let w be (-3)/6 + 2/(-8). Let l be (-1)/(-3)*-11 + 148/222. Put -2, 2, w, l in increasing order.
l, -2, w, 2
Let b = -1907/4 - -477. Let k = 2 + -2. Sort k, 5, b in decreasing order.
5, b, k
Let n = -0.08 - -0.28. Put n, -4, -0.76, -2/7 in decreasing order.
n, -2/7, -0.76, -4
Let k = 1975 + -1976. Put k, 44/13, 3/2, -2 in decreasing order.
44/13, 3/2, k, -2
Let u(p) = -p**3 - 8*p**2 - 8*p + 16. Let i be u(-3). Let a be 0/2 + 1/6. Put a, i, 0.08, 3 in increasing order.
i, 0.08, a, 3
Let r(v) = -v**3 - 4*v**2 - 4*v - 3. Suppose 4*y + 1 + 7 = 0. Let k be r(y). Let s = -6.1 - -6.3. Sort s, k, -2/7 in decreasing order.
s, -2/7, k
Let y = 3.91 + -3.11. Suppose 8*a + 4 = 4*a. Sort a, y, -0.3 in descending order.
y, -0.3, a
Let g = -3210737/132 + 24324. Let r = -1/66 - g. Put r, -4, 2/47 in increasing order.
-4, r, 2/47
Let o = 0.12 + 0.08. Let p = -4.0884 - -0.0884. Sort o, p, 0.073 in increasing order.
p, 0.073, o
Let b be 6 - ((-475)/(-75) - (-4)/(-6)). Sort 2, b, 0.4, -0.08.
-0.08, b, 0.4, 2
Suppose 2*u = a + 1, -14*a + 9*a = -u + 5. Sort a, 3, -13 in descending order.
3, a, -13
Suppose -10*y - 13 = -11*y. Let h = -15 + y. Suppose -3*s - 10 = -2*l + 1, 3*l + 3*s + 6 = 0. Put 4, h, l in increasing order.
h, l, 4
Let x be (21/(-14) + 3)*68/(-3). Let v = 39 + x. Put -1, v, 0, -2 in increasing order.
-2, -1, 0, v
Let x be 24/(-12) - (-5 - 42/(-12)). Put 3/2, x, -1, 3/20 in ascending order.
-1, x, 3/20, 3/2
Let i = 0.13 + -0.26. Let c be (0/2)/(2 - 1). Put i, c, -4 in decreasing order.
c, i, -4
Suppose 106 = 2*x + 108. Put 7, -4, 6, x in decreasing order.
7, 6, x, -4
Suppose 9*f = 5*f + 20. Suppose 3*i - 3*v = f*i + 1, 2*i + 7 = -v. Let m be (1 + -4)*2/(-3). Sort i, m, -1.
i, -1, m
Let m = -336 - -339. Put -0.08, -0.4, 4, m in descending order.
4, m, -0.08, -0.4
Let p be 2/15*-27*(-20)/6. Suppose p = -2*u + 18. Let y(r) = -r - 1. Let b be y(3). Put b, u, -5 in descending order.
u, b, -5
Let y be (360/135)/(4/3). Let z(q) = -q**3 - 10*q**2 + 10*q - 6. Let x be z(-11). Put -1, x, y, -3 in descending order.
x, y, -1, -3
Let m be -1*(-7 + 18) + 43. Sort m, -4, 4, -1 in decreasing order.
m, 4, -1, -4
Let o = 4.04 + -0.04. Let p be (-2 - 92/(-42))/(30/(-35)). Sort p, o, 1/6 in increasing order.
p, 1/6, o
Let a = 511 - 507. Sort a, 10/7, -4 in descending order.
a, 10/7, -4
Let n = 30 - 22. Suppose -n*y + 6*y + 26 = 0. Suppose -4*a = 4*m + 20, a + 3*m = -2*m - y. Put 3, a, 0 in descending order.
3, 0, a
Suppose 4*p - 31 = 17. Let n be (-512)/48 + (-4)/(-6). Let t = n + p. Sort -1, t, 1 in decreasing order.
t, 1, -1
Suppose -c = -4*c - 12. Suppose 6*v - 2*v - 84 = -3*a, 2*v = 0. Let k = -25 + a. Put k, c, 6 in decreasing order.
6, k, c
Let w = 8 + -11. Let n(j) = j**3 - 4*j**2 - 4*j + 17. Let p be n(4). Sort w, -10, p in increasing order.
-10, w, p
Let x(g) = -g**2 - 4*g + 81. Let n be x(-11). Put n, -4, 13 in decreasing order.
13, n, -4
Suppose 2*t - 4*t + 20 = 0. Let r = 38972 + -38977. Put r, t, -2 in descending order.
t, -2, r
Let s = 998 + -994. Sort s, 0.4, -0.18 in increasing order.
-0.18, 0.4, s
Suppose -x = -3, -z + 2*x + 5 = 4*x. Put 22, z, -2 in increasing order.
-2, z, 22
Suppose -3*g + 2 + 7 = 0. Suppose -42 = 4*f - 50. Suppose 16 = 7*p + f. Sort p, g, -1 in increasing order.
-1, p, g
Let c = 1.1 - 3.1. Sort 2/15, 5, 4, c in ascending order.
c, 2/15, 4, 5
Let u be (1 - -7)/(4/2). Let q(o) = o**3 - 5*o**2 + 4*o + 4. Let g be q(u). Let z(d) = -2*d**2 + 12*d + 34. Let k be z(8). Sort 5, k, g in decreasing order.
5, g, k
Suppose -16*z + 3*c = -20*z - 12, -5*z = -c - 4. Put 31, -0.4, z in increasing order.
-0.4, z, 31
Let n = 585 + -654. Sort n, -3, 4 in descending order.
4, -3, n
Let d = 1 - 1. Let i be -2 + 24/15 + 6520/50. Let z be 585/i*1/((-6)/4). Sort z, 1, d in descending order.
1, d, z
Let i(x) = -x**2 - 3*x + 2. Let u be i(3). Let f = u + 36. Suppose f = 5*h - 0*h. Sort -0.1, h, -0.4 in ascending order.
-0.4, -0.1, h
Suppose 0*b + 5*b = 0. Suppose 2*h + 32 - 20 = b. Sort h, 5, 2, 1 in ascending order.
h, 1, 2, 5
Let r = 288 - 286. Let u(f) = 2*f + 1. Let a be u(-1). Sort 1, r, a.
a, 1, r
Let u = 6.12 - 6.15. Suppose -2*d - 9 = -3. Put u, d, -0.4 in descending order.
u, -0.4, d
Let r = -373 + 377. Sort -6, -13, 2, r in increasing order.
-13, -6, 2, r
Suppose 0 = 2*y + n - 13, 5*y - 7*n - 20 = -12*n. Sort -3, y, 3.
-3, 3, y
Let n = -12.79 + 12.49. Sort n, 16, 5 in descending order.
16, 5, n
Let g = -177 + 176. Suppose -6 = -2*r - 0*r. Suppose 0 = r*p + 7 - 1. Sort -0.5, p, g in decreasing order.
-0.5, g, p
Let b = -0.09 - 0.05. Let y = -0.46 + b. Sort 2/7, y, -3 in decreasing order.
2/7, y, -3
Let n = -2 + 4. Let t be n/((-8)/17)*4. Let k = t - -20. Sort -5, 2, k in decreasing order.
k, 2, -5
Let t = -96.5 + 97. Put t, -2, -5, -2/7 in increasing order.
-5, -2, -2/7, t
Let i = 419.3 - 419. Let o = 1.04 - 0.04. Sort o, 2/11, 0.1, i.
0.1, 2/11, i, o
Let l = -3 - -7. Let h(s) = s + l*s - 3*s - s**2 + 0*s**2. Let x be h(4). Sort 5, x, 2 in decreasing order.
5, 2, x
Suppose -272*h + 15 = -287*h. Put h, 85, -4 in decreasing order.
85, h, -4
Let z = -41.3 + 41.8. Sort -1/7, 2, z in descending order.
2, z, -1/7
Let t = -2/9 - -14/9. Suppose -40*c + 20 = -20*c. Sort c, -2/7, 0.5, t in descending order.
t, c, 0.5, -2/7
Let f = -700 - 