5*x - 478. Let l = x - -95. Put l, o, -4 in ascending order.
o, -4, l
Suppose -7*k + 54 = 2*k. Sort k, -26, -4.
-26, -4, k
Suppose -5*j + 0*f - 4*f = -164, 0 = -5*j - 5*f + 165. Put j, 4, 0, 2 in decreasing order.
j, 4, 2, 0
Let r = 180 + -182. Sort -1, 2, -5, r in descending order.
2, -1, r, -5
Let a be 4/(8/(-6) + 2). Let s = -4 - -4. Let u be 1/(-3) + (-14)/(-6) - 6. Sort a, u, s in descending order.
a, s, u
Let r be 54/189 - 3/11. Sort r, -9, 0.5.
-9, r, 0.5
Suppose -2*k - 7 = -21. Suppose -k*t + 12*t = -20. Sort -3, t, -10 in ascending order.
-10, t, -3
Suppose z = -y - 1, 0 = 5*y + 3*z - 8*z + 15. Let x = -54 + 65. Suppose x*h - 10*h = -7. Put y, 0, h in increasing order.
h, y, 0
Suppose 3*i - 3*m + 10 = -m, -4*i - 4*m = 0. Sort 4, 5, -3, i in decreasing order.
5, 4, i, -3
Suppose 32 = 5*p + 4*k, 4*p + 6 = 7*p - 2*k. Let f be (6/p + -1)*48. Let q be 1/6 - 4/f. Sort q, -4, 10.
-4, q, 10
Suppose 2*s = -n - 3, -5*n - 8 = -3. Let i = -24 - -23. Let x be (0 - i)/(3 + (-14)/4). Put -3, x, s in decreasing order.
s, x, -3
Let i(c) = c. Let s be i(3). Suppose -12 = -4*q - 0. Suppose 0 = 4*k + u - 16, q*k = -3*u + 10 + 2. Sort k, 0, s in decreasing order.
k, s, 0
Let s be (-2)/(((-22)/(-4))/(-11)). Sort s, -1/2, -0.3.
-1/2, -0.3, s
Let g = -11 + 11.6. Let d = 1.6 - g. Let x = d + 0. Put x, -2, 3/7 in descending order.
x, 3/7, -2
Let o = 1.4 + -1.49. Let m = o + 2.09. Let v = -2.3 + m. Put v, 0.2, 1 in increasing order.
v, 0.2, 1
Let i = 4128 - 4129. Let j = -54 - -596/11. Let u = 0.03 + 0.17. Sort i, u, j in descending order.
u, j, i
Let v = 324 - 324.2. Sort -6, -0.03, v, -3 in decreasing order.
-0.03, v, -3, -6
Let h = -10.56 - -10.61. Let c = -1.9 - 0.1. Sort 0.4, c, h in descending order.
0.4, h, c
Let j be (-3)/15*(33 + -13). Put -2, j, 4 in increasing order.
j, -2, 4
Let n be (-2)/8 + (-19)/(-21). Let h be (-1)/4 + (-91)/(-588). Let x = h - n. Sort 0.2, -0.02, x in decreasing order.
0.2, -0.02, x
Let p(c) = c - 3. Let d be p(2). Sort 1, d, -0.2 in decreasing order.
1, -0.2, d
Let f = 948 + -946. Let i = 1 - -2. Suppose 5*a - 20 = d - f*d, 0 = -i*a - d + 10. Put -4, a, 1 in ascending order.
-4, 1, a
Let u = 8.6 + 0.9. Let b = u - 5.5. Put 5, b, 3, -0.1 in ascending order.
-0.1, 3, b, 5
Let g(m) = 8*m - 7. Let s(h) = 23*h - 20. Let c(j) = -17*g(j) + 6*s(j). Let z be c(2). Let x be 5/(z/6*-2). Sort x, 2, 4 in descending order.
4, 2, x
Let x be (54/(-6) - -3) + 1. Sort -3/4, x, -3/22 in ascending order.
x, -3/4, -3/22
Let f = 0.0407 - 0.3407. Sort -6/11, -1/5, f.
-6/11, f, -1/5
Let g(t) = -t**2 - 11*t - 10. Let h be g(-9). Suppose 13*x - h = 17*x. Sort x, -1, 4 in decreasing order.
4, -1, x
Let f = -156 - -159. Suppose d = -d - 8. Suppose 3*s + 7 + 3 = -g, 2*g - 4 = 2*s. Put f, s, d in decreasing order.
f, s, d
Let h = -16 + 3. Let f = h - -8. Let k be (1 - 1) + 3*5/(-30). Sort 0, f, k in descending order.
0, k, f
Let i = 0.0488 + 0.2512. Let l = 2719/11 - 247. Sort 5, i, l in decreasing order.
5, i, l
Let m = 8 + -5. Let x(d) = 5*d**3 + 8*d**2 + 2*d + 1. Let a be x(-1). Sort -3, a, m in ascending order.
-3, a, m
Let x(l) = 8*l + 225. Let m be x(-28). Sort 2, 0, 4, m in ascending order.
0, m, 2, 4
Suppose 24 = c - 5*r, c - 5 = 2*r + 4. Suppose -46*q = 30*q - 684. Put -5, q, c in ascending order.
-5, c, q
Let w(p) = -p**3 + 6*p**2 - 8*p - 5. Let t be w(4). Let z be t/(-15)*(-6)/22. Put -2, 0.1, z in decreasing order.
0.1, z, -2
Let n(y) = y**3 + 7*y**2 - 13*y - 39. Let x be n(-8). Suppose -2*r - 56 = 3*o, 4*o + 34 + 43 = -5*r. Let w be (-2)/(3/(o/4)). Sort 4, x, w.
x, w, 4
Let d = 1522 - 1527. Let u = -0.26 + -0.04. Put 1, d, u in descending order.
1, u, d
Let c(v) = -v + 5. Let f be c(7). Suppose -2*g + 1 = -3*g. Put 8, -5, g, f in decreasing order.
8, g, f, -5
Let k = 1.29 + -1.69. Put 0.4, k, 1/2, -3/8 in decreasing order.
1/2, 0.4, -3/8, k
Suppose -3*m - 5*s + 27 = 0, 3*s = 3*m - 5*m + 17. Let g = 0 - 4. Let p = g - 0. Sort p, 2, m in descending order.
m, 2, p
Let p = 0.0759 + -1.0759. Sort 2/27, -5, p, 2 in descending order.
2, 2/27, p, -5
Let s be (3/6)/(9/(-774)). Put 4, s, 3, -5 in descending order.
4, 3, -5, s
Let s = 0.3 + -0.8. Let p = -68 + 68.3. Let z = 0.5 - p. Put z, -4, s in decreasing order.
z, s, -4
Suppose 6 = 4*x - 2. Let m = -8.88 - 0.12. Sort x, m, -0.4 in decreasing order.
x, -0.4, m
Let n = 1.24 + -1.4. Let f = -97 - -68. Let a = -34 - f. Sort n, a, -0.1 in descending order.
-0.1, n, a
Suppose -2*j - 43 + 13 = -5*l, 2*l - j = 13. Sort 0.3, 0.6, -4, l.
-4, 0.3, 0.6, l
Let f = -9.82 - 0.18. Let n = 6 + f. Let b = -2.4 + -0.6. Sort b, 0.4, n in ascending order.
n, b, 0.4
Let x = 22.56 - 22.46. Sort 95, x, 0.
0, x, 95
Let g be 1098/8 + (-1)/4. Suppose g - 23 = 2*o. Let k = 286/5 - o. Sort -0.5, k, 5.
-0.5, k, 5
Let r be 80/(-35) - (20/14)/(-5). Sort -15, 0, r in decreasing order.
0, r, -15
Suppose 0*r - 18 = 6*r. Suppose -124*l - 15 = -129*l. Put l, 0, r, -2 in increasing order.
r, -2, 0, l
Let s = 81 - 469/6. Sort -1/5, 2, -0.5, s in ascending order.
-0.5, -1/5, 2, s
Let s be -2 - ((-1)/(-6) - 1918/(-12)). Put 3, 2, s in increasing order.
s, 2, 3
Let t = 2.5 - 4.5. Let p = t - -0.6. Put p, -5, -2 in decreasing order.
p, -2, -5
Let u = 1.04 - 1. Let n = -3503 + 3501. Sort 2/5, u, n in decreasing order.
2/5, u, n
Suppose 3*q = -3*t - q + 17, 0 = 5*t + 3*q - 10. Let g = -0.04 - -0.34. Let i = -1.5 - -1.3. Sort t, g, i in ascending order.
t, i, g
Let q be (-6)/(-21) + 145/7. Let a(f) = -f**2 + 20*f + 29. Let t be a(q). Let p be (16/10)/(t/60). Sort 5, -5, p in descending order.
p, 5, -5
Suppose -2589*h + 2579*h + 150 = 0. Put 1, -8, h in decreasing order.
h, 1, -8
Let a = 1/46 - 13/69. Put -2/3, 2, a, 0.7 in decreasing order.
2, 0.7, a, -2/3
Let q = 130.59 - 130. Let g = q + -0.59. Put 0.2, -4/3, g in decreasing order.
0.2, g, -4/3
Let n be 66/143 - 184/286. Sort -2, 74/13, n in descending order.
74/13, n, -2
Suppose 5*f + 10 = 0, 3*d + 7*f - 3*f + 8 = 0. Let m = 388 + -394. Sort 2, d, m, -2 in decreasing order.
2, d, -2, m
Suppose -3*f - 48 + 54 = 0. Let r be (3 - 28/30) + -2. Let p = -47/30 + r. Sort p, 3, f in increasing order.
p, f, 3
Let c = 623.961 - 624. Sort -4, -1, c in increasing order.
-4, -1, c
Let x be (-8)/(-4) - 2 - -4. Let y(j) = -10*j + 61. Let t be y(6). Let q be 2*((-14)/4 - -2). Sort x, t, q in ascending order.
q, t, x
Suppose 23*b = 4*b - 0*b. Suppose 2*j + 0*j + 146 = -4*x, -2*j - 38 = x. Let n be (-4)/18 + 1/x. Sort 3, n, b in ascending order.
n, b, 3
Suppose 0 = -6*x + 241 - 199. Sort x, -2, 3, 0 in decreasing order.
x, 3, 0, -2
Let i = 0 - 0.1. Let m = 1514 - 1513.7. Sort 0.2, -5, m, i.
-5, i, 0.2, m
Let x = -4310/7 + 616. Sort -2/5, 0.096, x.
-2/5, 0.096, x
Let w(v) = v**2 - 2*v - 61. Let u be w(-8). Sort u, -5, 5, 3 in decreasing order.
u, 5, 3, -5
Let a be (8/6)/(4/(-6)). Put a, 4, -3, 3 in decreasing order.
4, 3, a, -3
Let a = 16 + -32. Let y = 2788 - 11153/4. Put a, -3, y in decreasing order.
y, -3, a
Let b = -153 - -154.1. Sort 0.8, 1, b in ascending order.
0.8, 1, b
Let o be (-11)/5 + (-2)/(-10) + 3. Sort 7, o, -3 in descending order.
7, o, -3
Let l(h) = -h**2 + 2*h. Let f be l(0). Suppose -2*v = 3*v. Suppose -2*p + f*p = v. Sort -4, p, -3 in descending order.
p, -3, -4
Let c be (-3)/(15/(-2)) + 297/(-55). Let g be (0 - -4)*(-33)/60. Sort g, -2, c, -3 in ascending order.
c, -3, g, -2
Suppose -107*o = -117*o + 10. Sort o, 0, -11 in descending order.
o, 0, -11
Let g = -154 + 104. Let t be 4/20*g/(-15). Sort 0.2, -0.2, 2/9, t in descending order.
t, 2/9, 0.2, -0.2
Let j = 1077 + -1080. Put 48, j, -2, -5 in ascending order.
-5, j, -2, 48
Let r be -4*(2/(-8) - -1). Let d = -13584 + 13586. Sort r, -1, d, 4 in ascending order.
r, -1, d, 4
Let j = -22 - -131/6. Let z = -4 - -8. Sort 4/9, z, j in ascending order.
j, 4/9, z
Suppose 0 = -h - 3*h - 3*w + 15, 2*w = -h + 5. Suppose 4*m + 23 + 4 = -3*s, h*m + 4 = s. Sort 0, s, -3 in increasing order.
s, -3, 0
Let y = 558 - 368. Let c be (-198)/y + (4 - 3). Let k = -53/95 + c. Sort k, 1/8, 5 in ascending order.
k, 1/8, 5
Let n = 310 - 310. Put -0.5, 1/4, n, 4 in ascending order.
-0.5, n, 1/4, 4
Let y be (0/(-2))/(-7 + 6). Suppose 22 = -4*v + 5*g, -2*v + 0*v - 4*g + 2 = 0. Put -2/5, v, -1/2, y in ascending order.
v, -1/2, -2/5, y
Let j = 258 + -260. Sort -63, 