. Sort 3, h, v.
h, 3, v
Suppose 3*v + h - 3 = 1, -v - 4*h = 6. Sort -13, -3, v.
-13, -3, v
Suppose 8*u + 3 + 21 = 0. Let n be (13/(-4))/1 - u. Sort 1/4, n, -1/2.
-1/2, n, 1/4
Let h be 46/40 - 4/10. Let o = 0.7 + 6.3. Let q = o + -8. Sort q, h, 3.
q, h, 3
Let c = -39 - -34. Put -1, -1/9, c, -3/4 in decreasing order.
-1/9, -3/4, -1, c
Let m = -5 - -13. Let s = 6 - m. Sort s, -3/8, -1.
s, -1, -3/8
Let o be 2 - 0 - 14/(-2). Let k = 14 - o. Let v = -9 + 9. Sort 2, k, v.
v, 2, k
Let y = -0.25 - 0.25. Put y, 2, 0 in descending order.
2, 0, y
Let h = -1.9 + 1.5. Put 3, h, 0.4 in ascending order.
h, 0.4, 3
Let b = 106 - 102. Put 5, -21, b in increasing order.
-21, b, 5
Let c = 163/15 - 32/3. Sort -1, c, -0.2 in descending order.
c, -0.2, -1
Let q = 0.4 + -0.2. Let b = q - -1.8. Let m be (2 + (-2 - -3))*1. Sort m, 4, b in descending order.
4, m, b
Let z(d) = -1 - 1 - 8*d**2 + d**3 + 2. Let h be z(8). Put -3, h, 5 in decreasing order.
5, h, -3
Suppose x + 3*x = 0. Put -2, x, -5, 2 in increasing order.
-5, -2, x, 2
Let g be (1/13)/((-3)/(-6)). Let s = 1 + 1. Let q = s - 0. Put q, g, 1 in ascending order.
g, 1, q
Let n = 197 - 199. Suppose -5*y + 20 = -2*b, -4*y + 7 = -5*b - 9. Put y, 7, n in descending order.
7, y, n
Let r be (-5)/(-20) - (-1)/(-8). Let y be (-4)/(-3)*1/4. Put y, 0.2, r in descending order.
y, 0.2, r
Let j be 3 + (0/2 - 3). Put 1, 2, j in descending order.
2, 1, j
Suppose 4*p - n - 11 = -0, -7 = -2*p - n. Suppose 4 = 6*z + 16. Put p, z, 1 in increasing order.
z, 1, p
Let x be ((-1)/(-8))/((-2)/(-12)). Put -3, x, 2/9 in descending order.
x, 2/9, -3
Let s = 121 - 117. Put 2/3, s, 0.2 in decreasing order.
s, 2/3, 0.2
Suppose -5*p + 0*x = -x + 76, x = -2*p - 36. Let w = 11 + p. Sort -1, w, 5 in increasing order.
w, -1, 5
Let n = 11 - 15. Let s = -13.64 - -6.64. Sort -1, s, n in decreasing order.
-1, n, s
Let s = 6.7 + -7. Put s, -2/5, 1/3, 4 in increasing order.
-2/5, s, 1/3, 4
Let y = 77 + -72. Sort y, 0.5, 4/5.
0.5, 4/5, y
Let b = -0.4 + 0.2. Let a = 824/7 + -118. Let n = 0.19 - 0.69. Put b, n, a in descending order.
b, a, n
Let c be 4/(-6 + 2) - 3. Let v = -0.8 + 0.5. Let f = 1.3 + v. Sort c, -2/3, f in decreasing order.
f, -2/3, c
Let i = -0.17 + 0.27. Sort i, -0.4, 3 in descending order.
3, i, -0.4
Let w be (-1)/4*(-192)/(-108). Sort w, -0.5, -7, 0.4 in increasing order.
-7, -0.5, w, 0.4
Let j = -4 - -4.1. Let k = 27.9 - 26. Let n = k - 2. Sort j, n, 1 in ascending order.
n, j, 1
Let t = 13 + -19. Let v be -1 + 1 + 1*7. Let i = t + v. Sort 4, 0, i in descending order.
4, i, 0
Suppose 2*w + 2*i = 6*i - 16, -4*w + i = 4. Sort w, -1/6, -0.5 in descending order.
w, -1/6, -0.5
Let a = -53 - -48. Sort -4, -3, a in ascending order.
a, -4, -3
Let i = -124/183 - -2/183. Let g = 5 - 4.4. Let s = 1.1 - g. Sort i, s, -3 in descending order.
s, i, -3
Let d be -3 + 4 + -4 + 4. Put d, 3, 4 in ascending order.
d, 3, 4
Let l = -0.04 - 19.96. Let t = l - -20. Sort -1/6, t, 5 in decreasing order.
5, t, -1/6
Let h = 0.2 - 0.6. Let d = 0.9 - 0.1. Let y = d - 0.4. Sort y, -5, h.
-5, h, y
Let l = 0 - -1. Let o = 22 + -20. Suppose o*t = 2*s - 2, 3*s + 2 - 13 = -t. Sort -4, l, s.
-4, l, s
Let a = -9.25 - -1.25. Put a, -5, -2, 1/3 in descending order.
1/3, -2, -5, a
Let m(w) = -3*w**3 - 2*w**2 + 1. Let c = 3 - 3. Suppose -4*p + c = -4. Let o be m(p). Sort -1, o, 3.
o, -1, 3
Let t be 8/(-3) + (-1)/3. Let v be (-1)/(-2*t/(-30)). Let w = 9 - v. Put 3, w, 3/7 in decreasing order.
w, 3, 3/7
Let d = 0.09 - 0.1. Let v = d - -2.01. Put -4, v, -0.1 in descending order.
v, -0.1, -4
Suppose 3*h + 5*x - 5 = 0, -3*h + 9 = 3*x - 0. Sort 1, h, 2.
1, 2, h
Let b = -0.18 + 0.31. Let d = b + 0.07. Put 2/5, -0.4, d in increasing order.
-0.4, d, 2/5
Suppose 0 = -m + 3. Sort m, -4, -3 in descending order.
m, -3, -4
Let h = 159 - 1433/9. Let b = -30.17 - -30. Let r = -0.17 - b. Sort -0.5, h, r.
-0.5, h, r
Let u = -4 + 3. Let y = 0.04 + 1.96. Let k = -6 + 6. Put k, u, y in descending order.
y, k, u
Suppose -15 = j - 11, -4*j = -3*i + 34. Sort 0, -5, i in descending order.
i, 0, -5
Suppose -15 = 4*s - 3. Let l = 1 - s. Sort 2, l, -4 in descending order.
l, 2, -4
Let x = -1339/9 + 149. Let o be -4 + (3 + -1 - 3). Sort o, x, 6/7.
o, x, 6/7
Let y = 0.143 + 0.727. Let k = -0.13 - y. Sort 2, k, -0.1 in decreasing order.
2, -0.1, k
Suppose 2*l + 12 = 5*l. Suppose -2*q - 4 = 2*a, 9*a - l*a = -3*q - 8. Sort 5, 1, a in increasing order.
a, 1, 5
Let f = -7 + 5. Let i = -2 - f. Let c = -4 - i. Sort 3/2, -5/2, c in descending order.
3/2, -5/2, c
Suppose -2*l + 3*l = -5*r + 25, 29 = r + 5*l. Suppose -3 = -r*t + t. Sort t, 2, -2 in descending order.
2, t, -2
Let i be (12 + 3)/(-3)*-1. Suppose i*f - 20 = 5. Let l be 4/(-6) + (-13)/3. Sort l, f, 1/6.
l, 1/6, f
Let l be 128/112*(-1)/4. Put 0.2, l, -2/17 in ascending order.
l, -2/17, 0.2
Suppose -t = 4*x + 3*t + 12, t - 3 = x. Let z be (0 - 2)*1/2. Let v be (-14)/(-4) - (-2)/(-4). Put x, z, v in descending order.
v, z, x
Let o = 4/87 + 130/957. Let d = 0.4 - 0.4. Put d, o, 2/13 in increasing order.
d, 2/13, o
Let q be (-1 - -5)/(-2) - -8. Let n = -13 - -15. Sort n, q, 4.
n, 4, q
Let i(s) = s - 1. Let g be i(5). Suppose 0 = g*x - x. Suppose 5*z + 20 = x, 5*z + 17 = 3*w + 3*z. Sort w, 2, -5 in descending order.
w, 2, -5
Let q be -1 - 9*(-3)/12. Put q, 4, -2 in decreasing order.
4, q, -2
Let n = -0.6 + 0.5. Sort -1/4, -1/6, -0.2, n.
-1/4, -0.2, -1/6, n
Let l be (-16)/6 - (-4)/6. Put -4, l, -1, 5 in descending order.
5, -1, l, -4
Let b be (-4)/(-8) - 2/(-4). Suppose k - g = -3*k + 13, -8 = k + 2*g. Suppose q + k = b. Put -2, q, 4 in increasing order.
-2, q, 4
Let h = 5 + -3. Suppose -4*w + 27 = 3*i, 2*w + 7 = 3*i - h. Suppose -i*o - 2*s - 3*s - 15 = 0, -2*s - 1 = -3*o. Sort 3, 5, o in descending order.
5, 3, o
Suppose 1 - 8 = -4*u + 5*h, 10 = 3*u + h. Let o be (-5 - -2)/(6/4). Let v = o - -6. Put -0.1, u, v in descending order.
v, u, -0.1
Let b = 36 + -145/4. Let j = 0 + -4. Sort 2, j, b.
j, b, 2
Let v be 460*(28/24)/(-7). Let i = v + 76. Sort -2, 2/3, i in decreasing order.
2/3, i, -2
Let w be (-9)/6*(-44)/6. Suppose -w = -4*p + 9. Let d(u) = -u**3 + 5*u**2 - 4*u. Let i be d(4). Put p, 3, i in descending order.
p, 3, i
Let n = -1.4 + 1.78. Let c = n + 0.07. Let a = 0.05 - c. Put -1/3, 6/7, a in increasing order.
a, -1/3, 6/7
Let o = -3.3 - -3.2. Sort -0.2, 8, o in descending order.
8, o, -0.2
Let u = -0.2 + -24.8. Let g = -25 - u. Sort g, 1, 1/2 in ascending order.
g, 1/2, 1
Suppose 5*q - 3 + 23 = -v, 0 = -5*v + 4*q - 13. Let k be 15/21 + (-2)/(-7). Let t(f) = 2*f**2. Let d be t(k). Put d, v, -3 in descending order.
d, -3, v
Suppose r + 27 = -2*r. Let w be ((-3)/r)/(1/9). Sort w, -0.2, 4.
-0.2, w, 4
Let k be (0 + -3)/(6/4). Let r be 13/2 - (-2)/(-4). Suppose 0 = 3*s + r + 6. Put s, 0, k in increasing order.
s, k, 0
Let a = 0.235 + 0.035. Let x = a - 0.07. Put x, -5, 2/17 in decreasing order.
x, 2/17, -5
Let a = -14807/10 + 1482. Let c = -61/70 + a. Sort -4, 0.4, c.
-4, 0.4, c
Suppose 5*t = -3*a - 17, -4*t + 4*a = -a + 21. Sort -0.01, 0.5, t.
t, -0.01, 0.5
Let y be -1*(2 - -3) - 2. Let b = y + 5. Let k be 0 - (2 + b - 0). Sort 2, 5, k in increasing order.
k, 2, 5
Let r = -163 - -105. Let i = r + 408/7. Sort -0.3, -2/3, i in increasing order.
-2/3, -0.3, i
Let l = -0.14 - -0.44. Sort l, 5, -5, -0.2 in ascending order.
-5, -0.2, l, 5
Let o be (-12)/(-30)*5 - -4. Let s(u) = -u**3 - 7*u**2 - 6*u - 5. Suppose -2*m = -4*m - 12. Let r be s(m). Sort o, r, 0 in increasing order.
r, 0, o
Let n(s) be the first derivative of s**3/3 - s**2/2 - 4*s - 1. Let w be n(3). Let p = -8 + 13. Sort w, -1, p.
-1, w, p
Let z = 0.3 - 0.34. Let a = -0.55 - 1.41. Let p = a + z. Sort 4, -0.5, p.
p, -0.5, 4
Let z be 10 - 4 - (4 - 0). Suppose i + g = 5*i - 22, -g + 8 = z*i. Sort i, 1, -1 in descending order.
i, 1, -1
Let a be (20/6)/((-1)/12*-8). Put -1, a, -2 in decreasing order.
a, -1, -2
Let k = 5.8 - 6. Let g = 0.2 + -0.6. Let t = k - g. Put 0, t, -0.1 in ascending order.
-0.1, 0, t
Let g(y) = -5*y - 3. Let a be g(-1). Sort a, -4, -3 in increasing order.
-4, -3, a
Let t = -97 + 101. Suppose 3*k + 20 = -k. Put t, 3, k in descending order.
t, 3, k
Let a = -19 - -19.4. Put a, -1/7, -10 in ascending order.
-10, -1/7, a
Suppose 4*x + 4*v - 68 = -0*v, 2*x - 4*v - 4 = 0. Let s be 27/4 + 