 t be 9/z - 66/330. Sort t, -6, 1, 3 in decreasing order.
3, 1, t, -6
Let p = 8.798 - 22.898. Sort -4, -1/3, p, 4.
p, -4, -1/3, 4
Let c = 2152/259 + -318/37. Let v = -0.123 + 1.153. Let f = v + -1. Sort f, c, -1/2, -2 in descending order.
f, c, -1/2, -2
Let h(v) = v**3 + 11*v**2 + 2*v + 18. Let g be h(-11). Suppose -2*y + 50 = 3*l, -2*l + 0*l + 2*y + 20 = 0. Suppose 16*x = l*x + 2. Sort g, 5, x, 3.
g, x, 3, 5
Let g(q) = 7*q + 486. Let a be g(-70). Sort -131, a, 1, 3 in decreasing order.
3, 1, a, -131
Suppose 0 = 199*m - 166 - 33. Put 913, m, 4 in decreasing order.
913, 4, m
Suppose -2*o + 7*o = -a - 22, 206 = -5*a - o. Suppose -3*n + 22 = -5*m, -1 = 3*m + 5. Sort -2, a, n in descending order.
n, -2, a
Let q be (3/2)/((-12)/2). Suppose 35*j - 117*j = 20*j - 510. Sort 3, 1, j, q.
q, 1, 3, j
Suppose 17*f + 728 = -11*f. Let s be (-150)/(-39) + -5 - 4/f. Put s, 2/7, 4, -7 in descending order.
4, 2/7, s, -7
Let t be (-24)/32 + 30/8. Suppose -d - k = -3*d + 2, 0 = 2*k + 4. Suppose g + v + 1 = d, t*g = -v - 3*v. Put -5, g, -9 in descending order.
g, -5, -9
Suppose -76*q - 100*q + 177232 = 0. Sort q, -2/7, 3, 3/4 in decreasing order.
q, 3, 3/4, -2/7
Let t = -0.05893 + -0.44107. Put t, -212.2, 0 in increasing order.
-212.2, t, 0
Suppose 14*t - 9*t - 45 = 0. Suppose -18 = -t*n + 3*n. Sort n, 0, -1, 1 in decreasing order.
n, 1, 0, -1
Let p be 807/(-225) + -2 + (-70)/875. Put -2/31, p, -5 in descending order.
-2/31, -5, p
Let c be 164/38 + 300/(-950). Let u = 24 + -70. Put u, c, 3 in increasing order.
u, 3, c
Let i(r) = r - 4. Let l be i(4). Suppose -m - 369 = -f, -3*f - 1530 = 4*m - 166. Sort -2, l, m in increasing order.
m, -2, l
Suppose 29 = -5*t + 29. Suppose t = h + 3*r - 34, 4*r - 103 = -4*h + 1. Suppose -16 = 3*q - h. Sort 1, 3, q.
1, q, 3
Let r = -21966 + 21965.97. Suppose o + 4*o + 25 = -2*v, 4*v = -o - 5. Put 0.08, -1/2, r, o in increasing order.
o, -1/2, r, 0.08
Suppose -9 = 5*a + 11. Let z = 3.9474 + 0.0526. Let t be (-1)/(-3) - 40/(-15). Sort z, -2, t, a.
a, -2, t, z
Suppose -119*v + 2 = -121*v. Let u be v - (3 - (-90)/(-25)). Put 3, -5, u in descending order.
3, u, -5
Suppose 2*s + 2 = -2*q - 6, -2*q = -s + 2. Let b = -155 - -233. Let f = 82 - b. Put 2, -5, q, f in descending order.
f, 2, q, -5
Let c be (-1)/(((-2)/44)/(8/(-16))). Let g be (27/90*5)/((-18)/(-16)). Sort g, -5, c in decreasing order.
g, -5, c
Let d be 2/(11/(-6)*((-528)/121 + 4)). Sort -3, -1, -2, d, 10 in descending order.
10, d, -1, -2, -3
Let w = 625 - 625.3. Sort -29, -8, w.
-29, -8, w
Suppose 90*v - 114*v - 24 = 0. Sort 186, 7, v in increasing order.
v, 7, 186
Let l = 49.7 - -187.3. Let q = -236.9 + l. Sort -4, 0.5, q, 1.
-4, q, 0.5, 1
Let x = 22 + -20. Let g(p) = -p**2 - 11*p + 4. Let c be g(-11). Sort x, c, -0.4, -1.
-1, -0.4, x, c
Suppose 2 = 3*x - 1. Suppose -22*p - 12 = -25*p. Let l be (2/(-4))/(p/40). Sort 3, x, l.
l, x, 3
Suppose 8*s + 19 = 2 - 15. Sort 0, -1, s, -86 in descending order.
0, -1, s, -86
Let b be (5 + -6)/((-1)/3). Suppose -17 = 2*a + 7*j - 2*j, 0 = -b*a + 5*j + 37. Let d(n) = -n**2 + 8*n - 9. Let l be d(6). Sort -3, a, 1, l in decreasing order.
a, l, 1, -3
Let w = -1960/3 + 7849/12. Suppose -5 + 25 = 5*d. Let y = -4 - -4.1. Sort 2, w, d, y in ascending order.
y, w, 2, d
Let s(u) = -u**2 + 17*u + 60. Let m(v) = v**3 - 9*v**2 + 15*v + 13. Let h be m(7). Let f be s(h). Put 2, -5, f in ascending order.
-5, f, 2
Suppose 0 = p - 3*v + 29, -66*p + 63*p - 7 = v. Put 0, p, 2, 6, 1 in descending order.
6, 2, 1, 0, p
Let i = 626 - 212. Let t = -412.03 + i. Let w = -0.03 - t. Put w, -1, 0.04 in increasing order.
w, -1, 0.04
Let b = -4027 + 4032. Sort 347, b, -1.
-1, b, 347
Let d = 6 - 4. Suppose -3*o - d = 10. Suppose -116*r - 181*r + 1367 + 701 = 220*r. Put o, r, -5 in ascending order.
-5, o, r
Let p = -435.5 + 435. Sort p, 3/14, -8/5 in ascending order.
-8/5, p, 3/14
Let j be (2*1)/(6/15). Suppose -1 = j*m - 11. Suppose 3*d = -2*t - 15, -t + 5*d = -5*t - 27. Put m, -4, 5, t in increasing order.
-4, t, m, 5
Let d = 2143 + -2141. Put d, 802, -1 in decreasing order.
802, d, -1
Let s = 0.185 - -50.315. Let i = -48.5 + s. Sort -5, i, 0.3 in ascending order.
-5, 0.3, i
Let h be 2 - (-187)/(-88) - (-5)/8. Suppose 4*m - 5*m + 4 = 0. Suppose m*r = 3*r - 4. Put h, -1/5, r in ascending order.
r, -1/5, h
Let o(s) = -s**3 - 8*s**2 + 7*s - 14. Let d be o(-9). Suppose 223 = d*h + 239. Sort 5, -2, 3, h in descending order.
5, 3, -2, h
Let a be 1130/370 - (-230)/(-4255). Let m be (-1 + -3)*9/12. Put m, a, 0, -5 in descending order.
a, 0, m, -5
Suppose -72*b - 3360 = -25*b + 1246. Sort 2, b, 5 in decreasing order.
5, 2, b
Let g = -52 + 87. Let u(o) = 18*o - 142. Let c be u(8). Sort c, g, 4 in increasing order.
c, 4, g
Let j = 14211 - 15484. Put -1/2, j, 2/5 in descending order.
2/5, -1/2, j
Let r = 5442 - 5436.9. Sort -1/6, -4, -0.5, r in increasing order.
-4, -0.5, -1/6, r
Let r = -6989 + 6990. Put 3, -6, 5, -55, r in increasing order.
-55, -6, r, 3, 5
Let q = 131 - 127. Put q, 64, -4, 14 in descending order.
64, 14, q, -4
Let o = -4 - -56. Let c = 50 - o. Suppose -3*f = -5*u - 8*f + 15, -2*f + 18 = 5*u. Sort c, u, 0.
c, 0, u
Suppose 2*q - 3*q - 2 = 0. Let l(j) = -4*j + 28. Let a be 4/(((-40)/(-15))/((-28)/(-6))). Let u be l(a). Sort -3, q, -1, u in descending order.
u, -1, q, -3
Let j(n) = 511*n + 33212. Let y be j(-65). Let b = 6 + -4. Put y, 0, -2, b in decreasing order.
b, 0, -2, y
Suppose q + 2*l - 4 + 2 = 0, 0 = 3*q - 4*l - 56. Suppose 0 = 3*i + q, h + 5*i + 10 = -5. Suppose 19 = -3*y - 2*z, 2*y - 3*y + 11 = 5*z. Sort y, h, 1.
y, 1, h
Let p = -8.8168 - -1.8168. Put -0.34, p, 2, -2 in descending order.
2, -0.34, -2, p
Let z be 0 - (19/((-1330)/30) - 3/(-203)). Sort 2/13, -0.3, z in ascending order.
-0.3, 2/13, z
Suppose -5*s = -4*l - 84, 10*l - 9*l + 21 = 5*s. Sort 4, 1, l.
l, 1, 4
Suppose 973 - 973 = -7*o. Suppose -4*p = -10 - 2. Let v = 17 + -15. Put -4, v, o, p in descending order.
p, v, o, -4
Let g = -3191.2 - -3195.2. Let x(f) = -f**2 - 5*f. Let s be x(-3). Let h be 32/(-36) - s/(-9). Put g, 0.2, h, 5 in increasing order.
h, 0.2, g, 5
Let q = 134 - 143.8. Let w = q - 6.2. Put -5, -1/2, 2/5, w in decreasing order.
2/5, -1/2, -5, w
Let a = 84.9 - 85. Sort 0.1, a, 8072 in descending order.
8072, 0.1, a
Let u be 128/(-96) - (970/3)/5. Sort u, -3, 4, -4 in descending order.
4, -3, -4, u
Let a(m) = 49*m - 6. Let j be a(4). Let y = -194 + j. Suppose -5 = -k - 0*k. Put 1, 9, y, k in descending order.
9, k, 1, y
Let f = -2 - 4. Suppose -4 = 2*c + 4*i, 5*c + 7*i = 3*i - 4. Suppose c = -27*h + 13*h - 56. Sort f, h, 2, -3 in decreasing order.
2, -3, h, f
Let y = 558 + -599. Suppose -2*o = -4*j - 22, 2*o - 19 = -2*o + 3*j. Put o, y, -4 in descending order.
o, -4, y
Let o = -208 - -258. Suppose -10*r = -o + 20. Sort -1/4, r, 1.
-1/4, 1, r
Let n = 3 + -3.3. Let w be 1 + (-141)/(-189) - 2. Let g = w + 1/252. Put 0.5, n, -0.1, g in ascending order.
n, g, -0.1, 0.5
Suppose -4*f = -5*f + 3. Suppose 5*l + 19 = -2*y, 5*y - f = 4*l - 1. Let d be (-52)/(-286) + (-159)/(-33). Put l, d, 1 in descending order.
d, 1, l
Let x = -9.923 - -9.863. Let b = -10 - -13. Put -0.2, b, x in decreasing order.
b, x, -0.2
Let g(n) = 51*n - 73. Let p be g(1). Sort 1, -1, p, 6, -2 in increasing order.
p, -2, -1, 1, 6
Let i be 42/(-16) + ((-252)/(-96))/(-7). Sort 0, 5, 4, 20, i in descending order.
20, 5, 4, 0, i
Suppose -10*b + 48 = -2*b. Let x(t) = -t**2 + 6*t - 8. Let y be x(b). Let u be 5/(-3 - y) + 3. Put -0.2, 8, u in decreasing order.
8, u, -0.2
Let u = -661 + 930. Let n = u - 268.71. Let j = -3 - -3.1. Sort j, -2, n in decreasing order.
n, j, -2
Let s = -796/3 - -3974/15. Put 0.013, s, 2/5, -0.3 in descending order.
2/5, 0.013, -0.3, s
Let t = 8 - 3. Let s(h) = h**2 + 10*h + 17. Let d be s(-19). Let n = -185 + d. Put -3, -2, t, n in decreasing order.
t, n, -2, -3
Suppose 5*j = -16 + 1. Suppose 9 - 3 = -2*y, 2*b + 5*y = 19. Suppose 9*n - 62 = -b. Put n, j, -4, 3 in increasing order.
-4, j, 3, n
Let f be (1/2*-11)/(27/(-162)). Suppose 3*t + t - 16 = 0, 167 = -5*h + 3*t. Let x = f + h. Sort x, -6, 1, -1 in decreasing order.
x, 1, -1, -6
Let j = -12 + 7. Let x be 3/(-5)*(-575)/(-460)*240/45. Sort x, -3, j, -2.
j, x, -3, -2
Suppose -220 = 5*o - 2*b + 75, 0 = 4*b - 20. Put o, -32, 4 in decreasing order.
