4/15)*36/5. Sort t, 3, -115 in descending order.
3, t, -115
Let g be 123/328*8/5. Sort 6.1, -3, 15, g.
-3, g, 6.1, 15
Suppose 0 = -2*b - 2, -14*h + 10*h - 5*b + 15 = 0. Suppose 0*n - d = -4*n + 11, -3*n + 4*d + h = 0. Sort n, -4, 4 in ascending order.
-4, n, 4
Let c be (-32)/(-40) + (-48)/10. Let b be (-4)/18 + c*(-3)/(-108). Put b, -4, -3 in decreasing order.
b, -3, -4
Let w be ((-15)/(-6))/((-20)/(-16)). Suppose -q = 2*g + 12, 2*q + w = g + 3. Let s(l) = -8*l - 1. Let y be s(-2). Sort 4, g, y in decreasing order.
y, 4, g
Suppose 419*w + 75*w - 1664 = 78*w. Put w, 3, 275, -18 in descending order.
275, w, 3, -18
Suppose 2*v + 4 = -4*l + 6, 4*v - l = -14. Suppose -41 = -7*r - 20. Put -13, v, -4, r in ascending order.
-13, -4, v, r
Suppose 944*n - 4*u + 14 = 946*n, 2*n - 13 = -3*u. Let v = 20 + -28. Let g = v - -4. Sort n, -3, g in descending order.
n, -3, g
Suppose -3*s + h = 8, -129*h = s - 132*h. Let c(x) = 3*x - 19. Let i be c(6). Put i, -63, s in decreasing order.
i, s, -63
Let u = -140 - -422/3. Let b = 778 + -777.9. Let d = -5.9 + -1.1. Put u, b, d in decreasing order.
u, b, d
Let z be -3 - (-6 + 56)/10 - -6. Suppose 4*w + 0*w - 98 = k, 5*w = -4*k + 133. Sort w, z, -5.
-5, z, w
Let g = 30527 + -30526.8. Put -3/5, g, -1, 4/5, 0.1 in descending order.
4/5, g, 0.1, -3/5, -1
Let x be (5/(-6))/((-34)/(-12240)*60). Suppose -4*u - 6 = -5*u. Let s be 4/(-10) + u/(-10). Sort -2, -7, x, s in increasing order.
-7, x, -2, s
Suppose -2*a = 3*o + 14, 0 = -81*o + 77*o + a - 4. Sort o, -62, 2, -5.
-62, -5, o, 2
Let k = -120 + 133. Suppose -k*t = -23*t. Put 1, 29, t in descending order.
29, 1, t
Let t = -15 + 10. Let z = 31065.8 - 31066. Sort -0.3, 1, t, z in ascending order.
t, -0.3, z, 1
Suppose -11 - 35 = 49*r + 101. Sort r, 0, -21, -23 in ascending order.
-23, -21, r, 0
Suppose -5*f + 205 = 45. Let y = f - 23. Suppose 3*w + n = -1 - y, n = 5*w + 6. Sort w, 1, 0.2 in increasing order.
w, 0.2, 1
Let l = 90474/25 - 3619. Sort l, -4, -2, 2, -0.2 in ascending order.
-4, -2, -0.2, l, 2
Let w be (-70)/280 - (-1)/2. Sort 0.06, 1/6, -0.2, w, 3 in increasing order.
-0.2, 0.06, 1/6, w, 3
Let w = 4825 - 4827. Let q = -9.2 + 9.5. Put -0.01, 5, q, w in decreasing order.
5, q, -0.01, w
Let w = -6019 + 6017. Put w, 38, 2, 0 in ascending order.
w, 0, 2, 38
Suppose d - 32 = 4*a - 3*d, -3*a - 4*d + 4 = 0. Let b be 0/(-6) + -4 + -1. Sort a, 58, b.
b, a, 58
Let l = 1305 + -1578.1. Let w = -273 - l. Let g = -2.93 - 0.07. Sort -4, -2/7, g, w.
-4, g, -2/7, w
Let j be (38/(-12)*26/(-247))/(1/15). Put -11, j, -13, -2, -3 in decreasing order.
j, -2, -3, -11, -13
Let k be (2 - 10)/(2 - 4). Let s(j) = 4*j**2 - 7*j - 2. Let x be s(-1). Suppose -4 = 41*t - 86. Sort k, x, t in descending order.
x, k, t
Suppose 8*f = 4*f - 4. Let s = -429 + 434. Sort s, -5, f, 2 in ascending order.
-5, f, 2, s
Let j be (-13)/(-52) - 22/(-8). Suppose 3*z = -j, z = -3*h - 0*z + 53. Let a be 12/h + 22/(-6) - 2. Put -0.2, a, -1, -2/13 in decreasing order.
-2/13, -0.2, -1, a
Let d be (84/(-18) + 3)/(-1). Sort -0.5, -1/3, -2/21, d in increasing order.
-0.5, -1/3, -2/21, d
Let c = -64 - -257/4. Let o = 2699/6174 + 5/686. Let a be 54/21 - (0 + 2). Sort o, a, -1/4, c.
-1/4, c, o, a
Let z be -3 + (5/5 - -2). Suppose 0*q - 16 = 2*q + 4*p, z = -3*p - 15. Sort 4, q, 35, 1.
1, q, 4, 35
Let x(b) = 5*b**2 - 34*b + 28. Let g be x(4). Let v = 50 + -52. Let w = 3 + -6. Sort v, g, w.
g, w, v
Suppose 198*v + 1115 + 263 = -491*v. Let d(l) = l**2 + 6*l - 1. Let g be d(-5). Put -8, v, g in ascending order.
-8, g, v
Let b = 3667.6643 + -3667. Let l = 0.0357 + b. Sort l, -3, -8 in ascending order.
-8, -3, l
Suppose 1078 = -94*q + 608. Sort -2.4, -0.3, -3/5, q, 3/5 in ascending order.
q, -2.4, -3/5, -0.3, 3/5
Let s be 2*(4 + -4 + 2). Suppose -122 = -2*o + o + s*p, 5*p = 2*o - 256. Let c be ((-1)/(-2))/((-23)/o). Put c, -2, -1 in descending order.
-1, -2, c
Suppose 0 = 6*c - 28 - 2. Suppose 5*h - 34 = -0*n - n, 3*h = 15. Put -5, n, c, 0 in increasing order.
-5, 0, c, n
Let g = -1014 + 1019. Put g, 2/5, -1/6, 1/24 in ascending order.
-1/6, 1/24, 2/5, g
Let l = 15557 - 15560. Sort l, 5, -1, -5, 2.
-5, l, -1, 2, 5
Let s = 1556 + -1565. Suppose -c = -5*c - 12. Sort s, c, -4, -1.
s, -4, c, -1
Suppose 31 = g - 8*i + 5*i, -21*i - 173 = -5*g. Suppose -2 = -4*c + 6. Suppose k - 5*f = -17, 5*k - c*f = 2*f - g. Sort -27, 1, k in decreasing order.
1, k, -27
Let m(y) = -y**2 + 114*y - 1957. Let o be m(21). Sort 0.5, o, -1, 0.1, -8 in decreasing order.
0.5, 0.1, -1, o, -8
Let r = -515 - -498. Sort 4/11, -0.2, r in decreasing order.
4/11, -0.2, r
Suppose 32*a - 30*a - 2 = -m, 5*a + 5 = -5*m. Sort -3, a, 5, 0, 9 in descending order.
9, 5, a, 0, -3
Let q(u) = -u**3 - 115*u**2 + 119*u + 346. Let a be q(-116). Let h = 22 + -20. Let s(m) = m - 6. Let i be s(9). Sort i, h, 12, a in ascending order.
a, h, i, 12
Suppose 0 = 15*c - 10*c + 2*n + 29, -c = -3*n - 1. Let s = -479 + 609. Put -0.2, c, s in decreasing order.
s, -0.2, c
Let z be 23/(-6) - ((-88)/(-8) + -15). Let u be -4 + 1 + 9/2. Put z, 8, u, 4/5 in decreasing order.
8, u, 4/5, z
Let y be ((-112)/147 - (-36)/(-63))*(-6)/(-2). Sort y, 0, 25, 1, -48 in increasing order.
-48, y, 0, 1, 25
Let y be (-15)/(-105)*(-5 + 5). Sort y, -2, 14, -281 in descending order.
14, y, -2, -281
Suppose 151*h = 17708 - 18312. Let u = -2 - 4. Put -3, u, 0, h in descending order.
0, -3, h, u
Suppose -8*f = 31*f + 31 + 164. Sort f, 3, -128, -2 in descending order.
3, -2, f, -128
Let s = 2 - 1. Let c = 0 + 0. Let q = -420.502 + 420.702. Put c, q, s in decreasing order.
s, q, c
Let c(a) = -13 - 51*a + 44*a - 18. Let j be c(-4). Sort -1, -23, 5, j.
-23, j, -1, 5
Let b be 8*5/(-60) + (-1)/(-6). Let k = -2962/63 - -326/7. Put b, 0.03, -2, k in descending order.
0.03, k, b, -2
Suppose 3*c + 16 = -c. Suppose 2*k - 10 = 2*o, 5*k - 2*o + 1684 = 1694. Let d(t) = -t**2 + 3*t - 1. Let f be d(3). Sort f, 2, c, k in decreasing order.
2, k, f, c
Let q(u) = -u**3 + 14*u**2 + 182*u - 136. Let m be q(22). Put m, 5, -3, -1 in descending order.
5, -1, -3, m
Let b = -120 + 963/8. Let m be 9 - 1 - (7 + (-165)/(-187)). Put 1, m, 2/13, b in descending order.
1, b, 2/13, m
Let m(f) = -1. Let n(i) = 3*i - 36. Let t(p) = 5*m(p) + n(p). Let o be t(16). Suppose 0 = o*j - 0*j + 14. Sort -4, j, 1, 0 in ascending order.
-4, j, 0, 1
Let j(a) = 5*a + 62. Let t be j(0). Let f = 62 - t. Put -2, 4, -1, f in increasing order.
-2, -1, f, 4
Suppose -5*x + 7*x + 2 = 0. Let p(a) = 32*a + 1184. Let q be p(-37). Let c(g) = -g**3 - 5*g**2 - 2*g + 4. Let l be c(-4). Sort q, l, -5, x.
-5, l, x, q
Let a = 0.46 + -0.6. Let j = -0.54 - a. Suppose -6*y + 2*x + 20 = -8*y, y + 4*x + 25 = 0. Sort j, -3/4, y in increasing order.
y, -3/4, j
Let b be 15/1 - (-93 + 113). Put 12, 13, 0, b, -1 in descending order.
13, 12, 0, -1, b
Let q = 0.13 + 0.87. Let h be ((-114)/171)/(5/(90/8)). Sort -18, h, q, 3 in descending order.
3, q, h, -18
Let o = 0 + 2. Let d = 11.582 + -7.582. Let s = -422/5 - -84. Put s, d, o in increasing order.
s, o, d
Let l = -163 - -488/3. Suppose 7*c + 321 - 377 = 0. Put 2, -4, l, c in ascending order.
-4, l, 2, c
Let f = -23646 - -23637. Sort 2, 12, f, -11 in increasing order.
-11, f, 2, 12
Let p = -13545 - -13539. Put -2, p, 0, -82 in increasing order.
-82, p, -2, 0
Let r be 12 - 2*(4 - 3). Suppose -5*u + r*u + 45 = 0. Let q be u/(-5) + (-9 - -7). Sort 0.1, 1/2, q.
q, 0.1, 1/2
Let h(i) = i**3 - 33*i**2 + 41*i - 46. Let z be h(32). Let m = 237 - z. Let a = 0 - -0.1. Sort 4, a, m, 2 in decreasing order.
4, 2, a, m
Suppose -3172*s + 3170*s = -4*j + 22, -5*s + 2*j = 23. Let f = 13 + -15.2. Let m = f - -2. Put s, m, 0.12 in descending order.
0.12, m, s
Let m = -6693 - -6710. Sort -7, -24, m in ascending order.
-24, -7, m
Let b = -13101 + 91519/7. Let g = 2082/77 + b. Let w = 36.6703 - 36.4703. Put g, w, 2, -5 in decreasing order.
2, w, g, -5
Suppose -23*h - 30 - 82 = -7*h. Put 4, h, 0, 32 in descending order.
32, 4, 0, h
Suppose -277*p - 98*p + 1775 = -20*p. Put 3, p, 51 in descending order.
51, p, 3
Let c(u) = -2*u**3 - 5*u**2 + 3*u + 13. Let n be (0 + 1)/((-19)/76) + 2. Let g be c(n). Let p = -13 + 8. Put g, p, 8 in ascending order.
p, g, 8
Let a(c) = 11*c - 27. Let m(f) = 6*f - 14. Let k(b) = -3*a(b) + 5*m(b). Let x be k(2). Suppose x = -6*g - 7. Put