*h - 4*h + 88 = 0. Let t be 2/(-5)*i/24. Put 0.4, t, -3/5 in increasing order.
-3/5, 0.4, t
Let c = 38 - 43. Suppose 2*m = -4*w - 6, 4*w + 3 = -m - 4. Put -0.3, w, c in descending order.
-0.3, w, c
Let n be ((-8)/5 - -2)*(-20)/2. Put -0.2, 5, n, -0.4 in increasing order.
n, -0.4, -0.2, 5
Suppose 37 = -14*p + 9. Sort -6, 0, -5, p.
-6, -5, p, 0
Suppose 0 = -5*a + 3*a + 8. Suppose a*z = 2*z + 6. Sort -2, z, -5 in decreasing order.
z, -2, -5
Let m = 8 + -13. Let w be 176/33 + (-1)/3. Sort w, m, 4 in descending order.
w, 4, m
Suppose 2*g + 22 = 2*p, -4*p - 3*g - 2*g + 17 = 0. Suppose 4*r + 4 = p. Sort 5, r, -5 in decreasing order.
5, r, -5
Let g = 831/7 + -119. Let n = 243/4 + -61. Sort -4, n, g in increasing order.
-4, g, n
Suppose -6*s + 7*s - 4 = 0. Suppose 4*f = 4*i + 20, -i = -f + i + 8. Put s, f, -1 in descending order.
s, f, -1
Let b be (-1 - 0)*1*1. Sort 18, 4, b.
b, 4, 18
Let q = 2 - -2. Let o = q + -4. Sort 2, o, -1/9 in decreasing order.
2, o, -1/9
Suppose -y = 5*w - 26 - 914, 0 = -2*w + 2*y + 388. Let n = 1699/9 - w. Suppose 6*t - 4 = 3*t + 4*a, 0 = 2*t - 3*a - 3. Put n, -2/5, t in decreasing order.
t, n, -2/5
Let s be (-5 - -1)*(-2)/4. Suppose 3*x = g - 14, -5*x + s*x - 19 = 4*g. Sort g, 0, 3 in decreasing order.
3, 0, g
Let k be 17/15 + -1 + 0. Sort k, -1/4, 2 in increasing order.
-1/4, k, 2
Suppose j - 2 = -3. Let m = -1 + j. Suppose 10 + 5 = 5*n. Put n, -1, m in descending order.
n, -1, m
Suppose d = -d + 2. Let o(s) = -s**3 + s**2 - 2*s + 1. Let a be o(d). Sort 3, -3, a in increasing order.
-3, a, 3
Let b be (-12 - 0)*(-18)/(-24). Let k be (2/3)/(3/b). Sort -4, k, 1 in decreasing order.
1, k, -4
Let c be 5/(-15) - 30/(-9). Let h be 3/(-18)*-3*12. Sort c, -2, h in ascending order.
-2, c, h
Suppose 0*l = a + 2*l - 33, 0 = -a - 3*l + 38. Suppose -4*s + a = 7. Suppose -s = n + n. Sort -4, -3, n in ascending order.
-4, -3, n
Let w(h) = 7*h - 3. Let o be w(5). Let k be (-2)/(-10)*(-20)/o. Suppose 3*u + 3*f = 3, 2*f - 20 = -0*u + 4*u. Sort k, u, 0 in descending order.
0, k, u
Suppose -21 + 0 = 3*j. Let v = -15/2 - j. Put -1, v, 0.5 in increasing order.
-1, v, 0.5
Suppose 0 = 2*o + z + 7, -2*z + 10 = -2*o - 0*z. Sort -5, 1, o, 7 in decreasing order.
7, 1, o, -5
Suppose 4*h = -0*h + 20. Sort h, 2, -2.
-2, 2, h
Let c(u) = u**3 + 3*u**2 - 2. Let m be c(-3). Let v = m - -2. Suppose 0 = -w, 2*w + 6 = 4*h - 2. Put v, h, 3 in decreasing order.
3, h, v
Let v(w) = w**3 - w. Let c be v(2). Let g be (c/8)/((-63)/(-56)). Sort 1, 3, g in ascending order.
g, 1, 3
Let s = -0.8 - 0.2. Let f be (-2 + 3)*(-3)/21. Let n = 0.04 - -4.96. Sort f, s, n in decreasing order.
n, f, s
Suppose 2*o + z = 11, -o - 16 = 2*o - 5*z. Suppose 8 - 19 = 4*r - v, 0 = -o*r - 2*v. Sort -0.5, 2, r in ascending order.
r, -0.5, 2
Let a = 0.119 - -2.881. Put 5, -0.3, a in ascending order.
-0.3, a, 5
Suppose 0 = -3*h + 4*h. Suppose h = -0*g - 3*g. Suppose 0 = 3*y + 4*a + 23, 2*y - 4*a - 9 - 9 = g. Sort y, -2, 3.
-2, y, 3
Let u = -0.01 + 4.01. Sort 5, 0.3, u.
0.3, u, 5
Let i(n) = n. Let t be i(4). Let z be (0 - 4)*(-2)/t. Suppose -7 = -5*a + z*k, 8*k = 5*a + 3*k - 10. Sort -3, 5, a.
-3, a, 5
Let c = -2 + 1. Let j be (-18)/(-3)*c/2. Let b = 9 + -11. Sort b, 0, j in decreasing order.
0, b, j
Let x = 212 + -215. Let i(g) = -g - 4. Let z be i(-6). Sort 4, z, x in descending order.
4, z, x
Let j(x) = -x**2 - 3*x + 7. Let k be j(-5). Let s be 6/(-33) - 8/(-44). Sort 1, k, s.
k, s, 1
Let o = 13 - 14. Sort -5, -3, o in ascending order.
-5, -3, o
Let r(y) = -y**2 - 5*y - 5. Let z be r(-5). Suppose h + q = -2*q + 5, -4*h - 25 = -3*q. Put h, 0.2, z in ascending order.
z, h, 0.2
Let p(m) = m**2 + 12*m - 15. Let f be p(-13). Sort 4, 3, f.
f, 3, 4
Let c(i) = -2*i**3 - 2*i**2 + 5*i + 6. Let h be c(-2). Sort -21, 5, h in decreasing order.
5, h, -21
Let x be (-15)/(-10)*(-8)/(-3). Suppose 2*h - x = 3*h. Let g be ((-1)/2)/((-2)/(-12)). Sort h, g, -2.
h, g, -2
Suppose 2*j + 3*r - 19 = 0, 4*r - 32 = -0*j - 4*j. Sort j, 2, 0 in descending order.
j, 2, 0
Suppose -s + m + 2 = 0, 0 = -2*s - 2*m + 4. Suppose -4*i - 4*a = 16, -6 = -3*i - 3*a + 6*a. Put i, -2, s in descending order.
s, i, -2
Let a(x) = 2*x + 5. Let r be a(-2). Sort r, -3/7, 4.
-3/7, r, 4
Let k = 667779/773680 + -6/9671. Let p = k + -1/16. Let h = 2.2 - 6.2. Sort 0, h, p.
h, 0, p
Suppose 4*g + 18 = -2*g. Sort g, -1, -13 in decreasing order.
-1, g, -13
Let t be 36/8*-2 + -4. Suppose -3*f - 2*f + 3*r = 54, r - 30 = 3*f. Let l = t - f. Sort 3, l, -5 in decreasing order.
3, l, -5
Let w = -8 - -8.3. Let j = 16 - 16. Sort -4/5, j, w in ascending order.
-4/5, j, w
Suppose 0 = -2*s - 4 + 22. Suppose -5*c - s = 6. Sort -2/7, -0.1, c in descending order.
-0.1, -2/7, c
Let j = -0.5 + 0.1. Put j, -1, 0.3 in increasing order.
-1, j, 0.3
Let h = -0.01 + -0.99. Let j be (-1 - -1)/(-3 - -2). Suppose j = -a + 2*n - 5, 3*n + 0 = 5*a - 3. Sort a, h, -0.2.
h, -0.2, a
Let j = -24 + 27. Put -1, 0.3, j in increasing order.
-1, 0.3, j
Suppose 3*y - 13 = -p - 6, -2*p = -4*y + 26. Suppose 16 = -y*v - 0. Put 4, -3, v in decreasing order.
4, -3, v
Let t = -13 + 22. Sort 0.3, t, 0.1 in increasing order.
0.1, 0.3, t
Suppose -5*l + 4 + 21 = 0. Suppose 0 + 2 = 3*b - 2*m, -2*b = -4*m + 12. Let a be (-4 - -6 - 1) + 2. Put b, l, a in decreasing order.
l, b, a
Suppose -4*u + u = -12. Suppose 0 = -3*q + 9. Sort -2, u, q.
-2, q, u
Let i = 10 - 6. Let k(o) = -o + 5. Let c be k(6). Put i, c, -3 in descending order.
i, c, -3
Suppose 4*w + 46 = 5*i, i - 2*w + 9 = 23. Suppose -u = u - i. Put u, -2, -4 in ascending order.
-4, -2, u
Suppose 4*d = -2*h - 2, -2*d = 4*h - 5*d - 29. Sort -1, h, 8 in ascending order.
-1, h, 8
Let b = 3 - 2. Let q = 11 + -11.7. Let d = b + q. Put 5, d, -2 in descending order.
5, d, -2
Let z(v) = -v - 7. Let x be z(-4). Sort 1, 11, x.
x, 1, 11
Let l(p) = p - 7. Let j be l(8). Let x be j*-3*(-8)/6. Let q = x + -4. Put -1, q, -5 in ascending order.
-5, -1, q
Let a = -0.045 + 0.245. Let n be -3*(1 + -2) + -1. Sort n, -5, a in descending order.
n, a, -5
Let h be 3 + -5 + 24/14. Let p = 0.02 + -4.02. Let g = p - -2. Sort h, g, 5 in increasing order.
g, h, 5
Let x be 3 - (-2 - -4 - 2). Let l be (-14)/x + 2/(-6). Sort 5, -3, l in ascending order.
l, -3, 5
Let g = 17 - 17.45. Let y = g + 0.05. Put y, 0.3, -3/5 in decreasing order.
0.3, y, -3/5
Let i be -6*(1 - 0)*-1. Suppose 2*p - 4*p = -i. Suppose 0 = p*t + f - 6, 4*t = -4*f + 2*f + 8. Put 3, 1, t in descending order.
3, t, 1
Let o = 1.2 + -0.2. Let q = 2.7 - 3. Let s = q + 0.5. Sort 0, s, o in decreasing order.
o, s, 0
Let u = -2.4 - 0.6. Let l = 4.9 - -0.1. Let s = l + -5.1. Put -0.2, u, s in decreasing order.
s, -0.2, u
Let l = -188/5 + 1336/35. Put l, -2/7, 1 in decreasing order.
1, l, -2/7
Let d be 0 + (-145)/45 + (-4)/(-18). Sort 2, -1, d in increasing order.
d, -1, 2
Let u = -41.5 - -30. Let g = u - -11. Let y = 0.3 - -0.2. Put -4, g, y in descending order.
y, g, -4
Suppose 5*k = -4*z, 5 = 2*z - z. Let b be (3/(-2))/((-12)/32). Put -3, k, b in ascending order.
k, -3, b
Let s = 8 + -3. Let n(v) = -v**2 - 9*v - 4. Let f be n(-8). Put -4, s, f in increasing order.
-4, f, s
Let n = -56 - -55.6. Sort -1, 0.1, n, -2/7 in ascending order.
-1, n, -2/7, 0.1
Let l = -5 + 13. Let c(u) = -u**3 + 7*u**2 + 9*u - 9. Let x be c(l). Sort -2/7, x, 0 in decreasing order.
0, -2/7, x
Let l = 18 + -18. Let o = -85 + 167/2. Let g = 1 + 4. Sort g, l, o in decreasing order.
g, l, o
Let w be (1 + (3 - 3))/4. Sort 0.5, -1, w in decreasing order.
0.5, w, -1
Let k = 8 - 12. Sort -3, 0, k in descending order.
0, -3, k
Let j = -13 + 18. Suppose i - 8 + 2 = j*f, -f + 3*i - 4 = 0. Suppose 0 = -5*t + 37 - 57. Sort t, f, -2 in descending order.
f, -2, t
Let j be 6/15*(-3)/6. Sort 1, -1, j in ascending order.
-1, j, 1
Let n = -4.7 + 7.7. Sort n, -2/5, -2 in decreasing order.
n, -2/5, -2
Let r = 1 - 1. Let v(w) = w - 7. Let k be v(10). Suppose 17 = 3*z + 14. Sort z, r, k.
r, z, k
Let v = 33 - 35. Put 1/6, 0.06, v in decreasing order.
1/6, 0.06, v
Let j = 0.12 - 0.02. Let l = 2.5 - -0.5. Put j, -2/9, l in decreasing order.
l, j, -2/9
Let n be (-4)/6*(-3)/2. Let r be 3/12 - (-17)/(-36). Sort 3, n, r in descending order.
3, n, r
Let b = 26 - 30. Put b, 3, 0 in decreasing order.
3, 0, b
Let o(w) = -w - 25. Let t be o(-24). Sort 10, -5, t, 5 in incr