 -1/3, 3/2, u in decreasing order.
3/2, u, -1/3
Let h = 0.7 - 1.7. Let p = -212 + 211.5. Sort 2/11, -3, h, p in decreasing order.
2/11, p, h, -3
Let l(m) = -m + 28. Let b be l(6). Suppose -23*t + b*t + 3 = 0. Let a = -15 - -10. Sort t, a, 1.
a, 1, t
Suppose -4*r = -34 - 50. Suppose 16 = -4*p, -2*t - 17 = -3*p + 13. Let s = t + r. Sort s, 4, -4 in increasing order.
-4, s, 4
Suppose 0 = 50*k + 33 + 117. Put -9, 13, -5, k in descending order.
13, k, -5, -9
Let j = -4 - -3. Let y(m) = 4*m - 1. Let x be y(1). Suppose -4*u = -5*f - x*u + 10, 0 = f - 5*u + 22. Sort -3, f, j.
-3, j, f
Suppose 0 = -w + 1 + 1. Let i = 1 + 2. Let f(n) = 2*n**2 - 3*n - 4. Let l be f(i). Sort 0, w, l in decreasing order.
l, w, 0
Suppose -2*z + 12*b - 8*b - 6 = 0, 5*b = 5*z + 5. Sort -2, z, 3 in descending order.
3, z, -2
Let z = -229/948 - 2/237. Sort -4/5, 9, z.
-4/5, z, 9
Let d = 221 - 225. Sort 1, 5, d, 0.4 in increasing order.
d, 0.4, 1, 5
Let d(a) = a**2 + 4*a + 3. Let l be d(-3). Suppose 0 = 3*s + 1 - 7, 4*y + 4*s = l. Let f be (11 - (-432)/(-40))*-15. Sort f, y, 0.
f, y, 0
Suppose -583 = 74*p - 21*p. Put -2, p, 2, 6 in descending order.
6, 2, -2, p
Let i be 8*(5/(-2))/(-5). Suppose -2*u = 2*l + 5 - 7, -l = 4*u - 16. Suppose 0 = -i*r + 3 + u. Sort r, -5, -2 in decreasing order.
r, -2, -5
Let y = 18 + 1. Let m = 18.5 - y. Let c = 1.2 - 1. Put c, m, 2 in descending order.
2, c, m
Let c = 1104 - 1102. Put c, -42, 1, -3 in descending order.
c, 1, -3, -42
Let f be 2 - -6*(-1)/(-2). Let s(w) = -4*w**2 + 23*w + 5. Let p be s(7). Let z be f/p*(-4)/7. Sort 0.4, -8, z in ascending order.
-8, z, 0.4
Let s(n) = -n - 16. Let f be s(-18). Suppose z - 2*a = -2, 2*z = -f*a - 10 - 12. Put 4, z, -2, 5 in ascending order.
z, -2, 4, 5
Let x be (-2)/((-3)/3) + 1. Suppose -5*t - 5*w + 45 = 0, 0*w - 15 = -3*w. Put -1, t, x in descending order.
t, x, -1
Let j = -6.44 - -11.44. Let w be 0 - 0 - 1/5. Put -2, w, j, 6 in decreasing order.
6, j, w, -2
Let j = -33 - -9. Let b = j + 26. Suppose 5*c - 57 = 4*w, 0*w - 30 = -3*c + w. Sort b, c, 3 in ascending order.
b, 3, c
Suppose -3*c + 25 = c - o, 5 = -5*o. Let d = 39 - 27. Let g = -14 + d. Sort c, g, 5 in ascending order.
g, 5, c
Let s be (-9)/(-3)*8/6. Let h = 22.56 + -22.46. Sort -3, s, 2/7, h in ascending order.
-3, h, 2/7, s
Let r = 37 + -29.5. Let j = r + -7.1. Let q be ((-2)/(-4)*-2)/(-1). Put 0.3, j, q in decreasing order.
q, j, 0.3
Let a be (1287/10)/13 + (-2)/(-20). Sort 5, 1, 2, a in descending order.
a, 5, 2, 1
Let s = -395 + 400. Sort -1, 0.4, 44, s.
-1, 0.4, s, 44
Let c = -28 + 28. Put -5, -2/3, -1, c in descending order.
c, -2/3, -1, -5
Let v = 601/7 - 86. Let p = -129/110 + 17/22. Sort 8/7, v, p in increasing order.
p, v, 8/7
Let u = 0.1 - -95.9. Let h = 95.5 - u. Let q be 28/72 + 2/(-4). Sort h, 2/5, q in descending order.
2/5, q, h
Let l be 1474/66 + (-1)/3. Suppose l = 2*a - 0*a. Sort a, -3, 4 in descending order.
a, 4, -3
Let m = 357 + -353. Sort m, -0.4, -0.8, 2.
-0.8, -0.4, 2, m
Let u be (17 - 10) + (-29)/4. Put 123, -3, u, -4 in decreasing order.
123, u, -3, -4
Let m be (55/(-20) - -4)*(-24)/(-20). Put 0.5, 8/3, 2, m in ascending order.
0.5, m, 2, 8/3
Suppose 8 = 13*y - 9*y. Sort y, 3, 227 in decreasing order.
227, 3, y
Suppose 2*l + 16 = 4*l + 2*v, -2*v = -4. Suppose 3*f = 3*h - 4*h - 8, -f - h - 4 = 0. Let y be f/(-4 - -5) + l. Sort y, 0.4, -0.4.
-0.4, 0.4, y
Let u = -36.445 + -0.455. Let h = 37 + u. Put -4, 2/3, h, -0.3 in decreasing order.
2/3, h, -0.3, -4
Let t = -334 + 331. Sort t, 8, 4.
t, 4, 8
Suppose -3*b + 8 = -f - 55, 0 = -3*b - 3*f + 51. Suppose 1 = h + 5*o, -4*o + b = -2*h - 3*o. Put 5, 2, h in descending order.
5, 2, h
Let m = 215 + -228.34. Let i = m - -1.33. Let n = 12 + i. Sort n, -2/15, 2/13 in increasing order.
-2/15, n, 2/13
Let f(v) = -9*v + 34. Let x be f(4). Suppose 2 = -5*s - 18. Sort 3, s, 2, x in ascending order.
s, x, 2, 3
Suppose 4*u + 2*m - 44 = 0, -5*m - 33 = -3*u - m. Let p(f) = -f**3 + 12*f**2 - 11*f - 5. Let b be p(u). Sort b, 2, -2 in descending order.
2, -2, b
Let o = -754 - -754.2. Suppose j - 4 = -2*k - j, -3*j - 12 = -3*k. Suppose k*f = -2 - 1. Sort f, -4, o.
-4, f, o
Let y be (-9)/(81/63) - -14. Put -3, -1, y, 12 in decreasing order.
12, y, -1, -3
Let c(y) = -27*y + 188. Let z be c(7). Suppose -6*j + 11*j = -5*w + 45, 0 = 5*j - 2*w - 59. Sort 1, -4, z, j in ascending order.
-4, z, 1, j
Let l = -35 + 50.8. Let c = l + 0.2. Let n = -18 + c. Sort n, 4, 7.
n, 4, 7
Let f = 163 - 163.4. Sort 0.03, f, -0.2 in decreasing order.
0.03, -0.2, f
Let w be 756/15 - (-4)/(-10). Let t = 45 - w. Suppose -3*z - 1 = -4*z. Put t, z, 5 in decreasing order.
5, z, t
Let a = 5 - 5. Let s(k) = 2*k**2 + 5*k + 4. Let o be s(-2). Sort o, -2, a in descending order.
o, a, -2
Suppose 45 = 3*u - 9. Suppose -2*l + l + 2*z + 3 = 0, 3*l = -3*z + u. Suppose -l*q - 5 = 5. Sort 0, q, 2.
q, 0, 2
Let m = -46 - -41. Sort 2, m, 0.87 in decreasing order.
2, 0.87, m
Suppose -3*k = -11 - 1. Let u = 4/77 - -288/385. Let w = 17.3 - 17.4. Sort u, w, k in descending order.
k, u, w
Let w = 2.9 + -14.9. Let u = 14 + -24. Let b = u - w. Sort 4/7, b, -5 in ascending order.
-5, 4/7, b
Let w(q) = q. Let a be w(1). Let u = -55 + 89. Let x = -34.1 + u. Put x, 6, a in descending order.
6, a, x
Let o be ((-6)/(-4))/(5/40). Suppose -5*w + o = 2. Let n be 3*(-3)/9*2. Put 1, w, n in descending order.
w, 1, n
Let u be 2/6 - 1 - (-158)/237. Suppose -s + 8*h + 17 = 4*h, u = -h - 4. Put 7, 4, s in ascending order.
s, 4, 7
Let x(a) = -a + 19. Let r be x(12). Suppose 2*m - 4*u - 6 = 0, -3*m = 13*u - 15*u + 7. Sort m, 1, r.
m, 1, r
Suppose 3 = h + 4*b - 0, -5 = 2*h - 3*b. Let i be (10/(-20))/(h/(-6)). Let g be 28/6*(-18)/(-21). Sort i, 5, g in ascending order.
i, g, 5
Suppose 11 = -z - 4*o, -30*z - 3*o = -26*z + 31. Sort 7, 2, z in descending order.
7, 2, z
Let w = -8 - -13. Suppose 5*l = -9 - 1. Let y = -92.7 - -93. Sort l, y, w in increasing order.
l, y, w
Let p = 0.51 - 0.01. Let z = 15.2 + -15. Let k = p - z. Sort 2/7, k, -1/2 in ascending order.
-1/2, 2/7, k
Let a = 105 + -102. Put 69, a, -1 in increasing order.
-1, a, 69
Let j = -0.2259 - 0.0741. Put j, 1, -4, -6 in descending order.
1, j, -4, -6
Suppose -9 = 3*q, 2*q - 4*q = 3*k - 3. Let p = 20 - 21. Let w = 0.075 - 0.475. Put p, w, k in descending order.
k, w, p
Let b = 542.2 + -542. Let h be 6/(-39) - (-5)/(-52). Sort h, 12, b, -3 in descending order.
12, b, h, -3
Let f = 33.97 + 0.53. Let y = f + -35. Let m = -0.3 + 0.6. Sort y, m, -3/5 in decreasing order.
m, y, -3/5
Let i = 24 - 25. Let r = -3.06 + 0.06. Let k be (-2)/3*(-1)/6. Sort k, r, i in descending order.
k, i, r
Let m = 4.11 - 0.11. Let h = -82 - -53. Let w = 29.3 + h. Sort w, -2/13, m in ascending order.
-2/13, w, m
Let r = 0 + 0.1. Let n = 231683 - 4169135/18. Let u = n - 127/2. Sort r, u, 2 in decreasing order.
2, u, r
Suppose 5*a + 13 = 3*t, -6*a + 3*t - 11 = -2*a. Let m = -0.633 - -0.59. Let j = -5.043 - m. Sort a, j, 9 in descending order.
9, a, j
Let o = 452 + -447. Sort o, 16, 2 in ascending order.
2, o, 16
Let a(c) = -c**3 - c**2 + 3*c + 3. Let h be a(-3). Suppose -3*o + h + 13 = -f, o - f = 5. Suppose i + 4*i = o. Sort 1, i, -5.
-5, 1, i
Let c = -120 - -116. Let h = -38 - -29. Sort c, h, -1.
h, c, -1
Let f = -3.8 - -5.2. Let g = -11.4 + f. Sort g, 3, 0.4 in descending order.
3, 0.4, g
Let m = -44 + 47. Suppose 0 = m*t + 21 - 12. Let a be (-8)/(-10)*5*-1. Sort a, t, 4 in decreasing order.
4, t, a
Let c be (-6)/(-21) - (-5)/7. Sort 16, c, -1 in increasing order.
-1, c, 16
Let n = -23 - 81. Let k = n + 104. Sort 0.01, k, 0.2, 1/9.
k, 0.01, 1/9, 0.2
Let x = -639 + 644. Sort -2, x, 0 in ascending order.
-2, 0, x
Let d = -587 + 587. Put d, 0.5, 1, 2 in decreasing order.
2, 1, 0.5, d
Suppose -2*w = j + 1 + 4, 2*j + 1 = -w. Let h = -164 + 159. Sort 2, h, w in increasing order.
h, w, 2
Let o be 2/(-5) - 1909/415. Put -2, o, 370 in increasing order.
o, -2, 370
Suppose -2*z + 11 = 5*d + 3, -4*d + 16 = 4*z. Let o be 2*(-3)/(1 + -4). Suppose 0 = o*q + 4*c + 10, 5*c = -2*q + 2*c - 5. Sort q, -1, d in decreasing order.
q, d, -1
Suppose -13*s - 6*s - 57 = 0. Sort s, 7, 4 in decreasing order.
7, 4, s
Let i = -13 - -40/3. Let y = -4 + -10. Let g = y + 17. Sort 4, g, i in ascending order.
i, g, 4
Let k = 1829.044 - 1829. Sort k, -0.05, -2/