 descending order.
l, 4, -1, -2
Let p be (-5)/12 + 1/(-4). Let o = -10 - -10.3. Let z = 1.7 + o. Sort z, 3/7, p in increasing order.
p, 3/7, z
Let l(g) = 16*g**3 - 2*g**2 + 4*g - 4. Let w be l(1). Sort -1, w, 5, -4 in ascending order.
-4, -1, 5, w
Suppose 0 = -m + 2. Let l be m/(-4) + 2 + -2. Suppose -3*w = j - 18, 10 = 3*j + 1. Put w, l, 4 in increasing order.
l, 4, w
Let z be (9 + -3)/6*-2. Sort 1, z, -51 in ascending order.
-51, z, 1
Let z be (11 + (-4 - 3))*1*-1. Put 5, 1, z, -3 in ascending order.
z, -3, 1, 5
Let q(a) = 2*a + 1. Let u be q(-1). Let j be 2/((306/(-27))/(-17)). Let c be (8/10)/(4/(-30)). Sort c, j, u in descending order.
j, u, c
Let m = 125/36 + -13/4. Put m, 200, 2, 1 in increasing order.
m, 1, 2, 200
Suppose 0 = 3*q + 7 + 56. Suppose -60 + 36 = 8*o. Sort q, 5, o in decreasing order.
5, o, q
Let s(w) = -w**2 - 5*w - 3. Let j be (-7)/14 + 65/2. Let u = 29 - j. Let r be s(u). Put -1, -5, r in increasing order.
-5, -1, r
Let x(y) be the third derivative of y**4/24 + y**3/2 - 7*y**2. Let f(c) = -1. Let s(r) = f(r) + x(r). Let a be s(-1). Sort a, 0.5, 3 in descending order.
3, a, 0.5
Let f(d) = -4*d**2 + 23*d - 13. Let t be f(5). Let y = 32 - 57. Let s be (1 - t)/((-5)/y). Sort -1, s, 4 in descending order.
4, -1, s
Let w = -3 + 5. Let o be (w/4)/(4/8). Suppose 5*d + 5*i - 15 + 60 = 0, 3*d = 3*i + 3. Put o, d, 4 in increasing order.
d, o, 4
Let o be (2/5)/(3/(-90)). Suppose -3*g - b + 9 = -6*b, 4*g + 3*b = -17. Let p be g*((-30)/(-14) + -2). Sort p, o, 1/4 in increasing order.
o, p, 1/4
Let w = -0.0961 - -0.1661. Sort -6/11, 0.05, w in increasing order.
-6/11, 0.05, w
Let q = -0.014 - 0. Let y = q - -5.134. Let r = 0.12 - y. Put 4, 2/3, r in increasing order.
r, 2/3, 4
Suppose -2*x - 14 = -4*k, -2*x + 4*k = 3*k + 11. Let v = -3.4 - -3.2. Sort v, 22, -0.1, x in decreasing order.
22, -0.1, v, x
Suppose 6*r = 3*r + 3. Suppose -4*l = 2*n - 12, 0 = l - 4*l + 4*n + 20. Suppose -l*f + 4 = 8. Sort f, r, 0 in descending order.
r, 0, f
Let z = 322.3 - 322. Sort -1, z, -12 in decreasing order.
z, -1, -12
Suppose 12 = -2*r + 6. Let j(n) = n**2 + 8*n + 8. Let c be j(-7). Let h be 2 + 1 - (2 - c). Put h, -5, r in descending order.
h, r, -5
Suppose 184 = 24*t - t. Sort 2, 3, 1, t in descending order.
t, 3, 2, 1
Suppose 4*b + 2*v + 5 = 5*b, 5*v = 0. Suppose 4*k = 20, -5*j + 4 = -3*k - 1. Let x = 0 + j. Sort x, 1, b.
1, x, b
Let i be (-23)/4 - ((-31)/52 - (-118)/(-767)). Let b(w) = -w**2 - 4*w + 3. Let t be b(-5). Put i, 4, t in decreasing order.
4, t, i
Suppose -34*h - 280 = 6*h. Put -2, h, 5 in ascending order.
h, -2, 5
Suppose s + b = 3, -4*b - 2 = 6. Let r(k) = -k**2 - 20*k - 77. Let o be r(-15). Put s, -5, o in descending order.
s, o, -5
Let m = 40 - 40.46. Let g = m - 0.14. Let y = 0.8 + g. Sort 0.4, 2, y.
y, 0.4, 2
Let t = 7/82 + 1277/410. Let z = -17/5 + t. Sort 0.4, z, -0.5.
-0.5, z, 0.4
Suppose -2*m = -114 + 108. Sort -2, -4, m, -1.
-4, -2, -1, m
Suppose 26*x = 24*x - 4. Let w be (6/8)/(2/(-8)). Put 1, x, w in descending order.
1, x, w
Let d be (-4 + 2 - 3) + -3 + 6. Let g = 0.9 - 1. Sort g, 5/2, 4/7, d in decreasing order.
5/2, 4/7, g, d
Let a(o) = o**3. Let i be a(1). Let c be -22 + (-1)/(-3)*(-2 - 7). Let f = -20 - c. Put i, f, -4 in descending order.
f, i, -4
Let y = 2003 - 2001. Let w be (0 - (-1 - -2))*-5. Sort y, -2, w in decreasing order.
w, y, -2
Let k = 22 + -8. Sort 3/8, 3, k in descending order.
k, 3, 3/8
Let r(q) = -8*q - 6. Let j be r(-2). Let f be (-15)/j*16/12. Put -3, f, 5 in descending order.
5, f, -3
Let r = -0.517 + 0.217. Sort -0.5, r, -0.2 in increasing order.
-0.5, r, -0.2
Let z be (92/16 - 6) + 0. Sort 4, -22, z, 2.
-22, z, 2, 4
Let v = 304 - 287. Sort 1, -5, v, -4.
-5, -4, 1, v
Let u be 9/18 - (-3)/6. Sort 23, 2, -5, u.
-5, u, 2, 23
Let h = 106 + -103. Suppose c + 12 = -4*s - 4*c, 0 = -2*s - c. Let r be (1/(14/(-8)))/s. Put 0, h, r in ascending order.
r, 0, h
Let y = 15 - 16. Let h be 4/y - (4 - (-2 - -6)). Put -7, 1, h in decreasing order.
1, h, -7
Suppose 2*c + 2*k = 4*c + 4, 2*c - 2 = 5*k. Let s = 79 - 75. Sort -3, s, -5, c.
-5, c, -3, s
Let z(f) = 2*f + 53. Let u be z(-26). Put u, -3, -2/13 in descending order.
u, -2/13, -3
Suppose 0 = 3*j - 12, -x - 1 = 2*j - 5. Put x, -3, 3, 20 in increasing order.
x, -3, 3, 20
Suppose a - 5*u + 15 = 0, -3*a - 6 = -7*a - 2*u. Let z be (-8)/(-6) - (-2)/(-6). Put z, a, -8 in decreasing order.
z, a, -8
Let m = -30 - -53. Let v = -13 + m. Suppose 2*c + 3*y - 3 = 0, v*y = 5*y - 5. Put 4, c, 5 in decreasing order.
5, 4, c
Let d be 352/(-80) - 6/10. Let p = -0.1 + -0.2. Sort p, 0.7, d.
d, p, 0.7
Suppose -26 = -3*x - 5*i, 3*i = 3*x - 39 + 45. Sort x, 5, -41.
-41, x, 5
Let x = 34 + -21. Suppose 0 = 2*c + 8, 3*n - 3*c = -0*n - 6. Let l be (-1)/n + (-2)/(-4). Put -0.1, x, l in ascending order.
-0.1, l, x
Let h = 0.0807 + 46.9193. Sort 3, 0.3, h.
0.3, 3, h
Let i(f) = -88*f - 16. Let h be i(-7). Let k be (-1)/(-4) + (-230)/h. Put 4, k, -4 in decreasing order.
4, k, -4
Let c = -100 - -125. Suppose 4*w + x - 14 = 3*x, 5*w - 5*x = c. Sort 0, 5, -2, w in decreasing order.
5, w, 0, -2
Let p be (-6)/(-21)*4/(-44). Let m = 136/693 - p. Let g = 17 - 12. Sort 4, g, m in descending order.
g, 4, m
Let w be (4/6)/(9/54). Suppose -5*k = -4*y - w, 2*k + 3*y = 5*y + 2. Put -1, 1, k, -4 in decreasing order.
1, k, -1, -4
Let u(p) = -2*p**2 - 22*p + 23. Let w be u(-12). Let h = -31 + 125/4. Sort -0.2, h, w in increasing order.
w, -0.2, h
Let a = 21 + -33. Let u be -6 - a - 6 - (1 + -2). Sort u, 0, -0.1 in ascending order.
-0.1, 0, u
Let w be 22*38/(-240) + 0 + 4. Let p = -4/15 + w. Sort -3/4, p, 4/3, 0.
-3/4, 0, p, 4/3
Let k be (-12)/8*2/6. Let z = -0.0688 + -0.2312. Let t = 0 + 0.2. Sort z, k, t.
k, z, t
Let m = -81.3 + 76.3. Sort 2/17, m, 2/9, -2/7 in increasing order.
m, -2/7, 2/17, 2/9
Suppose 0 = -21*i + 27*i + 120. Let t be ((-2)/(-22))/((-10)/i). Sort 0.1, -3, t, -2/21 in increasing order.
-3, -2/21, 0.1, t
Suppose 0 = -2*y + 6*y - 4*h - 4, -19 = 5*y + 3*h. Put y, -3, 5, 27 in descending order.
27, 5, y, -3
Let b = 21 - 16. Let h = 8 + -5. Let x be (5 + -2 + 8/(-4))*-1. Put b, h, x in decreasing order.
b, h, x
Suppose 2*s = 8, 0*s + 3*s + 30 = 3*l. Suppose -27*p = -34*p - l. Suppose -3*x - 12 = x. Sort x, p, -4 in increasing order.
-4, x, p
Suppose 10*j = g + 8*j - 15, 3*j = g - 20. Let p be 88/9 - 2/(-9). Let d = p - g. Sort -2, 4, d in ascending order.
-2, 4, d
Suppose f = -0*k + 2*k - 11, 5*f + 7 = 2*k. Suppose 3*m = -5*m - 40. Sort m, k, 1 in increasing order.
m, 1, k
Suppose 2*f = 5 + 5. Suppose -3*n - 13 = f. Put n, -3, 4 in ascending order.
n, -3, 4
Let w = 0.0886 - -37.0114. Let s = w - 37. Let r = -7 + 12. Sort r, -1, s in decreasing order.
r, s, -1
Let i be (-3)/27*(2 - 4). Let r = -211/99 - -20/9. Let w = -169 + 172. Put i, w, r in decreasing order.
w, i, r
Suppose -4 = 9*x - 8*x. Put 5, -170, x in ascending order.
-170, x, 5
Let v = -15 - -10. Let d = 0.6 - 5.6. Let w = v - d. Sort -5, w, -0.3.
-5, -0.3, w
Let g be (2 + (-126)/45)/(-3). Sort -2, -5, -4, g in decreasing order.
g, -2, -4, -5
Let t(l) = l**2 + 8*l - 7. Let j be t(-8). Suppose 9*p - 2*b + 3 = 4*p, -2*p = 5*b + 7. Put -4, j, p in descending order.
p, -4, j
Let q(u) = u - 18. Let f be q(14). Sort 4, -18, f in decreasing order.
4, f, -18
Let i = 1201 + -1200.7. Sort i, -4, -4/7, 2 in increasing order.
-4, -4/7, i, 2
Let r = 1791 - 118207/66. Put r, 0.6, 1/5 in descending order.
0.6, 1/5, r
Let j = 176/3 - 59. Put 0, -0.5, j, 0.2 in increasing order.
-0.5, j, 0, 0.2
Let v be ((-156)/15)/((-6)/15). Suppose -v = -4*m - 2. Let t be (2/m)/(3/(-9)). Sort t, -2, 4 in descending order.
4, t, -2
Suppose -57 - 15 = -4*j. Suppose 0 = -3*l + j - 3. Sort 14, l, -5.
-5, l, 14
Let h be (0 - -2) + 1 + -6. Let i = 51 + -72. Let z(q) = -2*q - 44. Let r be z(i). Put 1, h, r in decreasing order.
1, r, h
Let c(g) = g**2 - 11*g + 26. Let v be c(6). Suppose -6*p + p = d - 10, -7 = p + 2*d. Put v, 0.07, p in decreasing order.
p, 0.07, v
Let f = 78/43 + -1100/559. Sort 5, f, -2/5, -29 in ascending order.
-29, -2/5, f, 5
Let v be (-1)/(5/(8 - 3)). Let x = -4 + 5. Put v, -3, x in ascending order.
-3, v, x
Let d = -328 - -323. Sort -2, -15, d.
-15, d, -2
Let o = 197 + -112. Let w = o - 88. Suppose 0*u - 4 = -4*u. Put u, -4, w in increasing order