k*z = 2*z. Let q = 146 + -149. Put z, q, 1 in decreasing order.
1, z, q
Let t be 2*(21/(-6))/7. Let s = -7 - -19. Suppose -3*o + s = -6*o. Sort t, o, -3 in increasing order.
o, -3, t
Let c = -54 + 55. Sort -29, -8, c in descending order.
c, -8, -29
Let s be (-9 - -8)*(3 - 2). Let h be (-1)/s - (3 - 1). Sort 0.08, -2/11, h in ascending order.
h, -2/11, 0.08
Let t(f) = -f**2 + 2*f + 5. Let d be t(4). Let i be 2 + -2 + -3 + (-9 - -1) + 11. Suppose 5*c + k + 4*k = 30, 2*c - 3*k + 3 = 0. Put d, c, i in ascending order.
d, i, c
Let a = 21 - 12. Let o be (-2)/((-1)/(a/12)). Put 4, 3, o in increasing order.
o, 3, 4
Suppose 0 = -2*o - o + 9. Suppose 4731 - 1246 = -17*i. Let f be (2*(-4)/10)/(574/i). Sort o, f, -0.5 in decreasing order.
o, f, -0.5
Suppose -6 = -a + 4*a. Let y(g) = -3*g + 13. Suppose 2*b - v + 2 = 19, -v - 35 = -5*b. Let t be y(b). Sort 2, a, t.
t, a, 2
Let h = -4 - 2. Let r = 0.04 - -3.96. Put 1/3, h, r in ascending order.
h, 1/3, r
Suppose 3*x - 5*x + l + 1 = 0, -x = -l - 3. Put 4, x, -86, 1 in decreasing order.
4, 1, x, -86
Suppose -3*k + 3 = -0. Let y = 4 + -3. Let c = 5 - y. Sort c, -2, k.
-2, k, c
Let j be 8 - 296/(-160)*-4. Let z = 0.02 - -3.98. Sort z, 2, j, -2 in decreasing order.
z, 2, j, -2
Let b = 822 + -818. Sort b, -3, 71, 8 in ascending order.
-3, b, 8, 71
Suppose -3*l - 21 = -30. Let k be (33/(-22))/(42/(-8)). Put k, l, -2 in increasing order.
-2, k, l
Suppose k - 6*j - 1 = -2*j, 2*k + 2*j = -8. Let r be (4/8 - k)*2. Let v = -15 + 10. Put v, r, 0.1 in descending order.
r, 0.1, v
Let z = 5/22 + -2/33. Let h = 12780 - 153359/12. Put h, 0.4, z in descending order.
0.4, z, h
Suppose -5*p - 2*w = 0, 0*p = 2*p + 5*w - 21. Suppose -2*u - 8 = 0, 3*r = 3*u + 18 + 6. Sort -5, r, p.
-5, p, r
Let f = -625.5 - -626. Sort 1, 0.2, -9, f.
-9, 0.2, f, 1
Let n = 10 + -7. Let h = 0.2753 - 0.2753. Put 5, 0.3, h, n in descending order.
5, n, 0.3, h
Let l be 8/20*(6 - -4). Suppose 0 = -5*c - l*j + 37, c - 7 = -2*j + 4. Suppose 8 - 28 = c*h. Sort h, 3, 1.
h, 1, 3
Let q be ((-351)/108)/(3/(-12)). Put -2, 11, 3, q in descending order.
q, 11, 3, -2
Let z = 37 + -39. Let m be 250/200 + z*(-3)/8. Put -0.4, -1/6, -2/7, m in ascending order.
-0.4, -2/7, -1/6, m
Suppose 0 = -49*j - 5*j. Sort j, 7, -46 in descending order.
7, j, -46
Suppose 0 = -4*i + i - 5*a - 22, 3*i - a + 10 = 0. Sort 4, 1, 21, i in ascending order.
i, 1, 4, 21
Let j = 18 - 143/8. Let r = -0.061 + 3.061. Sort 2/11, j, r, -4 in ascending order.
-4, j, 2/11, r
Let x(b) be the first derivative of 1/2*b**4 + 2*b - 4/3*b**3 + 8 + 1/2*b**2. Let t be x(2). Sort 0, 1, t.
0, 1, t
Let k = -126 + 126.37. Put k, -0.4, 5 in ascending order.
-0.4, k, 5
Let k = 367.2 + -367. Put 4/3, 0.29, k, -1 in descending order.
4/3, 0.29, k, -1
Let x = 26/135 + 4/135. Put 0.3, x, -1 in decreasing order.
0.3, x, -1
Let m be 4 - 1 - -2 - 1. Suppose -m*z - 13 - 63 = 0. Let h = z + 15. Sort h, 1, 2 in ascending order.
h, 1, 2
Let x be 39/65*5 - 5. Let i = 47 - 71. Sort i, 4, x.
i, x, 4
Let x = -327/14 + 47/2. Let a = 0.1 - -4.2. Let g = a + -4.2. Sort x, -1, g.
-1, g, x
Let l = -25 + 1. Let d = l + 27. Put -3/5, -10, 4, d in descending order.
4, d, -3/5, -10
Let m be (27/(-3))/3 - -7. Let d = -7 + 8. Let p be 3/3*d - 6. Sort -3, p, m in descending order.
m, -3, p
Let b(m) = 20*m + 238. Let i be b(-12). Sort i, -5, 21.
-5, i, 21
Let r = 355 + -354. Sort r, -3, 3, -4.
-4, -3, r, 3
Let l be 155/186*9/(-10)*2. Put l, 1, 0.03 in descending order.
1, 0.03, l
Suppose 80*c - 663 = 29*c. Put -1/2, c, -0.1 in decreasing order.
c, -0.1, -1/2
Let q = 0.0367 + 0.3633. Sort -2, -2.1, -5, q in decreasing order.
q, -2, -2.1, -5
Let t = 1.2 + -1. Suppose -2*g - 2*z = 18, -2*g + 2*z - 7 = 11. Let l = g + 14. Sort -1/7, t, l.
-1/7, t, l
Let i(c) = 36 + 14*c**2 - 72 + c**3 + 13*c + 32. Let d be i(-13). Sort d, 16, 4.
d, 4, 16
Let w = 42 - 42. Suppose 2*h + 2*h - 20 = w. Sort -2, h, 0 in descending order.
h, 0, -2
Let g be ((-85)/68)/(5/(-8)). Put 0, g, 20 in descending order.
20, g, 0
Suppose -v = -0*k - 3*k - 20, 4*k + 20 = 0. Let o be 3/(-6) + v/(-2). Sort -15, 1, o in increasing order.
-15, o, 1
Let p(k) = -6*k - 1. Let l be p(-1). Suppose 0 = r + 4*x - 0*x - 20, l*r + 4*x - 20 = 0. Sort r, -1, 4, -5 in ascending order.
-5, -1, r, 4
Let x = 118/147 + -23/49. Sort -0.2, 1/4, x, -0.12 in ascending order.
-0.2, -0.12, 1/4, x
Let z = -7/8 + 79/72. Sort -4, z, 3, 1/7 in descending order.
3, z, 1/7, -4
Let h be (-9)/(-12)*4*(-4)/12. Let d(l) = -2*l + 21. Let w be d(9). Sort -12, h, w in decreasing order.
w, h, -12
Suppose -2*u = 2*u + 20, 5*u + 25 = 2*r. Let d = 1.7 + 0.3. Put r, d, 5 in ascending order.
r, d, 5
Suppose -k - r + 2 = 0, -4*k = 29*r - 30*r + 7. Let h be 4/14 - 78/(-21). Suppose h = 4*l - 8. Put -4, k, l in decreasing order.
l, k, -4
Let x = -383 - -264. Let t = -94 - x. Put -0.4, 0.2, -2/15, t in ascending order.
-0.4, -2/15, 0.2, t
Suppose -3*k - q = 224 + 260, k + 4*q + 154 = 0. Let t = k + 651/4. Sort t, 0.5, -2/3, 2/7 in increasing order.
-2/3, 2/7, 0.5, t
Let t = -11.34 - -0.34. Let u = t - -12. Sort -0.4, u, 3/4 in ascending order.
-0.4, 3/4, u
Let d(k) = -17*k - 285. Let p be d(-12). Put p, 0, -5 in decreasing order.
0, -5, p
Let v = 2313 - 2304. Sort 5, v, 4, 6 in descending order.
v, 6, 5, 4
Let k = 1.9 - 0.9. Let y = -1 - k. Sort 0, y, -3.
-3, y, 0
Suppose -2*f - f + 5 = 4*q, -5*q = f + 2. Suppose 3*p - 90 + 62 = 4*b, -4*p = 3*b - 4. Put 5, b, f in descending order.
5, f, b
Let o be 2/(-2) + 6/3 + -7. Let v be 16/o*(-3)/(-2). Let g = -5 - -4. Sort g, v, 2 in increasing order.
v, g, 2
Suppose -26*k = -118 - 64. Let a be 12*((-5)/(-4))/5. Put a, -3, k, -1 in descending order.
k, a, -1, -3
Let m = -77 + 97.8. Let r = 21 - m. Sort r, -2/11, -4/9.
-4/9, -2/11, r
Let y = 3 - 2.8. Let n = -13 - -12.5. Let m = -0.2 - 0.8. Sort m, n, y in increasing order.
m, n, y
Let j = -0.055 - 3.445. Let q = 5.5 - j. Put q, -2/5, 1 in increasing order.
-2/5, 1, q
Let w be (3/7*56/(-42))/6. Put 2/11, w, -1/6, -5 in increasing order.
-5, -1/6, w, 2/11
Let n be (3 + 2)*1/(-1). Let x(v) = -v. Let q be x(0). Sort n, q, 2.
n, q, 2
Let f be (1/2)/((-85)/(-14) + -6). Put -1, 2, 4, f in increasing order.
-1, 2, 4, f
Let g(n) = -3*n - 16. Let k be g(-5). Let w be 1 - (3*(1 + -2) - k). Put 6, w, -1 in decreasing order.
6, w, -1
Let f be (-20)/(-30)*(18/4 + -3). Sort 8, f, -5, 3 in descending order.
8, 3, f, -5
Let x = -14 + 13.4. Let q = x - -0.2. Put q, -2/33, 1 in decreasing order.
1, -2/33, q
Let n = 0.63 - 4.23. Let p = n - 0.4. Let f = -0.4 + 0.2. Put 2/3, f, p in ascending order.
p, f, 2/3
Let q be 132/4 + 2/(-2 - 0). Let f be 3/108*q/12. Sort f, -0.5, 4 in increasing order.
-0.5, f, 4
Suppose -m + 5*z = 25, m - 3*z = -23 + 6. Let i(v) = 7*v + 102. Let b be i(-14). Put b, -1, m in descending order.
b, -1, m
Suppose 2 = -h - 4*l - 7, 6 = h - l. Let w = -2 + h. Suppose -17*y - 5 = 12. Put -0.1, y, w in descending order.
w, -0.1, y
Suppose -15*o + 113 - 98 = 0. Sort 3, o, 5, 19.
o, 3, 5, 19
Let a = 1 - -30. Let u = a + -31. Let k = -20/7 - -121/35. Sort k, -1/6, u in descending order.
k, u, -1/6
Suppose 3*s + 2*l - 2 = 9, -5*s + 17 = 4*l. Suppose 5*y + 110 = -5*w + w, 0 = 3*w. Sort y, s, 0.
y, 0, s
Let v(f) = -f**3 - 5*f**2 - 4*f + 2. Let i be v(-4). Suppose -i*l = -0*l + 20. Let z = 14 + l. Sort z, 3, -1 in decreasing order.
z, 3, -1
Suppose -19*t = -16*t + 29*t. Let m be ((-3)/(-2))/((-2)/4). Sort -1, 14, m, t in increasing order.
m, -1, t, 14
Let f = 2.987 + -2.987. Sort -0.13, f, -2, -3 in decreasing order.
f, -0.13, -2, -3
Let j be (((-72)/(-34))/12)/(24/16). Let o = -6.3 - -1.3. Sort -0.1, j, o.
o, -0.1, j
Let f = -4 + 5. Suppose 4*w - 16 = -8. Sort -2, w, -5, f.
-5, -2, f, w
Let y = 81 - 83. Let q = y - -3. Sort q, -1/6, 2/5, -1/4 in ascending order.
-1/4, -1/6, 2/5, q
Suppose -3*j - 10 = t - 2, 0 = -4*j - 4*t - 8. Sort 2, 1, j, -6 in increasing order.
-6, j, 1, 2
Let c(d) = -d**2 + 35*d - 124. Let i be c(32). Sort 0, -2, i in descending order.
0, -2, i
Let l = -65.109 - -0.109. Let r = -62 - l. Let s = -0.06 + 0.46. Sort r, -0.4, s.
-0.4, s, r
Let j be 55500/(-6930) - 4*-2. Put -3, j, 3, 0.2 in increasing order.
-3, j, 0.2, 3
Suppose -98*r = -102*r - 12. Sort -5, r, -20, 1.
-20, -5, r, 1
Let q = 0.35 + -0.55. Sort -4, 0.5, q in 