6 = -0*y + 3*y. Sort -3/7, f, n.
n, -3/7, f
Let w be (2/3)/(22/429). Let s = -16 + w. Suppose -6*t + 7 + 5 = 0. Sort 4, t, s, 5 in decreasing order.
5, 4, t, s
Let d(o) = o**3 + 68*o**2 - 5*o - 336. Let f be d(-68). Put 8, 0, f, 1 in ascending order.
0, 1, f, 8
Let t = 1404/23 - 7112/115. Sort 9, t, 2, 1/3 in ascending order.
t, 1/3, 2, 9
Let v = 9637.5 - 9637. Sort 0.04, -0.6, v, 0.2, -11/4 in increasing order.
-11/4, -0.6, 0.04, 0.2, v
Let k = -158.8 - -270.8. Let h = -0.276 - 111.724. Let i = h + k. Put -4, 9/5, i in decreasing order.
9/5, i, -4
Let d = -16.9 + 5.9. Suppose -6 = -q - 0*q. Suppose 1 - q = -l. Put 2, l, 1, d in increasing order.
d, 1, 2, l
Let b be 57/5 + -11 + 5324/(-10). Let p be (-70)/57 - (-56)/b. Let k = 0 - -21. Put -0.1, -3, k, p in increasing order.
-3, p, -0.1, k
Suppose 0 = -s + 5*a + 6, 3*a = 2*s - 0*a + 2. Let p(j) = -58*j + 2151. Let c be p(37). Let d(i) = i - 6. Let u be d(7). Sort u, c, 2, s in descending order.
c, 2, u, s
Let l = -78.48 + 78.88. Put 0.4751, 5/6, l in increasing order.
l, 0.4751, 5/6
Let v = -185 + 111. Let q = 73.5 + v. Put -9, 0, q in increasing order.
-9, q, 0
Suppose 34*y - 453 = 33*y. Let j = 3168/7 - y. Sort -3/2, j, 4 in decreasing order.
4, j, -3/2
Let d be 6/(-8) - 15/(-4). Suppose -4882*a + 256 = -4963*a + 94. Put d, a, 186 in descending order.
186, d, a
Let r(c) = 5*c**2 - 3*c - 1. Let k be r(1). Put k, 403, -3, 4, -5 in descending order.
403, 4, k, -3, -5
Let m be (-396)/(-594) + (2 + -3)/1. Put 2.29, -1/4, m in decreasing order.
2.29, -1/4, m
Let s = -44422 - -44240. Sort s, 1/2, 5, -2 in descending order.
5, 1/2, -2, s
Let f = -7 + 12. Suppose 7*u - 10*u = -10*u. Suppose 0 = 3*x - 0*x + n + 1, 3*x - n + 5 = u. Put f, -6, 0, x in descending order.
f, 0, x, -6
Let b be (112/6)/(2/3). Let k = b - 83/3. Let h = -11 + 10. Sort h, k, -0.2, 3 in increasing order.
h, -0.2, k, 3
Suppose -3*o - 3 = -3, 2*o = -4*w. Suppose -5*c - 14 + 9 = w. Sort 0, c, 5, -4 in decreasing order.
5, 0, c, -4
Let q = -503.49 + 509.49. Let r = 7 + -8. Sort -0.4, q, 0, r in decreasing order.
q, 0, -0.4, r
Suppose 15*l + 153 = 32*l. Sort 1, l, -8 in descending order.
l, 1, -8
Suppose 3*y = 3*d - 0*d - 12, 2*d - 4*y = 16. Let a be 18/(-2)*(-23 + (-22 - -42)). Sort a, d, -4 in decreasing order.
a, d, -4
Let g = -11 - -11.26. Let r = -133 + 132.64. Let z = r + g. Put z, -0.3, 4 in decreasing order.
4, z, -0.3
Suppose -2544 = 156*u - 14088. Let f be ((-64)/(-5))/(-4) - -3. Put -0.5, f, u, 4 in increasing order.
-0.5, f, 4, u
Let q be -2*(9 + -6)*2/(-3). Let j = 210 - 215. Put j, -2, q in descending order.
q, -2, j
Suppose 3*p - q - 33 = 0, -3 = p - 5*q - 0. Suppose p - 2 = -10*l. Let g be (-2 - 9/(-3))*-17*l. Put g, 5, -1 in ascending order.
-1, 5, g
Let r = -3198/7 + 35164/77. Sort 5/3, -1/5, r, 5, -7.
-7, -1/5, r, 5/3, 5
Suppose -6*c - n = -10*c + 575, 0 = 3*c - 3*n - 438. Let t = 139 - c. Put 7, -1, t in increasing order.
t, -1, 7
Let q = 720 + -675. Let f be (-320)/(-150) - 6/q. Suppose -21 = 3*w - 6. Put f, -2, w in increasing order.
w, -2, f
Let o = 616/3 - 205. Let u = -426 + 425. Sort o, 10/9, u.
u, o, 10/9
Let h = -0.00719 + 0.20719. Sort 4, 0, 17, h, 2/13 in increasing order.
0, 2/13, h, 4, 17
Let p = -22 + 20. Let a(h) = 2*h**3 + 36*h**2 + 4*h + 74. Let d be a(-18). Let o be -7 + (0 - 0) + 2. Sort p, o, 1, d in descending order.
d, 1, p, o
Let r be 38/(-10) + (-1)/5. Let q be 102/14 - r/(-14). Let h(s) = 8*s + 22. Let w be h(-3). Sort q, 3, w, 5 in decreasing order.
q, 5, 3, w
Let y be -12*371/(-21) - -3. Let d = -216 + y. Sort 2, d, -157 in descending order.
2, d, -157
Suppose -4*d + y - 39 = 812, -4*d - 844 = -8*y. Sort -2, d, -4, 2/9.
d, -4, -2, 2/9
Let j = -85 + 93. Suppose 2*z = j*z. Sort z, 3, -12, 2 in descending order.
3, 2, z, -12
Suppose 91*t - 478*t + 41409 = 0. Sort 10, -2, t, -3 in descending order.
t, 10, -2, -3
Let l = -3365 + 3360. Sort -0.243, l, -0.5.
l, -0.5, -0.243
Let n be (48/(-64))/(1/(-4)). Let q be (6 - n)*4/48*4. Sort -2, -21, q.
-21, -2, q
Let k = 383 - 378. Put k, -12, -4, 2 in increasing order.
-12, -4, 2, k
Let s = 242 - -255. Let h be (-4)/(-14) - 142/s. Put 3, 12, h in decreasing order.
12, 3, h
Let b = 18 - 1. Let p = -17 + b. Let k = 1825/4824 - 2/603. Sort 0.19, k, p in ascending order.
p, 0.19, k
Let u = -3435 + 3439. Let m be (-1)/1 - 40/(-44). Sort m, u, 2 in decreasing order.
u, 2, m
Suppose 2*k = -4*y + 10, -5*k - 9*y = -6*y + 10. Let a = -1346 + 1342. Sort a, k, -21, 2.
-21, k, a, 2
Suppose 172*d = 344*d - 181*d. Put -32, 5, d, -11, -1 in increasing order.
-32, -11, -1, d, 5
Let p be 1 + ((-4)/18 - 1). Let a be (4/10)/((-2)/120). Let c be (-9)/12 - 12/a. Put p, c, 9 in ascending order.
c, p, 9
Suppose -3*g + 3*u + 132 = -5*g, 5*u + 340 = -5*g. Let w = 64 + g. Let m(b) = b**3 + 7*b**2 - 9*b - 3. Let a be m(w). Put a, 1, 2, 0 in ascending order.
0, 1, 2, a
Let f = 92609/5 + -18522. Let o = 0.2 - 0. Put f, -3, 2/7, o in increasing order.
-3, f, o, 2/7
Suppose -3*r = -0*r + 3. Suppose -8 = b - 10. Let y be (-14)/4 + 6 + 11/(-2). Put y, 4, r, b in decreasing order.
4, b, r, y
Let i(a) = a - 3. Let k be i(3). Let j be (-11)/(-3) - (k + 3)/(-9). Suppose n + 20 = 3*q + 7, 4*n + 16 = 3*q. Put n, -3, j, -4 in decreasing order.
j, n, -3, -4
Let j(x) = -x**2 + 3*x + 1. Let i be -4*(-3 - -6)/(-3). Let u be j(i). Let a = 592 + -591. Sort u, -4, a, 0.
-4, u, 0, a
Let w = 1 + -6. Let m = -288 + 301. Let d(a) = a**3 - 13*a**2 - 2*a + 23. Let j be d(m). Sort 4, w, j, -4 in decreasing order.
4, j, -4, w
Let a be (-2)/2*-7 - 3. Let r be -2 + 4 + (a - 10). Suppose 18*l + 58 = -60 + 10. Put -5, -7, r, l in descending order.
r, -5, l, -7
Let v be (28/(-21))/((-680)/75 - (3 + -12)). Sort v, 4, 3, 1, 15.
1, 3, 4, 15, v
Let j = -4 + 8. Let x = -371 - -373. Suppose -h - 2*r = -7, -x*h = -5*h - 4*r + 11. Put h, -1, -4, j in decreasing order.
j, -1, h, -4
Suppose 1086 - 358 = -13*h. Let z be 8/4*(h/(-72))/(-7). Let k = 3 - 2. Sort z, k, 3, 5.
z, k, 3, 5
Let z be (-12)/51*(-4)/(3 + -43). Let v = -0.013 + 79.013. Let h = v - 75. Sort z, -2, h.
-2, z, h
Let u = -0.408 - 11.592. Let h be -2 - (-5)/(30/16). Suppose 0 = 10*n - 3*n + 10*n. Sort n, u, h.
u, n, h
Suppose 1142*y = y - 301 - 840. Let u(c) = c**3 + 5*c**2 + 5*c + 1. Let f be u(-4). Put f, y, -5, -4 in descending order.
y, f, -4, -5
Let c be 15/(-30)*(-4 + -2). Suppose -2 = c*z + 10. Sort z, 5, 4, -1 in increasing order.
z, -1, 4, 5
Let i = 44.36 + -44.34. Sort i, 0.4, 2, -84 in ascending order.
-84, i, 0.4, 2
Let h = -5 - -10. Let n = -422 - -424.88. Let r = -2.82 + n. Sort r, -5/3, h in decreasing order.
h, r, -5/3
Suppose -5*z - 4*i = -3*z - 82, 2*z = -5*i + 81. Let n = 44 - z. Let u be (-1)/(-3)*0 + -1 + n. Sort 9, u, 0.3, -0.3 in decreasing order.
9, 0.3, u, -0.3
Suppose 6*i + 1 = 91. Let z be (-3)/(-9)*2 - 10/i. Put 5, -10, z, -3 in decreasing order.
5, z, -3, -10
Let c = 23/458 - 126/229. Let v = 3 + -2.92. Put v, 2/11, 2, c in decreasing order.
2, 2/11, v, c
Let k = -9994 - -9993. Sort k, -5, 138, 5 in descending order.
138, 5, k, -5
Let i be ((-15)/21)/(12/14). Let s = 0.0158 - 43.0158. Sort i, -3, -5, s.
s, -5, -3, i
Let f be (1/(-2)*16/(-42))/((-882)/1029). Sort 3/5, f, -12, -4, 0.24 in descending order.
3/5, 0.24, f, -4, -12
Let w be (-25 + 57)*(-145)/(-40). Sort 5, 4, w, -3 in ascending order.
-3, 4, 5, w
Let f = -27957 - -27956.8. Put -0.4, 4/9, f, 1.67 in decreasing order.
1.67, 4/9, f, -0.4
Suppose 4*f + 86 - 14 = 0. Let n = f + 13. Sort 3, -3, n in ascending order.
n, -3, 3
Let f be (4 - 4) + 0 + 3. Let j = -9779 - -9773. Let o = 1 - -1. Sort j, o, f in descending order.
f, o, j
Let n be -52*(-13)/182 + 12/42. Sort 0.2, -0.2, -1.1, 2/13, n in descending order.
n, 0.2, 2/13, -0.2, -1.1
Let w = -2.556 + 2.856. Let u = 58 + -58. Put w, -1, u, -0.011 in ascending order.
-1, -0.011, u, w
Let m = 0.00429 - 0.50429. Let u = -3.98 + 4. Sort u, m, -0.08 in ascending order.
m, -0.08, u
Let d = -57 + 61. Suppose -m - 6 = -2*a, -d*m + 6 = 2*a - 0*a. Let q be ((-9)/(-12) - 1)/(a/12). Sort -4, q, 13 in descending order.
13, q, -4
Let z(w) = -95*w - 190. Let y be z(-2). Let u = -12 - -20. Sort u, y, 0.4 in ascending order.
y, 0.4, u
Let w be ((-1527)/3054)/(1/(-10)*(-2 + 3)). Sort 84, 3, 1, w in increasing order.
1, 3, w, 84
Let k be