Let o = -29 + 25. Sort 3, o, 5, 0.
o, 0, 3, 5
Suppose 5 - 3 = z. Put z, 6, 0 in descending order.
6, z, 0
Suppose -3*o = -3*q - 4*o - 13, 2*q - 4*o = -4. Suppose 4*i - 4*p = -2 - 2, 0 = -4*p + 16. Sort -3, q, i.
q, -3, i
Suppose 0 = 4*i + 5*r - 16, 6 + 11 = -5*i + 3*r. Sort i, -4, 4 in ascending order.
-4, i, 4
Let s = 140 + -142. Sort s, 4, -4, 3 in decreasing order.
4, 3, s, -4
Suppose 9 = -2*g + 5*g. Let u = -7 + 19. Let d be u/(-5) + (-4)/(-10). Sort d, g, 0 in decreasing order.
g, 0, d
Let a = 6 + -9. Let z be (-1)/(-3) + 34/(-48). Put a, z, 3/4 in ascending order.
a, z, 3/4
Let d = 3 + -1.7. Let f = -1.8 + d. Sort f, 2/11, -0.7.
-0.7, f, 2/11
Let y be -4 + (-2 - (-3 - 1)). Put -1, y, 3 in increasing order.
y, -1, 3
Let p = -6 - -5.6. Put p, 0.1, 0.2 in descending order.
0.2, 0.1, p
Suppose 10 = -4*l - 2. Sort l, -12, -4 in decreasing order.
l, -4, -12
Let r = 7 - 6.9. Let t be (((-9830)/(-6))/5)/(-3). Let q = 109 + t. Sort q, -4, r in decreasing order.
r, q, -4
Let m = -11 - -10.6. Let n = 307 + -3993/13. Let j = 175/6 + -2263/78. Sort m, j, n.
m, n, j
Let i(u) = -u**3 - 5*u**2 - 5. Let k be i(-5). Let p(a) = -a**2 - 8*a - 8. Let d be p(-7). Sort 1, k, d in descending order.
1, d, k
Let k be 4/36*(-3)/(-1). Let h = k + 1/6. Put -3/5, h, -5 in decreasing order.
h, -3/5, -5
Let u = 0.52 - 3.22. Let p = u - -2.4. Sort 0.3, 0.4, p.
p, 0.3, 0.4
Suppose 4*p = -4*j - 20, -j = -3*j - 6. Put 4, p, 0, 5 in decreasing order.
5, 4, 0, p
Suppose -3*l + 9 + 3 = 0. Sort 1, -1, -11, l in decreasing order.
l, 1, -1, -11
Let y = 2.8 - -2.2. Put -5, -1/3, y in increasing order.
-5, -1/3, y
Let o be 6/(-4) - (-7)/14. Sort o, -0.1, 5 in descending order.
5, -0.1, o
Let v = 38.6 + -39. Put -2, 0, v, -2/7 in ascending order.
-2, v, -2/7, 0
Suppose -3*n - 20 = 5*c - 3*c, 3*c = -4*n - 26. Let g(s) = -s - 8. Let h be g(n). Sort 5, 1, h in increasing order.
h, 1, 5
Let n(l) = -l**2 - l + 3. Let c be n(-3). Sort c, -4, -7 in decreasing order.
c, -4, -7
Let l = 17 + -2. Suppose 9*k = 6*k - l. Put -4, 4, k in decreasing order.
4, -4, k
Let v = -0.53 + 0.13. Let x = v + 0.4. Let a = -99/4 - -25. Sort -0.5, a, x in decreasing order.
a, x, -0.5
Let r = -0.4 + 0.8. Let a(x) = -x**2 - 15*x + 2. Let j be a(-15). Put j, r, 0.1 in increasing order.
0.1, r, j
Suppose 0*o - o + 4 = 0. Suppose 5*p - o*s + 5*s = 0, 11 = -4*p - 3*s. Let n = 4 - 7. Sort 0, n, p in decreasing order.
p, 0, n
Let m be (2 + (-10)/4)*0/3. Sort 10, 4, m, 5 in descending order.
10, 5, 4, m
Let b = 86 + -432/5. Let r be 16/(-10)*2/12. Let j = r + b. Sort j, 2/5, 1.
j, 2/5, 1
Suppose 4*a = -5*w + 16, 0 = 5*w + 4*a - a - 12. Let p = -0.53 + -0.17. Let d = 0.4 + p. Put -0.5, d, w in descending order.
w, d, -0.5
Let z = -4 + 6. Let r = -1.7 + z. Let a be 4/10*1/2. Put 3, a, r in descending order.
3, r, a
Let z = -48.1 - -44. Let o = 0.1 + z. Put -2/7, -3, o in decreasing order.
-2/7, -3, o
Let v = -21 - -41. Suppose 10 = -5*c - v. Let r be (27/c - -3)/3. Sort -1/4, -4, r in decreasing order.
-1/4, r, -4
Let g = 17 + -15.9. Let m = 0.9 + g. Sort 3, m, 0.4.
0.4, m, 3
Suppose -5*l + 258 - 58 = 0. Let f be (-22)/30 - (-24)/l. Put -0.3, f, 4 in ascending order.
-0.3, f, 4
Suppose 4 = -6*f + 10. Suppose 4*g + 3*r - 10 = -g, -3*g + r + 20 = 0. Put g, f, -2 in decreasing order.
g, f, -2
Let v = -4 + 2. Let d be 22/(-6) + (-2)/(-3). Suppose 5*o - s + 12 - 32 = 0, 3*s = o - 4. Put o, v, d in ascending order.
d, v, o
Let x = -70 + 37. Let p be 6/(-9) + x/(-9). Let n = 1 - 2. Sort p, n, 2.
n, 2, p
Let y(h) = h**3 + 10*h**2 + 12*h + 3. Let r be y(-8). Let d be (12/15)/((-14)/r). Sort d, 2, 3 in ascending order.
d, 2, 3
Let p = -171997/6 - -28738. Let c = p + -72. Put c, -3, 1 in descending order.
1, c, -3
Let d = -1 - 2. Sort 0, 5, d.
d, 0, 5
Let a = -6 + 5.7. Sort 4, -0.4, a in descending order.
4, a, -0.4
Let g(w) = -2*w + 6. Let h be g(4). Let q(j) = -3*j - 13. Let i = 18 + -23. Let c be q(i). Put c, 5, h in decreasing order.
5, c, h
Let m(w) = w**2 - 12*w - 407. Let s be m(-15). Let v = 1/51 + -6/17. Sort v, s, 3.
s, v, 3
Let g = -0.17 + 2.57. Let h = g - 2. Suppose 2*r = 20*r + 36. Sort r, -3, h in descending order.
h, r, -3
Let j(r) = -r**3 + r**2 - 1. Let w be j(1). Put 0, w, -4 in descending order.
0, w, -4
Let n = 1.3 - 0.3. Let t = 0.3 - -0.5. Let f = t - -2.2. Put n, -3/7, f in descending order.
f, n, -3/7
Suppose 0 = 5*t - 5*o + 10, -3*t = -11*o + 6*o + 4. Suppose 0 = 2*i + 1 + 9. Let f be (-1 + 6)*(0 + 1). Put t, f, i in descending order.
f, t, i
Suppose 3 - 5 = -b. Suppose -4*o + 5*f = -15, 5*f = -o + b*f - 9. Put 4, -2, o in ascending order.
-2, o, 4
Let h = 0.21 - 11.21. Let y = h + 8. Put 1/2, -0.4, y in descending order.
1/2, -0.4, y
Let i be (-5)/(-10)*2/(-4). Sort 2/11, -0.6, i.
-0.6, i, 2/11
Let q = -19 + 18. Sort 4, q, 2, -4.
-4, q, 2, 4
Let w be 0/(1 - (-1)/1). Let j be ((-3)/(-2))/(-3)*w. Suppose -6*k - 5*a = -2*k + 24, -3*a - 15 = 3*k. Sort k, 3, j in decreasing order.
3, j, k
Suppose 4*q + 0*q + 16 = 0. Let h(f) = f + 3. Let p be h(-6). Let d be -3 - (-2)/((-4)/(-2)). Sort p, d, q in ascending order.
q, p, d
Let x be 86/(-144) + 8/36. Put 0.5, x, 0, -0.3 in descending order.
0.5, 0, -0.3, x
Let v(c) = -4*c - 2. Let z be v(-2). Suppose 0 = -k - z + 2. Suppose -4*h + 2 = -u - 0*h, -4*u = -2*h - 6. Sort u, 5, k.
k, u, 5
Let l = -35 - -19. Let h = -13 - l. Sort h, 2/19, -0.4 in descending order.
h, 2/19, -0.4
Let o = 44 - 44.4. Sort -1/3, o, 2, 2/11 in decreasing order.
2, 2/11, -1/3, o
Let x be (2/2)/(1/3). Let o(b) = -2*b - 14. Suppose 3*w + 9 = 4*m, -w - 2*m - m - 16 = 0. Let f be o(w). Sort -5, f, x in decreasing order.
x, f, -5
Let w be 15/5 - (-3 + 2). Sort w, -32, 0, 3 in descending order.
w, 3, 0, -32
Suppose 3*b + 4*g = -20, -2*b + 3*b - 2 = 3*g. Suppose 3*v - v = -10, 0 = w - 4*v - 22. Let y be (-6)/(0 - w)*-1. Sort b, 5, y in descending order.
5, y, b
Let f be 15/20 + 116/(-112). Sort -0.2, f, -2/5 in ascending order.
-2/5, f, -0.2
Suppose -4*o = -10 + 2. Suppose t - 2 = o. Put -5, 2, t in descending order.
t, 2, -5
Let b = 3.4 - 2. Let g = 1 - b. Let a = 137/5 - 27. Sort -1/5, g, a in decreasing order.
a, -1/5, g
Suppose -3*k + 5*k = -10. Suppose 6*y + 6 = 4*y. Put y, -4, k in descending order.
y, -4, k
Let a(s) = -s**3 - 2*s**2 + 2*s + 1. Let t be a(-3). Let h be 1/4 - (-9)/12. Let p = h - 5. Sort t, 2, p in ascending order.
p, 2, t
Let u = 5 + -2. Suppose -8 = 4*p - 4. Suppose -5*x + 4*i + 7 = 5*i, 0 = 2*x + i - 4. Sort p, x, u in ascending order.
p, x, u
Let l = 68 - 67. Sort l, 0.01, 0 in ascending order.
0, 0.01, l
Let b = -1/72 + 7/18. Suppose 12 = 4*a + n, 5*a + n - 8 = 6. Sort a, 5, b in increasing order.
b, a, 5
Let b = -0.04 + -0.66. Let w = b + 3.7. Sort w, -2, 0 in decreasing order.
w, 0, -2
Let x = -2 + 1.7. Let n = -1 - 4. Sort -2, x, n in increasing order.
n, -2, x
Suppose 2*f + 5 = -n, -5*n - 5*f = -0*n + 35. Put 3, -3, 0, n in descending order.
3, 0, -3, n
Suppose 12*c = 6*c - 12. Put c, -14, 0 in descending order.
0, c, -14
Let o be ((-3)/9)/(3/9). Let z = -1 + 4. Sort o, 5, z.
o, z, 5
Suppose j - 2 = 4*c, -2*c = 5*j - 0*c - 10. Suppose 3 = s - 2*k + 14, -12 = 3*s + k. Put j, s, -0.3 in ascending order.
s, -0.3, j
Let q = -13 - -9. Let m = 631/4 - 162. Let i = m - -179/44. Sort 0, i, q in descending order.
0, i, q
Let z be 1704/(-180) + (-1 - -4). Let r = -762 + 2306/3. Let s = z + r. Put s, -2, 0.1 in increasing order.
-2, 0.1, s
Suppose 4*x - x = -4*s + 10, 4*x + 4 = -s. Let c be 3*10/12*-2. Sort x, 3, c in increasing order.
c, x, 3
Let g = -0.11 - -1.11. Put -0.3, g, 0.1, -8 in decreasing order.
g, 0.1, -0.3, -8
Let d = -0.88 - -0.38. Put d, 5, -1 in decreasing order.
5, d, -1
Suppose -2 = -w - 4. Let h = 16 + -16. Put -4, h, w in descending order.
h, w, -4
Let w be (-63)/7 + 19 - (7 + -2). Let z(j) = -j**3 - 3*j**2 + 3*j - 3. Let p be z(-4). Put p, w, -4 in increasing order.
-4, p, w
Suppose 3*o = -2*z - 20, 0 = 2*o - 3*z + 6*z + 15. Sort o, 2/5, 0.
o, 0, 2/5
Let f = 0.27 + 0.03. Let j = 3.7 + 1.3. Let o = j + -8. Put o, -0.1, f in decreasing order.
f, -0.1, o
Let h = -0.12 - -0.62. Put h, -4, -1, 4 in ascending order.
-4, -1, h, 4
Let i be (1 + 0)*(2 - 4). Suppose -3*n = -4*n + 2. Sort i, 0, n.
i, 0, n
Suppose 4*a - 9 - 3 = 0. Sort 5, a, -3 in descending order.