1, -2*t - 4 = 0. Put x, -5, 4, 45 in decreasing order.
45, 4, x, -5
Let j = 0 + -1. Suppose 3*g + 2*t + 16 = 5*g, -2*g - 5*t + 16 = 0. Put g, -2, j in decreasing order.
g, j, -2
Let o = -1.64 + -2.36. Put 0.01, 0.2, o, 0.11 in descending order.
0.2, 0.11, 0.01, o
Let r(g) = -g**2 + 31. Let h be r(0). Suppose -18 = 4*c - 2*d, 5*d - h = 5*c - 11. Let s be (-4)/(4 - 9 - -1). Put s, c, -8 in decreasing order.
s, c, -8
Let j = -0.2467 + 0.0467. Sort 6.5, j, 1, -0.1 in increasing order.
j, -0.1, 1, 6.5
Let u = -5/4 + 43/28. Let v be (-2)/(-8) + 0 + 9/12. Sort v, -2, u in decreasing order.
v, u, -2
Let w be (1*-2)/(2/(-3)). Let s(q) = q**3 - 14*q**2 + 30*q + 27. Let p be s(11). Sort -7, p, w, 5 in descending order.
5, w, p, -7
Let m = 8762 - 8757. Let p = -11 - -5. Let r(j) = -j - 6. Let n be r(p). Sort m, n, -1 in decreasing order.
m, n, -1
Let w = 259/4 + -64. Let a = -175 + 299. Let v = a - 124.3. Put v, 5, w in decreasing order.
5, w, v
Suppose -29*v + 16 + 100 = 0. Sort -7, -1, v in decreasing order.
v, -1, -7
Let t = -588 + 586. Sort 1/2, 2/3, -58, t in increasing order.
-58, t, 1/2, 2/3
Suppose 3*m + 9 + 77 = -4*o, 3*m + 76 = o. Let d = 26 + m. Suppose x + 4 - 5 = d. Sort -15, x, 3 in ascending order.
-15, x, 3
Let r be -4 + 2 + (-2 - -2). Suppose 4*h - 5 + 13 = 0. Let d = h - r. Put -3, d, -4 in ascending order.
-4, -3, d
Let n be 0 + (-1 + 12/16)*4. Suppose -3*y - 16 = y. Sort 4, n, y in increasing order.
y, n, 4
Suppose 0*v + 5*y + 19 = 2*v, 2*v - 3*y - 9 = 0. Let a = 0.2841 + 1.7159. Put a, -3/8, 10, v in descending order.
10, a, -3/8, v
Suppose 0 = -7*q + 24*q + 34. Put q, 19, 1, -5 in increasing order.
-5, q, 1, 19
Suppose 5*c - 80 = -5*s, -15 = -3*s + 3*c + 9. Put 1, -4, -5, s in ascending order.
-5, -4, 1, s
Let i be (6/(-9))/((-4)/(-6)). Let m = -421 + 428. Sort 1, m, i, 2.
i, 1, 2, m
Let o be -1 - -3 - 1/4*4. Let f = 16 + -25. Put -4, o, f in decreasing order.
o, -4, f
Let a = -9.336 + 9.7. Let c = -0.064 + a. Put -2/11, 0, 6/7, c in decreasing order.
6/7, c, 0, -2/11
Let q be -2 + 3 + 1 + 0. Suppose -38 = -5*v - y, 0 = q*y + 1 - 7. Sort 0, v, 1 in decreasing order.
v, 1, 0
Suppose 0 = -7*g - 3*g + 10. Let j be 3/(-12) - (18/(-8) + 0). Sort j, -4, 3, g in decreasing order.
3, j, g, -4
Suppose 2*m - 3*m + 2 = 0. Suppose n - m*n = 4. Suppose 3 + 3 = 3*q + 3*p, 0 = -3*p. Put q, n, 5 in decreasing order.
5, q, n
Let m be (-1*(-42)/(-616))/((-12)/(-32)). Let n = -4.6 - 52.4. Sort -0.4, n, m in decreasing order.
m, -0.4, n
Suppose 6 = -2*q, -5*f - 4*q + 6*q = -26. Let u(t) = -t - 2. Let s be u(4). Sort s, 0, f.
s, 0, f
Suppose 0 = 4*y + 3*p + 3 + 17, -5*y = 3*p + 28. Let g = -9 - y. Suppose -3*k - w = 11, -2*k + 5*w = -15 - 6. Sort -5, g, k in increasing order.
-5, k, g
Let m = 39 + -90. Let j = m + 47. Let z = -0.27 + -0.03. Sort j, z, -2/7 in decreasing order.
-2/7, z, j
Suppose 0 = j + 5*u - 4, -3*j - 2*u + 12 = -5*u. Let t be -3 + (-6 - (3 + -6)). Let h = t - -11. Sort 0, j, h in ascending order.
0, j, h
Suppose -s + 3*c + 6 = -8, 0 = -5*s + 4*c + 37. Let y = -1 + -1. Let m be 30*y/33 + 4/(-22). Put m, -5, s in descending order.
s, m, -5
Suppose 4 - 76 = 8*u. Let z be 22/(-8) - u/(-36). Sort -2, z, 1 in decreasing order.
1, -2, z
Let s = -186 + 184. Sort -3, s, 9.
-3, s, 9
Let f be -2 + 2 + -7 + 3. Sort f, 5/2, 0.5 in increasing order.
f, 0.5, 5/2
Let b = 1205 - 1210. Let z be (1/(-2))/((-2)/(-40)). Sort z, b, -2 in ascending order.
z, b, -2
Let p = -1769 + 1764. Suppose -4*q = -2*q - 10. Put q, 4, p in descending order.
q, 4, p
Let n = -3.93 - -4. Let l = n - 0.01. Let h = -0.04 - l. Put -1, -0.3, h in descending order.
h, -0.3, -1
Let x be (-2)/(-7)*(-36)/(-72). Sort 0.01, -3, x, 1/12 in descending order.
x, 1/12, 0.01, -3
Let o = 369 + -378. Put o, 0, 4 in decreasing order.
4, 0, o
Let b(m) = -m**2 - 2*m - 3. Let u be b(-2). Suppose j + 2*h + 2 = 3*h, -2*j - 4*h + 8 = 0. Put u, 3, j, -1 in descending order.
3, j, -1, u
Let n(j) = -28*j**2 - 448*j. Let f be n(-16). Sort 2/27, f, 8 in decreasing order.
8, 2/27, f
Let q = 10 + -7. Let l = -26 - 284. Let d = l + 2794/9. Put -4, d, q in decreasing order.
q, d, -4
Let q = 0.053 + -6.253. Let k = 2.2 + q. Let d = 0.2 - 0.3. Sort k, 3/2, d.
k, d, 3/2
Let h be (-15)/18*(-102)/17. Sort h, -73, 1 in ascending order.
-73, 1, h
Let l be -4 + (3 - 4) + 7 + -5. Put 0, 6, l in descending order.
6, 0, l
Suppose 4*o = 2*o. Suppose 0 = 5*p - 2*r - 28, o = 2*p + p - 3*r - 15. Suppose -p = -2*h + 5*h. Sort 0, h, -3 in increasing order.
-3, h, 0
Let i be (26/39)/((-1)/6). Let d be -22 - 0 - i/2. Let k be (-15)/d + (-92)/80. Sort -4/3, -2, k in increasing order.
-2, -4/3, k
Let f be (8/(-6))/((-1)/3). Suppose 3*x = -0*x + 84. Suppose -6*n - 10 + x = 0. Sort -2, n, f in ascending order.
-2, n, f
Let o be (-22)/4*(-30)/(-5). Let m = o + 131/4. Sort -0.2, 3, m, -3/4 in decreasing order.
3, -0.2, m, -3/4
Let g be 0/(-2 + 5 + -2). Suppose g = 2*i - 4*k + 2, -i - k = -0 - 5. Sort i, 4, -2 in decreasing order.
4, i, -2
Suppose g + 3*x - 8 = 0, 3*g + 0*g + x - 48 = 0. Suppose -2*b + 5*c + 7 = 0, -3*c + 2*c + g = -5*b. Sort -2, b, -5 in descending order.
-2, b, -5
Let t = 436 - 386. Sort -3, t, 5 in increasing order.
-3, 5, t
Suppose 4*k - 9 - 7 = 0. Suppose -1 = -w, -k*s = -0*s - 3*w - 5. Put s, -3, 7 in increasing order.
-3, s, 7
Let w = 783 - 783.2. Put -0.3, 0, w, 43 in increasing order.
-0.3, w, 0, 43
Let g(v) = v**3 - 7*v**2 + 6*v + 2. Let q be g(6). Let d be 2 + -7 - 15/5. Let x = -11 - d. Put 5, q, x in increasing order.
x, q, 5
Let n be (40/20)/(-2 - -1). Sort -2/5, 0.1, n in increasing order.
n, -2/5, 0.1
Suppose 3*h + 8 = 3*q - 7, 2*h + 13 = 3*q. Let v(a) = -a**3 - 6*a**2 + 4*a - 21. Let o be v(-7). Put 5, -1, o, h in decreasing order.
5, o, -1, h
Suppose 4*l - 2*t - 26 = 0, -l = 5*t + 3 + 7. Put l, 3, -4 in ascending order.
-4, 3, l
Let o be 48/(-42) - 3/(-21). Sort o, -3, 12, 5 in increasing order.
-3, o, 5, 12
Suppose -14 = -5*u + 1. Suppose -3*d + 0*d = 9. Let x be ((1 + -1)/d)/(-1). Sort x, u, -5 in ascending order.
-5, x, u
Let f = -10.252 - -14.252. Let j = 0 + -0.2. Sort j, -3/8, f, -2/7 in increasing order.
-3/8, -2/7, j, f
Let a(k) = -k**3 - 7*k**2 - 2. Let c be a(-7). Let v = 1 - -1. Suppose -4*p = -n + 22, -2*p + 0*p = v*n + 6. Put c, 5, n in decreasing order.
5, n, c
Suppose 0 = -5*m + 7*m - 8. Suppose -i = i + 10. Let y(f) = 2*f**3 - 4*f**2 + f - 1. Let o be y(2). Sort i, m, o in decreasing order.
m, o, i
Let x be 11/(-4) + 9/12. Sort x, 1, 2, 26.
x, 1, 2, 26
Suppose -6 = -n + 4*n. Suppose 1 = -8*i + 25. Suppose 0 = 5*k - 4*x - i, -6 = -2*k - 2*x + 6. Sort -3, n, k.
-3, n, k
Let t = 46 + -41.3. Let s = 2.7 - t. Sort 0.2, 0.4, s.
s, 0.2, 0.4
Suppose -13 = y - 18. Let s(i) = -i**2 + 4*i - 1. Let u = -14 + 16. Let m be s(u). Put y, m, -4 in ascending order.
-4, m, y
Let r = -9 + 3. Suppose 5*a = -5*u + 10*a, -3*a = 2*u - 20. Sort u, r, 7 in descending order.
7, u, r
Let s be (1 + 0/1)/(-1) + -7. Let c = -12 + 25. Let a = s + c. Sort -4, a, -5 in decreasing order.
a, -4, -5
Let g(k) = -k**3 + k**2 + k. Suppose -4*i - 3 - 7 = -2*n, -i - 15 = -3*n. Let y be g(i). Suppose y*o + 12 = 3*o. Put -4, o, 5 in descending order.
5, o, -4
Suppose 2*c - 3*c = -4. Suppose c*x + 10 = -2. Suppose 5*n = p - 6, -3*n = -2*p + p + 4. Sort n, x, 4 in ascending order.
x, n, 4
Suppose -5*u = -2*x - 4, 3*x + 2*x = -3*u + 21. Put 4, u, -27 in increasing order.
-27, u, 4
Let i = -215 - -203. Put -0.04, 0.5, i in ascending order.
i, -0.04, 0.5
Suppose 82 = -5*d + 4*t, -4*d + 7*d + 5*t + 64 = 0. Let f = -27 - d. Put f, 0, -5, -1 in decreasing order.
0, -1, -5, f
Let b = 4.2 - -27. Let h = -33 + b. Sort 0, 3/2, h in ascending order.
h, 0, 3/2
Suppose 0 = -5*w + 4*n + 22, 2*n + 3*n = -3*w - 9. Suppose 8 = 6*d - w*d. Suppose 4*q + d*l = 14, 6 = q - 2*l + 3*l. Sort -4, -2, q in decreasing order.
q, -2, -4
Suppose -8 = 5*y + 2. Let v(w) = 3*w + 1. Let x be v(y). Suppose 2*h - 3*m = 2*m - 14, 0 = h + 3*m - 15. Sort h, 9, x in descending order.
9, h, x
Suppose -3*r - 9 = 5*m, -4*m - 2 = 32*r - 27*r. Let d = 8 - 5. Let k be -3 + 2*d/(-6). Put k, -0.3, m in descending order.
-0.3, m, k
Let f = -4.156 - 0.044. Let b = f - -4. Let s = -4 - -8. Sort s, 1, b in decreasing order.
s, 1, b
Let s(z) = 56*z - 109. Let l be s(2). Put 