 Let s = z + 11. Sort a, s, 1 in descending order.
a, s, 1
Suppose -5*v - 77 + 67 = 0. Suppose -m - 12 = 2*m. Suppose -z - 5*t - 11 = 0, 34*z - t - 6 = 38*z. Sort v, m, z, -3 in increasing order.
m, -3, v, z
Let c = -283.7 - -283.6. Suppose 2*n - n = 0. Let v be (1/3)/((-5)/(-12)). Sort n, c, v, 5 in descending order.
5, v, n, c
Let w = -6918 + 6918. Sort 0.5, 0.3, 2/5, w in decreasing order.
0.5, 2/5, 0.3, w
Let x(l) = -l - 4. Let d be x(-10). Suppose -2*t - d = -4. Suppose 7*i + 25*i + 8*i = 0. Put -2, i, t, 2 in ascending order.
-2, t, i, 2
Suppose 2*k = -3*z + 7, -2*z + 1 = 5*k - 11. Suppose 0 = 3*v + 255 + 57. Let b = 107 + v. Put 7, 4, b, z in increasing order.
z, b, 4, 7
Let k be (-3146)/(-7) + (-51)/119. Suppose k = 3*s + 455. Suppose -2*y = 0, -2*y + 5 = -5*o - y. Sort o, s, -5 in increasing order.
-5, s, o
Let u = 647/6270 + -2/627. Let k = 20 + -19.98. Let h = -0.08 - k. Put u, h, -3, -5 in increasing order.
-5, -3, h, u
Let h = -397/3 - -131. Let f = -141 - -145. Sort 1/5, f, -3, h.
-3, h, 1/5, f
Suppose 19 = 4*y + 5*k + 9, -3*k = 3*y - 6. Put -4, -662, y in decreasing order.
y, -4, -662
Let o be (-7 - -19)*2/8 - 19/(-11). Sort o, 2, -0.5.
-0.5, 2, o
Let r be -17 + 1 + -8 + (-760)/(-38). Sort 7, 5, -313, r in descending order.
7, 5, r, -313
Suppose -36482*w = -36479*w + 45. Sort 97, -2, w.
w, -2, 97
Let s be ((-48)/10)/3 - -1. Let w = 5431/2182 - -12/1091. Sort w, s, 4, -3/8.
s, -3/8, w, 4
Let i = 4675 + -23377/5. Put i, -9/11, -3/2, -0.3, -0.1 in ascending order.
-3/2, -9/11, i, -0.3, -0.1
Suppose 1759*x = 1783*x - 24. Put -2, -42, x, 0 in increasing order.
-42, -2, 0, x
Let b = 31 + -27. Suppose 7*x = b*x + 12. Suppose -2*p = -6*p - x. Sort -2, 5, p in ascending order.
-2, p, 5
Suppose -14*y - 12*y = 52. Sort -7, 4, -15, y in decreasing order.
4, y, -7, -15
Let o be -6*5/(-390)*4/86. Let j = o + 545/3913. Put 5, -0.01, j, -1 in increasing order.
-1, -0.01, j, 5
Let m = 357.7 - 77.7. Let f = m - 273. Sort -0.2, 3, -2/13, f.
-0.2, -2/13, 3, f
Let x = -1365.8 - -1366.2. Let j = 9 - 3. Put -0.6, j, x in decreasing order.
j, x, -0.6
Let w be (-11)/2 - (-3)/2. Let o = -1335 - -1334. Sort -194, -3, w, o in descending order.
o, -3, w, -194
Suppose 7*y = -5*z + 2*y - 50, z - y = -8. Let h be ((-4)/6)/((-3)/z). Let l be -4*1/(-7) + (-22)/(-14)*-1. Sort 3, l, 10, h.
h, l, 3, 10
Let f = 3 + 1. Suppose f*p - 2 = 2*p. Suppose -3*r - 8 = 4*q, -2*q - 7 = 4*r + 7. Put p, r, 5 in increasing order.
r, p, 5
Let w(d) = d**2 + 157*d - 812. Let t be w(5). Let y(x) = -2*x**2 + 6*x + 4. Let l be y(3). Sort t, l, 68 in decreasing order.
68, l, t
Let n(v) = v**3 + 6*v**2 + 9*v + 8. Let d be n(-4). Let u be (-2 - -10)/4 - -5. Put u, 3, d in ascending order.
3, d, u
Let t(m) = m**2 - 9*m - 35. Let o be t(-3). Let u = -25 - -21. Put 4, o, u, 33 in decreasing order.
33, 4, o, u
Let f(j) = 15*j + 33. Let d be f(-2). Suppose -w - 2*w = c - 3, -d*w = -4*c + 12. Let n = 1 + 2. Put n, -2, w in descending order.
n, w, -2
Let r = 4/87 - -47/29. Suppose -37*x + 56 = -41*x + 4*g, -2*x = -5*g + 31. Put -3, r, x in increasing order.
x, -3, r
Suppose 2*s = 2*g + 72, -4 - 41 = -s - 2*g. Let q be 42 - s - (-14)/(-6). Put q, -2.1, -6 in decreasing order.
q, -2.1, -6
Let z be (-1 - 1)/((-11)/(33/6)). Let g(m) = m**2. Let o(l) = 2*l**2 - 2. Let k(p) = 3*g(p) - o(p). Let n be k(0). Put n, z, -2, -14 in decreasing order.
n, z, -2, -14
Let m = -4 - -3. Let q be ((-45)/(-18))/((-10)/(-8)) + 10. Suppose 6*f + q + 6 = 0. Put -0.1, m, 1/3, f in ascending order.
f, m, -0.1, 1/3
Let l(x) = x**3 + 14*x**2 - 90*x + 96. Let z be l(-19). Let k(u) = u + 6. Let w be k(-8). Let j be (-1)/2*(-1 - -1). Put w, j, z, 7 in descending order.
7, z, j, w
Let w be 13/3 - (-2)/(-6). Let r = 89609.93 + -89610. Put r, w, 0.22, 1/5 in ascending order.
r, 1/5, 0.22, w
Let u = 75 - 75. Let o be (-110)/88 + (3 - 6 - -4). Put o, u, -41 in ascending order.
-41, o, u
Let g = -1 - -2. Let c = 4165 + -4165. Let r = -5 + 2. Put g, r, c in increasing order.
r, c, g
Let o = -314.74 + 318.74. Sort -1, 298, o, -1/4 in decreasing order.
298, o, -1/4, -1
Let u = -1363.9 - -1363. Let t = -0.2 + 0.6. Put -1/3, u, t, 5 in decreasing order.
5, t, -1/3, u
Let u(j) = -686*j + 677. Let s be u(1). Sort s, -1, 21, -5 in ascending order.
s, -5, -1, 21
Let i be 1 + (-129)/42 - -2. Let m = 335 - 349.1. Let o = -13.9 - m. Sort i, o, 4 in descending order.
4, o, i
Let u = 1837 - 1848. Sort u, 3, -4.
u, -4, 3
Let p = -2.67 - -2.67. Sort -16, p, -0.03.
-16, -0.03, p
Let q(i) = i**3 + 5*i**2 + 5*i + 6. Let z be q(-4). Suppose 0*d = 4*d - 28. Suppose -57*m + 15 = -42*m. Put z, d, m in descending order.
d, z, m
Let p(n) = -n**3 + 9*n**2 + 5*n - 74. Let z be p(8). Let y(i) = -i**3 - i**2 - 2. Let u be y(0). Sort 1, u, z, 5.
u, 1, 5, z
Let z = -41221/6 - -6870. Sort z, 12.7, 6 in descending order.
12.7, 6, z
Suppose 0 = -777*i + 766*i + 11. Let x(g) = 3*g - 4. Let w = 11 - 6. Let r be x(w). Put i, r, -4 in increasing order.
-4, i, r
Suppose 170 = 312*k - 278*k. Let c = -14 + 9. Put c, 4, k, 1 in ascending order.
c, 1, 4, k
Let s = 1/174 + 689/1218. Suppose 2*u = -2 - 0. Let m be u + 2*(-4)/(-32). Sort s, m, -3 in ascending order.
-3, m, s
Let c = -112806 + 112801. Let v = 63 + -45. Sort v, -3, c.
c, -3, v
Let c = 305/2536 - -3/634. Sort -0.09, c, -2 in increasing order.
-2, -0.09, c
Let h = 1050 + -971. Suppose 5*u = u. Sort u, -1, h in increasing order.
-1, u, h
Let h be (989/(-46) + 22)/(-3). Let x be -59 + 1*(2 + 0). Let z = x + 284/5. Put -2/7, 4, z, h in increasing order.
-2/7, z, h, 4
Let i be -2 - (-2 + -4)*(-6)/(-20). Let z(u) = 13*u + 41. Let k be z(-3). Put k, i, -0.4, -1/2 in decreasing order.
k, i, -0.4, -1/2
Let z = 5 + -19/4. Let x be (-22)/24*-2*(-189)/651. Let i = x - -32/31. Sort i, -0.1, -4, z in descending order.
i, z, -0.1, -4
Suppose 3*c + 6 = -2*p, p + 4*p = -c - 15. Let b be ((p + 2)*-3)/(-1). Put b, 0, 4, -7 in descending order.
4, 0, b, -7
Let y be 90/180*(0/(-3) - -2). Put -3, y, -363 in increasing order.
-363, -3, y
Suppose -25*y = -40*y - 13*y - 84. Sort 3, 1, y, 4, 133.
y, 1, 3, 4, 133
Let r be (45/18 + 4)/((-4)/(-16)). Put 3, -3, -4, -2, r in decreasing order.
r, 3, -2, -3, -4
Let y = 14330 + -14330. Let g = 0.5 + 30.5. Sort y, g, -0.2 in decreasing order.
g, y, -0.2
Let i = -4.99 + 118.59. Let x = 119 - i. Let y = 2.4 - x. Sort -2/3, 0.4, y, 0 in ascending order.
y, -2/3, 0, 0.4
Let h = -249 - -244. Let a be 10/(-70) + (-1)/(-7). Put -6, h, 5, a in descending order.
5, a, h, -6
Let r = 16468 + -16443. Put -1, -2, 0, r in descending order.
r, 0, -1, -2
Let v(r) = 379*r - 18196. Let b be v(48). Sort b, -2, 23, -1 in ascending order.
b, -2, -1, 23
Let x be (-1)/(0 - 1) - 1. Suppose x*r = 4*r. Let n(z) = -z**3 + 8*z**2 + 48*z + 2. Let d be n(12). Put r, d, -4 in descending order.
d, r, -4
Suppose 0 = -j + 3, 0 = -z - 4*j + 2*j + 2. Suppose -46*t = -42*t - 4. Sort t, 36, z, 2.
z, t, 2, 36
Suppose 203528*c + 24 = 203520*c. Sort 5, c, 585 in decreasing order.
585, 5, c
Let c(y) = 2*y + 16. Let p be c(-5). Suppose 3*q - 13 = -5*d, d = p*d + 2*q - 12. Let j be ((-108)/20 - -5)/(6/(-15)). Sort -5, d, j.
-5, j, d
Let d be 40/42 + (-2)/7. Let r = -233837 - -233835. Sort 3, -1, d, r in increasing order.
r, -1, d, 3
Let r = 8212 - 8215. Sort r, 174, 3 in decreasing order.
174, 3, r
Let h = 1 - 0. Let q = 851 - 849.6. Put -3/4, q, h in ascending order.
-3/4, h, q
Let k = -979 - -978. Suppose q = -0*q + 8. Put k, 4, 5, q in increasing order.
k, 4, 5, q
Let h = 0.005 - -839.995. Let a = h - 890. Sort 0, a, -2/5.
a, -2/5, 0
Suppose 36 = -3*h - 2*c + 31, -5*h + 3*c - 2 = 0. Let b = 65 - 74. Sort h, -3, b in decreasing order.
h, -3, b
Let a(r) = -4*r + 70. Let s be a(17). Suppose -2*c - 16 = -4*t - 6*c, 7 = -s*t + c. Sort 2, 1, t in decreasing order.
2, 1, t
Let i = 11543 - 11542.995. Sort 1/2, -0.05, i in descending order.
1/2, i, -0.05
Let z = 10069 + -10074. Sort 4, -1, -12, 7, z in descending order.
7, 4, -1, z, -12
Let q = -5243 - -5243. Put 3, 5, q, -117 in decreasing order.
5, 3, q, -117
Let m = -28582 - -28579. Sort 790, m, 1.
m, 1, 790
Let j = 30.082 - -2.918. Put j, 0.2, 2/21 in descending order.
j, 0.2, 2/21
Let q be (-67)/13 - (-22)/143. Let h(c) = 28*c + 229. Let f be h(-8). Put q, -1, f in decreasing order.
f, 