 Sort 1, -1, c in increasing order.
-1, 1, c
Let r = 62/985 - 776614/6895. Suppose -t - 334 = 3*q, 0 = q + 5*t + 18 + 70. Let n = q - r. Sort n, -3, 1/4 in ascending order.
-3, n, 1/4
Let y be ((-13)/(-13))/1 - (-10 + -2). Sort y, -2, 7.
-2, 7, y
Suppose 10 = 4*q + 2, -5*q + 20 = 5*r. Sort -18, 0, r in decreasing order.
r, 0, -18
Let s = -1262 + 1261. Suppose 0*m - 5*m = 2*c + 29, 5*c = 5*m + 15. Let w = 3 + c. Put w, s, 3 in descending order.
3, w, s
Let j = 276 + -275.9. Put -3/11, -4, 5, j in increasing order.
-4, -3/11, j, 5
Let n be (-7 + 17)/(-3 - (-2 - 3)). Sort 1, 3, n, -66 in descending order.
n, 3, 1, -66
Let s be 1*-6*(-2)/(-4). Suppose 0 = 2*x + 3*q - 12, 4*q - 18 = -4*x + 2. Suppose 0 = -3*v + 5*p - x, -p = -5*v + 19 - 2. Sort s, v, -4.
-4, s, v
Suppose 0 = -2*w - 8 - 2, 2*w = -2*h - 18. Let m = 7 + h. Suppose -2*l = 8, 5*n + 2 = -m*l - 0. Sort -5, n, -2.
-5, -2, n
Let f = -48 + 33. Let n = f + 11. Sort -2, n, 0.
n, -2, 0
Let s be (-4)/2 - (-29 + 17). Let m = 4 - -1. Sort -2, m, s.
-2, m, s
Let m = -0.0656 + 31.3656. Let k = m - 31. Put 1/3, 0.5, 6, k in ascending order.
k, 1/3, 0.5, 6
Let r be -214*(0 - -3*(-2)/12). Suppose -r*j + 103*j = 0. Put -2, -5, 5, j in descending order.
5, j, -2, -5
Let o = -2.5 - -2.4. Let a = o - 0.8. Let s = a + 0.4. Sort 6, s, -3/8 in ascending order.
s, -3/8, 6
Let r = -231.083 + 251.11. Let t = r + -0.027. Let h = 19.5 - t. Put h, -1.2, 2/11 in ascending order.
-1.2, h, 2/11
Suppose -y + 1 = q, -5*q = -11*y + 8*y + 27. Let g be (2/3)/(4/(-6)). Put q, g, -2, 3 in decreasing order.
3, g, -2, q
Let w(b) = -4*b**2. Let c be w(-1). Let j = c - -2. Let n = 2719 - 2708. Sort n, 5, j in increasing order.
j, 5, n
Let a be 14/(-42)*(0 + 1)*0. Sort a, 5, 9, -5.
-5, a, 5, 9
Let n = 3.622 - -0.098. Let l = n + 0.28. Put 1, l, -1/3 in ascending order.
-1/3, 1, l
Suppose 0*k - k = -1. Let w be 210/28*1/(-10)*-4. Sort k, w, -3 in decreasing order.
w, k, -3
Let d = 339 - 293. Put -2, d, -3, -2/9 in decreasing order.
d, -2/9, -2, -3
Let k = -50 - -49.8. Let l = 8 - 5. Put k, l, 0.1 in descending order.
l, 0.1, k
Let l = 20 + -20. Suppose -23 = 4*g + 2*w - 1, 3*g + w + 18 = l. Sort g, 5, -5.
g, -5, 5
Let d = -2886.33 - -2872. Let c = d - -0.33. Let f = 19 + c. Put f, -0.5, -4 in decreasing order.
f, -0.5, -4
Suppose -19 = 5*f - z, -3*z - 25 = 5*f - 22. Put -35, f, -9 in decreasing order.
f, -9, -35
Let x be (24/(-10) + (-26)/(-65))/(-1). Sort 56, -2, -1, x in decreasing order.
56, x, -1, -2
Let j be -3 - -1 - (3 - 1). Let z(i) = 4*i**2 - 10*i**2 + 1 + 10*i + 3*i**2. Let l be z(3). Sort j, 3, l in increasing order.
j, 3, l
Let k be -29 + -1 - (-27 + 28). Sort -3, k, -4 in decreasing order.
-3, -4, k
Suppose -2*i + 4*t = -5 - 3, 3*i = 2*t + 8. Suppose 4*y = -4*b + 16, -i*y = 3*b - 12 - 4. Put 2, -4, 1, b in increasing order.
-4, 1, 2, b
Let i = 9137/5 + -1827. Sort 1/7, i, -52.
-52, 1/7, i
Let f(b) = -7*b + 13. Let d(o) = -6*o + 12. Let c(w) = 5*d(w) - 4*f(w). Let n be c(5). Sort 0, n, -1 in decreasing order.
0, -1, n
Suppose 0*w = 6*w - 258. Let u = 39 - w. Sort u, -5, 3, 5 in descending order.
5, 3, u, -5
Let p = -11 + 12. Let c be -2 + (-4 - -8)/4 - 2. Put 4, p, c, 5 in decreasing order.
5, 4, p, c
Let l(d) = d**2 + 6*d - 11. Let j be l(-8). Suppose 6 = -j*m + 31. Suppose -6*o + 2*o = -8. Put m, -1, o in ascending order.
-1, o, m
Suppose 0 = 3*s + 28 - 4. Let l(u) = -u**2 - 10*u + 10. Let o be l(s). Let d be o/(-6) + (-6)/9. Sort d, 4, 2.
d, 2, 4
Suppose 3*q + 12 = 3. Suppose 8*n + 5 - 45 = 0. Let u = -1 - -1. Put u, n, q in decreasing order.
n, u, q
Let h(v) = 26*v - 28. Let i be h(1). Sort 186, -5, 3, i in ascending order.
-5, i, 3, 186
Suppose 0*y = 3*i - y + 8, 0 = -y - 4. Let u be 360/88 + (4 + -7 - 1). Put i, 0.5, u in increasing order.
i, u, 0.5
Let r = 184/791 + 6/113. Let h = -0.28 + 0.3. Let l = h + 3.98. Put 2, r, l in decreasing order.
l, 2, r
Let g = 8.8 - 12.8. Let h = -2 + 2. Let v = g + h. Put v, -2, 4 in ascending order.
v, -2, 4
Let x(q) = -q**3 + 3*q**2 + 7*q + 17. Let y be x(5). Suppose 1 + 11 = 4*v. Suppose 8 = 5*r + 28, -b = -v*r - 13. Sort 5, y, b.
b, y, 5
Let g be (1/2)/((11 - 14)/18). Put g, -1, 12, 4 in increasing order.
g, -1, 4, 12
Let g be -1 + -3 - (-58)/2. Let q be (15/g)/(1/5). Sort q, 2, 5 in increasing order.
2, q, 5
Let d = 0.98 + 2.8. Let q = 0.78 - d. Suppose -2*u - 3*u + 24 = v, -3*v = 2*u - 20. Put u, q, 7/2 in descending order.
u, 7/2, q
Suppose -5*n + 2*n = -4*p - 29, -11 = -n + 2*p. Suppose 2*c - 2*f + 8 = 0, 2*c - 5*f = -4 - 13. Suppose 5*x + 5 - 20 = 0. Sort n, x, c.
c, x, n
Let q be ((-4)/10)/((-12)/150). Let k = 1 - 0. Sort 2, q, k.
k, 2, q
Let m = 39 - 40. Let k be (-20)/(-5) + (-1 - m). Let b(i) = i**3 + 4*i**2 + i - 1. Let t be b(-4). Put k, t, 3 in decreasing order.
k, 3, t
Let j = -0.83 - -0.53. Put 7, 1/7, j in increasing order.
j, 1/7, 7
Let m = 920.9 + -921. Let t = 7 - 4. Sort -1, -5, t, m in decreasing order.
t, m, -1, -5
Let a = 0.68 - 0.08. Let g = -1.65 - -0.05. Let w = -1.4 + g. Sort -5, a, w in increasing order.
-5, w, a
Let o = -1170.07 + 1177. Let h = o + -7. Let v = h + -4.93. Sort -0.4, v, 3/5.
v, -0.4, 3/5
Suppose 0 = -45*a - 7*a. Sort -21, -3, a in ascending order.
-21, -3, a
Let g be (-171)/(-19)*(-4)/(-6). Sort g, 1, -1 in decreasing order.
g, 1, -1
Suppose 0 = 9*z - 6*z - 132. Let k = 42 - z. Put -3, -7, k in decreasing order.
k, -3, -7
Let j be 0 - (7/(-1) + 2). Let b be 1/(3/(-15)*9/(-63)). Suppose -65*l + b = -72*l. Sort 4, j, l.
l, 4, j
Suppose 28*y = 25*y + 12, -4 = -2*d - y. Sort -1, d, -29.
-29, -1, d
Suppose 5 = 21*z - 20*z, 5*v - 20 = -5*z. Sort -5, -3, v, 23.
-5, -3, v, 23
Let s = -2081/55715 - -1/1013. Let h = -49/165 + s. Let i = -0.5 - -0.9. Sort i, h, -1/6.
h, -1/6, i
Suppose -54*i + 50*i = -16. Sort 0.4, i, -5, -2/3 in decreasing order.
i, 0.4, -2/3, -5
Let w = -299 + 300. Sort 13, w, -5, 3 in ascending order.
-5, w, 3, 13
Let v = -1070 + 1073. Put 16, v, 8 in ascending order.
v, 8, 16
Let t be 8/(-5) + 2 + 42/120. Let j = -6 + 4. Let k = j - -2.2. Put -0.5, t, k in decreasing order.
t, k, -0.5
Let j = 1 + -6. Let u = j - -4.6. Sort 2/7, u, -16 in decreasing order.
2/7, u, -16
Let p = 10 - 13. Suppose 4*u - 14 + 2 = 0, 3*x - 3*u = -45. Suppose -2*c + 11 = -5*c - 2*z, c + z = -5. Sort x, c, p in decreasing order.
c, p, x
Suppose 2*i - 2*r = 8, 2*r - 6 = -5*i + 14. Let f = 18 + -30. Let q be (9/f)/(-1) - 1. Put -3, i, q in decreasing order.
i, q, -3
Let z = 54 + -57. Let j = -35 - -29.6. Let i = -5 - j. Put 3/2, z, i in descending order.
3/2, i, z
Let c = 31 + -26. Suppose 4*z + c = -z. Let f be (-20)/(-12) + 1/z. Sort 2/13, -2, f in increasing order.
-2, 2/13, f
Let p(o) = -5*o - 12. Let z be p(-4). Suppose z*m = 5*m. Suppose -2*f = -d - 3*d + 20, -2*d + 6 = f. Sort 2, m, f in increasing order.
f, m, 2
Let o = 1 + -4. Suppose -5*k - 10 = -5*p, 3*p = -5*k + k + 6. Suppose k = -19*z + 13*z. Sort z, o, -1 in decreasing order.
z, -1, o
Let f = 2 - -7. Let s be ((-72)/f)/(1*(-1 - -2)). Put s, 0, -1 in ascending order.
s, -1, 0
Suppose -5 = 3*m + 2*b - 28, -21 = -m - 4*b. Suppose -14*i - 5 = 23. Put m, -1, -3, i in descending order.
m, -1, i, -3
Let y be 1*(-1 - 6/(-9))*3. Sort y, -13, 2 in ascending order.
-13, y, 2
Let c be 16/12 - 182/78. Sort 4, -7, c, -15 in descending order.
4, c, -7, -15
Let n be 0 - 0 - (-1 + -1). Let z(r) = -r**3 - 6*r**2 - 4*r - 21. Let u be z(-6). Sort 5, u, n.
n, u, 5
Let b = -0.03 + 0.31. Let c = 2.66 + b. Let v = -3 + c. Sort -2, v, -3.
-3, -2, v
Suppose -135 = -23*f - 20. Sort -63, -3, f, 3 in decreasing order.
f, 3, -3, -63
Let q = 715 - 712. Put -2/13, q, 1/22 in descending order.
q, 1/22, -2/13
Let s = -56 + 92. Let i be (-2)/6 - 21/(-9). Suppose -i*d - s = 4*j, -j = -2*j + 2*d + 1. Put j, 2, 5 in descending order.
5, 2, j
Suppose -36*n = -49 - 23. Sort -4, 4, n in increasing order.
-4, n, 4
Let l = 3.9 + -4.4. Let x = 0.06 - -0.04. Let u = -1 + 2. Sort x, u, l in descending order.
u, x, l
Let q(o) = 2*o - 2. Let j be q(2). Let z = 167/9 + -19. Let l = -3 + 2.7. Put j, l, z in decreasing order.
j, l, z
Let k be (-8)/(-2)*4/8. Let c(t) = -3*t - 2*t - 2 + k*t + 2*t. Let v be c(0). Sort 4, 0, v.
v, 0, 4
Suppose -5 = 20*n - 25*n. Let o be n - (-1 - (2 + 0)). Suppose 2*u = o*u. Sort -1, u, 1 in increasing