 in decreasing order.
1, -4, l
Suppose 3*w + 2 + 4 = -3*h, -2*w + 3*h + 16 = 0. Sort -7, 5, w in descending order.
5, w, -7
Let u(d) = 7*d + 1. Let q be u(2). Suppose q = 3*i, h + 2 = -0*h + i. Let t = -92 - -96. Sort h, 2, t in increasing order.
2, h, t
Suppose -1 = 2*i - i. Put -59, 4, i in decreasing order.
4, i, -59
Let w = -4.91 + -0.09. Let t be 8/(-66)*(-3)/(-26). Let l = t - 425/286. Sort w, l, -2 in ascending order.
w, -2, l
Let l be (-3 - (-4)/4)/11. Put -7, l, -1 in descending order.
l, -1, -7
Let t = -22 + 11. Let x be -1 + 2 + 13/t. Let u be (8 - 0)/((-4)/2). Sort x, u, -0.1.
u, x, -0.1
Let f be (-4)/6 + 5/3. Let m(a) = a - 1. Let l be m(-3). Sort l, -5, f in decreasing order.
f, l, -5
Let z(u) = 3*u**3 - u**2 + u + 1. Let v be z(-1). Let r = 32 + -20. Let p be 4/2*r/8. Put 4, p, v in decreasing order.
4, p, v
Let k = -7 + 10. Suppose j + 1 = -5*i, 0*i - k*j = -i - 13. Put 4, 2, i in increasing order.
i, 2, 4
Let o = 4 - -4. Suppose -2*n = y + 2*y - 4, y - 4*n = -o. Sort 1, 2, y in decreasing order.
2, 1, y
Let f be 2/(-7) - (-99)/(-21). Let t be 6/(-15)*f/8. Let q(r) = r + 9. Let m be q(-11). Put 1, t, m in ascending order.
m, t, 1
Let c = 7.8 + 0.2. Let p = c + -8.2. Let a be (-2)/(-6)*2 + 1. Put a, p, 5 in descending order.
5, a, p
Let l = 2 + -3. Let w = -0.6 - l. Let i = -5 - -4.6. Sort w, 0.1, i in descending order.
w, 0.1, i
Let d be 5/20 - (-15)/4. Let v be d/6 - 12/(-9). Suppose -v*g = g. Sort -4, 4, g.
-4, g, 4
Suppose 0 = -5*k + 25, 2*y + 4*k - 5*k + 17 = 0. Put -0.4, y, -4 in decreasing order.
-0.4, -4, y
Let q = -5 + 8. Let j be 2 + 1 + -1 + -11. Let n be j/6*1/q. Sort 1/2, n, 1 in decreasing order.
1, 1/2, n
Let t = 9 - 13. Let p = -62 - -22. Let a be ((-32)/p)/(2/10). Sort 5, a, t in decreasing order.
5, a, t
Let l be 38/(-95) + (-2)/(-5). Let t be ((-8)/4)/(-2)*l. Sort -5, 2, t.
-5, t, 2
Let f = -86.5 + 87. Sort -0.1, f, -4 in increasing order.
-4, -0.1, f
Let t = 9 + -16. Put -2, 2, t in descending order.
2, -2, t
Suppose 3*b + 2*d = 2*b - 2, d = 2*b + 29. Let n be b/9 - (-4)/12. Suppose -2*s + 3*z + 14 = -z, -16 = 2*s + 2*z. Sort s, n, -2 in ascending order.
s, -2, n
Let y be ((-1)/(-6))/((-1)/(6/(-4))). Put 5, y, -0.9, 1 in descending order.
5, 1, y, -0.9
Let d(f) = 2*f - 4. Let u be d(1). Let w = 5 - 5.4. Put 1, u, w in decreasing order.
1, w, u
Let c be 16 - 14 - (1 + 1). Let k(g) = -4*g**2 - g. Let x be k(-1). Put c, x, -4 in descending order.
c, x, -4
Suppose -3*q = 12, -2*q - 1 = d + 4. Put d, -1, 4 in ascending order.
-1, d, 4
Suppose -4*o + g - 24 + 10 = 0, o - 5*g - 6 = 0. Sort 2, 1, -5, o in decreasing order.
2, 1, o, -5
Let h(y) = -y**3 - 10*y**2 - y - 5. Let c be h(-10). Suppose 0 = 5*s - 20, -6*v + 5 = -v + c*s. Sort 9, 5, v in decreasing order.
9, 5, v
Let q be (-12)/(-90) - (-13)/15. Let z be 3*q*4/(-6). Let s be 1*(1 - 0)*0. Put s, z, -4 in descending order.
s, z, -4
Let v = 0.31 + -15.31. Let w = 16 + v. Put -2, w, -5 in ascending order.
-5, -2, w
Let d(y) = -y + 4. Let v be d(-3). Put -5, v, 4 in descending order.
v, 4, -5
Let o(g) = 2*g - 11. Let f be o(6). Put 5, f, -9 in descending order.
5, f, -9
Suppose 7*q - 3*q = -4*c - 16, 3*q - 5*c - 20 = 0. Suppose -4 = 3*t - 5*t. Put t, q, -5 in decreasing order.
t, q, -5
Let i be 4/6 + (-56)/102. Let j = -0.06 - -4.06. Let t = 3.6 - j. Put t, i, -5 in descending order.
i, t, -5
Let u = -9 - -6. Let a = -115 + 111. Sort a, 1/12, u in decreasing order.
1/12, u, a
Let n = -2 - 3. Put n, 10, 5 in increasing order.
n, 5, 10
Let u(w) = w**2 + 9*w - 13. Let t be u(-10). Sort 5, t, -5, 2 in descending order.
5, 2, t, -5
Let t = -1/12 + -7/60. Let b = -2 + 1.4. Let y = 0.2 + b. Put t, y, 1/4 in decreasing order.
1/4, t, y
Suppose 4*p = -p + c - 11, 0 = -3*p + 5*c - 11. Let n = 0.08 - -3.92. Put n, p, 3 in descending order.
n, 3, p
Let i be 36/(-56) - (-2)/4. Sort -5, -12, i in decreasing order.
i, -5, -12
Let u = 6/5 - 27/10. Put u, 4, 2/17 in increasing order.
u, 2/17, 4
Let l be (6/(-3))/(-1) - 22. Let x = -15 - l. Sort x, -2, 3 in descending order.
x, 3, -2
Let o be ((-3)/9)/((-1)/15). Sort -3, 0, o, -2 in descending order.
o, 0, -2, -3
Let v = -8.6 - -12.6. Put -2, v, 1/5, -1 in descending order.
v, 1/5, -1, -2
Let h = -17 - -13. Sort -3, h, 1.
h, -3, 1
Let i = -313/1071 + 1/153. Let f = 0.68 - 0.08. Let p = f - 5.6. Sort p, 5, i in descending order.
5, i, p
Let u = 0.2 + -0.2. Let b = 5 - 4. Put -4, b, u in increasing order.
-4, u, b
Let p = -3.06 + 0.06. Let k = 24 + 154. Let h = k - 3380/19. Sort h, -5, p in decreasing order.
h, p, -5
Let t = -1204/9 - -134. Sort -5/4, t, 4 in decreasing order.
4, t, -5/4
Suppose -4*s - 2*d = 32, -5*d + 3*d + 10 = -3*s. Let n be (-18)/(-81) - (-500)/18. Let h be n/15 - (-4 - s). Put h, 1, -5 in descending order.
1, h, -5
Suppose -3*k = -5*w - 24 - 0, -5*k + w = -18. Let y be ((-16)/12 + 4)*3/2. Put -6, y, k in increasing order.
-6, k, y
Suppose 2*b - 5*b + 18 = 0. Put 0.5, -4, b in descending order.
b, 0.5, -4
Suppose -5 = -5*y - 15. Sort -3, y, -21, -4 in decreasing order.
y, -3, -4, -21
Suppose 0*y = -4*y. Let l(j) = -j**3 - 7*j**2 - 4*j + 8. Let n be l(-6). Suppose 5*w - 4 = 21. Sort w, y, n in ascending order.
n, y, w
Let g be 4 - 1/((-33)/9 + 4). Put 0.5, g, 0.2 in ascending order.
0.2, 0.5, g
Let i(w) = w**2 + 16*w + 31. Let o be i(-14). Put 1, -5, o in ascending order.
-5, 1, o
Let u(n) = 4*n**2 - 4*n + 2. Let h be u(2). Let w = -12 + h. Sort -5, 3, w.
-5, w, 3
Let q(a) = a + 2. Let x be q(5). Let z = 5 - x. Let n = 3 - 2. Put z, n, 4 in decreasing order.
4, n, z
Let d(b) = -b**3 + 16*b**2 + 19*b - 39. Let w be d(17). Sort 2, 4, w in decreasing order.
4, 2, w
Let b(k) = -k**2 - 13*k - 5. Let w be b(-13). Sort 3, -1, w in decreasing order.
3, -1, w
Let i = -0.4 + 0.3. Let k = 0.4 + i. Let q = -225 - -225. Sort k, q, -0.1 in ascending order.
-0.1, q, k
Let k be ((-4)/6)/(10/45). Sort k, -1, -2.
k, -2, -1
Let u be (-3)/12 - (-1)/4. Suppose u*k = -5*k + 135. Let i = k - 136/5. Sort i, 5, -1/8.
i, -1/8, 5
Let n be 1/1*1*5*-3. Put -5, n, 0 in decreasing order.
0, -5, n
Let r be ((-6)/8)/((-2)/(-16)). Let i = r - -5. Suppose 3*l - 24 = -4*b - l, -3*b - 2 = -l. Sort i, b, 5 in descending order.
5, b, i
Suppose -3 + 18 = -5*x. Suppose -5 = -5*c - k - 4*k, 5 = -c + 5*k. Let p be (-12)/20 - 24/(-15). Put x, c, p in increasing order.
x, c, p
Let y(q) = -q**2 + 5*q. Let p be y(4). Suppose 4*i - 7*l + 3*l = 0, 5*l + p = 3*i. Put -1, 3, i in ascending order.
i, -1, 3
Suppose 33*s - 29*s = -28. Put s, -4, 2 in ascending order.
s, -4, 2
Let h = 593/3201 + -1/291. Sort 7, h, 0.
0, h, 7
Let m be (-1)/((-1)/(-5) + 0). Let i be (-32)/(-14) - 4/14. Sort i, 1, m in increasing order.
m, 1, i
Let q = -24.2 - -24. Put q, 3/8, -2/15, 6/17 in descending order.
3/8, 6/17, -2/15, q
Let d(a) = a**3 + 2*a - 1. Let i be d(1). Let n be i/6 + (-20)/6. Suppose 2*z + 1 = 3*c - 14, 3*c - 15 = -3*z. Sort -5, c, n in descending order.
c, n, -5
Suppose 3 + 7 = 2*w. Let y = w + -7. Suppose v - 3*x + 21 = 2*x, -3*v - 7 = -x. Put 2, y, v in decreasing order.
2, v, y
Let v = -27 + 22. Sort v, -0.1, 0.1 in decreasing order.
0.1, -0.1, v
Let y = -16 + 16.5. Sort 3/7, y, 0.3.
0.3, 3/7, y
Let n = 4 - 7. Suppose 0 = 3*j + j + 2*i + 4, 5*i + 20 = 0. Put n, j, -2/7 in ascending order.
n, -2/7, j
Suppose 3 - 7 = -b. Suppose -2*q + b = -6*q. Put q, 2, 5 in increasing order.
q, 2, 5
Let b be (-2)/6 - (-1 + 1). Put -1, 1/9, b in decreasing order.
1/9, b, -1
Suppose 3*w - 3 = 4*w, 5*b = w + 73. Sort 2, -5, b, -3 in ascending order.
-5, -3, 2, b
Let b = 15.4 - 26.53. Let g = b - -0.13. Let r = g - -10.6. Sort 1/3, r, 4 in increasing order.
r, 1/3, 4
Let v = -0.3 - -1.3. Let x = 5.11 - 0.11. Let g = x - v. Sort 2/9, g, -1/2.
-1/2, 2/9, g
Suppose -6*f + 13*f = -28. Put f, -3, 2 in increasing order.
f, -3, 2
Let g = -9 - -8. Let c(a) = -5*a. Let h be c(g). Put 1, h, 2 in descending order.
h, 2, 1
Let n = 1/127 + -513/635. Sort -5, n, 0.5 in increasing order.
-5, n, 0.5
Let r be -1*1 - (-46)/2. Suppose 2 = 5*q + r. Let j be 23/q - (-6)/8. Sort -4, -3, j in descending order.
-3, -4, j
Let v(s) = 2*s**3 + 3*s**2 - 3*s - 7. Let p be v(-2). Sort p, -4, 13, -3 in descending order.
13, -3, -4, p
Let l = -1/293 - 1462/879. Sort -5, l, 0 in descending order.
0, l, -5
Let r = 