 -4*i + 30 = 2*u. Put i, -9, -5 in ascending order.
-9, -5, i
Let h = 17/4 + -4. Sort -2/21, -1/7, h in increasing order.
-1/7, -2/21, h
Let w = 13 + -9. Let m be 1 - (-2)/(-34)*19. Put w, -2/15, m in descending order.
w, m, -2/15
Let w be (-4)/3 + 40/12. Put w, 3, -4 in descending order.
3, w, -4
Suppose 3*t - 2*n = -3 + 6, -t + 1 = -2*n. Let z = 0 - 0. Let m(v) = -v**2 + v - 4. Let l be m(z). Sort l, -3, t in descending order.
t, -3, l
Suppose 0 = 2*t - 3*l - 20, 5*l + 28 = 4*t + 2*l. Let o be t/(-10)*15/(-24). Sort o, -0.1, 1/3 in decreasing order.
1/3, o, -0.1
Let c = 135 + -134. Sort c, 1/6, -5, 0.1.
-5, 0.1, 1/6, c
Let o = 48 - 49. Let z(w) = -2*w - 5. Let m be z(-4). Put -4, m, o in descending order.
m, o, -4
Let a = -12 + 13. Put -4, a, -0.4 in increasing order.
-4, -0.4, a
Let y(t) = t - 17. Let g be y(19). Suppose 5*k + 20 = k. Sort k, g, -4 in decreasing order.
g, -4, k
Suppose 3*o = 4*q + 1 - 4, 0 = 5*o + 2*q - 21. Sort o, 0, 5 in ascending order.
0, o, 5
Suppose 0 = 3*c + 3. Let f = 80 + -80. Put 4, f, c in decreasing order.
4, f, c
Let n = -0.48 - -1.11. Let x = n - 0.13. Put 1/4, 1, x in increasing order.
1/4, x, 1
Let i = -8 - -11. Suppose 2*q + 10 = -3*q + 5*t, -i*q = -t. Sort q, -3, 3.
-3, q, 3
Suppose 2*k = -0*k - 10. Sort 6, 1, k.
k, 1, 6
Suppose b - 5 = -11. Sort b, -4, 6 in descending order.
6, -4, b
Let a = 1 - 1. Let n(k) = k + 6. Let p be n(-3). Suppose -s = s - 2. Put p, s, a in decreasing order.
p, s, a
Suppose 80*h = 79*h - 2. Sort -1, 5, h, 4 in descending order.
5, 4, -1, h
Suppose -c = 0, -15 = u + 4*u + 4*c. Let f = -3 + 9. Let g = f + -5. Put u, g, -2/11 in decreasing order.
g, -2/11, u
Let v = -674/21 + 98/3. Let h = -155 - -1082/7. Sort h, v, -2 in descending order.
v, h, -2
Let s(k) be the first derivative of -2*k**3 - 2*k**2 - 2*k + 2. Let u be s(-2). Let g be 1 - (-3)/u*10. Sort 4, g, 3.
g, 3, 4
Suppose 3*a - 15 = -0. Suppose -9 = -i + 5*v, 3*i - 9 = 6*v - 9*v. Put i, a, -4 in decreasing order.
a, i, -4
Let r(a) = a - 9. Let g be r(7). Let n = 0 - g. Sort 1, -2, n.
-2, 1, n
Let z be ((-1)/3)/(12/36). Sort z, -5, -2 in descending order.
z, -2, -5
Let q = 11 - 17. Let w(z) = -z**3 - 5*z**2 + 5*z - 1. Let a be w(q). Let s(b) = -b - 3. Let p be s(-2). Sort 2, p, a.
p, 2, a
Let x = 14 + -10. Let j = 0 - 4. Let l = j - -4. Sort -2/11, l, x in descending order.
x, l, -2/11
Suppose -3*q - 23 = 2*t, 1 = -2*t + 5*q + 18. Let a = 14 - 26. Let p be 12/(-5) + a/(-30). Sort p, 4, t in descending order.
4, p, t
Let b be 3/(2/6 + 0). Let u be -6*(-2)/b*3. Suppose -3*g + 20 = -7*g. Put u, g, -2 in decreasing order.
u, -2, g
Let o = -0.05 + -2.95. Let m = -59 + 231/4. Sort 0.1, m, o.
o, m, 0.1
Let m = -2 - 3. Sort -0.4, m, 7 in descending order.
7, -0.4, m
Let t = -20.5 - -20. Let b = -3 + 6. Put b, t, -1.3 in ascending order.
-1.3, t, b
Let g be ((-2)/(-6))/(3/(-63)). Put 3, g, 4, -3 in decreasing order.
4, 3, -3, g
Let t = 56/3 - 19. Let q = -4 - 0. Put 3, q, t in decreasing order.
3, t, q
Let k = 29 + -29.2. Put k, -0.8, 0.3 in increasing order.
-0.8, k, 0.3
Let f(v) = 0 - 3*v**2 - 5*v - 3 + 2*v**2. Let j be f(-4). Suppose -2*c + 0*c - 2 = 0. Put c, j, -2 in descending order.
j, c, -2
Suppose 6 = -p + 3*p. Suppose 3 + 7 = 2*c. Let k be (-10)/8 - 1/(-4). Sort k, c, p in descending order.
c, p, k
Let b be 8 - 0/(-2 + 3). Suppose 6*p - 3*p = -2*j - b, 2*p - j = -3. Suppose 0 = -4*k + 2*k - 8. Sort p, 4, k in ascending order.
k, p, 4
Let k be 0 + (-3)/(6/4). Suppose 5 = 2*b - 7*b. Sort k, 0, b in decreasing order.
0, b, k
Let u = 240 - 242. Suppose 0*p + p = 5. Sort p, u, -3 in descending order.
p, u, -3
Let g = -2 + 4. Let t = g - 1. Put -3, t, -1 in descending order.
t, -1, -3
Suppose -2*z = -2*d + 14, 7 - 21 = -2*z - 5*d. Let t(f) = f**2 + 6*f + 1. Let j be t(-5). Put z, 2, j in decreasing order.
2, z, j
Let m be (-4)/(-16) - 1/4. Let k be (10 - (-2)/(-2)) + -1. Let z be 1*-3*k/(-6). Put z, -5, m in descending order.
z, m, -5
Let s = 1 - 1.5. Let f = s + 0.6. Sort 1/3, f, 3/7 in ascending order.
f, 1/3, 3/7
Let c be (-3 - -5)/((-1)/(-2)). Sort c, -4, -1 in decreasing order.
c, -1, -4
Let a(d) = d**2 - 2*d - 1. Let m be a(0). Suppose 3*z - 2*u = -8, -4*u = 5*z - u - 12. Let g = z + 2. Put 1, g, m in increasing order.
m, 1, g
Let v = -0.13 + 5.13. Let s = v - 4. Sort 0.4, s, -0.1 in decreasing order.
s, 0.4, -0.1
Let u = 21.006 - 21. Put 3/5, 4/3, u in increasing order.
u, 3/5, 4/3
Let m = -29/175 + -3/25. Put m, -4, -3, -3/5 in decreasing order.
m, -3/5, -3, -4
Suppose 2*i - 47 = 1. Suppose -2*t - f - 10 = t, -5*t + 2*f - i = 0. Let m = -6 + 6.5. Sort m, 0.2, t in descending order.
m, 0.2, t
Let l = 0.6 - 1. Let o = 167/3 - 57. Let b be (4/10)/(147/35). Sort o, l, b in increasing order.
o, l, b
Let o = -0.8 - 7.2. Let l = 4 + o. Sort -0.3, l, -0.4 in decreasing order.
-0.3, -0.4, l
Let p(l) = -3*l**3 - l**2 + 1. Let q be p(-1). Suppose 0 = -0*n - q*n + 6. Suppose 4*c = 5 - 1, -4*h = -c + 9. Put h, 3, n in ascending order.
h, n, 3
Let i(s) = -s + 13. Let g be i(8). Put 9, -5, -2, g in decreasing order.
9, g, -2, -5
Let l(q) = 16*q**2 - q + 1. Let z be l(1). Let v = z - 18. Put v, 6, -5 in decreasing order.
6, v, -5
Let i = 65 - 67. Put -6, -5, i, 0 in decreasing order.
0, i, -5, -6
Let r = -2 - 0. Let j = -150 - -150.5. Sort j, r, 0 in increasing order.
r, 0, j
Suppose b = -3*a - a - 2, a = 0. Sort b, -1/2, -0.4.
b, -1/2, -0.4
Let g = 15 + -9. Let n = g - 6.4. Put 4/3, n, -3 in decreasing order.
4/3, n, -3
Let v = -2 - -8. Let s be 2/(-4) - v/(-4). Suppose 5*r + 3 = -2. Sort r, 0, s in descending order.
s, 0, r
Let d = -9 + 6. Let u be ((-13)/11 - -1)/(-2). Let v = u + -16/55. Put -1/6, d, v in increasing order.
d, v, -1/6
Let c = -30 + 27. Sort 1, c, -2 in decreasing order.
1, -2, c
Let g be 804/28 - (-6)/21. Suppose o = 4*a - 14, 0 = -4*o - 3*a - 9 + g. Sort -0.1, 0.2, o in decreasing order.
o, 0.2, -0.1
Let f(z) = 4*z + 13. Let s be f(-3). Sort 4, s, -27 in increasing order.
-27, s, 4
Let g(n) = n**2 - 14*n - 18. Let u be g(15). Put 1/2, 5, u in descending order.
5, 1/2, u
Let i(b) = -2*b - 2. Let a be i(-6). Let o(y) = y**3 + 4*y**2 - 5*y + 5. Let f be o(-5). Let u = f - a. Sort -2, 4, u in decreasing order.
4, -2, u
Let s(w) = w**2 + 9*w + 10. Let y be s(-7). Let g be ((-2)/(-6))/(y - -3). Sort -0.1, g, 0.1 in ascending order.
g, -0.1, 0.1
Let h(t) = -t**3 + 10*t**2 - 8*t - 3. Let y be h(9). Let w = y - 9. Sort -6, -2, w in increasing order.
-6, w, -2
Let u = 1.98 + 0.02. Let v = 0 + -0.3. Let l = -3.93 - 0.07. Sort v, u, l.
l, v, u
Let x = -74/15 + 28/5. Suppose 0 = -2*u - 3 + 7. Put u, x, 0.3 in descending order.
u, x, 0.3
Let g(i) be the third derivative of -i**4/24 - i**3/3 - 3*i**2. Let l be g(-9). Suppose 4*c - l - 5 = 0. Sort c, -4, -3 in increasing order.
-4, -3, c
Let k(i) be the third derivative of i**6/120 - 3*i**5/20 + i**4/3 + 2*i**2. Let y be k(8). Put y, -4, -1 in decreasing order.
y, -1, -4
Let f(c) = 5*c + 8. Let s be f(-2). Let b be (-3)/(-1) - (-1 + -1). Sort -5, s, b.
-5, s, b
Let p = 13 - 10. Suppose -5*o = -3*h + 1, o - 2*h = -o + 2. Sort o, p, -3.
-3, o, p
Let s = -0.14 + -0.16. Let o = 4.8 - 5. Sort o, -3/4, s in decreasing order.
o, s, -3/4
Let p = 0.3 + 2. Let q = p - -1.7. Put q, 8, -5 in decreasing order.
8, q, -5
Let x = 11 - 6. Put -1, x, -9 in increasing order.
-9, -1, x
Let x be 10/(-15) - (-14)/48. Put -6, x, -2 in ascending order.
-6, -2, x
Let y be ((-2)/(-6*1))/(-2). Put -3/8, y, -2 in increasing order.
-2, -3/8, y
Suppose -3*f + 0 = 9. Sort -1, -5, f in decreasing order.
-1, f, -5
Let n = -76 + 76. Sort -4, 0.07, n in increasing order.
-4, n, 0.07
Let p(t) = t**2 - 14*t + 23. Let g be p(12). Put 5, 6, g in ascending order.
g, 5, 6
Let i be (-2)/(-4) + (-223)/(-4). Let n = 1159704607/20683828 + 1/940174. Let o = i - n. Put -2, o, -1 in increasing order.
-2, -1, o
Let x = 80.3 + -86. Let y = x - -6. Let c = -28 - -32. Sort 3, y, c.
y, 3, c
Let q = 2 + 3. Let x(n) = -n**3 - 2*n**2 + 3*n - 1. Let w be 5/(5/(-6)) - -3. Let f be x(w). Sort q, -2, f.
-2, f, q
Suppose 4*k = 4*v, 4*v + 3*k = -k - 32. Let p = 0.0061 - 5.0061. Sort v, 0.2, p in descending order.
0.2, v, p
Let i = 23 - 23.4. Suppose -3*v + 5*g - 30 = 0, 2*v - 2*g - 2*g = -22. Sort 0.1, i, v in descending order.
0.1, i, v
L