 5*k + 8. Let a be x(6). Sort a, 3, 12 in ascending order.
a, 3, 12
Let b = -0.5 - -0.3. Let p = b - 0.8. Let v = 1.1 + p. Sort 0.4, v, 2/11 in ascending order.
v, 2/11, 0.4
Suppose 3 = 5*p - 4*w + 9, p - w = -2. Let n(t) = -4 - 3*t**2 + 5*t**2 + 4*t - t**p. Let a be n(-4). Sort 3, a, -3 in decreasing order.
3, -3, a
Let t = 1.3 - 1.7. Let c = t - -1.4. Sort -3/7, c, 2 in decreasing order.
2, c, -3/7
Let o be (1 - 19)*(-6)/4. Let j be 1 + -2 - o/(-15). Put -3, j, -0.1 in decreasing order.
j, -0.1, -3
Let p = 0 - -1. Let s = -702/5 - -140. Sort 3/7, s, p in decreasing order.
p, 3/7, s
Suppose -3*f - 4 = -7*f. Let m = -3 + 5. Let d be (-1)/m*24/(-20). Put 5, d, f in decreasing order.
5, f, d
Let t = -0.13 + -4.87. Suppose -3*w - 4 - 5 = 0. Put -1, t, w in increasing order.
t, w, -1
Let a = -31 + 35. Sort -1, a, 2, 1 in decreasing order.
a, 2, 1, -1
Let k = 0.13 + 1.07. Let x = -4.2 + k. Let j be -4 + (0/(-3) - 0). Put x, j, 1/2 in increasing order.
j, x, 1/2
Let l = 6.3 + -6. Let c = 5.3 - l. Let r be ((-2)/48)/(2/4). Sort c, r, 0.1 in ascending order.
r, 0.1, c
Let l be (10/8)/((-1)/(-4)). Let i be (-6)/(-9) - 2/(-6). Put l, 0, i in decreasing order.
l, i, 0
Let x(u) = 0 + 8 + u**2 - 3 + 7*u. Let g be x(-5). Suppose b = -o - o + 9, -o = -b. Sort -4, g, o.
g, -4, o
Let y be 5/(-3) - 2/6. Let l = 24.2 - 24. Put l, 0, y in decreasing order.
l, 0, y
Let h be (-26)/40 - (-3)/12. Let g = 6 - 9.5. Let q = 0.5 + g. Put -2, q, h in increasing order.
q, -2, h
Suppose -6 = s - 0*s. Let b = 172 + -167. Sort -2, s, b in descending order.
b, -2, s
Let b be 8/20*2 + 6/(-15). Let s be 5 - (1*-1 + 1). Put b, s, -0.2 in increasing order.
-0.2, b, s
Suppose 6*w - 3*w + 15 = 0. Let r(d) = d**3 + 6*d**2 + 4*d - 1. Suppose 3*l - 5*b = -20, -5*b = -l - 0*b - 10. Let y be r(l). Sort y, w, -1 in descending order.
y, -1, w
Let v = -12 - -8. Sort 1, 0, v in ascending order.
v, 0, 1
Suppose -5*q - 63 + 78 = 0. Let c be -2*1 + -4 + 1. Suppose -2*w - 5 = 3. Put q, c, w in descending order.
q, w, c
Let x(w) = -w**3 + 6*w**2 - w + 4. Let d be x(6). Let s = 23/80 + 5/16. Let k be ((-2)/4)/((-5)/10). Sort d, k, s.
d, s, k
Suppose -2 = 4*o - 14. Suppose 3*v - 8 = 7. Suppose -v*j - 1 = -4*h, -7 = 4*h + 5*j + 2. Sort o, h, -5 in descending order.
o, h, -5
Let q = -74 - -73.91. Sort 1, 4, -0.4, q.
-0.4, q, 1, 4
Suppose 24 + 0 = 3*i. Suppose 5 = -g + y, -3*y = 2*g - 4*y + i. Suppose 0 = j - 2*j + 3. Put j, -5, g in increasing order.
-5, g, j
Let i = 3 + -6. Let w be 0 + (1 + -3 - -2). Put i, 4, w in increasing order.
i, w, 4
Let b = 102 - 102.5. Sort 1/5, b, 29 in decreasing order.
29, 1/5, b
Suppose 0 = 2*l - 0*l + 30. Let r = -8 - l. Suppose -2*a + a = -2*b - r, -a = -3*b - 8. Sort 2, a, -4 in ascending order.
-4, 2, a
Let m = -178 + 181. Sort m, 4, -7/3 in descending order.
4, m, -7/3
Let s(w) = -w**2 + 11*w - 9. Let l be s(10). Suppose -t - l = g, 5*t = -g - 3*g - 9. Sort -1, t, 1 in increasing order.
t, -1, 1
Let d be 1/(-1)*(-2 - -1). Suppose d = 4*h + 5. Suppose 4*r + 10 = 2*r. Sort 1, h, r in increasing order.
r, h, 1
Suppose -2*a - 20 = -j + 3*a, 11 = 4*j + 3*a. Put j, 3, -5 in decreasing order.
j, 3, -5
Let n = 0 + 2. Let s = -3/2 - -2. Sort s, n, 4 in descending order.
4, n, s
Let u = -6 + 3. Suppose 0*l - 2*l = -12. Let a = l - 10. Sort u, 5, a.
a, u, 5
Suppose 0 = -4*v + 8 + 4. Suppose 0 = v*l - l. Sort l, -5, -3 in increasing order.
-5, -3, l
Let a = 9 + -10. Sort 4, 0, a in decreasing order.
4, 0, a
Let k = 11 + -12. Let c = k - -1.4. Sort 4, c, 0.2 in descending order.
4, c, 0.2
Let j = 9 + -7. Let l be (2 + j)*(-6)/12. Sort -4, l, -3.
-4, -3, l
Let l be (-5)/((-20)/(-6))*2. Sort 4, l, -2 in decreasing order.
4, -2, l
Let w be ((-10)/(-30))/(12/15 + -1). Suppose 2*a = -a. Let m = 0 - 1. Sort a, w, m in decreasing order.
a, m, w
Let t be (1 - 0) + 11 - 1. Let u(o) = o**3 - 12*o**2 + 12*o - 8. Let j be u(t). Sort 5, j, 1 in decreasing order.
5, j, 1
Let s be ((-3)/1)/(3/(-2)). Let u be s + 5 + (-1 - 0). Put u, 3, -5 in descending order.
u, 3, -5
Let p = 1 + 5. Suppose 0 = 2*v - 4*q - 14, q + 8 + 0 = -4*v. Let i be (v + -2)/(p/4). Put 4, -3, i in increasing order.
-3, i, 4
Let w be ((-32)/(-60))/(-4) - 4/(-12). Sort -5, 0.5, w in descending order.
0.5, w, -5
Let l(g) = -g - 1. Let b be l(4). Suppose -2*j = -0*j - 22. Let r = j + -11. Put 4, r, b in decreasing order.
4, r, b
Let g = 0.51 - 0.51. Sort -0.5, 1/5, g in decreasing order.
1/5, g, -0.5
Suppose -3*a - 6*k + k = -6, -a = 2*k - 2. Suppose -a*b = b. Let v = 1/39 - 31/195. Sort 0.5, b, v in decreasing order.
0.5, b, v
Let p = 11 - -360. Let c = 530 - p. Let q = c + -1115/7. Sort 1/7, -4/3, q.
-4/3, q, 1/7
Let a be 28/12 - (-4)/6. Let o = 16 + -11. Let n = -11 + 7. Put n, a, o in ascending order.
n, a, o
Let i be (4/(-21))/((-1)/6). Let r = i + -39/28. Suppose 5*p - 25 = -5*n, -n + 3*n - 4 = p. Sort n, r, -3/4 in descending order.
n, r, -3/4
Let h = 178 + -173. Put -3, -1, 1, h in ascending order.
-3, -1, 1, h
Let r = 2 - 1.8. Let y = r - -2.8. Let m = y + -3.5. Sort m, 1/3, -2/3 in descending order.
1/3, m, -2/3
Let t = -2 - -1. Let x = 1/187 - -3/17. Let g be 30/6 - 2 - (0 + 2). Sort g, t, x in ascending order.
t, x, g
Let n = -8 - -4. Let f = 6 + n. Sort 7, f, 0.4 in ascending order.
0.4, f, 7
Suppose -11 = -m - 2*n, -2 = 3*m - m - 2*n. Suppose 2 = -3*v - 7. Sort v, 0, m.
v, 0, m
Suppose -13 = 3*l - 4. Let z be -1 - (-5 + l/3). Sort -2, z, -0.3 in ascending order.
-2, -0.3, z
Let c(r) = -r**3 - 8*r**2 + 9*r - 5. Let n be c(-9). Let l = -2 - -8. Sort 4, l, n.
n, 4, l
Let g be (66/24)/(-11) + (-13)/(-4). Put -4, 4, g, -3 in increasing order.
-4, -3, g, 4
Suppose -2*s - 4*s = -18. Put 13, 1, s in ascending order.
1, s, 13
Let g(c) = -c**3 - 6*c**2 - 3*c + 10. Let l be g(-5). Sort 1, l, 3 in increasing order.
l, 1, 3
Let n = -3.8 - 0.2. Let b(z) = z**3 + 21*z**2 - 28*z - 130. Let x be b(-22). Put -1, x, n in increasing order.
n, -1, x
Let q(u) = u**2 + 1. Let b be q(-2). Let y be (3/2)/(6/(-12)). Sort 0, y, b in decreasing order.
b, 0, y
Let g = 4 - 3.6. Let o = g + -0.7. Let n = -0.9 - 0.1. Sort n, 3/2, o in ascending order.
n, o, 3/2
Let m = -1 - -1. Let t = 22 + -25. Let v = m - t. Sort -4, v, 2/3.
-4, 2/3, v
Let a be (2 - -1)*32/(-12). Let i be (0 - 1)/((-4)/a). Sort i, 5, 1 in descending order.
5, 1, i
Suppose 3*u - 2 = -2*f + u, -f + 9 = 5*u. Let p be (-80)/(-5) + (2 - 4). Let n = 16 - p. Put 3, f, n in descending order.
3, n, f
Let x = -43 - -44. Put -1, 6, x in decreasing order.
6, x, -1
Let v = 16 + -21. Put -2, 3, v in ascending order.
v, -2, 3
Let m be (-12)/10*(-20)/6. Let b = 12.3 + -13. Let a = -0.6 - b. Sort a, m, 0.3 in descending order.
m, 0.3, a
Let i(q) = q**3 + 5*q**2 + 4*q + 3. Let d be i(-4). Suppose 7 = -4*s - d*c + 2*c, -2 = -s - c. Let y = -36.6 - -37. Put y, s, 1/6 in descending order.
y, 1/6, s
Let i(k) = 14 - 5 - k - 8. Let r be i(-4). Put 2/9, 1/5, r in descending order.
r, 2/9, 1/5
Let g be 2/(4/6) + -2. Suppose -5*y - 31 = 4. Let j = -9 - y. Put -1, g, j in descending order.
g, -1, j
Let v be (464/48)/((-1)/(-3)). Let r = v - 173/6. Sort 5, -2, r.
-2, r, 5
Let z(f) = f**3 - 5*f**2 + 3*f + 8. Let m be z(4). Let g(x) = x**2 + 6*x + 2. Let v be g(-5). Sort -5, m, v.
-5, v, m
Let i be 1*(1 - (0 + 0)). Let j be -2*2 - (-1 + -1). Let n = j + i. Put n, 2, -5 in descending order.
2, n, -5
Let g = -189/5 + 3581/95. Sort 1/5, g, 0.8 in increasing order.
g, 1/5, 0.8
Let l = -0.28 - 2.52. Let d = l + 3. Let t = 0.08 + -0.28. Sort -3, d, t in descending order.
d, t, -3
Suppose -5*u = 3*o + 2, -2*o = -4*u + u + 14. Sort 4, o, 2 in descending order.
4, 2, o
Suppose 5*r = -2*s - 18, -4*r - 3*s = 15 + 5. Let l be (r/(-6))/((-2)/42). Put 3, l, 5 in descending order.
5, 3, l
Let s = 0.098 + 0.102. Sort 2, s, -8, -3 in decreasing order.
2, s, -3, -8
Let b be (-2 - -1) + -2 + 3. Let d = 7 + -6. Sort b, 3, d in descending order.
3, d, b
Let d be 5/(-1) - (-2 - -1). Suppose -2*u - 2*b = -6*u, b = 4*u - 2. Sort 5, d, u in descending order.
5, u, d
Let n be (-126)/(-28) + (-2)/4. Suppose -5*a = h - 2*h - 24, -4*h = 3*a + n. Put h, 2, 1 in decreasing order.
2, 1, h
Let z = -0.46 + 0.66. Put -6, z, 3/5 in decreasing order.
3/5, z, -6
Let y = 3 + 3. Let f = 7 - y. Sort 5, f, 7 in descending order.
7, 5, f
Sup