.
-9, u, -1, 1
Let n be ((-8)/(-20))/(12/15). Sort n, 2, 0.3, -2 in descending order.
2, n, 0.3, -2
Let u = -83.04 + 0.04. Let m = -83.2 - u. Sort 0.1, 6, m in decreasing order.
6, 0.1, m
Let m = 1164 + -1161. Sort -3, m, -1.
-3, -1, m
Let g be 18/65*-13 - -14*1/(-10). Suppose -3 = 4*y + 21. Put -1, g, y, -4 in descending order.
-1, -4, g, y
Suppose 6*p - 17 = -77. Let u be 3*((-20)/12 - 0). Sort p, u, 4 in descending order.
4, u, p
Let t(v) = v**2 + 5*v - 8. Let y be t(-6). Suppose 14*s = 8*s - 66. Let r = s - -8. Sort r, 2, y.
r, y, 2
Let u(n) = n**3 + 10*n**2 - 13*n - 127. Let g be u(-10). Let f = -13 + 12.5. Sort g, -2, -0.1, f in decreasing order.
g, -0.1, f, -2
Let k = -9189/13 - -707. Let h = -0.2 + 0.3. Let x = -1 + 0. Sort k, x, h.
x, h, k
Let v = -0.55 + 0.53. Let u = 11.98 - v. Put -2/7, 4, -1, u in ascending order.
-1, -2/7, 4, u
Let z be (-90)/(-225)*(1 + 2/(-7)). Suppose 3 + 3 = v - 5*l, v + l = -6. Put 1/3, v, 0.1, z in ascending order.
v, 0.1, z, 1/3
Let a be 7*6/210*(-2)/1. Let j = 0.05 - -0.15. Sort 4, -1/6, j, a in ascending order.
a, -1/6, j, 4
Let g(s) = -s + 24. Let b be g(10). Let r be (10/b)/(72/126). Sort r, 0.1, 0.2.
0.1, 0.2, r
Let u = -7 - -10. Suppose 0 = u*l, -10 = -2*r + l - 3*l. Suppose -c = -r*c + 20. Sort 0, c, -3 in ascending order.
-3, 0, c
Let u = -32 - -32.7. Sort u, 0, 0.2, -3 in ascending order.
-3, 0, 0.2, u
Let d be (64/(-180))/(-4)*25/10. Sort -4, d, 216.
-4, d, 216
Let n = 1256 - 1308.3. Let x = n + 53. Put -0.1, x, -3, 1 in increasing order.
-3, -0.1, x, 1
Let h be ((-9)/12)/(189/(-72)). Let t = -7 - -7.07. Sort h, 4, t in increasing order.
t, h, 4
Let r(m) = 40*m - 77. Let z be r(2). Let f be 2*-1*1/2. Sort 1, 2, z, f in increasing order.
f, 1, 2, z
Let b be 65/(-30) - 1/(-6). Suppose 2*j = -3*l - 19, 3*l + 3*j = 4*j - 13. Put 4, b, 1, l in ascending order.
l, b, 1, 4
Let m(b) = 3*b + 19. Let t be m(-5). Sort -4, 0, t in increasing order.
-4, 0, t
Suppose -17 = -4*u - 1. Suppose -u*f - 6*d - 6 = -4*d, d + 5 = 0. Let v be 4/(16 - 0)*f. Sort v, 1/6, 4.
1/6, v, 4
Suppose 2*t + 75 = 5*x, 18 = -4*x + 3*t + 71. Sort x, -1, -5 in increasing order.
-5, -1, x
Let s(b) = -b**3 - 5*b**2 + 13*b - 2. Let u be s(-7). Let a(k) = -k**3 + 2*k**2 + 3*k. Suppose 2*z - 4 = 2. Let d be a(z). Sort d, 2, u in ascending order.
d, 2, u
Let t = -21.1 - -8.1. Let k = -12.53 + 0.03. Let x = t - k. Put 3, -1, x in decreasing order.
3, x, -1
Let c = -5 + 6.1. Let f = c + -0.1. Let y = -1.24 + 1.54. Sort y, 2, f in increasing order.
y, f, 2
Let d be 1/3*(18 - 18). Suppose 0 = s - d*s + 4*a + 11, 0 = 4*a + 12. Sort -5, s, -0.5.
-5, -0.5, s
Let i = -0.96 + 0.944. Let s = i + -4.984. Put -4/3, s, 0.11 in ascending order.
s, -4/3, 0.11
Let z(g) = -g**3 - g**2 + 4*g + 6. Let m(o) = -o**3 + 5*o + 7. Let c(d) = 4*m(d) - 5*z(d). Let y be c(-5). Let w be 0/(4 - -7*6/(-21)). Sort w, 1, y.
y, w, 1
Let y = -11 + 5. Let j be (-2)/6 - (-4)/y. Let a = 54 - 57. Put a, j, 2 in descending order.
2, j, a
Suppose 4*j + 12 = -7*g + 5*g, 2*g = 2*j. Sort -5, -4, j, 3 in decreasing order.
3, j, -4, -5
Let s be (-3)/(-9) + (-194)/(-3). Let o = s - 73. Sort 2, -5, o in descending order.
2, -5, o
Let t = -11.9 - -12. Let x = 4.1 - t. Put x, -4/3, 2/7, -9 in decreasing order.
x, 2/7, -4/3, -9
Let b(w) = -w**2 + 40*w - 71. Let c be b(38). Sort c, -9, -2, 2.
-9, -2, 2, c
Suppose -63*x + 71*x = -24. Sort 5, -2.01, x in descending order.
5, -2.01, x
Let a be (1/8)/((-4)/1704*3). Let r = a + 17. Sort -0.1, 5, -2, r in ascending order.
-2, r, -0.1, 5
Suppose -3*x + 0 = 12. Suppose 0 = 4*t - 2 - 6. Suppose -3*w + t*h + 18 = -0*w, 2*w - h = 11. Sort x, w, -2 in decreasing order.
w, -2, x
Let u(t) = -2*t + 13. Let m be u(9). Let i be 1*-8 + (4 - -3 - 3). Sort i, m, -7.
-7, m, i
Let s(q) = q + 1. Let l be s(4). Let o be (-2)/(1/((-15)/(-10))). Sort o, l, -2 in decreasing order.
l, -2, o
Suppose -4*y - 18 - 18 = 0. Let i(r) = 8*r**3 - 2*r**2 - r + 1. Let t be i(-1). Let q = t - y. Put -2/9, q, 2 in descending order.
2, q, -2/9
Let r = 40 + -16. Let f = -19 + r. Suppose -3*s + 6 = 0, -s + 12 = -f*l - 5*s. Put l, 3, 1 in descending order.
3, 1, l
Suppose 8 = -4*s, -3*s = 4*l - 4 - 10. Let j be 1*l/(150/12). Let p = 3.9 - -0.1. Put j, 0.2, p in decreasing order.
p, j, 0.2
Suppose 14*i - i = 39. Put 1, -0.2, i, 5 in descending order.
5, i, 1, -0.2
Suppose -4*m - 15 = m. Let h = -2/329 + -307/3619. Put 0.2, h, 3, m in decreasing order.
3, 0.2, h, m
Suppose 8*u + 15 = 13*u. Let y(v) = 3*v - 1. Let w be y(-1). Put 0, w, u in descending order.
u, 0, w
Suppose 11 + 13 = 3*x. Put x, 5, -12 in decreasing order.
x, 5, -12
Let f be ((-1)/((-6)/(-9)) + 1)*-22. Suppose 3*u - 4*i = -4, -4*u - 29 + f = i. Sort -2, u, 20 in increasing order.
u, -2, 20
Let m = 16.08 + -0.08. Let i = m + -13. Put -5, 4, i in decreasing order.
4, i, -5
Suppose 3*z + 4*a = -4, -3*z - a = -0*z - 8. Let h be 11/(-2) - 3/(-6). Suppose -4*q - 1 - 7 = 0, -4*g - 3*q + 2 = 0. Sort h, g, z in decreasing order.
z, g, h
Let m = -5 + 4. Suppose 13 = 4*p + 2*t + 1, 2*t = 2*p - 6. Sort p, 1, m.
m, 1, p
Let u be (-1 - 1/(-16))*128/320. Sort 2, u, -3.
-3, u, 2
Let o be 0/((-1)/1) + 36. Let t be 3/(-9) - 552/18. Let s = o + t. Sort s, -0.3, 4 in decreasing order.
s, 4, -0.3
Let g be 4*(-1 + (-22)/(-16)). Put g, -2/67, 2/9 in ascending order.
-2/67, 2/9, g
Suppose 0*h - 24 = -4*h. Suppose q - 1 + h = 0. Let i be 4/(-6)*(-6)/4. Put q, i, -2 in descending order.
i, -2, q
Let d = -0.29 + -0.81. Let l = -1.3 - d. Put -5, 4/5, l in descending order.
4/5, l, -5
Let h = 224 - 201.4. Let f = h + -4.6. Let k = -15 + f. Sort 5, k, 4 in decreasing order.
5, 4, k
Let y = 18 + -5. Let b = -15 + y. Let o = 10 + -8. Sort -4, o, b.
-4, b, o
Let x = 0.12 - -4.88. Suppose 2 = -3*f - 16. Let c be (3/7)/(f/4). Sort -3, x, c in decreasing order.
x, c, -3
Let q(h) = 6*h - 1. Let w be q(1). Let k = -7 + w. Let v be k/(-20)*15/(-6). Sort v, -5, 1/2 in decreasing order.
1/2, v, -5
Let v be (-14 - (4 + -7))/1. Sort v, 3, 2, -5.
v, -5, 2, 3
Suppose -51*x + 36 = -53*x. Sort 0, x, 20 in descending order.
20, 0, x
Let p be (56/196)/((-1)/7). Put p, -1, -5 in increasing order.
-5, p, -1
Let q = -39259 - -39257. Let u be (-3)/4 + (-2)/8. Put q, 25, u in decreasing order.
25, u, q
Let z(y) = -13*y - 69. Let m be z(-5). Suppose 2*h - h = 0. Suppose h = 5*g + 10 - 5. Sort -2, g, m.
m, -2, g
Let w(s) = s**3 - 4*s**2 - s + 1. Let h be w(4). Suppose -u = o - 0*o + 4, o - 20 = 5*u. Suppose 0 = 39*b - 3*b - 144. Sort o, b, h.
h, o, b
Let o = 106/11 - 413/44. Let r = 10 - 15. Put 4, r, o in descending order.
4, o, r
Let q = 94 + -468/5. Let x = 3.7 + -0.5. Let y = x - 4.2. Sort q, 5, y.
y, q, 5
Let v = 2/909 + -307/1818. Sort -0.015, v, 0.5 in descending order.
0.5, -0.015, v
Let u = 201 + -203. Sort u, -5, -16/9 in descending order.
-16/9, u, -5
Let o = -0.016 + -3.984. Sort 5, o, -3, 2 in descending order.
5, 2, -3, o
Let o = -11/2 - -5. Suppose -q + 12 = 2*g, 3*g - 11*q = -6*q + 5. Put 0.3, g, -0.2, o in increasing order.
o, -0.2, 0.3, g
Let z be (23 + -3)*((-392)/(-32))/7. Put z, 5, -1, 2 in increasing order.
-1, 2, 5, z
Let m = 10.11 - -5.49. Sort -5/4, 4, 0, m in descending order.
m, 4, 0, -5/4
Let u = -7.13 - -6.13. Sort -891, 0.3, u in ascending order.
-891, u, 0.3
Suppose -5*k + k + 16 = 0. Let y be 0*((-28)/168 - (0 + 3 + -3)). Sort 1, 3, k, y in decreasing order.
k, 3, 1, y
Let v = 0.424 - 3.424. Put -2, v, -2/9, 15 in ascending order.
v, -2, -2/9, 15
Let y(j) = -j - 2. Let l be y(-3). Suppose p = -3*p + 8. Suppose p*r - 6*r = 12. Sort l, 5, r in ascending order.
r, l, 5
Let b = -0.4 + 2.4. Suppose 3*s - 2*x + 6*x - 94 = 0, -3*s + x + 119 = 0. Let o be (-2 - s/(-22))*-1. Sort b, -1, o.
-1, o, b
Let p = 114 - 115. Let x(y) = -2*y**2 - 13*y + 26. Let v be x(-8). Let m be (-1)/((-2)/(-12)*2). Sort m, v, p in decreasing order.
v, p, m
Let g = -2.33 - 17.67. Sort 2, g, -4.
g, -4, 2
Let w = -166.82 - -2.82. Let f = w + 165. Let h = 480 - 4324/9. Sort 4, h, f.
h, f, 4
Let k = 3694/9 - 410. Put 0.3, k, -3, -0.2 in increasing order.
-3, -0.2, 0.3, k
Suppose 3*k = -5*p, -5*k - p = 15 - 37. Sort 0.5, 3/8, 4, k in decreasing order.
k, 4, 0.5, 3/8
Let c = -5/104 + -89/312. Sort c, 44, 1/2, 3 in descending order.
44, 3, 1/2, c
Let g(l) = -l**2 + 10*l - 12. Let