scending order.
s, 3/2, 5, y
Let u(x) = 148*x - 2808. Let f be u(19). Sort f, -4, -3726.
-3726, -4, f
Let i = 6.6 + -9.6. Let t = -31/724 + 46261/362. Let a = 127 - t. Sort a, 5, i.
i, a, 5
Suppose -4*w = u - 149, -w + 42 = 2*u - 4. Sort w, -2, -1.
-2, -1, w
Let k = -36 - -41. Let q(u) = 3*u + 0*u**2 - 20 - u**2 + 7 + 8. Let i be q(0). Put i, 2, k in decreasing order.
k, 2, i
Let q be (-138375)/101250 + ((-26)/(-30) - 1). Sort 25/7, -2/3, q in ascending order.
q, -2/3, 25/7
Suppose -4*q + 2*m + 20 = 0, 2*m = 3*q + 6*m - 15. Suppose -p + 0*p = 5*y + 7, 16 = -5*y + 2*p. Sort 4, q, y, -4 in decreasing order.
q, 4, y, -4
Let b(k) = 31*k + 2576. Let i be b(-83). Suppose 8 = -v - 3*v. Sort v, -12, i.
-12, v, i
Let c = -0.45002 - 0.04998. Sort -1/3, -2, c, 1, 3 in decreasing order.
3, 1, -1/3, c, -2
Suppose -4*q = -3 - 1. Let l be 0/((-4)/5*(-80)/(-224) + (-27)/(-21)). Suppose -2*n = 2*d - 10, d - 11 = -5*n + 2*n. Sort q, l, d in descending order.
d, q, l
Suppose 7*m - 5*m = -j - 13, 0 = -2*j - 3*m - 26. Let u be (6/(-9))/(j/(-15) - 1). Sort 18, u, -2, -5 in descending order.
18, u, -2, -5
Let x = 167/2 - 83. Suppose 0 = t + 4*t - 3*f - 2, -f = -t + 2. Let i be 40/(-90)*(t + 46/20). Sort x, i, -6, 3 in descending order.
3, x, i, -6
Let o = 32 - 28. Suppose 0 = -o*g + 4*c, -3*c + 0*c + 10 = 2*g. Let l be (-27)/36 + g/(-8). Sort 15, l, -3 in decreasing order.
15, l, -3
Suppose 33*j + 22 = 30*j + z, 9*j + 73 = 4*z. Sort -39, -10, j in descending order.
j, -10, -39
Let b(z) = 2*z - 96. Let l be b(49). Sort l, -0.1, -4, -0.875, -1/6 in increasing order.
-4, -0.875, -1/6, -0.1, l
Let b = -822.14 - -821.84. Let y = 36/55 - -2/165. Sort 7, 5, y, b in decreasing order.
7, 5, y, b
Let w(n) = 3*n**3 + n**2 - 6*n. Let f be w(-4). Let i = -1063/7 - f. Sort 3, 10, i in ascending order.
i, 3, 10
Let t = -2413 - -2419. Sort -76, -3, t in increasing order.
-76, -3, t
Let y(c) = c**2 + 2*c + 4. Let x(h) = -1. Let l(g) = -4*x(g) - y(g). Let u be l(-4). Let t be 16/u*(-7)/2. Sort -3, t, 2 in descending order.
t, 2, -3
Suppose 10*r = 6*r + 2*y + 314, -76 = -r + 3*y. Sort 4, r, -3 in ascending order.
-3, 4, r
Let x = -2969 - -2971. Sort -2, -268, x.
-268, -2, x
Suppose -3*z = -2*z + 2. Let a be -2 - 36/(-14) - (-22)/(308/62). Put 4, a, z in decreasing order.
a, 4, z
Suppose -2*z + 10 = -v, 3*v + 7*z = 2*z + 25. Let t = -1717/6788 + 5/1697. Put -5, 2, v, t in decreasing order.
2, v, t, -5
Let q(b) = b**3 - 24*b**2 + 40*b + 89. Let f be q(22). Let p = 23/5 - 51/10. Put f, 0.3, p in decreasing order.
f, 0.3, p
Let d be (-66 + 60)*(20/5)/(-12). Put 4, 2/13, d, -78 in descending order.
4, d, 2/13, -78
Suppose 2551*o + 384 = 2743*o. Let z(w) = w + 3. Let u be z(-2). Put 18, -4, o, u in descending order.
18, o, u, -4
Let l be ((-23)/51 + 2/17)*3. Suppose 9 = -5*a + 4*a + 5*d, 0 = 3*d - 6. Suppose 2*k = u - 14, -2*u + 21 + 2 = -3*k. Put -2, a, u, l in increasing order.
-2, l, a, u
Suppose -2*k = 3*k - 4*x + 13, -3*k + 5 = 4*x. Suppose 2*y + 0*y = 5*y. Suppose 0 = w - y*w + 11. Sort k, w, 0 in increasing order.
w, k, 0
Let y = -48057/11 - -4369. Let p = 41/6 + -69/10. Sort -2/7, p, y in decreasing order.
y, p, -2/7
Let k = 7234 + -15003/2. Let t = k - -268. Sort t, -1/2, 2, -19 in decreasing order.
2, t, -1/2, -19
Suppose 2*k + 15 = -0*k - 3*j, 5*j = -25. Sort 86, k, 1 in descending order.
86, 1, k
Let i = -5769/38 + 152. Let w = i + 6/19. Sort 0.2, -1.7, w, 4.
-1.7, 0.2, w, 4
Let r = -102 + 99. Let x be (-1)/(-18)*-2*(50 - 49). Sort x, r, 3/4 in descending order.
3/4, x, r
Let s be (13/(-21) + 4/14)*-9. Put -2, -289, s, -5 in ascending order.
-289, -5, -2, s
Let j = 8.684 + -8.664. Sort 0, j, 1, -3 in decreasing order.
1, j, 0, -3
Let m(g) = -3*g**2 - 12*g + 5. Let n be m(-11). Suppose -22*b - 34*b + 112 = -28*b. Sort b, 3, -1, n in increasing order.
n, -1, 3, b
Suppose -3 - 33 = -4*y. Let k be (-1)/6 - y/(-27). Sort 2/3, k, 2, -0.08 in decreasing order.
2, 2/3, k, -0.08
Let l be (1 - (-186)/(-210))/(-7*6/(-105)). Let d = 5 + -7. Let r = d - -3. Put 3, l, r in ascending order.
l, r, 3
Suppose g + 19 = 6*n - n, n - g = 7. Let s = -3 + n. Suppose -6*d + 125 = 19*d. Put s, d, 3 in ascending order.
s, 3, d
Let s(r) = 2*r**3 - 4 + 0 + 2*r - 3*r**3 - 6*r**2. Let b be s(-6). Let m be (-56)/(-30) + b/(-120). Put m, -2, 3 in descending order.
3, m, -2
Suppose 0 = -b - i, -2*b - 5*i - 7 = -4*b. Sort -4, 3, 53, -3, b.
-4, -3, b, 3, 53
Suppose 0 = 11*i + 24*i - 2 - 278. Sort 14, i, 6 in decreasing order.
14, i, 6
Let q = -73.88 - -72. Let u = q + -0.12. Let a(i) = i**2 - 23*i + 42. Let m be a(2). Put u, m, 4/3 in descending order.
4/3, m, u
Let i(f) = 23*f - 132. Let k(z) = z + 1. Let a(q) = -i(q) + 6*k(q). Let g be a(8). Suppose 0 = -3*d + d - 4. Sort d, 1, 4, g in ascending order.
d, 1, g, 4
Let h(x) = 189*x - 1714. Let a be h(9). Put 2/11, 0.04, a, 0.1 in descending order.
2/11, 0.1, 0.04, a
Let j = 648989/26 + -24961. Sort 0, j, -4.
-4, 0, j
Let r(v) = 5*v**3 - 3 - 2*v**2 - 6*v**3 + 2. Let c be r(-2). Let d = 416 - 413. Sort -18, c, d in ascending order.
-18, c, d
Let x = -22589 + 22591. Sort -27, 4/9, 0, x.
-27, 0, 4/9, x
Let v be 1/(-1) + (-1 - -1). Suppose 4556 = 19*x - 3272. Let s = 407 - x. Put s, 0, v, 7 in descending order.
7, 0, v, s
Let a be 5 - (0 + (0 - 0)). Let s(f) = 496*f + 2996. Let k be s(-6). Let v be (a/k)/(4/32). Put -4, 5, v, 3 in decreasing order.
5, 3, v, -4
Suppose 2761 + 2827 = -1170*x + 3964*x. Suppose -160 = -4*b + 8*b. Put b, x, 5 in ascending order.
b, x, 5
Let t = 27 - 28. Let l be 27/36*-4 + 5. Put -4, 4, l, t in decreasing order.
4, l, t, -4
Let q be 36/10*(-40)/(-12). Suppose 2*t + 2 = q. Let a(s) = -s**3 - 6*s**2 + s + 2. Let l be a(-6). Put t, l, 43 in ascending order.
l, t, 43
Let r = -1.97 - 0.03. Let y = 2 + r. Sort y, -2/81, 0.4 in decreasing order.
0.4, y, -2/81
Let l = 605.6 + -343.5. Let c = l + -262. Put -0.2, 5, -8, c in ascending order.
-8, -0.2, c, 5
Suppose 0 = 5*v - 25, 4*f - 4*v + 279 = -v. Let p = 68 + f. Sort p, -3, 0 in descending order.
p, 0, -3
Suppose 0 = 2*j + a + 2 + 12, 4*a - 22 = 5*j. Let b = 1896 - 1900. Put j, -3, b, 0 in increasing order.
j, b, -3, 0
Let t = -8998 - -8998.2. Sort 5, -498, -1/4, t.
-498, -1/4, t, 5
Let d = -19 - -11. Let w(q) = -6*q - 38. Let v be w(d). Put 4, v, -4 in descending order.
v, 4, -4
Let w(x) = -x**3 + 18*x**2 + 26*x + 40. Let s be w(20). Let a = -240 - s. Sort 4, a, -11, 3 in decreasing order.
4, 3, a, -11
Let v(a) = 44*a - 134. Let w be v(-15). Let x = w - -807. Put x, -1, 0.5 in ascending order.
-1, 0.5, x
Let w be (((-4)/(-4))/((-142)/(-355)))/(1/2). Suppose 0 + 8 = 4*s. Let g = -12 - -16. Sort w, s, g.
s, g, w
Let t = -1236.4 - -1350. Let n = t + -120.6. Let l = -1 + 1. Sort -1, n, -3, l in descending order.
l, -1, -3, n
Suppose 666*c = 670*c - 2*l - 8, c + l = -4. Let r = -11 - -6. Put -1, -10, c, r in descending order.
c, -1, r, -10
Let y be 11 + 154/42*-3. Put -1, -2, y, 6 in decreasing order.
6, y, -1, -2
Let s = -160484 - -160485. Let u = 4 + -2. Put s, u, -1 in ascending order.
-1, s, u
Let h be 0/(-2)*(221/(-26))/(-17). Let g(d) = -d - 3. Let p = -11 - -7. Let n be g(p). Put n, -1, 5, h in ascending order.
-1, h, n, 5
Let y = 5220 - 36542/7. Let u = -453/8 - -57. Put 0.1, 3, u, y in descending order.
3, u, 0.1, y
Let h be 4 + (-6)/(-1) + -6. Suppose -o = 2*j - 2, -6*j + 2*j + h = o. Let b be 4/(-4*(-2)/4). Put j, b, -3 in decreasing order.
b, j, -3
Suppose 6*k = k + 210. Suppose 17*u = 2139 - 1408. Let v = u - k. Sort -3, -5, v, -4 in decreasing order.
v, -3, -4, -5
Let r(y) = y**3 - 22*y**2 - 23*y - 2. Let d be r(23). Let j be d/9 + 6 + 366/(-54). Sort 2, j, -5.
-5, j, 2
Let r(l) = 2*l - 6. Let f be r(3). Let v(s) = -4*s + 101. Let u be v(23). Suppose -6*k + 4*k - 4*y = 0, -5*k - y - u = 0. Sort f, 1, k in increasing order.
k, f, 1
Let t = 1265 - 1265.6. Put t, 0.3, 5, 3 in increasing order.
t, 0.3, 3, 5
Let o be 15 + -19 - (-9)/1. Suppose -26 = -o*d - 21. Sort d, 3, 8 in descending order.
8, 3, d
Let m(k) = 3*k**2 + 18*k - 22*k + 3 + 11*k. Let b be m(-5). Let q = b - 85/2. Put 1, q, 0.4, 0.2 in ascending order.
0.2, 0.4, q, 1
Suppose -c + 75 = -9*b + c, 0 = 2*b + c + 8. Put 4, -106, b in decreasing order.
4, b, -106
Let a = 1.3 - 1.4. Let c(f) = -12*f**2 + 131*f + 11. Let t be c(11