 h be w(f). Sort -4, 1, h in descending order.
h, 1, -4
Let q = -39 + 116/3. Sort q, 0.2, -3/5 in increasing order.
-3/5, q, 0.2
Suppose 4*h + t - 23 = 0, 0*h = -4*h - 2*t + 26. Sort h, 4, 2.
2, 4, h
Let p = -57 - -34. Let x = p + 23. Let q = 8 + -6. Sort 1, x, q in descending order.
q, 1, x
Let v = -0.06 - -0.04. Let k = v - 0.98. Put k, -4, 0.4 in descending order.
0.4, k, -4
Let h = -0.24 - 0.06. Let m = -39/7 - -36/7. Put h, m, 2/3 in descending order.
2/3, h, m
Suppose 3*z - 2 + 14 = 0. Suppose 10 = 6*u - u. Let q = u + z. Put -1, -4, q in descending order.
-1, q, -4
Suppose 0 = -3*w + 13 - 1. Put w, -4, -1 in increasing order.
-4, -1, w
Let t = -1.6 - -12.6. Let r = 11 - t. Put r, -0.06, -4 in increasing order.
-4, -0.06, r
Let g = -4 - -6. Let k be 3 - (3 - 0/2). Sort k, -4, g in ascending order.
-4, k, g
Let l(b) = -b + 6. Let y be l(0). Suppose 4*k = 4*u, -7*k = -2*u - 2*k - y. Sort 1, 4, u in decreasing order.
4, u, 1
Let k = 19/6 + -3. Sort -2, k, -0.3, -3 in increasing order.
-3, -2, -0.3, k
Let s = -3 - -5. Let m(z) = z**3 + 6*z**2 - 6*z + 3. Let p be m(-7). Let w be 3 - (-2 - -3) - 5. Put s, w, p in decreasing order.
s, w, p
Suppose 0*i + 9 = -4*i + n, n - 7 = 2*i. Suppose 2*m - 3*p - 3 = -4*p, -1 = -p. Sort m, i, 4 in decreasing order.
4, m, i
Let i = -555/26 - -43/2. Let y = 1 + -2. Sort i, 0.1, y.
y, 0.1, i
Let f be ((-5)/(-2))/(3/(-6)). Let v be -2*(1 - (-18)/(-4)). Let n = v + -11. Put 4, n, f in increasing order.
f, n, 4
Let l = 0.07 - 3.07. Let r = -0.179 + -0.021. Sort l, -2/3, r.
l, -2/3, r
Suppose -7*w + 7 = -14. Put -2, -14, w in descending order.
w, -2, -14
Let x = -44 + 46. Sort x, 25, 0.4 in increasing order.
0.4, x, 25
Suppose 1 = 4*g - 11. Sort 5, g, -5 in descending order.
5, g, -5
Suppose -3*r + x + 0*x - 7 = 0, -4*r = -4*x + 4. Sort 0, 2, r in ascending order.
r, 0, 2
Let v be 0/1*40/40. Sort -3, v, -1, -5 in ascending order.
-5, -3, -1, v
Let o = -3.8 - -3.6. Put -3, o, -7 in increasing order.
-7, -3, o
Suppose -1 - 7 = -2*m. Let i be m*(7/(-4) + 1). Suppose 6 - 2 = 4*s. Put s, i, 4 in increasing order.
i, s, 4
Let x(j) = -j**3 + 4*j**2 + 4*j + 1. Let y be x(5). Suppose 0 = -2*u + 2*p, 0 = -3*u + 5*u + 3*p + 15. Sort y, 2, u.
y, u, 2
Suppose -4*n + 3*p - 5 = -21, 2*n = -5*p + 34. Sort -3, -1, n in decreasing order.
n, -1, -3
Let l = 1.9 + -1.8. Sort l, 4, 1.
l, 1, 4
Let y = -495 - -500.02. Let p = y - 0.02. Let g = -258 - -2326/9. Put p, g, -3 in descending order.
p, g, -3
Let b = 4 - -1. Suppose -b*f = 0, 2*l - 5*f = 3*l. Let i = -12 + 8. Sort l, -3, i in ascending order.
i, -3, l
Let a = -1012 - -41494/41. Let s = 49/164 - a. Let v = -3 + 1. Sort v, 1/7, s in decreasing order.
s, 1/7, v
Let p = -22 + 17. Put 1, 4, p in ascending order.
p, 1, 4
Let s = -72 + 67. Sort s, -2, -1, 6.
s, -2, -1, 6
Let x be (-4)/22 + 14/77. Sort -1, 4, x in increasing order.
-1, x, 4
Let r be 8 - ((-15)/5 - -8). Let v(a) = -a**2 - 5*a - 2. Let g be v(-3). Put r, g, 5 in ascending order.
r, g, 5
Let u be (1 - -1)/(1 + -2). Let i(v) = -v**3 + 9*v**2 - 14*v - 1. Let j be i(7). Sort j, -5, u in decreasing order.
j, u, -5
Let w = -76.21 + 77. Let b = w + -0.09. Let h = 1 - b. Sort 4, -2/11, h in decreasing order.
4, h, -2/11
Let s = 4 + -4.2. Sort s, 0, 4, 3/8 in ascending order.
s, 0, 3/8, 4
Suppose -44*y = -41*y + 3. Put y, 10, 5 in ascending order.
y, 5, 10
Suppose 0 = -4*w + 5*w - 1. Let k = 2 + w. Sort -5, -3, k in decreasing order.
k, -3, -5
Suppose y + 0 = h - 2, -4*y + 5*h - 7 = 0. Let w(f) = f**2 + 4*f + 1. Let k be w(y). Put k, 8, 1 in decreasing order.
8, 1, k
Let i = 35 + -23. Let v = -8 + i. Let k be (-1 - 0) + v/1. Sort k, 5, -4.
-4, k, 5
Suppose 4 - 48 = -11*c. Let i be 1 + 2*(-10)/4. Suppose 5*v + 7 + 8 = 0. Put i, c, v in increasing order.
i, v, c
Suppose 0 = 2*d + 3*d + 3*s - 36, -d = 5*s - 16. Suppose 12 = -4*g + d*g. Put 4, g, 2 in descending order.
g, 4, 2
Let f = 59 + -57. Sort f, -1, 1, 8 in descending order.
8, f, 1, -1
Suppose -3*y + 0 + 6 = 0. Let s be (-1*1)/((-5)/40). Suppose -n + 2 = 2*n - 4*a, -2*a - s = 2*n. Put 0, n, y in decreasing order.
y, 0, n
Let n = -25.8 + 26. Sort 0.09, -0.5, n, -4/7.
-4/7, -0.5, 0.09, n
Suppose -5*i = -5*k, 3*k = -5*i + 6*i + 10. Let p = -3 + 2. Put p, -1/4, k in decreasing order.
k, -1/4, p
Let s be 3/5 - (-105)/75. Put 1, s, -17 in decreasing order.
s, 1, -17
Let q(c) = c**3 - 3*c**2 + c + 1. Let t be q(3). Put 5, t, -5 in decreasing order.
5, t, -5
Let x = -134 - -130. Put 3, -5, x in decreasing order.
3, x, -5
Let h = -4 + 8. Suppose 2*m - m + 5 = 0. Sort 5, m, h in descending order.
5, h, m
Let r = 1.2 + -0.9. Put r, 5/3, 2, -1 in descending order.
2, 5/3, r, -1
Let p = 5.3 + -5. Let d(u) = u**2 - 11*u - 27. Let q be d(13). Sort q, p, -1/3.
q, -1/3, p
Let t = 0.07 - -1.63. Let c = t + 0.3. Put c, 5, -0.4 in descending order.
5, c, -0.4
Let j = -6 - -6.5. Sort -5/3, -2, j in ascending order.
-2, -5/3, j
Let j = 13 - 16. Sort -5, 2, j in decreasing order.
2, j, -5
Let f(d) = -d**2 - 7*d - 7. Let h be f(-6). Put 4, -5, h in descending order.
4, h, -5
Let j(g) = -g**3 + g**2 + g + 2. Let d be j(-2). Let z(t) = t**2 - 11*t - 9. Let v be z(d). Put v, -1, 12 in ascending order.
-1, v, 12
Suppose 5*y = 3*b + 2*b - 15, -y - 7 = -2*b. Sort y, -4, 23.
-4, y, 23
Suppose 3*u = -0*u. Suppose u = v - 0 + 3. Let y = -3 - v. Put -1, y, 1/10 in descending order.
1/10, y, -1
Let z(t) = -2*t - 2. Let i be z(-5). Suppose 5*y - 3*y - 4 = 3*s, 3*y - i = 5*s. Suppose -5*r - 2*j + 16 = 1, -3*r - 4*j = -9. Put s, r, 1 in ascending order.
s, 1, r
Suppose -3*v - 4*w = -14, 0 = 2*v + v + 2*w - 16. Let s(r) = -2*r + 4. Let x be s(3). Let i be (-3)/x + 3/v. Put i, -5, -2 in decreasing order.
i, -2, -5
Suppose 0*j + j + 6 = 0. Let u = j + 9. Sort 2, u, 4 in ascending order.
2, u, 4
Let u = -0.6 - 2. Let r = 2.8 + u. Put -3, r, -2 in increasing order.
-3, -2, r
Let x = 23 - 45/2. Let k = 252930 + -2785499/11. Let q = 297 + k. Put x, q, -5 in ascending order.
-5, q, x
Let d = -0.288 + -0.112. Let h be (-1)/1 + (-18)/(-14). Sort h, d, 3/7.
d, h, 3/7
Let p = 6 + -11. Let u = 0.092 + -0.092. Sort 2/15, u, p in decreasing order.
2/15, u, p
Let k = -10 - -9.56. Let o = k + -0.06. Put o, 4, 1/6 in ascending order.
o, 1/6, 4
Suppose 2*j = 12 + 2. Let a(q) = -2*q - 7. Let r be a(-5). Put r, j, 2 in descending order.
j, r, 2
Suppose y - 10 = -4*y. Sort -3, y, 3.
-3, y, 3
Suppose 2*q + 2*w + 2 = 0, 0*q - q - 5*w = -15. Sort -3, 1, q.
q, -3, 1
Suppose -8 = 4*h - 28. Let o be 5343/(-90) - (-1)/h. Let a = o + 59. Sort 4, -5, a in increasing order.
-5, a, 4
Let a be -2*(-5 - -2) - 2. Let z be (-3)/a + 5/(-4). Sort -6, z, 5.
-6, z, 5
Let g = -2 - -5. Let t = 13 + g. Put t, 2, 1 in decreasing order.
t, 2, 1
Let b = -28 - -28. Put 1, 3, b in decreasing order.
3, 1, b
Suppose -2*y = 3*g + 6, -2 = -4*y + 4*g - 3*g. Put -3, 4, y in descending order.
4, y, -3
Suppose 0 = 2*i - 1 - 5. Suppose 3*u = -i*v + 12 + 3, 2*v - 10 = -4*u. Sort -1, -2, u.
-2, -1, u
Suppose 3*j + 2 = 20. Suppose 2 = 2*k + j. Let d be 28/(-24)*k/14. Sort 0.2, -0.3, d.
-0.3, d, 0.2
Let i = -10.104 + 0.104. Sort 2/11, 2, -2, i in decreasing order.
2, 2/11, -2, i
Suppose 0*i = i - s - 8, -2*i = 3*s - 6. Let d = 2 - i. Sort -1, d, 1.
d, -1, 1
Suppose -15 = -5*n - 0*n. Let t = 39 + -32. Suppose n*a = t - 1. Sort -4, 3, a in ascending order.
-4, a, 3
Let o = -0.2 + 0.2. Let u = -0.01 + o. Let h = -0.19 + u. Sort 0.4, 4, h.
h, 0.4, 4
Suppose -4*r = -3*r. Let z = -4 + r. Suppose 3*w + 2*w + 10 = 0. Put z, w, -1 in ascending order.
z, w, -1
Let o = 14 - 27. Put o, 4, -5 in decreasing order.
4, -5, o
Let x be -1 - -3*4/6. Put 2, x, -5 in descending order.
2, x, -5
Let k(h) = h**3 - 11*h**2 - 12*h. Let j be k(12). Suppose j = d - 3*d - 8. Sort -2, 1, d.
d, -2, 1
Suppose 0*u + 2*u + 5*d + 16 = 0, -4*u - 3*d - 4 = 0. Let x be ((-3)/(-18))/((-3)/(-6)). Let w = 0.9 - 5.9. Sort x, u, w in ascending order.
w, x, u
Let r(a) = -a**2 + 7*a + 10. Let j be r(8). Suppose -3*s - 5*u - 9 = 11, -8 = s + j*u. Let i = 1 - 5. Put s, 4, i in increasing order.
i, s, 4
Suppose 3*c = -c - 8. Suppose 7*q + 21 = -3*o + 2*q, 5 = -4*o + q. Let n be (-8)/18 - o/3. Sort n, -0.2, c in ascending order.
c, -0.2, n
Let c = 67 + -65. Sort c, 3, 1 in decreasing order.
3, c, 1
Let u = -7.65 + 3.8.