Sort t, -4, v.
-4, v, t
Let m = -339 - -343. Suppose -2*q + 0*q = -k - 3, 2*q + k - 1 = 0. Put q, m, -2 in ascending order.
-2, q, m
Suppose -1 = -m - 2*a, 5 = -m + a - 3. Let f(x) = -x**3 - 3*x**2 + 5*x + 6. Let h be f(-4). Put m, 1, h in decreasing order.
h, 1, m
Suppose p - 2*c + 9 = 0, 0 = 5*p - 5*c - 10 + 40. Sort p, 30, 2 in descending order.
30, 2, p
Let a(d) = -d**2 + 4*d. Let z be a(4). Suppose z = -5*g, v - 2 = -0*v + 5*g. Let r be v - 2*27/24. Put r, 10/9, 1 in increasing order.
r, 1, 10/9
Let y be 5/10 + (1 - (-26)/(-4)). Put y, -1/3, -0.16 in descending order.
-0.16, -1/3, y
Let c(m) = 2*m**3 - 7*m**2 + 5*m - 5. Let p be c(3). Sort p, 2, -1 in ascending order.
-1, p, 2
Let k = 0.019 + 44.981. Let r = k - 44.7. Sort -0.1, 2/9, r.
-0.1, 2/9, r
Let a = -7 + -111. Let h = -142 - a. Sort h, 2/3, -1/5 in decreasing order.
2/3, -1/5, h
Let z = 0.04 - 0.14. Let d = 24.286 - -0.114. Let h = 24 - d. Sort z, h, 1.
h, z, 1
Suppose -5*y + 0 = -4*q - 135, y = -3*q + 27. Let h be 17884/(-1260) - (-6)/y. Let k = h + 72/5. Put 2/3, k, 5 in ascending order.
k, 2/3, 5
Let o = -23 + 22.86. Let a = -2 + -2. Sort a, o, -0.2 in ascending order.
a, -0.2, o
Suppose 0 = h + 3*h - x - 6, 2*x - 2 = h. Suppose 0 = 6*m - 2*m - 4*o + 344, 0 = 5*m + 2*o + 458. Let r = -95 - m. Sort 0, h, r in ascending order.
r, 0, h
Let x be 362/5 + (-18)/(-45). Let k = x + -73. Put k, 1/17, -0.5 in decreasing order.
1/17, k, -0.5
Suppose x - 5*c = 26, -3*c = -5*x - 4*c. Put x, 146, -4 in ascending order.
-4, x, 146
Let i be (-1)/((-3)/(-32)) - (700/(-60) - -11). Let k = 8 + -5. Sort -1, 4, k, i in decreasing order.
4, k, -1, i
Let g(t) = -t**2 + 7*t - 10. Let c be g(3). Let w be (c - -2) + 70/(-17). Let v = -20 - -103/5. Sort w, 1, v in descending order.
1, v, w
Suppose -p + 14 = 18. Sort p, 8, -1 in increasing order.
p, -1, 8
Suppose 9*d - 11*d + 20 = 0. Let m = 21 - d. Suppose -5*w - m + 41 = 0. Put 5, w, -2 in ascending order.
-2, 5, w
Let s be 4*-1*(2 + -1). Let j = s + -4. Let g be (-2)/4*j - 1. Sort -2, 5, g.
-2, g, 5
Suppose -22*z - 11*z = 14*z. Let a = 0 + 2. Sort a, z, 3 in decreasing order.
3, a, z
Let r be ((-162)/(-48) - 3)*(-4)/6. Put -4/3, r, 6/11 in decreasing order.
6/11, r, -4/3
Let s = 448.7 + -449. Let b = -0.8 + 1. Sort b, 3, -0.5, s.
-0.5, s, b, 3
Let u(c) = -c**2 - 5*c - 6. Let b be u(-4). Let r(w) = 5*w - 10. Let o be r(4). Suppose 0 = 9*d - o*d + 3. Sort b, d, 0 in descending order.
d, 0, b
Let m = 0.2042 + 1.7958. Put 2/3, m, 18, -4 in ascending order.
-4, 2/3, m, 18
Let w be (-3)/(-4)*(-2)/6. Let t = -3.993 + -0.007. Sort -1/7, t, w in descending order.
-1/7, w, t
Let w = 64 - 68. Sort w, 13, -7 in increasing order.
-7, w, 13
Let f = -7.26 - -4.26. Sort -1/8, f, -3/7, 5.
f, -3/7, -1/8, 5
Let q(y) = y**2 - 7*y + 6. Let k be q(6). Let u = 6.4 + -53.4. Let o = -47.4 - u. Sort -4, o, k in ascending order.
-4, o, k
Suppose 5*l = -3*s + 37, -s + 5 = l - 4. Let z = 3 + 2. Suppose z*p + 5*j + 2 = 12, -4*j + 9 = 5*p. Put 0, p, l in decreasing order.
l, p, 0
Let m = -1635 - -1633. Let n = 2189/9 - 243. Put -4, 2/5, n, m in descending order.
2/5, n, m, -4
Let w = 1.17 + 0.83. Sort -0.3, w, -2/7, 1/7 in descending order.
w, 1/7, -2/7, -0.3
Suppose -4 - 5 = 3*d, 0 = -w + 5*d + 19. Let m be (w + -8)/((-1 + 3)*-13). Put m, 4, 2, -0.5 in descending order.
4, 2, m, -0.5
Let m(c) = -c**3 + 18*c**2 - 16*c - 9. Let i be m(17). Let r(v) = 7*v - 1. Let y be r(2). Let w = i - y. Put 2/7, w, 0.2 in ascending order.
w, 0.2, 2/7
Let s be 2 + -9 + 2 - 5*-3. Sort 5, -5, s in decreasing order.
s, 5, -5
Let c be (48/72)/((-11)/9 + 1). Sort c, -1/7, -1, -4/11.
c, -1, -4/11, -1/7
Let w = -10 - -9. Sort w, 33, -3 in ascending order.
-3, w, 33
Let j = 0.1576 + -0.8976. Put -3, j, 3, 2/7 in descending order.
3, 2/7, j, -3
Let z(m) = -2*m**2 + m. Let t be z(-1). Let l be 1*2 + (-18 - -33). Suppose -16 = y - l. Sort y, -5, t.
-5, t, y
Suppose -2 = -24*c + 23*c + 3*p, 5*c - 48 = -4*p. Sort -23, c, 5.
-23, 5, c
Let r = -0.354 + 0.854. Suppose 0*z - 5*z + 105 = 0. Let u be z/10 - (1 - -1). Sort u, -5, r in decreasing order.
r, u, -5
Let j = -209/245 + 32/49. Let q = -1 + 0. Put -3, j, q in descending order.
j, q, -3
Suppose -21*m + 64*m = 86. Let s be -1*(0/(-2) - -1). Sort m, s, -2, 3 in increasing order.
-2, s, m, 3
Let k = 2.5 + -0.5. Let t = k + 0. Sort t, -4, -0.4.
-4, -0.4, t
Let c = 0.61 - 2.56. Let p = 0.05 - c. Let f = 0.047 - 2.047. Put p, f, 1/4 in increasing order.
f, 1/4, p
Let o be 0/(-1)*(4/12)/(-1). Suppose -4*m - 3*p = -o*m - 22, 0 = -5*m + p + 18. Sort m, -3, -5, 0.5 in descending order.
m, 0.5, -3, -5
Let d = 2 + -1.8. Let l = -6746.4 - -6746. Put l, d, -11 in descending order.
d, l, -11
Let n be (-5)/(15/(-9)) + (-4 - -3). Let j(x) = 2*x**2 + 16*x + 1. Let b be j(-7). Put -2, n, b in decreasing order.
n, -2, b
Suppose 1 = 2*o - 3*x, 13 = 3*x - 2. Let t be -4 + ((-10)/40 - (-50)/o). Put 33, 0, t in ascending order.
0, t, 33
Let j be ((-48)/18 + 3)/((-2)/30). Suppose -36 = -20*l + 17*l. Put j, -2, l, -1 in increasing order.
j, -2, -1, l
Let h(o) = -2*o**3 + 9*o**2 + 8*o - 12. Let k be h(5). Sort -4, k, 12, 0.01 in increasing order.
-4, 0.01, k, 12
Let g = -21.9431 + -0.0569. Sort -3, 4, g in decreasing order.
4, -3, g
Let q = -17 - -19. Suppose -q*x + 7 = 2*s + 3, -2 = x. Let g be ((-6)/s)/(15/(-40)). Sort -3, -4, g in increasing order.
-4, -3, g
Suppose -u = -0*u + 2. Let m be (-5)/((-30)/29) + 2/12. Suppose m*l + b + 7 = 31, b = 3*l - 16. Put u, l, 0 in decreasing order.
l, 0, u
Let i(q) = -q**3 + 4*q**2 + 5*q + 3. Let a be i(5). Let x be (-2)/(3 - (a - 4)). Let y = 0 - 0.3. Sort x, 3, y in increasing order.
x, y, 3
Let i(a) = -a**2 + 8*a - 15. Suppose -4*j + 2*n + 30 = 0, 5*n - 2*n = -5*j + 21. Let z be i(j). Suppose -17 = -4*k + 3. Put z, k, -4 in descending order.
k, z, -4
Let z(p) = p**2 + 11. Let l be z(0). Let a(t) = t**3 - 5*t**2 - 8*t + 7. Let f be ((-4)/2)/(8/(7 + -31)). Let h be a(f). Sort h, l, 4 in increasing order.
h, 4, l
Suppose 24*o - o = 69. Sort -111, -3, o in decreasing order.
o, -3, -111
Let w(o) = o**3 + 5*o**2 + 2. Let h be w(-5). Suppose h*k + 0*k = 0. Put 1, k, -2 in ascending order.
-2, k, 1
Suppose 4*p - 20 = 3*a - 0*a, -5*a + 5 = p. Suppose 3*q - 5*q - w - 6 = a, -3*q = -4*w + 31. Sort q, 4, 8 in decreasing order.
8, 4, q
Let i = -10 - -2. Let v = 10 + i. Let f = -4.09 + 0.09. Put f, -1, v in descending order.
v, -1, f
Let v(a) = a**2 - 2*a - 3. Let x be v(4). Suppose w - x*w + 2*y = -16, -2*w + 3*y + 8 = 0. Sort -4, w, 6 in decreasing order.
6, w, -4
Suppose -8*k = -3*k. Suppose 2*t + 2*l = 24, 0*t - 5*t + 5*l = -40. Put 4, k, t in descending order.
t, 4, k
Let i = 508 + -508.1. Put i, -0.4, 3, 0.2 in ascending order.
-0.4, i, 0.2, 3
Suppose 0 = 5*c - 2*o - o - 35, 0 = 3*c - 4*o - 21. Let s(z) = -7*z - 229. Let l be s(-33). Let r = c + l. Put -4, 3, r in decreasing order.
r, 3, -4
Let j = 1402 + -1401.6. Let q = 4.9 - -0.1. Let d = q - 0. Put j, 4, d in ascending order.
j, 4, d
Let n be -13 + 0 - (-2 + (1 - 0)). Let a be (-3)/(-15) - (-14)/5. Put 5, a, n in increasing order.
n, a, 5
Suppose -140 = 48*g + 4. Sort -2, 5, g in increasing order.
g, -2, 5
Suppose 10*j = 16*j - 414. Let d = -63 + j. Sort 5, -5, d.
-5, 5, d
Let u(h) = h**2 + 37*h + 66. Let p be u(-35). Sort 8, -7, p.
-7, p, 8
Let m(c) = c - 36. Let s be m(32). Put 17, 5, s in decreasing order.
17, 5, s
Suppose 18 - 11 = 7*x. Sort x, -5, -4, -3 in ascending order.
-5, -4, -3, x
Let k(x) = -x + 5. Let p be k(0). Suppose -c - 6 = -p. Let r be (4/(-5))/((-2)/(-10)). Sort r, c, 0.
r, c, 0
Suppose 85 + 27 = -5*o + 33*o. Let p = -4.4 - -0.4. Let k = p - -1. Sort -0.5, k, o in descending order.
o, -0.5, k
Let v be ((-522)/(-8))/(102/(-272)). Sort v, 2, -1.
v, -1, 2
Let o = 1649 + -1647. Let d = -0.27 - 0.03. Sort o, d, -3, 4 in descending order.
4, o, d, -3
Let b be (-9)/(-3) + 1/1. Let r be (-5)/(192/36 - 7). Sort 1, b, r.
1, r, b
Suppose -2*b = -3*b - 32. Let d = -37 - b. Put 1/3, d, 2 in decreasing order.
2, 1/3, d
Let b = 0.914 - -3.086. Put -0.005, 0.4, b in ascending order.
-0.005, 0.4, b
Let v be 282/(-30) - (-4)/10. Let d be 9/6*3/v. Let l = 16 + -21. Sort d, 6, l.
l, d, 6
Let p = -2 - -5. Suppose 5*m + 150 = 5*i - 145, -3*m - 147 = 3*i. Let o = 58 + m. Put o, 7, p in ascending 