 Put k, -3, r in decreasing order.
r, k, -3
Let b = -2 + 2.12. Let y = b + -4.12. Let u = 1 - 1.1. Sort u, -2, y in decreasing order.
u, -2, y
Let v be (-4)/8*122/(-6). Let g = 451/42 - v. Sort 0.4, -1/2, g in decreasing order.
g, 0.4, -1/2
Let f = -13/40 - -1/8. Let p be 3/(-5)*30/(-27). Let n be (-10)/6 + 2 - 1. Sort n, f, p in increasing order.
n, f, p
Suppose -f - f = -16. Let n be -2*((-2)/f - 0). Sort -1/4, -2, n.
-2, -1/4, n
Let n be ((-7)/5)/((-1)/5). Sort -3, n, 1 in increasing order.
-3, 1, n
Let q be -1*2 + 2 + 16/(-104). Sort q, 0.5, -0.3, 5 in increasing order.
-0.3, q, 0.5, 5
Suppose 6*l - l + 24 = -4*g, -3*l - 14 = 2*g. Sort 0, -2, g, 4 in increasing order.
-2, g, 0, 4
Let b(l) = l**3 - 9*l**2 + l - 12. Let s be b(9). Put s, 5, 1 in decreasing order.
5, 1, s
Let v = -1.5 + -3.5. Let k be -2*(-1 + -1)/14. Sort k, v, -0.5 in ascending order.
v, -0.5, k
Let c = 46.7 + -47. Sort 1/4, -2, c.
-2, c, 1/4
Let t be (1 + (-21)/15)*-5. Let j = t + 0. Suppose 5*p + k + 2 = -j, 4 = 4*k. Put -4, 3, p in decreasing order.
3, p, -4
Suppose -2*s - w = -9, 5*w = -3*s + 3*w + 15. Suppose -s*h - 3*r = r - 9, -8 = 5*h - r. Put h, 6, 0 in increasing order.
h, 0, 6
Let h(a) = 3 + a**3 + 5*a + 2 + 2*a + 6*a**2. Let d be h(-5). Put 4, d, -0.3 in increasing order.
d, -0.3, 4
Suppose 3*o - 4*o = 0. Sort 4, o, 11 in decreasing order.
11, 4, o
Suppose 5*y + 0*y - 10 = 0. Sort -1, y, 5.
-1, y, 5
Let w be (1*-2 - 0) + -31. Let x = w + 129/4. Put x, 4/7, 0.3 in decreasing order.
4/7, 0.3, x
Let j = 8.2 + -8.5. Sort 1/6, j, 0.
j, 0, 1/6
Suppose -4*l - 4*z - 9 = 7, 0 = -4*l - 2*z - 18. Put -4, 1, l in descending order.
1, -4, l
Let c = 55.4 - 51. Let q = 0.4 - c. Put q, -0.1, -3/8 in ascending order.
q, -3/8, -0.1
Let b(t) = t**3 - 4*t**2 - 4*t - 5. Let d be b(5). Let f be (d - -3)/(-6)*-2. Put -3, -2, f in decreasing order.
f, -2, -3
Let h = -6 + 1. Let y = 4 + -4.3. Sort y, h, -1/4 in decreasing order.
-1/4, y, h
Let b = 3.1 - -0.9. Sort b, 2/45, 1 in decreasing order.
b, 1, 2/45
Let j(n) = 1412*n + 6. Let c be j(-7). Let m = c + 3694359/374. Let h = m - 5/34. Put h, -2/3, 1 in increasing order.
-2/3, h, 1
Let r(t) = t**2 + 12*t + 27. Let v be r(-8). Let z(a) = -a**3 - 6*a**2 - 4*a + 1. Let m be z(-5). Let d be ((-2)/5)/(m/6). Sort d, -1, v.
v, -1, d
Suppose -3*g + 8 + 1 = 2*j, -2*g = -3*j + 7. Suppose -j*y = 2*y - 25. Suppose -i + 0*i = -y. Sort i, -1, 3 in decreasing order.
i, 3, -1
Let d(a) = 2*a**2 - 67*a + 29. Let t be d(33). Suppose q - 4*z - 21 = 0, 0*z - z - 5 = 0. Sort q, 3, t.
t, q, 3
Let x be -10 + 6/8*4. Let u be (-2)/(-8) - (-19)/4. Suppose -j + u = 10. Sort 0, j, x in increasing order.
x, j, 0
Let k = -20 - -19. Sort k, -0.4, -2.
-2, k, -0.4
Suppose 3*k = -2*k. Suppose 0 = 3*q + 9. Let t(m) = m - 1. Let g be t(q). Sort 1, g, k in ascending order.
g, k, 1
Suppose -3*v - 11 = -5*j - 1, 0 = 2*v + 4*j - 8. Sort 5, 1, v in descending order.
5, 1, v
Suppose 23 - 3 = -5*j. Sort j, -3, -2 in increasing order.
j, -3, -2
Suppose 2*c = -0*c + 6. Suppose 0 = -3*k - 4*z + 13, -z = -4*k + c + 8. Let f = -5 - -2. Sort k, f, 5 in decreasing order.
5, k, f
Suppose 0 = 4*n - 5*p + 21, p - 8 - 13 = 5*n. Sort 8, 0, n in descending order.
8, 0, n
Suppose -31 = 3*l + 4*o - 6*o, -4*l + 5*o = 46. Let y be l/(-2) - (-5)/(-10). Sort -3, y, 0.1.
-3, 0.1, y
Suppose 3 = -n - 3. Let l = -10 - n. Sort -3, l, -5 in decreasing order.
-3, l, -5
Let m = -16.6 + -1.4. Put m, -0.4, 3 in decreasing order.
3, -0.4, m
Let m = 3.94 - -0.06. Let p = 122 + -977/8. Sort -3, p, m in decreasing order.
m, p, -3
Let x = -4 - 0. Sort x, -22, -5 in descending order.
x, -5, -22
Suppose 2*u + 11 = 3*i, -u - 2*i = -i - 2. Let g be 6/(-9)*u/(-2). Sort -4, 0.1, g in descending order.
0.1, g, -4
Let w be 285/55 + -5 - (-62)/22. Put -4, w, -5 in ascending order.
-5, -4, w
Let b = -6/5 + 23/15. Put b, 3, 2 in ascending order.
b, 2, 3
Let m(j) = j**3 + 3*j**2 + 2*j + 2. Let y be m(-3). Let w = 2 + y. Suppose -d = 3*d. Put w, d, -4 in decreasing order.
d, w, -4
Suppose 0 = 2*h + 14. Let q be (-2 - (-1 - 4)) + h. Let b be q/(12/9) - -3. Sort -5, 4, b in decreasing order.
4, b, -5
Let t be (1 - -3 - 1) + 0. Let y be ((-21)/t - -2) + 1. Sort 0, -2, y in descending order.
0, -2, y
Let q be 1/4 + -1 + (-11)/(-4). Sort 3, -5, q, -3 in decreasing order.
3, q, -3, -5
Let g = 37/3 - 25/2. Put -2/3, 0.5, g in decreasing order.
0.5, g, -2/3
Let n = -0.2 + 0.22. Let u = n - 1.02. Sort 2/5, 5, u.
u, 2/5, 5
Let x = 12/13 - 58/91. Let g be (-15)/(-6)*-2*-1. Suppose 0*k + 23 = -5*k - 4*m, 2*m - g = 3*k. Sort x, k, 2/13 in ascending order.
k, 2/13, x
Let o = 21 - 25. Sort -1, o, -2 in increasing order.
o, -2, -1
Let u = -0.5 - -1. Suppose d - 3*b - 3 = 2*d, -d + 3 = -3*b. Sort u, d, 2 in descending order.
2, u, d
Let d be (-1 + 0)/(-1)*-1. Suppose 3 = 2*m - m. Sort d, m, -1/5 in decreasing order.
m, -1/5, d
Let k = 1 + 1. Suppose 4*h + k - 10 = 0. Let o = -67 + 334/5. Sort 0.3, o, h in increasing order.
o, 0.3, h
Let i = 0.11 - 4.11. Let j = 35 + -31.1. Let w = j + 1.1. Sort w, i, 2/17 in decreasing order.
w, 2/17, i
Let j = -0.28 - -1.58. Let s = j + -1. Let w = 0.1 - s. Sort w, 0, 3 in decreasing order.
3, 0, w
Suppose -4 = -4*o - 5*a - 3, 5*o = -3*a + 11. Let p be (108/(-90))/(42/10 + -2). Sort 1, o, p.
p, 1, o
Let i(m) = -4*m**3 + m**2 + 3*m - 2. Let r be i(1). Put r, 3, 0, 2 in descending order.
3, 2, 0, r
Let s(w) = -w**3 - w**2 - 1. Let q be s(-2). Suppose -q = -l - 5. Let t = -7 + 2. Sort t, l, -3 in increasing order.
t, -3, l
Let a = -3205 - -16617/5. Let k = -217 + 335. Let h = a - k. Sort h, -3/5, 2.
-3/5, h, 2
Let k = 5 + -7. Sort -1, 3/5, k in decreasing order.
3/5, -1, k
Let s = 3.2 + 0.8. Let q be 6/27 + (-34)/72. Sort 2, s, q.
q, 2, s
Suppose 0 = -2*i + 2*z - 16, 5*i = 3*i + 3*z - 21. Let p = -10 + -4. Let y be (-6)/p*(-1)/3. Sort i, -4, y in increasing order.
-4, i, y
Let y = 26 + -27. Sort 3, 0.5, y in ascending order.
y, 0.5, 3
Suppose -3*v + 4*v = -394. Let j = v + 5908/15. Let l = -161/6 + 27. Put 1/2, j, l in ascending order.
j, l, 1/2
Let q be (-8)/6*24/4. Let y(o) = o + 9. Let j be y(q). Sort -5, j, -1 in decreasing order.
j, -1, -5
Suppose 3*p - 7*p + 4 = 0. Let r be (-6*(-6)/(-36))/((-2)/6). Sort p, 0, r.
0, p, r
Suppose 4*y - 5*i = -0*y + 9, 3*y - i + 7 = 0. Put 1, 5, y in increasing order.
y, 1, 5
Let i = 3 - 5. Suppose 0 = 5*k + 10 + 15. Sort 3, i, k in decreasing order.
3, i, k
Let q = -7 - -4. Let b = 1 - q. Put 1, 5, b in increasing order.
1, b, 5
Suppose 15 = -13*s + 10*s. Sort 2/9, s, 3/5.
s, 2/9, 3/5
Let i = -0.21 - -0.06. Let j = -0.15 - i. Let r be (-2)/4 + (-1)/10. Put j, -1, r in decreasing order.
j, r, -1
Let d = -0.25 - -1.35. Let n = -2.9 - d. Sort n, -5, 0.2 in ascending order.
-5, n, 0.2
Suppose 4*m - 10 = 2. Suppose 0 = -2*x + 2*y - 0*y + 10, -m*y = -4*x + 20. Suppose -a + x*u + 6 = 0, 3*a - 3*u + 6 = -0*a. Sort 0, 1, a in descending order.
1, 0, a
Let o(z) = -z**2 - 4*z - 5. Let u be o(-5). Let q be (2 - -1)*(1 - 3). Let w = q - u. Sort w, -3, 1/2 in decreasing order.
w, 1/2, -3
Let l = 0.06 - -0.11. Sort l, 5/3, 5.
l, 5/3, 5
Let q = -32 + 35.1. Let h = q - -0.9. Sort h, 0.4, -5.
-5, 0.4, h
Let l = -86 - -86. Put l, 4, 1 in descending order.
4, 1, l
Let m = -0.141 + -3.859. Sort -5/3, -1, -2, m in decreasing order.
-1, -5/3, -2, m
Let z be (-3)/3*1 - -4. Let m be (4/2 - 2) + -3. Sort z, m, 2 in decreasing order.
z, 2, m
Let c = 16 + -20. Suppose -5*i - 22 - 18 = 0. Sort -3, i, c in decreasing order.
-3, c, i
Let c be 16/6*(-51)/(-68). Suppose 5*a - 3*s = 2*s - 15, -2*a = -s + 1. Suppose -20 = 3*x + 4*l, 5*x - a - 23 = 5*l. Sort c, -4, x in descending order.
c, x, -4
Let u be -2*(5/3)/(2/(-3)). Let r = 5 - 5. Put u, 3, r in ascending order.
r, 3, u
Suppose -r - 2*q = -6, 0 = 2*r + 5*q - 3 - 12. Sort r, 5, -1 in decreasing order.
5, r, -1
Let s be (-16)/(-72) + (-32)/(-18). Suppose -6*x - 3*t + 12 = -s*x, 5*t = -3*x + 9. Suppose 4*h = -1 + 9. Sort h, -5, x.
-5, h, x
Let v be 3/9 - 212/6. Let y be (-10)/v + (-40)/91. Let p = 0.3 + -0.3. Sort y, p, -4 in increasing order.
-4, y, p
Let s be 6/4*10/3. Let z(k) = -k**3 - 4*k**2 + 5*k - 4. Let l = 1 + -6. Let a be z(l). Sort s, a, 4.
a, 4, s
Let y = -7 + 7. Suppose y = -4*t - 19 + 3. Sort -3/2, 0.5, t in descending order.
0.5, -3