10*t - s*z, -77 = -3*t + 5*z. Let d = -169/5 + t. Sort 5, -5, d in decreasing order.
5, d, -5
Let w = 1 + 0. Let p(r) = -12*r - 158. Let t be p(-17). Sort t, w, -1.
-1, w, t
Let o(f) = f**2. Let c be o(0). Let s = c + -4. Sort -5, 2/11, s, 3 in descending order.
3, 2/11, s, -5
Let c = -735 + 722. Sort c, -1, 4, 1 in decreasing order.
4, 1, -1, c
Let f(b) = -b**3 - 2*b**2 + 5*b + 4. Let q be 1 - 8*2/1. Let m be (-24)/(-20)*q/6. Let n be f(m). Sort 0, n, 5 in descending order.
5, 0, n
Suppose n + 1 = -u, 0 = -3*u - 4*n - n + 1. Sort -13, u, -2 in decreasing order.
-2, u, -13
Suppose 8*r + 30 = 38. Sort -4, 0, r, -39 in decreasing order.
r, 0, -4, -39
Let k = 46.6 - 41.6. Put -0.3, 6, k in increasing order.
-0.3, k, 6
Let q = -129 - -128.9. Put -1, 5, q in decreasing order.
5, q, -1
Let l(u) = u**2 + 3*u + 6. Let r be l(-4). Suppose 2*k = 4*h + r, -k = -3*h + 5*h + 3. Sort -4, 4, h in increasing order.
-4, h, 4
Let t = -793 - -1585/2. Put -1/4, t, -0.2, -1/8 in descending order.
-1/8, -0.2, -1/4, t
Let z be 1 - 0 - 24/15. Let i = -0.56 - -0.16. Let w = i - 0.1. Put w, -0.1, z in decreasing order.
-0.1, w, z
Let a be (-1)/(-2)*(-1 + -1). Let d = -209128/7 + 30103. Let t = -228 + d. Sort t, 4, a in ascending order.
a, t, 4
Let d be (-3)/6*(-244)/(-2). Let i = 59 + d. Sort 2/51, 2/7, i in increasing order.
i, 2/51, 2/7
Let u = 0 + -4. Let g = 3.83 + u. Let h = 3.83 - g. Sort 0.05, 0.5, h.
0.05, 0.5, h
Suppose 2*i - i + 15 = -3*v, 3*i + 3*v = -15. Let s(p) = -p**2 + 7*p - 4. Let k = 0 + 7. Let y be s(k). Sort y, i, 2 in ascending order.
y, i, 2
Suppose 64 = -36*l - 80. Sort l, 1, -144.
-144, l, 1
Let p = -3.04 - -3. Let t = 5623 - 5626. Put t, p, 3 in increasing order.
t, p, 3
Suppose -2*o + 10 = -38. Suppose -6*x + o = -f - x, 8 = 3*f + x. Sort f, 0, -5.
-5, 0, f
Let f = -491 - -481. Sort f, -30, 3 in decreasing order.
3, f, -30
Let g = 166 - 165.759. Let b = 0.041 - g. Sort 0.5, b, -0.1 in descending order.
0.5, -0.1, b
Let d be (-10)/8*4*-1. Sort 4, 31, d in descending order.
31, d, 4
Let g = 41/1360 - -7/80. Sort 242, -3/4, g in increasing order.
-3/4, g, 242
Let i = -244.99 + 245. Sort 3, -5, 0.2, i in increasing order.
-5, i, 0.2, 3
Suppose 0 = -9*t + 354 - 300. Let v(s) = 7 - s + 0 + 0*s + 1. Let f be v(5). Put t, f, 2 in descending order.
t, f, 2
Let q = -96 + 91. Sort -1, -20, -2, q in descending order.
-1, -2, q, -20
Let q be -2 + 1/1 + -3. Suppose -53*b + 315 + 480 = 0. Put 3, q, -5, b in descending order.
b, 3, q, -5
Suppose 2*v + 6 - 24 = m, -5*v + 15 = 0. Let h = m - -10. Let p be 2 - ((-7 - h) + 3). Put p, 0, -3 in decreasing order.
p, 0, -3
Let v = -50 - -51. Let s = v + -1/3. Sort 55, 1, s in decreasing order.
55, 1, s
Suppose -3*f + 3*h = 0, f + 5*h - 33 = -27. Let j = 4 + -8. Sort j, 3, f.
j, f, 3
Let l be ((-32)/520)/(14*1). Let d = -362/455 + l. Sort 0.4, 3, d, -3.
-3, d, 0.4, 3
Let c = 0.6496 + -0.1496. Let v = -78.7 + 75. Let n = v + -0.3. Put n, -0.2, c in decreasing order.
c, -0.2, n
Suppose -50 = 3*w - 5*v, -14 + 50 = -3*w + 3*v. Let a = -4 - -9. Suppose 2*x + x + 4 = -2*g, 3*x + 11 = a*g. Put 1, w, x in decreasing order.
1, x, w
Let o(h) = -8*h - 125. Let d be o(-16). Suppose 3*q + q + 4 = -2*x, q + 1 = -5*x. Put d, 16, x in ascending order.
x, d, 16
Let f = 5.92 - -0.08. Let s = f + -6.4. Let d = -16790 - -16795. Sort -0.5, d, s.
-0.5, s, d
Let i be ((-8)/3)/(((-48)/18)/(-4)). Sort -1, -0.08, -3, i in descending order.
-0.08, -1, -3, i
Suppose 0 = 28*h - 12 + 12. Sort -68, 2, h, -3 in increasing order.
-68, -3, h, 2
Let p(h) = 2*h + 9. Let g(j) = -j**3 + 8*j**2 - 8*j - 3. Let f be g(7). Let x be p(f). Suppose 3*k - 5 = 4. Put k, -1, x in descending order.
k, -1, x
Let z = 1124 + -1124. Sort 172, z, -0.4, -0.2 in descending order.
172, z, -0.2, -0.4
Let q = -5377/5 + 1079. Sort -0.4, q, -3 in increasing order.
-3, -0.4, q
Suppose -3*b + 21 = -5*q, -b - 3*q = -4*b + 15. Suppose 7 = -3*h - 3*w + 4, 4*w = -20. Sort b, h, -2 in decreasing order.
h, b, -2
Suppose -3*l - 2*x + 0*x + 8 = 0, -3*l - 2 = 4*x. Let f be (l + (-510)/84)/((-2)/(-4)). Sort 2, f, -5 in descending order.
2, f, -5
Let b = 400.5 + -400. Sort b, -8, 3, -5 in increasing order.
-8, -5, b, 3
Let h = 110.88 - -5.12. Put h, 1, 3, 0.4 in ascending order.
0.4, 1, 3, h
Let h be (16/10)/(8/40). Suppose -d + 29 = -h. Let o = d + -36. Sort o, 9, -4.
-4, o, 9
Let j = -3397 + 3283.94. Let z = 113 + j. Put -3/7, -5/3, z in decreasing order.
z, -3/7, -5/3
Suppose -2*q = 3*p - 1 + 10, -4*p + 2*q - 26 = 0. Sort 2, p, 41 in decreasing order.
41, 2, p
Let y = -2108 + 2105. Sort 2, y, 9, 0 in descending order.
9, 2, 0, y
Let s(w) = -5*w - 5. Let i be s(-2). Suppose -2*m + 5*r + 6 = -9, i*r = -m. Let v = -10 - -6. Sort v, m, 0.
v, 0, m
Let c(h) = -h**3 - 2*h**2 - 2*h + 4. Let t be c(0). Sort t, 2/9, -4/5.
-4/5, 2/9, t
Let a = -632436 + 332029112/525. Let y = -2/525 + a. Put 16, 4, y in increasing order.
y, 4, 16
Let g = 234 - 119.5. Let l = 115 - g. Put 3/7, -2, l in increasing order.
-2, 3/7, l
Let s = 0.21 - 0.41. Suppose -2*f + 2 = 0, 0 = -r + 6*r - 4*f - 16. Put -1, s, r in ascending order.
-1, s, r
Suppose -2*t - 20 + 4 = 5*s, -2*s - 10 = -t. Suppose -34 = 9*z + 8*z. Put -5, 0, t, z in increasing order.
-5, z, 0, t
Suppose -2*d - i = -40, 7*d - 2*d = -3*i + 98. Suppose -15 = 17*a - d*a. Let r(b) = -b - 8. Let g be r(8). Put a, g, -5 in decreasing order.
a, -5, g
Let b(j) = -j**2 + 7*j + 11. Let a be b(8). Let w be 1680/(-216) - (7/(-9) - -1). Put w, a, 4 in ascending order.
w, a, 4
Suppose 4*m - 8 = -12, -3*m + 7 = -5*y. Sort y, -5, -2/5, 3/5.
-5, y, -2/5, 3/5
Suppose -4*o + 5*d = -2*o + 7, 0 = -3*o - 4*d + 24. Suppose -3*f - 12 = 0, -3*y - o*f - 20 = -7. Let r = -7 + 4. Put y, r, -4 in decreasing order.
y, r, -4
Suppose -18 = 5*y + 2*i, y + 0 + 9 = 5*i. Let b(g) = -g**2 - 4*g + 2. Let a be b(-5). Put a, 1, y in descending order.
1, a, y
Let v = -1.3 + 0.3. Let a = -10.27 - -8.27. Let q = v + a. Put 4, q, -0.3 in increasing order.
q, -0.3, 4
Suppose -7*t + 15 = -2*t. Let z = 148 - 147. Sort -5, z, t in descending order.
t, z, -5
Let x(t) = t + 7. Let k be x(-5). Suppose 0 = k*i + i. Let a = -101 - -99. Put a, -4, i in increasing order.
-4, a, i
Let b = 0.2 - 5.2. Suppose -4*f = -5*p - 45, -28 = -5*f + 3*p + 12. Sort 2, b, f.
b, 2, f
Let u = -0.035 - 0.585. Let g = -0.12 - u. Let r be (1*2)/(-7 + 0). Sort r, 2/3, g.
r, g, 2/3
Let h = -4 + 7. Let x = -76 - -115. Suppose -x = -5*s - 14. Put 0, s, h in increasing order.
0, h, s
Let w = 23.4 - 20. Let b = 1.4 - w. Sort b, 1/5, 1/4 in ascending order.
b, 1/5, 1/4
Let v = -73.973 + 74. Sort -1, v, -0.3, 0.
-1, -0.3, 0, v
Suppose -11*a + 78 = -5*a. Suppose 4*f = a - 1. Put f, -3, 2 in ascending order.
-3, 2, f
Suppose 2*c + 2*p = 12, 0 = -3*c + 9*p - 11*p + 13. Let r = -1.1 + 0.1. Let a = -4 - -2. Sort r, c, a in increasing order.
a, r, c
Let x be (810/216)/((-6)/8). Put x, -3, -14, 5 in descending order.
5, -3, x, -14
Suppose 23*w = 59 + 33. Sort -2, 27, w, 2 in increasing order.
-2, 2, w, 27
Let b be 20 - 22 - 7/(42/(-30)). Let h(d) = -d**3 - d**2 - 2*d - 1. Let u(i) = -i**2 - 5*i - 5. Let q be u(-4). Let r be h(q). Sort b, r, 2.
r, 2, b
Suppose -5*f + 2 = -3*n + 18, 0 = 5*f + n + 28. Let t(i) = 2*i + 8. Let w be t(-4). Sort f, w, 3 in increasing order.
f, w, 3
Let q = -22 + 20. Let j = 0.11 + 1.89. Let z = j - q. Sort 3, z, 1/4.
1/4, 3, z
Let g = 0.058 + 13.942. Let k = g - 18. Let u = 2 + -2.2. Put u, 0, k in descending order.
0, u, k
Let i(o) = -21*o - 5 + 1 + 22*o. Let t be i(6). Let c be 4 - ((-28)/(-24) + t). Sort 0.3, 1, c in descending order.
1, c, 0.3
Let k = 4.05 + -2. Let r = k - 0.05. Let v = 1.5 - r. Put v, -1, -5 in descending order.
v, -1, -5
Let b = -1 - -1. Suppose 0 = -4*c + 2*q - 3*q + 6, 5*c + 2*q - 6 = b. Let n be 3*(-8)/28*14/(-4). Put -5, n, c in descending order.
n, c, -5
Suppose b = -3*p - 11, -5*b + 61 = -5*p + 56. Sort b, 30, 2, -10 in decreasing order.
30, 2, b, -10
Suppose -5*y - 4*l + 0*l + 3 = 0, 15 = -5*l. Let j = 7 + -15. Put 4, j, y in decreasing order.
4, y, j
Let d be 6/26*4/(-6). Let u be (-10)/(-25) + (-2 - (-1)/10). Put -1, u, d in increasing order.
u, -1, d
Suppose -q - 2 - 1 = 0, 0 = -2*p + 4*q + 12. Suppose 21 = 4*k + k - 2*x, 4*x - 8 = p. Sort -4, 0, 1, k.
-4, 0, 1, k
Let v be 197/(-1