. Sort -0.5, -0.7, l in decreasing order.
l, -0.5, -0.7
Let t be 6/(-20)*(-3 + 30/18). Put t, 3, 0.06, 0.01 in increasing order.
0.01, 0.06, t, 3
Let j = 19 - 24. Put -4, 3, -46, j in ascending order.
-46, j, -4, 3
Let x = -2322 + 2317. Put 151, x, 0 in decreasing order.
151, 0, x
Let i be 3 + (-2)/6*3. Let r be ((-13)/(-26))/((-1)/i). Let f = -2 - -2.3. Put 2, f, r in ascending order.
r, f, 2
Suppose 0 = -2*h - 3 + 13. Sort -1, -15, h in decreasing order.
h, -1, -15
Let x = -0.04 + 0.44. Suppose -2*v - r = 30 + 21, 2*r - 10 = 0. Let q be v/21*(-30)/(-32). Put q, x, 2 in decreasing order.
2, x, q
Suppose -m = 5*g + 866, -102*m = 5*g - 97*m + 850. Sort 3, -4, 5, g in decreasing order.
5, 3, -4, g
Suppose 5*o - 14 = -4. Let t be o + 2 + (1 - 7). Sort 2, t, -2/7 in decreasing order.
2, -2/7, t
Let n = -1917/7 - -273. Suppose 2*t - t = -3. Let i = 42/5 + -41/5. Sort t, n, i in increasing order.
t, n, i
Let z = 27 + -28. Sort z, 0.004, -0.3 in descending order.
0.004, -0.3, z
Let m = -31 + 34. Let j be (-2 - 5 - -1) + 0. Let f = j + 7. Put -3/4, f, m in descending order.
m, f, -3/4
Suppose -u = 5, -18*u = p - 20*u - 14. Sort -3, -28, p, 3 in decreasing order.
p, 3, -3, -28
Let w = 53/6 + -701/78. Let g = 52 + -55. Sort -0.4, g, w in decreasing order.
w, -0.4, g
Suppose 6*r - 9*r = -15. Suppose y + 0*y = -2*x + 14, -2*y - 44 = -r*x. Let u be (-3)/(-36)*(-108)/24. Put u, x, -1/4 in descending order.
x, -1/4, u
Let y = 419 - 421. Suppose 4*q + 3 = 5*a, q - a + 9 = 3*a. Suppose 5*w = -z - 10, 6*z + 3*w + 6 = z. Sort y, z, q.
y, z, q
Let r = -282 - -278. Put r, 11, 4 in ascending order.
r, 4, 11
Let o = -6.4 - -1. Let f = 5 + o. Put 3, f, 4 in decreasing order.
4, 3, f
Let b = 2341/42 + -382/7. Put -2/13, b, 5 in increasing order.
-2/13, b, 5
Let b = -1 - 16. Suppose 0 = w - 2*q + 2, -4*w + 3*q = 13. Sort w, b, -2.
b, w, -2
Suppose -2*s + 329 - 331 = 0. Put 2, -3, s, -2 in ascending order.
-3, -2, s, 2
Let n = -15 - 46. Sort n, -5, -2.
n, -5, -2
Let g be (-1)/7 - (-299)/(-161). Sort 2, 6, g in decreasing order.
6, 2, g
Let m be 4/6*6/(-2). Let j be 5/(-2)*992/1860 - (-22)/(-6). Put 0, m, j in descending order.
0, m, j
Suppose -67*x - 316 = 12*x. Sort 7, -3, x, -2 in descending order.
7, -2, -3, x
Let r = 0.2 + -2.2. Let x = 101 - 503/5. Let w be (-1 + 0)/7*(-280)/240. Put w, x, r in increasing order.
r, w, x
Let w = -147 + 147.12. Put 1/2, 2, w, -2 in descending order.
2, 1/2, w, -2
Let s = -416 + 420. Sort -1/5, 0.3, s, 1/3 in decreasing order.
s, 1/3, 0.3, -1/5
Let a be (5 - 7)/(16/(-7) + 2). Sort a, 0, 5, -5 in increasing order.
-5, 0, 5, a
Let s = 13 - 34. Let o = s + 21.1. Let i = 17 + -16.93. Sort o, i, 0.5 in decreasing order.
0.5, o, i
Let r be (-20)/(-25) + 57/(-15). Let l = r + 7. Sort -2, -5, l in increasing order.
-5, -2, l
Suppose j - 5 = 4. Let p = j - 35/4. Let h = -10 - -9.5. Sort h, 3, p in descending order.
3, p, h
Suppose 18*d = 2*d + 64. Sort -2, d, -3, -1 in descending order.
d, -1, -2, -3
Let b be 10/(-75) - 223/15. Let j = 15 + b. Sort 3, -1, -2, j in descending order.
3, j, -1, -2
Let f be 2/(-2 + (-13)/(-6)). Let u(r) = -r**3 - 8*r**3 + f*r**3. Let p be u(1). Sort p, 0, -1 in increasing order.
-1, 0, p
Let n(o) = -o**3 - 3*o**2 + 4*o - 5. Let r be n(-4). Sort 5, r, 3, -13 in decreasing order.
5, 3, r, -13
Let j = -67 - -65.28. Let u = 1.8 + j. Let x = u - -0.12. Sort -0.2, 0, x.
-0.2, 0, x
Let j = -533/12 - -134/3. Sort j, -5, 0.4.
-5, j, 0.4
Suppose -2*r - 11 = -9*z + 14*z, -r - 3*z = 7. Let c be -2 + 2/(3 - 1). Sort r, c, -3, 3.
-3, c, r, 3
Suppose -5 = 5*g + 5*z, g + 1 = -4*z + 12. Let j = 23 + -17. Suppose 2*h = -0*h - j. Sort h, 0, g in decreasing order.
0, h, g
Let d = 70/9 - 1208/153. Let j(a) = -101*a**2 + 2*a - a + 4 + 100*a**2. Let c be j(0). Sort d, 0, c in increasing order.
d, 0, c
Let o(p) = 3*p**2 + 10*p - 7. Let q be o(-5). Put 2/11, q, 5 in ascending order.
2/11, 5, q
Let u be ((-54)/72)/(1/76). Let a = u - -54. Suppose b - 2*b - 2 = 0. Put a, -4, b in increasing order.
-4, a, b
Let u(x) = -2*x + 17. Let a be u(8). Put -3, 4, a, 3 in ascending order.
-3, a, 3, 4
Suppose 15*z - 14*z - 1 = 0. Let f be (17/(-35) - 10/(-35))/1. Put f, 0.3, z, -18 in increasing order.
-18, f, 0.3, z
Let m = 0 + -1. Suppose -3*s = s - 5*u - 40, -2*s - 3*u - 2 = 0. Suppose s*z + 3*x = -27, 0*x - 17 = 3*z + x. Sort m, 5, z.
z, m, 5
Let w be (1 - 40/(-6)) + (-15)/(-45). Let z(r) = 2*r - 14. Let c be z(w). Put -3, c, -5 in descending order.
c, -3, -5
Let s = -0.04 - -4.04. Let w = 0.223 + -2.208. Let j = 0.015 - w. Put j, -1/3, s in increasing order.
-1/3, j, s
Let o = -1793/84 + 85/4. Let s = 3 - 3.5. Let a be (-25)/(-5) - (2 - 0). Sort a, o, s.
s, o, a
Let d be (2 - 3 - -1) + 2. Let l = -5259 + 5254. Put l, -0.3, d, 1/2 in increasing order.
l, -0.3, 1/2, d
Let g(j) = j**3 - j**2 + 2*j - 3. Let t be g(2). Suppose -f + 0 = -4*n - t, n + 4*f = -14. Let h(o) = 6*o - 25. Let i be h(5). Put -1, n, i in increasing order.
n, -1, i
Let l = -37.961 - -38. Let f = 0.439 - l. Put f, 2, 0.1, 0.5 in increasing order.
0.1, f, 0.5, 2
Let f(v) = -6*v + 63. Let o be f(11). Sort 3, o, -6, -5 in increasing order.
-6, -5, o, 3
Suppose 401*g + 4 = 403*g. Sort g, -28, 4.
-28, g, 4
Let g = -3.6 - -3.53. Suppose 0*x = -o + x + 2, 0 = 4*o - 2*x. Sort g, 0, o in decreasing order.
0, g, o
Let t = -3.4 + 27.4. Let m = -24.3 + t. Sort 0, -0.8, m.
-0.8, m, 0
Suppose 4 = 2*l - 11*f + 13*f, 5*l = -f + 30. Let o(j) = 4*j. Let s be o(-1). Sort s, l, -5, -3 in ascending order.
-5, s, -3, l
Suppose 0 = s - 20*x + 17*x + 5, 4*s - 12 = -4*x. Sort -3, s, -24 in decreasing order.
s, -3, -24
Let f be 8/14 + (-8502)/546. Sort 3, f, -0.02.
f, -0.02, 3
Let p = -4 - -5.8. Let c = -0.3 - p. Let u = -1.7 - c. Put 0.3, -1/3, u in ascending order.
-1/3, 0.3, u
Let f = 29/1178 - -5/62. Put -0.04, 8, f in increasing order.
-0.04, f, 8
Let a = -111 + 162. Suppose n - 3*n = 5*g - a, n = -3*g + 30. Let x be 2/36 + (-2)/g. Sort 3, x, -1/2 in decreasing order.
3, x, -1/2
Let z be 2/12 + 3027/(-54). Let p = z - -56. Suppose 0 = -m - 0*m - 1. Put 0.3, m, p in increasing order.
m, p, 0.3
Let j = -7 - -4. Let c be 4 + (16 - 4)/(-3). Sort -2, c, j in decreasing order.
c, -2, j
Let f be ((-20)/(-8))/(35/(-7)). Let d = 0.1 - 0.8. Let c = d - -0.4. Put f, -0.15, c in decreasing order.
-0.15, c, f
Let m(v) = v**3 + 7*v**2 - 8*v. Let f be m(1). Put 2, f, 3, -71 in decreasing order.
3, 2, f, -71
Let h be ((-8)/3)/((20/6)/5). Suppose l + 5*d = -24, -2*l + 4*d + d = -27. Suppose 0 = -g + 4 - l. Put h, 0, g in ascending order.
h, 0, g
Suppose -17 = -5*b - 4*c, 2*b - b = -c + 3. Suppose 17*j - 30*j = 39. Sort b, 3, j in increasing order.
j, 3, b
Let g = -242 + 238. Sort 11, g, 21.
g, 11, 21
Let w(b) = b - 7. Let p be w(9). Let a = 0.14 + 3.46. Let t = -5.6 + a. Put p, t, -3 in decreasing order.
p, t, -3
Let y be (1 - 0)/((-3)/30). Let m be 12/y*30/9. Put 2, -5, m, -3 in decreasing order.
2, -3, m, -5
Let p be ((-6)/42)/(35/49)*11. Sort p, 2/3, 0.023 in descending order.
2/3, 0.023, p
Suppose 0 = -q - 3*z - 23, 4*q - 37 = 5*z - 61. Sort q, -8, -1, -4 in decreasing order.
-1, -4, -8, q
Let m be ((-1)/6)/(16/32). Sort -2/9, 168, m, 1 in descending order.
168, 1, -2/9, m
Let c = 211 - 207. Put -2, -3, c in ascending order.
-3, -2, c
Let z = -3 - -3.3. Let o = -25 - -127/5. Put z, -0.3, o in increasing order.
-0.3, z, o
Let b be (-5)/(-30)*6 + 0 + 3. Let v be (1 - 0)/(0 + -1). Put v, b, 2 in descending order.
b, 2, v
Let l = 15 - -19. Suppose 4*o - l = -5*h + 16, -2*h + 32 = 4*o. Sort 5, h, 0.
0, 5, h
Let w be (-30)/(-25)*10/(-4). Let l be (w + 2)*(7 - 8). Put l, -11, -4 in decreasing order.
l, -4, -11
Let s = 904 - 4517/5. Sort 1, s, -1 in decreasing order.
1, s, -1
Let i = -336 + 336.3. Sort -0.16, 2, i, -0.1 in descending order.
2, i, -0.1, -0.16
Let k = 0 - -2. Let n(r) = 8*r**2 - r. Let o be n(1). Let q be 3*(o/k + -3). Put 4/3, 1, q in decreasing order.
q, 4/3, 1
Let p = 32 + -32. Sort 4, -4, p, -5 in descending order.
4, p, -4, -5
Suppose j = 17 - 12. Suppose -4*m + 5*p + 87 = 0, 0*p + 165 = 5*m + j*p. Let k be 2/(-3) - m/(-6). Sort k, 0, 3.
0, 3, k
Let k be 6/((-2)/(-3)*-1). Sort -1/6, k, 0, -0.4 in decreasing order.
0, -1/6, -0.4, k
Let r = 13 - 7. Suppose n - u - 2 = 0, -3*n - 3*u = -4*n - 4. Let w