. Put 10, v, l, -0.3 in descending order.
10, v, -0.3, l
Let i = 3124 - 3124.5. Sort 2/7, 13, i.
i, 2/7, 13
Let c be 2/(-4) + 45/10 - 2. Let d be (-2 + c)*(-4)/8. Let p be (0 + 6/(-4))*2*-1. Sort d, p, 1 in increasing order.
d, 1, p
Suppose -4 = 4*w, -f + 2*w + 1 + 4 = 0. Let s(h) = -27*h**3 + 188*h**2 - 49*h + 389. Let k be s(7). Sort -34, k, f.
-34, k, f
Suppose 121*f = -56 + 419. Suppose 2*d - 2*b + 5*b = 17, 6 = d + b. Put d, -5, f, -7 in decreasing order.
f, d, -5, -7
Let q be (-9)/(-30)*35/21*930. Suppose -468*t = -q*t. Let l be -52*((-33)/(-12) + -2). Put -3, l, t in increasing order.
l, -3, t
Let i = 0 - -1. Let c(d) = 2*d**3 + 13*d**2 + 32*d + 151. Let t be c(-6). Sort 2, i, t, 6 in decreasing order.
6, 2, i, t
Let d = -6 - 5. Let y be (-60)/5*(-18)/8. Let o be (6/(-99))/((-9)/y). Put 0.4, o, d in descending order.
0.4, o, d
Let x = 393 + -389. Let k(g) = -g**3 + g**2 + 3*g - 19. Let r be k(0). Put r, -5, x in descending order.
x, -5, r
Suppose -18*d + 19*d = 32. Suppose -17*i + 75 = -d*i. Put -3, i, 10, 4 in descending order.
10, 4, -3, i
Let a = -3 - -7. Let w = -1 + 0. Let f(o) = -o**3 + o**2 - 15*o + 35. Let b be f(2). Sort b, a, w in descending order.
a, b, w
Let r be (-2)/(-1*(1 + 1)). Let n = 0.052 - 47.052. Sort 1/5, r, n in ascending order.
n, 1/5, r
Suppose 0*y - 2*s - 8 = 2*y, 3*y + s + 6 = 0. Let u be (-23 + 8)*(y - (5 + -3)). Sort 0, u, -3.
-3, 0, u
Let s = -801 + 432. Let q = 373 + s. Put 1.7, 5, q in increasing order.
1.7, q, 5
Let s be 156/24 + (-276)/24. Sort s, 17, 2 in ascending order.
s, 2, 17
Suppose 3*o + 9 = -0*o. Suppose 17*h - 434 = -179. Suppose -h*i + 136 = -19*i. Sort o, 1, i in ascending order.
i, o, 1
Let b = 256 + -261. Let n(z) = z - 15. Let m be n(14). Let a be (-8)/6*(m + 4). Sort 0, a, b, 3 in increasing order.
b, a, 0, 3
Let l = -8 - -11. Let x be (870/(-120))/(130/(-18)). Let r = x - 17/20. Put l, r, 3/4, -0.4 in descending order.
l, 3/4, r, -0.4
Let v = 0.4776 + -0.4776. Put v, -4, -924 in ascending order.
-924, -4, v
Suppose -4*i - 14 = 3*o, 5*o - 4*i + 5 = -7*i. Let b be (-63)/84*o/6. Let u = 2.1 + 9.9. Sort 2/9, u, 1, b in ascending order.
b, 2/9, 1, u
Let q = -15833 + 15832. Sort -0.2, -0.5, q, -1519.
-1519, q, -0.5, -0.2
Let o be 20/(-35) + 8/28. Let q be 4/(-16) + 3954/(-56). Let z = 71 + q. Put o, z, 3/8, 5 in descending order.
5, 3/8, z, o
Let j = 0.3 - -1.7. Let n = 1.9 - j. Let r = -218.33 - -223.33. Sort 0.12, n, r, 1/3 in increasing order.
n, 0.12, 1/3, r
Let x = 73.34 + -73.26. Let g be -1 + (-2)/(-14)*11. Sort x, g, 8 in descending order.
8, g, x
Let x = -1103 - -1101. Put -3, 11, x in increasing order.
-3, x, 11
Let g be (0 - -1) + 14/(-140)*-10. Let h = -75 - -73. Let z = 1 + 8. Sort -4, g, z, h in decreasing order.
z, g, h, -4
Let b = 1.272 + -1.072. Put 3, -5, b, 28 in ascending order.
-5, b, 3, 28
Let z = 37.6 + -37.9. Put 0.2, z, -9, 4/5 in increasing order.
-9, z, 0.2, 4/5
Let d(u) = -u**3 - 24*u**2 - 24*u - 19. Let j be d(-23). Suppose 0 = -j*m + p + 12, -m - 2*p = -4*m + 9. Sort -5, -39, m, 4.
-39, -5, m, 4
Suppose -3*i - 50 = 22*i. Suppose 0 = 2*s - 3*u + 2*u - 9, -3 = s + u. Sort i, s, 40 in descending order.
40, s, i
Suppose 4 = 2*l - 6. Let h = 3732 + -3717. Put l, h, -2, -5 in ascending order.
-5, -2, l, h
Suppose -5*s = 5*t - 5, -5*t + 6*s - 59 = -20. Put 3, t, -4, 0, 77 in increasing order.
-4, t, 0, 3, 77
Let v = -304 - -102. Let n = -105 - v. Sort 0, n, 1, -3 in decreasing order.
n, 1, 0, -3
Let r(a) = -93*a + 838. Let l be r(9). Sort -0.2, l, 1.11.
-0.2, l, 1.11
Let k = 151 + -154. Suppose 16*b - 80 = 20*b. Put -1, 5, b, k in descending order.
5, -1, k, b
Let i be 2/(-5)*(-475)/38. Let v(q) = -3*q - 15. Let u be v(-5). Let f = 2 - 9. Sort i, u, f in ascending order.
f, u, i
Suppose 0 = -15*t + 14*t - 1. Let c = 2111 + -2115. Sort c, t, -6, -2 in decreasing order.
t, -2, c, -6
Let p(a) = a**3 + 5*a**2 - 14*a - 7. Let b be p(-7). Let o be 3 - (-3 + 6 + b). Suppose o = 5*w - 8, 2*w = n + 10. Sort -2, 8, 2, n in decreasing order.
8, 2, -2, n
Let b = -89 - -123. Let y = b + -33. Let w = -0.01 - -2.01. Sort w, 4, 0, y in decreasing order.
4, w, y, 0
Suppose 22*n - 33 = -11. Let k be (-6 - (0 - 0)) + -25 + 26. Let t(j) = -3*j + 2. Let m be t(1). Sort k, 4, m, n in descending order.
4, n, m, k
Let n = -26408 + 290495/11. Sort 0.3, n, -2/11 in descending order.
n, 0.3, -2/11
Let h = -907 + 908. Suppose -8 = -2*l - 0*l. Put l, 0, h in ascending order.
0, h, l
Let s = 98 + 201. Let h = 298.7 - s. Sort 14, h, 0.3 in descending order.
14, 0.3, h
Let x be 7/6 + (-4340)/840. Sort x, -11, 8, -5 in ascending order.
-11, -5, x, 8
Let c be (-2871)/1015 - (-24)/10. Put -45, 13, 3, c in descending order.
13, 3, c, -45
Let h be (-525)/150*(-1 - 62/(-14)). Sort 61, -2/5, h in decreasing order.
61, -2/5, h
Suppose 0 = -5*v + v + 8. Let c = -0.174 - 2.326. Let m = c + 16.5. Sort v, m, -3, -0.2.
-3, -0.2, v, m
Let l = -17130.1 - -17130. Put 35.5, -6/5, -3, -1, l in decreasing order.
35.5, l, -1, -6/5, -3
Let t be (-23)/(-4) - 3/4. Let u(m) = 5*m**2 + 24*m - 25. Let q be u(1). Put t, q, 2, -3 in ascending order.
-3, 2, q, t
Let f = -4/127 + -496/381. Sort -1/4, 2/5, f in decreasing order.
2/5, -1/4, f
Suppose 15 = 2*n - 5*u, u + 50 = -8*n + 47. Put 1, -12, n, -3, -1 in increasing order.
-12, -3, -1, n, 1
Let n = -7.61 + 8.9. Let k = n + -0.29. Sort k, 1.1, 5, -3 in decreasing order.
5, 1.1, k, -3
Let s be (-1 + (-4)/28*256)/11. Let y = s - -36/11. Suppose 9 = -3*x + 51. Put 2/3, y, x in ascending order.
y, 2/3, x
Let y = -10.811 + 8.811. Let z be 3/(-6)*2/4. Sort z, 0.07, y in increasing order.
y, z, 0.07
Let g = -201.9 + 201.89. Sort -2, g, -2/13.
-2, -2/13, g
Let b = 2.0485 - 5.0485. Put 3, 2/9, -114, b in descending order.
3, 2/9, b, -114
Let h = -64 - -1215/19. Let v = -4 - -4. Let y = -8792 + 79127/9. Sort h, v, y in descending order.
v, h, y
Let g = -4830 - -4822. Put 17, g, 3 in increasing order.
g, 3, 17
Let p = -89.8 + 90.8. Put 2/3, -0.3, 0, 14, p in descending order.
14, p, 2/3, 0, -0.3
Let r be ((1/3)/(3/18))/(160/1680). Let c(f) = -f - 9. Let g be c(-6). Let q be (-3)/1*(-1)/(-3). Sort r, q, g in descending order.
r, q, g
Suppose 20 = 4*k + 4*p, 2*k - 8*k = 2*p - 14. Put 48, 2, 4, k in decreasing order.
48, 4, 2, k
Let w = -211 + 223. Suppose -3*y + 108 = -w*y. Let a = 1 - 2. Put a, -2, y in decreasing order.
a, -2, y
Suppose 1144 = -4*d + 8*r - 640, -5 = -5*r. Put 0, d, 1 in ascending order.
d, 0, 1
Suppose -4*b + k + 194 = 0, 0 = 6*b - b - 4*k - 248. Suppose -b = 21*z - 24*z. Sort z, -5, 1, 4.
-5, 1, 4, z
Let t = 18036.86 - 18037. Sort -0.3, -78, t in decreasing order.
t, -0.3, -78
Let c be 10 + (8 - (15 - 4)). Put 5, 113, c in increasing order.
5, c, 113
Let q be 6/4*18/27. Let d be (-13)/(-2) - q/2. Suppose -3*k - 15 = -d. Put 0.2, k, -1, 2 in increasing order.
k, -1, 0.2, 2
Let u = -478.1 - -472. Let k = 130 + -123.7. Let m = u + k. Sort -4, 0.4, m.
-4, m, 0.4
Suppose 303 - 132 = 13*i - 4*i. Put -0.4, i, -1/2, 8, -4 in increasing order.
-4, -1/2, -0.4, 8, i
Suppose -u - 2 = 5*n, 118 = u + 4*n + 119. Sort u, 10, -85.
-85, u, 10
Suppose -2*d - 440 = -3*a, 0 = d - 5*a + 106 + 121. Let n be ((-2)/21)/((-93)/d). Sort 3, n, 43 in descending order.
43, 3, n
Let s = -1170 + 1171.898. Let k = s - -0.102. Sort 0.3, -10, k in decreasing order.
k, 0.3, -10
Let l = -3454 - -3449. Sort l, 34, 2, 1 in descending order.
34, 2, 1, l
Let u(z) = -100*z - 11312. Let k be u(-113). Put -2, 4, k, -104 in decreasing order.
4, -2, k, -104
Let n be (-4)/(60/(-7371)) - (-27)/45. Let b = n + -488. Let m = 1 + -5. Put 3, -2, b, m in descending order.
b, 3, -2, m
Let d(t) = t**2 - 130*t - 9234. Let h be d(-51). Let p(r) = r**2. Let y be p(0). Sort h, -25, y.
-25, h, y
Let z(r) = -3*r**3 - r**2 - 2*r - 2. Let a be z(-1). Suppose 34 = 4*q + a. Let v be (2/q)/((-3)/(-60)). Put -27, v, -1, 2 in descending order.
v, 2, -1, -27
Let v = 210 - 134. Let q be 549/7 + 9/(-21). Let d = q - v. Sort d, 6, -5.
-5, d, 6
Let y be ((-2)/40)/((-106)/(-1484) + 4/(-7)). Sort -3, y, 1/3, -49 in descending order.
1/3, y, -3, -49
Suppose 0*v + 3*v + 4*b = -20, -4*b - 4 = -v. Suppose 0 = -a + 2*a + 6. Let n(t) = -799*t - 1598. Let r be n(-2). Sort r, 5, a, v.
a, v, r, 5
Let p = -32 + 34. Suppose p*c + 0*c - 34 = -2*i, -5*c