(-4). Sort -5, j, 1, u in decreasing order.
u, 1, j, -5
Let s = -1128 - -1127. Put -1000, s, 5, 3 in decreasing order.
5, 3, s, -1000
Let j = -280 + 277. Sort 4, 5, j in descending order.
5, 4, j
Let f = -1.86 - -1.46. Sort -5, -2/13, -4, f in descending order.
-2/13, f, -4, -5
Let s = -66 + 64. Suppose 0 = 2*d - 3*d + p - 5, 5*p - 15 = 4*d. Put d, -3/5, s in increasing order.
d, s, -3/5
Let m = -609 + 611. Sort m, 7, -2 in descending order.
7, m, -2
Let t = -0.36 + 12.36. Let n = t + -16. Sort n, -6, 0.3 in increasing order.
-6, n, 0.3
Suppose 0 = s + 4*h + 17, 51*s - 2*h - 9 = 52*s. Sort s, -5/3, 0.3 in descending order.
0.3, s, -5/3
Let g(o) = -20*o - 1. Let s = 13 + -12. Let w be g(s). Let i be (-4)/16 - w/20. Sort -7, -0.2, i in ascending order.
-7, -0.2, i
Suppose 4*o + 10 + 15 = -5*z, -4*o - 4*z = 24. Let h = 30 - 27. Let m = -7 + 4. Put h, o, m in decreasing order.
h, m, o
Suppose 3*y - 5*y + 4*p = -18, 3 = -p. Let f(c) = c**2 + 15*c + 12. Let z be f(-14). Put z, 4, -1, y in increasing order.
z, -1, y, 4
Let n = -6 + 2. Let x be (7/(-14))/(2/(-4)). Let f(h) = h - 6. Let y be f(8). Put x, y, n in descending order.
y, x, n
Let w = 5609/6 + -2332/3. Let c = 158 - w. Let d = 2 - 0. Put -5, d, c in decreasing order.
d, c, -5
Suppose 7*d = 2*t + 18 + 11, 13 = 5*d - 4*t. Sort -4, d, 105 in ascending order.
-4, d, 105
Let k be (6/(-1))/(-3 + 15/10). Let x = -4 + 7. Sort x, -1, k in descending order.
k, x, -1
Let t = 5.85 + 0.15. Let a = 1 - t. Sort -3/5, 0.2, a in decreasing order.
0.2, -3/5, a
Let l(n) = -2*n**3 + 13*n**2 - 8*n + 17. Let h be l(6). Suppose -2*i - 3*t + 49 = -0*t, 2*i = 2*t + 44. Put h, 2, i in decreasing order.
i, h, 2
Let f be -13*(-6)/2 + -7 + 2. Sort f, -4, -3 in ascending order.
-4, -3, f
Let q = 3 - 3.1. Let f = -936 + 935.5. Sort -5/4, q, f in decreasing order.
q, f, -5/4
Let k = -4.4 + -0.6. Let l = -2.09 + 15.09. Put 0.3, k, l in decreasing order.
l, 0.3, k
Let t be 2/(-4)*(-9 - -11). Suppose 5*j - 5*d - 15 = 0, -4 = -j + 3*j + 3*d. Put j, t, -4, -5 in decreasing order.
j, t, -4, -5
Let q = -13 - -12.8. Let j = -1.2 - q. Sort 5, j, 6 in descending order.
6, 5, j
Let t = 1116 + -1111. Sort -1, -3, 0, t in descending order.
t, 0, -1, -3
Let c be 3/(-6) + -1 - (-21)/(-6). Let o be c/20 + (-20)/16. Put -2/9, o, -2/5, 3/7 in decreasing order.
3/7, -2/9, -2/5, o
Let c(k) = 10*k + 430. Let n be c(-43). Let u = 17 + -9. Sort n, 2, u in ascending order.
n, 2, u
Let h = -1 + 1. Let a(o) = o**2 + 3*o - 62. Let m be a(6). Put m, h, 1 in ascending order.
m, h, 1
Let u = -0.0517 - -1.0517. Sort 22, -5/2, u in decreasing order.
22, u, -5/2
Suppose 63 = 48*a + 15. Sort 59, a, -5 in decreasing order.
59, a, -5
Let p = 5467/1629633 - 1/2393. Put -1/2, p, 0.4 in decreasing order.
0.4, p, -1/2
Let y = 0.1307 + 0.8693. Sort 3, -50, -1, y in decreasing order.
3, y, -1, -50
Let x(v) = v - 8. Let i be x(5). Put i, 3, 28 in decreasing order.
28, 3, i
Let z = -273.7 - -281. Let u = -0.4 - -1.7. Let s = u - z. Sort 3/2, s, 5 in ascending order.
s, 3/2, 5
Let a = -0.1 + 0.4. Let p = -1190 - -1193. Put p, 1/3, a in decreasing order.
p, 1/3, a
Let c = 36 - 32. Sort -2, -7, 0.3, c.
-7, -2, 0.3, c
Let r(a) = -6 - 3*a - 10 - 7 + 6. Let w be r(-7). Suppose -2*m = 2*m + 4, -4*m = w*q - 4. Sort q, -3, -1.
-3, -1, q
Let j = -1501 + 1497. Sort 1, j, 4, 145 in ascending order.
j, 1, 4, 145
Let t = 195 + -194. Let p = 0.26 + -0.16. Sort 4, 1/3, p, t in increasing order.
p, 1/3, t, 4
Let n be (202/(-30) - 12/(-36)) + 5. Let g be 2 + (3 - (-104)/(-20)). Sort -2, 3, g, n in increasing order.
-2, n, g, 3
Let t be 14/10*30/(-35). Suppose 0 = -2*g - 2*d - 252, -5*g = 3*d - 187 + 825. Let n be 6/g - 8/52. Put -6, n, t in ascending order.
-6, t, n
Suppose 3*l + 10 = 4*f, -5*l = -4*f + 2 + 4. Let d = -561 + 562. Sort d, f, -1/4 in decreasing order.
f, d, -1/4
Let k(o) = o**3 + 7*o**2 + 3*o + 12. Let p be k(-7). Let g = p - -2. Let v be 114/14 - (-1)/g. Put -4, v, -3 in descending order.
v, -3, -4
Suppose 4*w - 14 = 5*c + 121, -c + 5 = 0. Suppose -4*y = -2*f - 2*f + w, 0 = -3*y + 4*f - 31. Let a be (-1)/(-2) + y/12. Sort a, 0.4, -5.
-5, a, 0.4
Let l(r) = r + 1. Let a(c) = 2*c. Let b(s) = a(s) - 5*l(s). Let j be b(-4). Let o(d) = d**2 - 9*d + 11. Let f be o(j). Sort 2, -1, f in decreasing order.
2, -1, f
Let o = 37 - 36.04. Let q = -0.04 - o. Let s = 1/457 + 1367/1828. Sort s, 0.4, q in descending order.
s, 0.4, q
Let d = 7.13 - 6.8. Sort d, 4, 0.1 in increasing order.
0.1, d, 4
Let n = -4.9 - -5.1. Let z = n - 0.7. Put 1, z, -7 in increasing order.
-7, z, 1
Let y = 7 + 3. Suppose 5*h + 22 = 3*n, n - 5*h - y = 14. Let s = -14/3 - -5. Sort n, 4, s in ascending order.
n, s, 4
Suppose -3*j = -7*j + 16. Suppose 3*d + 127 = 130. Put j, 0, d in ascending order.
0, d, j
Let i = -25 + 27. Let k = 473/4 - 118. Sort k, 0.1, -3, i in descending order.
i, k, 0.1, -3
Let g = -138 + 143. Put 4, 3, -2, g in decreasing order.
g, 4, 3, -2
Let v = 243 + -174. Let s = v - 68. Put 0.04, 2, -5, s in ascending order.
-5, 0.04, s, 2
Let r be (4 + 13 - 17) + 0/(-2). Sort 14, 3, r, 5.
r, 3, 5, 14
Let j(p) = -p**3 - 7*p**2 + 8*p - 2. Let l be j(-8). Let n be (-2)/8 - (-90)/40. Put -0.3, n, l, 3/2 in decreasing order.
n, 3/2, -0.3, l
Let k be 10/(400/(-24)) + 1/(-15). Let i(f) = f**2 - 2*f + 1. Let o be i(2). Put 4, o, k in decreasing order.
4, o, k
Let c be 3/(-33)*(-2 + 29). Put 3, c, 2 in ascending order.
c, 2, 3
Let p(y) = y**2 + 13*y + 2. Suppose -10 = -2*z - 0. Suppose 0*s + 5*c + 40 = -5*s, -z*s - 90 = -5*c. Let v be p(s). Sort 0, v, -10 in descending order.
v, 0, -10
Let h = 5347/7 - 764. Put 81, h, -1/3 in decreasing order.
81, h, -1/3
Let l(r) = -6*r**3 - 2*r**2 + 4*r - 1. Let z be l(1). Sort 11, z, -4, -2.
z, -4, -2, 11
Let y be -2*(-22)/14 - 26/182. Sort y, 3/5, -0.064 in descending order.
y, 3/5, -0.064
Let b = -2082 + 2078. Sort b, -19, 4, 0 in decreasing order.
4, 0, b, -19
Let q be 3 + -5 + 18/8. Let i = 2.5 - -0.1. Let o = -2.4 - i. Sort 4, o, q in decreasing order.
4, q, o
Let p = 2294 + -2291. Let g(t) = -t**3 + 8*t**2 - 2*t + 12. Let c be g(8). Sort -3, c, p.
c, -3, p
Let h = 48 + -47. Let j be 1/h + 0 + -2. Sort 2/11, -2/17, j, -0.1 in decreasing order.
2/11, -0.1, -2/17, j
Suppose 39 - 47 = -8*t. Sort 5, 0, t, 4 in descending order.
5, 4, t, 0
Let n = 3.2 + -2.2. Let k = 87 - 86.6. Sort n, -0.03, k.
-0.03, k, n
Suppose 3*p + 26 = 2*z + 2*z, 3*z + 3*p = 9. Put -1, -3, z in descending order.
z, -1, -3
Suppose -14 = -4*i - y, -4*y - 3 + 20 = 3*i. Let s = 2 - 1. Let p = 5 - s. Sort i, p, 5 in decreasing order.
5, p, i
Let k(m) = 3*m - 3. Let x be k(4). Let i be 26/(-117) - (-146)/x. Suppose 5*b + n = 4, -3*b - i = -2*b - 4*n. Sort 3, b, -5 in decreasing order.
3, b, -5
Let p = -2 + 0. Let g = -1882 + 1883. Put p, 0, g in increasing order.
p, 0, g
Let o = 9.13 - 8.83. Let u = 4.99 + -5. Let b = 0.61 + u. Sort b, o, -0.2 in descending order.
b, o, -0.2
Suppose -1 = -5*l - 3*u, l = -5*u + 8 + 1. Let f be l*14/21 + 23/12. Sort f, -4, 2, 3/7 in increasing order.
-4, 3/7, f, 2
Let i = 97.2 + -20.3. Let o = i + -73. Let w = -4 + o. Put -0.4, -4, w in increasing order.
-4, -0.4, w
Let s = -19743/5 - -3949. Let g = -0.2 + 0.1. Sort -1, s, g.
-1, g, s
Let u be 26712/(-135) - 2/6. Let h = u + 199. Let b = -11 + 15. Sort b, 2/23, h in increasing order.
2/23, h, b
Let m be (-34)/(-10) - 1*9/(-15). Suppose a + 6 = 2*v - a, -m*a + 3 = v. Sort 8, v, 0 in ascending order.
0, v, 8
Let g(a) = a**2 - 3*a - 5. Let l be g(4). Let x = -3.784 + -0.216. Put 0.4, x, l in decreasing order.
0.4, l, x
Let a be (-8)/(-6) + (-10)/(-15). Let n = -973/5 - -196. Let y = a - n. Put 2, y, 0.4 in increasing order.
0.4, y, 2
Let w be (87/(-261))/((2/10)/((-60)/25)). Let p(q) = -q**2 - 6*q - 2. Let z be p(-5). Put -3, z, w in increasing order.
-3, z, w
Let p = 1.3 - 1. Let v be (-3)/2 - 0 - (31 + -33). Put p, 11, v in decreasing order.
11, v, p
Let k = -6/5 - -27/35. Let l = -113 - -121.1. Let y = -7.7 + l. Put k, y, -3 in descending order.
y, k, -3
Let w be (-451)/(-123) + (-5)/3 + -5. Sort -1, 2, -42, w in ascending order.
-42, w, -1, 2
Let g(w) = -5*w - 14. Suppose -15*p = -14*p + 3. Let d be g(p). Sort 4, -1, d in decreasing order.
4, d, -1
Suppose -3*k + 0 = z + 6, z - 5*k - 10 = 0. Let y = 5926 + -5928. 