v = -15, -y*v = -4*n - 2. Sort 0.3, o, n.
o, n, 0.3
Suppose 7*k = 3*k. Sort -3, -5, k, 1.
-5, -3, k, 1
Let o(i) = 2*i + 4. Let d be o(1). Suppose 3*x + 1 = r - 1, d = r - 5*x. Sort r, 2, 4, 0 in decreasing order.
4, 2, 0, r
Let m be 20/(-5)*(5 - 2). Let c = m + 15. Let h be 2/(c/(9/6)). Sort 0, 4, h in ascending order.
0, h, 4
Let b = 2 - 0. Suppose 0*n = -3*n + 42. Let r be (-3)/n*104/(-39). Put 0.1, b, r in descending order.
b, r, 0.1
Let h(b) = -24*b - 1. Let s be h(0). Sort s, 5, 247 in descending order.
247, 5, s
Let p be 24/9*(-3)/(-2). Suppose k = p*i + i + 22, -3*i = 3*k + 24. Sort 2, k, 0 in descending order.
2, 0, k
Let t(w) = 4*w**3 + 3*w**2 + 5*w + 1. Let j be t(-1). Put j, 3, 9 in decreasing order.
9, 3, j
Let t = -361 - -355. Sort t, -3, -1/3, 1/6 in increasing order.
t, -3, -1/3, 1/6
Let y = 2.358 - 2.158. Let r = 6 + -6.5. Let p = 4.3 - 4. Sort p, r, y in descending order.
p, y, r
Let a(v) = v**3 - 6*v**2 + 6*v - 8. Let p be a(5). Suppose 5*w + 3 = -k, 5*w - 3*k - 5 = -8*k. Sort 5, p, 3, w in ascending order.
p, w, 3, 5
Suppose -3*a = -3*n - 42, 5*a + 39 = -4*n + 145. Let x be (-12)/a*(-6)/(-4). Sort 0, x, -4 in descending order.
0, x, -4
Suppose 3*z - 16 = -t - 3, 5 = -t + 3*z. Suppose -2*b - t = -b. Sort -1, b, -2 in decreasing order.
-1, -2, b
Let z(c) = c**3 - 6*c**2 + 4*c + 1. Let b be z(5). Suppose -7*s + 8 = -69. Sort s, 0, b.
b, 0, s
Let t(k) = k**3 - 12*k**2 + k + 9. Let d be t(12). Suppose -4*r + 4 - d = -w, 0 = -w - 3*r - 18. Sort w, -6, -1 in descending order.
-1, w, -6
Suppose 0 = 8*s - 30 + 6. Suppose 3 - 28 = 5*m + 5*b, 5*m + 1 = s*b. Sort -4, 1/2, m, -2/15 in descending order.
1/2, -2/15, m, -4
Suppose -3*k = 4*j + 4, 3*j + 2*j - k - 14 = 0. Suppose 3*s = 3*r - 12, -4*r + 0*r = 4*s + 8. Put 4, j, 1/4, r in descending order.
4, j, r, 1/4
Suppose 53 = s - 5*l + 4*l, -4*s + 210 = -5*l. Suppose -s*c = -57*c + 2. Sort c, 0, 10 in descending order.
10, c, 0
Let a = -19 + 12. Let p = -237 + 235. Put a, -3, p in decreasing order.
p, -3, a
Suppose c = 4 + 4. Suppose 3*v + c = -1. Let g = 0.38 + 0.02. Sort g, v, -2/7 in increasing order.
v, -2/7, g
Let u = -59.6 + 60. Let j(a) = -a**2 - 6*a - 1. Let m be j(-6). Let g = 3.3 + -3. Put g, m, u in increasing order.
m, g, u
Let n = 16.5 - 12. Let f = n - 5. Let x = -1.7 - 2.3. Sort -2, f, x in increasing order.
x, -2, f
Let u = -136.5 + 137. Let w = -12 - -15. Sort w, u, -20, -1 in ascending order.
-20, -1, u, w
Let k be 2 + 0 + (2 + -1 - 4). Let c be (k + 3 + 0)/(2/(-5)). Sort c, 9, 0, -1.
c, -1, 0, 9
Let d = 6.3 - 1.3. Let s = -3667/9 - -407. Put s, d, -0.6 in increasing order.
-0.6, s, d
Suppose -164*d = -134*d - 60. Put 1, d, 13 in decreasing order.
13, d, 1
Let m = -48.69 + 49. Let k = -0.21 + m. Sort -2/5, 1, k in ascending order.
-2/5, k, 1
Let f(j) = -j**2 - 15*j + 80. Let c be f(-19). Sort -8, c, -3, 5.
-8, -3, c, 5
Suppose 4*v + 72 = -68. Let i be 3/2 + v/(-14). Suppose 0 = -i*o + 2 - 6. Sort -3, -2, o in ascending order.
-3, -2, o
Suppose 5*q = 6*q. Suppose -3*s + 7*s + 3*y - 33 = q, 5*s + 3*y = 42. Suppose -4*n = -3*h - s, 3*n = -0*h + 5*h + 26. Put 2/3, h, 4/7 in decreasing order.
2/3, 4/7, h
Let v = 1504 - 1508. Sort 3, v, 5, -5 in descending order.
5, 3, v, -5
Let y = -2 + 6. Let u = 17.5 + -16. Let x = u + -1.8. Put -0.2, y, x in descending order.
y, -0.2, x
Let h = -1/194 - 289/388. Let j = 152 - 191.5. Let a = j + 40. Sort h, a, 0.2 in ascending order.
h, 0.2, a
Let r be 462/56*(-160)/(-18). Let p = -73 + r. Sort 2, p, 1/7, 5 in increasing order.
1/7, p, 2, 5
Let o = 25 + -23. Suppose 5 = -o*m + 21. Sort -1, 5, m.
-1, 5, m
Let o(d) = d**2 - 10*d + 1. Let q be o(11). Suppose -2*i = 3*v + 4 + 3, -2*v = -2*i - q. Sort 1, -3, i in decreasing order.
1, -3, i
Let a = 8 + -3. Suppose 39 = 7*c + 4. Suppose c*y - 37 = 5*q - 3*q, -2*q - 2 = 0. Sort y, a, 1.
1, a, y
Let i = -17 + 16. Let z be 1/(i + 4 - 2). Let y = 13 - 8. Sort y, -3, z.
-3, z, y
Let s be 0 - 8/(-176)*-2. Put -2/23, s, -0.3 in decreasing order.
-2/23, s, -0.3
Let z = 1.9678 + 0.0322. Sort z, -10, 4, 1/4.
-10, 1/4, z, 4
Let w = 0.1 + -4.1. Let k = -33 - -33.3. Sort 0, k, w in decreasing order.
k, 0, w
Let k = 1180 - 1181. Sort -4, -2, k, 1 in decreasing order.
1, k, -2, -4
Let g = 22 + -22.4. Let f(x) = -4*x + 63. Let j be f(16). Sort j, g, -0.08.
j, g, -0.08
Suppose t - 4*d - 35 = 0, -t = -2*d - 33 + 8. Sort 4, t, -6 in decreasing order.
t, 4, -6
Let k = 0.2 + 0.1. Suppose 2*x = 4*m - 9*m + 23, -3*m + 2*x = -1. Put m, -5, k in descending order.
m, k, -5
Let x = -27.6 - -23.6. Put 3, x, -17 in descending order.
3, x, -17
Let w = 4206/5 + -841. Sort -4, 2/35, -0.1, w in increasing order.
-4, -0.1, 2/35, w
Let f(g) = g - 16. Let o be f(12). Sort 4, -11, o, 2.
-11, o, 2, 4
Let b(x) = -x - 6. Let h be b(-4). Let y = -619 - -618.8. Sort 1, y, h, 1/3 in increasing order.
h, y, 1/3, 1
Let m = 19 + -22. Let v(u) = -5*u**3 + 2*u**2 - 1. Let g be v(-1). Suppose -2*f - 11 = k - g*f, 2*f - 4 = 2*k. Put 5, k, m in ascending order.
m, k, 5
Let h = 0 - -1. Let f = -0.33 + 0.46. Let b = f - 0.53. Sort 5, h, b in ascending order.
b, h, 5
Suppose 4*h = 3*h - 5, 5*s - 15 = 4*h. Suppose 8*k + 3 = 5*k. Let v be (k - -1) + (-10)/(0 - 5). Put s, v, -4 in descending order.
v, s, -4
Let g be (-3)/(-21) + (-170)/(-2142). Put g, -2/7, -17 in increasing order.
-17, -2/7, g
Let h = -38.5 - -4.5. Let g = h + 38. Put 0.3, 1, g in increasing order.
0.3, 1, g
Let h be -1 + (9 - -2 - 1). Let y = 39.22 + -39.62. Sort h, y, 0.4.
y, 0.4, h
Let v be (-4 + 1 - -2)/(1/(-3)). Put 12, v, 1 in descending order.
12, v, 1
Let k = -33 - -73. Let r = 42 - k. Put r, -3, -1/3, 0.4 in decreasing order.
r, 0.4, -1/3, -3
Let i = 38/65 + 1/65. Sort 0.3, 1/6, i in descending order.
i, 0.3, 1/6
Let f = 19 + -5. Let k = 0.234 + 13.366. Let t = k - f. Put t, -5, -4 in descending order.
t, -4, -5
Suppose 13*p + 5*f - 26 = 17*p, 4*f - 8 = 0. Put 5, 240, p in decreasing order.
240, 5, p
Suppose -6*n = -7*n. Suppose -3*s + 2 - 17 = n. Suppose 0 = -h + 5*h. Sort h, s, -0.7 in decreasing order.
h, -0.7, s
Let l(q) = -15*q - 511. Let x be l(-33). Sort x, 7, 5, 4 in increasing order.
x, 4, 5, 7
Let i = 0.718 + 2.282. Sort 1, -59, i in ascending order.
-59, 1, i
Let f = -17 + 17. Suppose 2*g - w = w - 2, 0 = g - 4*w - 8. Sort f, -13, g in ascending order.
-13, g, f
Let a = -385 + 387. Let g = -15 - -10. Put g, a, 3 in decreasing order.
3, a, g
Let k = 1.154 + 2.636. Put 0.5, -1/5, k in descending order.
k, 0.5, -1/5
Let i = 5.5 - 5.2. Let j be (-3)/(-2) - (-1)/(-6). Put 4, i, j in ascending order.
i, j, 4
Let t = -39 + 44. Suppose -4*l + 7*l - 30 = 0. Suppose 0 = -32*y - 15*y - 141. Sort t, l, y in descending order.
l, t, y
Suppose 3*q - 26 = l - 2*q, 2*l + 5*q = 23. Let m be 1/(-4) - (-10)/40. Suppose m = 3*r + 5*x - x - 32, -r + 19 = 3*x. Put -4, r, l in ascending order.
-4, l, r
Let j = -22 - -27. Suppose -5*x = j*i + 5, 0*i - 5*x = 2*i - 4. Put 0, i, -7 in descending order.
0, i, -7
Let y be 2/3*45/6. Let d(l) = -3*l**3 + 2*l**2 - 1. Let s be d(1). Suppose -2*b + 0*b - 11 = p, -5*p + 5*b = -20. Sort s, y, p in increasing order.
s, p, y
Let p = -0.8 + -0.2. Let g = 27 + -28. Let w be 2 + g - 184/168. Sort w, -5, p in ascending order.
-5, p, w
Let q = 22 - 22. Suppose q = 5*s - 10, h - 4*h + 2*s - 1 = 0. Let p = -6 + 4. Put h, p, -16 in increasing order.
-16, p, h
Let l = 0.49 + -1.07. Let y = l - -0.28. Put 2/7, -0.5, y in ascending order.
-0.5, y, 2/7
Suppose 5*d + 10*h = 9*h - 3, 4*h = 3*d + 11. Put 5, -2, -4, d in decreasing order.
5, d, -2, -4
Let n(i) = 36*i - 77. Let x be n(2). Sort -31, -9, x.
-31, -9, x
Suppose 469*o - 3 = 470*o. Sort -51, -1, -5, o.
-51, -5, o, -1
Let q(h) = h**3 + 27*h**2 - 26*h + 36. Let o(b) = -11*b + 27. Let y be o(5). Let c be q(y). Sort -5, c, 3, 2 in descending order.
3, 2, -5, c
Suppose -2*l = 25*l + 1863. Put l, -3, 1 in increasing order.
l, -3, 1
Let o = -248 - -249. Sort 0.3, -6, o in descending order.
o, 0.3, -6
Let b = -1343 + 1346. Put -1, b, -529 in descending order.
b, -1, -529
Let f be (-9)/2 + 2 + (-19)/38. Suppose 3*m - 21 = -4*x + 2*m, 0 = 3*x + 3*m - 27. Put x, -2, f in decreasing order.
x, -2, f
Suppose 3*b + 35 = r - 44, -3*r = -5*b - 125. Let a be (-1*1)/((-14)/b). Sort a, 1, 5, -3 in decreasing order.
5, 1, a, 