 Put h, 5/4, 3, -2 in decreasing order.
3, 5/4, h, -2
Let t = 2 - -3. Suppose 0 = -d - x + 6*x + 10, 0 = -4*d - t*x - 10. Sort 4, -10, d.
-10, d, 4
Suppose g + 2 = 6. Sort 0, g, -2 in ascending order.
-2, 0, g
Let j = -63.6 - -58. Let u = 0.6 + j. Let g = 2.5 + -2. Put g, u, -3 in decreasing order.
g, -3, u
Let g(q) = q**2 - 2*q - 8. Let f be g(6). Suppose 3*m - 5*w + 2*w = -18, 0 = 5*m + 2*w + f. Sort -1, 5, m in increasing order.
m, -1, 5
Suppose 8 = -2*k, 0*w + 2*w - 5*k - 22 = 0. Suppose -5 = 2*j + 5*i, i - w = -0*i. Sort -3, j, -2 in ascending order.
j, -3, -2
Let s = 39.6 - 40. Sort -3, s, 0.2 in descending order.
0.2, s, -3
Suppose 0 = -4*b - 2*w + 80, 0 = -2*b + 2*w - 6*w + 28. Suppose 3*h + 2*h = -4*o - 29, 4*h + 2*o + b = 0. Put -2, h, 1 in descending order.
1, -2, h
Let h(i) = -i**2 - 4*i. Let l be h(-4). Let n be 1*(0 - (-1 + l)). Sort -3, -2, n.
-3, -2, n
Suppose 0 = 2*p - 0 - 4. Suppose 0 = h + 3*h + 20. Put 4, h, p in ascending order.
h, p, 4
Let t(u) = u**3 + u**2 - u - 120. Let x be t(0). Let c be x/28 - -1 - -3. Put c, -0.4, 2/17 in descending order.
2/17, c, -0.4
Let s(g) = -7*g**2 + 27*g + 10. Let x(d) = -5*d + 0*d**2 - 9*d - 2 + 4*d**2 - 3. Let v(o) = -3*s(o) - 5*x(o). Let w be v(11). Sort w, 2, 5 in descending order.
5, 2, w
Let i = -9.6 + 13.6. Sort i, 3, 0.2, -1 in increasing order.
-1, 0.2, 3, i
Let l = -2/5 + 9/10. Let n = 52/15 - 176/45. Let r = 5 - 0. Put r, l, n in ascending order.
n, l, r
Let y be (-18)/21*-5 + (-4)/14. Put -1, 5, y in increasing order.
-1, y, 5
Let o = -22 + 27. Sort o, -1.9, 4 in descending order.
o, 4, -1.9
Let o = -68 + 73. Sort -5, o, -2.
-5, -2, o
Suppose 0 = 5*i + 1 - 11. Sort -4, 5, i in increasing order.
-4, i, 5
Suppose 5*z - 4 = z. Suppose -2*q + z - 5 = 0. Let d be (-5)/((-1)/(q + 3)). Sort -1, d, 3.
-1, 3, d
Let h(y) = y**2 + 2*y - 38. Let v be h(5). Suppose 4*i = 3*l - 3, 15 = 2*l + l. Let s = 2 - i. Put 0, v, s in descending order.
0, s, v
Suppose -f + 6 = -54. Let n = 301/5 - f. Put 5, 0.3, n in descending order.
5, 0.3, n
Let j be (-4)/14 - (-12)/(-7). Let r = j + 0. Let i = 0.05 + -0.55. Sort r, 5, i in descending order.
5, i, r
Suppose -f = -0 + 4. Sort -14, f, -2, 0 in ascending order.
-14, f, -2, 0
Suppose 34 = -11*h - 21. Sort h, 4, 8 in decreasing order.
8, 4, h
Let v = -18 + 16. Put 0.2, v, 2/3 in decreasing order.
2/3, 0.2, v
Let q = -44 - -30. Let z = q + 13.5. Put -2/7, z, 0.4 in ascending order.
z, -2/7, 0.4
Suppose 0 = 14*r - 12*r. Put -1, r, 5, -4 in descending order.
5, r, -1, -4
Let r = -0.09 - -0.18. Let z = r + 2.91. Let k be (6/20)/(6/(-8)). Sort k, z, -1/6.
k, -1/6, z
Suppose 6*v - 2*v = -16. Let t = v + 1. Sort -1, -5, t in descending order.
-1, t, -5
Let n be ((-6)/(-10))/(24/30). Sort -5, n, 5.
-5, n, 5
Suppose -4 = 4*s, 0 = -4*t - t - 4*s - 24. Sort 3, t, 1 in increasing order.
t, 1, 3
Let w(o) = -2*o**2 - 2*o - 3. Suppose -2*a = -3*r - 7 + 2, -2*a = 4*r + 16. Let y be w(a). Let f = 4 + y. Put 5, f, -5 in ascending order.
-5, f, 5
Let h be 60/8*20/6. Suppose -8*q = -3*q + 5*a + h, -5*a = 10. Put q, -2, -1 in ascending order.
q, -2, -1
Let q = 443 + -448.13. Let l = q - -0.13. Sort 0.3, l, -2 in descending order.
0.3, -2, l
Suppose 2*o = -4*f + 26, -f + o = -2*f + 8. Suppose 0 = 2*k + 10, -f*q + k = 3*k - 5. Sort 1/4, 0.3, q in decreasing order.
q, 0.3, 1/4
Let d = -10 - -6. Let h = -0.057 - 1.943. Sort d, 2/9, h in decreasing order.
2/9, h, d
Let t be 110/100 + 6/(-4). Sort t, 0.4, -5 in descending order.
0.4, t, -5
Let x be 11/308 + (-2)/(-8). Let l = 7.5 + -7. Let m = l - 0.8. Put m, -1/3, x in increasing order.
-1/3, m, x
Let j = 0.6 - 0.8. Put 0.4, j, -4 in descending order.
0.4, j, -4
Let i(j) = -j + 6. Let t be i(0). Suppose 2 + t = 4*f. Sort 0, -3, f in descending order.
f, 0, -3
Suppose n + 3 - 2 = 0. Let w be (-6)/((-3)/(-7)*63/(-2)). Let g(x) = -x - 4. Let v be g(-5). Sort n, v, w in descending order.
v, w, n
Suppose -3*q - 4*m = 14, -3*q + 0*q + 2*m = 38. Sort -0.2, 0.5, q, 2/5 in decreasing order.
0.5, 2/5, -0.2, q
Let y be (-1)/3 + 152/168. Let t = -0.06 - -2.06. Put t, 2/7, y in decreasing order.
t, y, 2/7
Suppose 5*o = 8*o. Put -3, o, -2 in descending order.
o, -2, -3
Suppose -3*y + a - 152 = y, -5*y = 5*a + 215. Sort 2, -3, y in descending order.
2, -3, y
Let h = -5 + 2. Sort -2, h, 5 in decreasing order.
5, -2, h
Suppose 0 = -5*q - 2*u - 23, -q - u + 1 = -2*u. Sort 1, -1, q, -2 in ascending order.
q, -2, -1, 1
Suppose 0 = -3*l - 6 + 15. Let g(p) = p**2 - 5*p - 1. Let f be g(6). Put f, l, -5 in increasing order.
-5, l, f
Let v = 0.0751 - 4.1051. Let q = -0.03 - v. Sort 3/8, q, -0.3 in decreasing order.
q, 3/8, -0.3
Let x = 31 - 26.8. Let w = -0.2 + x. Put w, 5/3, 1 in increasing order.
1, 5/3, w
Suppose -2*z - 1 = -5. Let s = 17 - 12. Put s, z, -4 in decreasing order.
s, z, -4
Let c = -9 + 4. Put 1/2, 0.2, c in increasing order.
c, 0.2, 1/2
Let o(x) = -x**2 + 6*x - 7. Let z be o(5). Put -3/7, -1, z in decreasing order.
-3/7, -1, z
Suppose -2*c + 5*s = -6 + 3, -2*s - 46 = -4*c. Suppose 3*v = 3*a - c + 5, 4*a - 11 = 5*v. Suppose -2*f - 4 - 4 = 0. Put v, f, 2/5 in increasing order.
f, 2/5, v
Let i be -3 - (-5 + 2/2). Let o(j) = -j**2 - 6*j - 3. Let h be o(-5). Suppose -y - h = -0. Put y, i, -3 in ascending order.
-3, y, i
Let x = 16 - 8. Let u = x + -11. Let v = 0 + u. Sort v, -1/2, 0.4 in decreasing order.
0.4, -1/2, v
Let u(d) = d + 3. Let j be u(-3). Let p = -1 - j. Let t be -2 + (p - (0 + 0)). Sort -1, 3, t in decreasing order.
3, -1, t
Let m = -2 + -1. Let i be (-5)/(-2) - m/6. Suppose -4 = 4*x, 4*x + 0 = -5*o + 1. Sort -1, i, o.
-1, o, i
Let y be (-134)/(-12) - 2/12. Suppose 0 = 3*q - y - 4. Sort 1, 2, q in increasing order.
1, 2, q
Let a = 0.1 + -0.2. Let j = -14/69 + -3/23. Sort j, -1, a in ascending order.
-1, j, a
Let s be (0 + 1)/(2 - -1). Put 0.4, -0.3, s in ascending order.
-0.3, s, 0.4
Let o be 14/6 - (-4)/(-12). Suppose 2*l = -2*m, 5*m + 8 = 5*l - o. Let c = -7 + 9. Put m, -3, c in decreasing order.
c, m, -3
Let k = -4 - -4. Suppose -5*j - 50 = -0*j. Let b be (j/8)/((-2)/(-4)). Sort b, 1/2, k in descending order.
1/2, k, b
Let m be 1 + 0 + 42/(-28). Let b = 0.7 + -4.7. Sort b, m, 0.3 in ascending order.
b, m, 0.3
Suppose l - 3*l + 32 = 0. Let b = l + -20. Put 2, 3, b in descending order.
3, 2, b
Let t(g) = g - 4. Let q(z) = -z + 1 + 4 - 2. Let p(o) = -5*q(o) - 4*t(o). Let h be p(0). Put -4, 4, h in decreasing order.
4, h, -4
Let x(z) = z**2 + 8*z - 5. Let b = -5 - 4. Let s be x(b). Let m = 2 - 3. Put 5, m, s in increasing order.
m, s, 5
Let w = -0.7 + 0.2. Let j = -1.6 + 1.4. Let g = j + -1.8. Sort w, 2/11, g.
g, w, 2/11
Suppose h + 0*h - 3 = 0. Sort -4, 2, h.
-4, 2, h
Let u = 7 - 8. Let f(o) = -o**3 - o**2 - 2*o - 3. Let a be f(-2). Sort u, 2, a in decreasing order.
a, 2, u
Let u be (-4)/(-144)*6 - (-62)/(-12). Suppose 2*f + 0*f - 2*i + 2 = 0, -6 = -2*i. Put 4, f, u in increasing order.
u, f, 4
Let u be ((-15)/(-25))/((-3)/15). Put 0, -5, u in decreasing order.
0, u, -5
Let n = 43 + -26. Suppose -4*z + p = z + 10, z = 4*p + n. Sort 1, 0, z in decreasing order.
1, 0, z
Suppose -5*n - 80 = 5*j, -n + 2*n - 6 = j. Let g = j - -13. Sort 0, -1, g in increasing order.
-1, 0, g
Let n be 1/14*-1*192/(-48). Let x = -1 - -1. Sort -2, x, n.
-2, x, n
Let w = 25 + -24. Put -0.3, -3, w in descending order.
w, -0.3, -3
Let w be 1 - (1 + -3 - 1). Suppose 0 = w*u - 0*u. Suppose -2*o = 1 - 9. Sort 2, u, o.
u, 2, o
Let k = -13 + 9. Sort k, 5, 4.
k, 4, 5
Let b(w) = -w**2 - 10*w - 8. Let h be b(-6). Let g = h + -22. Let v(o) = o**3 + 6*o**2 + 2*o + 7. Let l be v(g). Sort l, 4, 0 in decreasing order.
4, 0, l
Let g(d) = -2*d**3 - 12*d**2 + 12*d - 16. Let o be g(-7). Sort o, -0.4, 2, 3/4 in decreasing order.
2, 3/4, -0.4, o
Suppose 5*s = 6*s + 4*k + 70, 120 = -2*s - 4*k. Put s, 4, -4 in increasing order.
s, -4, 4
Let t = -8 - 1. Let c = 8.9 + t. Sort c, 1/2, -2 in descending order.
1/2, c, -2
Suppose -g = -4*g - 9. Let h(r) = r**2 + 5*r + 2. Let v be h(g). Sort 1, -7, v in decreasing order.
1, v, -7
Let m = -4 + 6. Let i = 0.4 + -0.4. Let p = 5 - i. Sort m, -3, p.
-3, m, p
Let c(q) = 2*q**2 + 7*q - 12. Let a be c(-5). Put 5, a, 2 in ascending order.
2, a, 5
Suppose q + 2 = -3*b - 31, -3*q = -b + 79. Let l be (-102)/q - (-4)/18. Let k be 4 + -5 - (2 