 k, -8 in decreasing order.
p, k, -8
Suppose 14 = 4*l - 6*l. Let a = 12015 + -12007. Sort 1, l, a.
l, 1, a
Let v(l) = -l**3 + 10*l**2 + 24*l - 4. Let z be v(12). Let h(f) = -f**3 - 4*f**2 + 3*f + 7. Let k be h(z). Sort k, -2/53, -4.
k, -4, -2/53
Suppose -3*q = -2*g - 19, -8*g + 3*g - 2*q - 76 = 0. Put g, 46, -5 in descending order.
46, -5, g
Let n = -2.3 - -2. Let b = -2.811 - 1.189. Let h = -337/99 + 35/11. Sort h, 5, n, b in decreasing order.
5, h, n, b
Suppose 116*t - 102*t = -98. Sort t, 35, 1 in ascending order.
t, 1, 35
Let v = -3651 + 3656. Sort v, 31, -2 in increasing order.
-2, v, 31
Let v = 17045 + -17045.2. Put -4, v, 0, 0.22 in decreasing order.
0.22, 0, v, -4
Suppose 3*c - 20*z + 24*z = 211, -5*c + 350 = 5*z. Sort 7, -5, c in increasing order.
-5, 7, c
Let z = 4.05 + -0.05. Let d = 9074 + -9071. Put -4/5, d, -1.2, z in descending order.
z, d, -4/5, -1.2
Suppose -5*i = -14*q + 12*q - 4, -2*i + 1 = -q. Suppose 11 = 3*u - 5*f, 26*f - 2 = i*u + 25*f. Let r be ((-4)/3)/(4/(-6)). Put -4, r, -5, u in decreasing order.
r, u, -4, -5
Let z = -20533 + 20544. Sort z, -55, -6.
-55, -6, z
Suppose 100 = -3*q + l, 28 = -q - 0*q + 3*l. Let p = q - -30. Sort -3/5, 1, 0, p in descending order.
1, 0, -3/5, p
Let j be (-10)/15 + 4/42. Let r be (59/(-118))/((-88)/(-16)). Put j, 4, r in increasing order.
j, r, 4
Suppose 0*f = 4*f - w - 43, 17 = 2*f - 5*w. Let h = 72.4 + -76.4. Put h, -13, f in increasing order.
-13, h, f
Suppose -21*n + 1878 = -27*n. Let k = n + 309. Sort 3, 1, 8, k in increasing order.
k, 1, 3, 8
Let u be (1/(-3))/(5/(-75)). Sort -1/6, 2/11, -0.1, u, 2/149 in decreasing order.
u, 2/11, 2/149, -0.1, -1/6
Let z be (-5)/1*4/5. Let g = 120002 + -120007. Sort 4, z, g, 0 in increasing order.
g, z, 0, 4
Let n = -1513 + 1517. Put n, 21, -3/19 in decreasing order.
21, n, -3/19
Suppose -5*w - 26*w + 114 - 300 = 0. Put 0.2, w, -0.3, -9, -3 in increasing order.
-9, w, -3, -0.3, 0.2
Let n be (-2666)/(-2580) - (3*3/27)/1. Sort 1/3, n, 14, 1.
1/3, n, 1, 14
Let v(w) = 165*w - 2317. Let k be v(17). Sort k, 1, 3.
1, 3, k
Suppose 495*k = 245*k + 247*k. Sort k, -2, -187, -4 in ascending order.
-187, -4, -2, k
Let l = -586 + 577. Let i be -5 - (-1 - -2)*l. Sort i, 0.11, 0.1 in decreasing order.
i, 0.11, 0.1
Let r(l) = 4718*l**2 + 34*l + 34. Let n be r(-1). Sort 4, n, 2 in descending order.
n, 4, 2
Let q = 22143.9 - 22144. Put 3, q, -587 in ascending order.
-587, q, 3
Suppose -4*a - 4*n = -20, 4*a - 9*n = -6*n + 13. Sort 321, -4, a.
-4, a, 321
Let o = -0.6423 + 2.6423. Put -41, 4, o, -1, 2/11 in descending order.
4, o, 2/11, -1, -41
Let c(b) = -3*b - 1. Let n be c(-1). Suppose -8 + 24 = 4*y - 2*j, 5*j + 22 = 4*y. Let f be (y - (n + 2)) + -2. Sort f, -15, -4 in increasing order.
-15, -4, f
Suppose -u - 12 = -0*u. Let g = 16825 + -16831. Sort g, u, 1 in increasing order.
u, g, 1
Let v = -76/29 + 2801/1102. Let o = 0.967 - 0.767. Put o, v, -1/2 in ascending order.
-1/2, v, o
Suppose 26*b + 17 + 4 = -759. Sort b, 2, -8, -4, -1 in decreasing order.
2, -1, -4, -8, b
Suppose -68*y + 53*y = 29*y + 2068. Sort 5, 0, y, -2, -5 in increasing order.
y, -5, -2, 0, 5
Let u be (-2)/3*(-13816)/16. Let m = u - 162329/282. Let l = 135/188 + m. Sort -5, 19/5, l in ascending order.
-5, l, 19/5
Let r = 11 - 9. Let w = -3811 + 3823. Sort r, w, 5 in descending order.
w, 5, r
Let a = 15060 + -15059. Sort 4/35, -3/8, a.
-3/8, 4/35, a
Let r = 2381 + -2372. Put 4, r, 1, -12 in ascending order.
-12, 1, 4, r
Let w(u) = 2*u - 10. Let m be w(8). Let s be 4 - (2 + (-20)/4). Suppose -2*t - s = 3*n - 6, -10 = -2*n - 4*t. Sort n, -1, m in increasing order.
n, -1, m
Suppose 0 = -27*n + 35*n - 16*n - 96. Sort n, -4, -3, 5 in descending order.
5, -3, -4, n
Let c(q) = -8*q**2 + 97*q - 15. Let l be c(12). Sort l, 1/117, -5 in increasing order.
-5, l, 1/117
Let h = 3847 + -3853. Sort 582, 2, h in decreasing order.
582, 2, h
Let w = 19.8 + -3.8. Let s = -4.95 - 0.05. Let y = 2.98842 - -0.01158. Sort w, -0.5, s, y in decreasing order.
w, y, -0.5, s
Let c(m) = -m - 6. Let b be c(-13). Let d(s) = 6*s - 19. Let g be d(b). Suppose 3*k = 4*a + g, -5 - 15 = 4*a. Sort -1, k, -2 in increasing order.
-2, -1, k
Suppose 4*v = 2*o + 2, -23*v + 7 = -3*o - 19*v. Sort 24, 3, -2, o, 19 in descending order.
24, 19, 3, -2, o
Let m = -69 - -70.79. Let y = m + -2.79. Let b = 1.6 + -1.4. Sort -0.4, y, 3/8, b in descending order.
3/8, b, -0.4, y
Let u = -0.402 - -0.102. Suppose 0 = t + 2*t - 6*t. Let z be (10 - 1) + (t - 3) + 0. Sort u, z, 3, -5 in decreasing order.
z, 3, u, -5
Let p be (3 - 1)/(-2) - -3. Suppose -3*f + 2*y = 4*y - 4, -p*f + 3 = y. Suppose 2*u - f = -4. Sort 4, u, 6/11 in descending order.
4, 6/11, u
Let l = -6 - -5. Let s = 163 + -165. Let m(h) = -11*h - 27. Let v be m(s). Sort -13, v, l in decreasing order.
l, v, -13
Let z be 18/(-2) - 4/(-1). Suppose -50*l - 16*l - 63 = 201. Put -34, l, z in decreasing order.
l, z, -34
Let h = 152 - 156. Suppose -o = -5*f + f + 29, 67 = -2*o - f. Let i = -31 - o. Sort 13, 4, h, i in decreasing order.
13, 4, i, h
Let t = 8399 - 58789/7. Sort t, 1/21, -2/3 in decreasing order.
t, 1/21, -2/3
Suppose 214*l - 228*l = 14. Sort -31, l, -5, 5.
-31, -5, l, 5
Suppose w - 2 = -3*u, u + 2451*w - 30 = 2448*w. Let g = 9 + -5. Sort -5, u, g in increasing order.
-5, u, g
Let n = 2.479 + -1.479. Put -0.2, n, -1/57, -10, 0 in descending order.
n, 0, -1/57, -0.2, -10
Suppose 0 = 14*r - 510 + 426. Let o(y) = y**3 + 8*y**2 + 8*y + 1. Let m be o(-6). Suppose -m = -2*k - 3*k. Sort 2, r, 0, k.
0, 2, k, r
Suppose 3*t - 6 - 6 = 0. Let y = 50251 + -50248. Sort 5, t, y, -5 in descending order.
5, t, y, -5
Let t = -35 + 531. Let d = t + -532. Put 2/11, d, 2 in descending order.
2, 2/11, d
Suppose -2*t + l + 1 = 0, 2*t = 7*t + 3*l + 14. Let x be (-450)/12 + t*(-1)/2. Let k = 41 + x. Put -1, k, 2, -19 in increasing order.
-19, -1, 2, k
Let c = -3634 + 3638. Put -11, -4, c, 5, -1 in increasing order.
-11, -4, -1, c, 5
Let m(d) = -d**3 + 9*d**2 - 5*d - 17. Let q be m(8). Let s(r) = r**3 - 7*r**2 - 2*r + 16. Let b be s(q). Put b, 5, 11 in descending order.
11, 5, b
Let z(i) = -3*i**2 + 43*i - 79. Let u be z(12). Sort -54, -3, u in descending order.
u, -3, -54
Suppose 0 = m - 3*m. Let d = -26479 + 26477. Let r(f) = -5*f**2 - f + 1. Let b be r(1). Sort -11, d, b, m in decreasing order.
m, d, b, -11
Let w(r) = 350*r - 1749. Let q be w(5). Put -5, 9, q, -11 in descending order.
9, q, -5, -11
Let i = -4.19 - 6.81. Let r = -2 + 3. Let v = 98 - 103. Sort r, v, i, -0.3 in increasing order.
i, v, -0.3, r
Suppose 55*v + 5 - 5 = -61*v. Let c = -3 - -3.3. Sort -1/2, v, -0.3, c in decreasing order.
c, v, -0.3, -1/2
Suppose -19 + 115 = -32*o. Let x be (-9)/((-18)/(-4)) + -2. Let r be ((-10)/x)/((-9)/18). Sort 5, 2, r, o in decreasing order.
5, 2, o, r
Let f = 514.6 - 509.6. Sort -3, 2/5, f, -5.3, 0.5.
-5.3, -3, 2/5, 0.5, f
Let r = -15136 - -15140. Put -5, -3, -993, r in decreasing order.
r, -3, -5, -993
Let t = 67.84 - 68.04. Sort 1/8, t, 0.2, -0.4, 0.1 in decreasing order.
0.2, 1/8, 0.1, t, -0.4
Suppose -2*s = 10, -2*n + 6*s - 7*s - 17 = 0. Let o be -2 + ((4 - -2) + n)/(-2). Let f = 2.2 - 1.3. Sort f, 0, o.
o, 0, f
Suppose 4*y - n + 11 = 75, -2*y + 32 = 5*n. Suppose 0 = 21*j - y*j - 70. Suppose -3*i + 4 = 4*u, 9*i + 4*u + 28 = j*i. Sort -4, i, -18 in decreasing order.
i, -4, -18
Suppose -2*c + 11 = x, -x - 4 = c - 2*c. Let q be (-6)/27 + (x - (-332)/36). Suppose 121*m - q = 119*m. Sort -3, 3, m, 1 in decreasing order.
m, 3, 1, -3
Suppose w + 13 = 5*b - 6, -3*b = w - 13. Suppose 4*z + 5*n + 1 = 0, 3*z - 2*n - 15 = 13. Sort -25, z, w in descending order.
z, w, -25
Let i = 2.588 - 1.588. Put -0.4, i, 22 in decreasing order.
22, i, -0.4
Let t be 4*6/16*(-48)/(-480). Sort -0.34, 2, t, 5.
-0.34, t, 2, 5
Let n = 0 - 0.3. Let k be -3 + (-50)/(-15) - (-80)/12. Suppose -6*l + k = -l - r, -5*r - 7 = 3*l. Sort 5, -2/11, n, l in ascending order.
n, -2/11, l, 5
Let z(m) = -53*m - 638. Let x be z(-12). Sort x, -4, 5, 10, 3 in ascending order.
-4, x, 3, 5, 10
Let d = 5/11 + 1/22. Let v = -9251.4 + 9249.4. Sort -4, v, d, 0.3.
-4, v, 0.3, d
Let f be -7*1*(-2)/2. Let o(l) = 2986*l + 44793. Let t be o(-15). Put t, 2, f in ascending order.
2, t, f
Let i = 1118/35 - 218/7. Let k = -32 - -42.1. Let q = -10 + k. Sort 4, i, q in incre