k, 0, -3.
-3, 0, k
Let n(s) = -s + 12. Let q be n(-5). Let j = -13 + q. Put 2, j, 3 in increasing order.
2, 3, j
Let u = -43 + 41. Put u, -5, 6 in increasing order.
-5, u, 6
Let g = 8 + -5. Suppose 0 = -5*k - 5*o + 20, g*k - 1 - 9 = -o. Sort k, 2, 6 in descending order.
6, k, 2
Suppose 3*d + 2 = 3*z - 1, 0 = -z - 2*d - 11. Let u = 10 + -8. Let y = u - 1. Sort y, -4, z in ascending order.
-4, z, y
Let d = -5 - -2. Sort d, -2/29, 0.4 in decreasing order.
0.4, -2/29, d
Suppose -3*l + 2*l + 2 = 0. Put 3, 0, l in increasing order.
0, l, 3
Let i be 0 - -1 - 1 - (-10)/25. Let k = 1.9 + -2. Let s = k - 0.4. Put i, s, -0.2 in descending order.
i, -0.2, s
Suppose -4*y + 72 + 0 = 0. Let u = y - 39/2. Suppose 5*x = 4*z + 14 + 4, 4*x = -5*z - 2. Sort -0.5, x, u.
u, -0.5, x
Let g = -1 + 3. Let p be g/3 - (-12)/(-54). Sort p, 0.2, -5/2 in decreasing order.
p, 0.2, -5/2
Suppose 0 = -2*j - 5 + 13. Suppose -j - 6 = 5*n. Put n, -4, 2 in descending order.
2, n, -4
Let h = 9 + -8. Put h, 7, -3 in decreasing order.
7, h, -3
Let h = 2.7 + -3. Let c = h - -0.3. Let b = 4.88 - -0.12. Put -1, b, c in decreasing order.
b, c, -1
Let k be 0 + 6/4*4. Suppose -4*f = 2*u - 2*f - 20, -5*f = 4*u - 45. Suppose u*w = d, 0*d - 3*d = -4*w. Sort k, -3, d in ascending order.
-3, d, k
Suppose 0 = -5*b - 10. Suppose 2*f + 0 - 2 = 0. Sort -1, b, f in descending order.
f, -1, b
Let x = 68 + -67.8. Suppose -11 = 5*o + 4*w, 5*w + 1 = -2*o - 17. Sort x, o, -3/7 in decreasing order.
o, x, -3/7
Let a = -4 + 6. Let o be 28/(-35) + a/(-10). Let l be o/(-3)*30/8. Sort 0.2, l, 0.5 in ascending order.
0.2, 0.5, l
Let o = 0.15 + -0.09. Let g = 2.94 + o. Let a = -0.9 + -0.1. Put a, -2/7, g in descending order.
g, -2/7, a
Let u = -0.5 - -0.4. Let n = -11.4 + 11. Let b = 0.5 + n. Sort u, b, 1 in increasing order.
u, b, 1
Let w = -18 + 20. Suppose w*q + 4*t + 4 = 0, 4*t + t + 7 = -3*q. Sort -3, q, -5 in decreasing order.
-3, q, -5
Let b = -19 + 21. Let f = 0.9 + -1. Put f, -7, b in ascending order.
-7, f, b
Let v = -0.41 + 0.38. Put -3/7, v, 4 in descending order.
4, v, -3/7
Let a(r) = r**3 - r**2 - 14*r + 5. Let h be a(4). Sort -5, 4, h, -2 in descending order.
4, -2, h, -5
Suppose 2*o + g + 8 = 0, -4*o = 5*g + 21 - 5. Let k be 2/o + 3/(-2). Let l = -1 - 0. Sort l, -3, k in increasing order.
-3, k, l
Suppose -2*y - 3 = 1. Let m be (-3)/12 + (-30)/56. Let s = m + 13/14. Put s, y, 1/11 in ascending order.
y, 1/11, s
Suppose -4*z - 6 = 10. Suppose -u + 62 - 71 = 0. Let l = u - -11. Put 4, z, l in descending order.
4, l, z
Let q = -23 + 32. Sort 2, -0.1, q.
-0.1, 2, q
Let u = 27 + -23. Put 0, u, -1, -2 in ascending order.
-2, -1, 0, u
Let y(i) = -2*i**3 + 7*i**2 - 4*i + 2. Let a be y(3). Sort -2, 2, 3, a.
-2, a, 2, 3
Let b be (-12)/(-18) - 17/3. Let a = -6 - b. Sort 3, -4, a in descending order.
3, a, -4
Suppose -9*k + 16 + 20 = 0. Put k, -4, 0 in ascending order.
-4, 0, k
Suppose -10*d + 16*d + 24 = 0. Let p be (1/2)/((-1)/22). Let z = -8 - p. Put 0, d, z in increasing order.
d, 0, z
Suppose -z = 2*p - 1, p + 15 = 4*z - 2*p. Put 1, -1, z, 5 in ascending order.
-1, 1, z, 5
Let k = -5 - -1. Put k, 5, -0.9 in increasing order.
k, -0.9, 5
Let g(w) = 3*w + 3. Let k be g(-2). Let m = k + 3. Suppose p = -2*b + 6, 3*p = -b - 3 - 4. Sort m, b, 4 in decreasing order.
b, 4, m
Let v(t) = -t - 5. Let a be v(-6). Suppose 0 = -2*d + 5*d - 15. Suppose 3*f - 11 = d*x + 4*f, 0 = 5*f - 20. Sort 5, a, x.
x, a, 5
Let l(r) = 0*r**2 + 8*r + r**3 - 11 + 3 - 7*r**2. Let j be l(6). Suppose -5*z - 2*h = j, 3*z - 5 + 1 = 2*h. Put 2/3, -0.3, z in increasing order.
-0.3, z, 2/3
Let w(x) = -x**3 + x**2 + 2*x - 9. Let i be w(0). Sort i, 3, 2 in descending order.
3, 2, i
Let z = 0.11 - 0.91. Let k = z - -0.4. Put -4, -2, k in increasing order.
-4, -2, k
Let z = -26 - -30. Put 3, z, 5 in ascending order.
3, z, 5
Let x = 7 + -2. Suppose 5*p + 0 + 5 = 0. Sort 0, p, x in decreasing order.
x, 0, p
Let o = 2.97 + 0.03. Sort 5, 0.4, o in descending order.
5, o, 0.4
Suppose -3*q - 6 = -2*s + s, 0 = 4*q - 2*s + 10. Let a be (8/8)/(q/(-5)). Sort a, 4, -0.4.
-0.4, 4, a
Let q(d) = -d**2 + 21*d - 23. Let i be q(20). Sort -1, 5, -4, i.
-4, i, -1, 5
Let j = -1.7 + 2. Let h = 307.95 + -308. Sort -2/3, h, j.
-2/3, h, j
Let w = -27 - -32. Sort w, 3, -3.
-3, 3, w
Let z = -2.94 - 0.06. Let u = -3 - z. Put u, 3, 0.4 in increasing order.
u, 0.4, 3
Let l be -1*1/1 - (-125)/150. Put 7, l, 5, -2 in decreasing order.
7, 5, l, -2
Suppose -12 = -7*b + 11*b. Let s be (-6 + 4)*b/(-2). Sort -4, -2, s in descending order.
-2, s, -4
Suppose 0 = 2*x - 3*x + 7. Suppose -5*q - 5 = 0, 4*u - 4*q + x*q + 15 = 0. Sort u, -1, 2 in descending order.
2, -1, u
Suppose -2*t = -4*s + 2*s - 2, -s - 9 = t. Put 2, t, 7 in ascending order.
t, 2, 7
Suppose -6*k + 3 = -9. Suppose 2*z - 3*j + 17 = 0, -z - 3 = 4*j - 11. Sort k, 4, z in decreasing order.
4, k, z
Suppose 2*s - 3*s = 1. Let f(i) = i - 15. Let a be f(11). Sort s, 3, a.
a, s, 3
Let c = 5 + -8. Let j be ((-48)/(-32))/(0 - 3). Put 2/13, j, c in decreasing order.
2/13, j, c
Suppose 3*t - 3*j = -57, -2*t - 9 = 3*j + 19. Let z = 40 - 35. Sort z, 0, t.
t, 0, z
Let f(x) = -3*x**2 + x**2 - 2*x**3 + 0 + x**3 + 1. Let y be f(1). Put y, 0, -4 in decreasing order.
0, y, -4
Let o(r) = r**2 - 10*r + 3. Let a be o(9). Let p be 9/a*8/(-3). Put -3, 0, p in decreasing order.
p, 0, -3
Let j be (-16 + 14)*(-2)/(-4). Sort j, 4, 0.
j, 0, 4
Let h = 34 - 82. Let x = -31 - h. Suppose -5*f = q - x, -2*f + 5 = -1. Sort -2, q, -4 in increasing order.
-4, -2, q
Let f be (-76)/(-18) + 8/(-36). Suppose 3*m + 2*r - 3 = -0*m, 0 = f*r. Let k be (-1 + m)/(1/(-1)). Put 5, k, 2 in decreasing order.
5, 2, k
Let k = -1.5 - -1. Let m be (-2)/(-84) - 7/42. Sort m, k, 0.
k, m, 0
Suppose -2*m = -5*m - 87. Let t = 88/3 + m. Let x = -182 + 2000/11. Sort 5, x, t in increasing order.
x, t, 5
Let l be 8/(-6) - 4/6. Let c = 4 - 2. Suppose -2*i + 19 = 3*o, c*o - 6*o = -5*i - 10. Put 1, l, i in decreasing order.
i, 1, l
Let k be -2 + 1 - -2*1. Let n be (2/20)/k*2. Let t = -0.7 - -0.2. Sort t, -0.3, n in increasing order.
t, -0.3, n
Let p(u) = -u + 11. Let t be p(2). Sort 1, t, -2 in decreasing order.
t, 1, -2
Let y(k) be the first derivative of -k**4/4 + 2*k**3 + k**2/2 - 4*k - 2. Let r be y(6). Let u be 0 - 4 - (r - 3). Put 1, u, 4 in decreasing order.
4, 1, u
Let d be -2 - 0 - -1*1. Suppose -17*z - 8 = -13*z. Sort z, d, -4 in decreasing order.
d, z, -4
Suppose -2*u - 4*l + 6 = -4, 0 = 2*u - 4*l + 30. Sort -11, u, -2 in decreasing order.
-2, u, -11
Suppose 4*w + 25 = 13. Put w, 0, -5 in descending order.
0, w, -5
Let a(h) = h**2 + 7*h - 3. Let v be a(-7). Let i(r) = -r**2 - 7*r + 3. Let z be i(-6). Suppose 5*u - 11 = -x, 4*u + 2*x - z = 1. Sort v, 4, u.
v, u, 4
Let y = -0.16 + -0.34. Put y, -2, -2/3 in increasing order.
-2, -2/3, y
Let d be (-12)/(-20) - (0 - (-12)/(-5)). Sort d, 0.2, -4, 0.27 in descending order.
d, 0.27, 0.2, -4
Suppose -3*k + 9 = -3. Put k, 0, -5 in descending order.
k, 0, -5
Let v be ((-4)/142)/(0 + 4). Let p = 943/7242 - v. Let r = 8/17 - p. Sort 3, -5, r in decreasing order.
3, r, -5
Let f = -0.3 + -2.7. Sort -1/2, -4, 1, f.
-4, f, -1/2, 1
Suppose 5*s = -d + 58, 5*s + 0*d = 3*d + 66. Sort 0, 1, s, -3 in increasing order.
-3, 0, 1, s
Let s(d) = -d**3 + 8*d**2 + d - 9. Let b be s(8). Let w = b + -4. Suppose 0 = -13*f + 9*f + 20. Put 1, w, f in increasing order.
w, 1, f
Let c = -6 + 5.2. Let l = -14.6 + 15. Sort -5, l, c in increasing order.
-5, c, l
Suppose l + 0*p = -3*p + 9, -3*l = -4*p - 1. Sort 5, 0, l.
0, l, 5
Let r = -0.305 - -0.005. Put -2, r, 0.5, -0.2 in ascending order.
-2, r, -0.2, 0.5
Suppose 5*a - 3*a = 0. Sort a, 3, -1 in increasing order.
-1, a, 3
Let d = 0.03 + 1.97. Let o = d - 3. Let x = o - -1.3. Sort -2/7, x, -3/7 in descending order.
x, -2/7, -3/7
Let s = 78 + -547/7. Put 2, s, 4 in descending order.
4, 2, s
Suppose -k - 5 = 3*u + 3, -k = -3*u - 4. Let y(a) = -a**3 + 2*a - 1. Let t be y(u). Suppose 3*f - 4 = 2. Sort f, -3, t in increasing order.
-3, f, t
Let s = -73 + 72.5. Let d = 4.4 + -0.4. Sort s, d, 3/5 in decreasing order.
d, 3/5, s
Suppose 0 = 3*x - 7*x + 5*t - 41, 2*t = 3*x + 22. Put -2, 4, x in decreasing order.
4, -2, x
Let h = 2/191 - 1723/382. Put 1/3, 3, h in decreasing order.
3, 1/3, h
Let t be 10/(-14) - 2/7. Sort 