4 + 6. Let s be -2 + 6 - 428/112. Let m = s - 53/140. Sort m, o, -1 in descending order.
m, o, -1
Let o = -34 - -30. Let j = -28 + 38. Put o, j, 1 in increasing order.
o, 1, j
Let v = -22.9 - -22.9. Put 19, v, 2, 4 in ascending order.
v, 2, 4, 19
Let z = -11 - -11.2. Let m(c) = 2*c**2 + 32*c + 68. Let x be m(-13). Sort x, z, 5.
x, z, 5
Let y(g) = -g**3 + 6*g**2 + 9*g - 17. Let z be y(7). Put 62, z, -1, 4 in increasing order.
z, -1, 4, 62
Let j(x) = x**2 + 3*x + 25. Let b be j(-8). Let c = b + -61. Sort c, -4, 1.
-4, 1, c
Let l = -436 - -441. Sort l, -0.06, 1/4, 0.3 in descending order.
l, 0.3, 1/4, -0.06
Let f = 2 - 2. Let o = -958 + 963. Sort o, -2, f, -5 in ascending order.
-5, -2, f, o
Let v be (15/(-18) - -1)*(6 + -8). Let n = -745/9 + 83. Sort v, n, 0, 4 in descending order.
4, n, 0, v
Suppose -18*y + 11*y + 21 = 0. Suppose 0 = f - 2*f + 30. Suppose 2*j + 2*p = 6*j - 26, 5*j = 2*p + f. Sort 0, j, y in decreasing order.
j, y, 0
Suppose -2*v - 17 = -u, v - 96 = -3*u - 2*v. Suppose 7 - u = -2*n. Sort 2, -5, n, 5 in ascending order.
-5, 2, 5, n
Suppose 6*n - 32 = 2*n. Suppose 4*w + n = 2*w. Put -5, -1, w, 5 in increasing order.
-5, w, -1, 5
Suppose 0 = -5*f - 25, 0 = -3*z - 18*f + 19*f - 19. Sort 2, z, 3.
z, 2, 3
Let s = 11 - 27. Let r = 15 + s. Sort 7, 4, r in ascending order.
r, 4, 7
Let v = 1636 + -1636.5. Put -5, 1/2, v, 1/18 in ascending order.
-5, v, 1/18, 1/2
Let y(o) = -3*o**2 - o. Let h be y(1). Let t(n) = 4*n + 12. Let j be t(h). Let d = -0.2 - 0.3. Put -0.4, d, j in descending order.
-0.4, d, j
Suppose -3*w + 13 = -2. Suppose w*p + 2 = 12, -5*j + 5*p - 25 = 0. Sort 1, 7, j in increasing order.
j, 1, 7
Let x = -10 - -11. Let h be -1*10*3/6*x. Put -3, 2, h in ascending order.
h, -3, 2
Suppose 0 = 2*w - 6*w + 12, 5*w - 3 = -4*r. Let t(u) = u**3 - 7*u**2 + 6*u + 2. Let n be t(6). Suppose -5*i + 8 = -4*z, 4*i + 0*z + z = -n. Sort r, i, -19.
-19, r, i
Let n = 34 - 39. Let q = 7 - 12. Let x = q - n. Sort x, 1/3, -4.
-4, x, 1/3
Let k be 2 + (-5 - -2 - 4 - -5). Put 3, -9, k, -5 in descending order.
3, k, -5, -9
Suppose -3*z + 0*z - 79 = 5*v, 0 = -v - 4*z - 9. Sort -5, v, 1 in decreasing order.
1, -5, v
Let x = 166.6 - 167. Let d = -0.19 + -0.01. Sort -2, x, d.
-2, x, d
Let z = -3 - -2.5. Let b = 6060/13 - 466. Put z, 0.02, b in descending order.
b, 0.02, z
Let i(y) = -2*y**3 + 16*y**2 - 15*y**2 - y + 0 + y**3 + 2. Let o be i(0). Suppose 4*x + 6 = 2*l, -3*l - 5*x + o*x = 0. Put l, 0.1, -1/4 in ascending order.
-1/4, 0.1, l
Let o be (-5)/99 - 171/(-627). Sort 1/6, 1.2, o in increasing order.
1/6, o, 1.2
Let t be 14/((-42)/(-15)) - (4 - 0). Sort 0, 190, t in decreasing order.
190, t, 0
Let z = 59 + -59. Let y(t) = -4*t - 3. Let s be y(-2). Sort z, s, -3.
-3, z, s
Let n = 0.21 - 35.21. Sort 0.5, 1/11, n in decreasing order.
0.5, 1/11, n
Let h = 0 - 5. Let q be ((-13)/4)/(1 - (-9)/(-12)). Sort h, q, -1/3 in increasing order.
q, h, -1/3
Let f = -102 - -92. Let r be (-6)/(-27)*15/f. Let v be 2/(0 - 14/(-2)). Put r, v, -0.5 in increasing order.
-0.5, r, v
Suppose -2*k - 2*z - 66 = 0, -k - 5*z + 4 = 49. Let y = k + 32. Suppose 0 = y*g + g. Sort g, -3, 4 in decreasing order.
4, g, -3
Let c be (-14)/(-5 - (-9)/3). Suppose c*u = 2*u. Suppose 28 = -u*g - 4*g. Put 3, -4, g in decreasing order.
3, -4, g
Let c = 220 + -224. Sort -5, 2, c, -71 in decreasing order.
2, c, -5, -71
Suppose -u - 4*z - 20 - 4 = 0, -4*u - 31 = 3*z. Put 5, 0, u, 11 in increasing order.
u, 0, 5, 11
Let y = 1.68 - 0.08. Sort -1, y, 3/8 in increasing order.
-1, 3/8, y
Let a(g) = 12*g - 58. Let r(q) = 145*q - 695. Let l(y) = -25*a(y) + 2*r(y). Let d be l(6). Sort 6, d, 5, -3 in increasing order.
-3, d, 5, 6
Suppose 10*v - 8*v + 4 = 0. Sort -1/13, -1/3, v, 4 in increasing order.
v, -1/3, -1/13, 4
Let g = 742.3 - 778. Let w = -36 - g. Let y(p) = -4*p + 1. Let i be y(-1). Sort w, i, 4 in ascending order.
w, 4, i
Let w = -16 + 15. Let b = 512 + -5626/11. Put b, w, 4/9 in decreasing order.
b, 4/9, w
Let n = 1511.022 - 1511. Put 0, n, -5 in ascending order.
-5, 0, n
Let w = 17.83 + -18. Let u = -0.27 - w. Let c = 0.4 + u. Put c, -2/11, 3 in increasing order.
-2/11, c, 3
Suppose 3*j + 3*v - 12 = 0, -v + 5*v = 4. Suppose 2*k = 7*k - a + 6, 2*a = j*k - 2. Suppose 4*g + 25 = -g. Put 5, k, g in descending order.
5, k, g
Let v = 0.1592 - -0.0408. Put -30, 3/7, 1/2, v in increasing order.
-30, v, 3/7, 1/2
Let g(j) = 16*j + 403. Let w be g(-25). Let c = -0.6 - 0.1. Put c, w, -1/5 in increasing order.
c, -1/5, w
Let p = 56 + -58. Suppose -3*a + 36 = -3*t, -3*a - 3*t + 4 = 2*t. Put 0, a, p, 3 in ascending order.
p, 0, 3, a
Let w = -5/8 - -81/104. Let g = 1617 + -1614. Put w, -1/3, g in ascending order.
-1/3, w, g
Let y be (1/(-3))/(18/(-108)). Sort -14, y, 4 in descending order.
4, y, -14
Let g(y) = -y**3 - 28*y**2 - 24*y + 82. Let q be g(-27). Sort q, -30, 4 in descending order.
4, q, -30
Let p = 47 - 57. Let v(h) = -h**2 + 6*h - 6. Let q be v(6). Let i be ((-3)/q)/((-1)/8). Sort i, p, 5 in descending order.
5, i, p
Suppose 2*r + c + 30 - 21 = 0, -r = c + 5. Suppose 0 = 3*u - 1 + 4. Sort r, 0, u.
r, u, 0
Let z = -127.5 + 127. Let p = -9.42 - 0.58. Sort 5, z, p, 0.5 in increasing order.
p, z, 0.5, 5
Let t = -4.151 + 0.051. Let x = -23.9 + t. Let v = 28.2 + x. Put 4, v, -2/5 in increasing order.
-2/5, v, 4
Suppose 0 = 2*x - 2 - 0. Let n be x - (2*-2)/(-4). Suppose n = a - 2*q - 12, -5*a + 4*q + 29 = -1. Sort -4, a, -2 in ascending order.
-4, -2, a
Let i = -73/33 - -17/11. Let t = -4 + 6. Sort i, t, 9/11.
i, 9/11, t
Let g = -1.7 + -5.3. Let r = g + 7.5. Let c = r + -0.5. Sort 2, 0.1, c in increasing order.
c, 0.1, 2
Let k(c) = -c - 5. Suppose r = 5*q + 24, 4*q + 4*r = -16 - 8. Let i be k(q). Let a be (-1)/3 + (-374)/(-33) + -12. Sort i, -3, a in ascending order.
-3, a, i
Suppose 12*s = 7*s - 190. Let g = s - -43. Put 8/5, 1, g in descending order.
g, 8/5, 1
Suppose 4 = j, -y + 2*j - 5*j + 15 = 0. Put -2, 2, 8, y in descending order.
8, y, 2, -2
Let d be (171/38)/(6/(-8)). Sort 20, -4, d in ascending order.
d, -4, 20
Suppose 2*f + 65 - 8 = -5*d, 81 = -3*f - 3*d. Put 2, -3, f, -4 in ascending order.
f, -4, -3, 2
Suppose 430 + 305 = 35*w. Put w, 5, 1 in decreasing order.
w, 5, 1
Let w = -44 - -50. Sort 4, -3, w in increasing order.
-3, 4, w
Let q be 3 + 5/2 + 20/(-40). Suppose d = u + 15, -30 = -d + 2*u + 2*u. Let i be d/7 - (-4)/(-2). Put i, -1/6, q in descending order.
q, -1/6, i
Suppose 3*n - 3 - 15 = 0. Suppose -w + 4*l = 3, 4*w = n*l - 2*l. Let k = 119/24 + -45/8. Sort 1/5, w, k in increasing order.
k, 1/5, w
Let v = -3 + 12. Let s = 8.7 - v. Suppose 0 = -2*j - 2*j + 16. Put j, -1/5, s in ascending order.
s, -1/5, j
Let d be ((-1)/((-3)/(-84)))/(-1). Suppose -a - 3*a - d = 0. Suppose 3*f + 2*f = -25. Sort a, f, -2 in decreasing order.
-2, f, a
Let t = -2002 + 1984. Sort 8/5, 0, t in decreasing order.
8/5, 0, t
Let p be ((-1)/(-2))/(1/(-8)). Let j be 2/(2 - (-6)/(-4)). Suppose -2*k = -3*v + 17, 4*v - 5*k = -40 + 72. Put v, j, p in ascending order.
p, v, j
Suppose 3*u = k + 10, 0*k + 3*u = -k + 2. Let i(w) = -w**3 - 2*w**2 + 6*w - 6. Let f be i(k). Sort f, 2/3, -0.5 in descending order.
f, 2/3, -0.5
Suppose -6*h - 30 = -16*h. Sort -3, -9, h in increasing order.
-9, -3, h
Let o(w) = -w + 8. Let s be o(5). Let i = 37 - 25. Suppose 20 = -7*f + i*f. Put s, f, 2 in ascending order.
2, s, f
Let q(j) = -j**2 - 111*j + 1890. Let g be q(15). Let c = -6 - -3. Sort g, -5, c.
-5, c, g
Suppose 5 = -2*m + 3*g, 2*m - 45*g + 40*g = -15. Sort -5, m, -2.
-5, -2, m
Let o be 0/((-1 - -2)*-3). Suppose 0 = -c + 1 - o. Let m be 10/(-4) - (-2)/(-4). Put m, c, -4 in descending order.
c, m, -4
Let x = 0.02 - 3.02. Let q = 909 + -922. Put q, 0.3, x in ascending order.
q, x, 0.3
Suppose c - 3*q - 22 = -0*c, -58 = -4*c - 3*q. Let k be 2/(-12) - 693/54. Let t(f) = f + 18. Let r be t(k). Sort -4, r, c in ascending order.
-4, r, c
Let j = -0.2249 - -10.2249. Put 0.046, -5, j, -3 in descending order.
j, 0.046, -3, -5
Let m be 8/20 - (-18)/5. Suppose -m = -2*n - 2. Suppose -2*r + 0*r = -3*t - 7, 2*t = -3*r - 22. Put n, 2, r in decreasing order.
2, n, r
Suppose 3*t - 30 = 3*z, t - 22 = 3*z + 2. Suppose 6 = -4*j + 2. Suppose -o + 30 - 28 = 0. Sort o, z, j in decreasing order.
o, j, z
Let i = 1576/5 - 315. Sort 93, -1, i in descending