 Put 2, r, w in decreasing order.
2, r, w
Let k = 0.2 + -0.4. Let l = 9.09 - 0.09. Let s = 6 - l. Sort k, -2, s in increasing order.
s, -2, k
Let n = -0.19 - -0.59. Put 3, 0.02, n in ascending order.
0.02, n, 3
Let d be (74/(-252))/((-6)/(-18)). Let v = d - -7/6. Sort 0, v, -3.
-3, 0, v
Let h be (-4)/((-96)/(-51)) + 2. Let w = h + -3/8. Suppose 2*t + 10 = 4, -g = -t + 2. Put 0.2, w, g in ascending order.
g, w, 0.2
Let y = 7.4 + -3.9. Let z = y + -0.5. Suppose 3*k = 5*u + 19, 0 = -2*k - 9*u + 4*u - 29. Sort 5, k, z in increasing order.
k, z, 5
Let g = 1 - -1. Let a(p) be the first derivative of p**4/4 + p**3 + 3*p**2/2 + p + 1. Let h be a(-2). Sort g, 3, h in decreasing order.
3, g, h
Let j = 0.5 - -18.5. Let f = 19 - j. Put -3, f, 9 in descending order.
9, f, -3
Suppose -4*a + 2*a = 2*j + 2, a = -4. Sort -4, 4, j in increasing order.
-4, j, 4
Suppose 0 = 2*i + i + 6. Let x be (i/(-4))/((-3)/6). Let d be 2*(0 + 15/(-6)). Sort x, d, -4 in decreasing order.
x, -4, d
Let a = -0.1 - -1.1. Let t = a - -4. Suppose 0 = -5*b - p + 6, -2*b - b - 1 = -4*p. Sort t, b, 0.2.
0.2, b, t
Let k = 3.04 + -0.04. Let r = 5 + -1. Sort k, -3/4, r.
-3/4, k, r
Let i = -10 - -17. Suppose 2*t - 43 = i. Let q be ((-4)/(-10))/((-5)/t). Put q, 4, 0 in increasing order.
q, 0, 4
Let t(c) = -c. Let g be t(4). Suppose -p = 2*u + 5, u - 25 = -4*u + 5*p. Put 1, g, u in ascending order.
g, u, 1
Let p = -3/53 - 47/106. Sort -4, 5, p, 0.1 in increasing order.
-4, p, 0.1, 5
Let n(m) = m - 7. Let b be n(8). Let z be (6/(-9))/(b/3). Sort -1, z, 2 in descending order.
2, -1, z
Let i(w) = w**3 - 18*w**2 + 17*w. Let f be i(17). Put f, -1, -4 in decreasing order.
f, -1, -4
Let q = 90 - 90. Sort -3, q, 3/2 in decreasing order.
3/2, q, -3
Suppose 2*m = 3*m + 3, 0 = 4*w - 5*m + 1. Let a be 558/(-186)*((-1 - 0) + 2). Let k = -1/12 - -3/4. Sort k, w, a in ascending order.
w, a, k
Let j = -154 + 1084/7. Sort 2, j, 1/4 in descending order.
2, j, 1/4
Let c = -68 - -68.57. Let n = -5.97 + c. Let q = n - -5. Put q, -1, -2/9 in increasing order.
-1, q, -2/9
Let y be 10/25*(-15)/18. Sort y, 0.4, 1/25 in decreasing order.
0.4, 1/25, y
Let s = -17 - -37. Suppose -5*u + 10*u + s = 0. Let v be (-4)/(-2) + -5 - -6 - 3. Put 4, v, u in increasing order.
u, v, 4
Let w = -18 - -20. Put 1, 0, w in descending order.
w, 1, 0
Let n = -1 + 6. Suppose j + 2*t - 27 = -3*t, -n*j = 3*t - 25. Put -5, 0, j in decreasing order.
j, 0, -5
Suppose 0 = -2*v + 7 - 3. Suppose -5*p - 5 = 0, -z = z - 2*p - v. Put 2/11, -1, z in ascending order.
-1, z, 2/11
Let a = -0.1 + 0. Let v = 63 - 68. Sort -2, a, v in decreasing order.
a, -2, v
Let m = -3 + 2. Let c = -2341/8 - -293. Put m, -5, c in increasing order.
-5, m, c
Let a be (3/2)/(4/(-8)). Put 2, 4, 0.5, a in descending order.
4, 2, 0.5, a
Suppose 3*w - 89 = w + z, 5*w = 2*z + 224. Suppose -4*u + w = -66. Let m be 8/u + (-32)/14. Put m, 3, -5 in descending order.
3, m, -5
Let k = -1.12 - -1.32. Let b = -18 - -6. Put 5, k, b in ascending order.
b, k, 5
Let x = -4 + 6. Let b = x + -2. Suppose w + 1 - 2 = b. Sort 0, w, -2 in decreasing order.
w, 0, -2
Let s = 121 - 118. Sort 2, s, -3, 1 in decreasing order.
s, 2, 1, -3
Let i(n) = 4*n - 11. Let z be i(4). Sort -4, -35, z in ascending order.
-35, -4, z
Suppose 0 = -4*n + 23 - 67. Sort n, 0, 1, -4 in descending order.
1, 0, -4, n
Let h = -7.5 + 10. Let r = -0.5 + h. Let o = -4 + 3. Put o, r, -0.5 in increasing order.
o, -0.5, r
Suppose -2*s - 2*s + 38 = c, 3*s + 2*c - 31 = 0. Let g = s + -5. Let o be (-11)/4 - (-1)/(-4). Put o, 1, g in ascending order.
o, 1, g
Suppose -5*h + 4 = -1. Let i be 1 + (1/(-1) - h). Sort -5, i, 4.
-5, i, 4
Let f(y) = 9*y**3 - y**2 - 3*y - 2. Let o be f(-1). Sort 3, o, 5.
o, 3, 5
Let i = 0.07 + 2.93. Sort -4, i, -13 in decreasing order.
i, -4, -13
Let i be -2 - (-14)/6 - 0. Sort 2, 1/7, -0.2, i in ascending order.
-0.2, 1/7, i, 2
Suppose -3*w = -w - 2. Let l(z) = -z**2 - 2*z + 6. Let v be l(-3). Put w, v, 0 in descending order.
v, w, 0
Let f be 122/4 - (-3 - -3). Let r = 797/26 - f. Let g = 5 + -2. Sort -0.5, r, g in decreasing order.
g, r, -0.5
Let b = 61 - 185/3. Sort 2, 1, b in decreasing order.
2, 1, b
Let i = 10 + -10. Sort 1, i, -8.
-8, i, 1
Let u = 10 - 9.8. Put u, -0.2, -1, 7 in decreasing order.
7, u, -0.2, -1
Let y be 1 - (-11)/6 - (2 - -1). Let t = 10 - 6. Put 3, y, t in descending order.
t, 3, y
Let s(p) = -6*p**3 - p**2 - p. Let c be s(-1). Suppose -25 = f - c*f. Put f, 1, -3 in descending order.
f, 1, -3
Let q = 89 - 89.4. Sort 2, 1/3, q, -3 in decreasing order.
2, 1/3, q, -3
Let y(k) = -k**3 + 12*k**2 - 11*k + 6. Let q be y(11). Let x be q/(-15)*(-10)/(-12). Put -3, -1, x in increasing order.
-3, -1, x
Let i be (-51)/1395 - 2/3. Let w = -3/31 + i. Sort -2/3, -4/7, w.
w, -2/3, -4/7
Let i be (-12)/8 - (1 - 1). Put -2, -3/4, i in increasing order.
-2, i, -3/4
Suppose -5*u - 5*j + 20 = 0, 34 = 5*u - 4*j + 2*j. Suppose u*o - 3*l + 13 = 4*o, -3*o + 2*l = 17. Put o, 2, 5 in descending order.
5, 2, o
Let c = 18 + -5. Let p = c - 7. Put p, 1/5, -5 in ascending order.
-5, 1/5, p
Suppose 3*y - 6 = -j, 3*y = -2*y - 4*j + 10. Suppose -3*w = 4*u - 14, y*w = -u + 4 - 3. Put -1, u, 0.4 in increasing order.
-1, 0.4, u
Suppose 3*h - q - 3 = -2, 2 = -2*h + 2*q. Let j be -1 + 5 + 0 + -2. Sort 5, h, j in descending order.
5, j, h
Let y be (2/((-16)/(-28)) + -3)*-12. Sort y, -2, 0.
y, -2, 0
Let k(r) = 2*r - 4. Let x be k(3). Sort x, 1, 4.
1, x, 4
Let a(m) = -m - 7. Let g be a(-6). Sort -4, g, 4.
-4, g, 4
Let r be 3 + 3/((-3)/2). Sort r, 5, -2 in increasing order.
-2, r, 5
Let k(z) = -z**3 + 10*z**2 + 10*z + 8. Let r be k(11). Let i be (r - -1)*(-2)/(-12). Sort i, -4, -0.3 in decreasing order.
-0.3, i, -4
Let m = -0.3 - -0.1. Sort m, -1, -0.1 in descending order.
-0.1, m, -1
Let i = -7 + 4. Put -0.1, i, -2/7 in descending order.
-0.1, -2/7, i
Suppose -3*t = 4*i + 8, -4*i - 17 = -9*i + 3*t. Sort i, 5, 2.1, -0.5 in descending order.
5, 2.1, i, -0.5
Let k = -7 + 5. Suppose -5*w - 14 = -2*a, 3*w - 5*a + a = 0. Sort k, w, 2 in descending order.
2, k, w
Let y(r) = -r**3 - r**2 - r + 3. Let o be y(0). Sort 0.1, o, 4.
0.1, o, 4
Let a be (-1)/3 - (-17)/(-3). Suppose -3*b + 4*b + 4 = 0. Put b, 2, a in descending order.
2, b, a
Suppose 5*j - 3*c = 2*c + 35, -c = 4. Suppose 9 - j = -3*v. Put 2, -5, v in increasing order.
-5, v, 2
Suppose 10 = 4*l - 2*l - s, -4*s - 7 = 3*l. Let q(h) = -h**2 + 8*h - 8. Let p be q(6). Put 2, l, p in descending order.
p, l, 2
Let a be (-2)/10*(2 - 3). Let l = 2 - 7/3. Put l, a, -5 in increasing order.
-5, l, a
Let m(f) = -2*f + 4. Let w be m(2). Sort w, 3, 55, 1 in ascending order.
w, 1, 3, 55
Let v = -17/7 - -89/28. Sort -1/15, 0, v in descending order.
v, 0, -1/15
Let h be 10/(-6) + 16/24. Let f(u) = -u**2 - 4*u + 3. Let m be f(-4). Sort h, 4, m in ascending order.
h, m, 4
Suppose 3*o = 4*j + 14, -5*o - 3*j + 4 = -0*o. Let m be (-1 - -3)/(4/(-6)). Put m, 3, o in increasing order.
m, o, 3
Let t = 3.8 - 3.7. Sort t, 0.6, -0.2 in decreasing order.
0.6, t, -0.2
Let l = -0.01 + -4.99. Let a = -5 - -14. Let w = a - 6. Sort 1/3, w, l.
l, 1/3, w
Let w = 113 + -116. Sort -2, 7, 3, w in decreasing order.
7, 3, -2, w
Let o = -4 + 4.3. Let z = -1 + 1. Let s = 33 + -38. Put o, s, z in decreasing order.
o, z, s
Let j = 0.45 + -7.45. Sort j, 0, -4.
j, -4, 0
Let x(i) = 3*i. Let j(c) = c. Let z(g) = 2*j(g) - 2*x(g). Let w be z(-1). Sort -4, w, 3 in increasing order.
-4, 3, w
Suppose 0 = o + 2*o + 4*v, -v = -4*o. Suppose 5*q = i + 8, 0 = q + i - 2 - 2. Put q, 5, o in increasing order.
o, q, 5
Let b = 3.6 - -0.4. Let j = 0.152 - -2.848. Sort -0.2, j, b in decreasing order.
b, j, -0.2
Let f be 3/(-6) - 14/(-4). Suppose -f*l + 5 = 2*c - 2*l, -2*c - 4 = 4*l. Let x(a) = 17*a - 53. Let n be x(3). Put n, c, -5 in descending order.
c, n, -5
Let t = 295/6 + -3847/78. Let s = -0.1 + -0.1. Sort 4, t, s in descending order.
4, t, s
Let t = -8 + 10. Suppose 0 = -2*a + t + 6. Sort -0.2, 3, a in descending order.
a, 3, -0.2
Let d = 0.1 - 0.1. Let f = d + -5. Let q be 2 + 3/12*-7. Put 1, f, q in descending order.
1, q, f
Let n(z) = z + 7. Let w be n(4). Let y = -10 + w. Sort -1, y, 5.
-1, y, 5
Let k(s) = -567*s - 8. Let o be k(-6). Let t be o/(-10780) - (-2)/(-10). Let w = -3/98 + t. Sort 0.5, 1, w.
w, 0.5, 1
Let v be (-2)/(-