v be 2 - m*36/150. Put v, 4/7, 0 in decreasing order.
4/7, 0, v
Let j = 3.1 - 36.1. Let m = j - -1. Let q = 30 + m. Sort q, 12, 0.4, 0.1 in decreasing order.
12, 0.4, 0.1, q
Let o = -8179 + 8179.2. Sort o, 0, 9/4, -24 in ascending order.
-24, 0, o, 9/4
Suppose -11*z + 6*z = 3*v + 34, 7 = z - 4*v. Let y(r) = -r**2 + 10*r - 4. Let g be y(10). Suppose 0*h + 5*h = 15. Put g, z, h in increasing order.
z, g, h
Suppose 14 + 22 = 12*x. Suppose 0 = -5*b + 25, -2 = 4*z + b + 5. Let f = z + -2. Sort x, f, 1, -3 in descending order.
x, 1, -3, f
Let s(r) = -r**2 + 45*r + 1218. Let o be s(-19). Sort -220, 0, o in ascending order.
-220, 0, o
Let c(m) = -3*m + 10. Let x be c(6). Let g = 3 + x. Let p be (-2)/(-3)*(g + -1). Put p, -3, -1 in descending order.
-1, -3, p
Suppose -3*l - 3*u = 12, -l = -4*l + 4*u + 2. Let m = 1543 - 1546. Sort m, l, 2/5 in decreasing order.
2/5, l, m
Suppose b + 2*c - 14 = 3*b, -4*c + 4 = 2*b. Suppose -23 = 40*l + 177. Suppose 0 = y - 3*w + 5*w - 1, w = -5. Put -3, l, b, y in descending order.
y, -3, b, l
Let p be 11 + -4 - (7 - 3 - -10). Put p, -3, 0, -6, -1 in descending order.
0, -1, -3, -6, p
Let z be (-2)/(-10) + (18/10 - 2). Suppose 2*k = -z*k - 2*x - 16, 11 = -4*k + 3*x. Sort -11, -3, k in decreasing order.
-3, k, -11
Let y = -10716 + 53579/5. Sort -60, y, 4.
-60, y, 4
Suppose 0*p = 4*p. Suppose -o - t - 2 = 0, -5*o + 3*o + 4*t = -26. Let w = 1313 - 1317. Sort w, p, -2, o in decreasing order.
o, p, -2, w
Let r(j) = j**2 + 10*j + 18. Let v be r(-2). Let d be 6/v*(-4)/28. Sort -12, -2/7, -2, d in descending order.
-2/7, d, -2, -12
Suppose -4*t + 109 = 117. Let a = 111 - 552/5. Put -0.2, a, t, -3 in decreasing order.
a, -0.2, t, -3
Let t = 1549 - 1571. Sort -13, 3, t in decreasing order.
3, -13, t
Suppose 0 = 28*y - 24*y + 2*c + 62, 18 = -y + 2*c. Sort -6, 6, y in descending order.
6, -6, y
Let i = 153 + -159. Let t(a) = a**3 + 5*a**2 - 6*a + 11. Let q be t(i). Put q, -5, 1 in descending order.
q, 1, -5
Let o = -2 + 3. Suppose -22 = 5*g + 17617*n - 17615*n, 3*n = 4*g - 56. Sort o, g, -7.
-7, o, g
Suppose -6*a + 92 = -46. Suppose -i + n = 30, a*n - 21*n - 110 = 4*i. Sort i, 0.1, 0.
i, 0, 0.1
Suppose 3 = -q + 8. Suppose 3*r = r + 2*h, 4*r + 4*h - 24 = 0. Let o(f) = -f**3 - 17*f**2 - 42*f - 1. Let d be o(-14). Sort r, q, -3, d in increasing order.
-3, d, r, q
Let j(t) = -t**3 - 37*t**2 + 30*t - 199. Let y be j(-38). Put 6, 4, y, -3 in descending order.
y, 6, 4, -3
Let v = 697 + -646. Sort v, -4, 1 in ascending order.
-4, 1, v
Let h(f) = -20*f - 482. Let n be h(-24). Sort 0, -3, 39, n.
-3, n, 0, 39
Suppose -1099 = -102*g + 95*g. Let h = -154 + g. Put h, -8, -5 in descending order.
h, -5, -8
Suppose -21*r - 16 = -25*r. Suppose -12*u - 32 = r*u. Sort u, 1/9, -1, 5.
u, -1, 1/9, 5
Let t = 3.12358 + -0.12358. Let u = -0.2 + -7.8. Sort t, u, 4/3 in descending order.
t, 4/3, u
Suppose 0 = 10*x - 16 - 4. Suppose -x*u - 2*k + 10 = 0, -2*u + k + 14 = 5*k. Let z be 22/(-30) + (-2)/(-5). Put -1, z, u in descending order.
u, z, -1
Let h be (3/60*-2)/(34/131). Let m = h + -1/68. Put m, 6, -0.1 in decreasing order.
6, -0.1, m
Let h = 2568 + -2638. Let t(d) = 2*d**2 - 17*d + 6. Let b be t(8). Sort b, -5, 4, h in decreasing order.
4, b, -5, h
Let v be ((-40)/(-36))/((-95)/(-57)). Let o = 45/32 + -1545/416. Sort 4, v, o.
o, v, 4
Let k = -15792677/795 - -19865. Let h = k - -64/159. Put -0.1, 21, h in ascending order.
-0.1, h, 21
Let s = 2.895 + 352.105. Put 1, -0.1, s, -1/8 in increasing order.
-1/8, -0.1, 1, s
Let a be 26/(-15)*3 - 7/(-35). Suppose -5*r + 3*b = 59, 5*r + 2*b = -44 - 0. Let l be ((-4)/5)/((-4)/r). Put 0, a, -1, l in increasing order.
a, l, -1, 0
Let f = 13989 + -13994. Sort f, 7, 4, -9 in increasing order.
-9, f, 4, 7
Let i = -1214327 - -93504480/77. Let s = 117/7 - i. Let r be (1 + (0 - 2))/((-2)/10). Sort -0.4, r, s, 0.5 in decreasing order.
r, 0.5, s, -0.4
Let f = 562 + -557. Suppose -f*g + 2*t + 1 = 0, 5*g - 91 = t - 93. Sort 2/3, g, 10, -0.4 in ascending order.
g, -0.4, 2/3, 10
Let r = 1513 - 1517. Suppose 0 = -b - 0*b. Suppose b = 5*t + 15, -4*n = -t - 3*t - 32. Put r, -12, n, 3 in descending order.
n, 3, r, -12
Let v = -2313/88 + 285/11. Let c(g) = 8*g**2 + 5*g + 4. Let t be c(-1). Sort v, t, 3, -2.
-2, v, 3, t
Let x = 17 - 55. Let c = 25 + x. Put c, 2, 1 in decreasing order.
2, 1, c
Let f be 2/(((-40)/(-14))/((-29)/7 + 5)). Sort 105, 3, f, -5, 0.
-5, 0, f, 3, 105
Let d be 6/9*((-15)/3 - -26). Let u be -1 - -2 - (5 - -2). Sort d, u, 3.
u, 3, d
Let q be 2 - (-2 - (-39)/9). Let j(i) = -i**2 - 10*i - 14. Let z be j(-6). Suppose -41 = 2*s - 3*d, -5*s + 5*d = -4*s + z. Sort s, q, 5 in ascending order.
s, q, 5
Suppose 1 = 5*q - 4. Let a(r) = 9*r + 5. Let w be a(4). Suppose 22 + w = -9*f. Sort 3, q, 4, f.
f, q, 3, 4
Suppose 2*d = 3*y + 103, 2*d - 5*y - 59 = 42. Suppose -3*n + 16 = c, n - d = -3*c - 3*n. Put 2, c, 1 in decreasing order.
c, 2, 1
Let g be (-2 + ((-34)/10 - -5))/(144/45). Put g, 5, 2/9, 12, 3 in increasing order.
g, 2/9, 3, 5, 12
Suppose 116*d = 142*d. Sort d, -0.3, -5, -0.6, 0.5 in decreasing order.
0.5, d, -0.3, -0.6, -5
Suppose -2 = -l + 4*r, 3*r - r = 0. Let t = l + -5. Suppose -346*c - 145*c = 1503 + 952. Sort c, t, -12 in increasing order.
-12, c, t
Let a be 336/60 + 1 + (-2)/(-5). Suppose j + 5*q - 3 = 0, q = a*j - 10*j - 19. Put j, -1, 10 in ascending order.
j, -1, 10
Let s = -6733 + 5815. Put -1, -4, s in increasing order.
s, -4, -1
Let d = 1.0101 + -0.8781. Sort -3, 0.4, d, -1.2 in increasing order.
-3, -1.2, d, 0.4
Let f = -242 - -2180/9. Let m = 2 + -2. Let w = -204 + 199. Sort w, m, f, 0.5 in decreasing order.
0.5, f, m, w
Suppose 462 = -34*l - 34*l + 2*l. Suppose -5*r - b + 9 = 25, 2*b = -2*r - 8. Let i be (-6)/2 - (1 + r). Put l, i, -3, 1 in increasing order.
l, -3, i, 1
Let h be (7 + (-324)/45)*(-5)/4. Sort 0.4, -0.2, 9, h, 1 in increasing order.
-0.2, h, 0.4, 1, 9
Let g = -8.932 - -8.932. Sort 2, 1/4, 25, g, 5.
g, 1/4, 2, 5, 25
Let r = -2 - 1. Suppose 5*i = 8*i + 666. Let l = i + 223. Sort 4, -4, r, l in increasing order.
-4, r, l, 4
Let i(u) = u**2 + 64*u - 6041. Let q be i(52). Sort q, -2, -7 in ascending order.
q, -7, -2
Let a be 9/(-10)*(-16)/324*9. Sort 0.1, -0.4, -11/42, a in increasing order.
-0.4, -11/42, 0.1, a
Suppose -14 = -0*g - g - 3*s, 4*s = g + 14. Let b be (-69)/(1035/(-10))*-6. Put g, b, -1 in ascending order.
b, -1, g
Let p(m) = m**2 + 41*m + 283. Let u be p(-32). Let h be 38/4*(-2)/1. Put h, 1, u in descending order.
1, u, h
Let r = 0.6176 + -0.1176. Put -0.3, -8, r, 25 in ascending order.
-8, -0.3, r, 25
Suppose 4*d - 41 = -16 + 15, 5*g + 15*d - 175 = 0. Suppose 4 = 3*v - 2*o - 13, v - 13 = -3*o. Sort -5, v, g, 3 in increasing order.
-5, 3, g, v
Let i = 0.8 + 0.2. Let z = 105006 - 210013/2. Put i, 15, z in decreasing order.
15, i, z
Let v = -2487 - -1772. Let d = 715 + v. Sort d, 5, -5, 31.
-5, d, 5, 31
Suppose 5*y + 3*i = -21, -2*i + 1 = -4*y - 7. Let u be ((-11745)/(-60))/(-29) - y/4. Sort -3, 9, -2, u in ascending order.
u, -3, -2, 9
Let t = -9 - -15. Let a be -22 + 19 + 6/(-3). Put 2, t, a, -1 in decreasing order.
t, 2, -1, a
Let m = -22.4 + -1.6. Let i = m - -20. Sort 0, -3, i, 0.1 in decreasing order.
0.1, 0, -3, i
Let j = 156/5 - 31. Let r be 40/(-288) + (-54)/72 - 64/(-72). Sort r, 0.11, j in increasing order.
r, 0.11, j
Let y(f) = f**2 - 7*f + 5. Let n be y(6). Let m(c) = 1348*c - 6739. Let i be m(5). Sort i, n, -2, 3 in decreasing order.
3, i, n, -2
Suppose -x + 1 = -3*v + 2*v, -2*v = x + 2. Let c be (-1)/2*3*4. Put 5, c, -2, v in descending order.
5, v, -2, c
Let k = -16.01 + 0.01. Let h(b) = -2*b**2 - 37*b + 38. Let d be h(-22). Let o be 8/(-10) - d/20. Put k, -5, o, -0.1 in decreasing order.
o, -0.1, -5, k
Let z = -2178 + 2182. Put -3, 15, z, 0 in descending order.
15, z, 0, -3
Let q be (3/(-9)*-12)/2 + 3. Suppose -15*a + 11*a = -16. Put -4, q, a, 0 in descending order.
q, a, 0, -4
Let v be (116/(-18))/(-2) + 165/(-55). Let z = 99.4 - 99. Put z, -0.4, 1, v in descending order.
1, z, v, -0.4
Suppose 0 = 5*z - 5*i + 575, 488 = -4*z - 2*i + 40. Put 0, z, -3, 1 in increasing order.
z, -3, 0, 1
Suppose 310 = 11*x - 372. Let u = x - 77. Let y = 18 + u. Sort -4, 0, y in ascending order.
-4, 0, y
Let n = -47.36 - -46.96. Sort n, -2, 2/5, -10 in descending order.
2/5, n, -2, -