 decreasing order.
j, -4, l
Suppose -c + 4*v = -5*c, v - 5 = -4*v. Let y = -25 + -1. Sort y, -3, c in decreasing order.
c, -3, y
Let f be (-2)/29 + 26/377*59. Let b(h) = h + 0 + 3*h**2 - h**3 - 3*h - 3. Let w be b(3). Put -2, w, f in descending order.
f, -2, w
Let x be 6 + 6*12/(-18). Suppose x*p = 2*u + 8, 4*p + 23 = 6*p - 5*u. Sort p, -11, 1 in ascending order.
-11, p, 1
Let q = 38.01 + -48.01. Sort q, 1/4, -4/5, 26 in decreasing order.
26, 1/4, -4/5, q
Suppose 5*x - 5 = 0, 305 = -4*q - 5*x - 50. Let p be (-12)/q - (-123)/90*1. Sort -4, -0.08, p, -0.2.
-4, -0.2, -0.08, p
Suppose -127 = -4*d - 2*g - 35, 3*g - 42 = -2*d. Suppose d*r + 0*r = 120. Put -28, 0, -4, r in ascending order.
-28, -4, 0, r
Let y(x) = 332*x + 2653. Let a be y(-8). Sort 3, 79, 2, a, 5 in descending order.
79, 5, 3, 2, a
Let p be ((-2)/3)/((-33)/9). Suppose -3*r - 2*q + 15 = 0, 9*r + 2*q = 4*r + 25. Suppose -r*a - 9 = 1. Sort a, p, 0.1 in descending order.
p, 0.1, a
Suppose -4*x + 3 = 5*f - 16, 2*f = -4*x + 10. Let s = -0.2 + 0.4. Let m = -1.8098 - -1.9098. Sort s, m, f, -4.
-4, m, s, f
Suppose -3*p - 119 = -299. Let w = 85 - p. Suppose 13*z - w = 8*z. Sort z, 2, -22.
-22, 2, z
Let w be 116/12 + (-6)/9. Suppose -24*j + 15 = -w*j. Suppose 4*g + 2 = 3*d - 8, d - 4*g = 14. Sort 4, d, 2, j in descending order.
4, 2, j, d
Suppose z = 3*a - 2*z + 171, a + 73 = 3*z. Let c be (-3)/((-9)/2)*3. Sort c, a, 0, -1.
a, -1, 0, c
Let z(k) = 2*k**3 - 57*k**2 + 105*k - 599. Let f be z(27). Sort -2, 0, -3, -5, f in ascending order.
-5, -3, -2, 0, f
Let w(z) = -2*z**2 + 9*z + 8. Let h be w(5). Suppose m - 5*d - 3 + 4 = 0, -m + 4*d = h. Let c = -10 + m. Sort 0.1, c, 1, -0.1 in decreasing order.
1, 0.1, -0.1, c
Let f = -1.09 - 14.71. Put 2, f, -0.4 in descending order.
2, -0.4, f
Let h(y) = 3*y**2 - 42*y - 283. Let b be h(19). Let r = 19 + -13. Let f be (-2)/(-5)*5*-1. Put b, r, f in increasing order.
f, b, r
Let r = -272.5 + 237.5. Put -8/5, r, 0, 1 in ascending order.
r, -8/5, 0, 1
Let c = 4 - 9. Suppose -2*d + 13 = -19*n + 18*n, -4*n = -3*d + 22. Put 3, n, c, 0 in descending order.
3, 0, n, c
Let u = 86 - 50. Let x be 3/(-9)*(-27)/u. Let t = -6 - -7. Sort 1/5, t, x, -0.2.
-0.2, 1/5, x, t
Suppose -4*z - 6 = v - 3, 0 = 4*v + 4*z - 36. Put 1, v, -1, 38 in descending order.
38, v, 1, -1
Let w = -90.5 + 50.1. Put -0.2, -1/4, w in decreasing order.
-0.2, -1/4, w
Suppose 0 = -2*t + 6, -r - 3*t + 0*t = -16. Suppose -r*h = -5*h + 2, 2*h - 10 = -3*i. Put i, 1, -3, 3 in descending order.
i, 3, 1, -3
Let s = 0.3427 - -66.6573. Put 0, 1, s in descending order.
s, 1, 0
Let u = 614 - 618. Suppose -11*b + 9 = -8*b. Let g(c) = c**2 - 9*c + 9. Let o be g(7). Put 4, b, o, u in descending order.
4, b, u, o
Let p = 31424 - 31417. Put p, -5/3, -4/45 in ascending order.
-5/3, -4/45, p
Let i = 1714738/63 + -27221. Let q = i + -7951/1197. Let t = -16964/1767 - q. Sort t, 2, -2 in increasing order.
-2, t, 2
Let o = -5.6 + 6. Let z be -113 - 54/12*2/3. Let x = -235/2 - z. Sort o, x, -2/3, 0.3 in decreasing order.
o, 0.3, -2/3, x
Let l = 16196 - 16197. Sort -5, l, -28, 4 in increasing order.
-28, -5, l, 4
Let j(n) = n**3 - 49*n**2 + 50*n - 93. Let m be j(48). Sort -3, -4, -2, m, 7 in decreasing order.
7, m, -2, -3, -4
Let l = 255.62 + -255.92. Put 0.06, 5/3, -0.43, -0.5, l in descending order.
5/3, 0.06, l, -0.43, -0.5
Suppose 0 = -0*o - o + 5. Let g = 15314 + -15318. Put 1, g, -7, o in decreasing order.
o, 1, g, -7
Let a = -13560 - -13556. Put 1, 3, -107, a in decreasing order.
3, 1, a, -107
Let h(b) = 7*b**2 + 8*b - 3. Let p be h(-2). Let f be (-38)/19 + p/3. Sort f, -2, -11, -5.
-11, -5, -2, f
Let y = 60.54 - 134.71. Let v = 74 + y. Sort 0.1, v, -4 in increasing order.
-4, v, 0.1
Suppose -77*k + 18 - 120 = 206. Sort -276, 1, k, -1 in ascending order.
-276, k, -1, 1
Let t be (1037/(-51) + 20)/((-8)/6). Sort 24, 2, t, 4 in ascending order.
t, 2, 4, 24
Let m be (-1*16/(-3460))/((-16)/200). Sort 5, m, 3.
m, 3, 5
Let v = 1757 + -3513/2. Let h(y) = 5*y + 3. Let m be h(-1). Sort m, v, -2/5, -2/15 in descending order.
v, -2/15, -2/5, m
Let u be ((-870)/(-1015))/(((-2)/(-35))/(3/30)). Put 5, 0, 0.0392, u in ascending order.
0, 0.0392, u, 5
Let m be (-3816)/(-12390) + (-4)/10. Let z = -3/59 + m. Put z, -2, 0.1, -2/7 in ascending order.
-2, -2/7, z, 0.1
Let h = -3768 + 3767. Put -46, h, 4, 1 in decreasing order.
4, 1, h, -46
Let p = -10935 + 10933. Put 5, 15/11, p, -0.4 in ascending order.
p, -0.4, 15/11, 5
Let z = 201/23 + -1453/161. Sort -2/31, z, 5, 0.1 in ascending order.
z, -2/31, 0.1, 5
Let r = -4 - -6. Let t be (-3)/((-33)/385) + (-4 - 3). Put t, r, 4 in decreasing order.
t, 4, r
Let c = 64.486 - 64.4. Let n = c + -4.086. Put 4, n, -11/4, 5 in decreasing order.
5, 4, -11/4, n
Suppose -5*r = -3*r + 46. Let l = r - -22. Suppose 5*p = -2*b - 9 - 10, p + 3 = 0. Put 4, b, l in descending order.
4, l, b
Suppose 0 = -58*r + 164 + 126. Put r, -1, -57 in ascending order.
-57, -1, r
Let o be -1 + 5 + (-1 - -1). Let v be 0 - (0 - (1 + -1)). Let h = 31736 + -31736.11. Put o, v, -0.2, h in increasing order.
-0.2, h, v, o
Let t(d) = 7*d**2 - 18*d + 16. Let o(h) = 8*h**2 - 19*h + 16. Let u(f) = 6*o(f) - 7*t(f). Let s be u(10). Let j = 17 - 12. Sort s, 1, j, -1 in ascending order.
-1, 1, s, j
Let g(h) = 2*h**3 - 4*h**2 - 3*h - 3. Let z be g(-4). Let i = z - -192. Sort i, -2, 2, 8 in decreasing order.
i, 8, 2, -2
Let o = -14 - -16. Suppose 0*q + 23*q = 0. Sort o, q, -39 in decreasing order.
o, q, -39
Let c = -284 - -298. Suppose 29*l + c = 43*l. Put 3, -2, l in increasing order.
-2, l, 3
Suppose -4*s = -6*t + 3*t - 44, -2*t = 2*s + 20. Sort 3, t, -3, 0 in descending order.
3, 0, -3, t
Suppose 2*x + 3*g = x - 7, 2*g = -4*x - 48. Suppose -2*p = 5*r - 14, -96*p - 6 = -93*p + 3*r. Sort -2, x, p.
x, p, -2
Suppose -5*n = -7*j + 2*j - 35, 3*j - 3 = 0. Let i be (n/264)/((-2)/(-12)). Let f(v) = -2*v - 12. Let b be f(-7). Sort b, -2/9, i in descending order.
b, i, -2/9
Let d = -4.0367 + 0.3197. Let b = -4 - d. Let y = b - 0.017. Sort 3, y, -4/5.
-4/5, y, 3
Let l = 223.6 - 223.4. Let t = 13.3 + -23.3. Sort l, -3, t in ascending order.
t, -3, l
Let f = 28.09 - 31.09. Put -2, 0.5, f, -5, 187 in increasing order.
-5, f, -2, 0.5, 187
Suppose 2*g - 3243*o + 3245*o = 24, 2*o = 2. Put 12, -12, g in descending order.
12, g, -12
Let s be ((-4)/15)/(-4*(-7)/(-10)). Suppose 0 = 26*d - 29*d. Put 0.3, s, d in increasing order.
d, s, 0.3
Let t = -4878 + 4874. Sort t, -0.11, 5 in increasing order.
t, -0.11, 5
Let u be -2 + (2 - 4/9). Let g = -3 - -7. Let h be 80/(-70)*(3 - (-408)/(-80)). Put g, u, h in increasing order.
u, h, g
Let o = -82 - -93.8. Let j = -692.6 + 682.8. Let l = j + o. Put 1/4, -2, l, 1 in ascending order.
-2, 1/4, 1, l
Let c = -328.2 + 332.2. Sort -2/11, c, -8/105 in descending order.
c, -8/105, -2/11
Suppose 3*m - m = 0. Suppose -2*j = 2*n - 0*j, -6 = 2*n - j. Let y be 6 + -9 - ((m - 1) + n). Sort -4, 3, y in ascending order.
-4, y, 3
Let o be (42 - 40)*1/316*4. Sort -2, 5, o in increasing order.
-2, o, 5
Let x be (-6)/4*8/(-6). Let a = -2763 - -2759. Let z(p) = p + 8. Let c be z(0). Sort x, a, c in decreasing order.
c, x, a
Let a = -6207 + 6208. Sort -1/5, -0.03, a in descending order.
a, -0.03, -1/5
Let w be 1888/80 - 2/(-5). Sort 5, -3, 8, w in descending order.
w, 8, 5, -3
Let r be (28 - 4)*(-2)/(-6). Let n(f) = 3 - 22*f**2 + f**3 - 16*f + 16*f**2 - f. Let d be n(r). Put 1, -1, d in decreasing order.
1, -1, d
Let q(j) = -2*j**3 + 90*j**2 - j + 41. Let r be q(45). Put 21, 4, 1, -5, r in increasing order.
-5, r, 1, 4, 21
Let v = 463 - 478. Let y(s) = s**2 + 19*s + 60. Let f be y(v). Put f, -9, 2 in descending order.
2, f, -9
Let p(k) = -27*k + 324. Let y be p(12). Sort 3, -2/17, -0.42, -3, y in ascending order.
-3, -0.42, -2/17, y, 3
Let t(z) = 57*z**2 - 29*z + 48. Let b be t(2). Sort b, 5, 3 in ascending order.
3, 5, b
Let w = -11.5 - 3.3. Let f = 14.9 + w. Put -0.2, f, -0.5 in descending order.
f, -0.2, -0.5
Let k = 98/9 + -100/9. Let q = -4614 + 50751/11. Put k, q, -0.3 in increasing order.
-0.3, q, k
Suppose -195 + 187 = -4*i. Suppose -i*l - 2 = -2*j + 6, -4*j = -5*l - 19. Put l, -107, 4 in increasing order.
-107, l, 4
Let h(a) = -49*a**2 + 141*a - 3. Let x be h(3). Let q(i) = -3*i**2 - 32*i - 24. Let w be q(-10). Sort x, 5, w in d