1 = 5*h - k - 8, 4*h - 5*k = 3. Put -3, -1, h in increasing order.
-3, -1, h
Let r(b) = 7*b - 17. Let x be r(9). Let i = 42 - x. Sort -5, 15, i in descending order.
15, i, -5
Let w = 0.992 + -0.992. Put 2, w, 0.17 in increasing order.
w, 0.17, 2
Let i(n) = -n**3 + 5*n**2 + 4. Let c be i(5). Suppose 5*k - 20 = -c*x, -6 = 4*k + 2*x - 22. Put 0, -1, k in ascending order.
-1, 0, k
Let w = 104 - 103.5. Sort w, 5, -0.13, -0.5.
-0.5, -0.13, w, 5
Let m be ((-4)/12)/((-2)/6). Let c(w) = -w**3 - 56*w**2 + 54*w - 168. Let x be c(-57). Suppose 3*r = -0*r - 18. Sort m, x, r in decreasing order.
x, m, r
Let n = 1127 - 1124. Put n, 47, 2 in ascending order.
2, n, 47
Suppose 4*b + 2 = 2*t, -b - 1 = -4*b - t. Let j(v) = v**2 - 16*v + 10. Let l be j(15). Sort b, 1, l, -3 in descending order.
1, b, -3, l
Suppose -3*g - 18 = 5*b + 5, 5*g + 3*b + 17 = 0. Sort g, 0, 4, 3 in decreasing order.
4, 3, 0, g
Let q = 1/25 + -28/75. Let m = -231 + 226. Sort 2, -2, q, m in descending order.
2, q, -2, m
Let s = 764/2625 + -2/375. Let f = 31/4 + -233/28. Sort s, f, -3, -1/3.
-3, f, -1/3, s
Let u(x) = 8*x + 283. Let n be u(-32). Put n, 5, 0 in decreasing order.
n, 5, 0
Let z(c) = c**2 + 14*c - 4. Let g be z(-14). Let b = -35 + 34. Sort 4, g, b in descending order.
4, b, g
Suppose 2*r - 3*r = 19. Let t = r + 5. Let b be (-4)/(-14) + (-38)/t. Put -6, b, -2 in descending order.
b, -2, -6
Let y(a) = -7*a - 145. Let r be y(-16). Put r, -5, -3 in descending order.
-3, -5, r
Let u = 0.1 - 0.1. Let x = -5.0124 + 0.0124. Put 0.1, u, x, -3/8 in descending order.
0.1, u, -3/8, x
Let f(q) = -q**3 - 4*q**2 + 14*q + 7. Let h be f(-6). Suppose -5*k = -5*t + 10, 4*t = -3*k + t - 12. Sort 0, 1, k, h in descending order.
1, 0, k, h
Let o be (29 + -30)/(6/(-9)). Sort 0.5, 2/9, o in decreasing order.
o, 0.5, 2/9
Let b be -5*49/(-35) - -108. Sort -0.2, 0.3, b.
-0.2, 0.3, b
Let t = -0.3 + 0.1. Let f = t + -0.8. Let n = -8351 + 33403/4. Sort 2, n, f in ascending order.
f, n, 2
Let t be (-126)/(-36)*(3 - 1). Suppose 2*a + 4*b = 5*b + t, 2*a - 22 = 4*b. Sort a, 0.2, -1, -0.4 in decreasing order.
a, 0.2, -0.4, -1
Let w = 65.1 - 66. Let i = 0.04 - -1.06. Let s = i - w. Put s, -4, 4 in descending order.
4, s, -4
Let c be (-1 - 0)/(1/(-1)). Suppose 2*p = -3 - 7. Put c, p, 0 in decreasing order.
c, 0, p
Suppose -116 = 5*q + 59. Let p = 39 + q. Suppose 5*m - 3*n = 6, m + 2*m = 4*n - 3. Sort 0, m, p.
0, m, p
Suppose -11 - 177 = 4*k. Let m = 83 + k. Let w be 2/4*m/(-63). Put 4, -0.4, w in ascending order.
-0.4, w, 4
Let n(p) = p**3 - 8*p**2 + 13*p - 2. Let b be n(6). Suppose -4*r + 4 = b. Put r, 29, 2 in increasing order.
r, 2, 29
Let t = -32 - -37.2. Let f = -5 + t. Let d = 0.1 + 0. Sort 1, f, d in decreasing order.
1, f, d
Let v = 0 - 0.5. Let p = -25.3 + 25. Let u be (2/10)/((-2)/(-4)). Sort p, u, v in ascending order.
v, p, u
Suppose -3*o - 46 = -m, 3*m = o + 2*o + 48. Let d be 18/(-15)*o/2. Suppose 0 = -x + d - 6. Sort 4, x, 5 in increasing order.
x, 4, 5
Let j(f) = -f + 13. Let b be j(-14). Let y = b - 26. Let i be (-1 + 6)*(-1)/1. Put i, y, 5 in ascending order.
i, y, 5
Let w be (15/(-6))/(-5)*-1. Let l = 329 + -1315/4. Sort l, 4, w, -1 in increasing order.
-1, w, l, 4
Let k(l) = l**2 - 3. Let q be k(3). Suppose -q = -o - 3. Let u = o - 8. Sort u, -2, 3 in descending order.
3, -2, u
Suppose 5*m - 59 = 4*b, -3*m + b = -0*m - 41. Suppose -5*n + 2*t - 1 = 3, -5*t - m = 0. Let z = 0.8 - 0.3. Put 5, z, n in descending order.
5, z, n
Suppose 3802 + 1236 = 11*d. Put -5, 4, 3, d in decreasing order.
d, 4, 3, -5
Let d = -14.119 + 0.119. Put -5, 2, d in descending order.
2, -5, d
Let y = -1115 + 1114. Let v be (27/(-15) + 2)*2. Put v, y, -4, 3/2 in increasing order.
-4, y, v, 3/2
Let a be (-3)/(-1) - (3 - 4). Suppose 3*l = 0, 3*l + 32 = 3*t - 7. Let j = -13 + t. Sort a, -12, j in decreasing order.
a, j, -12
Suppose 0 = -4*o - 3*a - 4 + 13, 2*o = -4*a + 12. Let g be (9/6)/(1/(-8)). Sort g, o, -1 in decreasing order.
o, -1, g
Let w = -657/7 + 94. Let h = -29 + 33.5. Let l = -7.5 + h. Sort 3, w, l in descending order.
3, w, l
Let g = -78 - -109. Let v = g - 46. Let x be (-3)/12 + v/(-12). Sort x, 2, -3.
-3, x, 2
Let u = -717 - -712. Sort -114, u, -0.3, 2 in decreasing order.
2, -0.3, u, -114
Let h be (-2)/(-7) + 52/14. Let s be 260/(-30) - 10/(-5). Sort s, -5, h in descending order.
h, -5, s
Suppose -7 = -7*m - 0. Sort m, -2, 0, -4 in decreasing order.
m, 0, -2, -4
Let o = 0.132 - 0.252. Sort -3, -0.2, o in decreasing order.
o, -0.2, -3
Suppose 4*t + 1 + 3 = 0. Let r(n) = n**2 - 12*n + 20. Let p(x) = -x**3 + 7*x**2 + 11*x - 14. Let g be p(8). Let s be r(g). Put s, -4, t in ascending order.
-4, t, s
Let u = 73 + -70.93. Let w = u - 0.07. Put 1, w, -2/11 in descending order.
w, 1, -2/11
Let i = -562 - -8995/16. Sort i, -2, 1 in decreasing order.
1, i, -2
Let v(o) = -o**2 - 17*o - 7. Let u be v(-16). Let g(y) = -4 + y**3 - 8*y**2 - 8*y**2 + 6*y**2 + 10*y. Let s be g(u). Sort 0, 1, s in decreasing order.
s, 1, 0
Let q = 60 + -36. Let g = q - 23. Sort -3/5, -3/4, -7, g.
-7, -3/4, -3/5, g
Let q = -0.167 - -0.027. Let v = q - 4.86. Sort v, 3, -0.2, -1.
v, -1, -0.2, 3
Let l = -715/1652 + 1/236. Let s = 12 - 12.2. Put s, l, -2 in decreasing order.
s, l, -2
Suppose -2450*d + 6 = -2447*d. Put d, -2, -11, -4 in decreasing order.
d, -2, -4, -11
Let z be (-238)/22 + 6/(-33). Suppose -5*b = -5*d - 15, -b + 15 = 2*d + 24. Put -3, b, z in decreasing order.
b, -3, z
Let v be (10/(-16))/(130/(-52)). Put -0.08, 3/5, v in decreasing order.
3/5, v, -0.08
Let t(n) = 3*n**2 - 3*n - 2. Let z be t(-2). Suppose z = -21*k + 25*k. Put k, 5, -4 in increasing order.
-4, k, 5
Suppose c + 3*a - 3 = 0, 4*c - 29*a + 27*a + 16 = 0. Put 3, c, 39 in increasing order.
c, 3, 39
Let q = -155 - -152. Sort -2, 64, q.
q, -2, 64
Let o = -2 + 1. Suppose -f + 1 = -0*r + 5*r, -2*r - f = 2. Put -5, r, o in descending order.
r, o, -5
Let t = -7.6 + 8. Let i = -0.6 - t. Let q = -7 + 6.9. Sort 4, q, i in increasing order.
i, q, 4
Let s = 31 + -36. Let w = -2.3 + 4.3. Sort s, -2, -2/11, w in ascending order.
s, -2, -2/11, w
Suppose 2 + 2 = j. Suppose 3*s = -2*c - 0*s + 3, 0 = j*c + 3*s - 3. Put -3, -5, c in ascending order.
-5, -3, c
Suppose 0 = 2*f + c + 4*c - 1, 0 = -3*f + 2*c - 27. Let l = 59 + -47. Let i(p) = 2*p - 26. Let x be i(l). Put 1, f, x in decreasing order.
1, x, f
Let c be (-6)/(-33) - (-93)/33. Put 5, -1, c, -2 in decreasing order.
5, c, -1, -2
Let u = 4.2 + -0.2. Put 2/5, u, -5, -2/9 in decreasing order.
u, 2/5, -2/9, -5
Let z be -1 - -2 - (-6)/(-4). Let d(w) = -w**2 + 933*w + 9451. Let i be d(-10). Put z, 3, i in ascending order.
z, 3, i
Let i = -704 + 711. Let j = -12 - -12.1. Sort j, 4, -4, i in decreasing order.
i, 4, j, -4
Let c = 2.09 + -1.59. Let f be 75/6 - (-1)/2. Suppose 0 = 2*v + s - f, -s = -2*v + s + 4. Sort v, c, 2 in increasing order.
c, 2, v
Suppose -391 = 3*z + 32. Let b = -140 - z. Suppose -4*r - 1 = 3. Sort b, -5, r.
-5, r, b
Let q be 5/(-4)*12/3. Let p = 6915.071 + -6910. Let i = p + -0.071. Put q, i, 3 in increasing order.
q, 3, i
Let l = 46 + -42. Suppose -3*b - 3*v = v + 3, -b + l*v = 1. Sort 4, b, 1, 3 in descending order.
4, 3, 1, b
Let h be (-1 - 0)*(7 + -15)/(-24). Put h, 0.3, -1, 4/15 in increasing order.
-1, h, 4/15, 0.3
Suppose -3*d = -6*d. Suppose 0 = 2*x + 1 - 5. Suppose -24 = 5*f - 39. Put f, x, d in decreasing order.
f, x, d
Suppose -o - 27 = -4*y + 25, -5*o = -2*y + 44. Let z be 1/6 + 298/y. Suppose 3*a + z = 8*a. Sort a, 0, 1 in decreasing order.
a, 1, 0
Suppose 2*u + c = 5, -4*u + 5*c + 1 = -2. Suppose o = u, 4*x = 4*o + 5 + 11. Sort 4/5, x, 0.2 in decreasing order.
x, 4/5, 0.2
Let n = 2164 + -19528/9. Let t = 554/99 + n. Sort -2.3, t, 2/5 in decreasing order.
2/5, t, -2.3
Let f = -311 + 307. Put 3, f, -18 in increasing order.
-18, f, 3
Let x = -4.02 - -4.12. Put -1/4, x, -2, 7 in descending order.
7, x, -1/4, -2
Let n(w) = -4*w - 2. Let i(m) = -5*m - 2. Let x(z) = 3*i(z) - 4*n(z). Let y be x(-5). Suppose 10 = l + 4*j - 2, -18 = -2*l - 5*j. Sort l, y, 1.
y, 1, l
Let b be 60/(-90)*2/((-2)/3). Sort b, -16, 5.
-16, b, 5
Let v = 670 + -670.6. Sort v, -3, -2/11, -1/3 in increasing order.
-3, v, -1/3, -2/11
Let j = 897/4 + -224. Sort -33, -0.3, 5, j in ascending order.
-33, -0.3, j, 5
Let w(b) = b**2 - 2*b - 11. Let