pose 5 = 6*u - 25. Let i = -9 - -4. Sort 4, i, u in ascending order.
i, 4, u
Let o = -3.8 - -4. Let y = 0.8 + o. Put y, -5, -0.1 in descending order.
y, -0.1, -5
Let d = -0.037 - -7.337. Let j = 7 - d. Let k = j - -0.8. Sort -1, 2, k in ascending order.
-1, k, 2
Let m = -11 - -11. Let i be (-1 - (-1 - 1))*2. Suppose -i + m = -r. Sort 0, r, 1 in increasing order.
0, 1, r
Suppose -3*y = 2*y, 0 = 4*j - y + 20. Let l(f) = -f**2 + 3*f + 6. Let t be l(5). Put t, j, 3 in ascending order.
j, t, 3
Let a = 6 + -11. Sort a, 0, 0.3.
a, 0, 0.3
Let q be 32/(-30) - 4/(-6). Let j = -0.06 - -2.06. Let h = -1.6 + j. Sort q, -3, h in decreasing order.
h, q, -3
Let z(i) = -i**3 + 5*i**2 + 5*i + 3. Let c be z(6). Sort -4, c, 0 in decreasing order.
0, c, -4
Let a(p) = -4*p + 5. Let i be a(1). Put 2, 4, 3, i in descending order.
4, 3, 2, i
Let f = -8 + 7. Sort 37, f, 5 in descending order.
37, 5, f
Suppose 13*o - 17 = 22. Put o, 0, -13, 1 in descending order.
o, 1, 0, -13
Let o(s) = -2*s + 1. Let z be o(1). Let q be 1 + (z - (-4)/2). Sort 3, q, 4.
q, 3, 4
Let r be (3/9)/((-2)/(-6)). Let j be 141/12 - 1/(-4). Let g be j/(-16) - (-46)/8. Put 0, g, r in increasing order.
0, r, g
Let v be (-4)/(2 - 6) - (-16)/(-2). Put -2, v, 2, 3 in increasing order.
v, -2, 2, 3
Let z(f) = -f**3 - 16*f**2 - 14*f + 17. Let j be z(-15). Sort -1, j, 5, 4 in descending order.
5, 4, j, -1
Let n = 60/7 - 127/14. Put 23, n, -5 in decreasing order.
23, n, -5
Let p = -0.357 - 0.073. Let m = -0.23 - -0.3. Let b = p - m. Put 4, b, 3 in descending order.
4, 3, b
Let u = -0.08 - -0.2. Let p = u + -0.22. Put 5/6, p, -2/5 in descending order.
5/6, p, -2/5
Let i = 0.12 + -5.12. Let y = -0.13 - 0.17. Sort 3, y, i.
i, y, 3
Suppose 0 = -4*q + 5*d, -q = 4*d - 9*d. Sort q, 1, -2.
-2, q, 1
Let j(w) = -w - 1. Let b be j(-5). Suppose -2*i = -0*i - b. Sort 1, i, 0.
0, 1, i
Let l = 107 - 102. Let t be -2*(-3)/(3/2). Sort t, l, -3 in increasing order.
-3, t, l
Let l = 2 - -3. Suppose 5*g - 2*j = -7*j - 20, -4*g + 5 = -3*j. Put 1, g, l in decreasing order.
l, 1, g
Suppose 4*o + 3*v + v = -8, o + 3*v = -10. Suppose -o*f = -4*f. Sort 1, f, 2.
f, 1, 2
Let o be (3/(-6) + -2)*2. Let m = 320/3 + -106. Sort m, o, -2 in descending order.
m, -2, o
Let z be 80/(-35) + 0 + 2. Sort z, -2/13, -4 in increasing order.
-4, z, -2/13
Let c = 5/3 - 109/69. Let i = -0.1 - -0.3. Sort c, i, 3/2 in descending order.
3/2, i, c
Suppose 0 = -z + 4 - 1. Suppose 3*g - z*i + 9 = 0, 2*g - 2*i + 6 = -2*g. Suppose 20 = y + 3*y. Put 2, g, y in ascending order.
g, 2, y
Let d = -0.3 + 0.1. Let r = 10 + -10. Sort d, r, -3 in ascending order.
-3, d, r
Let f = -5/28 - 1/14. Let m = 30 + -28. Let x = 3 + -2.8. Sort x, m, f.
f, x, m
Let s = -7.12 + 0.12. Let z = 7.2 + s. Sort -3, z, -5.
-5, -3, z
Let p = 10.77 - -0.23. Let b = p + -11.1. Let f = -13 + 40/3. Put b, -3/5, f in increasing order.
-3/5, b, f
Let m = 36.6 + -0.6. Let q = 40.3 - m. Let v = q - 4. Sort 0, -5, v in descending order.
v, 0, -5
Let h = -1.3 + 1.7. Sort 1/6, -0.02, h in decreasing order.
h, 1/6, -0.02
Let g = -1.5 - -4.7. Let x = 3 - g. Sort 2, -3/4, x.
-3/4, x, 2
Let y = -13/57 + -2/19. Sort 0.4, y, -0.13 in decreasing order.
0.4, -0.13, y
Let f(s) = s**2 - 1. Let r be f(-1). Let q be (r - -5)*(0 + 1). Sort -0.2, -0.3, q in decreasing order.
q, -0.2, -0.3
Let q be (-21)/(-5) - 2/10. Let v = -9 - -15. Let j = 3 - v. Sort j, q, 1 in increasing order.
j, 1, q
Let i(y) = -y**2 + 2*y + 14. Let f be i(5). Sort -4, 5, f, 4 in descending order.
5, 4, f, -4
Let t = -0.07 + 0.24. Let z = 0.13 + t. Put -0.2, z, 0.4 in increasing order.
-0.2, z, 0.4
Suppose 3*i - 16 = -0*i + 4*c, -5*i = 4*c + 16. Suppose -2*z + 3*b - 4 = 0, -7 = z - 2*z - 3*b. Let n = 0.11 - 5.11. Put z, n, i in ascending order.
n, i, z
Let t = 0.3 - 0.8. Let v be 8/28 + (-52588)/210. Let f = -250 - v. Put 4, t, f in descending order.
4, f, t
Let s = -17 - -16.91. Sort 4, -2, s.
-2, s, 4
Let t be (-91)/(-44) - 1/1. Let g = t + -5/4. Let i = 0.203 - 0.503. Put g, 4, i in decreasing order.
4, g, i
Let r = 61 + -58. Sort 15, r, -3 in ascending order.
-3, r, 15
Let j = 36 + -39. Let r = 0 + -2. Sort j, r, -1 in increasing order.
j, r, -1
Let w = 0.026 + 1.974. Sort 2/7, 0, -1/4, w in descending order.
w, 2/7, 0, -1/4
Let n be (-6)/24 + (-32)/42. Let k = n + 5/28. Put k, -3, -4 in increasing order.
-4, -3, k
Let j = 23 + -13. Suppose -j = -n - 4. Let t(g) = g**3 - 7*g**2 + 7*g - 6. Let c be t(n). Put 3, c, 4 in descending order.
4, 3, c
Let j be (2/2)/(2/10). Sort 4/13, 1, j in descending order.
j, 1, 4/13
Let s(a) = 2*a**3 + a**2 - 1. Let i be s(1). Let y = -1 + 7. Let j(w) = -w**3 + 6*w**2 + w - 7. Let k be j(y). Put k, 1, i in descending order.
i, 1, k
Let v = 5/28 + -81/140. Sort 1/7, v, -2/3 in ascending order.
-2/3, v, 1/7
Let v(b) = -b + 1. Let s be v(-3). Suppose -2*h = -0*h + s. Let a = 7 - 3. Put -4, h, a in descending order.
a, h, -4
Let j = -6 + 18. Let h = j - 8. Put 3, 1, h in descending order.
h, 3, 1
Let a = 712/429 + 1/143. Let q = -17/12 + a. Put q, 0.3, 0.4 in descending order.
0.4, 0.3, q
Let c = -155 + 155.2. Sort c, 3, -2, 1/4 in decreasing order.
3, 1/4, c, -2
Suppose 5*q = q. Put 5, -4, q in ascending order.
-4, q, 5
Let u = 117 + -117. Put -0.1, u, 0.5 in descending order.
0.5, u, -0.1
Let n(g) = 2*g + 13. Let r be n(-9). Sort -4, r, -1 in descending order.
-1, -4, r
Let d = 16 + -15. Let p be -2*(-3)/(-12)*0. Sort -1, d, p in decreasing order.
d, p, -1
Suppose -x + 5*x - 56 = 3*w, w = 3*x - 47. Let l = 33/2 - x. Let b = 2.3 - 2. Sort -2/11, l, b in decreasing order.
b, -2/11, l
Let g(u) = -u**2 + 7*u + 5. Let h be g(7). Let r(j) = -h*j + j**2 - 5 - 2 + 2. Let x be r(5). Sort 5, -3, x.
x, -3, 5
Let v = 39 + -40. Sort -5, 4, 0, v in ascending order.
-5, v, 0, 4
Suppose -1 = -3*s + 7*s - z, 7 = 5*s - 4*z. Let c be -2 + s - (-1 - -1). Suppose 4*d = d - 3. Sort c, 3, d in decreasing order.
3, d, c
Let k be (1/(-7))/(1/2). Let d be (6/15)/((-36)/30). Put -2/17, k, d in ascending order.
d, k, -2/17
Let m = 1 - 0. Let g be (3 - -1)/(1084/2). Let c = g - 568/3523. Put c, -1/6, m in increasing order.
-1/6, c, m
Let y(p) = -p**3 - 3*p**2 + 3*p. Let n be y(-4). Suppose 4*l + 0 - n = 0. Suppose -7 = 5*t + j - 25, 2*t - 16 = 4*j. Sort t, -5, l.
-5, l, t
Let d(m) = 3*m**3 - m**2 + m - 1. Let n be d(1). Suppose 5*r = -4*v + 1 + 18, -6 = -n*r. Let o = -0.7 - -0.4. Sort v, 4, o.
o, v, 4
Suppose 0 = 3*l + 9 - 0. Put -2, l, -5 in descending order.
-2, l, -5
Let n be (-64)/12 - (-4)/(-6). Let w(q) = -q - 6. Let p be w(n). Suppose p = -2*h - 2*h - 12. Put h, 0, -1 in descending order.
0, -1, h
Let d = 2.5 + -5.5. Let s = 0.07 + -0.37. Put 1, s, d in descending order.
1, s, d
Let m = -93/2 + 47. Sort m, -2, 0, -0.5 in decreasing order.
m, 0, -0.5, -2
Let k be 1*(-2)/(30/9). Sort k, 0.5, 2/13 in descending order.
0.5, 2/13, k
Let o = 63 - 61. Let p(d) = -d**2 + 4*d - 1. Let l be p(4). Sort 3, o, l in descending order.
3, o, l
Let i = -10/29 - -391/1218. Let n = 12/7 + -13/7. Let k = i + n. Sort -4/5, k, -2 in increasing order.
-2, -4/5, k
Suppose 3*v - 2*v - 1 = 0. Sort v, 3, -0.4 in increasing order.
-0.4, v, 3
Let f(b) = -b - 2. Let c be f(-2). Let l(x) = -x**2 - 3*x. Let r be l(-4). Sort r, -1, c.
r, -1, c
Suppose 3*u - 2 = 5*w, -1 = -4*u + 4*w + 7. Let g = -6 - -6.37. Let c = 0.03 + g. Sort u, 1, c in descending order.
u, 1, c
Let t be 1*2*2/((-20)/(-5)). Sort t, -5, 4, -11 in decreasing order.
4, t, -5, -11
Let i = 452 - 3605/8. Let b = 23/8 - i. Sort -5, 3, b in descending order.
3, b, -5
Suppose -2*f = -2*r - 18 - 10, 2*r = -3*f - 18. Suppose 3*u = 6, u = 2*c + 2 - 14. Let n = c + r. Sort 4, n, -1 in ascending order.
n, -1, 4
Let h = 0.05 - 1.85. Sort -1, -5, h in ascending order.
-5, h, -1
Let u be (6*(-1)/(-15))/(4/(-20)). Sort 2, u, -3.
-3, u, 2
Let s = 0.099 + -0.599. Sort s, -5, 1 in descending order.
1, s, -5
Let p be 18/15*(-10)/4. Let x be (-56)/(-30) + (-5 - p). Sort -0.4, x, -4.
-4, -0.4, x
Let u(k) = -k - 3. Let q be u(-8). Let n(l) = l - 17. Let a be n(18). Sort q, a, -2.
-2, a, q
Suppose -5*q + 16 + 9 = 0. Let v = -103 - -102. Put q, v, -10 in increasing order.
-10, v, q
Suppose b - 3*g + 2 = 0, -g = -b - 2 + 4. Put -3, 5, b in decreasing order.
5, b, -3
Let w = 213/2 - 109. Put 0, 0.3, w in descending o