 k(u). Put 2, v, -1 in increasing order.
v, -1, 2
Let k(j) = -j**3 + 8*j + 3. Let y be k(3). Sort y, -72, -3.
-72, -3, y
Let r = -5 - -7. Put -9, 5, r in ascending order.
-9, r, 5
Let y = -41893/5 + 8429. Let z = y + -50. Put 2, -3/5, z in descending order.
2, z, -3/5
Let i(b) = b**3 - 5*b**2 - 6*b - 6. Let q be i(6). Sort 4, q, -3.
q, -3, 4
Suppose -o + 4*u = -4 - 18, 0 = -4*o + u + 13. Sort -4, 4, o, 1 in descending order.
4, o, 1, -4
Let i(f) = -3*f - 58. Let b be i(-25). Sort 5, b, 3.
3, 5, b
Suppose -37 = -5*i - 0*x - x, 0 = 3*i + 2*x - 18. Let m(q) = -q + 4. Let s be m(i). Sort -2, s, -3.
s, -3, -2
Suppose -f = -3*f + 4. Let k be -2 + (-3)/12*f. Let q = 3 + k. Sort 2, q, -1/6 in decreasing order.
2, q, -1/6
Let t = 0 + -2. Let u(d) = -4*d**2 - 2*d - 3. Let f be u(t). Let h be (4/5)/((-6)/f). Sort h, -0.3, -1.
-1, -0.3, h
Let p(c) = 0 - 4 + 5*c**3 - 6*c**2 + c**3 - 5*c**3. Let l be p(6). Put l, 3, 4 in decreasing order.
4, 3, l
Suppose 0*f - f = -5. Suppose 0 = b + 5*i + 9, 5*i + 3 = -2*b + f. Let c = 16 - b. Put 1, c, 2 in increasing order.
1, 2, c
Let r = 6 - -6. Suppose 3*f - 3*t = r, -2*t = 3*t + 25. Put 3, f, -5 in increasing order.
-5, f, 3
Let k be (0 - (-1)/(-2))*6. Sort k, -2/11, -2/9 in ascending order.
k, -2/9, -2/11
Let a = -1.07 + 0.07. Let n = -0.5 - a. Put n, 5, 1 in descending order.
5, 1, n
Let s = -19 - -19.1. Let x = 1.9 + s. Let n = -0.12 + 5.12. Put x, 0, n in descending order.
n, x, 0
Let n be ((-24)/20)/((-2)/(-5)). Let h = 7 + -3. Suppose 2*a - a = 0. Put n, a, h in ascending order.
n, a, h
Suppose -26 = 4*s + 5*q, 0 = 5*q - 8*q - 6. Sort 0, s, 1, 2.
s, 0, 1, 2
Suppose -20*d = -232 + 52. Sort d, 5, -2.
-2, 5, d
Let r be 3 + 0 + 36/(-6). Let x(v) = v**2 + 3*v - 2. Let g be x(-4). Let d be (-1)/((2/g)/5). Put -1, d, r in increasing order.
d, r, -1
Let r be 56/(-12) + (-2)/6. Put 4, 1, r, -3 in descending order.
4, 1, -3, r
Suppose 2*h = 4*o - 2, h + 8*o + 15 = 3*o. Let w = 32 - 21. Sort 4, w, h in descending order.
w, 4, h
Let r be (-3)/(-2 - 19/(-2)). Suppose 0 = 5*l + 9 + 6. Let i be (-2)/l + (0 - 2). Sort -3, i, r.
-3, i, r
Let j(p) = -p**2 - 11*p - 12. Let k be j(-10). Put -5, 4, 3, k in decreasing order.
4, 3, k, -5
Suppose -5*z + 23 + 57 = 0. Suppose d = 5*d - z. Let k = d - 4. Sort -2, 2, k in ascending order.
-2, k, 2
Let t be 12/20 - 67/(-5). Suppose 2*v + 0*v = 4*m - t, -5*m + 2*v = -17. Sort -5, 5, m in increasing order.
-5, m, 5
Suppose 4*j + 3*l - 2 = -18, 3*l = -2*j - 14. Put j, 3, -4, -5 in descending order.
3, j, -4, -5
Let n = -3.146 + 0.146. Put 1/2, n, 5 in increasing order.
n, 1/2, 5
Suppose 5*m + 4 - 14 = 0. Let p(b) = b**2 + 8*b + 12. Let h be p(-5). Sort m, h, -2 in decreasing order.
m, -2, h
Let x be (10 + 0)*2/5. Suppose -5*p + 3*d - 17 = 0, -3*p + p - d = -2. Let w be (-1)/((2/p)/(-6)). Sort x, 0, w.
w, 0, x
Let x = 3 - 1. Let d = -380/7 - -54. Let n = d + 0. Sort x, n, 0 in descending order.
x, 0, n
Let k be (6/3)/((-2)/4). Put -3, k, -1 in decreasing order.
-1, -3, k
Let s be (-2)/5 + (-4)/10. Let v = 148 + -147.7. Put s, v, -4 in descending order.
v, s, -4
Let n = 74 + -40. Let p = 64 - n. Suppose -2*k + 5*u = -p, u - 11 = -3*k - 0*u. Sort k, 2, -5 in increasing order.
-5, 2, k
Let r = -15 - -15. Suppose -11 = -3*l - 4*x, -6*x - 5 = -x. Sort -5, r, l in decreasing order.
l, r, -5
Let y = -5 + 0. Put y, 1, 3 in descending order.
3, 1, y
Let v = -3 + -9. Suppose 0 = 3*z, c + 8 = -3*z - 2*z. Let a be (c/14)/(v/28). Sort -0.5, 1, a in increasing order.
-0.5, 1, a
Suppose -4*y + d = -3*y, -y + 8 = d. Suppose 0 = -3*p - 0*p. Suppose 0 = -4*m - m + 3*z + 10, p = m - 3*z - 2. Put m, y, -4 in increasing order.
-4, m, y
Let n = 0.4 + -3.4. Let m = 2.8 + -0.8. Put 0.2, n, m in descending order.
m, 0.2, n
Let j = 2/531 + 824/531. Sort j, -0.4, -3 in ascending order.
-3, -0.4, j
Let c(t) = -t**2 - 20*t - 5. Let z be c(-20). Put -1, z, 3 in decreasing order.
3, -1, z
Suppose 3*g = -5*x + 5, 3*x - 13 - 4 = g. Let r be ((-5)/3)/(2/(-6)). Let w = r - 7. Sort -1, x, w in decreasing order.
x, -1, w
Let i be 2 + (-3 - 0/1). Put 2, i, -9 in increasing order.
-9, i, 2
Let g(s) = s + 9. Let d be g(-6). Suppose -14*a = -27*a - 52. Put -3, a, d in descending order.
d, -3, a
Suppose 2*u = -p - 1, 2*u + 0*u = 3*p - 5. Let v be -3*p*2/(-6). Let s = 18 - 19. Put s, v, 4 in decreasing order.
4, v, s
Let u = -12 + 7. Sort 0.4, u, -0.3 in decreasing order.
0.4, -0.3, u
Let z = -11 + 8. Let v be (-3 - z)/(-3) - 5. Sort -4, 4, v in descending order.
4, -4, v
Let u = -12187 - -83751/7. Let v = 222 + u. Suppose -5*s + s = 8. Put s, -4, v in decreasing order.
v, s, -4
Let w(n) = -n**3 - n**2 + 4*n - 1. Let y be w(-3). Suppose 5 + 4 = 3*m - 3*v, -m - 2*v - 12 = 0. Put y, m, 0 in descending order.
y, 0, m
Let v = -8 - -6. Put 0.08, v, -1 in descending order.
0.08, -1, v
Let l = -7/6 - -2/3. Put 0.5, l, -2 in decreasing order.
0.5, l, -2
Let m(g) = -g - 5. Let x be m(-2). Suppose y - 8 = 2*t - 5*t, -4*y = 4*t. Sort x, 3, y.
y, x, 3
Suppose 0*i = -2*i + 8. Let a be 2/i + (-6)/(-4). Put -3, 4, a in increasing order.
-3, a, 4
Let x = 1.1 + -1. Let o = x + 0.2. Put o, -1/6, -2/15 in decreasing order.
o, -2/15, -1/6
Let z = 20 + -18. Sort z, 13, 4 in decreasing order.
13, 4, z
Let h(t) = 20*t**2 + t - 1. Let f be h(3). Let j = -914/5 + f. Put j, -3, -2 in descending order.
j, -2, -3
Let c = -0.3 + -5.7. Let w = -7 - c. Put w, -0.2, 2 in descending order.
2, -0.2, w
Let g be -1 + 2 - (5 - 2). Let v be ((-10)/1)/(0 - g). Sort 1, 2, v.
v, 1, 2
Let x = 2 - 1.98. Let f = -4.98 - x. Sort 4, f, 0.5 in increasing order.
f, 0.5, 4
Let o = -49014 - -342130/7. Let t = 138 + o. Suppose 0 = -4*k + 8*k + 20. Put k, 4, t in decreasing order.
4, t, k
Let d = -1 - -1. Sort d, 7, 4 in increasing order.
d, 4, 7
Let n = -2.3 + -0.7. Suppose -4*g = -w, g - w = -2*g. Sort n, g, 0.2.
n, g, 0.2
Suppose 18 = v + 22. Put -2/13, v, 0 in increasing order.
v, -2/13, 0
Let t be 2 + (-2 - (3 - -2)). Let b = -6 + 9. Suppose -6*v + 4*k + 23 = -b*v, 2*v - 12 = k. Put 2, t, v in increasing order.
t, 2, v
Let f = 9 - 7. Sort f, -0.04, -1/2.
-1/2, -0.04, f
Let x(z) = -z**2 + 4*z + 1. Let t be x(5). Let c = 102 + -101.5. Sort 1, t, c in decreasing order.
1, c, t
Let x = -1.11 + 1.61. Sort -1, 5, x, 1 in increasing order.
-1, x, 1, 5
Let l = 0.5 + -0.3. Let b = -0.9 + 0.4. Let i be (8/(-10))/(70/(-25)). Sort l, b, i.
b, l, i
Suppose 2*c + c = 9. Suppose 2*g = 10, 3*p - 8 - 16 = -c*g. Put -2, 5, p in descending order.
5, p, -2
Let u be (-10)/(-20)*(0 - 0). Sort u, -1, -7 in descending order.
u, -1, -7
Let y be (-1)/(-2)*(-2 - 0). Sort -6, 5, y in ascending order.
-6, y, 5
Let w = -8 - -3. Suppose -4*o + 2 = -2*o. Put -2, w, o in descending order.
o, -2, w
Suppose 5 = 5*i + 10. Put i, -5, -2 in decreasing order.
i, -2, -5
Suppose 11 = 2*w + 1. Suppose k + 80 = 6*k. Suppose k + 9 = -w*z. Put -4, 4, z in decreasing order.
4, -4, z
Let k = 67.3 - 68. Put 3, 0, 0.3, k in ascending order.
k, 0, 0.3, 3
Suppose 4*h - h = 5*q + 19, -h - 2 = 0. Suppose -n - 2*n = 0. Let a be (n/(-2))/(-2) - -2. Sort q, a, -3 in ascending order.
q, -3, a
Suppose 0*k - 76 = -4*k. Suppose -22*t = -k*t. Put t, -4, 4 in descending order.
4, t, -4
Suppose -5 - 7 = -4*l + 4*b, 4*b = 2*l - 2. Sort 23, 2/9, l in decreasing order.
23, l, 2/9
Let r = 40 - 26. Let s = r - 12. Sort s, 0.3, -5 in ascending order.
-5, 0.3, s
Suppose -n - 1 - 1 = 0, 0 = -5*a - 2*n + 16. Suppose d - 3*z = 0, -5*d + 16 = a*z + 73. Let x = 7 + d. Sort 0.4, x, 0.5 in decreasing order.
0.5, 0.4, x
Let k be 0/(3*10/(-15)). Put 4, 5, k in ascending order.
k, 4, 5
Suppose 0 = -4*i - 5*j - 13, -2*i + 2 = -3*j + 3. Suppose -5*g + 8 = 4*q - 40, g = -4*q + 48. Suppose -d - 2*d - q = 0. Sort i, d, -1 in descending order.
-1, i, d
Let h = 5/7 + -3/14. Let k = -271/7 - -39. Put h, 2/9, k in decreasing order.
h, k, 2/9
Let r = -4 - -3. Let s = 68 + -66. Put r, 5, s in increasing order.
r, s, 5
Let k = 0.13 + -0.03. Let c be (-6)/(-21) - (-4)/(-14). Let g = 0 + 3. Sort c, k, g in descending order.
g, k, c
Let g = -203 + 207.06. Let v = g + -0.06. Let d = 101/20 + -17/4. Sort v, d, 2 in ascending order.
d, 2, v
Suppose -2*c + 15 - 63 = 0. Let i be c*((-5)/2)/(-5). Sort i, 2, 4 in descending order.
4, 2, i
Let n be ((-3)/(-2))/(6/20). Put 0, 1,