7 + m. Put w, 4, p in descending order.
4, w, p
Let o = 0.5 - 7.3. Let u = o - -0.8. Let a = u - -5.7. Sort 3, a, 2/15 in descending order.
3, 2/15, a
Let g be 84/(-10)*130/3. Let o be 1 - 4 - 652/g. Let k = o + 12/13. Put -4, 4/7, k in increasing order.
-4, k, 4/7
Let u = -2 + 1.9. Let h = u - 0.3. Let i = -3.1 + 3. Put h, -0.5, i in descending order.
i, h, -0.5
Let s = -3 + 3.2. Let g(h) = h**2 + 2*h - 5. Let d be g(-3). Let u = -0.3 + 0.4. Sort u, s, d in increasing order.
d, u, s
Let h = -1 - 1. Let b = -11.71 + -0.29. Let y = 17 + b. Sort 1, y, h in decreasing order.
y, 1, h
Let g be (-4)/1*(0 + 2). Let t = g + 13. Put t, 1/7, 2/15 in decreasing order.
t, 1/7, 2/15
Let z = -13 - -9. Let d = -1 - z. Sort -5, d, -0.3.
-5, -0.3, d
Suppose 5*j - 3*d - 2*d - 25 = 0, -4*d - 20 = 0. Let z = -154 - -153. Sort 3, j, z in decreasing order.
3, j, z
Let b = 0.2 - 3.2. Let o be (-3)/15 - -2 - 2. Let r = 3.4 + -3. Sort b, r, o.
b, o, r
Let s be 12/2*(-2)/(-4). Let t be s/(-1) + 4/3. Put 2/3, t, 0.1 in increasing order.
t, 0.1, 2/3
Let g be 2/(-9) + 2/9. Put -4, 5, g in increasing order.
-4, g, 5
Suppose -2*i + 3*s + 5 = 0, i + 2 = -i - 4*s. Suppose -3*l - 8 = i. Suppose -6*f + 3*f = 6. Put l, 1, f in decreasing order.
1, f, l
Let j = -8284 + 762093/92. Let i = 3/23 + j. Sort 5, i, -3/10 in descending order.
5, i, -3/10
Let k be -2 + (2 - 1) - -2. Let i be (-3)/(-2)*2/1. Suppose -4*f + 17 = -i*l, -2*f = 2*l - 4*f + 10. Put l, 0, k in decreasing order.
k, 0, l
Suppose v = 2*n - v + 20, -4*n - 37 = -v. Let d be 1/(-5) - n/45. Let g = -3 + d. Sort 1, g, 5 in decreasing order.
5, 1, g
Let r(p) = -p**2 - p + 3. Let b be r(-3). Let o = 16 - 13. Let n(z) = -z**2 + 4*z + 8. Let t be n(6). Sort o, t, b.
t, b, o
Let z = 3.4 + 0.6. Let l be 10/6 + -2*(-5)/(-10). Sort l, z, 2/5 in increasing order.
2/5, l, z
Let h be ((-45)/15)/(-1 + 2). Sort h, -10, -0.5 in increasing order.
-10, h, -0.5
Let c = -1 - -1. Let w(h) = -h**3 - h**2 - h - 4. Let d be w(c). Let p = 181 - 182. Put d, p, 0 in descending order.
0, p, d
Suppose 0 = q + q. Suppose y - 5*l + 4 = q, 0*y + 8 = -2*y - 2*l. Put 5, -3, y in increasing order.
y, -3, 5
Suppose 2*j = w + 7, 5 + 1 = j + 2*w. Put 2, j, -1 in decreasing order.
j, 2, -1
Suppose 5*f = -5*n + 30, 2*n + 4 = -4*f + 6. Let s = n + -9. Let g be (-22)/12 + 0 + 2. Sort -3/8, s, g in ascending order.
-3/8, g, s
Let s(w) = -w + 2. Let n be s(0). Suppose -n = x - 3. Put x, -5, 4 in increasing order.
-5, x, 4
Let t = 4.94 + 0.06. Let s = 3.1 - 3. Sort t, -1/2, s.
-1/2, s, t
Let m = 12 - 8. Let g = m + -2. Put 0.3, -3, g in decreasing order.
g, 0.3, -3
Let s = 9.14 - 0.14. Sort s, -0.1, 1/3 in decreasing order.
s, 1/3, -0.1
Let r be -1*1*4/((-24)/6). Let m(w) = 2*w - 1. Let x be m(-2). Put r, x, 0 in decreasing order.
r, 0, x
Let v = -0.155 - 0.045. Put 5, 2/3, v, 3 in increasing order.
v, 2/3, 3, 5
Let g be 4*-3*(-3)/18. Suppose 6 + 14 = 4*f, 5*f - 23 = -2*l. Sort g, l, -4.
-4, l, g
Suppose -8*v + 4*v - 16 = 0. Let d(w) = w**2 - 6*w + 5. Let b be d(5). Let l = v - b. Sort 0, -1, l in decreasing order.
0, -1, l
Let i = -0.87 + 0.37. Let h = -0.4 - 3.6. Put h, -0.4, i in descending order.
-0.4, i, h
Let x(b) = -b + 8. Let k be x(9). Put k, 3, 5 in ascending order.
k, 3, 5
Let d(f) = 2*f**2 + 23*f - 10. Let l be d(-12). Sort 0.11, -1, 0.2, l in decreasing order.
l, 0.2, 0.11, -1
Let y be (6 - 5)/(1/(-2)). Let i(f) = -f**2. Let m = -2 - 0. Let v be i(m). Sort 5, v, y.
v, y, 5
Suppose -5*p - 3*y = 2 - 12, 6 = 3*p + 2*y. Let n = p - 6. Let j be -6*(-2)/(-3)*-1. Put j, 2, n in decreasing order.
j, 2, n
Let s be 1/2 - (-35)/(-10). Sort -1, -1/4, s.
s, -1, -1/4
Suppose 4 = -v - v. Let i(m) = -m**2 + 11*m + 11. Let x be i(12). Suppose 3*q = -q. Sort q, x, v.
v, x, q
Let w = -1 + 1. Let g be (w + 1)/((-1)/(-4)). Sort -5, g, -2.
-5, -2, g
Let i(w) = -w + 1. Let u be i(-4). Put 1, u, 0 in descending order.
u, 1, 0
Let z = 9/115 + -1391/23. Let i = z + 60. Let u = -200 - -197. Sort 1, i, u in decreasing order.
1, i, u
Suppose -3*o - 3*a + 15 = -6*a, 2*a = 4*o - 14. Let h be -3 - -2 - (-1 + -1). Let y be (-1 - h)*(-1)/(-2). Put y, o, -5 in decreasing order.
o, y, -5
Let n = 1 + -1.1. Let h = -0.5 - -1. Put h, -2/17, n in increasing order.
-2/17, n, h
Suppose p - 4*b - 6 = 0, -5 = -3*p + 5*b + 6. Sort 1/5, p, 4 in descending order.
4, p, 1/5
Let y(b) = -12*b - 21. Let r be y(-2). Sort -2, -6, r in decreasing order.
r, -2, -6
Let o = 9 + -7. Suppose 0 = 3*a - 15 - 12. Let x be (4/(-6))/((-15)/a). Put o, x, 0.3 in increasing order.
0.3, x, o
Let q be 1/(-3) + (-5)/3. Put q, -3, 3 in increasing order.
-3, q, 3
Let t = 57 - 41. Let j = t - 16.4. Let h = -7 - -11. Put -4, j, h in increasing order.
-4, j, h
Suppose -16*o - 5 = -11*o. Put 5, o, 0 in ascending order.
o, 0, 5
Suppose 3*z = -5*m - 25, -2*z + 3*m = -0*m + 42. Let c = z - -18. Sort c, -5, -3 in decreasing order.
c, -3, -5
Let l = -169 + 158.3. Let q = l + -3.3. Let k = -9 - q. Put k, -1, 0.1 in descending order.
k, 0.1, -1
Let v = -0.16 - 0.34. Sort 3/7, 2/3, v in decreasing order.
2/3, 3/7, v
Let p = -2.4 - -2.7. Let s = 0.7 + -0.3. Sort p, -4, s.
-4, p, s
Let v = -3/119 - -71/119. Let n = 5 + -5.4. Sort v, n, 0.1.
n, 0.1, v
Let v(x) = -3*x**3 + 2*x**2 - 1. Let l be v(-1). Sort -3, l, -6.
-6, -3, l
Suppose -3*z = 4*a - 2*z - 16, 3*a + z = 12. Suppose 4*w + 3 = 11. Suppose 3*r = 4*v - 26, -2*v + 3 = -w*r - 11. Put a, v, 3 in increasing order.
3, a, v
Let w = 27 - 27.01. Sort w, -4/7, 1/4, 0.4 in increasing order.
-4/7, w, 1/4, 0.4
Let p = 0.4 + -0.4. Let q = 0.1 - -0.9. Let i = 33 + -32.9. Sort p, q, i in decreasing order.
q, i, p
Suppose -15*x = -10*x - 40. Suppose n + n = x. Sort 2, -2, n in descending order.
n, 2, -2
Let v(l) = 2*l + 0*l**2 + l**2 - 4*l + 1. Let t be v(1). Put -5, t, 4 in increasing order.
-5, t, 4
Let y = -2953718/5446925 + 9/19807. Let m = 9/25 + y. Sort m, 0.2, 0.3.
m, 0.2, 0.3
Let u = 20 + -20. Sort u, -5, 0.5 in descending order.
0.5, u, -5
Let s = 2.2 + -0.2. Let o = s + 3. Let p = -6 - -10. Sort -2, p, o in increasing order.
-2, p, o
Suppose -2*a + 8 - 2 = 0. Suppose w - 7 = -a. Suppose n + 0*n = 5. Put n, -3, w in decreasing order.
n, w, -3
Suppose -4*q - 21 = -5. Sort -5, -1, q in increasing order.
-5, q, -1
Suppose 0 = -5*u + 5, 2*b + 4 = -2*b + 4*u. Sort b, -2, 3, 15 in increasing order.
-2, b, 3, 15
Suppose 5*i - 20*i = -150. Put i, 1, -5 in descending order.
i, 1, -5
Let w be (1/2)/((-27)/18). Sort 1/2, -1/2, w, -4.
-4, -1/2, w, 1/2
Let q be -2*(-1 - 9/6). Sort -0.2, q, 4 in decreasing order.
q, 4, -0.2
Suppose 0 = -4*m + 4*a + 16, -4*m - a + 32 = m. Let w(b) = -b**2 + 6*b - 2. Let i be w(m). Put -1, i, -3 in decreasing order.
-1, i, -3
Suppose -o = -4*o - 3. Let z be (-6)/(o/(6/(-9))). Sort -2, 1/5, z in decreasing order.
1/5, -2, z
Suppose -2 = 2*j + 8. Put j, -4, -3 in decreasing order.
-3, -4, j
Let d be 0 + 3 + 23/(-7). Put -3, d, -1 in ascending order.
-3, -1, d
Suppose 3 = 2*v + 7. Let p be 1 - (-47)/(-18) - v. Let t = p - -5/18. Put -3/5, 0.2, t in increasing order.
-3/5, 0.2, t
Let d be (12/(-5) - -2)*5. Let l(q) = q**3 - 4*q**2 + q + 4. Let t be l(3). Let y be 0 - 5 - (2 + t). Sort 4, y, d in descending order.
4, d, y
Let t = 28 + -23. Let w = -1 + t. Put -2, 2, w in increasing order.
-2, 2, w
Suppose -2*m - 32 = m - 4*y, -5 = -5*m - 5*y. Let w be (1*-2 - m) + 0. Let o be (w/6)/(1/6). Put o, -5, 0 in descending order.
o, 0, -5
Suppose y + 2 = 3*r + 3, -y + 1 = -2*r. Suppose 2*s - 6 = -0*s. Suppose s*a - 4*a = 1, 3 = -2*p + 5*a. Put 2, p, y in decreasing order.
2, y, p
Suppose 3*h = -2*h - 5. Sort -4, -3, h in increasing order.
-4, -3, h
Let r = -0.3 - -0.2. Let b = -0.3 - r. Let c = 1.6 + -2.1. Sort -1, c, b.
-1, c, b
Let f be -1 + 66/12 - 4. Put 2, -3, f in ascending order.
-3, f, 2
Let a = 0.1 + -4.1. Let d = 4.3 + a. Let p = 33/56 - 7/8. Sort p, 0, d in decreasing order.
d, 0, p
Let z be 3 - -10*2/(-4). Let p be (3/z)/(-3)*-1. Sort -3, p, -0.3 in descending order.
-0.3, p, -3
Let g = 1.4 + -1. Sort g, -5, -2.
-5, -2, g
Let j = -4 - 0. Sort j, -1/11, -3 in increasing order.
j, -3, -1/11
Let x(p) be the first derivative of p**3/3 - 2*p**2 + 5*p + 3. Let m be x(4). Sort m, -5, -1 in descending order.
m, -1, -5
Let t(o) = o**2 - 16*o + 15. Let f be t(15). Put f, 4