6 + -15. Sort 0, h, 5 in descending order.
5, h, 0
Let o be (-8)/(-30)*(0 - -3). Let f = 6 - 5.6. Sort -3/5, o, f in descending order.
o, f, -3/5
Let p(c) = c + 1. Let q be p(3). Sort 3, q, 5 in increasing order.
3, q, 5
Suppose -4*d + 103 = -2*i - 3*i, -4*i + d - 78 = 0. Put -3, i, 2, -2 in decreasing order.
2, -2, -3, i
Suppose -r = -3*n - 19, -2*n + r = 2*n + 26. Sort 0, n, -4.
n, -4, 0
Suppose 3*k - 25 = 11. Suppose 3*t + k = -t. Sort -2, t, 4 in descending order.
4, -2, t
Let y(m) = m + 6. Let q be y(-4). Suppose 10*r = 5*r - 3*n - 8, -2*n = -4*r - 24. Sort r, q, 1.
r, 1, q
Suppose -5*t - 2*s - 3 = 2, -5*t + 20 = -3*s. Put -0.1, t, -1, 2 in decreasing order.
2, t, -0.1, -1
Let z(y) = 7*y**2 - 1. Let u be z(-1). Let f be 2 - 2/10 - 2. Sort f, u, 1 in decreasing order.
u, 1, f
Suppose 8 = 2*q + k, 3*q + 3*k - 19 = 5*k. Sort 3, -4, q, -2 in descending order.
q, 3, -2, -4
Let p(j) = j**3 - 14*j**2 - 3. Let n be p(14). Put 0.2, -3/4, n in descending order.
0.2, -3/4, n
Suppose 2*l - 4 = 4. Let d = 17.57 - 15.6. Let n = -0.03 - d. Sort 3, l, n in descending order.
l, 3, n
Let f = 4 + 0. Let u be (-8)/20 - f/(-10). Put 4, 2, u in descending order.
4, 2, u
Let a(z) = -z - 7. Let l be a(-6). Put -3/4, l, 0.2, 1/9 in decreasing order.
0.2, 1/9, -3/4, l
Suppose 0 = 27*g - 16*g - 22. Sort 6, g, 4 in decreasing order.
6, 4, g
Suppose 6 = 4*f + 4*c - 3*c, 0 = -3*f - c + 4. Let r be (-22)/(-9)*f/2. Let h = r - 53/18. Sort h, 2, 5 in decreasing order.
5, 2, h
Suppose 6*o + 6 = 8*o. Let x = 2 - 0. Suppose 3*k - 27 = -24. Sort k, x, o in descending order.
o, x, k
Let j be (-3)/2*(-4)/(-3). Let r = -7 + 3. Suppose -3*y = 2*y - 15. Sort r, j, y in increasing order.
r, j, y
Suppose -4*h = -a + 32 - 132, -h = a - 30. Suppose 2*c - 5*t = h + 3, 0 = -5*c - 4*t - 10. Let l(r) = -2*r - 7. Let z be l(-6). Put 3, c, z in increasing order.
c, 3, z
Let a = 5 + -9. Let i = -8 - a. Put -2/7, 0.1, i in descending order.
0.1, -2/7, i
Let t be (-1 + 3)/(2/5). Let i be (-7)/28 - t/(-4). Sort i, -4, 6 in ascending order.
-4, i, 6
Let y = 4 + 1. Put y, -1, 2 in descending order.
y, 2, -1
Let g = -39 - -43. Sort 0, -2, g, -1/3 in decreasing order.
g, 0, -1/3, -2
Suppose g - 2 = -5. Sort 5, -2, g.
g, -2, 5
Suppose -5*d = 437 - 427. Let b(r) = -r**2 + r - 2. Let i be b(2). Sort 3, i, d in ascending order.
i, d, 3
Let n = -0.9 + 1.3. Let p = 2.1 + -2. Sort p, -1/6, n in decreasing order.
n, p, -1/6
Let l be (-6)/6*5*1. Let w be (1 - (-4)/(-6)) + 75/45. Sort l, 0.3, w.
l, 0.3, w
Let m = -21 + 11. Let b = m - -6. Sort -0.2, b, 4 in descending order.
4, -0.2, b
Let b = -8 + 11. Let j be (-18)/24 - b/(-4). Sort j, -3, 1.
-3, j, 1
Let s = 3.2 - 2.3. Let r = s + -5.9. Put -2/3, r, 0.3 in decreasing order.
0.3, -2/3, r
Let m = 21 + -106/5. Let n = -0.3 + -1.3. Let h = n - -1.2. Put 0.5, m, h in decreasing order.
0.5, m, h
Let x = 27/2 - 14. Let z = 2 + 0. Let m be -1 + (-2)/6 + z. Sort 0.1, x, m in ascending order.
x, 0.1, m
Suppose 5*m - 22 - 38 = 0. Let k be 2/6 + (-40)/m. Let b be ((-30)/(-45))/((-2)/12). Sort k, b, 0 in decreasing order.
0, k, b
Suppose 13*u - 11*u = 6. Suppose -7 = 5*h - 27. Sort h, 1, u in ascending order.
1, u, h
Let i = 9 + -9.3. Let k = -241/4 - -61. Sort k, 0.3, i.
i, 0.3, k
Suppose 3*k + 2 = -g, -g = 3*g + 3*k + 17. Let w be (-1)/(14/(-20))*(-721)/(-206). Put g, w, -1 in decreasing order.
w, -1, g
Let x = 52 - 43. Sort -3/4, x, -0.3 in decreasing order.
x, -0.3, -3/4
Let p be -6 + (2 - (3 + -1)). Let m be 4/p + (-34)/(-6). Suppose 0 = 4*r, -u - m*r = -6*u + 25. Put -5, -1, u in descending order.
u, -1, -5
Let t = 23 + -27. Sort -2, t, 3.
t, -2, 3
Let d = 0 + 2. Suppose q = -3*p - 2, 0 = -q - 4*q + 5*p + 70. Let t = 14 - q. Sort -0.2, t, d in increasing order.
-0.2, d, t
Let s = -0.02 - -1.02. Let y = 5.4 + -0.4. Let j be (-2 + -2)*(-1)/(-10). Put y, s, j in ascending order.
j, s, y
Let p = 35 + -33. Sort 4, p, 14 in descending order.
14, 4, p
Suppose 0 = 2*y + 3 - 1. Let s = 7 + -4. Let f = -5 + 6. Sort s, y, f in decreasing order.
s, f, y
Let j be 0 + 2 + ((-52)/20 - 0). Sort j, 2/13, 1/12 in ascending order.
j, 1/12, 2/13
Let g be -26 + 23 - 1*(3 + -1). Sort 5, 4, -2, g.
g, -2, 4, 5
Suppose g = 5*m + 1, -3*g + 0*g - 5*m - 17 = 0. Put g, 1, 3 in descending order.
3, 1, g
Suppose 5*v = -2*y - 22, 0 = 4*v - y - y + 14. Let s(x) = -x**3 - 7*x**2 + 6*x - 7. Let b be s(-8). Suppose -4*c + b - 1 = 0. Put 5, v, c in decreasing order.
5, c, v
Let n = 20.1 + -19. Let h = n - 0.7. Sort h, -5, 0.1 in descending order.
h, 0.1, -5
Let l be (4 - 3)*(0 - -1). Let o be l + 5/((-10)/4). Put o, 5/2, 2 in decreasing order.
5/2, 2, o
Suppose 4*c + 24 - 4 = 0. Let o = -2 + 1. Suppose 4*a - 5 + 1 = 0. Sort o, c, a in descending order.
a, o, c
Let d = 6 - 5.7. Let l = -15 - -18. Put 5, d, l in increasing order.
d, l, 5
Let a = -2.3 - 0.7. Let g = a - -6. Let j = g - 2.8. Sort 3, -4, j in descending order.
3, j, -4
Let f = -100 - -49. Let i be f/15 - 4/(-10). Let d be (4/48)/((-1)/i). Sort 2, d, -3/7 in increasing order.
-3/7, d, 2
Let v = -31 - -35. Put -2/11, v, -1, -5 in increasing order.
-5, -1, -2/11, v
Let n(q) = -2*q**2. Let d be n(1). Sort d, -3, 5 in descending order.
5, d, -3
Let d = 2325/13 - 179. Let x = 0.5 + 8.5. Let t = x + -5. Sort d, -5/2, t.
-5/2, d, t
Let l be -1*(2 + 0 + -1). Let y = 3 + l. Sort -2, y, 0 in decreasing order.
y, 0, -2
Let b be 81/(-9) + 15/3. Put -3, 9, b, 3 in descending order.
9, 3, -3, b
Let c(h) = h. Let u be c(-1). Sort -4, 3/5, u in decreasing order.
3/5, u, -4
Let p(k) = k**3 - 3*k - 3. Let b be p(3). Suppose -10 = 2*z - c, 3*z + c = 4*c - b. Suppose 5*f + a - 20 = -5, -3*f = -2*a - 9. Sort 4, f, z.
z, f, 4
Suppose 0 = 11*q - 8*q + 3. Sort 3, -3, q, -2 in descending order.
3, q, -2, -3
Let o = 28.6 + -29. Sort -19, -4, o in descending order.
o, -4, -19
Let v = 9/4 - 71/28. Let k = 0.04 - -1.96. Let y = k + -1. Sort v, y, 0.1.
v, 0.1, y
Let y = -80 + 79.7. Let w = 1 + -2. Sort w, y, 2/7 in descending order.
2/7, y, w
Suppose -4*k + p - 7 = 0, 3*k - 2*p + 14 = -3*p. Suppose 4*q = -3*s - q + 10, 5*q - 5 = -2*s. Sort s, 4, k in increasing order.
k, 4, s
Suppose -l - 3*l = 0. Let h = -0.5 + 0. Sort l, h, 1.
h, l, 1
Let o = 0 + 0.2. Let m = -51 - -44.3. Let c = m + 7. Put c, -4, o in descending order.
c, o, -4
Suppose 2*m = -8, -2*h + 8 = -0*h - 2*m. Let x(t) = t**2 + t - 1. Let u be x(2). Let n be (-28)/10 - (-2)/(-10). Sort h, n, u in descending order.
u, h, n
Let z = 0.23 - -8.77. Let j = 16 - z. Let f = j + -11. Sort -5, -3, f in decreasing order.
-3, f, -5
Suppose 4*l + 24 = 4*x + 8, -11 = -2*x + 3*l. Let w be (5 - 3)/(4/6). Sort x, 2, w.
x, 2, w
Let g = -6 + 10. Let q be (-1 + -2)*(-8)/(-6). Put g, q, 0 in ascending order.
q, 0, g
Let v(w) = -w**2 + 5*w + 3. Let q be v(5). Sort -2, 4, q in increasing order.
-2, q, 4
Let p = 0.18 - 0.68. Sort 5/2, p, 3.
p, 5/2, 3
Let g = -2.1 + -6.9. Let s = g + 9.2. Sort s, 4/9, 3/5 in decreasing order.
3/5, 4/9, s
Let h = -8 + 4. Let l = -0.03 + -1.97. Let u = 3 + l. Sort h, -0.2, u in decreasing order.
u, -0.2, h
Let a = -3 + 5. Let q = -9 - -8. Sort a, q, -3.
-3, q, a
Let f be 4 - 35/10 - (-1)/2. Put f, -2, 4 in ascending order.
-2, f, 4
Let o be (-6)/(-21) + 25/(-14). Let j = o - -9/10. Put j, 4, 3 in decreasing order.
4, 3, j
Let t be ((-2)/40)/(8/60). Put t, 2, -5 in increasing order.
-5, t, 2
Suppose t + 3*r = 7*r + 11, 8 = -4*r. Let y be (54/(-10) - 22/(-55))/1. Let k be 2*(-1)/2*2. Put k, y, t in decreasing order.
t, k, y
Let i(t) = t - 13. Let f be i(9). Sort -2, -1, f.
f, -2, -1
Let f = 7 + 1. Let j = -15 + 11. Let b be (6/4)/(j/f). Sort b, 3, 0 in descending order.
3, 0, b
Let i(k) = k**2 - 4*k + 2. Let b be i(4). Suppose 2*o = 2*n - 4, 3*o + 5 = b*n - 0*o. Sort 2/13, n, 2 in ascending order.
2/13, n, 2
Let x = 750 + -749.6. Let p = 0 - 0. Put x, 1/3, p in ascending order.
p, 1/3, x
Let k = -462 - -462.0522. Let y = 3.8378 + k. Let m = y - -0.11. Sort 5, m, -1/3.
-1/3, m, 5
Let k = -28 - -40. Suppose f + 4*n = 5*f - 8, 0 = 4*n - k. Put f, 4, -4 in increasing order.
-4, 4, f
Let u = 20/23 + -175/69. Put -1/10, 1, 0, u in descending order.
1, 0, -1/10, u
Suppose -13*j + 7*j - 6 = 0. Put j, 0, -3, 5 in descending order.
5, 0, j, -3
Let o = -0.55 + 1.05. Put -4/3, 1/5, -2/15, o in descending o