-1604.2 + 1763. Let p = d - 158. Put -2, 1/4, t, p in decreasing order.
t, p, 1/4, -2
Let q be (0 + -1 + -2)/((-27)/18 + 3). Sort 2, 2/37, 1/5, q in descending order.
2, 1/5, 2/37, q
Let x be (-3 - -5) + -2 + -17. Let w = -14 - x. Let q = 26 - 27. Sort w, 5, q in increasing order.
q, w, 5
Suppose 220*u = 223*u - z + 6, 5*z = -u + 14. Sort u, 18, 3, -3, 4 in ascending order.
-3, u, 3, 4, 18
Suppose -1237*i + 27 = -1264*i. Put -45, 2, i, -2 in decreasing order.
2, i, -2, -45
Let k = 23590 - 495388/21. Let f = 29 + -19. Sort -1/3, f, k, -4 in descending order.
f, k, -1/3, -4
Let l = 3288 + -3565. Sort 0, l, -5 in increasing order.
l, -5, 0
Let a = -53 - -53.16. Let p = 1.84 + a. Let u = -463/612 + 1/153. Sort 5, u, p, -2.
-2, u, p, 5
Suppose 4*n - 2*f - 2*f - 32 = 0, -3*n + f = -28. Let o(d) = -17*d + n*d + 13 + 6*d. Let x be o(9). Sort -1, x, 0 in increasing order.
-1, 0, x
Let w be 2/(-14) - (-3 + (-1180)/(-70)). Let a(c) = -10*c - 136. Let y be a(w). Sort -3, y, 3, 123.
-3, 3, y, 123
Let u = -14 + 26. Let n = u - 23. Let p be (21/(-14)*2)/(-1). Put 2/3, p, n in increasing order.
n, 2/3, p
Let m = -10/121 + 112/1089. Put m, -13, 2/5 in ascending order.
-13, m, 2/5
Suppose 0 = 90*l - 92*l + 4. Let k = -3 + 1. Put -2/9, -3, l, k in descending order.
l, -2/9, k, -3
Let u = 38/3 - 67/6. Let d = 675 + -658. Suppose -2*s - 7 + d = 0. Sort -1, u, s.
-1, u, s
Let z = 498.1132 + -0.1132. Let l = z + -501. Put 3/7, 0.5, l, 4 in ascending order.
l, 3/7, 0.5, 4
Suppose -t + 5*t = 0. Suppose 5*z + 41*d - 39*d = 26, 0 = -5*d + 15. Sort z, t, -1 in descending order.
z, t, -1
Let l = -719 - -8636. Let i be 4/(-10) + l/455. Put 1, i, -1 in descending order.
i, 1, -1
Let i = -2073 - -2076. Put 1/9, i, 2/5, 5 in decreasing order.
5, i, 2/5, 1/9
Let l = -296 + 463. Let h = l + -167.5. Let b(a) = -a**2 + 12*a + 9. Let u be b(13). Put 0.1, -1, h, u in descending order.
0.1, h, -1, u
Suppose -14*o + 0*o = 31 + 39. Sort o, -4, -458 in ascending order.
-458, o, -4
Let i(j) = -16*j - 288. Let d be i(-18). Suppose 198 = -d*o - 33*o. Sort -1/2, 5, o in decreasing order.
5, -1/2, o
Let n(r) = 21*r - 101. Let w be n(5). Suppose -g = 5*c + 2, g + 10 = -4*g - w*c. Put -15, g, 1/2 in ascending order.
-15, g, 1/2
Let m(w) = 53*w + 2336. Let n be m(-44). Sort 1, n, -4, 19 in decreasing order.
19, n, 1, -4
Let l be 5/((-90)/(-16))*(-756)/72. Sort l, -0.4, 0, -2/3 in descending order.
0, -0.4, -2/3, l
Let b = 593 + -597. Let n = 18 - -317. Let v = -5027/15 + n. Put -2, -0.1, b, v in descending order.
-0.1, v, -2, b
Let k = -33.89 + 31.89. Sort -0.7, 13, k.
k, -0.7, 13
Let h(w) = 453*w - 6793. Let u be h(15). Sort -8, u, 18, 6 in decreasing order.
18, 6, u, -8
Suppose -150*v - 15 - 135 = 0. Suppose -l = 3*u - 2*l + 8, -u = 5*l - 8. Put -43, -5, v, u in descending order.
v, u, -5, -43
Suppose 80 = -46*u + 51*u. Let r be u/64 - 1/4. Suppose -2*s = 2*i - s + 11, -i + 5*s = 0. Sort i, -4, r.
i, -4, r
Suppose 37*x - 95 = -32*x - 26. Sort x, 0, -2, 2, 5.
-2, 0, x, 2, 5
Suppose 7*z - 20*m + 17*m + 7 = 0, -4 = 4*z + 4*m. Put z, -10, 5, 8, 2 in decreasing order.
8, 5, 2, z, -10
Let f = -36 + 46. Let b be ((-24)/f)/(5/(-25)). Suppose -5*m + 4*a = b, -4*a - 8 = m + 4. Sort 5, 3, m in descending order.
5, 3, m
Let g = 253/60 - 25/6. Let l = -8267 - -8266. Sort l, g, 0.4, 4 in decreasing order.
4, 0.4, g, l
Let o = 202 - 197. Let h = -156 + 156. Put h, 3, -11, o in descending order.
o, 3, h, -11
Let y = 248 + -295. Let x = y + 21. Let q = 8 - 23/3. Put -1/6, q, x in increasing order.
x, -1/6, q
Let q = -571814 - -571811. Let g be 2*2*4/10. Sort q, 4, 3/4, g in descending order.
4, g, 3/4, q
Let v(x) = x**2 - 139*x - 4671. Let o be v(-28). Sort 1, 11, 24, o in ascending order.
1, o, 11, 24
Let m = 4432 - 4432. Suppose -4*b - 16 + 4 = 0. Let s be b + (-4*1)/4. Sort m, s, -10 in ascending order.
-10, s, m
Let v be -3 + (3 + -2)*8. Suppose -l + 2 = f, -5*l - v + 55 = -3*f. Let h be -6 + -3 + l + -3. Put 2, h, 3/2 in decreasing order.
2, 3/2, h
Let p = 5634 - 5638. Sort p, -1, 15 in ascending order.
p, -1, 15
Let p(n) = -4*n**3 - 93*n**2 - 51*n - 648. Let w be p(-23). Suppose 0 = 3*i - 1 - 5. Put w, i, 10 in increasing order.
w, i, 10
Let k = -1 - 4. Let o = -24812.5 + 24813. Let v = 6/7 + -25/21. Sort k, o, v.
k, v, o
Suppose 2*o + 29 = 51. Let j = 263 + -260. Sort j, -3, o, 4 in descending order.
o, 4, j, -3
Suppose 2*r - 3*b = 7, 3*r + 5*b - 20 = -0*r. Sort r, 10, 1, -5, 2 in decreasing order.
10, r, 2, 1, -5
Let l = -191 - -133. Suppose 0 = 12*c - 5*o - 43, -4*c + 11*o + 19 = 14*o. Put c, l, 3 in descending order.
c, 3, l
Let l = -295.9 + 298.9. Put 0, -0.3, l, -2, 2 in ascending order.
-2, -0.3, 0, 2, l
Let g = -155 + 150. Let b = 0.83 - 1.23. Sort 4, b, g.
g, b, 4
Suppose 5*r = 3*m - 619, -4*r - 10*m = -9*m + 485. Let z = -1345/11 - r. Put -1/5, -2/7, z in decreasing order.
-1/5, z, -2/7
Suppose 0 = 5*r + 2*w - 12, 5*r - 5*w - 9 + 4 = 0. Suppose s + 4*s + 3*b = -11, -r*b = 3*s + 6. Sort 2, s, 5 in decreasing order.
5, 2, s
Suppose -7 = -4*y + u, 2*u = -2*y - 11 + 7. Let o = -20 - -11. Let j be (1 - o/(-15))*5. Sort j, y, 5 in ascending order.
y, j, 5
Let c = 0.0277 - 0.1277. Sort 0, -355, c in ascending order.
-355, c, 0
Suppose 3*p - o - 43 = 0, -12*o - 47 = -3*p - 7*o. Suppose 0 = -23*j + p*j - 18. Sort -0.8, j, 0.2, -0.2 in decreasing order.
0.2, -0.2, -0.8, j
Let b be ((-9)/(-81))/((-6)/(-4)). Let r = 3 - -1. Suppose -5*q - 87 = 14*l, 103*l - 98*l + 33 = -2*q. Sort b, -0.4, r, l in increasing order.
l, -0.4, b, r
Suppose 19*z - 16*z - 513 = -j, -3*j - 151 = -z. Sort 0, z, 2.
0, 2, z
Let z = -274.651 - -275. Let a = 8.951 + z. Put -2/7, a, -4 in descending order.
a, -2/7, -4
Let n(m) = -502*m - 43 - 31 + 498*m. Let x be n(-19). Put x, 0, -2 in decreasing order.
x, 0, -2
Let r = -9 - -5.4. Let m = -35.3 - -38.4. Let v = r + m. Sort 3, 7, v in ascending order.
v, 3, 7
Suppose -107*f + 16 = -99*f. Let z = 43 - 43.4. Let c be (-2)/(-14) + (-4)/(-14). Put f, 0.1, c, z in ascending order.
z, 0.1, c, f
Let b = -94.614 - -94.614. Let p = -137/4 - -34. Sort 8, b, p, -0.1 in descending order.
8, b, -0.1, p
Let g = -3084 - -3079. Put 1, g, 27, 0 in decreasing order.
27, 1, 0, g
Suppose 0 = 33*d + 28 - 94. Suppose -12*i - 58 = d. Sort i, -3, -10 in descending order.
-3, i, -10
Suppose -i = -10*i + 36. Let o be 7 - -7*i/(28/(-3)). Suppose 4*f + 27 = -5*u, 3*f + 0*u + 24 = -3*u. Sort f, 1, o, 2 in decreasing order.
o, 2, 1, f
Let w(j) = j**2 + 3*j - 2. Let x be w(-2). Suppose -3*o + 24 = -n, -5*o - 625 = -41*n + 51*n. Put 0, n, -1, x in descending order.
0, -1, x, n
Let o = 0.91 + -1. Suppose 2*y - 7*y = 15, -3*q - 3 = y. Let s be 1/8*(2 + q - -2). Put 4, o, s in descending order.
4, s, o
Let q = -10 - -6. Suppose 3*g = g + 2*f + 30, 0 = 4*g - 3*f - 58. Suppose 4*r + 12*j - g*j = 12, -3*j - 8 = 2*r. Put r, 12, q in increasing order.
q, r, 12
Let n be (2 + 1)/((-9)/(-12)). Suppose 217 = 4*z + 197. Put z, 1, n, -4 in decreasing order.
z, n, 1, -4
Let v = 7.144 + -15.144. Put 3, -4/9, -0.4, v, -5 in descending order.
3, -0.4, -4/9, -5, v
Let q be (-28 + 29)*(6 + 0 + -1). Sort 3, 2, -2, q.
-2, 2, 3, q
Let m be 8/(-10)*(-4 + 9). Let v be 1 + 18 - (-17976)/749. Put v, 3, m in increasing order.
m, 3, v
Let k = 567.4 - 183. Let c = 384 - k. Sort -19, c, 1/5 in increasing order.
-19, c, 1/5
Let h = -198/197 - -28304/26201. Put h, -1, 2 in descending order.
2, h, -1
Let b = -19 + 19. Let c(o) = o + 2. Let g be c(b). Suppose -2*a = -g*i + 2*a - 8, 2*i = 2*a - 12. Put i, -3, 4 in increasing order.
i, -3, 4
Let m(g) = -5*g - 14. Let q be m(-3). Suppose -27 = 4*w - 5*s + 493, 5*w + 645 = 5*s. Put w, q, 2 in increasing order.
w, q, 2
Let i = -0.66 - -3.56. Let b = 7.1 + i. Let d = 10 - b. Put d, 0.4, 0.2 in increasing order.
d, 0.2, 0.4
Let b(z) = z + 14. Let h be b(-10). Suppose -2*d - 2*d + 48 = 0. Suppose 3*n + 21 = -d. Sort 5, n, h in ascending order.
n, h, 5
Let q = -12833 + 12842. Let k = -100 + 803/8. Sort k, -3/2, 0.3, q in ascending order.
-3/2, 0.3, k, q
Let w = 3 + -15. Let j be (-249)/w*2 + -2. Let u = -38 + j. Put u, 0.2, 0, -0.4 in ascending order.
-0.4, 0, 0.2, u
Let l = -123 - -124. Let c(x) = 34*x - 1. Let i be c(l). Suppose -g = n - 6, -n + 6*n - i = -4*g. Sort 4, -1, 5, n in ascending order.
-1,