 Let y = -23 - x. Put 0, d, y in decreasing order.
y, 0, d
Let l(k) = 27*k - 2642. Let p be l(108). Sort -1, 1, p, -2.
-2, -1, 1, p
Let a = -483 + 3383/7. Sort 1/6, 0.6, 0.1, a in ascending order.
0.1, 1/6, a, 0.6
Suppose -72 + 48 = -2*k. Let y be (k/15)/((-4)/20). Put 5, y, 28 in descending order.
28, 5, y
Let y = -81 + 80. Let x = -5.66 + 6.66. Put x, -0.3, y, 0.4 in decreasing order.
x, 0.4, -0.3, y
Suppose 0 = 161*j - 158*j - 165. Let c = j - 221/4. Sort c, -3, 2/7, 0 in decreasing order.
2/7, 0, c, -3
Let s = -0.031 + -0.02. Suppose -z + 2*f = 8, f = 1269*z - 1268*z + 4. Sort z, s, 1/6 in ascending order.
s, z, 1/6
Let w = -160 - -164. Let j(v) = v**3 + 5*v**2 + 4*v + 2. Let x be j(-4). Let t = -280 + 280. Sort t, -1, x, w in increasing order.
-1, t, x, w
Let v = 0.332 + -0.332. Let k be (-8)/52 + 2/182. Put v, 0.1, k in ascending order.
k, v, 0.1
Let n = -0.8 + -4.2. Let o = -2/13 + 17/26. Let b(w) = w + 10. Let m be b(-5). Put 1/4, o, m, n in decreasing order.
m, o, 1/4, n
Suppose -2*b = m - 60, -5*b + 48 = 3*m - 135. Let x be (-24)/m - (-12)/22. Put x, -1/2, 2/3, -1 in ascending order.
-1, -1/2, x, 2/3
Let y(q) = q**2 - 15. Let m be y(0). Let a = 1019 + -1021. Sort 1, m, -1, a in decreasing order.
1, -1, a, m
Suppose 4*p = -6*o + 4*o + 14, -2*o = -5*p + 13. Sort p, -3, -0.26, -6 in decreasing order.
p, -0.26, -3, -6
Suppose -x + 12 = 4*w, -5*x + 13 + 9 = w. Let v be (17/((-544)/152) - -6)*-4. Sort -1, v, x.
v, -1, x
Let v = 0.4 - 0.28. Let o = 13.12 - v. Let m = -13 + o. Put -5, 0.5, m in ascending order.
-5, m, 0.5
Let f = 5.045 + -0.045. Let u = f + -4.7. Suppose w + 4*o = -3*w, -3*o + 6 = w. Sort -2, -1/5, u, w in descending order.
u, -1/5, -2, w
Let p = 6021 + -6016. Put 8, 0, -52, p in descending order.
8, p, 0, -52
Suppose -1 + 6 = g. Suppose 26*w - 15*w + 1529 = 0. Let b = w + 136. Put g, 1, b, -1 in decreasing order.
g, 1, -1, b
Let r = 8.6 - 1.6. Let u = r - 7.5. Suppose 7*y = -1520 + 1527. Sort y, 0.3, 2, u in increasing order.
u, 0.3, y, 2
Let u = 94271/6 - 15747. Let k = -106/3 - u. Sort -3, k, 2/3, 4.
-3, k, 2/3, 4
Let v be -2*(3 + -2) - 5. Suppose -24 = 64*m - 58*m. Put m, v, 18 in descending order.
18, m, v
Let y(v) = v**2 - 3*v + 3. Let t be y(2). Let s = -288 + 288.4. Sort 33, s, t.
s, t, 33
Let k be 54/(-18)*2/3. Let j be 1 + (k/1 - 20/5). Suppose 2*d + 6*f - f = 25, -d + 8 = f. Sort 46, d, j in ascending order.
j, d, 46
Let r = 2739 + -2738. Put -1, r, 2, 19/2, 2/5 in ascending order.
-1, 2/5, r, 2, 19/2
Let j = 7041 - 7004. Sort j, 0, -22 in decreasing order.
j, 0, -22
Let n = -3408 + 3407. Sort n, 190, -6 in ascending order.
-6, n, 190
Suppose -7*p = -3*p - 188. Let d = p + -10. Let v(c) = -2*c**3 + 9*c**2 + 51*c - 201. Let g be v(6). Sort -2, d, g, 5 in increasing order.
g, -2, 5, d
Let r = 12511 + -12512. Let g = 3 + -3. Sort 2, r, g, -4.
-4, r, g, 2
Let g = -50 - -80. Suppose 0 = 2*n + 4*v - 98, 2*n - 176 = -2*n - 3*v. Let m = n - 44. Put m, g, 1 in increasing order.
m, 1, g
Let u(i) = -i**3 + 5*i**2 - i. Let d be u(5). Let g be (-4)/3*612/24. Let t = 31 + g. Sort t, 4, d, -2 in decreasing order.
4, -2, t, d
Let p(g) = -g**3 - 15*g**2 - g - 18. Let l be p(-15). Let k(z) = -2*z**3 - 14*z**2 - 21*z + 7. Let h be k(l). Put h, 5/3, 12 in increasing order.
h, 5/3, 12
Let m be 4*((-1410)/84 + 17). Put -15/2, -0.5, m, -3/2, -1 in decreasing order.
m, -0.5, -1, -3/2, -15/2
Let c = 12077 + -12077. Let t = -2.21 - -4.24. Let a = t + -0.03. Sort -1, a, c, -2 in ascending order.
-2, -1, c, a
Let l = 2 - -2. Let r = -0.7 - -0.2. Let h be (2/(-8))/(98/1568). Sort l, h, -1, r in decreasing order.
l, r, -1, h
Let h = 890030 + -890033. Let k = 1 + -1. Sort h, 1/5, k in decreasing order.
1/5, k, h
Let r = -184 - -182. Put r, -12, 1/7, -1/8 in decreasing order.
1/7, -1/8, r, -12
Let w = 2523 - 2547. Let s be -1*(-1 + 0)*-25. Let t = w - s. Put 5, -4, t in decreasing order.
5, t, -4
Let a = 5.093 + -0.093. Let k = -5309/21 - -758/3. Put k, 1, a, 0 in increasing order.
k, 0, 1, a
Let u = -7125 - -7123. Put u, 104, 5 in descending order.
104, 5, u
Suppose 0 = 4*g - 2*k + 16, -5*k + 15 = 3*g + 1. Let r = -6378 - -6378.02. Sort 4, r, g, 0.11 in decreasing order.
4, 0.11, r, g
Let k = -65 + 65. Suppose k = r - 19 + 11. Suppose -4*f + 10 = 2*i, 4*i + r = -f + 14. Sort 3, i, 4, -1.
-1, i, 3, 4
Let u(p) = -p**2 - 1. Let a be u(0). Let q be 2*(0 + -1)*(15 + -10). Sort 3, q, a.
q, a, 3
Let g = 62 - 106.8. Let v = g - -42.8. Sort v, -0.1, -2/3.
v, -2/3, -0.1
Let p(z) = -z**3 + 7*z**2 + 5. Let b be p(7). Suppose 0 = c - 5*c - 3*d + 27, -5*c + 25 = 2*d. Suppose -3*r - 3 = 3. Sort c, r, -4, b in decreasing order.
b, c, r, -4
Suppose -2*k = 3*g - 3, 4*k - k - 12 = -3*g. Suppose -14*j - 19 = k. Let z = 5 - 0. Sort -3, j, z, 1.
-3, j, 1, z
Suppose -24*g - 253 - 419 = 72*g. Sort 1, g, -4, -19, 2.
-19, g, -4, 1, 2
Suppose 4*v = 2*h + 14, 40*h = 39*h - v - 4. Sort h, 5, -53 in decreasing order.
5, h, -53
Let k = 3862 + -3862.4. Sort 7, k, 0, 0.1 in decreasing order.
7, 0.1, 0, k
Let u = -384 + 389. Sort 2, u, 15 in increasing order.
2, u, 15
Let b = -3.781 + 4.781. Sort b, -18, -2, 2/9, 5 in ascending order.
-18, -2, 2/9, b, 5
Let z = 0.5 + -0.2. Let q = 18351 + -18353. Sort 2, z, q, -1/3 in increasing order.
q, -1/3, z, 2
Let u = -114 + 116. Suppose -c + 5 = -u*x, 2*x = -x + 3*c - 15. Put x, 3/7, 20 in descending order.
20, 3/7, x
Let c = -1358 + 1358.01. Put c, 0.024, -4, 0.3 in decreasing order.
0.3, 0.024, c, -4
Suppose -3*q - 2*b = 20, 3*b = -q + 5 - 21. Sort -11, -1, -3, q.
-11, q, -3, -1
Let m = 1589 + -1591. Sort -9, m, -6, -3, -4 in increasing order.
-9, -6, -4, -3, m
Let c be 3*-1 - 28*(-7)/14. Suppose -4*j + 9 + c = 0. Let q = -50 - -49.9. Sort -5, q, j, 2/7 in descending order.
j, 2/7, q, -5
Let v be (1 - 1) + 8/(-6). Let l = -552 - -51. Let k = 483 + l. Sort -5, v, k.
k, -5, v
Let v = -82/49 - -640/441. Let w(x) = 5*x - 10. Let g be w(10). Let m = 362/9 - g. Sort m, -1, -0.2, v in decreasing order.
m, -0.2, v, -1
Let u(r) = -r**3 + r**2 + 3*r - 2. Let c be u(2). Let w(k) = k**2 + 14*k - 1. Let s be w(-14). Let z be ((-10)/(-5) - -4) + -4. Put z, s, c in descending order.
z, c, s
Suppose f = 4*c + 18, f - 103*c - 13 = -100*c. Sort f, 4, 3, -29, 5.
-29, f, 3, 4, 5
Let a = 120 - 118. Suppose -a*g + 4*g = 10. Sort 2, g, 4 in descending order.
g, 4, 2
Let i = 6072 - 6068. Sort -5, i, 1, -3.
-5, -3, 1, i
Let t = -154/9 - -31/9. Let w = 185 - 199. Let k = t - w. Put 0.1, -1/3, k, -2 in decreasing order.
k, 0.1, -1/3, -2
Let g = -693758/189 - -22025/6. Let z = g - -2/189. Suppose 6*m - 2*m = -n - 18, -4*m = -3*n + 26. Sort -1, z, n in ascending order.
-1, z, n
Let s = -330.4 + 330.8. Sort s, -0.4, 7/5 in ascending order.
-0.4, s, 7/5
Let m be (0 - 7)*51/17. Let h be (-8)/(-12) - (-8)/m. Let q = 7.7 + -8. Sort h, 4, 0.2, q in ascending order.
q, 0.2, h, 4
Let h = 794 - 802. Let y = -644 - -646. Sort h, 4, -1, y in increasing order.
h, -1, y, 4
Let k = -0.0251 - 268.9749. Let z = k + 267. Sort 2, -2/13, 0.4, z.
z, -2/13, 0.4, 2
Let f be 2/(-2*(-2)/10). Let q = -129656 + 129653. Sort 3, 0, q, f.
q, 0, 3, f
Let p = -9089 - -8870. Sort -13, p, -2.
p, -13, -2
Let t(v) = v**2 - 10*v + 4. Let s be t(10). Let w be (-11)/(-10) + ((-204)/24)/17. Sort -2/13, w, s in descending order.
s, w, -2/13
Let z be ((-10)/(-9))/((-10)/(-45)). Suppose -r - 10 = -6. Let b be (2/(-6))/((-2)/(-6)). Put r, b, 0, z in ascending order.
r, b, 0, z
Let u = 58 - 63. Let m = 826 + -818. Let i(r) = -r**3 - 3*r**2 + 2*r - 3. Let f be i(-4). Put u, 2, f, m in decreasing order.
m, f, 2, u
Let y(f) = 2*f**2 - 30*f - 247. Let t be y(21). Let a = 5 + -13. Let v = a - -4. Sort v, t, -12 in descending order.
t, v, -12
Suppose -d + 24 = 3*d. Let k(t) = t**2 - 3*t. Let q be k(3). Let l(g) = -5*g**3 + 936*g**2 - 1118*g + 370. Let p be l(186). Put d, q, p, -1 in decreasing order.
d, q, -1, p
Let u(r) = 2*r**3 - 12*r**2 - 154*r - 55. Let t be u(-6). Sort -7, -2, 1, 20, t.
-7, -2, 1, t, 20
Suppose 20 = -7*o + 12*o + 5*w, 4*o = -3*w + 10. Put 4, -4, o, 5, 0 in descending order.
5, 4, 0, o, -4
Let v(n) = n**3 - 16*n**2 + 10*n + 69. Let f be v(15). Sort -10, f, 4 in descending order.
4, f, -10
Let h = -3811 - -3808. Let u(x) = -5*x + 1. Let v be u(-1). Put 0.5, -0.1, v, h in decreasing order.