 Let p = 0 - c. Sort -4, p, 3.
-4, 3, p
Let u = -71 + 67. Put u, -2, -3, 2 in descending order.
2, -2, -3, u
Suppose 4*q + 11 = -9. Let s be (1 - q) + -4 + 3. Suppose -22*u - 2*c = -21*u + 9, 4*u + 4*c = -20. Put u, -2, s in increasing order.
-2, u, s
Suppose 4*i - 15 = -3*s, 2*s = 7*s + 2*i - 11. Let v = -1 + s. Put 4, -1, v in ascending order.
-1, v, 4
Let p = -2 - -3. Put p, -2, -9 in increasing order.
-9, -2, p
Let z(b) = 4*b**3. Let t be z(-1). Let n = 0 - 5. Suppose -3*o - 3*v - 19 = 2*v, 4*o + 10 = v. Put t, o, n in decreasing order.
o, t, n
Let i = -29 - -24. Suppose 0 = o, -2*o + 5*o = v - 2. Put i, 1, v in increasing order.
i, 1, v
Let d(y) = y**3 + 3*y**2 + 2*y + 3. Let o = 5 + -8. Let g be d(o). Put g, 5, 1 in descending order.
5, 1, g
Suppose 0*o + 3*o = -2*r - 50, 3*r = 15. Let p be (-30)/(-8) + (-5)/o. Put 3, -3, p in decreasing order.
p, 3, -3
Let v = -74 - -71. Sort v, 0, -13 in decreasing order.
0, v, -13
Let r = -34.1 + 34. Sort -0.5, r, 0 in decreasing order.
0, r, -0.5
Let x = 91.6 + -92. Let z = 5 - 0. Suppose -u + z*j = -6, 1 = -2*u - 0*j - 3*j. Sort x, 4, u in decreasing order.
4, u, x
Let t = -3.95 + -0.05. Let i = -0.06 - -1.66. Let z = i - -1.4. Put -4/7, z, t in decreasing order.
z, -4/7, t
Let o = -2 - -1.6. Let x = 0.5 + o. Let w = x + 0.3. Sort 0, 2, w in ascending order.
0, w, 2
Let k be 6/(-12) + 79/30 - 2. Sort k, 0.05, -3 in descending order.
k, 0.05, -3
Suppose 2*g + 69 = -g. Let p = g - -13. Let i be (4/10)/((-2)/p). Sort 3, i, -2 in increasing order.
-2, i, 3
Let l(j) = -j**3 - 3*j**2 - 4*j - 7. Let m be l(-2). Suppose -5*b = -2*t + 17, -2 = -4*b - 22. Sort t, m, 5 in increasing order.
t, m, 5
Let b = 12 - 16. Let v = -9 - b. Sort v, 2, 2/13 in decreasing order.
2, 2/13, v
Let t(f) = -f**2 + 3*f - 6. Let j be t(6). Let x be j/30*5/2. Suppose -z + 3 = -2*z. Sort z, 1, x in decreasing order.
1, x, z
Suppose 5*h + 6*t = 2*t + 25, -h + 5*t - 24 = 0. Put 3, 35, h in decreasing order.
35, 3, h
Let j(i) = 3*i - 43. Let t be j(16). Sort -1, 1, t in decreasing order.
t, 1, -1
Let y(j) = -j**3 + 13*j**2 - 13*j + 11. Let x be y(12). Let o be x/3 + 14/30. Sort -0.4, o, 0.4 in ascending order.
-0.4, o, 0.4
Suppose c - 6*c = -55. Let f be 13/11 + (-2)/c. Sort 3, f, -2 in decreasing order.
3, f, -2
Suppose l = -4*d + 9, -5*d + 10 = l - 0*l. Sort -4, 0, -2, d in ascending order.
-4, -2, 0, d
Let t = -0.2 - 12.8. Let f = t - -11. Sort f, 2/5, 1.
f, 2/5, 1
Let l be (-2)/(-5) - 28/20. Suppose -2*r = 6 - 0. Sort l, -4, r.
-4, r, l
Let z(q) = q**3 + 15*q**2 + 14*q - 5. Let v be z(-14). Put 1, -7, v in decreasing order.
1, v, -7
Let s = -0.14 + -6.86. Let v = s + 4. Let u = 1439/105 + -95/7. Sort v, u, 0 in increasing order.
v, 0, u
Let i = 17.3 + -17. Sort i, -4, 2.
-4, i, 2
Let b = -0.025 + -0.475. Sort -5, 2, 2/11, b.
-5, b, 2/11, 2
Let x = -4 - -5. Suppose 1 + x = z. Let s = z - -1. Sort -4, s, 1 in increasing order.
-4, 1, s
Let i(x) = x**2 + 12*x + 7. Let j be i(-5). Let f be 8/j + (-2)/42. Let c = 1/50 + 91/450. Sort f, c, -1/6 in ascending order.
f, -1/6, c
Let s = -31.3 + 30. Let i = 1.7 + s. Put 4, 0.04, i in ascending order.
0.04, i, 4
Let d(g) = -2*g + 11. Let p be d(5). Let k = 9 + -11. Put k, 4, p in descending order.
4, p, k
Let p = 3 + -2.6. Let x = 7 - 6.96. Put -3/4, p, x in descending order.
p, x, -3/4
Let w(b) = 14*b**2 + 12*b + 47. Let h(r) = 5*r**2 + 4*r + 16. Let g(v) = -17*h(v) + 6*w(v). Let l be g(6). Sort 0, l, 3 in descending order.
3, 0, l
Let r = -15 + 13. Put r, -3, -5 in descending order.
r, -3, -5
Suppose m + 3*u - 9 = 0, -2*u = 2*m + 2*u - 10. Let x = 7757 - 38504/5. Let a = -56 + x. Sort a, -4, m in descending order.
a, m, -4
Let j = -2 + 2. Let h = 0.4 + j. Put -5/4, -0.4, h in ascending order.
-5/4, -0.4, h
Let j = -110 - -106. Put j, 5, 3, 1 in descending order.
5, 3, 1, j
Let u = 3.93 - -0.07. Let m = -3.99 + -0.01. Let o = 1 + m. Put -0.2, u, o in descending order.
u, -0.2, o
Suppose -2*q = q - 2*m - 1, -2*q + 5*m - 14 = 0. Sort q, 4, -3, -1.
-3, -1, q, 4
Let z = 1.01 - 1. Let g = 0.21 - z. Put 5, -5, g in ascending order.
-5, g, 5
Let j = -345/7 + 49. Put j, -3, -0.3 in increasing order.
-3, -0.3, j
Let o be 3 - (0 + (-2 - 1)). Suppose -2*i + 0*i = 0. Suppose s = -i*s + o. Sort s, -1, -3 in decreasing order.
s, -1, -3
Let p = 6 + -9. Put -1/3, p, 2/17 in descending order.
2/17, -1/3, p
Let w = 3 + -3.2. Let r = -13 - -11. Sort r, 2/7, w in descending order.
2/7, w, r
Let a = 61/90 + -7/30. Sort 2/5, 0.5, 0, a in decreasing order.
0.5, a, 2/5, 0
Suppose 5*c - 17 - 33 = 0. Suppose -2*m = 3*m - c. Suppose -2*x - 2 - 4 = -2*i, 3*i + x + 3 = 0. Sort i, m, 4 in descending order.
4, m, i
Let m = 4.1 - -0.9. Let p = 7 - m. Let s = p + -6. Put s, 0.1, -0.1 in decreasing order.
0.1, -0.1, s
Suppose -2*o - o + 3 = 0. Let b(q) = 3*q**3 - q**2 + q + 1. Let t be b(-1). Sort t, 3, o in increasing order.
t, o, 3
Let u = 5.9 - 6.2. Let i = -126 - -127.99. Let f = i + 0.01. Sort 5, u, f in ascending order.
u, f, 5
Let y = -20 - -19.6. Let x be (-18)/15 + 0 - -1. Put y, x, 4 in descending order.
4, x, y
Let q = 2.3 - 2.25. Put q, 4, 1/10 in descending order.
4, 1/10, q
Let f = -11 + 6. Let h = -1 - -5. Suppose h*t = -t. Sort f, 3, t in increasing order.
f, t, 3
Let z be (2 + 0/1)/6. Let p = 16.5 + -16. Sort -2, p, z in increasing order.
-2, z, p
Suppose -5*i = 17 - 132. Suppose 80 = 3*m + i. Suppose 5*d - m = -l, 4*d - 20 = -2*l - 0*d. Sort 1, 5, l in descending order.
5, l, 1
Let f = 106/3 - 35. Sort f, -1, 2/9 in descending order.
f, 2/9, -1
Let y = -2 - -3. Sort 0, y, 4 in descending order.
4, y, 0
Let a be ((-6)/7)/(1/(-7)). Suppose -2*h + 8 = 2*x + 2*x, -3*x = -a. Suppose 6*r - r = h. Put 1, r, -3 in decreasing order.
1, r, -3
Let z = 0.2 + -0.1. Let o(l) = l**3 - l - 7. Let m be o(0). Let n = -1.6 - -1.1. Sort z, n, m.
m, n, z
Let t be (2/4)/((-1)/2)*1. Put 4, t, -4 in descending order.
4, t, -4
Let t = 35 - 31. Put t, -5, 2 in descending order.
t, 2, -5
Let u be (-13 + 14)/((-2)/(-4)). Sort u, -5, 1 in decreasing order.
u, 1, -5
Let t = -6 - -5.4. Let c = t - -0.9. Sort -1, 5, c in descending order.
5, c, -1
Suppose 0 = 3*p + 2*v + 9, 2*p + v + 0*v + 5 = 0. Sort 0, -4, p.
-4, p, 0
Let l = 8 + -13. Let j(g) = -2*g**3 - 3*g**2 - g + 1. Let w be j(-2). Let o(b) = b**2 - 7*b + 5. Let f be o(w). Sort f, 1, l in decreasing order.
f, 1, l
Let g = 0.43 + 0.07. Let y = -68781/109 + 631. Let b = y + 117/436. Put 2, g, b in descending order.
2, g, b
Let r be 62/(-22) + (-8)/44. Let z be -3 - (-11 - (r + 0)). Suppose i = -z*d + 1, 3*i + 8 = i. Sort -4, d, -5.
-5, -4, d
Let x(a) = a**2 + a. Let z be x(-1). Put -1, -5, z, 5 in descending order.
5, z, -1, -5
Let p be (-138)/33 + (-8)/(-44). Sort 4, 2, p, -23 in descending order.
4, 2, p, -23
Let a = -19/26 + -10/13. Let i = -16/3 - -5. Sort -1, a, i in decreasing order.
i, -1, a
Suppose -g + 112 = -8*g. Put 1, 5, g in decreasing order.
5, 1, g
Let q be (2 - (1 - 1)) + -2. Sort -7, q, 2, 5 in decreasing order.
5, 2, q, -7
Let r be (-1)/(-14)*(-2 + (-11)/(-2)). Sort r, 3/2, -5, -1 in descending order.
3/2, r, -1, -5
Suppose -4 = -6*i + 4*i. Put -3, i, 3 in descending order.
3, i, -3
Suppose 6*d - 15*d + 27 = 0. Sort d, -5, 10 in descending order.
10, d, -5
Suppose -3*o = 2*o + 10. Sort 3, -7, o in descending order.
3, o, -7
Let w = 2 + -1. Suppose -l - 3 = -2*f + 5, -l = -5*f + 14. Let d(k) = k**3 - 4*k**2 + k - 5. Let o be d(4). Put l, o, w in descending order.
w, o, l
Let b = -5.8 + -0.2. Let h = b + 4.1. Let d = h + 2. Sort -0.5, d, -0.4 in decreasing order.
d, -0.4, -0.5
Suppose -2*l + 28 = 3*l - 3*q, -3*l = 2*q - 13. Suppose 2*h - 3*n = -0*n - l, h + 4*n = 25. Sort h, -3/5, 10 in increasing order.
-3/5, h, 10
Let i(m) = -m**2 - 4*m - 13. Let w be i(-5). Put -1, w, 1 in decreasing order.
1, -1, w
Suppose 8 = 3*c - 4*f, 2*c = 7*f - 2*f + 3. Let k = 5 - c. Suppose 4*i - 18 = z, z - 6*z = i + 6. Put -2, i, k in decreasing order.
i, k, -2
Let y = -4 - -4. Suppose y = g + 1 - 12. Let b be (-192)/(-88) - 2/g. Sort b, -5, 0 in ascending order.
-5, 0, b
Suppose 5*r = 4*i - 10, 3*r + 2*r = i - 10. Suppose -3*k + 4*u - 3 = 0, 1 = -2*k + u - 6. Sort k, -1, i in ascending order.
k, -1, i
Let r(q) = -q**2 - q + 2. Let s(w) = w**3 - 5*w**2 + 6*w - 6. Let f be s(4). Let h 