.
-2, -1, o
Suppose -69 = -4*y - 57. Suppose -v - y*c = 3*v - 16, 5*v - 20 = c. Sort v, 3, 5, -2 in descending order.
5, v, 3, -2
Let j = 67 + -63. Sort 2, j, -5, -12 in decreasing order.
j, 2, -5, -12
Suppose 5*g - 3 = 8*g. Let v be -2 + g + 143/44. Put 5, -1/2, v in descending order.
5, v, -1/2
Suppose 5*k - 2*u = 0, 3*u + 1 = 2*k + 12. Let b(d) = d**3 - d**2 - 1. Let h(p) = -7*p**3 + 14*p**2 + 9. Let f(g) = 6*b(g) + h(g). Let m be f(8). Sort k, -4, m.
-4, k, m
Let c = -2.78 + 1.28. Put c, -0.1, 0.03 in ascending order.
c, -0.1, 0.03
Let k = -19.3 + 15.3. Sort 127, k, 4 in decreasing order.
127, 4, k
Let t = -11 - 14. Let v = -24 - t. Sort -4, 4, v, 5 in increasing order.
-4, v, 4, 5
Let z = 785 - 782. Let p = 0.1 - 0.2. Sort 0.04, p, z in ascending order.
p, 0.04, z
Let o = -9017 + 9049.488. Let x = o - -0.312. Let t = 33 - x. Sort -0.1, t, 0.1 in ascending order.
-0.1, 0.1, t
Let y = 1155 - 1154. Sort -2/11, 27/2, 1/2, y in descending order.
27/2, y, 1/2, -2/11
Let y = -50 + 46. Let h = -2212/9 + 246. Sort h, 0.2, y in decreasing order.
h, 0.2, y
Let d = 4 - 3.8. Let r = -887/8 + 111. Put -0.02, d, r in increasing order.
-0.02, r, d
Let c = -203 - -181. Sort c, 5, 0 in ascending order.
c, 0, 5
Let d = 50/21 + -88/35. Put d, 0.3, 1/8 in increasing order.
d, 1/8, 0.3
Let d = -5.91 - -6.91. Put 5, d, -2/7, 0.1 in ascending order.
-2/7, 0.1, d, 5
Let u = -69 + 68.57. Let z = -0.07 - -0.04. Let q = u - z. Sort 4, q, -1 in descending order.
4, q, -1
Suppose -28 = -2*z - 38. Suppose -5*i + 60 = 5*b, -2*i + 5*b - 10 - 1 = 0. Let h = z + i. Sort -1, 1, h in descending order.
h, 1, -1
Let w = 16 - 34. Let k be 954/(w/(-3) + 1). Let v = k + -136. Sort -0.4, 0.3, v in descending order.
0.3, v, -0.4
Let n = 91 - 815/9. Put 9, n, -1/5 in increasing order.
-1/5, n, 9
Suppose 0 = -2*t + h + 3*h + 6, 6 = 3*t - 3*h. Sort -1.7, 0.3, t in ascending order.
-1.7, 0.3, t
Let c be (5 - 1 - -2) + -17 + 10. Put 1, 0.04, c in ascending order.
c, 0.04, 1
Suppose 0 = 3*f - 1 - 5. Suppose 0 = 4*o - 3*u + 6, -f*o + u = o + 7. Let j(b) = b**2 - b - 11. Let y be j(0). Put o, -5, y in decreasing order.
o, -5, y
Let j be 4/36*(-10 + (0 - -7)). Sort 2/7, j, -38 in increasing order.
-38, j, 2/7
Suppose -3*v = -4*p - 0*p - 16, 4*p + 2*v = -36. Put -1, 0, -3, p in descending order.
0, -1, -3, p
Let l = 1 + 2. Let q be (((-30)/35)/l)/(2/(-7)). Put -1, -0.1, 5, q in ascending order.
-1, -0.1, q, 5
Let v = -126 - -82. Let p = 46 + v. Put p, -1/5, 1/3 in decreasing order.
p, 1/3, -1/5
Suppose -17*a - 8*a = 200. Put a, -0.07, -1/4 in increasing order.
a, -1/4, -0.07
Let f = -16 + 23. Suppose 20 = f*s - 3*s. Suppose 0*n - s = -n, 19 = 3*m + 2*n. Sort -2, -3, m in ascending order.
-3, -2, m
Let w = 42.3 - 43. Let m = w + 0.3. Sort m, 1/4, -3/7 in increasing order.
-3/7, m, 1/4
Suppose -2*m = m + 54. Suppose -7*r + 63 = 14*r. Put m, 5, r in descending order.
5, r, m
Suppose -374 = -11*v + 33*v. Put 2, 4, -5, v in ascending order.
v, -5, 2, 4
Suppose 17*d = 19 - 2. Put -2/21, d, -69, 5 in decreasing order.
5, d, -2/21, -69
Suppose 2*p - 6*p - 5*r + 11 = 0, 3*p + 4*r - 8 = 0. Suppose 2*g = u + 3*u - 82, -2*g - 6 = 0. Let o be (2/5)/(-2 + u/10). Put o, p, -2 in increasing order.
o, -2, p
Let d = -10 - -202. Let q = d - 223.8. Let k = -32 - q. Sort 5, k, -2/5 in descending order.
5, k, -2/5
Suppose 8*v + 26 = 2. Let d = 9 - 6. Suppose -4*q - 13 = -3*l + 5, -d*q = 3*l + 3. Put v, l, 0.3 in decreasing order.
l, 0.3, v
Let d = -62 + 92. Suppose -5*z - 2*x + 7*x = -d, -23 = -4*z + 5*x. Sort -1, -5, z in increasing order.
-5, -1, z
Suppose -5*w - 3*o = 48, -4*o = -10*w + 5*w - 41. Sort -1, -10, w, -3 in descending order.
-1, -3, w, -10
Let b = -2847 - -2850. Sort b, 10, -1/19, -1 in descending order.
10, b, -1/19, -1
Let m be 3612/13 + -2 + (-3 - -3). Let w = 276 - m. Sort -0.2, 1/2, 5, w in ascending order.
-0.2, w, 1/2, 5
Let c = -1355 - -1330. Sort c, 2, 16 in decreasing order.
16, 2, c
Let l = 70 - 69.9. Let p = 0.9 - 1. Sort 5, p, 0.2, l in decreasing order.
5, 0.2, l, p
Let f be 0 + (1 - 1)/(-1). Suppose -k = s + 21, -42 = 2*k - f*k - s. Put k, 1, -5 in ascending order.
k, -5, 1
Let a be 2*(-1 - -2)/1. Suppose -9*v = -6*v - 24. Sort a, v, 4 in ascending order.
a, 4, v
Let v be 28/6 - (-2)/6. Suppose 3*c + v*n + 16 = 0, c - 2*n - 8 = -n. Put 4, -2, c in increasing order.
-2, c, 4
Let x be (14 - (-55)/(-5))*(-1)/(-3). Sort x, -6, -22.
-22, -6, x
Let g = 2.057 - 0.057. Sort g, -8, 8, -3 in increasing order.
-8, -3, g, 8
Suppose -14 = 3*v - 0*z + z, 6 = -v + z. Put 5, 2, -2, v in decreasing order.
5, 2, -2, v
Let h = 2 + 0. Suppose 4*b = -h - 10. Let z(u) = -57*u + 343. Let q be z(6). Sort b, 5, q.
b, q, 5
Let p(q) = 2*q + 2. Let k be 2*4/(-8) - 0. Let g be p(k). Suppose g = -x - 5*i + 20 + 6, -2*x - 2*i + 12 = 0. Sort -3, x, -4 in ascending order.
-4, -3, x
Suppose -4*n = -4*g, -n - 4*g = -2*g. Let o be (928/80 + -11)/(6/40). Sort n, 2, o in decreasing order.
o, 2, n
Let l = -148 + 149. Sort l, -0.5, 52 in ascending order.
-0.5, l, 52
Suppose 17*r - 20 = 5*t + 14*r, 3*r - 12 = 3*t. Put 3, -77, t in descending order.
3, t, -77
Let t = -4185/7 - -598. Sort -1/9, 3, -70, t in descending order.
3, t, -1/9, -70
Suppose -h + 20 - 26 = 0. Put 2, 5, h in decreasing order.
5, 2, h
Let b = -109 + 140. Let g = b - 32. Sort -5, -0.45, g in ascending order.
-5, g, -0.45
Suppose 0 = -4*l - 20 + 20. Suppose 12 + 8 = -5*z. Suppose -2*w = 3 + 3. Put l, z, w in decreasing order.
l, w, z
Suppose 4 = 4*p + 76. Let q be ((-6)/p)/((-2)/12). Let n(r) = -r**3 - 6*r**2 - 6*r - 4. Let k be n(-5). Sort q, k, 2.
q, k, 2
Suppose -24 = -o - 3*s - 2, 0 = -4*o - 3*s + 52. Suppose -8*g + 26 = o. Let p = g + -5. Sort p, 5, -4 in increasing order.
-4, p, 5
Let p = -531 - -534. Sort -3/7, p, -10, -1/3 in increasing order.
-10, -3/7, -1/3, p
Let f = -38 + 39. Suppose 5*a + 3*p + 47 = 0, -a - 3*a - 5*p - 35 = 0. Let u = 15 + a. Sort -1, u, f in decreasing order.
u, f, -1
Suppose 7*v = 3*v. Sort 160, v, 2 in descending order.
160, 2, v
Let x = 543 + -543.1. Suppose 4*r = 34 + 190. Let y be (2/12)/(4/r). Put 0.1, x, y in descending order.
y, 0.1, x
Let f be (-4)/34 - (-15)/(2040/(-256)). Sort 16, 5, f in decreasing order.
16, 5, f
Let u be (2/(-6))/((-90)/81 - -1). Sort -1, 4, 8, u.
-1, u, 4, 8
Suppose 7*q = 11*q + 4. Let a = -2 + q. Let w(d) = d**2 + 2*d - 2. Let p be w(a). Sort -1, 3, p in increasing order.
-1, p, 3
Let b(c) = -4*c**2 - 10*c + 8. Let a be b(-3). Put 3, 4, a in descending order.
4, 3, a
Let v = 6 - 10. Suppose 3*c + 2*s = 1 + 27, -4*s = -2*c + 8. Let f = c + v. Sort f, -2, 5 in increasing order.
-2, f, 5
Let b be (-6)/(-1 - (-7 + 8 + -4)). Sort b, -1/3, -5, -0.6 in descending order.
-1/3, -0.6, b, -5
Let r = 23 + -23. Sort -2/17, -1/2, 0.3, r in decreasing order.
0.3, r, -2/17, -1/2
Let f(n) = -n**3 - 5*n**2 - 13*n - 34. Let v be f(-4). Sort 2/5, v, 25, -1/3.
-1/3, 2/5, v, 25
Let i = 6369 - 6367. Let o = -2 + 2. Put 2/15, 1, o, i in descending order.
i, 1, 2/15, o
Let p be 7/3 - (-14)/21. Suppose -c + 2*z - 5*z = 20, 0 = -2*c + z - 5. Put 1, p, c in ascending order.
c, 1, p
Let s = 10 - 41. Let t = s + 34. Sort t, 2, -2, 4.
-2, 2, t, 4
Suppose 0 = 2*v - 3 + 9. Put 3/4, v, -83 in decreasing order.
3/4, v, -83
Let c be (9 - 2)*5*(-6 + -1). Sort -1, c, 3.
c, -1, 3
Let f = 0.1229 + 28.8771. Sort f, 1/4, -4, -1.
-4, -1, 1/4, f
Let c = 2027 - 2028.4. Sort -5, c, 2 in ascending order.
-5, c, 2
Suppose -3*n + 50 = -13*n. Let s = 14 - 26. Sort s, n, 3.
s, n, 3
Suppose 4*g + 24 = -4*g. Let w(r) = 2*r - 13. Let x be w(8). Sort x, -5, 0, g in descending order.
x, 0, g, -5
Suppose 0 = 10*x - 0*x - 30. Sort x, -2, -0.01 in increasing order.
-2, -0.01, x
Let i = 1.3 + 15.7. Let v = i + -19. Put -5/4, v, 6/11 in decreasing order.
6/11, -5/4, v
Suppose -12*n - 17 = 7. Sort -16, -3, n in decreasing order.
n, -3, -16
Let y = 1694 - 1694.13. Put 5, 1/17, 0, y in decreasing order.
5, 1/17, 0, y
Let u = 14 - -7. Let w be 3 + -6 + u/3. Suppose 4*t = -4*s - w, -5*s = -0*s - 4*t - 22. Sort 3, s, 4 in decreasing order.
4, 3, s
Let q = -0.056 + 6.856. Let l = q + -9.8. Let a = -0.3 - -0.1. Put a, l, 0.2 in ascending order.
l, a, 0.2
Let v(l) = -l**3 - 2*l**2 - l + 1. Let z be v(0). Put 8, 2, z in decreasing order.
8, 2, z
Suppose -13 