 - 0. Let r = t + 1.2. Put -3, -0.5, r in decreasing order.
r, -0.5, -3
Let y(r) = 3*r - 16. Let t be y(12). Let a = t + -15. Sort -3, a, 1.
-3, 1, a
Let n be ((-1)/3)/(4/12). Let s be (n + -1)/(4/8). Sort 1/5, s, 1/2.
s, 1/5, 1/2
Let z be (-24)/(-9) + 2/(-3). Suppose 7*f = z*f. Suppose 5*n - 2*n + 15 = f. Put 0, n, -4 in increasing order.
n, -4, 0
Let y = 11 - 13. Let o be (-6)/4*10/(-3). Put o, y, 2 in ascending order.
y, 2, o
Let k be 32/(-12)*6/(-8). Suppose k*h + 6 = q, 3*h - 2*q + 4 = 2*q. Let i be 2/(-5) + 2/5. Sort i, 4, h in decreasing order.
4, i, h
Suppose -3*v = 26 - 32. Put v, -11, 1 in descending order.
v, 1, -11
Let n = 1.2 + -1.7. Let d = -1.2 - -2.2. Put -1/5, d, n in decreasing order.
d, -1/5, n
Let z = -3 + 3. Let a(m) = -m**3 + m**2 + 1. Let v be a(z). Suppose -4*c + 8 = 4*i, 7*i - 3*i = -c - 1. Sort i, -3, v in increasing order.
-3, i, v
Suppose -2*y = 3*r + 6, -r - 3*y - 1 - 1 = 0. Let o = 7 - 3. Suppose h - o*x = -4*h - 21, -3*h + 5*x - 10 = 0. Put 1, h, r in increasing order.
h, r, 1
Let w = -0.05 + 0.06. Let s = 2.01 - w. Put -1/3, s, -4/3 in decreasing order.
s, -1/3, -4/3
Suppose 0 = w - 4 + 14. Let q = w - -9. Put 0, q, 3 in decreasing order.
3, 0, q
Let p = 3 - 8. Let u = 9 + -5. Suppose -5*t + u*t + 5*o = 23, 0 = 5*t - o + 19. Sort p, t, -2 in decreasing order.
-2, t, p
Let b(p) = p - 4. Let q be b(2). Suppose -6*o + 11*o = 0. Suppose -4*h = -o*h - 16. Put h, -5, q in decreasing order.
h, q, -5
Let q(c) = -3*c**2 + 16*c - 8. Let w be q(5). Sort 1, 5, w, 2 in descending order.
5, 2, 1, w
Suppose -x = -5*x + t - 121, -3*t = -15. Let h = 25 + x. Let p be (6/4)/3*4. Sort p, h, -3 in descending order.
p, -3, h
Suppose 2*g = -g + 171. Let s = -166/3 + g. Put -0.4, 0, s in descending order.
s, 0, -0.4
Let p = -0.36 - -0.06. Let q = -0.1 + -0.3. Sort q, -5, p in decreasing order.
p, q, -5
Let w = 29 + -36. Let u = -10.2 - -0.2. Let l = u - w. Put l, -0.4, -0.2 in decreasing order.
-0.2, -0.4, l
Suppose 0 = -0*g + 5*g - 5, -2*z + 4*g = 6. Sort z, 5, 3 in descending order.
5, 3, z
Let z = -7 + 7. Let g = -298/7 + 43. Put g, 2/5, z in increasing order.
z, 2/5, g
Let l = -32.9 - -32.9. Let b be (-137)/(-90) - (0 + 2). Let w = 5/18 + b. Put -1, w, l in increasing order.
-1, w, l
Let w = -9 - -9. Let d(g) = 2*g - 6. Let z be d(5). Suppose -q - q = -z. Sort w, q, 3 in ascending order.
w, q, 3
Suppose -5*m = a + 11, -6*m + 3*a - 27 = -m. Let u be (-2 + -1)*m/9. Sort -3, u, 4 in descending order.
4, u, -3
Let z be (9/(-6))/((-6)/20). Let p(d) = -d**2 + 3*d - 4. Let g be p(3). Put -2, z, g in increasing order.
g, -2, z
Let w = -15 - -20. Suppose -28 = -5*z - 4*s, -4*z + 4*s = 3 - 11. Put z, -0.1, w in descending order.
w, z, -0.1
Let r = 11 - 14. Put r, 1, 0 in decreasing order.
1, 0, r
Let w(q) = 10*q**2 + q - 1. Let c be w(1). Suppose -2*j = -5*h - c, j + 0*j = -5*h - 10. Sort j, 3, 0.5 in increasing order.
j, 0.5, 3
Let a = -3 + 2.5. Let p be ((-8)/(-28))/(15/(-7)). Put -2, p, a in decreasing order.
p, a, -2
Suppose 0*c - 16 = 4*c. Put -5, 3, c in decreasing order.
3, c, -5
Let n(k) = 10 + k - k - k. Let a be n(7). Let r be 10/(-4)*(a - 5). Put 2, r, -2/13 in increasing order.
-2/13, 2, r
Suppose -15 = -g + 4*p + 4, -2*p - 7 = -3*g. Suppose -2*j - 5 = 5. Sort j, 0, g.
j, g, 0
Suppose -2*w = -0*w + 8, -2*w - 17 = 3*l. Let n be 5/(60/(-8))*l. Sort n, 2/15, -2/9.
-2/9, 2/15, n
Let p = -6 + 1. Let u = -3 - p. Let w = -2.6 - -0.6. Put 1/2, u, w in descending order.
u, 1/2, w
Let m be ((-8)/5)/(6/(-15)). Sort m, -30, -2 in ascending order.
-30, -2, m
Let a be ((-12)/18)/(3/(-9)). Sort a, 3, -8 in decreasing order.
3, a, -8
Let a = 17 - 6. Let h = 10.5 - a. Sort 0, 4/9, h in descending order.
4/9, 0, h
Suppose 2*j + j = 4*z, -j - 13 = 3*z. Suppose 3*i + 6 = -3*y - 0*i, 0 = i + 1. Put z, y, 0 in descending order.
0, y, z
Let u = -2 - 2. Let b be ((-5)/10)/(2/u). Put 5, 0, b in ascending order.
0, b, 5
Suppose -45 = 2*a - 7*a. Let w be 1/(-5) + a/20. Sort 3, w, 5 in decreasing order.
5, 3, w
Suppose 0 = 2*y + 5*h, -2*y - 3*y - 2*h = 21. Suppose -3*m - 4*b + 7 = 28, 3 = -b. Put m, 1, y in decreasing order.
1, m, y
Let z(c) = -c**3 + 6*c**2 - 4*c + 3. Let l be z(2). Sort -4, l, -1.
-4, -1, l
Let m be -1 + 2 - (-6 - -16 - 6). Let b(i) = i**2 - 5*i - 6. Let q be b(6). Sort m, 1, q in descending order.
1, q, m
Let w = 5.96 - -0.04. Let v = 11 - w. Let t = 0.3 - 0. Sort 0, t, v in decreasing order.
v, t, 0
Let y = -0.1 - -0.5. Let x = -0.7 + y. Sort x, 5, -0.4 in ascending order.
-0.4, x, 5
Let b be (-3 + 3 - -1) + 3. Let u(q) = q - 3*q - 2*q + 5*q - 11. Let c be u(6). Sort -2, c, b in ascending order.
c, -2, b
Suppose 4*p + 10 = 38. Let o = p + -3. Suppose 7*m + 12 = o*m, 4*y = m. Sort 2/9, y, -0.5 in increasing order.
y, -0.5, 2/9
Suppose 0 = 4*q - 6*q. Sort 2, q, 4 in increasing order.
q, 2, 4
Let z(r) = r - 2. Let g be z(-4). Let k(t) = t**2 + 5*t - 8. Let l be k(g). Suppose -4*m + 17 = 3*s, 5*m + 2*s = -3*s + 25. Put m, -4, l in decreasing order.
m, l, -4
Suppose 5*x = -30 + 10. Put x, -5, 3 in increasing order.
-5, x, 3
Let d be 0 - (6/(-2) + 1). Let f(a) = a + 7. Let t be f(-2). Sort 3, d, t in increasing order.
d, 3, t
Let l = -0.28 - -0.4. Sort -0.5, l, -0.2 in decreasing order.
l, -0.2, -0.5
Let c = -0.3 + -0.1. Let v = 2.4 - 7.4. Sort v, c, -2 in decreasing order.
c, -2, v
Suppose -5*n - 13 = -2*l, -4*l = n + n + 34. Let x = 11 + l. Let p be (-5)/(-42) + 4/(-14). Put 0, x, p in decreasing order.
x, 0, p
Let h = -97 - -95. Suppose g + 1 = 2. Put g, h, 2 in decreasing order.
2, g, h
Let y = -1.4 - -1. Let k = 0.3 + y. Let d = -0.17 - -0.67. Put 3, d, k in increasing order.
k, d, 3
Let j be ((-4)/(-5))/(2/10). Let r(x) = -x**3 + 5*x**2 - 2*x - 5. Let n = -15 + 19. Let y be r(n). Sort y, j, -3 in decreasing order.
j, y, -3
Let k(g) = -g**3 - 10*g**2 - 8*g + 12. Let f be k(-9). Let w = f + -8. Put w, 1, -2 in ascending order.
w, -2, 1
Let p = 1.8 + -1.4. Put -0.01, p, 0 in decreasing order.
p, 0, -0.01
Let v(b) = -b**3 + 8*b**2 - 5*b - 10. Let p be v(7). Let r = -0.6 + -4.4. Sort p, r, 1 in descending order.
p, 1, r
Let t be 6/(-4)*4/6. Let w be t/((-3)/(-6)) - 2. Let f(a) = 2*a + 4. Let p be f(w). Sort p, 4, -5 in ascending order.
-5, p, 4
Let d = 14 + -7. Suppose 4*t = 3*t + 3*t. Sort 4/9, d, t.
t, 4/9, d
Let y = 0.2 + -0.3. Let d = -2.5 + 2. Put y, 4, d in descending order.
4, y, d
Suppose -i - 5 - 3 = 0. Let d = i - -28. Suppose 0 = 3*b - b - 2*y, 2*b + 3*y + d = 0. Sort 2, b, 0 in increasing order.
b, 0, 2
Let k(u) = -u**2 - u. Let z be k(1). Let t(i) = i**2 + 7*i + 5. Let a be t(-6). Let p be (-1 - 1)/(a/z). Put -3, -1, p in decreasing order.
-1, -3, p
Let u(c) = c**3 + 13*c**2 + 13*c + 10. Let m be u(-12). Let v be (-4)/(-18) + 37/36. Sort v, m, 2 in ascending order.
m, v, 2
Let a(v) = 4*v + 1. Let q be a(6). Suppose 0 = -5*s - q, b - 2*s + 20 = -5*s. Let y be (-3 - 2)*12/(-30). Sort y, b, -4 in increasing order.
b, -4, y
Suppose -2 - 4 = 2*u. Put 0, 1, u in descending order.
1, 0, u
Suppose 8*o = 94 - 102. Let g = 8 + -3. Put g, o, -3 in decreasing order.
g, o, -3
Let d = 0.1 - 0.2. Let y = -1206/5 - -242. Sort y, d, -3.
-3, d, y
Suppose -3*t = 2*j + 6, -3*j - 9 = -5*t - 0. Sort j, 0.2, -2/3 in decreasing order.
0.2, -2/3, j
Let s = -5/3 - -11/6. Put -2/3, -2/15, s in decreasing order.
s, -2/15, -2/3
Let f(o) = o**2 + 17*o - 15. Let a be f(-18). Sort a, 0, 6, -1 in decreasing order.
6, a, 0, -1
Let y be (4/6)/((-6)/9). Let a be 18/16 + -2 - y. Let f = 0.3 - -0.7. Put f, -0.2, a in increasing order.
-0.2, a, f
Let d = 23.7 - 22. Let x = -3.7 + d. Let p = 2.5 + -2. Put x, 0.1, p in increasing order.
x, 0.1, p
Suppose -16 + 3 = -3*o - 4*g, 0 = o + 4*g - 15. Let l be (2 + 2)/1*o. Put 2, -5, l in descending order.
2, l, -5
Let k = -2 - -2.4. Let l = -11.3 - -11. Put k, l, 1/4 in decreasing order.
k, 1/4, l
Let v = -3 + 8. Put 0.5, v, -8 in descending order.
v, 0.5, -8
Let y = -57 + 52. Put -4, y, 3/5, -1 in increasing order.
y, -4, -1, 3/5
Let w = -2.9 + 3. Let f = 0.1 - 2.1. Sort f, w, -4 in increasing order.
-4, f, w
Let p be (3 + -1 - 4)*1. Let k(o) = 2*o**3 - o**2 + 4*o + 3. Let l be k(p). Let s be (-2)/5 + 65/l. Sort 4, -2, s in descending order.
4, -2, s
Let f(l) = l**2 + 3*l - 5. Let u be f(-5). Let y = -1 - -4. Suppose -y