 Sort 4, -4, x, p.
-4, p, 4, x
Let h = 0.2 + -0.3. Let b = 0.8 + -0.4. Let c = 3412 + -3411. Sort c, b, h.
h, b, c
Let t be 21/44 + -1 - (-1254)/4598. Let f = 10/11 + -41/33. Sort f, 23, t, -2 in decreasing order.
23, t, f, -2
Let g(z) = z**2 - 9*z + 8. Let q be g(6). Let r = q + 6. Suppose 40*f + 73*f = 0. Sort f, -2, r in increasing order.
r, -2, f
Let h = -109 - -106. Put h, 2/3, -0.3, 0 in ascending order.
h, -0.3, 0, 2/3
Let b(p) = -3*p**2 - 20*p + 80. Let a be b(-9). Put 1, -0.1, a, -7 in decreasing order.
a, 1, -0.1, -7
Suppose -13*n + 0*n + 1729 = 0. Suppose 0 = 5*h - 113 + n. Sort -2, h, -21.
-21, h, -2
Let w be -5 + 0 - (-27)/3. Suppose 96 = 4*k - 2*n, 29 = k - 5*n - 4. Sort w, k, 5, 3.
3, w, 5, k
Let j be 2 + (37 - -1 - 0). Let r = -41 + j. Sort 0, 2, r in ascending order.
r, 0, 2
Suppose 2*f = -0 - 2. Let b(n) = -2*n + 29. Let c be b(16). Let l be c - (-9 - 3/(-1)). Put f, l, 2 in increasing order.
f, 2, l
Let r be -9 + (-480)/(-50) - 7/(-5). Sort -29, r, -5 in decreasing order.
r, -5, -29
Let v be -6 - (-6 + 165/(-25)). Let k = v - 97/15. Let i be 1 + (1 + -2 - -3). Sort 4, k, i in decreasing order.
4, i, k
Let f be (15/2)/(6/32). Let s = f + -40. Suppose s*m - 4*m = 16. Sort 0, m, 5 in decreasing order.
5, 0, m
Suppose 0 = -45*y + 46*y + 4*w + 10, 3*y - 4*w - 18 = 0. Sort -1, y, -20 in descending order.
y, -1, -20
Let r = 402 + -401.92. Sort r, -5, 0.1 in increasing order.
-5, r, 0.1
Let q = 61/124 + 1/124. Let b = -0.1 + -0.1. Sort q, b, 0, 2/13 in ascending order.
b, 0, 2/13, q
Let a = 246 - 246.5. Put 2/3, a, -2/3 in decreasing order.
2/3, a, -2/3
Suppose q + 4*c - 7*c = 5, -5*q - 4*c = -25. Let o be 4*((-5)/4 + 0). Sort o, q, 0 in increasing order.
o, 0, q
Suppose 70 = 36*i - 110. Sort 1, i, -7 in increasing order.
-7, 1, i
Let i = 0.143 - 0.093. Put -1, i, -0.06 in increasing order.
-1, -0.06, i
Suppose -d - 2*l = 92, 4*d + 338 = 6*l - 8*l. Put d, 1, 5 in descending order.
5, 1, d
Let r(y) = y + 7. Let i be r(-12). Let n be (4/(1 - 3))/(5/(-10)). Sort i, n, -1.
i, -1, n
Let l be ((-61)/244)/(-1*1/(-3)). Put l, 0.5, 0.25, 4 in descending order.
4, 0.5, 0.25, l
Let l = 19.066 + -0.066. Let q = -19.4 + l. Sort 4, 7, q, -0.2.
q, -0.2, 4, 7
Let l(c) = -2*c**2 - 22*c + 5. Let x be l(-7). Let v = x + -62. Sort -5, -6, v, 0 in decreasing order.
0, v, -5, -6
Let p = 22 + -49. Let f = 32 + p. Let t be 1/(3*(-2)/(-12)). Sort t, f, -3 in descending order.
f, t, -3
Let o = 2.7 + -3.35. Let k = 1.05 + o. Sort k, 0, -4.
-4, 0, k
Suppose -3 = -2*p + p. Let c be (-56)/11 + -2 + (-92)/(-44). Put 2, 4, c, p in ascending order.
c, 2, p, 4
Let t = 1 - 5. Let w = 2849 - 2854. Put 3, 0, w, t in ascending order.
w, t, 0, 3
Let j(h) = -9*h + 32. Let o(w) = 10*w - 32. Let m(y) = 7*j(y) + 6*o(y). Let s be m(10). Sort 0, s, 1, 8 in descending order.
8, s, 1, 0
Let x = -2.87 + -0.13. Let c = 1312 - 1308. Sort 2/11, 1/2, c, x in decreasing order.
c, 1/2, 2/11, x
Suppose -4*c - 2*d + 6 = -5*c, -2*d - 2 = 0. Suppose 12 = -3*o + 3. Let q(y) = -y**2 + 2*y + 3. Let r be q(3). Sort r, c, o in increasing order.
c, o, r
Let i = -184 - -180. Suppose -2*x = -27 + 9. Suppose -5*a = -2*a - x. Sort i, -2, a in increasing order.
i, -2, a
Let d be (-2)/13*-1 - 368/2054. Put -1, -1/4, 1, d in increasing order.
-1, -1/4, d, 1
Let t = -2.94 + -0.06. Let l = -5.2 + 2. Let m = l - 2.8. Sort m, t, -2 in descending order.
-2, t, m
Suppose 20 = -4*v + 64. Suppose -v*s + 16 = 5. Put -2, s, -1 in increasing order.
-2, -1, s
Let v = -96 + 92. Let w = 3 + 2. Let d = w - 1. Put -0.4, d, v in descending order.
d, -0.4, v
Let m be 4005/756 + -3 + -1. Let q = m + 1/28. Sort 0, q, 2, -3 in ascending order.
-3, 0, q, 2
Let w be (-2 + 1)*(-3)/(-1). Let p = -34.13 - -34.13. Put p, w, -0.4 in decreasing order.
p, -0.4, w
Suppose 49*t - 35*t + 70 = 0. Let y(a) = 3*a**2. Let c be y(1). Sort -2, t, c in descending order.
c, -2, t
Let y(i) = -41*i + 210. Let o be y(5). Sort -1, 2, o.
-1, 2, o
Let y = 17.2 + -3.2. Let t = 4.6 - 14.6. Let c = y + t. Sort c, -3, 2 in descending order.
c, 2, -3
Let l(u) be the third derivative of -1/2*u**3 - 14*u**2 + 0 - 1/120*u**6 + 3/20*u**5 - 7/24*u**4 + 0*u. Let z be l(8). Put -5, 0, z in decreasing order.
z, 0, -5
Let m = -2.02 + 0.02. Let f = -372 - -2605/7. Sort 0.1, m, f, 1/4 in decreasing order.
1/4, f, 0.1, m
Let n = 36.983 - -0.017. Let i = n + -35. Sort i, 19/5, 1/2 in descending order.
19/5, i, 1/2
Suppose 7*s - 2*s = 25. Let u = 14 - 19. Sort -4, s, 0.3, u in descending order.
s, 0.3, -4, u
Let b(q) = -q**2 - 41*q + 85. Let l be b(-43). Put l, 0, 11 in decreasing order.
11, 0, l
Let u = 29/2 - 15. Suppose 5*l = 1 - 11. Sort 1/4, l, u, -1 in decreasing order.
1/4, u, -1, l
Let o be 4/(96/4) + (-3)/6. Put -5, 1/13, o in increasing order.
-5, o, 1/13
Let y = -7 - -25. Suppose 3*m = y - 183. Let s be 2/(-6) + m/15. Sort 1, -2, s in increasing order.
s, -2, 1
Let x be -3*7/(84/16). Let t = -58 + 44. Put x, -1, t in ascending order.
t, x, -1
Suppose 1 = -c - l, l - 1 = -5*c - l. Let d be 2 + 8/(-4) + c. Sort 2, 4, d.
d, 2, 4
Let m(r) = -r**2 - r + 3. Let a be m(2). Let l be (-55)/19 - 2/2*a. Sort l, -0.2, 0.4, 1/2.
-0.2, l, 0.4, 1/2
Let m be (2 - 5/3)/(16/(-12)). Sort -0.4, m, 65 in descending order.
65, m, -0.4
Suppose 5*z - 3*i = 17, 8 = -z + 4*z - 4*i. Suppose 92*f - 89*f = 0. Put 9, -3, z, f in increasing order.
-3, f, z, 9
Let d(o) = -o**3 + 15*o**2 + 23*o - 114. Let w be d(16). Sort w, 2, -54, -3 in ascending order.
-54, -3, w, 2
Let d = -22 - -21.92. Let m = -2.92 + d. Let a = -34/7 - -36/7. Put a, 1/2, m in descending order.
1/2, a, m
Let i(g) = g**2 + 6*g - 20. Let m be i(-8). Let x = -11 + 9. Put x, m, 1 in decreasing order.
1, x, m
Let w = -2.8 - -2.5. Put 22, w, 0.5, 3/5 in descending order.
22, 3/5, 0.5, w
Suppose 3*n - 2*o = -6*o - 220, 2*n + 148 = -3*o. Let r = -66 - n. Let j be (-2 + 1)/((-2)/6). Put j, -5, r in decreasing order.
j, r, -5
Suppose 2*a + 40 = 46. Suppose a*i - 3*r = -18, 0 = i - 3*r + 1 + 5. Let n(y) = -y**3 - 8*y**2 - 5*y + 9. Let v be n(-7). Put 2, i, v in descending order.
2, v, i
Let x = 5 + -5. Suppose 5*q - 140 = -0*q. Let a = -29 + q. Sort 1, x, a.
a, x, 1
Suppose f - 2*f = 0. Suppose -u - 3*j - 31 = f, 2 = 4*j - 2. Let v be (-10)/(-3)*(-51)/u. Put 3, v, -23 in ascending order.
-23, 3, v
Let l(v) = -v**2 + 7*v + 62. Let s be l(12). Sort -3, 1, s, 3 in descending order.
3, s, 1, -3
Let k = -138.6 - -139. Sort 2, k, 0.2, 4.6 in ascending order.
0.2, k, 2, 4.6
Suppose 17*v - 44 = -61. Let j = -3 - -4. Sort v, -3, j in descending order.
j, v, -3
Let u = 3.94 + -4. Let n = -0.2663 - 0.0337. Sort u, 4, n in ascending order.
n, u, 4
Let a = 3.93 + -5.93. Sort -1/3, 6, 3, a.
a, -1/3, 3, 6
Let p(u) = -u**2 + 14*u + 8. Let q be p(14). Suppose 0*g + q*g = 8. Sort 4, -1, g.
-1, g, 4
Suppose b = -4*x - 17, 4*x + 32 = 5*b - b. Put 0, 4, x in decreasing order.
4, 0, x
Suppose -6*r = -12*r - 234. Sort r, -4, -1 in decreasing order.
-1, -4, r
Let b(n) = -6*n - 2. Let o be b(-2). Put 3, 7, 1, o in descending order.
o, 7, 3, 1
Let m = 28 - 24. Suppose a + 17 = -2*v + v, 0 = v + 3*a + 13. Let t = -17 - v. Put m, t, 1 in decreasing order.
m, t, 1
Let j = -685 + 685.33. Put 0.5, -2, j in decreasing order.
0.5, j, -2
Let m = 1116 + -1115. Sort 161, m, 0, 3 in increasing order.
0, m, 3, 161
Let q = 7 - 10. Let b(m) = -10*m**2 + 31*m - 1. Let f be b(3). Suppose 4*v + 8 = -0*v. Put v, f, q in decreasing order.
f, v, q
Let w(p) = p**2 - 7*p - 25. Let k be w(9). Let c be -1 + -1*(-1 + k) + -2. Sort -3/4, 21, c.
-3/4, c, 21
Let d = 2/1101 - 1109/4404. Sort -1/5, -0.8, -3, d in ascending order.
-3, -0.8, d, -1/5
Let c = 4 - 7. Let w = -0.024 - 0.376. Sort -1/3, c, w in ascending order.
c, w, -1/3
Suppose -2*w - 3*g + 14 = -6*w, -4*g + 16 = -4*w. Sort w, 1, 6 in decreasing order.
6, 1, w
Let b(f) = -29*f - 302. Let x be b(-10). Sort 2, 3, x, -1 in descending order.
3, 2, -1, x
Let o be 3/5 - 74/20*-22. Let b = -77 + o. Put -4, -3, 3, b in descending order.
b, 3, -3, -4
Suppose 2*s = 5*g - 30, 5*s - 2*s + 5*g + 20 = 0. Put 3, -5, 5, s in decreasing order.
5, 3, -5, s
Let b = -181 - -194. Let w = -6 + 10. Sort w, -5, b.
-5, w, b
Let r be 3/(-6) + 121/22. Let j = -1 - -3. Sort -1, j, r in increasing order.
-1, j, r
Let n = 0.1 - 0.17. Let u = -12