4*w + 68, -2*s + 31 = -w. Let a = s + -14. Sort -4, a, 2 in ascending order.
-4, a, 2
Let p(k) = -k - 5. Let v be p(-5). Let b = -80 + 76. Put b, -3, v in decreasing order.
v, -3, b
Suppose 0 = 3*d + 6 - 18. Sort 5, 1, d, 10 in decreasing order.
10, 5, d, 1
Let w = -26 - -25. Sort 2, 1, w in decreasing order.
2, 1, w
Let w(n) = n**3 - 8*n**2 + 5*n + 17. Let d be w(7). Sort 4, d, 7, -5 in ascending order.
-5, d, 4, 7
Let z = 0.05 - 0.25. Let g = 4 + -4.6. Let s = z - g. Sort -5, 1, s in descending order.
1, s, -5
Suppose 47*i - 80 = 31*i. Let g = 6 - 3. Sort g, -1, i in decreasing order.
i, g, -1
Suppose -2 = u + l, 5*u + 4*l + 12 = 2. Let n(p) = -4*p - 3. Let d be n(u). Sort -5, d, -2 in descending order.
d, -2, -5
Let w(h) = h - 2. Let q be w(5). Let o(n) = -n. Let u be o(-1). Suppose 3*x + 3*j + 2 + u = 0, -4*x - 2*j + 6 = 0. Put q, x, -4 in decreasing order.
x, q, -4
Suppose -2*l + 44 = 4*b, l - 27 = -0*l - b. Let x be (-8)/l + (-2)/(-4). Sort x, -5/3, -0.1.
-5/3, -0.1, x
Suppose -5*o = -4*f + 60, -45 = -3*f - 0*f - 5*o. Let s be f/12 + 2/(-8). Sort s, -1, 3 in increasing order.
-1, s, 3
Let t(o) = -o**3 - 1. Let c be t(-1). Put c, 1, -7 in decreasing order.
1, c, -7
Let v be 39/(-9) - (1 + -5). Put 4, -2/13, v in decreasing order.
4, -2/13, v
Let c(k) = -k**2 + 6*k - 3. Let s be c(5). Put 1, -1, s in decreasing order.
s, 1, -1
Let p = 0.05 - -0.05. Let w = -0.1 - p. Sort 3, w, 5 in decreasing order.
5, 3, w
Let z be (0 + 1)*(-1 + 5). Suppose 0 = -h + z - 0. Suppose 0 = 6*v - v. Put 2, h, v in ascending order.
v, 2, h
Let k = 1013/8 - 127. Sort -1/3, 5, k.
k, -1/3, 5
Let y = 30095/9 + -3339. Let v = -16/3 + y. Sort 1, v, -3/8 in ascending order.
v, -3/8, 1
Suppose -v - 6 = 2*o + 3, 3*v + o + 12 = 0. Put -1, 0, 3, v in ascending order.
v, -1, 0, 3
Let v be 14 + -8 + -4 + 2. Put 0.4, 0.8, v, 2 in descending order.
v, 2, 0.8, 0.4
Let f(o) = o**2 + 7*o. Let z be f(-7). Suppose z*j = -2*j - 6. Sort -4, 5, j in descending order.
5, j, -4
Let n = -0.11 - -0.21. Let y = -4.1 + n. Sort -1, -3/2, y in ascending order.
y, -3/2, -1
Let t be -2 - (-1 - -1)/(-4). Put t, -3, -4, 3 in decreasing order.
3, t, -3, -4
Let g = 8 - 7.98. Sort -3, -5, g.
-5, -3, g
Let p = 25 + -22. Suppose 0 = -5*a - 4*h + 4, -2*h + 7*h - 5 = -2*a. Sort -2, p, a in ascending order.
-2, a, p
Let b be (6/(-18))/(21/18). Sort 0.3, -1, b, 4 in decreasing order.
4, 0.3, b, -1
Let l = 117 - 125. Sort l, -3, -3/5 in descending order.
-3/5, -3, l
Let b be ((-4)/(-24))/((-1)/4). Let k = 2.1 + -0.1. Sort k, b, -4/3.
-4/3, b, k
Let v = 57 + -54. Sort -3, 0, v in ascending order.
-3, 0, v
Let d = 12 - 8. Suppose -d = -5*g + 9*g. Suppose 6*i = i + 15. Put -5, g, i in decreasing order.
i, g, -5
Suppose 0 = 8*q - 6*q - 16. Let m = q - 3. Sort m, 3, -5 in ascending order.
-5, 3, m
Let i be (-1)/(1/9) + -2 + 1. Put 1, i, -3 in descending order.
1, -3, i
Let s = 100 - 95. Sort 1, 3, s, -1 in decreasing order.
s, 3, 1, -1
Let r = 151/4 - 38. Let u be 120*(1 - (-21)/(-15)). Let t be -4 + 2 - u/21. Sort -4, r, t.
-4, r, t
Let a be (-1164)/(-42) - 2/(-7). Let v = 53/2 - a. Sort v, 1/4, 3.
v, 1/4, 3
Let d = -2 + 2. Suppose 0 = 4*k + 15 - 23. Put d, 4, k in decreasing order.
4, k, d
Let i = -0.01 - 0.39. Let m = -1 - -3. Let t = -4 + m. Sort t, i, -1/6 in increasing order.
t, i, -1/6
Let i = -0.1 + 0. Let j = -0.22 + 0.62. Let n = i - j. Sort 2, -4/5, n in increasing order.
-4/5, n, 2
Let h = 31 - 27. Let u be 2/3*(-6)/(-4). Sort u, -3, h in decreasing order.
h, u, -3
Let y = -33 + 12. Let v be 66/(-14) - (-6)/y. Put -1, 3, v in descending order.
3, -1, v
Let o(i) = i + 2. Suppose -g + 5*w + 10 = 0, 4*g + 0*w + 26 = -2*w. Let m be o(g). Sort m, 4, -1 in descending order.
4, -1, m
Let t(o) = -o - 2. Let g be t(0). Let s be 10/g*(-6)/(-10). Sort 4, -2, s.
s, -2, 4
Let l = -11 - -1. Let m = -5 - l. Sort m, -4, 3 in decreasing order.
m, 3, -4
Suppose 5*y = -0*y - 115. Put y, -0.4, 0.3 in decreasing order.
0.3, -0.4, y
Let y = 13 - 10. Let i be 0 - ((-156)/77 - -2). Let q = i - 85/308. Put -1, y, q in decreasing order.
y, q, -1
Let y(q) = -q - 4. Let i be y(-8). Suppose r - i*n + 10 = 30, -n - 5 = -3*r. Sort 5, r, -5.
-5, r, 5
Suppose -26*o = -31*o + 20. Suppose o*u + 0*u + 24 = 0. Sort 2, 1/4, u in decreasing order.
2, 1/4, u
Let l = -0.05 + -2.95. Let c = -24 + 51. Let q be ((-4)/c)/(16/24). Sort l, 0.4, q in increasing order.
l, q, 0.4
Let o(x) = x**3 - 6*x**2 + 3*x + 5. Let j be o(5). Let i(r) = -r**2 - 8*r - 5. Let y be i(-5). Let f be (4/(-3))/(y/(-15)). Sort f, -4, j.
j, -4, f
Let s = -18 - -5. Let k = 18 + s. Suppose 4*h = 20, h + h - 12 = 2*x. Put k, -1/8, x in descending order.
k, -1/8, x
Let k = 6 + -6.4. Let j = -2 + 2. Let t = 2/3 - 7/15. Sort k, j, t in decreasing order.
t, j, k
Suppose 0 = 3*t + 2*l + 8, 0*l + 2 = -2*t - 3*l. Sort -2/13, 3, t in decreasing order.
3, -2/13, t
Let o = -5 + 5.3. Let r be 6/(-21) + (-34)/(-21). Sort r, -1, o in decreasing order.
r, o, -1
Suppose 3*m - 2*o - 35 = 3*o, -2*m - 5*o = 10. Let u = -12 - -15. Put m, -2, u in ascending order.
-2, u, m
Suppose 2*b = 51 + 3. Let r = 13 - b. Let l be ((-4)/r)/((-6)/14). Sort -5, 2/9, l in increasing order.
-5, l, 2/9
Let m(p) = -3*p**2 - 1. Let c(u) = u**2. Let l(y) = 2*c(y) + m(y). Let w be l(2). Suppose -5 = 4*b + 3. Sort 3, b, w in descending order.
3, b, w
Let r = -15 + 13.9. Let m = -1.9 + r. Sort m, 0.5, 5 in ascending order.
m, 0.5, 5
Let z = 19 + -19.2. Sort -1, z, -5 in decreasing order.
z, -1, -5
Let p = -55 - -104. Let h = p + -244/5. Sort h, 3, 1/3.
h, 1/3, 3
Suppose v - 2*p - 6 = 0, 2*v - 2*p - 7 = 1. Put -3, 8, v in decreasing order.
8, v, -3
Let t = 3.1 - 18.1. Let r = -14 - t. Put r, 0.3, 2 in increasing order.
0.3, r, 2
Let h = 13 + -4. Let x = 8.6 - h. Sort -1, x, 0.4.
-1, x, 0.4
Let s = 2 + -1. Let p = 1 - 3. Let m = 1 + p. Sort m, -5, s in descending order.
s, m, -5
Let z = -26 + 31. Put -1, -0.4, z, -5 in increasing order.
-5, -1, -0.4, z
Let b = 13 - 6. Let a = b - 7.1. Put 4, -0.4, a in descending order.
4, a, -0.4
Let a = -19 + 16. Suppose -f - f = -6. Put f, a, 1 in decreasing order.
f, 1, a
Let q = 4 + 13. Sort -1, 5, q, -5 in decreasing order.
q, 5, -1, -5
Let r be 3 + 1 + 23/(-6). Let x = 0.11 + -0.1. Let n = x + -2.01. Put 0.5, n, r in decreasing order.
0.5, r, n
Let m = -39 - -42. Sort -3, 2, m, 4.
-3, 2, m, 4
Let q(v) = -v - 2. Let f be q(-2). Let d be ((-20)/6)/(12/(-18)). Sort 4, f, d in ascending order.
f, 4, d
Let k(l) = -l - 12. Let a be k(-8). Put -2, -3, a in ascending order.
a, -3, -2
Suppose -2*p - 21 = 3*v - 0*v, 4*v - 5*p + 5 = 0. Put 4, -4, v in descending order.
4, -4, v
Let j = 84 + -505/6. Let f = -14.5 - -15. Sort j, f, -4/9 in descending order.
f, j, -4/9
Let y = -0.6 - -5.6. Let k = -5.3 + y. Let n be ((-5)/(-25))/(4/(-10)). Put n, k, 0 in ascending order.
n, k, 0
Let k(h) = -6*h + 1. Let i be k(1). Suppose -o = 4*y - 25 - 1, -2*y + 3*o + 20 = 0. Suppose 2*g - 5*b = y, 0 + 15 = -5*b. Put i, 3, g in descending order.
3, g, i
Let j(q) = 5*q - 1. Let v be j(-1). Let p(r) = -2*r - 7. Let z be p(v). Sort 0, 1, z.
0, 1, z
Let n = 0.5 - 2.5. Let j = 1.64 - -0.46. Let r = j + n. Sort r, -0.4, -2/9.
-0.4, -2/9, r
Let d(w) = 4*w + 9. Let t(u) = -u - 1. Let h(q) = -d(q) - 5*t(q). Let f be h(7). Put -8, -4, f in increasing order.
-8, -4, f
Let l be 70/63*(-1 - -71). Let q = l + -78. Put -2/21, -2, q in ascending order.
-2, q, -2/21
Let y be 4/(0 - 2) + 2. Suppose 3*u + 3 = -y. Sort 5/3, -2/3, u in ascending order.
u, -2/3, 5/3
Let q be ((-18)/15)/2*5. Let f(i) = -i**3 - 4*i**2 - 2*i + 6. Let p be f(-3). Put -4, q, p in descending order.
p, q, -4
Let f = 1 - 1.5. Let h be 8 + 0 + (-16)/8. Let t = h + -4. Put t, f, -5 in ascending order.
-5, f, t
Suppose -2*y = -1 - 1, 0 = -m + 5*y - 2. Put 1, m, -5 in decreasing order.
m, 1, -5
Suppose -6 - 14 = -5*u. Sort -16, u, 0 in descending order.
u, 0, -16
Let l = 22 - 32. Let c be -3 - (-5)/(l/4). Put 5, c, 0 in increasing order.
c, 0, 5
Let x = -5 - 2. Let d = 19 - 13. Let w = x + d. Sort 1/5, 1, w in descending order.
1, 1/5, w
Let d be (36/24)/(2/4). Let k = -2 + 0. Put 4, k, d in ascending order.
k, d, 4
Suppose -3*v = -0*v. Suppose 4*s - 17 = k, v = 4*k - 0*s + 2*s - 4. Sort -1/5, k, -2.
-2, k, -1/5
Let y = -3 + 0. Let m(h) = -h**2 - 31*