= w + 1. Suppose w*y + u = 5. Sort -4, y, -34 in descending order.
y, -4, -34
Let k be -4*1 + (-4 - (34 + -1)/(-3)). Sort -2, k, 5, 4, 35.
-2, k, 4, 5, 35
Let d = 29 - 149. Let n = -1616 - -1736.5. Let r = d + n. Put 4/5, r, -0.3, -0.5 in decreasing order.
4/5, r, -0.3, -0.5
Let a = -245 - -230.44. Let b = a + 13. Let h = -0.56 - b. Put h, -3, -2, 2/5 in increasing order.
-3, -2, 2/5, h
Suppose -19*g - j - 20 = -15*g, 0 = -2*g - 5*j - 46. Sort -91, -1, -13, -4, g.
-91, -13, -4, g, -1
Suppose 4*v - 5*d + 199 = 0, -2*d = 5*v - 66 + 290. Let o be 69/v + (-10)/(-8). Put -0.6, o, -2, -5 in descending order.
o, -0.6, -2, -5
Suppose 0 = -913*a + 928*a - 15. Suppose 0*k + 5*k = 2*r + 16, -5*r = -10. Sort 37, a, k, 7 in ascending order.
a, k, 7, 37
Let c(f) = f**3 - 5*f**2 + 6*f - 8. Let n be c(3). Let v be (-344)/(-272) - (-12)/n. Let t = -749/9 - -83. Sort t, -0.2, v, 1 in descending order.
1, -0.2, t, v
Suppose 675*f + 52 = 727*f. Sort 4, -4, f, 2, -3 in ascending order.
-4, -3, f, 2, 4
Suppose -8 = -v + 31*k - 33*k, 2*k = 2*v + 32. Sort v, 5, 0, 1, -48.
-48, v, 0, 1, 5
Let i be (60/(-750))/((-1)/(8 + -3)). Sort 1/4, i, -3, 3/4, -2/3 in ascending order.
-3, -2/3, 1/4, i, 3/4
Suppose 10*v - 126 = -4*v. Suppose -6*u = v - 15. Sort -10, 0, u in ascending order.
-10, 0, u
Let y = 0.04497 + -48.04497. Sort y, -1/9, -1/3 in increasing order.
y, -1/3, -1/9
Let y(n) = 2*n**2 + 3*n + 1. Let u be y(-4). Suppose h + 21 = 2*j, 2*j = 4*h + 4 + 26. Suppose j*w + 5 + 22 = 0. Put 4, w, u in increasing order.
w, 4, u
Let g be (-24)/64 + 2/4*(-1)/20. Put 0.001, g, 1, 4 in decreasing order.
4, 1, 0.001, g
Let k = 21919 + -21924. Put k, 57, 5 in increasing order.
k, 5, 57
Let k = -25393 + 25396. Sort 5, -0.4, k, 0.12.
-0.4, 0.12, k, 5
Let p be 2/(-8) + (-3)/(-10)*30/36. Put p, 2, -25, -11 in descending order.
2, p, -11, -25
Suppose -13 = 15*z + 92. Suppose k = 3*k - 12. Let u(m) = 2*m**2 - 12*m + 4. Let c be u(k). Sort 3, c, z in descending order.
c, 3, z
Suppose -262 + 22 = 120*o. Put 8, o, -24 in decreasing order.
8, o, -24
Let k be (15/(-9))/((-732)/234 + 3) + -2. Sort -1/6, 0.15, k.
-1/6, 0.15, k
Let y(i) = -i**3 - 29*i**2 - 21*i + 201. Let c be y(-28). Put c, -7, 0, -4, 3 in descending order.
c, 3, 0, -4, -7
Let s = 338 - 327. Let n be (s/3)/((-9)/27). Put -5, n, -4, -7 in increasing order.
n, -7, -5, -4
Let r = -0.04072 - 4.95928. Put -2, r, 393 in decreasing order.
393, -2, r
Suppose j - 22 = -4*w + 44, 0 = j + 2*w - 64. Let p(t) = 13*t**3 + 119*t**2 + 31*t + 122. Let c be p(-9). Sort 3, c, j in increasing order.
3, c, j
Let j = 2406.642 - 2407. Put 2, 0.5, j in ascending order.
j, 0.5, 2
Let a(u) = 18*u**2. Let i be a(1). Let z = i - 13. Let p = -502679 - -502677. Sort p, 2, z, 4 in descending order.
z, 4, 2, p
Let y = -35/36 - 5/18. Let n = -107 + 105. Let h be (-4)/n - (-14 - -20). Sort h, y, 0.
h, y, 0
Let g(q) = 2*q**2 - 20*q + 36. Let i be g(2). Let x be (13/i + -3)*(5 + -5). Sort 5, x, 19 in ascending order.
x, 5, 19
Let b be 3 - 20/(-6)*75/(-50) - -2. Put b, 290, -7 in descending order.
290, b, -7
Let l = -58 + 63. Let i = 55.4 + -55. Sort i, -0.1, l in ascending order.
-0.1, i, l
Suppose -1026 = 7*s + s - 866. Sort 2, s, 0.
s, 0, 2
Let l = 1419.2 - 1411.4. Put -0.19, -5, l in decreasing order.
l, -0.19, -5
Let c = -29 - -14. Let o be ((-2)/2)/(3/c). Let u = 2513 - 2523. Sort o, u, 1 in descending order.
o, 1, u
Suppose -90 = 5*l + y, y = -3*l + 4*y - 54. Let d be 2*(3/(-2))/3. Let w = -31177 - -31177. Sort d, w, l in increasing order.
l, d, w
Let b(c) = c**3 - 5*c**2 + c - 3. Let l be b(5). Let v be 13/((-1053)/(-261)) + 2/(-9). Let w be 1/8 + (-10)/16. Sort 0.1, l, v, w.
w, 0.1, l, v
Let n = 3.602 + 0.758. Let h = n + -4.56. Sort -22, 0.1, h, 3.
-22, h, 0.1, 3
Let m = -386 + 620. Let i = -233 + m. Sort 0.2, 4/5, i in ascending order.
0.2, 4/5, i
Let o = 0.02 - 0.02. Let k = -1.7218 - -1.9218. Sort o, k, -0.1, 3 in increasing order.
-0.1, o, k, 3
Suppose -3 = -2*g + 5*k, 4*k + 3 = -5*g - 6. Suppose w + 5*d = 3*d + 145, -d - 315 = -2*w. Suppose -l + 150 = w. Sort g, -2, 5, l.
l, -2, g, 5
Let q = 1.043 - 0.043. Suppose -2*v - 4 = c, 0 = 4*v + 9*c - 4*c + 14. Sort 7/4, q, v.
v, q, 7/4
Suppose 3*n + u = 33, 4*n + 34*u - 30*u - 28 = 0. Put 5, -1, -8, -5, n in decreasing order.
n, 5, -1, -5, -8
Suppose 4*k = -q - 179, 0 = 5*k - 5*q + 65 + 190. Let p = k - -93/2. Suppose 0 = 5*y - 33 + 13. Sort -1, p, 1/5, y in decreasing order.
y, p, 1/5, -1
Let j be (-4 - -5 - -2)/1. Suppose 0 = j*w + 11 - 2. Let g be (-2)/(-3) + (-6)/(-18). Sort 2, w, g, 3.
w, g, 2, 3
Suppose -5*m + 4*m + 5 = 0. Suppose 4*o - 29 = 3*q, -4*o + 14 = 3*q - q. Suppose -o*y = -m + 15. Put y, -5, 0 in decreasing order.
0, y, -5
Let v = 3011 + -3015. Put 5/4, 0.1, -0.4, 10, v in decreasing order.
10, 5/4, 0.1, -0.4, v
Let v(w) = w**2 + 14*w + 41. Suppose 17*j + 94 = -59. Let f be v(j). Suppose 5*q + 3 = 2*q. Sort f, 2, q in decreasing order.
2, q, f
Let h = 14/547 - -1585/2188. Put -37, 2, h, -1 in decreasing order.
2, h, -1, -37
Let a(h) = -31*h**2 - 3*h + 6. Let z be a(2). Let w be z/(-14)*((-343)/(-14))/7. Suppose -2*k + 5*l + 12 = -0*k, 2*l = -8. Sort k, w, 2, -2 in descending order.
w, 2, -2, k
Let w = -2210 + 2209. Let y = -2 + 7. Suppose 0 = -2*r + u + 25, 5*u - 3*u = 2. Sort w, r, y in decreasing order.
r, y, w
Suppose 2*f + 4 = -y, -16 = 4*f - 0. Put 10, 0.103, y in descending order.
10, y, 0.103
Let o = -0.8496 + -17.1504. Put 5, o, 2, -1/6 in descending order.
5, 2, -1/6, o
Let s = 14354 + -344495/24. Let i = -10 + 14. Put i, -0.3, s in decreasing order.
i, s, -0.3
Suppose 0*c - 31 = 29*c + 27. Sort 0, 6, -1, c in ascending order.
c, -1, 0, 6
Let z be (0/(-5) - -3)*2/(-2). Let k = -479/6 + 22501/282. Sort 5, z, 3, k in decreasing order.
5, 3, k, z
Let i = -1296 - -1358. Put i, -0.2, -3 in descending order.
i, -0.2, -3
Let t(w) = 9*w - 212. Let s be t(23). Let a be (s/(-2))/((-53)/(-106)). Let k be 8*(3/(-2) - -1). Sort k, 3, a, 2 in decreasing order.
a, 3, 2, k
Let i be ((-3)/(-4))/((-6039)/(-1464)). Put -1, i, -8/151 in decreasing order.
i, -8/151, -1
Let c be (0 - -3) + (-345)/28 + -3. Let z = c + 47/4. Sort 6, z, -2 in decreasing order.
6, z, -2
Let j = 606 + -311. Let i = j - 288. Sort i, 0.3, -4, 2/11 in descending order.
i, 0.3, 2/11, -4
Let k be (-24)/(-120) + 58/10. Let v(d) = -d**2 + 25*d - 104. Let r be v(k). Let q be (1 + 1)*(-10)/(-4). Sort q, r, -3 in decreasing order.
r, q, -3
Suppose g - 3*g - 4*b + 20 = 0, 0 = -2*b + 10. Let h = -208 + 319. Suppose 19 + h = -26*p. Sort 3, g, 5, p in decreasing order.
5, 3, g, p
Let p = -1603 - -1604. Let m(y) = -y**2 + 2*y. Let s be m(2). Sort -5, p, s, 5 in increasing order.
-5, s, p, 5
Let a = 1632 + -2230.9. Let f = a + 599. Sort -0.12, 4, -0.5, f.
-0.5, -0.12, f, 4
Let c be 16380/(-8100) - 9/(-5). Put 5, c, -2, -8/17, 0.2 in ascending order.
-2, -8/17, c, 0.2, 5
Let u(x) = -x**2 + 9*x - 18. Let y be u(4). Let a(s) = -s**2 - 5*s - 8. Let d be a(-2). Let b be (32/6)/(4/6). Sort d, b, y in ascending order.
d, y, b
Let r = 17719.92 + -17720. Sort -0.3, r, 98 in descending order.
98, r, -0.3
Let q = 23.934 + -24.134. Put 2, -2/7, -0.111, q in decreasing order.
2, -0.111, q, -2/7
Let s be ((-1100)/(-176))/((-5)/2). Sort s, -13, 0.5 in decreasing order.
0.5, s, -13
Let z be 75/(-6) - 4/8. Let j = z + 9. Suppose -2*g + p + 0 + 2 = 0, 3*g + 2*p = -11. Sort -2, 3, g, j.
j, -2, g, 3
Let f be -7*12/(-63) + -20*(-20)/(-264). Let z = 0.1 - 0.1. Let s = z + -1. Put f, s, 3 in decreasing order.
3, f, s
Suppose 5*c = 2*m + 18, 28 = 12*m - 8*m - 2*c. Let w = 9 - 3. Let v = 7 - w. Put 4, m, v in decreasing order.
m, 4, v
Let c(b) = -127*b + 12188. Let h be c(96). Sort 12, -597, h in decreasing order.
12, h, -597
Let l = -25190 - -25227. Put l, -13, -17 in decreasing order.
l, -13, -17
Let r = -13802 + 13802. Put -3, 2934, r in descending order.
2934, r, -3
Let r(u) = -u**3 - u**2 - 3*u - 5. Let x be r(-2). Let i(k) = k**2 + 13*k - 21. Let z be i(-15). Suppose -7*g = z + 19. Put -5, x, g in descending order.
x, g, -5
Suppose -4*x + 2*x - 2 = 0. Let f be 47 + -6 + (3 - (-4 + 9)). Put x, f, 3 in decreasing order.
f, 3, x
Let w(s) = -3*s - 16. Let k be w(-9). Suppose 4*y = -21 - k. Let d(l) = -2*l - 5. Let h be d(-5). Sort h, y, 1.
y, 1, h
Let p be 8/