 h = i + -0.7. Sort p, h, 0.2 in ascending order.
0.2, p, h
Let x be 7 - 8 - (2 + -2 + -4). Let z = 42 + -125/3. Put z, -5, x in decreasing order.
x, z, -5
Let v be (-4)/(-26) + (-80)/(-325). Sort 2, v, 5 in ascending order.
v, 2, 5
Let n = -7 + 7.5. Sort n, -0.5, 5.
-0.5, n, 5
Let b = -103.6 + 104. Sort -0.2, 2, b in ascending order.
-0.2, b, 2
Let d(i) = -1 - 5*i + 4*i - 4 + 6. Let a be d(-1). Put a, -3, 3 in descending order.
3, a, -3
Let v be -21*(-3 + 22/6). Let d = v + 15. Let p = -3 - -2. Put d, p, -2 in decreasing order.
d, p, -2
Let v = 0.08 - 0.48. Put -5, -0.3, v, -0.2 in ascending order.
-5, v, -0.3, -0.2
Let p = -2.9 - 0.1. Put p, 0, 0.2 in descending order.
0.2, 0, p
Let u = 6 + -5.6. Let k = 0 - u. Sort k, -1/8, -4/3 in decreasing order.
-1/8, k, -4/3
Let r = -3 + 1. Let p = 28 - 31. Sort p, 2, r in decreasing order.
2, r, p
Let s(f) = f. Let o(p) = -p - 3. Let l(w) = w + 1. Let b(j) = -2*l(j) + o(j). Let k(u) = b(u) + 2*s(u). Let c be k(-4). Sort c, 7, 5 in descending order.
7, 5, c
Let l = -0.25 + -0.25. Put -0.1, l, -1 in descending order.
-0.1, l, -1
Let h be -1*(-1)/5*(-65)/(-52). Sort -0.4, h, 6 in descending order.
6, h, -0.4
Let p be ((-10)/4)/((-1)/(-2)). Sort -0.3, p, -0.4 in increasing order.
p, -0.4, -0.3
Let s = 4 - 9. Let w = s - -7. Let v = 2 - 2. Put v, w, -0.1 in decreasing order.
w, v, -0.1
Suppose 20 = -2*q - 10. Let b be 4/6 - (-16)/q. Sort -0.1, -1/4, b in descending order.
-0.1, -1/4, b
Let w = 10.5 + -10. Sort w, -0.4, 2 in decreasing order.
2, w, -0.4
Let j be -9*(-1 - 1/(-3)). Let z be 5 + -3 - j*1. Let d(h) = h + 7. Let p be d(-5). Sort 3, z, p in increasing order.
z, p, 3
Let p = 0.2 - -3.8. Let r = 3/50 - -91/150. Sort r, -0.1, p in descending order.
p, r, -0.1
Let g = 65 - 69. Put -1, 5, -5, g in descending order.
5, -1, g, -5
Let g = 2 + -7. Let b = -18 + 29. Let k = 14 - b. Put k, 0, g in increasing order.
g, 0, k
Let n = 5.1 - 1.1. Let x = 137 - 139. Sort n, x, -3 in increasing order.
-3, x, n
Suppose 0 = 4*d - 9*d - 15. Let o(b) = -b**2 - 2*b - 2. Let t be o(d). Sort -4, 5, t in ascending order.
t, -4, 5
Let u = -5.27 + 0.07. Let h = -1.2 - u. Put 1, 5, h in descending order.
5, h, 1
Suppose l + c + 8 = -l, -l - 4 = -c. Let m = 79 + -86.4. Let y = 7 + m. Put l, y, -1 in increasing order.
l, -1, y
Suppose 0 = -3*i - 4*k - 8, -1 = 2*i + k + 6. Let b = -30 - -35. Let h = b + i. Put 2, h, 3 in increasing order.
h, 2, 3
Let y(d) = -d**2 + 5*d - 6. Suppose 0 = -2*f - 3*q - 0*q + 17, 0 = -3*f + q + 9. Let v be y(f). Put v, 5, 4 in descending order.
5, 4, v
Let k = 9 + -5. Suppose 4*b = 5*s + 36, 9*b - k*b = 5*s + 40. Suppose 3*c - 8 = c + 4*t, c + 3*t + 6 = 0. Sort c, -4, b in increasing order.
-4, c, b
Let c = 4 - 7. Let d be (3/(-5))/1*-5. Sort 1, d, c.
c, 1, d
Let u(k) = -4 - k**2 - k**3 + 0*k**2 + 3. Let l be u(-2). Put 4, 5, l in ascending order.
l, 4, 5
Let d be (13/78)/((-2)/(-12)). Sort -2, 2, d in decreasing order.
2, d, -2
Let d(j) = j**3 - 3*j**2 + 5*j - 4. Let g be d(2). Sort 3, 1, g, -5.
-5, 1, g, 3
Let y = -5 - -15. Let u = 7 - y. Sort -5, -2/9, u in ascending order.
-5, u, -2/9
Let l = 14.4 - 23. Let n = -9 - l. Let p = 0.4 - 0.2. Sort 2/13, p, n in decreasing order.
p, 2/13, n
Suppose 2*a = 3*m - 2 - 2, -a - 4*m = -20. Put 5, -4, a in descending order.
5, a, -4
Suppose 5*h + 8 = v, -3*v + 9 - 4 = 4*h. Put v, -1, 6 in ascending order.
-1, v, 6
Suppose -r + 3*a = -8, 2*a = 2*r + 6*a + 14. Let v = 2 - 6. Suppose j - 9 = -2*j. Sort v, j, r in increasing order.
v, r, j
Let f be (-1)/(-2)*2/16. Put f, -1/6, -2 in decreasing order.
f, -1/6, -2
Let b = 259 - 4923/19. Let r = 1 - 0. Suppose 0 = -j - 3*j. Sort j, b, r in ascending order.
b, j, r
Let o = -122 - -121.9. Put 5, 4, o, 0.5 in decreasing order.
5, 4, 0.5, o
Let m = 0.3 - 0.2. Let i = 3.92 + 0.08. Let q = i - 3.5. Put 1, m, q in ascending order.
m, q, 1
Let z be (-1*2/4)/(4/(-8)). Sort 5, 3, -5, z in ascending order.
-5, z, 3, 5
Let v = -0.95 + -0.05. Let k = v + 0.9. Sort 0.3, -5, k in decreasing order.
0.3, k, -5
Let s = 62 + -71. Sort -1, s, -5, -1/6 in increasing order.
s, -5, -1, -1/6
Let d = -5 - -3. Sort d, 0, 4 in descending order.
4, 0, d
Let a(z) = z - z**2 - 4 - 4*z + 3*z**2. Let q be a(3). Sort 0, -2, q in ascending order.
-2, 0, q
Suppose 0 = 3*d + d - 12. Let y(c) = c**3 - 4*c**2 - c + 6. Let k be y(4). Suppose -u + r + 6 = 0, k*r + 2*r - d = -5*u. Put u, 0, 5 in ascending order.
0, u, 5
Let u(y) = -y - 10. Let w be u(-11). Let m(j) be the first derivative of -j**4/4 - j**3 - j**2/2 - j - 3. Let s be m(-2). Sort w, s, -1.
s, -1, w
Suppose y - 2 = -0. Suppose 2*p - b = -y - 6, 0 = -2*b. Sort 3, 0, p in decreasing order.
3, 0, p
Let x = -17 - -17.4. Put 4, 0.12, x in increasing order.
0.12, x, 4
Let x(g) = 2*g - 7. Let r be x(3). Put r, -2, -5 in decreasing order.
r, -2, -5
Let r be 9/((-3)/3*1). Let g be 27/6*(-6)/r. Suppose -w - 3*u = 10, 5*w + 0*u - 22 = 3*u. Put g, -3, w in ascending order.
-3, w, g
Let j be (-1 - -3)*4*(-1)/(-4). Put 3, -2, j, 12 in increasing order.
-2, j, 3, 12
Let l = 3.3 + -3.6. Sort 4, 0.3, l, -2/3 in decreasing order.
4, 0.3, l, -2/3
Let n = -2.46 - 0.04. Let j = n - -3. Let z = 0.75 + -0.35. Sort j, 2, z in decreasing order.
2, j, z
Let l = -10 - -16.7. Let t = l + -0.7. Let y = -5.9 + t. Put 0.3, y, -2 in ascending order.
-2, y, 0.3
Let b = 4/7 - 9/28. Sort 6, 0.3, b in decreasing order.
6, 0.3, b
Let h = -16.5 - -16.8. Sort h, 0, 5.
0, h, 5
Let p be 0/(-16)*1/(0 - -1). Let a = -17 + 12. Sort p, 5, a in descending order.
5, p, a
Let v = -6 + 13. Let w(j) = 3*j - j - 4*j + 9. Let d be w(v). Put 1, 0, d in ascending order.
d, 0, 1
Let g = 152 - 151.03. Let n = g + 0.03. Sort 4, n, -0.2 in descending order.
4, n, -0.2
Suppose -13*j + 15*j = -6. Sort 4, 1, -4, j.
-4, j, 1, 4
Suppose r - 2*t + 7 = 0, -2*r - 2*t = 3*r + 11. Let a be (-2)/5 - 57/(-105). Put r, -2, a in ascending order.
r, -2, a
Let t = -166 + 1993/12. Sort t, 0.4, -1 in ascending order.
-1, t, 0.4
Let y = -1341 - -1335. Suppose 3 = 5*j - 4*j. Sort y, j, -2 in decreasing order.
j, -2, y
Let u = 9 - 9. Put u, -6, 2 in decreasing order.
2, u, -6
Let g = -4.966 - 0.034. Put 0.4, 0.01, g in ascending order.
g, 0.01, 0.4
Suppose -3*v + 8*v - s = 12, -v + 12 = -5*s. Suppose -2*n - v = -8. Put -4, 1, n in ascending order.
-4, 1, n
Let k = 0 + -2. Let t be 2/(-4)*2 - -1. Sort 4, k, t in descending order.
4, t, k
Let l = 3.3 - 3. Suppose 0 = 3*j + 3*y, 2*j - 5*y - 15 = -1. Sort -5, j, l in descending order.
j, l, -5
Let i(t) = -t**3 + 5*t**2 + 6*t + 2. Let j = -12 + 18. Let o be i(j). Sort 4, o, 0 in decreasing order.
4, o, 0
Let b = 0.109 + 0.091. Put -0.1, 5, -0.8, b in increasing order.
-0.8, -0.1, b, 5
Let u = 427/4 - 106. Let q = 4 - -1. Put u, -3, q in descending order.
q, u, -3
Suppose f + 5 = j, 2*j - 5 = j - 2*f. Suppose j*y = -w + 3 + 1, 0 = -4*w + 16. Put y, -5, 7 in descending order.
7, y, -5
Suppose 6*x - 10 = x. Let w be -3*((-13)/6 + x). Let i be (-10)/(-4) - (-3)/6. Sort w, -4, i in ascending order.
-4, w, i
Let f = -9 - -3. Let g = -5 - f. Sort -0.3, -3, g in decreasing order.
g, -0.3, -3
Let u be (-3)/5 + (-6)/(-60)*-14. Put 4, 5, 18, u in ascending order.
u, 4, 5, 18
Let a be 122/(-8) + (-6)/(-24). Let n = 15 + a. Put -2, -5, n in descending order.
n, -2, -5
Let w be (-5)/(-6) - 4/(-6). Let o = -9 + 11. Let q be (o/(-12))/((-5)/20). Sort -1/6, w, q in ascending order.
-1/6, q, w
Let q be 3/18*(-5 + 3). Let g = 8.7 + -9. Sort q, g, 0.3 in decreasing order.
0.3, g, q
Let o(w) = w**3 - 3*w**2 - 3*w + 2. Let g be o(4). Suppose -4*c = -2*c - g. Let a be (c + 0)*(-8)/12. Put 2, -5, a in increasing order.
-5, a, 2
Let m = 193 + -1353/7. Let o = -0.4 - 0.6. Sort o, 2, m in increasing order.
o, m, 2
Let i = -20.4 + 20. Put i, 0.2, -0.1, 0.08 in increasing order.
i, -0.1, 0.08, 0.2
Let a(w) = -w + 10. Let o be a(12). Put 4, -5, o in descending order.
4, o, -5
Let c = -4.7 + -0.3. Let y = 1 + -3. Let g = 0.69 - 0.39. Put c, y, g in descending order.
g, y, c
Let r = 10 + -15. Let p = 10 + r. Put 4, p, 2 in increasing order.
2, 4, p
Let o = 5 + -4. Let q be 2/(-2)*(-1 + 2). Put 0, q, o in increasing order.
q, 0, o
Suppose -f + 0*f = -n + 9, -n - 26 = 4*f. Suppose -m = 4*s - 42, -s + 3*s = m + 18. Let q = s + f. Sort 0, -5, q in decreas