ort 1, -1, x in ascending order.
-1, x, 1
Let u = -53 + 48. Sort -8, u, 3 in descending order.
3, u, -8
Suppose 0 = -2*x + n + 3, -x - 5*n + 2 = 6. Put 6, x, 5 in decreasing order.
6, 5, x
Let g = 23.7 + -24. Put 5, 6, g in descending order.
6, 5, g
Suppose -r = 2*r - 9. Sort -1, r, 14.
-1, r, 14
Let z be 2 - 1 - 4/5. Let q = 0.56 + -0.06. Sort z, q, 2.
z, q, 2
Let z = -361 - -3253/9. Sort 0.04, z, 4, -0.1 in descending order.
4, z, 0.04, -0.1
Let t = -533/5 + 106. Let l = 2 + 5. Let o = l + -3. Put t, 1/5, o in increasing order.
t, 1/5, o
Let o = -52 - -51.6. Let q be (-2)/(-2*1 - 3). Sort -1/2, q, o.
-1/2, o, q
Let y be 30/14 - (-6)/(-42). Put -1/6, y, -4 in increasing order.
-4, -1/6, y
Let o(v) = v**2 - 10*v + 11. Let i be o(9). Sort i, -1, 4, 1.
-1, 1, i, 4
Let w = -8 - -13. Let s = -13 - -12.3. Let j = s - -0.8. Sort w, -3, j in decreasing order.
w, j, -3
Let k(l) = l**2 - 10*l - 24. Let i be k(12). Sort 2, -2, 3, i in decreasing order.
3, 2, i, -2
Let b = 6 - 2. Let a be (3*(-3)/(-18))/((-7)/42). Suppose 2*n = n. Put a, b, n in decreasing order.
b, n, a
Let s(g) = -g**2 + 2. Let j be s(2). Let r = 3.6 + -4. Let b = 8 + -4. Sort r, j, b.
j, r, b
Let n(b) = b - 4. Let s be n(4). Put s, 1/5, -0.5 in decreasing order.
1/5, s, -0.5
Suppose 5*p - 9 = 1. Put 1/7, p, -4 in decreasing order.
p, 1/7, -4
Suppose 17 + 115 = 12*y. Put 3, 4, y, 1 in descending order.
y, 4, 3, 1
Let n(d) = -4*d**3 + d**2 + d + 2. Let j be n(2). Let k be ((-2)/(-8))/((-4)/j). Sort k, -0.3, 0 in descending order.
k, 0, -0.3
Let l = -4.1 + 0.1. Suppose k = -4 + 7. Suppose -2*w + 2*f = 0, -k*f = 2*w - 4*f + 1. Put l, w, 3 in decreasing order.
3, w, l
Suppose -4*x + 7 + 1 = 0. Suppose -b + 5 - x = 0. Sort b, -3, -0.4 in decreasing order.
b, -0.4, -3
Let d = 3 + -14. Let y = -10.5 - d. Let u = 5 - 5.4. Sort y, u, -3/7 in increasing order.
-3/7, u, y
Let d(m) = -m**3 - 12*m**2 - m - 8. Let i be d(-12). Let w be -3*((i - 3) + -2). Suppose -4*h = -0*h - 16. Sort h, w, -5 in decreasing order.
h, w, -5
Suppose 0 = a - 4*a + 5*b + 17, -3*a - 4*b = 19. Let u = 3 + -3. Let t be 6/3 + -7 - u. Put 2, a, t in ascending order.
t, a, 2
Let x be (-21)/12 + (-3)/(-4). Let g = x + -4. Sort g, -4, -3 in descending order.
-3, -4, g
Let i = 0.097 - 0.497. Sort 5, -2, i, 2 in increasing order.
-2, i, 2, 5
Let m be 6/(2*(-2 + 1)). Let x be -1 - (2/(-2) + -1). Let f = m + x. Sort -3, -5, f.
-5, -3, f
Suppose -s = -0*s + 3. Let t = s + 1. Let g(d) = d**3 + 5*d**2 + 7*d + 7. Let n be g(-4). Put n, -1, t in descending order.
-1, t, n
Let c = 0.146 - 2.146. Sort 1/10, 1/7, -1, c in ascending order.
c, -1, 1/10, 1/7
Suppose 5*g + 42 = 5*u + 2, 0 = -u + 5*g + 20. Suppose 0 = 2*j + 3*j + u. Put -2, 0, j in descending order.
0, j, -2
Suppose 0 = 3*u + 5*u + 32. Sort u, -2/3, 6 in descending order.
6, -2/3, u
Let l = 85 + -85.3. Put 3, 0.03, l, -2/7 in descending order.
3, 0.03, -2/7, l
Let k be 3/(-6)*-2*4. Suppose 2*y - 9 = -y. Suppose -b + y = 4*m + 2, -k = -4*b. Sort 5, 1, m.
m, 1, 5
Let u(s) = -4*s - 3. Let t be u(0). Sort -9, t, -4.
-9, -4, t
Suppose 2*j + 12 = 6*j. Let b be (1/j)/(4/24). Sort -2, -3, b in descending order.
b, -2, -3
Let m = -47 - -185/4. Let s = 241/4 + -60. Put s, -5, m in ascending order.
-5, m, s
Let q = -3/26 + -63/130. Let k = 0.53 + -0.63. Put k, q, 5 in decreasing order.
5, k, q
Let z = 0.01 + -4.01. Let a = -144.7 - -145. Sort a, -2, z in descending order.
a, -2, z
Suppose -4 = -j - 0. Suppose 4*g - 20 = -j*w, -5*w + 2*g + 25 = -0*g. Sort w, -1, 1 in ascending order.
-1, 1, w
Let j(h) = h - 12. Let p be j(16). Let c be 1/(2 - (-9)/(-5)). Suppose -p*d - 1 = -c*d. Sort 3, d, 5 in ascending order.
d, 3, 5
Suppose -5*v + 4*v = -5. Sort -2, v, -5 in increasing order.
-5, -2, v
Let c be 1*(0 - (-2 + 1)). Suppose -2 = o + c. Sort -4, o, -2.
-4, o, -2
Let a = 1.4 + -3.4. Let u = 3 - a. Put 2, u, -0.5 in increasing order.
-0.5, 2, u
Let b = 25 - 24.7. Put -2/9, -1/7, b in ascending order.
-2/9, -1/7, b
Let d be 5/(-10) - 14/(-4). Suppose d*q + 0 = -3. Sort 2, -4, q in ascending order.
-4, q, 2
Let z be (-2)/(1 - 21/27). Let j be 233/z - 2/(-9). Let o = 26 + j. Put o, 2/3, -5 in descending order.
2/3, o, -5
Let i = -1 + 4. Let o be 2*(i - 50/16). Put o, -2, -1 in increasing order.
-2, -1, o
Let v be (-6)/(2*6/(-8)). Put 1, v, -5 in descending order.
v, 1, -5
Let z = 24.1 - 24. Put -3, 4, z, 3 in increasing order.
-3, z, 3, 4
Let r = -8.1 - -15.1. Put -5, r, -2 in increasing order.
-5, -2, r
Let t be ((-3)/(-2))/((-6)/(-8)). Let k = 10 - 14. Put k, t, -1 in descending order.
t, -1, k
Suppose 0 = 2*x - r - 8, 2*x - 9 = -3*r + 7. Let j(s) = -s**3 + 2*s**2 - 2*s + 2. Let v be j(3). Let d = -62/5 - v. Sort d, 0.1, x.
0.1, d, x
Let h = 4 - 15/4. Put 1/5, h, 1 in ascending order.
1/5, h, 1
Let y be -4 + (0 - -1)/1. Suppose 2*g = 6*g - 4. Sort g, y, 4 in decreasing order.
4, g, y
Suppose 0*c = 2*c. Let s = 9 - 43/5. Let a = -0.31 - 3.69. Sort a, c, s.
a, c, s
Suppose 3*f + 4*v = 13, v - 5 = -1. Put 5, f, 0 in ascending order.
f, 0, 5
Let b = -12 - -18. Let u(d) = 0 - 3*d + 2*d - 2 + 2*d. Let l be u(b). Sort l, -2, -1 in descending order.
l, -1, -2
Suppose -14 = -5*k + 6, -5*t - 32 = -3*k. Sort -1, -3, t, -2 in increasing order.
t, -3, -2, -1
Let a = -15.3 + 1.3. Let u = 13.78 + a. Let g = u + 0.02. Sort -0.3, g, 0.4 in descending order.
0.4, g, -0.3
Suppose -j + 6*j = -25. Sort -15, j, 3 in ascending order.
-15, j, 3
Let f = 131 + -130. Let s = -1 - -3/5. Put 0.1, f, s in decreasing order.
f, 0.1, s
Let m = 3.86 - -0.14. Sort 0.4, m, 0 in ascending order.
0, 0.4, m
Suppose -4*q - 12 = -8. Let f be (-2 + 2/6)*3. Sort f, q, 0 in increasing order.
f, q, 0
Suppose -2*h + 11 = 9. Put 0, -3, h in ascending order.
-3, 0, h
Let q(l) = 5*l - 25. Let m be q(4). Put m, 1, 9, 5 in ascending order.
m, 1, 5, 9
Let o = 2 + -5. Let t be 33/(-4) + 4/16. Let s be (t/(-30))/((-2)/5). Put s, o, 0 in decreasing order.
0, s, o
Let a = -4.2 + 4. Sort a, 0, -4/3 in ascending order.
-4/3, a, 0
Suppose 0 = -i + 5*w + 13, -4*i + 5 + 9 = -w. Sort i, 3/8, -4.
-4, 3/8, i
Let q = -8 - -3. Sort -4, q, 1.
q, -4, 1
Let a(c) = c**3 - 2*c**2 - 3*c + 3. Let h be a(3). Let t = -47 - -42. Sort h, t, 0.7 in descending order.
h, 0.7, t
Let s(l) = l + 2. Let i be s(-4). Let o = i - -4. Sort -3, 4, o.
-3, o, 4
Let w = 74 + -57. Put -1, -5, w in descending order.
w, -1, -5
Let p(h) = 8*h**2 - 1. Let q be p(1). Let l(s) = s - 4. Let k be l(q). Let j = 5 - k. Sort 0.3, 0.1, j in descending order.
j, 0.3, 0.1
Let d(a) = a**2 - 4*a + 19. Let x(s) = 3*s**2 - 13*s + 56. Let m(l) = 11*d(l) - 4*x(l). Let z be m(6). Put 3, -4, z in decreasing order.
3, z, -4
Let f be (8/(-14))/((-4)/14). Sort f, 0.4, 1/4 in ascending order.
1/4, 0.4, f
Suppose 4*m = 2*l - 7*l - 12, 0 = -2*m + 2*l + 12. Suppose -m*r = -0*r. Suppose -5*n - 3*z + 16 = 0, -3*z = -r*n + 2*n - 1. Put 0, -3, n in descending order.
n, 0, -3
Suppose 0 = -s - s + 6. Let t be -1*(1 + -4 + -2). Let r = t - 7. Sort s, 4, r in descending order.
4, s, r
Suppose 0*l - 4*l - 4 = 0. Let w be -1*(1 + -3 + -1). Let z be w/2*(-8)/(-6). Put -4, z, l in decreasing order.
z, l, -4
Suppose -2*c + 2*x + 5 = -3*x, -5*c = 3*x + 34. Suppose 0 = 5*l + 5*s - 15, -l - 2*s + 2 + 3 = 0. Let p = c + l. Put p, 0, 2/3 in increasing order.
p, 0, 2/3
Suppose -665 = 5*i - 4*c, 2*i + 238 = -0*i - 4*c. Let p = 1743077/88 + -159495/8. Let o = p - i. Put o, -3/2, 3/4 in decreasing order.
3/4, o, -3/2
Let z = 5 + -4.7. Let y = 10 + 8. Let v = -18.4 + y. Put v, z, -5 in descending order.
z, v, -5
Let o = 7 + -4. Suppose -5*v - 15 = 4*i, 0*i = -4*i + 5*v + 15. Sort i, -1, o in increasing order.
-1, i, o
Suppose 2*x + 6 = 0, 0 = -a - a + 3*x - 21. Let k = -12 - a. Put 1, k, 4 in increasing order.
1, k, 4
Let s = 0.77 + 1.23. Sort -0.1, -3, s, 4 in decreasing order.
4, s, -0.1, -3
Suppose 4*n - 42 = -10. Suppose i - 3*y - 7 - 2 = 0, y = 4*i + n. Suppose -q - 2*q + 16 = u, 2*u - 2 = 0. Sort i, -2, q in descending order.
q, -2, i
Let k be ((-1)/(-5))/((-2)/(-5)). Let r = -1123/30 + 112/3. Sort 4, k, r in decreasing order.
4, k, r
Let w be -4 + -4 - -6 - -3*1. Put -7, 0, -4, w in decreasing order.
w, 0, -4, -7
Let l be ((-18)/(-30))/(6/(-4)). Sort 1/4, -8, l.
-8, l, 1/4
Let k = 63 - 61. Sort 1, 4, -3, k in decreasing orde