4, 3*x + s + 1 = 2*x. Suppose 0 = 48*y + 23*y. Sort y, -5, x in decreasing order.
x, y, -5
Suppose 3780*b = 3832*b. Put 2, b, -4, -17 in increasing order.
-17, -4, b, 2
Suppose 173 = 15*q + 18*q - 322. Put 8, q, 2 in decreasing order.
q, 8, 2
Let n be 107/856 + 13/24. Sort -1/3, 1, 2, n.
-1/3, n, 1, 2
Let z = -0.03 - 14.97. Let p = -19.932 + 0.932. Let x = z - p. Sort x, -2/9, 1/3 in descending order.
x, 1/3, -2/9
Let z(k) = k + 1. Let c be z(2). Let g(r) = 18 + 14 - r - c. Let s be g(18). Sort s, -5, -2.
-5, -2, s
Let c = -68.45 - -68. Let v = c + 0.87. Let l be (-15)/40 + 31/40. Sort l, -1, v in decreasing order.
v, l, -1
Let c be 1*(-18)/42*(-7)/(252/8). Sort -70, 44, c.
-70, c, 44
Let d = -29152 - -29168. Sort -3, 2, d, 27 in descending order.
27, d, 2, -3
Suppose 2*g + 4 = -0*g. Let j be ((-24)/(-15))/((-10)/(-100)). Suppose 3*v - 32 = 9*k - 4*k, 0 = 4*v - j. Put g, 6, 3, k in decreasing order.
6, 3, g, k
Let l be (-52)/(-39)*(-33)/154 + 396/14. Sort 20, l, -4 in decreasing order.
l, 20, -4
Let a be 100/30*-3*(-45)/(-2). Let d = -2923/13 - a. Put -4, d, -143 in ascending order.
-143, -4, d
Let y = 29 - 33. Suppose j = -2*j - 9. Suppose h = 4*x + 10 + 65, -5*x - 87 = h. Sort y, -1, j, x.
x, y, j, -1
Let w = -0.067 + 0.167. Let d be (-30)/(-15) - 4/18. Let t = 121/63 - d. Sort t, w, 1 in increasing order.
w, t, 1
Let s = 473573 - 473577. Let t = -0.1 + 4.1. Put t, -0.2, s in descending order.
t, -0.2, s
Suppose -241 = 4*k - 3*p, 0 = 3*k + 4*p + 183 - 21. Let l = k + 54. Let w = 34 - 33. Sort -3, w, l in ascending order.
l, -3, w
Suppose 0 = 4*u + 2*u - 144. Suppose -u - 8 = 8*j. Sort 1, j, 2.
j, 1, 2
Suppose 0 = -839*t + 844*t - 2*f + 13, 4*t = -2*f + 4. Sort -4, t, 349 in ascending order.
-4, t, 349
Let p = -12.9 + 8.9. Let x be ((-3)/129)/(8/40). Let u = x - -131/387. Sort u, -3/2, p, 0 in increasing order.
p, -3/2, 0, u
Let z = -2691 - -2688. Put -22, -1, z in decreasing order.
-1, z, -22
Let i be -2 - (-4 + 1 + -1). Let f = 489 + -243. Let o = -233 + f. Put -2/5, i, -0.3, o in descending order.
o, i, -0.3, -2/5
Let z be (3/3 + -8)/(209/(-22) - -9). Sort z, 19, 2, -3, -2 in descending order.
19, z, 2, -2, -3
Let t be ((-5)/(-3) - 2)*(4 + -19). Suppose -2*r - 6 = -b, 8*b = -2*r + 4*b - 26. Let s = 128 + -125. Sort r, t, s, 0 in decreasing order.
t, s, 0, r
Let n = 453.144 - -4.456. Let h = n - 458. Sort h, 3/5, 1 in ascending order.
h, 3/5, 1
Let w = -540.52 + -1.48. Let i = -541 - w. Let p = -0.3 + 0.1. Sort p, -2/3, i.
-2/3, p, i
Suppose 4*r = n + 33, -3*n = 4*r - 0*r - 13. Let z be 0 + 1 - (2 - 1 - r). Let m be (-2)/7 - 33/z. Put m, -4, 3 in descending order.
3, -4, m
Let m(g) = 27*g - 21. Let t(d) = -2*d. Let o(b) = -m(b) + 2*t(b). Let q be o(1). Put q, 5, 7, 3 in decreasing order.
7, 5, 3, q
Suppose 2694*i + 4*r + 30 = 2689*i, 0 = -3*i - 3*r - 21. Put -1/24, i, -1/6, -11/5 in decreasing order.
-1/24, -1/6, i, -11/5
Let b = -673.66 - -680. Let a = b - 6.3. Let j = -0.2 - -0.7. Put a, -3, j in increasing order.
-3, a, j
Let z = 191101/67060 - -1/3353. Let p = z + -21/10. Sort p, 2/21, 3.
2/21, p, 3
Let u = -9094 + 9091. Sort -0.7, u, 1, 0 in descending order.
1, 0, -0.7, u
Suppose 2*r + 0*i + 5*i = -31, 5*r + 30 = -3*i. Let a(n) = -25 - 4*n + 3 - 8*n + 2. Let j be a(0). Sort -5, j, r.
j, -5, r
Let v(c) = c - 10. Let m be v(7). Let b be (1 - 14/(-8))/((-6)/24). Let t(j) = 3*j**2 + 32*j - 8. Let a be t(b). Sort a, 1/11, m.
m, 1/11, a
Let p = -0.9 + -0.1. Let h = 0.44 + -2.17. Let l = h - -1.83. Sort p, -0.3, l in descending order.
l, -0.3, p
Let i = 3.2 + -6. Let s = i - -2.4. Sort -2/11, s, 2, 0.9 in descending order.
2, 0.9, -2/11, s
Let a = 138.65 + -139. Let r = a + 3.35. Put -7, r, 1/2 in descending order.
r, 1/2, -7
Let n(b) = 4*b + 27. Let z(k) = -3*k - 26. Let o(d) = 4*n(d) + 5*z(d). Let c be o(27). Sort c, -7, 0 in ascending order.
-7, 0, c
Let a = 3436.7 - 2882. Let w = -555 + a. Let p = 3 - 2.97. Sort p, 3/5, w in increasing order.
w, p, 3/5
Let s be 14/(-168)*(-3)/((-132)/32). Let a = -1195/9 + 133. Sort s, 1, a.
s, a, 1
Let c = 79 + 384. Let m = c - 458.58. Let y = m - 0.42. Sort 8, -0.3, y in increasing order.
-0.3, y, 8
Suppose 35*w - 33*w = 8. Let t(y) = y**2 - 9*y + 18. Let c be t(w). Sort -4, 1, c, -1 in ascending order.
-4, c, -1, 1
Let k = -13775 + 495953/36. Let i = -2/9 + k. Let g = 24.5 + -25. Sort i, g, -0.2, -0.17.
g, -0.2, -0.17, i
Suppose 6*y - 7*y = -14*y + 65. Sort -1, 0, 13, y.
-1, 0, y, 13
Let i = -12 + 11. Let n = 5 + i. Let d = -13001 - -12999. Sort 3, n, d, 5 in ascending order.
d, 3, n, 5
Let l(a) = -2*a - 1. Let c be l(-4). Let q be (-21)/28*(-10 - (-224)/24)*0. Sort 4, c, 2, q in ascending order.
q, 2, 4, c
Let u be (-1 - -4) + (-4335)/(-119) + -40. Put u, 4, 0.229, 1/2, 4/5 in decreasing order.
4, 4/5, 1/2, 0.229, u
Let n = 8305 - 8303. Sort 265, 5, n, -0.4 in descending order.
265, 5, n, -0.4
Suppose -2*x + 6 = x. Let y be (-3)/2*2/(-1). Let i = 1.942 + -1.932. Put 1/5, x, i, y in descending order.
y, x, 1/5, i
Let u = 8338 + -8347. Sort u, 2, -166 in descending order.
2, u, -166
Let t be (2 - 3)/((-3)/(-27)). Let h be ((-28)/(-12))/(3/t). Let m(f) = f**2 - 19*f + 37. Let y be m(17). Sort h, y, -4 in increasing order.
h, -4, y
Let s = 69 - -151. Let l = -239 + s. Sort -4, l, 4 in increasing order.
l, -4, 4
Let a(w) = -w**3 + 12*w**2 + 14*w - 13. Let t = -42 - -55. Let z be a(t). Suppose z = 4*k - 0*l - 3*l + 14, -k = -4*l - 3. Sort k, -1, 0.2 in decreasing order.
0.2, -1, k
Let n(w) = -6*w**3 - w**2 - 1. Let d be n(-2). Let t = -40 + d. Suppose u + 12 = -t*u. Sort 15, -2, 1, u in decreasing order.
15, 1, -2, u
Let u = -509.8 + 579. Let z = u - 8.2. Let o = z + -63. Put -1/3, -0.2, o, 3 in decreasing order.
3, -0.2, -1/3, o
Suppose -18*t = 1056 - 1146. Sort t, 121, -4, 0 in descending order.
121, t, 0, -4
Let k = -1685 + 8424/5. Let d = 74 - 77.1. Put -2, d, k, -5 in ascending order.
-5, d, -2, k
Suppose -217*g + 38 + 193 = -203. Put -5, 35, g, 5, 3 in increasing order.
-5, g, 3, 5, 35
Let c(a) = -10*a**2 - 1230*a + 23. Let t be c(-123). Sort 2, 7, 0, t, 4.
0, 2, 4, 7, t
Let f be 10 - (-13 + (-623)/(-28)). Sort f, -2, -2/9, 3 in ascending order.
-2, -2/9, f, 3
Let p = -24039 - -24038. Let g(f) = -f**2 - 4*f + 4. Let m be g(-4). Sort m, 2, p in decreasing order.
m, 2, p
Let i(p) = -p + 9. Let y be i(9). Let q = -0.206 - 0.294. Sort q, y, -0.2, -12 in increasing order.
-12, q, -0.2, y
Let n be (1647/135)/(-1*1/(-35)). Let y = -423 + n. Sort 2, -1, -89, y.
-89, -1, 2, y
Let d = -12811/42970 - 8/4297. Sort d, 17, -5.
-5, d, 17
Let s be (-36)/(-14 - -2) - 1/((-4)/(-32)). Put s, -1, -2, 2, -4 in increasing order.
s, -4, -2, -1, 2
Let j = 8735 + -8735.2. Sort -29, -3, 1/8, j in ascending order.
-29, -3, j, 1/8
Let k(j) = -j**3 + 132*j**2 + 319*j - 6894. Let a be k(134). Let f be 2/(-8)*-2*3. Sort a, 2, f in decreasing order.
2, f, a
Let l = 13412 - 13392. Sort 2, l, 0.4, -144.
-144, 0.4, 2, l
Let x(h) = -43*h + 285. Let u be x(7). Sort u, -4, -3 in decreasing order.
-3, -4, u
Let j = 0.53 + 0.17. Suppose -11*h + h = -60. Let n be (-1 + (-15)/10)*h/(-35). Sort 0.5, n, j in descending order.
j, 0.5, n
Let l = 45109 - 45109. Put l, 1.5, -5/6 in increasing order.
-5/6, l, 1.5
Let i be (-1)/(0 + 1/(-5)). Suppose -24 = 35*b + 151. Let s be 17 - 24 - (-5 + b). Put s, i, 2 in increasing order.
2, s, i
Let d(o) = -o**3 - 6*o**2 + 7*o - 12. Let t be (-39)/6 - 4/8. Let m be d(t). Let i be 4/((-8)/6)*-1 + -3. Put m, -5, i in descending order.
i, -5, m
Let n be (2596/(-40))/(-11)*10. Put -1, n, -2, -4, -5 in descending order.
n, -1, -2, -4, -5
Let n = 9 - 17. Let f = -5.9271 - 0.0729. Put -0.4, f, n in ascending order.
n, f, -0.4
Let q be 6/9 - ((-1194)/(-9) + -6). Let g be 6/(-28)*q/36. Put 1, 26/3, g in increasing order.
g, 1, 26/3
Let i be (-8)/84*-1 - (12680/(-210))/(-4). Put -5, i, -54 in descending order.
-5, i, -54
Let o = -802 - -576. Let g = o + 230. Sort 2/131, -2, g, 0.4.
-2, 2/131, 0.4, g
Suppose 0 + 11 = -a - 2*x, -2*x = -5*a - 19. Suppose -29*q + 6 = -6*q + 6. Sort q, a, -2.
a, -2, q
Suppose -13*h - 11*h + 87 = 5*h. Sort 15, 2, 8, h in decreasing order.
15, 8, h, 2
Let p = -23857/33 + 723. Suppose 125*q - 121*q - 36 = 4*y, -5*q - 75 = y. Put -2/7, p, y in ascending order.
y, -2/7, p
Let x(w) = -2*w + 