4 = w, -2*t + w - 8 = -3*w. Suppose 16 = -n + 2*k - 7*k, -9 = 3*k. Put n, t, 5, -4 in ascending order.
-4, n, t, 5
Let n = -96 - -101. Sort n, -2, 8, -3 in ascending order.
-3, -2, n, 8
Suppose y = a - 1, 4*y = 5*a - 1 - 7. Suppose 6*b - b - 25 = 5*v, -5*v + a*b = 22. Let c(d) = d - 2. Let n be c(v). Sort n, 6, 1.
n, 1, 6
Let s = 1 + -1. Let o(h) = 8*h**2 - 11*h + 6. Let x(t) = -3*t**2 + 4*t - 2. Let u(c) = 4*o(c) + 11*x(c). Let l be u(s). Sort -3/5, l, -0.3.
-3/5, -0.3, l
Let c be (-7 + -3)*(-3 + (-34)/(-10)). Sort -1, c, -5, 45 in descending order.
45, -1, c, -5
Suppose 0 = -3*c - 3*s + 6, -c + 4 = -2*s - 4. Suppose c*v + 0*v = 4. Let n be (-6)/(-9) + 8/(-18). Sort -3, n, v in descending order.
v, n, -3
Let v = 0.98 - -47.02. Let l = v - 53. Put 4, -1, l, 0.3 in decreasing order.
4, 0.3, -1, l
Suppose -3*k - 4*h = 30, -5*h = -0*h. Sort 5, 6, k, 0 in descending order.
6, 5, 0, k
Let p be 10/(-14) + (-2)/7. Let w(d) = d - 3. Let z be w(5). Suppose -y - 2*k = 4, -20 = -z*y + 7*y + 3*k. Sort 2, p, y.
y, p, 2
Let q(v) = -v + 16. Let y be (15/3)/(-5)*-17. Let m be q(y). Put 4, 3, m in ascending order.
m, 3, 4
Let l = -3 + 15. Suppose 0*u - 6 = -3*u. Suppose 4*w - 4 = -u*o + 3*o, 4*w = 3*o + l. Sort w, -3, 1 in decreasing order.
1, w, -3
Suppose -2*q - 3*x = -9 - 0, q + 4*x - 7 = 0. Suppose -2*r = 10, 8*r = -q*p + 3*r - 19. Let f be (-7)/(2 - (p + -1)). Put 0, f, 1/4 in descending order.
1/4, 0, f
Let o(h) = h**2 + 5*h + 3. Suppose 5*l + 16 = -4. Let k be o(l). Sort k, 5, -5 in decreasing order.
5, k, -5
Let r = 209 - 208. Put -15, r, 2/11, -2 in descending order.
r, 2/11, -2, -15
Let h(d) = -d**2 - 13*d + 5. Let u be h(-13). Suppose 0 = -u*v - 28 + 3. Let a be (-2)/v + 161/35. Sort a, 14, -1 in descending order.
14, a, -1
Let g = -981 + 982. Let t = 0 + 3. Sort t, 11, -2, g.
-2, g, t, 11
Let z(g) = g. Let f be z(0). Let p = -59 - -58. Put f, p, 1 in descending order.
1, f, p
Let g(z) = -z**3 + z**2 + 4*z + 3. Let n be g(-2). Suppose -n*a + 10 = -12*a. Suppose 4*r - 4 = -0. Sort r, 2, a in ascending order.
a, r, 2
Let r be (-48)/18*(-2 + (-39)/(-18)). Sort 0, r, -4, -0.4 in descending order.
0, -0.4, r, -4
Let r = -426 + 436. Let w = 3 - -2. Let y = 0 - 0.1. Sort y, w, r.
y, w, r
Let j = 0.154 - 18.154. Sort -4/3, j, 4, -3 in increasing order.
j, -3, -4/3, 4
Let q be (-192)/(-28)*(-114)/(-9). Let j = q - 87. Sort -0.1, j, 2/7 in decreasing order.
2/7, -0.1, j
Let i = 3.4 - -2.6. Let n = -55.9 - -50. Let m = n + i. Sort m, -2/13, 1/3 in decreasing order.
1/3, m, -2/13
Let r be 11 + 2 + -2 + 1. Let a = -9 + r. Suppose 0 = -2*u - 2*v - 2*v + 12, 5*v - 37 = a*u. Sort 15, u, 3.
u, 3, 15
Let d(m) = -m**3 - 9*m**2 + 13*m + 65. Let t be d(3). Suppose p = -2*p + 2*s + 16, 2*s + 20 = 5*p. Put 5, 3, t, p in decreasing order.
5, 3, p, t
Let m = 104.9 - 105. Sort 0.1, m, -7.7 in ascending order.
-7.7, m, 0.1
Let g = -179 - -177.78. Put g, 0.4, 3, -1 in descending order.
3, 0.4, -1, g
Let w = -429 - -432. Sort -2, -3, w, -3/4 in descending order.
w, -3/4, -2, -3
Let b = 2161 + -2161.2. Put b, -0.16, -0.1, -2/9 in descending order.
-0.1, -0.16, b, -2/9
Let q = -7.8 - -8. Suppose -7 = -k + 10. Suppose 2*v + k = -5*t, -t - 4 = -0*v + v. Sort t, 2, q in descending order.
2, q, t
Let c = 73 + -76. Put c, -8, 0 in descending order.
0, c, -8
Let r be ((-70)/7 - -8)*-2. Put -205, r, -5 in descending order.
r, -5, -205
Let d be 0*6/(-42)*1. Put -4, 1, d, 2 in ascending order.
-4, d, 1, 2
Let z be 0/(7/(35/(-10))). Put -3/4, 2/7, z in decreasing order.
2/7, z, -3/4
Let i be 145/(-21) + 18/(-189). Sort 4, -9, 0, i in descending order.
4, 0, i, -9
Let v = -3/14 + 43/70. Let x = -134 - -539/4. Let b be (-114)/(-95)*(1 + 74/(-54)). Put x, v, b in decreasing order.
x, v, b
Suppose 3*c = 5*c - 8. Suppose 2*w = c*w + 10. Sort -20, 5, w in decreasing order.
5, w, -20
Suppose 2*y = -2*n - 11 - 1, y = 3*n + 14. Suppose -2*k = 7 + 5. Let d(l) = -l**2 - 8*l - 14. Let a be d(k). Sort y, 4, a in ascending order.
a, y, 4
Let z = 287 + -148. Let b = z + -140. Sort 5, -3, b, 3 in increasing order.
-3, b, 3, 5
Let i = 505 + -494. Let y = -0.16 - -0.06. Put i, y, 2/7 in decreasing order.
i, 2/7, y
Let b be 3 - (-2)/((-42)/51). Let u = 0.02 - -0.02. Sort -1, b, u in increasing order.
-1, u, b
Let g(y) = -5*y + 18. Let k be g(3). Suppose 4*v - 5*v - t = -2, 2*v - 3*t = -21. Put -4, v, 2, k in descending order.
k, 2, v, -4
Suppose 101*x - 153 = 152*x. Sort -2/3, -37/5, x, 5.
-37/5, x, -2/3, 5
Suppose 20 = 4*x - 0*x - 4*z, 3*x = 2*z + 14. Put -4, x, -7, -3 in descending order.
x, -3, -4, -7
Let d = 97 + 11. Let x be d/(-24) - 4*-1. Put x, -0.2, -2/3 in descending order.
-0.2, x, -2/3
Let y(v) = 4*v - 1. Let x be y(1). Let r(i) = i**2 - 10*i - 22. Let k be r(-2). Sort 5, k, x, 4.
k, x, 4, 5
Let v = -99 - -101. Sort 1, 0, -21, v in ascending order.
-21, 0, 1, v
Let l = 397 + -397.4. Sort 11, -5, l, 1/8.
-5, l, 1/8, 11
Let z = -0.1058 - 3.8942. Sort -2/7, -86, z in decreasing order.
-2/7, z, -86
Suppose -5 = -5*d, 3*z - 4*d = -3*d + 5. Suppose -z*n = -2*m + 6, -3*n + 5*m - 5 - 12 = 0. Sort n, -1, 0, -3 in increasing order.
-3, -1, 0, n
Let s = -6/23 - -7/115. Let v = -3 - -7. Sort v, 3, s in increasing order.
s, 3, v
Suppose -f - 15 = -4*l, 2*f + 0*l = -3*l - 8. Let c be (f/(-3))/(((-10)/(-12))/5). Sort c, -4, -2, -5 in increasing order.
-5, -4, -2, c
Let g = -0.07 - 4.93. Let h be 2 - (53/11 + -3). Let z be 0 + (10/8 - 1). Sort g, z, h.
g, h, z
Let w = -3 + 2.5. Let r = 5.62 + -7.62. Let t = -0.3 - -0.7. Put t, r, w in descending order.
t, w, r
Suppose -5*k = -d - 23, 2*k - 4 = 3*d - 0*d. Suppose -5*r - 3*h = 6, 2*r - d*h - 2 = 2. Sort r, -1, 4 in increasing order.
-1, r, 4
Let d = -18 + 16. Let f be 9/(45/(-20))*(-2)/d. Put -1, f, 1 in ascending order.
f, -1, 1
Let g = 51.9 + -52. Let l = -50 + 48. Let i = -4.93 - 0.07. Put g, i, l in decreasing order.
g, l, i
Let r = 3.337 - 0.337. Put 9, -2, 0.4, r in decreasing order.
9, r, 0.4, -2
Suppose -6*w - 2*w + 80 = 0. Let r be 1/((-4)/w) + 3. Put r, -1, 0.2, 3/2 in increasing order.
-1, 0.2, r, 3/2
Let p = 529/6 + -88. Let x be (24/(-48))/(7/(-4)). Put 0, x, p, 0.3 in increasing order.
0, p, x, 0.3
Suppose 0 = 2*a - 8 - 0. Suppose -43 + 35 = 8*z. Suppose 3*f = -j - 10, -4*j - 2*f = 3*f + 5. Sort j, z, a in increasing order.
z, a, j
Let n be ((-20)/6)/(18/(-27)). Suppose 2*i - 3 = h - 0*h, -n*h = -4*i - 9. Let g be 0/((-2)/i*2). Put 4, g, -3 in ascending order.
-3, g, 4
Suppose 17 - 29 = -4*f. Suppose -4*k = -12, -f*k + 4*k - 5 = 2*s. Sort s, 4, 2, -2.
-2, s, 2, 4
Let g(d) = d**2 - 7*d + 6. Let c be g(6). Let b be (16/6)/(4/36). Let p be 26/(-65) + b/10. Sort p, -5, c in ascending order.
-5, c, p
Let n be (-1)/(-9)*(-12)/(-3). Let w = -425 + 429. Put n, 0.1, 1, w in decreasing order.
w, 1, n, 0.1
Let b(s) = -s**3 + 21*s**2 + 26*s - 91. Let i be b(22). Sort i, -353, -5.
-353, -5, i
Let v = -0.02877 + -55.00123. Let t = 55 + v. Put -1/3, t, 1/5 in decreasing order.
1/5, t, -1/3
Let y = 273 - 273. Sort -1, -5, y, 4 in increasing order.
-5, -1, y, 4
Suppose 3*t - 12*m + 15*m + 3 = 0, -t - 3 = 3*m. Put 22, 3, 4, t in descending order.
22, 4, 3, t
Let l = -35 - -29. Let i be l/1 + (-3)/(-1) + -2. Suppose -2*y - 18 = 2*y - 2*r, 0 = -3*y + 4*r - 26. Put 0, i, y in decreasing order.
0, y, i
Let k = 1 - 0. Let x = -0.012 + 49.012. Let j = x - 47. Sort j, k, -3 in decreasing order.
j, k, -3
Let d = -47.8 + 47.6. Sort d, 2/3, 0.3, -6.2.
-6.2, d, 0.3, 2/3
Suppose 4*x - 1 = f + 1, -9 = -x - 4*f. Sort 63, x, -5, 3 in decreasing order.
63, 3, x, -5
Let h(p) = -p**3 - 6*p**2 + 3*p + 16. Let o be h(-6). Put -65, 5, o in increasing order.
-65, o, 5
Let v(k) = -k**3 - 7*k**2 - 8*k - 14. Let h(x) = -7*x**3 - x + 2. Let l be h(1). Let g be v(l). Sort 2, g, 9, -5 in ascending order.
-5, g, 2, 9
Let n = -55 - -55. Suppose 3*o - 52 + 4 = n. Sort 0.4, -4, o, 4 in decreasing order.
o, 4, 0.4, -4
Let l(g) = -g - 4*g - 1 + 3*g. Let x be l(5). Let k be x/(-3) + 9/(-3). Put 1, -1/6, k in decreasing order.
1, k, -1/6
Suppose 0 = 5*s - 5*g + 30, -9*s - 25 = -5*s - 3*g. Suppose -4*q + 28 + 0 = 0. Suppose 2*t + 3 = q. Put t, s, -3 in increasing order.
s, -3, t
Let h = -335 - -349. Sort h, 3, -1.
-1, 3, h
Let m(f) = 6*f + 29. Let p be m(10). Let b = -84 + p. Put 12, -0.4, b in decr