*r = -30. Let i be (w - h)*(2 + -1). Sort 1, -3, i in descending order.
1, -3, i
Suppose 0 = -4*f + f - 2*n - 16, f + 4*n + 12 = 0. Suppose -5*d - 5 = 3*z, 5*z + 5*d - 3 = 2. Let m be (-23)/z + 4/(-10). Sort m, f, 5.
m, f, 5
Let b = -1298 + 9088/7. Put b, -10, -3 in decreasing order.
b, -3, -10
Let b(k) = -k. Let z be b(4). Let m be (-8)/((z/(-2))/(-1)). Let q be (((-120)/(-18))/10)/(4/(-6)). Sort m, q, -4.
-4, q, m
Let n(o) = -72*o - 358. Let z be n(-5). Sort z, -5, 56.
-5, z, 56
Suppose 61*z - 1154 = 249. Sort -0.3, 6, z in decreasing order.
z, 6, -0.3
Suppose -2*h + 6 = 0, -2*q = -0*q - 5*h + 11. Sort 1, 24, q, -2 in increasing order.
-2, 1, q, 24
Let z be 2 - ((-20)/(-9) + 0). Let x = -958/63 - -142/9. Let r = -10 + 81/8. Put r, x, z in increasing order.
z, r, x
Let n = 0.8 + -1.8. Let g = -0.1861 - 0.1139. Sort 3, 4, n, g.
n, g, 3, 4
Let z be ((-4)/(-5))/(4/30). Suppose 0 = z*g - g. Let b = -25.96 - -16.96. Sort -4/9, g, b in ascending order.
b, -4/9, g
Let z = -44 + 131/3. Let u = 3/20 + 31/60. Sort z, 6, u, 0.5.
z, 0.5, u, 6
Let f be (-2)/6*(54 + -45). Put 5, f, 15 in increasing order.
f, 5, 15
Let n = 46/33 - 8/11. Sort 5, n, -4/23 in decreasing order.
5, n, -4/23
Let t be 6/16*8*(-4 + (11 - 6)). Suppose 4*u = 8, 4*i - 2*u - 6 + 2 = 0. Put t, 0.07, i, 0.5 in descending order.
t, i, 0.5, 0.07
Let f be (0 - -4) + 0 + 30. Sort f, -1, 0 in descending order.
f, 0, -1
Suppose 4*j - 4*a - 468 = 0, j = -2*j - a + 331. Let s = j + -112. Put s, 2, -7, 1 in ascending order.
-7, s, 1, 2
Let s = 15374 + -15376. Let h = 310/3 + -102. Sort -7/2, -2/7, s, h in increasing order.
-7/2, s, -2/7, h
Let u = 5 + 0. Let t(m) = m - 9. Let x be t(u). Suppose 3*d - 14 = 10*d. Put -1, x, d in descending order.
-1, d, x
Let j = -2 + 6. Let r be 3*12/(-9)*(-408)/96. Put -5, r, j in descending order.
r, j, -5
Suppose 0 = -2*v - 0 + 6. Suppose -5 = -v*i + 4. Sort -3, i, -11 in descending order.
i, -3, -11
Suppose -1 = 6*a + 29. Sort 2, 71, a in decreasing order.
71, 2, a
Let x be (((-64)/(-56))/8)/(2/(-7)). Put 2, 1/14, x, -1 in ascending order.
-1, x, 1/14, 2
Let q = -0.31 + -2.09. Let s = 1.6 - q. Let x be 10/4*4/40. Sort 2/5, x, s in ascending order.
x, 2/5, s
Let s = 56 - 39. Let b = s + -22. Let o = -4 - -3. Sort 3/2, o, b in increasing order.
b, o, 3/2
Suppose 0 = 3*n - r - r + 2, -4*r = -3*n + 2. Suppose -5*i + 6 = -9. Let d = 0 + i. Put d, n, 4 in ascending order.
n, d, 4
Let b = -26.6 + 23.2. Let i = 0.17 - -2.23. Let r = i + b. Put -2/11, 0.2, r in decreasing order.
0.2, -2/11, r
Let p = -9/14 + 1/7. Let h = -0.35 - -4.85. Let o = h + -2.5. Sort p, 0.5, o in ascending order.
p, 0.5, o
Suppose 0 = u - 4*r - 23, 3*r = u - 6*u. Let l = 8.1 + -8.2. Sort u, l, 2/19.
l, 2/19, u
Let u = 0.763 - 0.763. Sort -0.082, 2/17, u.
-0.082, u, 2/17
Let z(h) = 2*h**2 - 13*h + 7. Let a be z(6). Suppose 9 = 2*b + q, 0 = b - 2*q + a + 2. Let i = 4 - 3. Put -1, i, b in descending order.
b, i, -1
Suppose 0 = 5*h - 7*h + 8. Let m be (h/6)/2*3. Let v be m + -1 + (-14)/(-70). Sort -3/8, 0.1, v in increasing order.
-3/8, 0.1, v
Let q = 15/232 + -11/58. Sort 1.4, -2, 3/5, q.
-2, q, 3/5, 1.4
Let z = -962 + 978. Put 1.7, 0, z, -5 in decreasing order.
z, 1.7, 0, -5
Let t = -19 + 55. Let m = -20 + t. Let o = m - 15.5. Sort -1/5, o, -0.5.
-0.5, -1/5, o
Let l(t) = 3*t**2 + 14*t + 2. Let d(g) = -2*g**2 - 9*g - 1. Let p(x) = 8*d(x) + 5*l(x). Let v be p(-2). Sort 0.07, -3, v in decreasing order.
v, 0.07, -3
Let n = -11 - -13.1. Let i = n + -2. Let m = -11529 - -11526. Put i, m, 2 in descending order.
2, i, m
Let d be ((-4)/(-14))/(2*(-8)/(-560)). Suppose d*s = 48 - 8. Sort -2, 5/3, s, 5 in descending order.
5, s, 5/3, -2
Let l = -2333 + 2328. Suppose -3*g + 2*g = -5. Put 2, g, 4, l in increasing order.
l, 2, 4, g
Let y = 892 + -891. Sort 0.3, -13, y.
-13, 0.3, y
Let d be 45/(-35) + 744/(-434). Suppose -7*n = -4*n + 21. Let i(q) = q**3 + 8*q**2 + 7*q - 1. Let p be i(n). Put d, p, 1 in increasing order.
d, p, 1
Let n = 303.8 + -304. Sort -9, n, 7 in decreasing order.
7, n, -9
Let z = 13 + -18. Let m(h) = -h**2 - 4*h - 1. Let y be m(-4). Let u be (-2 - y) + 10/14. Put z, -0.1, u in ascending order.
z, u, -0.1
Let l(p) = -p**3 + 3*p**2 - 24*p + 43. Let t be l(2). Sort -5, t, -3, 4 in decreasing order.
4, t, -3, -5
Let f = -1549.7 + 1550. Sort -1/4, f, 0.2, -2.
-2, -1/4, 0.2, f
Let m = 0.1 + -0.1. Let h = 22.6 - 21. Let s = -1.7 + h. Sort s, m, -2 in descending order.
m, s, -2
Let i = -1.7 - -0.7. Let u be 1 + (1008/(-35) - 2/10). Let c = -25 - u. Sort 5, i, c in decreasing order.
5, c, i
Let h be (-657)/(-39) - ((-48)/(-26) - 2). Suppose -3*c + 1 = -2*x, -6*c + 2*c = 5*x - 9. Sort -1, -4, c, h.
-4, -1, c, h
Let t(p) = -p + 8 + 6 - 18. Let w be t(-1). Put 4, w, 1 in descending order.
4, 1, w
Let q = -2 + 2.2. Let n(d) = d**2 - d + 3. Let a be n(0). Suppose -15*j + 4017 = 4047. Put q, j, a in decreasing order.
a, q, j
Let n = -11 + 10.71. Let r = -0.29 - n. Let d = -2 + 2.1. Sort -2, r, d in decreasing order.
d, r, -2
Let q be (105/(-6))/(-7)*-2. Let p = -226 + 224. Sort p, -3/4, q, -1 in decreasing order.
-3/4, -1, p, q
Let c = 3 - 1. Let y = c - 3. Suppose -40 = 572*f - 562*f - 10. Put 5, y, f in decreasing order.
5, y, f
Let b = 1551 + -1552.1. Sort 4, 1/3, 1, b in descending order.
4, 1, 1/3, b
Let s = 13 + -13.03. Let y = s + -2.97. Let r = 63 - 316/5. Sort y, -4, r in decreasing order.
r, y, -4
Let f = -1 + -23. Let k = 20 + f. Let x = 125/174 - 3/58. Sort k, x, -5.
-5, k, x
Let h = -612 + 611. Put 24/11, h, 2/15, 1 in decreasing order.
24/11, 1, 2/15, h
Let a(b) = -2*b**2 - 3*b + 3. Let m be a(0). Sort 4, 27, m in decreasing order.
27, 4, m
Suppose -2*v - 8 = 0, -2*p + 0*v = -2*v + 24. Put 4, 5, p in decreasing order.
5, 4, p
Let i = -0.07 + 3.07. Let v = 25 - 23. Sort -4/5, i, v in increasing order.
-4/5, v, i
Suppose 1 = 5*i - 4. Suppose -5*g = -7*g + 10. Let z = -90 - -86. Put g, i, z in decreasing order.
g, i, z
Let u(r) = -r**2 + 14*r + 14. Let q be u(15). Let h = 13 - 8. Put q, h, 1 in decreasing order.
h, 1, q
Let l = 22 - 194/9. Suppose 0 = 5*m - 5*z + 590, 2*m + 146 = 5*z - 105. Let k = 115 + m. Put k, 0.1, l in increasing order.
0.1, l, k
Suppose -g = 3*p - 8, 2*g - 8 - 8 = -5*p. Suppose 3*t - 5*m + 6*m = -6, -4*m = -4*t - g. Sort -1, -4, t, -13 in increasing order.
-13, -4, t, -1
Let v = -0.26 - -0.06. Let k = -7.17 - -7.17. Sort -1, k, v.
-1, v, k
Suppose 0 = -14*f + 98 - 28. Put 114, f, 3 in increasing order.
3, f, 114
Suppose 0 = w - 3*z - 38, 0*z - 3*z + 20 = w. Suppose m + w = 34. Sort m, -0.3, -19.
-19, -0.3, m
Let l = -0.5 + -2.5. Let n be (((-3774)/119)/(-37))/(51/7). Sort 5, 0.5, n, l in descending order.
5, 0.5, n, l
Let t(g) = -22 + 3*g + g - 20*g**2 - 5*g + 3*g**2 - g**3. Let w be t(-17). Put w, 1, -1 in descending order.
1, -1, w
Let d = 237 + -3557/15. Put d, 4/7, 7, 4 in decreasing order.
7, 4, 4/7, d
Suppose 2*s + 0*s + 4 = 0. Let r be ((-2)/(s - 26))/((-1)/4). Suppose 5*i = -k - 16, 4*k - 13 = 5*i - 2. Put i, 2, r in ascending order.
i, r, 2
Let t = -148/3 - -50. Let s = 28.9 - 32.9. Sort 12, t, s.
s, t, 12
Let k(d) = 57*d - 109. Let w be k(2). Put w, 3, -4, -16 in ascending order.
-16, -4, 3, w
Let a = -26477/25 + 1059. Put 3, -3, a, -2 in increasing order.
-3, -2, a, 3
Let t = -0.678 - -2.678. Put -2/5, -11.9, t in ascending order.
-11.9, -2/5, t
Let y = -101.5 - -101.2. Sort y, 60, 0.5 in decreasing order.
60, 0.5, y
Suppose -4*f = -k + 4, -2*k - 5*f = -0*f - 8. Suppose -14 - 8 = 22*t. Put k, t, 1 in decreasing order.
k, 1, t
Suppose 10*o = 15*o + 25. Put o, -1, 0.98 in decreasing order.
0.98, -1, o
Let u = 7 - 11. Let j(o) = o**2 - 3*o - 13. Let i be j(6). Let n be (i/(-55))/(2/4). Put u, n, -2 in descending order.
n, -2, u
Suppose 0 = -a - 5*s - 13 + 5, a + 3*s + 6 = 0. Let v = -4 + 0. Suppose -2*f = -0 + 4. Sort f, a, v in ascending order.
v, a, f
Suppose -a - 20 = -g, -5*g + 2*g + 5*a = -66. Let b(s) = -s**3 + 39*s**2 - 39*s + 43. Let n be b(38). Suppose n = 3*o + g. Sort o, -1, 3.
o, -1, 3
Let v(j) = 4*j**2 + 109*j + 22. Let l be v(-27). Sort 2/3, 3, l, -2 in descending order.
3, 2/3, -2, l
Let a = 0.326 - 0.026. Let h = 2.2 + -3.3. Let l = h + 0.6. Sort -2, a, l in decreasing order.
a, l, -2
Let f = 241 - 241. Let w = 11 - 8. Let r be (-1)/2 + w/(-2)