 Put y, -3, u in increasing order.
-3, y, u
Let j = 19.8 - 2.8. Let v = j + -14. Sort v, -3, -0.2.
-3, -0.2, v
Suppose 0 = 5*i - d + 17, i - 8 + 3 = 3*d. Let o be (4 - (-9)/(-3)) + 3. Sort -2, o, i in ascending order.
i, -2, o
Let h = -3 + -1. Let t = 0.245 + -0.045. Put -1/4, t, h in ascending order.
h, -1/4, t
Suppose -20*l + 30 = -15*l. Sort l, 2, -3 in ascending order.
-3, 2, l
Let x = 65 - 68. Sort 5, x, -5, -1.
-5, x, -1, 5
Let c = -0.1 + 1.1. Let s = -2 + c. Let b be ((-2)/10)/(4/10). Put s, b, -5 in ascending order.
-5, s, b
Let w be 9/(-18)*(8 + 0). Sort w, -0.1, -3/4 in ascending order.
w, -3/4, -0.1
Let c = -0.339 - -0.139. Sort 19, c, -1/3, 5.
-1/3, c, 5, 19
Suppose 3*u + 24 = 2*a + 2*a, a - 4*u = 19. Suppose -a*c + 0 = -9. Let b = -2 - -3. Sort b, c, 0 in increasing order.
0, b, c
Let t = -12 - -14. Sort -4, t, 1.
-4, 1, t
Let k = 83/3 - 28. Sort k, -4/7, 4.
-4/7, k, 4
Suppose 0 = -d - d - 18. Suppose -4*u = -3*k - 20, -k - 15 = -3*u + 3*k. Let y = d + u. Sort 4, y, 2 in ascending order.
y, 2, 4
Let b = -0.05 + 4.05. Sort 18, 1/3, b in ascending order.
1/3, b, 18
Suppose 3*u + 21 = -3*q, 5 + 7 = -4*q. Put -3, u, -1 in decreasing order.
-1, -3, u
Let p = 14 - 17. Let r = 8 + p. Sort 0, 2, r in increasing order.
0, 2, r
Let q = -77.5 - -78. Sort q, -2/15, 3 in descending order.
3, q, -2/15
Suppose 2*u - 2*x - x + 10 = 0, -4*u = x - 8. Let g be (u + 9)/(11 - 12). Put 2, g, 3 in decreasing order.
3, 2, g
Suppose 5*y + 14 = -w + 2*w, -4*w + 22 = -3*y. Let k = 2/1095 - 1159/35040. Let d = k + 25/32. Put w, d, 1 in descending order.
w, 1, d
Let t(u) = 4 - u**2 + 6 + 1 - 7*u + 3*u. Let r be t(-6). Let a = 2.8 + -3. Sort a, -5/3, r.
-5/3, r, a
Let c be (6/8)/((-1)/(-4)). Let p(b) = 2*b**2 - 4*b + 2. Let q be p(3). Suppose -o = u - q, 0 = o - 4*u - 0*u + 7. Put 1, o, c in descending order.
o, c, 1
Let f be ((-144)/28 - -4)/2. Suppose 0 = 5*w - 3 - 7. Put w, f, 0 in descending order.
w, 0, f
Let w = 51 + -52. Sort w, 0.09, -5 in descending order.
0.09, w, -5
Let j = 0.3 + 0.2. Let b(x) = 1 + 0*x + x + 0 + 3. Let i be b(-7). Sort i, -4, j.
-4, i, j
Let x = -24 - -28. Let l = x - -4. Put -3, l, 1 in decreasing order.
l, 1, -3
Let p = -2.06 + 2. Let b = -2.34 + p. Let t = -2 - b. Put 4, t, -5 in ascending order.
-5, t, 4
Let i = -3 + 5. Suppose 4 = -i*z, 0 = 4*w + 5*z - 0*z + 6. Let v be ((-1)/(-2))/(1/(-8)). Sort w, 4, v in descending order.
4, w, v
Let r = -15 + 18. Suppose 0 = b + 2*f + 10, 2*b + 4*f + 20 = -3*b. Let q be 11/12 + (-1)/4. Put q, r, b in descending order.
r, q, b
Suppose 0 = -5*j - 4*f + 18, -j - 4*f + 2 = -4*j. Let p(u) = -u**2 - 19*u - 4. Let v be p(-19). Sort 0, v, j.
v, 0, j
Let d = -2.4 + 4.4. Sort d, 4, 1/25.
1/25, d, 4
Suppose 5*v = -k + 11 - 1, 0 = -v - k - 2. Suppose -a - v*a = -16. Let j = 0 - 2. Put j, a, -5 in increasing order.
-5, j, a
Let b(f) = -f**3 + 7*f**2 - 6*f - 2. Let i be b(6). Let x = -1 - i. Suppose 0 = 4*y + 8. Put x, y, 0 in increasing order.
y, 0, x
Let s = -0.5 - 0.7. Let f = -0.2 - s. Let k = 0.6 + 3.4. Sort 0.4, f, k in increasing order.
0.4, f, k
Let s = -1.91 - 0.09. Put s, 3, -1/3 in descending order.
3, -1/3, s
Let d = 531.99 + -528. Let o = d - 4. Let l = o + 2.01. Put 0.1, l, -0.2 in descending order.
l, 0.1, -0.2
Let p = 69.2 - 69. Sort -2, p, 4 in decreasing order.
4, p, -2
Suppose -7*s = -6*s - 3. Suppose 0 = 4*d - 17 + 1. Suppose -d*x + s*x = 4. Put x, -2, 2 in increasing order.
x, -2, 2
Let b = -3 - -38. Let o be (b/2)/(-5)*-4. Let i be (-4)/o - (6 + -6). Sort 4, -0.3, i in increasing order.
-0.3, i, 4
Let x = 3 + 3. Let h = x + -11. Sort 5, -3, h in ascending order.
h, -3, 5
Let h = -1076/5 - -214. Sort h, 1/2, 3 in increasing order.
h, 1/2, 3
Let i = 16 - 17. Sort i, 5, -2.
-2, i, 5
Suppose j = -5*d - 0*j + 15, 6 = 4*d + 2*j. Let a = -6 + d. Put -0.3, a, 0.2 in ascending order.
a, -0.3, 0.2
Suppose 9 = -4*x + 1, -5*x = q + 9. Suppose -3*n = -h + 13, -2*n - 2*n + 2*h - 18 = 0. Let z = n + 7. Sort z, q, 5.
q, z, 5
Let k = 2.8 - -5.2. Sort -0.2, -1, k.
-1, -0.2, k
Suppose p = -2, 5*l + 4*p + 2 = 4. Let m be 9/5 + 2/10. Let q be 3*(-3)/3 + m. Put l, -4, q in decreasing order.
l, q, -4
Suppose 4*d + 18 = g, 2*d - g + 2 = -4*g. Let y be (-6)/(-10) + 16/40. Let u = y - 0. Put d, u, 4 in descending order.
4, u, d
Let h = -20 - -34. Let c = h - 9. Let w(m) = -m**2 + 3*m - 2. Let a be w(2). Sort a, c, 2 in ascending order.
a, 2, c
Let h(d) = 2*d - 19. Let p be h(9). Sort p, 8, -2.
-2, p, 8
Suppose 0 = 3*p + 2*a - 2, p = -a - 4 + 5. Let s = -0.3 - -0.5. Sort p, -2/3, s in ascending order.
-2/3, p, s
Let t = -4.5 + -0.5. Let d = -5 - t. Let b be (-3)/12*(-16)/(-34). Sort d, b, 2/7.
b, d, 2/7
Let k = -0.06 + 0.36. Sort 0, 2/11, k in descending order.
k, 2/11, 0
Let o = 2.96 - -0.24. Let z = o + -0.2. Sort -4, -0.4, z.
-4, -0.4, z
Let z = 88/5 + -17. Sort z, -2/5, 0.3 in decreasing order.
z, 0.3, -2/5
Let l = 209/5 - 42. Put l, 3, 4 in ascending order.
l, 3, 4
Let g = 5 + -1. Let t be ((-1)/(-3))/((-3)/9). Let p be (t + -2)/((-3)/(-2)). Put g, p, -4 in ascending order.
-4, p, g
Let d be 150/20*(-2)/3. Put d, 5, 2 in increasing order.
d, 2, 5
Let x be (-40)/(-25) + 4/10. Let h(i) = i**2 - 2*i - 2. Let v be h(3). Suppose x*r = r - v. Sort r, -2, -3 in increasing order.
-3, -2, r
Let b = -199 + 1793/9. Sort 8, 0.4, b in decreasing order.
8, 0.4, b
Let h = -2 - -2. Let l(k) = -k**3 + 15*k**2 - 14*k - 5. Let r be l(14). Put 5, h, r in descending order.
5, h, r
Let f = -16.8 + 17. Let m = f - 2.2. Put -4, -0.2, m in ascending order.
-4, m, -0.2
Let l = -3 - -3.2. Let r be 18/4 + 21/14. Let z be 1/(-2) - 3/r. Put l, -5, z in increasing order.
-5, z, l
Suppose 2*g + 2*l - 6 = l, -g = -4*l - 21. Let a be (-2)/(-3) + (-5)/3. Put -5, a, g in ascending order.
-5, a, g
Let a be (-2)/3 + 18/54. Let v = 0.4 - 0.2. Put 1, a, v in decreasing order.
1, v, a
Suppose -3 + 1 = -g. Sort 5, g, -29 in decreasing order.
5, g, -29
Let a = 3 - 6. Let p be (-112)/(-18) - 8/36. Suppose 0 = 2*r - 2*q + p, 0 = 4*r + 5*q + 3 + 27. Sort r, -1, a in descending order.
-1, a, r
Let n = -0.011 + -0.089. Put 0, 10, n in decreasing order.
10, 0, n
Let n = 1 + -1. Let v(m) = -m**3 - m**2. Suppose 2*a = -2*x, -2*x - x - 12 = -3*a. Let h be v(x). Sort n, 5, h.
n, h, 5
Let c be (-3)/6 + (-3)/(-6). Suppose 3*w + c*w = 6. Put w, 4, 3 in ascending order.
w, 3, 4
Let t = -6 + 11. Let s = 24 + -26.8. Let d = s - 0.2. Sort -4, d, t in descending order.
t, d, -4
Let h(t) = -3*t**3 - 3*t**2 - 7. Let s(r) = -4*r**3 - 2*r**2 + r - 7. Let v(i) = -3*h(i) + 2*s(i). Let d be v(-5). Sort -1/5, 0.01, d in increasing order.
d, -1/5, 0.01
Suppose 0 = -14*c + 15*c - 3. Let m be 2/(-4) + 14/(-4). Let h = m + 1. Sort c, h, 5 in ascending order.
h, c, 5
Suppose 2*a + 28 = 6*a. Let m = -4 + a. Let d = -4 + 5. Sort -4, d, m in ascending order.
-4, d, m
Let a be 26/12 - (-3)/9. Sort 0.5, 3, a, -4 in descending order.
3, a, 0.5, -4
Let q be (-2)/(-7) - 4/14. Let r = 1.99 + 0.21. Let f = r + 0.8. Put q, f, -4/5 in decreasing order.
f, q, -4/5
Let x = 60 + -117/2. Let b = 2445555/124 - 19722. Let s = b + 1/31. Put x, -5, s in decreasing order.
x, s, -5
Let y = -107 - -102. Suppose 12 = 4*p + 5*c, 5*p - 6 = -4*c - 0. Sort p, -4, y in ascending order.
y, -4, p
Let d = -32 + 9. Let x = d + 23. Sort -3, x, 1 in descending order.
1, x, -3
Let t(o) = -o + 8. Let c = 4 + 6. Let w be t(c). Suppose 0 = -0*m - m + 4*r - 7, 0 = 2*m + 5*r + 1. Put m, 5, w in ascending order.
m, w, 5
Let a = -3.2 - -3. Let z = 3 - 0. Let n be 3/7*14/(-4). Sort a, n, z in descending order.
z, a, n
Let t be (-20)/(-11) - -2 - 4/(-22). Put t, 3, -0.03 in decreasing order.
t, 3, -0.03
Let y = -4.974 + -0.026. Sort 0.3, y, -0.09 in decreasing order.
0.3, -0.09, y
Let x = -20 + 12. Suppose -2*w + 3*i = 4, 0 = -w - w - 5*i - 20. Sort w, -3, x in descending order.
-3, w, x
Let s = -14 - -10. Let i = -0.37 + -0.03. Sort s, i, -4/5.
s, -4/5, i
Suppose 2*l - 2*b = -21 + 7, -5*b = 5*l - 5. Sort l, 2, 1 in ascending order.
l, 1, 2
Let p = 1.3 - 1.3. Let w be 1/2 + (-3)/54. Let n = 0 + 4. Put n, p, w in descending order.
n, w, p
Let k = 2/93 - 68/279. Put -4, 5, k in decreasing order.
5, k, -4
Let h(u) = u**2 - u + 3. Let a be -1 - (1 + -2 - 0). Let m be h(a). Suppose -4 = -4*l - 0. Sort m, 0, l.
0, l, m
L