= 131*h. Let l be 10/2*(0 - 1). Put a, -4, 2, l in ascending order.
l, -4, a, 2
Let a = -0.128 - -7.128. Sort -5, -0.4, a.
-5, -0.4, a
Let u = -1/128 + 519/896. Let f be -1 - -1 - (9 + 10). Put f, 0.3, u in ascending order.
f, 0.3, u
Suppose -h = 5*h. Let p(d) = -d - 1. Let t be p(-5). Sort 2, h, t in increasing order.
h, 2, t
Let p = -7 - -4. Let z be 2/((18/15)/p). Suppose 0 = -3*t - 3*f - 2*f + 11, 5*t = 5*f + 5. Put z, 1, t in descending order.
t, 1, z
Let n = -0.039 + 0.439. Suppose -f + u - 2 = 0, 4*f + 0*f = -4*u. Let y be ((-2)/84)/(f/4). Sort n, y, 0.2 in descending order.
n, 0.2, y
Suppose -13 = -5*k + 4*r, 2*k + r + 4*r = -8. Sort 10, k, 4, 26.
k, 4, 10, 26
Let w(o) = 2*o**2 - 12 - 7*o - 4*o**2 + 3*o**2. Let c be w(9). Let y be (-1)/24 + c/(-18). Sort y, -1/4, -0.3 in increasing order.
y, -0.3, -1/4
Suppose 7*f - 48 = -5*f. Put -1, -2, 0, f in increasing order.
-2, -1, 0, f
Suppose -3*q = 4*w + 8, q + 6 = 2*w - 4*w. Suppose 2*k - 15 = 3*m, -4*m = -252*k + 256*k. Sort k, -5, 1, q in descending order.
q, k, 1, -5
Suppose -5*d = 0, 7*d = 5*s + 3*d - 245. Let l = -52 + s. Put -5, l, -4 in descending order.
l, -4, -5
Suppose -11*d - 33 = -77. Let r = 3 - -4. Sort 1, r, d in increasing order.
1, d, r
Let z = -23 - -28. Let l(d) = -d**2 - 16*d - 2. Let a be l(-16). Put -5, -4, a, z in increasing order.
-5, -4, a, z
Let b = 9.43 - 9.03. Sort 0.1, b, 4.
0.1, b, 4
Let w be 2 + -3 + (-4 - -1). Let x = 103 + -64. Let v = -41 + x. Sort 0.5, w, v in descending order.
0.5, v, w
Let j(g) = -2*g**2 - 7*g - 7. Let l be j(-4). Sort l, 1, 0 in descending order.
1, 0, l
Let z(h) be the first derivative of h**3/3 + 13*h**2/2 - 17*h - 3. Let r be z(-15). Let j be (-2)/85*1*5. Sort j, 0, r in ascending order.
j, 0, r
Let j be ((-3)/9)/(4 + (-78)/18). Let d be 0/((-3)/((-3)/2)). Let h = -2/285 + 46/57. Sort h, d, j in descending order.
j, h, d
Let t = 3 - 3. Suppose 77*v - 76*v + 5 = 0. Sort t, v, -1 in increasing order.
v, -1, t
Let x = 4.06 - 88.06. Put x, 1/5, -2/13 in descending order.
1/5, -2/13, x
Suppose -3*q = -2*y - 37 + 42, -3*q = 2*y + 1. Let h(v) = -2*v**2 - v - 1. Let a be h(-1). Sort 3, q, a.
a, q, 3
Let w = 4.74 + 0.16. Let m = w + -5. Let c = -165/7 + 2131/91. Sort m, 0, c in increasing order.
c, m, 0
Let s = -123 + 128. Suppose 0 = 4*j - 2 + 6. Let u = 1.05 - 0.05. Sort s, j, u in ascending order.
j, u, s
Let x = -2 + 0. Let z(h) = -h**2 - 4*h + 15. Let d be z(-6). Put x, d, -1 in decreasing order.
d, -1, x
Let m = -66 + 36. Let t be (-3)/m*(3 - 7). Sort t, 5, -2/9, -0.1.
t, -2/9, -0.1, 5
Let d = 1 - -4. Suppose 10 + 20 = 5*p + 2*w, -p = -4*w - 6. Sort d, p, -2, 3 in decreasing order.
p, d, 3, -2
Let n = -0.8 - -0.7. Let v = -0.19 - n. Let j = 0.39 + v. Sort 2/5, j, 2.
j, 2/5, 2
Let s = 1.9 + -2. Let t(j) = -j**3 - 4*j**2 - 3*j - 8. Let f be t(-4). Suppose 2*w - 20 = -2*r + 6*r, -2*w - f*r - 12 = 0. Sort s, w, -5 in increasing order.
-5, s, w
Suppose -2*j - 7 = 5*a, -3 - 5 = 5*a + 3*j. Put 5, -2, a in descending order.
5, a, -2
Let q be (-260)/12 + (-4)/(-6). Let a be (-4)/6*q/14. Let o = 6 - a. Put o, 1, -5 in increasing order.
-5, 1, o
Suppose 10 = -3*u - 5. Let q be ((-1)/2)/(4/32). Let i = -2 - q. Sort 1, u, i in ascending order.
u, 1, i
Suppose -3*y - 20 = -7*y. Let t be -1 - y*(3 + -2). Let x be 7/(14/(-8)) + 9. Sort t, -2, x.
t, -2, x
Let t = -15.27 + 11.27. Sort -1, t, -0.312 in descending order.
-0.312, -1, t
Suppose 5*g - 15 = 2*d, -2*d + 2*g + 1 - 7 = 0. Sort -5, d, 6, -3.
-5, -3, d, 6
Let z = 10.66 - -57.64. Let d = 68 - z. Sort 3/4, d, 4, -3/5 in descending order.
4, 3/4, d, -3/5
Let f(v) = 5*v**2 + v + 23. Let u(a) = -3*a**2 - 12. Let x(o) = -4*f(o) - 7*u(o). Let i be x(7). Suppose 3*c - i = -34. Sort 2, c, 3 in decreasing order.
3, 2, c
Let y = 0.2 - 0.7. Let j be (89 - 84) + -24*2/10. Sort j, y, -1/6, 5/2.
y, -1/6, j, 5/2
Let k be 1/((0 - -1)*-2)*-8. Suppose -k*p + 2*p = 5*a - 25, 3*a + 6 = 3*p. Sort 0, -2, p, -1.
-2, -1, 0, p
Suppose -4*j - 71 + 9 = -3*o, 0 = 2*j - 5*o + 24. Put -1, j, 0 in descending order.
0, -1, j
Let f = 575 + -573. Put 2/131, f, -0.3 in decreasing order.
f, 2/131, -0.3
Let d be -5 + (-42)/(5 + -12). Sort 3, d, 91 in increasing order.
d, 3, 91
Let u = 6962/29 - 240. Put 1/3, u, -4/7 in increasing order.
-4/7, u, 1/3
Let v(c) = 16*c**2 - 2*c + 1. Let t be v(1). Let r = -15 + t. Suppose r = 3*w - 0*w + 6. Sort 3, -1, w in decreasing order.
3, -1, w
Let n = 31.8 - 32.8. Sort -4, 1/4, -0.1, n in ascending order.
-4, n, -0.1, 1/4
Let i = -14 + 17. Put 0.2, i, 8 in decreasing order.
8, i, 0.2
Let h be (-2)/(-4) - (-2100)/24. Let i be (-12)/(-10)*55/h. Sort -2, -6, i, -0.4.
-6, -2, -0.4, i
Suppose 0*g - 3*g = 15. Let i = -1.99 + -0.01. Sort g, 2, i in decreasing order.
2, i, g
Suppose 2*h = 2*l - 678, 0 = -19*l + 22*l + 3*h - 993. Put 4, -2, 2, l in ascending order.
-2, 2, 4, l
Let z be (-2)/(-1 - -3) - 1. Let d = 7844 - 7836. Sort d, z, 2, 1 in ascending order.
z, 1, 2, d
Let h be (-1 - -4)/(325/(-350)). Sort -2/7, h, 1/4.
h, -2/7, 1/4
Suppose 9*n - 40 = n. Sort -9, n, -2 in ascending order.
-9, -2, n
Suppose -43 = -2*m - 13. Let b(q) = 3*q - 44. Let g be b(m). Sort -3, g, -5.
-5, -3, g
Let x = 8.8 + -10. Let u = x + 1.5. Let l = 5 - 0. Sort 2/11, u, l in decreasing order.
l, u, 2/11
Let d = -427 + 421. Sort -5, d, 2 in descending order.
2, -5, d
Let s = -35 + 33. Suppose 4*n - 60 = 2*x - 6*x, 4*x = -3*n + 44. Put n, s, 5 in decreasing order.
n, 5, s
Let u(f) = 7*f + 42. Let h be u(-6). Suppose -l = l - q - 26, h = 5*l + q - 79. Sort -3, -1, l.
-3, -1, l
Suppose -7*k + 16 = 44. Let m = -4 + 8. Sort m, -3/2, k in increasing order.
k, -3/2, m
Suppose 2082*h = 2085*h. Sort 1, 8, 2, h.
h, 1, 2, 8
Let o = 379 - 383.86. Let m = o + -0.14. Let z = m + 5.2. Put -1, 0.4, z in decreasing order.
0.4, z, -1
Let i = -68.7 + 12.7. Let g = i + 54. Put -2/11, g, -1/4 in ascending order.
g, -1/4, -2/11
Let g be ((-3)/9)/((-3)/(-18)). Sort -47, 0, g in ascending order.
-47, g, 0
Let n = -5 - -7. Let g(i) = -i**3 + 2*i**2 + 2. Let b be g(n). Suppose 6*d - 3*d = 3. Sort b, -4, d.
-4, d, b
Let t(g) = g**3 - 6*g**2 + 3*g - 20. Let z be t(6). Suppose -s + 6*s + 4*y = 4, 0 = -2*y + 2. Let n be s + (-2 - (-32)/18). Put n, z, 1/2 in decreasing order.
1/2, n, z
Let j = -105.2 - -103. Let q = 2.6 + j. Sort q, 10, -2/11.
-2/11, q, 10
Let r = -0.03 + 0.03. Let b = 5 - r. Let n = b - 5.4. Put n, -0.5, 0.1 in increasing order.
-0.5, n, 0.1
Suppose d + 2*a = -11, -5*d - 2*a - 10 - 5 = 0. Put d, 5, -46 in descending order.
5, d, -46
Let z = 903 + -11741/13. Let x = -3 - -5. Put x, -4, z, -1 in ascending order.
-4, -1, z, x
Let n = -30/77 + 8/77. Sort n, -0.3, -0.13 in increasing order.
-0.3, n, -0.13
Let p be (-35)/10*(14 - 16). Sort 8, p, 2 in ascending order.
2, p, 8
Let z(g) be the third derivative of -g**6/120 - g**5/10 + g**4/8 + 13*g**3/6 - 4*g**2. Let h be z(-6). Sort h, 5, 3/2, 1/3 in decreasing order.
5, 3/2, 1/3, h
Let w be (10/(-35))/(30/35). Let t = -6 - -5.6. Sort t, -12, w in descending order.
w, t, -12
Let h be (1 - 37)*((-828)/24)/(-23). Let v(x) = -x**2 + 4*x. Let b be v(4). Sort 0.4, h, b in ascending order.
h, b, 0.4
Let u = -552.625 + -0.375. Sort 0.3, 4, u in ascending order.
u, 0.3, 4
Suppose 2*t - 83 = 3*o, -4*t + 133 = -3*o - 18. Put -3, t, 4 in decreasing order.
t, 4, -3
Let o be (-13)/12 - 11/(-33). Sort 5/2, -2/9, -1/7, o in decreasing order.
5/2, -1/7, -2/9, o
Let s be (-35)/10 + 1/2. Let w = 8 + s. Let q = -3.8 - -0.8. Put q, -2/9, w in descending order.
w, -2/9, q
Let p = 0.76 - -31.24. Let d = p + -31.9. Sort -2/7, -4, d in descending order.
d, -2/7, -4
Let g = 4001/12 - 1347/4. Sort g, 2/3, -4 in decreasing order.
2/3, g, -4
Let j = 36.5 - 37. Let s = 0.7 - 0.8. Let m = -1.1 - s. Put j, -1/6, m in increasing order.
m, j, -1/6
Let i be (252/168)/(1 - (-5)/2). Sort i, -1/3, -287 in descending order.
i, -1/3, -287
Let t = 0 + -4. Let f = -7 - t. Let p be ((-21)/(-14))/(3/(-4)). Sort p, f, 6 in decreasing order.
6, p, f
Let l be 0/(15 - 5 - 13). Sort -77, l, 1.
-77, l, 1
Let m = 1.97 - 0.74. Let t = m + -0.23. Put 29, t, -5, -2/7 in decreasing order.
29, t, -2/7, -5
Let b(n) = 2*n**3 - 9*n**2 + 5. Let o be b(6). Suppose -5*c = -i + o, -4*i = -5*c - 0*i - 107. Let u = 18 + c. Sort 0, 2, u in decreasing order.
2