5, 3, -4, a in descending order.
5, 3, a, -4
Suppose -6*l + 16 = 4. Let b be (20/8 - l)*6/3. Put b, -1, 5, 3 in decreasing order.
5, 3, b, -1
Let r(a) = a - 4. Let j be r(14). Let h be 5/j*(-8)/20. Sort -1/7, h, -1, 0 in ascending order.
-1, h, -1/7, 0
Suppose 28*g + 15 = 18*g + 5. Sort 120, g, -4 in descending order.
120, g, -4
Let p = 132 - 116. Suppose 0 = 4*v - u + p, 4*v - 2 = 2*u - 14. Put 1.8, v, 0 in increasing order.
v, 0, 1.8
Let r = -36 - -33. Suppose 5 + 31 = 18*u. Suppose -u*c - 15 = -7*c. Sort r, 1, c, 0 in decreasing order.
c, 1, 0, r
Let v = -1935 + 1935. Put -5, 591, -4, v in decreasing order.
591, v, -4, -5
Let y = -1723 - -1723. Sort -3, y, 295 in increasing order.
-3, y, 295
Let s = 1096.7 - 1214. Let f = s + 117. Let v be (10/(-25))/((-1)/(-5)). Sort -2/15, v, -4, f in increasing order.
-4, v, f, -2/15
Let k = 14 - 9. Let z = 283/2 - 132. Sort z, k, -4 in decreasing order.
z, k, -4
Suppose 216*o = 61*o + 1705. Sort -1, o, -29, 0 in decreasing order.
o, 0, -1, -29
Let y(a) = -a + 5. Suppose 5*w + 20 = 5*c, c + 2*w - 19 = -2*w. Let l be y(c). Let i = -4808/9 - -534. Sort l, -3/7, 2/11, i in increasing order.
l, -3/7, i, 2/11
Let z = 1046 + -1044. Sort z, -0.3, 55 in ascending order.
-0.3, z, 55
Let y = 86 + -87. Let p = -55 - -37. Let r = 19 + p. Sort y, -0.5, r in decreasing order.
r, -0.5, y
Let s(m) = -8*m - 45. Let f = -562 - -557. Let y be s(f). Sort 5, 12, y in ascending order.
y, 5, 12
Suppose 0*c = -5*c + 25. Suppose -5 = 5*m + 10, -c*m = -2*f + 17. Suppose 0 = i + 4*t + 1 - 6, 2*i + 3*t = 0. Put -2, i, f, -1 in descending order.
f, -1, -2, i
Let w = -19098.5 + 19099. Suppose 3*s + s = -40. Let a be -8*(3 - s/(-4)). Sort 4/13, a, w.
a, 4/13, w
Let q = -1241 + 1232. Put 1, q, -12/17 in increasing order.
q, -12/17, 1
Let u = -46 + 48.9. Let x = 12 + -13.9. Let a = u + x. Sort a, -0.1, -1, -0.5.
-1, -0.5, -0.1, a
Let w = 7.34 - 7.39. Suppose 0 = q + 5*u - 10, -4*q = -u - 4 - 15. Let g = 10 + -6. Sort g, q, w, -0.5 in increasing order.
-0.5, w, g, q
Suppose r + 21 = 4*m, -3*m + 1 = -4*r - 18. Let i be 2 + (-4 - -2) + 9. Let j be -4*6/16*6/i. Sort 4, 2, j, m in descending order.
m, 4, 2, j
Let p(z) = 23*z**2 - z. Let t be p(-1). Suppose 2*r = 4*o - 36, 0 = 3*o - 2*r + r - 23. Sort -1, o, t.
-1, o, t
Let c = 21447.4 - 21446. Put c, -0.5, 0.1, -4, 0 in decreasing order.
c, 0.1, 0, -0.5, -4
Let s = -14839 - -14841. Suppose 5*d - 4*u + 153 = 0, 18 + 77 = -3*d + 4*u. Sort s, 5, 0, d in ascending order.
d, 0, s, 5
Suppose 0 = -5*j - 108 + 28. Let u be (0 + -4)*12/j. Sort -1, 4, u in ascending order.
-1, u, 4
Suppose 4*m = -4*b - 20, 19*m + 15 = -3*b + 14*m. Let u(x) = x**2 - 15*x + 19. Let p be u(14). Sort -4, p, b, 3 in decreasing order.
p, 3, -4, b
Suppose 3*h = -5*v + 1368, 2*h - 548 = -2*v + h. Let y = 274 - v. Put 3, -5, y in ascending order.
-5, y, 3
Let w be 249/19 + (-32)/304. Put 3, w, -17 in decreasing order.
w, 3, -17
Suppose 2208*l + 7 = 2215*l. Sort l, -7, -5, -4 in descending order.
l, -4, -5, -7
Let p = 34 + -4. Let s = p + -29. Let k be (44/154 - 164/(-14)) + -3. Sort -2, s, k, 5 in ascending order.
-2, s, 5, k
Let l be 8 + (-864)/112 - 103/(-7). Suppose 2*i + 7 = 13. Put i, l, 1 in descending order.
l, i, 1
Suppose -230 = -235*u + 475. Sort 21, u, -3 in ascending order.
-3, u, 21
Let g = -1558/189 + 238/27. Put g, 1, -73 in decreasing order.
1, g, -73
Let q = 0 - 0. Let d = -15323.201 + 15317. Let z = 0.201 + d. Put -2, q, 1, z in descending order.
1, q, -2, z
Let t = 2.93 - 3.249. Let y = 0.619 + t. Put 0.1, -2.6, 6, y in descending order.
6, y, 0.1, -2.6
Suppose -1842*d + 1834*d - 17 = -57. Put 1541, d, -5 in ascending order.
-5, d, 1541
Let x = 65 + -65. Suppose -17 = -4*w - r, -4*r = w - x*r - 23. Put 105, -1, w in ascending order.
-1, w, 105
Let g = -200.42 + 0.42. Let l = g + 203. Let i = 289 + -2027/7. Sort -2, i, 1/3, l in decreasing order.
l, 1/3, i, -2
Let v be 23 + (2 + 7)/(-3). Suppose -72*i - v = -68*i. Put 5, i, 39 in increasing order.
i, 5, 39
Let n be (-3)/1 + 4/((-120)/(-66)). Let q be 623/(-210) - (-1 - 1). Let a = n - q. Sort a, -1, -0.1, 1.
-1, -0.1, a, 1
Suppose 30*s = -13*s - 1032. Let q be 1*(-4)/s - (-4)/264. Put -0.3, 52, q in increasing order.
-0.3, q, 52
Let s be 5 + 1240/(-15) + 2/(-6). Let p = s + 77. Let j = -43 - -41. Sort j, 3, p.
j, p, 3
Let x be (0/(-5))/(-5 - -2). Suppose 4*w = -2*h + 14, -11 = -3*w - 2*h - x*h. Suppose 7*i + 51 = 2*i - 3*r, 3*i + 19 = 4*r. Sort 4, 2, w, i.
i, 2, w, 4
Suppose 323*d = 384*d - 11895. Sort d, 2, -4, -2 in increasing order.
-4, -2, 2, d
Suppose -b - 2*i = -3, 2*b - 14 = 92*i - 88*i. Put 1/3, b, -2/5, -0.05, 4 in decreasing order.
b, 4, 1/3, -0.05, -2/5
Let d be (4/(-7))/(-2*1). Suppose -x - 2*o + 6 = 0, 5 = 2*x - 4*o + 9. Suppose -2 = x*r - 8. Put d, -2/45, -1/2, r in ascending order.
-1/2, -2/45, d, r
Let f = -195 - -197. Suppose 0*w + f = -o + 3*w, -2*o = -5*w + 3. Sort o, 4, 28 in decreasing order.
28, 4, o
Let w = 2713 - 2914. Put -3, -5, 4, w in increasing order.
w, -5, -3, 4
Let y be -2 + 1 - (-2 + -2). Suppose 5*z - 12 = -n - 2*n, -4*z + 12 = 3*n. Let f be 45/(-540) - (-61)/12. Sort f, y, z, 2.
z, 2, y, f
Let q = -28 + 31. Let o = 297 - 298. Sort o, q, -2, -1/4.
-2, o, -1/4, q
Suppose -15*y + 3 = 19*b - 15*b, 2*b = 5*y - 11. Sort y, 2, -1, -6, 5 in increasing order.
-6, -1, y, 2, 5
Let j = 6 - 6. Let q = -3356 - -3360. Sort q, -11, j in decreasing order.
q, j, -11
Let v = 47.49 + -49.79. Sort -1, -12/7, v, 1, 5 in decreasing order.
5, 1, -1, -12/7, v
Let o = -27713.3 - -27713. Sort o, -2/3, 664, 4/3.
-2/3, o, 4/3, 664
Let o = 614 + -199. Let w = o + -414.6. Sort 0.5, w, 3, -8.
-8, w, 0.5, 3
Let n be (-75)/(-24) + -2 - (-79)/(-632). Sort -76, -0.01, -1, n in descending order.
n, -0.01, -1, -76
Let u(g) = -g + 18. Let x be u(16). Let t be 2*(-1170)/24*(-12)/15. Put 0, x, t in decreasing order.
t, x, 0
Suppose 82*l + 49 = -24 - 173. Sort 0, l, -2, 1309 in descending order.
1309, 0, -2, l
Let o be 9/(-18)*14 + 4. Put o, -4, -9 in descending order.
o, -4, -9
Let q(z) = 141*z - 422. Let d be q(3). Let t be -17 - (-3)/1 - -3. Put t, -2, d in decreasing order.
d, -2, t
Let o = -87781/7 + 12540. Let c = 25 - 81. Sort c, 4, o in increasing order.
c, o, 4
Let p(c) = -29*c + 20. Let x be p(-4). Let y = x - 139. Put 4, -6, y in descending order.
4, y, -6
Let a = 3.246 - 3.246. Sort 3, -2, 0.05, a.
-2, a, 0.05, 3
Suppose 0 = -3*y + 6*y - 381. Let p = -5 - y. Let i be (p/8)/3 + 3. Sort -4, -0.1, 1, i in descending order.
1, -0.1, i, -4
Let j(w) = -w**3 - 7*w**2 + 7*w - 3. Let a be j(-8). Suppose -a*u = 20, -2*b - 3*b - 19 = u. Let y = 6 + -10. Put b, -1, 5, y in increasing order.
y, b, -1, 5
Let k = -2385 - -2387. Sort 2/7, k, 3/43, -3 in ascending order.
-3, 3/43, 2/7, k
Let o = 1307/7 - 187. Let j be 19/(-34) - 21/(-357). Sort 0.2, j, 3, o in decreasing order.
3, 0.2, o, j
Let s = -0.8 + 0.8. Suppose -2*q = 1 + 15. Let p(t) = t**3 + 7*t**2 - 7*t + 4. Let i be p(q). Sort -1, -2/7, s, i in ascending order.
i, -1, -2/7, s
Suppose 0 = -7*h - 0*h - 7. Let a be 12/(-20) + (2 - 54/10). Let o = a + 0. Sort o, 2, h in descending order.
2, h, o
Let s(h) = h**3 + 18*h**2 - 38*h + 87. Let q be s(-20). Suppose 0 = -43*m + q*m - 20. Sort -5, m, -4 in decreasing order.
m, -4, -5
Let p = -10 + 26. Let t = -1131 + 1129. Sort t, p, 3.
t, 3, p
Let n = 1392.2 + -1149.2. Sort 5, -0.3, n.
-0.3, 5, n
Let u = -4034 + 3942. Sort -2, 1/3, u.
u, -2, 1/3
Let f = -199 + 198.87. Let d = f + 15.13. Put d, -0.3, 2/15, -2/5 in descending order.
d, 2/15, -0.3, -2/5
Let c = 1.1 - 1. Let s be (6/4*(-182)/2730)/(1/(-6)). Sort c, -2, s in increasing order.
-2, c, s
Let y = -84 + 81. Let p(w) be the third derivative of w**5/60 - 17*w**4/24 - 8*w**3/3 - 22*w**2. Let f be p(18). Put f, 1, y, -2 in increasing order.
y, -2, 1, f
Suppose -5 + 0 = -m. Let x be -2 + m*(5 + -6). Let p be (-52)/182 - 79/x. Sort 5, 0, -2, p in descending order.
p, 5, 0, -2
Let r be 2/(-9) - 80/(-198). Let w = 1039 + -1040.834. Let b = -2.166 + w. Put r, b, 2, -0.4 in decreasing order.
2, r, -0.4, b
Let a = -0.0531 + -0.1469. Let d = 16 - 10. Sort a, -0.5, d in increasing order.
-0.5, a, d
Suppose 0 = 41*r + 4496 - 4537. Sort 2, 20, 14, r in decreasing order.
20, 14, 2, r
Suppose 2290 + 1001 = -8*l - 693. Sort l, 