rder.
1, a, n
Let n(x) = x**3 + 9*x**2 - 20*x + 21. Let v be n(-11). Sort 3, 19, 2, v.
v, 2, 3, 19
Let c = -33.6 + 34. Put c, -0.4, -2 in increasing order.
-2, -0.4, c
Suppose 2 = 4*z + 14. Put z, -5, -13 in descending order.
z, -5, -13
Let q = 4 - 1. Suppose -q*y + 5*k + 28 = -0*k, 0 = 3*y - 4*k - 26. Let j be (3/(-2))/(y/1). Put 2, j, -3 in decreasing order.
2, j, -3
Suppose 86*r = 82*r + 20. Suppose -2*g - 1 = 9. Suppose -3*v - 3*d + 11 = -5*d, d = -3*v + 8. Put r, v, g in increasing order.
g, v, r
Suppose 16*h - 20*h = -16. Put h, 1/2, -2 in decreasing order.
h, 1/2, -2
Let t be -9 + 2 - 1/1. Let j = t - -4. Sort 3, j, -5.
-5, j, 3
Let j = 19.4 + -1.4. Let t = 20 - j. Sort t, -0.4, -0.2.
-0.4, -0.2, t
Let k = -0.1 + -0.1. Let i(r) = r - 6. Let q be i(11). Put k, q, 0.3 in decreasing order.
q, 0.3, k
Suppose -80 = -2*v - 2*v. Let l be 2*1 - v/5. Let u be (l/(-2))/(18/12). Sort 0, u, 5 in decreasing order.
5, u, 0
Let f = 43 - 45. Sort 5, 6, f in decreasing order.
6, 5, f
Suppose -2*c + 8 = 14. Put 2, c, -20 in ascending order.
-20, c, 2
Let s = 1428 - 1421.93. Let w = s + -0.07. Let v = w - 3. Put v, -5, 2/11 in descending order.
v, 2/11, -5
Suppose r = -0*r. Let y be (-27)/(-6) - (-3)/6. Let b(i) = -i + 7. Let z be b(y). Put z, r, -4 in descending order.
z, r, -4
Let t(q) = 3*q - 10. Let v be t(4). Sort -18, 0, v.
-18, 0, v
Let o = -0.76 + -0.09. Let m = o - -0.05. Let p = m + 0.5. Put 0.4, 3, p in increasing order.
p, 0.4, 3
Suppose 0 = -x + 4*z + 10, -3*z - 6 = -x - z. Let l = 13 - 10. Put x, l, -4 in descending order.
l, x, -4
Let d = 12 - 26. Let w be (12/d)/((-3)/21). Suppose -3*u = -3 - w. Sort u, 4, -5.
-5, u, 4
Let z be (-5)/20*(-24)/(-21). Put -5, -7, z in descending order.
z, -5, -7
Suppose 0 = -d - 5*m - 10, -7*d - 2*m + 19 = -2*d. Put -2, 0.01, -0.2, d in descending order.
d, 0.01, -0.2, -2
Let f be (-1)/(1*(3 - -6)). Put -0.3, f, -2/21 in decreasing order.
-2/21, f, -0.3
Let d be -2*3/(-2)*1. Suppose 8*t + 5 = d*t. Sort -0.4, t, 1 in decreasing order.
1, -0.4, t
Let c = 4 + -2. Let y = 19.13 + -19. Let v = y + -0.13. Sort -3, v, c in decreasing order.
c, v, -3
Let g = -0.04 - 2.96. Suppose -18 = -2*l - l - 5*w, -2*w = 3*l - 9. Let h = 1/7 - 3/7. Put h, g, l in descending order.
l, h, g
Let r = -0.04 + -1.96. Let g = -2/949 + 1912/6643. Put r, g, -4 in decreasing order.
g, r, -4
Suppose -39 = 3*w - 0. Let u = -13 - w. Sort u, 3, 2 in ascending order.
u, 2, 3
Let x be ((-5)/(-15))/((-7)/(-3849)). Let i(l) = 32*l + 9. Let t be i(-6). Let d = t + x. Sort d, -1, -4 in decreasing order.
d, -1, -4
Let a = 25 - 15. Let k = a - 10.1. Sort 4, -0.5, k.
-0.5, k, 4
Let k = 0.2 + 0.2. Let s be 1/12 - -1*4/16. Sort 5/3, s, k in decreasing order.
5/3, k, s
Let h = -6.29 + 1.29. Sort 4/5, h, -2.
h, -2, 4/5
Let s = 20.5 - 20. Let j = 0.3 - -0.7. Let o = s - j. Put 0, o, -1 in decreasing order.
0, o, -1
Let r be 1*2*4/(-48). Sort -3/2, -4, r in increasing order.
-4, -3/2, r
Let c(p) = p**3 - 2*p**2 - 4*p - 1. Let t be c(3). Suppose 0 = 5*m + 6 - 6. Sort t, m, -3 in descending order.
m, -3, t
Suppose 3*v - 2*v + 3 = 0. Sort v, 10, -1 in decreasing order.
10, -1, v
Suppose -5*y - 32 + 2 = 0. Let k be (2 - 0) + 9/y. Sort 1, k, 2/9 in descending order.
1, k, 2/9
Let n = 14 - 8. Let m = 7 - n. Sort 5, m, 0.3.
0.3, m, 5
Let r = -108 + 104. Sort -6, r, 2 in decreasing order.
2, r, -6
Let n be -7 + (-1 - 0)/(-1). Let r be 36/(-15) - n/15. Sort 3, 7, r in increasing order.
r, 3, 7
Suppose -5*n - 56 = b, -2*n - 4*b = 2*n + 32. Let p be 1 - -1 - n/4. Put -2/3, 2/9, p in decreasing order.
p, 2/9, -2/3
Let i be 8/176*8/2. Put i, 3/16, 1 in ascending order.
i, 3/16, 1
Suppose 168 = -4*v + v. Let o be v/20 + 2 - -1. Sort -0.5, o, -2 in descending order.
o, -0.5, -2
Let i be 13*(4 + 10/(-2)). Let r = 18 + i. Sort 0.5, 2/7, r.
2/7, 0.5, r
Let z(c) = -8*c + 37. Let r be z(5). Put r, -1, -4, 5 in descending order.
5, -1, r, -4
Let j = -0.09 - -0.39. Let a = 0 - j. Let v = 3.01 - 0.01. Put v, a, -4 in descending order.
v, a, -4
Suppose 4 = -0*s + 2*s. Let y(r) = 4*r**3 + r**3 + 3*r - r**3 - 3 - 3*r**3 - 4*r**2. Let a be y(s). Put 5, -4, a in descending order.
5, -4, a
Let o = -1336 + 128257/96. Let k = o - -91/480. Let l = -2 - -4. Put l, k, -0.3 in decreasing order.
l, k, -0.3
Let p = -10 + 2. Let q = 6 + p. Put 3, 2, q in descending order.
3, 2, q
Let r be (-32)/(-5) - 2/5. Suppose j - r = -2*j. Suppose 4*l - 20 = g, -2*l = -g + 2*g - 4. Sort 0, j, g in increasing order.
g, 0, j
Suppose -13 = -7*f + 22. Sort -1, 1, f in ascending order.
-1, 1, f
Let j = -8/5 + 19/15. Put 2/11, -11, j in increasing order.
-11, j, 2/11
Suppose -5*q = 1 + 4. Let n be (1/1)/((-3)/(-27)). Suppose -s + n = 7. Sort s, -4, q in decreasing order.
s, q, -4
Let m = -2 - 0. Let x = -3 - -1. Let u be (-6)/x*3/(-3). Sort 2, u, m in descending order.
2, m, u
Let d = -4.2 + 4.5. Sort 2/3, -7, d in descending order.
2/3, d, -7
Let j = 12 + -7. Sort 1/9, 2/5, j in decreasing order.
j, 2/5, 1/9
Suppose g - 2*v + 9 = 0, 2*g + v + 3*v = 22. Suppose -6*x - 8 = -4*x. Let i be (x/(-20))/(g/2). Put 4, 1, i in decreasing order.
4, 1, i
Let o = 20 + -20.5. Put 0, o, 1 in decreasing order.
1, 0, o
Let p = 30 - 33. Sort -2, p, -19 in increasing order.
-19, p, -2
Suppose -13*y = -9*y + 2*i + 4, y = -4*i - 1. Let o be (-6)/(-9)*(-6)/(-4). Sort o, -5, y in ascending order.
-5, y, o
Let h(z) = -z**3 - 8*z**2 + 9*z - 1. Let q be h(-9). Suppose -4*f = -5*n - 10, -31 = -5*f - 4*n + n. Put -5, q, f in decreasing order.
f, q, -5
Suppose 0 + 5 = 5*z. Suppose 2*a + 2 = -4. Sort z, 2, a in increasing order.
a, z, 2
Let z = -4 + 2. Let y = 15 - 15.4. Sort z, 0.5, y in descending order.
0.5, y, z
Let o = 15 - 12. Put -3/2, 0.4, o in descending order.
o, 0.4, -3/2
Suppose -4*d - 11 = 3*b - 3, 1 = b + 5*d. Sort b, 1, 2.
b, 1, 2
Let g be (-16626)/(-168) - 2/8. Let m = g + -99. Let v = -0.38 + -0.02. Sort m, 1, v in decreasing order.
1, m, v
Let t(o) = o + 2. Let l be t(-4). Let h be -2*3/60*l. Suppose 5*u + 4*j + 2 = 1, 5*j = -3*u - 11. Put 4, u, h in decreasing order.
4, u, h
Let k = 1/521 - 1061/9899. Put -4/5, 2/11, k in descending order.
2/11, k, -4/5
Let u = 10 - 14. Put u, 2, 3 in increasing order.
u, 2, 3
Let o = -172.6 + 172. Put 1, 4, 2/5, o in decreasing order.
4, 1, 2/5, o
Suppose 4*m + 2*v + 6 = 0, -4*m - 3*v + 7*v = 0. Sort m, 1, -16 in decreasing order.
1, m, -16
Let n(f) = -f**2 - 9*f + 5. Let t be n(-9). Sort -2, 2, t in descending order.
t, 2, -2
Let j = 1.9 + -1.4. Put j, -0.1, -2/5 in ascending order.
-2/5, -0.1, j
Let j = -43 + 42.8. Put 1/2, -0.1, 4, j in increasing order.
j, -0.1, 1/2, 4
Let n be (2/12)/((-15)/60). Put -0.2, n, -1/3, 0.2 in ascending order.
n, -1/3, -0.2, 0.2
Suppose -3*a - 6*q + 5*q = -40, -2*q = 3*a - 44. Put a, -5, 2 in decreasing order.
a, 2, -5
Suppose 0*m + 8 = 4*m. Suppose -3*z - 2*z = 5*n + 20, -m*z = 5*n + 20. Put z, 1/3, 1 in descending order.
1, 1/3, z
Let o be 8/(-12)*6/10. Let t(r) = 6*r + 1. Let x be t(-1). Sort -2, o, x in descending order.
o, -2, x
Suppose z - 13 = -3*j, -2*j - 6*z + 4 = -3*z. Sort -4, j, 12 in increasing order.
-4, j, 12
Suppose -24 + 15 = 3*m. Sort 10, m, 0.
m, 0, 10
Suppose -63 = 3*z + 4*z. Sort 0, 4, z in ascending order.
z, 0, 4
Suppose h = 4*h - 3. Sort h, 2, -5 in descending order.
2, h, -5
Suppose -w = -f + 5, 2*w + 9 = -f + 8. Put 4, f, 0 in descending order.
4, f, 0
Suppose -u - 21 = -20. Put 2, 3, u in decreasing order.
3, 2, u
Suppose -3*b = -5*n - 4 + 5, b + 7 = 5*n. Suppose 10*c - 5*c = 155. Suppose a - 1 = -5*l - 21, -5*a - c = 2*l. Sort n, a, -3.
a, -3, n
Suppose -2*p + 44 = -5*p - 4*z, 3*p - 2*z + 32 = 0. Sort -1, 2, p.
p, -1, 2
Let q be ((-10)/5)/(10/25). Let o(v) = v**3 + 6*v**2 - v - 4. Let c be o(-6). Sort -2, q, c.
q, -2, c
Let v = 8 + -5. Sort -13, 5, v in ascending order.
-13, v, 5
Suppose -4*b + 6 = 5*w, 3*b + b = -4*w + 8. Sort 7, -3, b in descending order.
7, b, -3
Let x(f) = -f**2 - 16*f - 3. Let d be x(-16). Let w be (4 + -6)*2/4. Sort 5, d, w in descending order.
5, w, d
Suppose v = 3*v - 6. Suppose v*x = 6 + 9. Suppose -25 = -0*g + x*g. Sort g, 0, -2 in decreasing order.
0, -2, g
Suppose b - 6*b = 0. Let f(r) = r - 3. Let x(y) = 1. Let h(u) = f(u) + 3*x(u). Let k be h(5). Put 1, k, b in decreasing order.
k, 1, b
Let c 