 Sort c, -3, 4 in decreasing order.
4, -3, c
Let n = 507 - 504. Sort -4, 28, 5, n in increasing order.
-4, n, 5, 28
Let i be (-2)/6 - (-658)/(-141). Put 4, 1, i, 12 in descending order.
12, 4, 1, i
Let t = 12 + -40. Let w = t - -31. Put w, -1/5, -0.5 in increasing order.
-0.5, -1/5, w
Suppose -i + 6*i = 3*k - 32, -3*k + i + 16 = 0. Let c be (24/(-10))/((-240)/(-400)). Sort -2, c, k, -5.
-5, c, -2, k
Suppose -10*t = 6781 - 6821. Suppose -j - j + 20 = 0. Let h be 2*j/8*2. Sort -1, h, t in ascending order.
-1, t, h
Let u be 133/28 - (-1)/4. Let o(q) = q**3 - 6*q**2 + 7*q - 7. Let s be o(u). Let z be ((-24)/54)/((-2)/s). Sort 2/11, z, -0.5 in descending order.
z, 2/11, -0.5
Let k = 116 - 111.84. Let p = 0.84 + k. Sort 1/4, p, -0.2, -0.5 in decreasing order.
p, 1/4, -0.2, -0.5
Let d = 7964 + -8030.02. Let z = d + 66. Let a be (-2)/10 + 3/(-10). Sort -0.3, a, z in decreasing order.
z, -0.3, a
Suppose -2*g - 5 = 5. Let f = -496 + 498. Sort 3, f, 1, g in descending order.
3, f, 1, g
Let s = 6.83 - 7. Sort 1, -0.2, s in increasing order.
-0.2, s, 1
Let s be (-2 + 8)*(-5)/(-10). Let q = 1.0569 + -0.0569. Put s, q, -1/7 in decreasing order.
s, q, -1/7
Let t = 955 + -925.04. Let h = t - 30. Sort 3, -5/4, h in descending order.
3, h, -5/4
Let v = -11 + 16. Let d(l) = l**3 + 9*l**2 - 12*l - 25. Let t be d(-10). Let j be ((-10)/(-15))/((-1)/(-6)). Put v, j, t in increasing order.
t, j, v
Let p be (-6 - -1)*9/15*-1. Suppose -3*v - 48 = 4*i, v - p*i - 3 = 2*i. Put -3, v, -2 in decreasing order.
-2, -3, v
Let l be ((-58)/5)/(12 - 754/65). Sort l, -25, -2 in increasing order.
l, -25, -2
Let f = -0.18 + 5.18. Sort 32/9, 3, -3, f.
-3, 3, 32/9, f
Let g = 1142/15 + -76. Let m = 32/3 - 12. Sort g, m, -1.
m, -1, g
Let f = -61 + 61.9. Let w(b) = -b**3 + 6*b**2 - 4*b - 1. Let a be w(5). Suppose -4 = 4*t + 4*k, -a*t + 8 + 12 = -2*k. Put t, f, 5 in decreasing order.
5, t, f
Suppose -5*l + 38 = -17. Let u = -12 + l. Let j be 3 + ((-7)/(-3))/u. Sort j, -0.3, -0.1 in ascending order.
-0.3, -0.1, j
Suppose 3*m = 2011 - 2011. Put -2, 3, m, -5 in increasing order.
-5, -2, m, 3
Let r(b) = -b - 2. Let k be r(-5). Suppose -5*g = -3*z - 7, 2*g + 2*z - 8 = -2. Let d be (0/g)/(-4 - -6). Sort 5, d, k.
d, k, 5
Let m = 184 + -186. Put 0.4, m, 0.2, 3/5 in increasing order.
m, 0.2, 0.4, 3/5
Suppose 23*i = 25*i + 3*j + 15, 2*i - 5*j - 25 = 0. Let o be -1 + 3*(-2)/(-3). Put i, 3, o, -1 in decreasing order.
3, o, i, -1
Let y be 38/10 + ((-32)/20)/2. Suppose 3*r + g - 7 = 0, 3*r - g - 32 = y*g. Sort -11, r, 2, -5.
-11, -5, 2, r
Let j = 1538/11 - 140. Let b = 36289/2 + -18145. Put j, -4, -1/8, b in ascending order.
-4, b, j, -1/8
Let q(z) = z**3 + 5*z**2 - 10*z - 54. Let o be q(-4). Put o, -0.13, 0.08 in ascending order.
-0.13, 0.08, o
Let i = 60.1 + -59.8. Put i, 127, 2 in ascending order.
i, 2, 127
Let r be 2*(-5)/2*-1. Suppose 16 = 3*n - 4*w, -r*w - 3 - 22 = -5*n. Let j be (192/(-288))/((-1)/15). Sort n, j, 5 in decreasing order.
j, 5, n
Let g = -3067/11 - -279. Let w be 14/(-21) + (-3)/3. Put -2, 5, g, w in decreasing order.
5, g, w, -2
Let q(o) = 19*o - 113. Let u be q(6). Sort -2, -3, 0, u.
-3, -2, 0, u
Let u(k) = -12*k - 233. Let i be u(-27). Sort -1, i, 0.4 in descending order.
i, 0.4, -1
Let h(s) = -s**3 + 8*s**2 - 6*s - 8. Let a be h(7). Let w be (-16)/((16/4)/4). Let d be 4/w + 54/(-8). Put a, 2, d in decreasing order.
2, a, d
Suppose 2*q = -5*q + 21. Put -3, -9, q, -4 in increasing order.
-9, -4, -3, q
Let o = 74 + -70. Let c = -1.3 - -1.3. Sort o, 1/8, c in decreasing order.
o, 1/8, c
Let t = -0.48 + -4.52. Sort t, -0.4, 0.08, 0 in ascending order.
t, -0.4, 0, 0.08
Suppose 6*c = 4*c - 402. Let k = c + 3017/15. Let n = -2.5 - -3. Sort k, n, -0.4.
-0.4, k, n
Let d be 8/(-12) + 38/3. Let r be (d + -4 + -6)/(0 + 1). Sort r, 7, 0, 2/7 in ascending order.
0, 2/7, r, 7
Suppose 96 = 3*z + 3*z. Let b be (6/46)/((-24)/z). Put -3, b, 1/2 in decreasing order.
1/2, b, -3
Let b = 0.1 + -0.6. Suppose -y = -c + 4*y - 2, -2*c = y - 29. Let g be (-4)/7 + -12 + c. Put g, b, 5 in decreasing order.
5, g, b
Let d = 201.8 - 201.5. Sort -2, -5, d, 3/2.
-5, -2, d, 3/2
Let n(d) = -d**2 - 3*d - 6. Let v be n(-3). Let j(x) = -2*x**2 - 5*x - 9. Let l be j(v). Sort l, -5, 3 in decreasing order.
3, -5, l
Let g = 1409 - 1409.013. Sort 3, g, -3 in descending order.
3, g, -3
Let u = -21.2 - -22. Let f = u + -1.1. Let w = f - -1.3. Put w, 2, 0.2 in increasing order.
0.2, w, 2
Let i = -4.518 - -0.518. Sort -1.6, 2/5, i, -2/3 in increasing order.
i, -1.6, -2/3, 2/5
Let m be (1 + 1)*10/(-12). Let c = 0.06 + -0.026. Let x = 4.966 + c. Put m, x, -1/4 in descending order.
x, -1/4, m
Let b be 1/5 + -1*5/25. Put 1, -23, b in decreasing order.
1, b, -23
Suppose 0*m - 3*m - 3 = 3*a, 0 = a - 3*m - 7. Suppose -2*u = 2*u. Let w = u - a. Sort w, 0, 1 in increasing order.
w, 0, 1
Suppose 30*h = 27*h - 18. Let j(m) = m**3 + 8*m**2 + 15*m + 15. Let t be j(h). Suppose -16 = -5*u - 6. Sort u, t, 5 in decreasing order.
5, u, t
Let u = 2/549 - -1060/10431. Suppose -q - 2 + 3 = 0. Put u, -1/3, q in decreasing order.
q, u, -1/3
Suppose -4*a = -2*b - 32, -6*a + b + 32 = -2*a. Let c(y) = -y**2 + 10*y - 12. Let r be c(a). Let t = -10 - -9. Put 0, r, t in ascending order.
t, 0, r
Let d = -0.223 + -2.777. Put 21/8, 3, 3/4, d in descending order.
3, 21/8, 3/4, d
Suppose 0 = -3*c + 8*c + 55. Let j(l) be the third derivative of l**4/24 + 2*l**3 - 4*l**2. Let m be j(c). Sort m, -0.1, -0.06.
-0.1, -0.06, m
Let q = 94 - 73. Let l be 1/14 - q/(-42). Sort 4/5, l, -1, 1 in descending order.
1, 4/5, l, -1
Let p be (-2 + 5805/(-30))/(2/4). Sort -3, 0, p in decreasing order.
0, -3, p
Let h be (-4)/(-6) + 0 + -1. Let p = -55 - -68. Let v = p - 12.8. Sort h, -5, v.
-5, h, v
Let c(y) = y**3 + 3*y**2 - 3*y - 4. Let l be c(-3). Suppose 3*b - 1 + 16 = 0. Let t = -12 - -14. Put b, l, t in decreasing order.
l, t, b
Let g = -5700/11 - -518. Put 1.6, g, -7 in descending order.
1.6, g, -7
Let p = -0.07 - 0.03. Let u be 14/91 + (-15166)/(-117). Let o = -130 + u. Sort 1/10, o, p in decreasing order.
1/10, p, o
Let s be (80/(-14) - 0) + (-628)/2198. Sort s, -0.2, 2/9, 0.5 in ascending order.
s, -0.2, 2/9, 0.5
Let j be 6/(-7)*(-21)/6. Sort 57/5, -1/2, j.
-1/2, j, 57/5
Let l = -46 - -79. Let f = l + -28. Let k = 25 - f. Sort k, 0, 1.
0, 1, k
Suppose -3*d - 4*d + 6*d = 0. Let a(z) = 3*z**2 + 3 + 2 + z**2 - 5*z**2 + 6*z. Let c be a(7). Sort c, -5, d in descending order.
d, c, -5
Let n be 1 + (26 - (-2 + -1)). Let c be (-2)/1*5/n. Suppose 12 = -2*m - 2*v, 1 = -m - 3*v - 7. Sort c, 1/4, m in increasing order.
m, c, 1/4
Let f(k) = 126*k + 874. Let o be f(-7). Suppose -r = 4*r. Put r, 3, o in ascending order.
o, r, 3
Let f(d) = -4*d - 33. Let l be f(-9). Let t(j) = -3*j**3 - j. Let m be t(-1). Sort m, -5, l, -1 in decreasing order.
m, l, -1, -5
Let a be 2 - ((-4)/3 - (-4)/(-6)). Suppose -59 = 7*c + 4. Sort c, a, 5 in increasing order.
c, a, 5
Let b be (-72)/(-20)*20/6. Suppose -9*k + 15 = -b. Let q(v) = v**2 - 8*v + 6. Let g be q(4). Put g, k, -1 in ascending order.
g, -1, k
Let v be (-2)/(-4) - 57/(-126). Let x = v - 55/21. Suppose -103 = 8*h - 63. Sort x, 2/7, h in ascending order.
h, x, 2/7
Let s be (-3)/12 + (-14)/8. Let j(f) = 2*f**3 + 3*f**2 - f - 2. Let m be j(s). Let d(q) = q**3 - 4*q**2 + q + 3. Let w be d(3). Sort m, 2, w in ascending order.
m, w, 2
Let x = 152 + -154. Sort 0, 4, 3, x in increasing order.
x, 0, 3, 4
Let f(r) = r**3 - 7*r**2 - 8*r - 2. Let n be f(8). Suppose -o + 4*o = 5*k + 2, 2*o - k + 1 = 0. Sort o, 0, 4, n in ascending order.
n, o, 0, 4
Let t(k) = -k**2 - 4*k - 1. Let c be t(-3). Let n be (-3)/c - (-150)/84. Sort 2, n, -3 in ascending order.
-3, n, 2
Let r = 0 - 5. Let l = 13.2 + -14.2. Let v be (-3)/(-6)*(-8)/14. Sort r, l, v in increasing order.
r, l, v
Let b(s) = s**2 - 6*s - 37. Let w be b(-4). Put 75, w, -1, -5 in decreasing order.
75, w, -1, -5
Let n = 4 + -7. Let d = -171 - -170.7. Sort d, -0.2, n, 2 in decreasing order.
2, -0.2, d, n
Let d(g) = -g**3 + 33*g**2 + 71*g - 35. Let a be d(35). Put 3, -9, 4, a in decreasing order.
4, 3, a, -9
Suppose 5*d = -d + 6. Suppose -4*x + 3*x = -d. Sort -6, 3, x.
-6, x, 3
Suppose -13*w - 49 = -6*w. Put w, 0, 1 in increasing order.
w, 0, 1
Let x = -429 - -3859/9. Put -7, 5, x in ascending order.
-7, 