= -4*g + 2*v + 12, 4 = 4*g - 3*v - 10. Sort g, -2, 9 in decreasing order.
9, g, -2
Let y be (-2)/(-5) + 72/20. Let z = -11 - -15. Suppose 8*t + 8 = z*t. Sort t, y, -1 in descending order.
y, -1, t
Suppose 3*q + 1 - 4 = 0. Let i be -9*(-4 + (-11)/(-3)). Sort 2, i, q in decreasing order.
i, 2, q
Suppose 18*f + 1 = 16*f - 3*u, 2*f + u = 1. Sort f, 4, -6.
-6, f, 4
Suppose 6*s = 8*s. Suppose s = -4*g + 45 - 9. Suppose -v = -4*v - g, -2*m - 14 = 2*v. Sort -1, m, -2 in descending order.
-1, -2, m
Suppose 4*i + 4 = 4*f, 0 = -19*i + 15*i + 2*f - 2. Put 3, i, -0.17 in ascending order.
-0.17, i, 3
Let z = -7 + 3. Let k be 24/48*((-9)/(-6) + 0). Put 3, k, 4, z in decreasing order.
4, 3, k, z
Let i be (4/(-8)*0)/2. Suppose 3*z + 2 = 5. Put -3, i, -2, z in increasing order.
-3, -2, i, z
Suppose -2*t = 2*t - 12. Let i = -0.092 - 25.108. Let x = i + 25.6. Put -1, x, t in descending order.
t, x, -1
Let y be -24 + 22 + (4 - 1). Put -2, y, 73 in increasing order.
-2, y, 73
Let o(h) = 8*h - 12. Let m be o(2). Let t be (-2)/1*(-3)/2. Suppose 20 = f - 3*z + t, 4*f + z = 3. Sort 0, m, f.
0, f, m
Suppose 4*a = 3*t - t + 42, -t = -3*a + 30. Suppose a = 7*p - 40. Suppose -4*i + p*l - 4*l = -13, 21 = 5*i + l. Put i, 3, -2 in decreasing order.
i, 3, -2
Let z(r) = -8*r + 80. Let g be z(10). Let h(a) = a**3 - 6*a**2 - 6*a - 8. Let o be h(7). Sort 1, g, o.
o, g, 1
Let d = -1.84 + 2.34. Put -12, d, -0.2 in ascending order.
-12, -0.2, d
Let i = -79 - -69. Let w = 17 + i. Sort w, -0.1, -2.
-2, -0.1, w
Let i be ((-140)/(-25))/(1/(-5)). Put i, -5, 2 in increasing order.
i, -5, 2
Let v = 35 - 32. Let j be -3 + 54/(-42) + 2/7. Put 4, j, -3, v in descending order.
4, v, -3, j
Suppose 7 = -3*p - 5*g + 18, 5 = 4*p - 3*g. Suppose -p - 7 = 3*o. Sort -2, o, -1.
o, -2, -1
Suppose 2*u + 4*v = 4*u - 6, 0 = 2*u - v - 3. Suppose -5*i - 292 = -322. Sort -1, i, u in decreasing order.
i, u, -1
Suppose 2*u + 4*x = 22, 4*u = -20*x + 16*x + 52. Put -1, u, -5 in descending order.
u, -1, -5
Let d be (-70)/(-15) - (4/6 + -1). Suppose -s + 5 = -3*s - z, -2*s - d*z = 25. Let k be (-2)/(-6) + (-14)/6. Put 4, k, s in descending order.
4, s, k
Let x(m) = -19*m**2 - 93*m + 4. Let b be x(-5). Sort b, -0.3, 2 in decreasing order.
2, -0.3, b
Let b = 1.46 + -59.96. Let k = b + 58. Let l = 13 - 18. Put 0, l, k in descending order.
0, k, l
Suppose 7*y + 19 = 3*y - 3*u, 0 = -u - 1. Let b = 9 - 8. Sort b, -3, y in descending order.
b, -3, y
Let n = -61 + 73. Let j = n + -13. Sort 2/21, 4, j, -4/5 in ascending order.
j, -4/5, 2/21, 4
Let v(m) = -10*m + 26*m**3 - 4*m**2 - 25*m**3 + 13*m**2 - 4. Let g be v(-10). Suppose -17 = -5*z + 8. Put z, g, -2 in descending order.
z, -2, g
Let u = 0.06 - 0.16. Let j = 72822 + -654665/9. Let o = j - 81. Put o, u, 1/3 in descending order.
o, 1/3, u
Suppose -5*g + 2*l + 7 = -2, 5*g - 6 = 3*l. Put 4, g, -30, 0 in increasing order.
-30, 0, g, 4
Suppose 4*k + 3 = -1. Suppose -3*s = -4*a - 5, -3*s - 48 = 3*a - 18. Sort -3, a, k.
a, -3, k
Let w = 0.63 - 0.4. Put w, -0.1, 0.3, -2 in ascending order.
-2, -0.1, w, 0.3
Let c = -4 + 6. Suppose 4*u - n + 7 = 0, c*n - 8 = 3*u + 2*u. Let j be (-21)/6*(-6)/(-7). Sort j, u, 0 in descending order.
0, u, j
Let x = -2 - -1. Let r = 45 + -42. Let q = r + x. Sort -1, q, -4 in descending order.
q, -1, -4
Let g be 9*(40/(-12))/(-5). Suppose 2*a + 0*a - 20 = -5*z, -16 = 2*z - 4*a. Suppose -z*m = -2 - g. Sort m, -5, 3 in ascending order.
-5, 3, m
Suppose 10*h = 7*h + 12. Suppose 3*p + 2*r = 34, -p + h*r - 12 = -0*p. Let c = -10 + p. Sort c, -4, 1 in decreasing order.
1, c, -4
Let l = 19 - 14. Let h be 48/l + 2/5. Let j be 36/20 - (-2)/h. Sort 1, j, -6.
-6, 1, j
Let y be (27/6 - 3)/(6/(-12)). Sort y, 1, 9, -1 in ascending order.
y, -1, 1, 9
Let k = 469 + -471.3. Put k, -2/5, -5 in ascending order.
-5, k, -2/5
Suppose 0 = 3*j + 2*p - 2, 4*j - p + 6*p = 5. Sort 0.1, 4, 0.16, j in ascending order.
j, 0.1, 0.16, 4
Suppose -o = -77 + 73. Put -2/3, 3, -0.3, o in descending order.
o, 3, -0.3, -2/3
Let w(q) = 12*q - 55. Let k be w(4). Put -0.3, k, 5, -5 in decreasing order.
5, -0.3, -5, k
Let l = 692 + -694. Sort l, -4/5, 1, -18 in ascending order.
-18, l, -4/5, 1
Suppose 12*f + 520 = 2*f. Sort f, -4, 1 in ascending order.
f, -4, 1
Suppose -245*a = -253*a - 8. Put 19, -4, a, -6/7 in increasing order.
-4, a, -6/7, 19
Let g = 22 - 25. Let j = -9.87 + 10. Sort 1/10, g, j in descending order.
j, 1/10, g
Suppose z - 4 - 2 = 0. Suppose 4*v + 6 = 2*q - z, v + 5*q = 8. Sort v, -1, 1 in decreasing order.
1, -1, v
Let g = 0.0336 - -4.8784. Let a = -0.088 - g. Sort a, -4, 0.5 in descending order.
0.5, -4, a
Let g be (-82)/(-8) + (-4)/16. Suppose -g = y + 8. Let b = y + 15. Sort b, 0, -4 in descending order.
0, b, -4
Suppose -2*a = -4*a + 2. Let p = 2249/116 + -555/29. Sort -4, p, a in ascending order.
-4, p, a
Let t = 6496/11 + -590. Put 5, -0.5, t in ascending order.
-0.5, t, 5
Let p = 901/4 + -451/2. Let j = -0.9 + 4.9. Sort p, -1, j.
-1, p, j
Let r = 0.7 + -4.7. Let l = -11/10 - -43/30. Sort 0.4, r, l, -5 in decreasing order.
0.4, l, r, -5
Let s = 2.46 + -0.46. Put s, -4, -0.5, -5 in descending order.
s, -0.5, -4, -5
Suppose 2*y - 4*y = 2. Suppose 5*h = -0*u - u + 13, -3*u = h - 11. Put h, y, 5 in descending order.
5, h, y
Let u = -4.15 - -0.15. Let n = u + 4.5. Let b = n + -0.4. Sort 2/17, -1, b.
-1, b, 2/17
Let f = -11 - -16. Sort 0.4, 8, f in descending order.
8, f, 0.4
Let u = -29 + 24. Let c = -0.15 - -0.45. Sort u, 3, -0.5, c in decreasing order.
3, c, -0.5, u
Let j be -2 - (-27 - 3) - 4. Suppose -20*l + 48 = -12. Sort 4, j, l in descending order.
j, 4, l
Let g = -923 + 930. Sort 0, -0.3, g, -2/5.
-2/5, -0.3, 0, g
Suppose -6*y + 35 = 137. Let s be 14/(-119) + (-2)/y. Put 4, s, 1 in descending order.
4, 1, s
Let k = 105.1 - 72.2. Let i = k - 35.64. Let y = i + -0.26. Sort y, -0.3, -1/2 in increasing order.
y, -1/2, -0.3
Suppose 5 = f - 2*d + 2, -4*d - 4 = -4*f. Let i(o) = o**2 - 7*o + 3. Let w be i(7). Sort f, 2/7, -4/5, w.
f, -4/5, 2/7, w
Suppose -26*d + 60 = 4*d. Put 6, d, 9, 3 in ascending order.
d, 3, 6, 9
Let s(u) = -104*u + 238. Let n be s(3). Sort 4, -5, n in ascending order.
n, -5, 4
Let g = 59 - 35. Let n = 22 - g. Let m(c) = c**3 + 2*c**2 + 2*c - 1. Let x be m(n). Put -3, x, 2 in ascending order.
x, -3, 2
Let a = 3/16 - 11/16. Let w = 3 - 2.6. Let q = w - 0.6. Put 3, q, a in decreasing order.
3, q, a
Suppose 0 = 4*v + 3*r - 21, 0 = -5*v - 3*r + 2*r + 18. Let u(y) = -y**3 + y**2 + 11*y + 5. Let l be u(4). Put v, 12, l in increasing order.
l, v, 12
Let k be 10/(-4) + (-6)/12. Sort 0, 2, 3, k.
k, 0, 2, 3
Let f(q) = q**2 - 12*q - 4. Let o be f(12). Let r = 2 - 4. Sort 0, r, o.
o, r, 0
Suppose -5*g = 11 + 24. Let m(a) = 5*a + 32. Let v be m(g). Sort -6, -5, v in descending order.
v, -5, -6
Let i(j) = 9*j - 175. Let x be i(20). Sort x, -1, -21 in increasing order.
-21, -1, x
Let y = 743.6 - 744. Sort y, 3, 0.16 in ascending order.
y, 0.16, 3
Let i = 102 + -116. Sort 1.9, -0.2, i in decreasing order.
1.9, -0.2, i
Let s = -1.42 + 4.42. Sort s, -0.3, -4, -0.1 in descending order.
s, -0.1, -0.3, -4
Let m(o) = -12*o + 20. Let p be m(2). Let c(x) = x**2 - 9*x + 5. Let h be c(9). Suppose -h*b + 20 = -5. Sort p, -5, b.
-5, p, b
Let v = -0.0469 - 1.5531. Sort 2/5, 0.1, v in descending order.
2/5, 0.1, v
Suppose -11 - 5 = -f. Put 0, -2, -4, f in ascending order.
-4, -2, 0, f
Let l be (-2 - (0 - -1))*(-2)/2. Suppose -l*f = 0, 4*f + 18 = 2*o - 0*o. Put o, 5, -1, 1 in descending order.
o, 5, 1, -1
Suppose 2*z - 3*b + 15 = 0, -b + 3 + 2 = -2*z. Put -2, -6, 2, z in increasing order.
-6, -2, z, 2
Let f = 0.071 - -0.329. Let k = 6.6 + -7. Sort k, f, 4, 3/2 in decreasing order.
4, 3/2, f, k
Let w = -70 - -75. Suppose 31 = -2*z + w*r, 5*r - 15 = 2*r. Put 14, 5, z, 0 in increasing order.
z, 0, 5, 14
Let h = -4/894155 - 22139153/27897636. Let c = -1/156 + h. Sort 1/2, c, 0.1, 4 in descending order.
4, 1/2, 0.1, c
Let j = 12.955 - 13. Let u = j - 1.955. Sort -1/2, u, 0.1 in increasing order.
u, -1/2, 0.1
Suppose 10 = -v + 4*p, -3*p - 8 = -v - 8*p. Let t = -23 + v. Let m be -1*3*(-3 - -4). Put -4, m, t in ascending order.
t, -4, m
Let x = -416 + 421. Let b = -14 - -14. Sort x, -5, b in descending order.
x, b, -5
Suppose -5*z + 43 = -2*n, 3*z - n + 9 = 35. Let p = z - 65/7. Sort 3,