Sort 3, 5, j, -3 in decreasing order.
5, j, 3, -3
Let a be (-4)/(-8) + 9/(-2). Let c be 44/(-8) + (-2)/(-4). Sort c, 5, a in increasing order.
c, a, 5
Suppose 3*r + r - 16 = 0. Let t be ((-1)/(2 + -1))/(-1). Put r, t, 5 in decreasing order.
5, r, t
Let x(z) = z - 3. Let r be x(2). Put r, -6, 2 in decreasing order.
2, r, -6
Suppose -2*w + 1 + 21 = 0. Suppose w = 5*u - 9. Suppose -2*h + 7*h = u*t - 8, -t = -4*h - 13. Put -3, h, 1 in increasing order.
h, -3, 1
Let y = 7 - 3. Suppose -4*r = -u - 1, r + 0*u = -5*u - 26. Let v be 3/(-6)*(r + -5). Put -5, y, v in decreasing order.
y, v, -5
Let t = -3.7 - -4. Let u = -6 + 11. Sort t, u, 1/2 in decreasing order.
u, 1/2, t
Let j = 2.94 + 0.06. Let z be ((-7)/14)/(1/(-2)). Put j, -1/4, z in decreasing order.
j, z, -1/4
Suppose 0 = 2*j - j - 5*d - 8, -8 = -2*j + 2*d. Sort -4, j, -3 in descending order.
j, -3, -4
Suppose 2*r + r - 12 = 0. Suppose 2*f - 5*v + 7 = 0, 3*f + 4*v + r - 5 = 0. Suppose -3*m - m + 20 = 0. Sort m, 3, f in decreasing order.
m, 3, f
Let c(l) = 15*l + 62. Let j be c(-6). Sort 4, j, 5 in descending order.
5, 4, j
Suppose -d - 1 = i - 6, -i + d + 5 = 0. Suppose 0 = -i*z + 12 + 13. Put 1, 0, z in decreasing order.
z, 1, 0
Let w(v) = v**3 - 2*v**2 - v - 1. Let s be w(2). Suppose -5*r + q - 3*q = -9, -4*r = -3*q - 21. Let g be (-2)/r*(-30)/(-4). Sort g, s, 4.
g, s, 4
Suppose 0 = h - t, -3*h - 2*h = 3*t + 40. Sort 3, -3, h in increasing order.
h, -3, 3
Suppose -3*v = 3*i + 9, 2*i = -5*v + 3*i + 9. Let t(y) = 2*y**2 + 2*y - 1. Let d be t(-2). Put 5, d, v in ascending order.
v, d, 5
Let d be (2 - 1)/(13 + -9). Let w be (-15)/18 + 2/6. Sort d, w, 0.5 in descending order.
0.5, d, w
Let w(y) = -y - 13. Let b be w(0). Let i = 9 + b. Put -3, 2, i in decreasing order.
2, -3, i
Let n(z) = -z**3 - 7*z**2 - 6*z. Let b be n(-6). Suppose 4*d + 11 + 5 = b. Let l = 112 + -117. Sort d, l, 3 in ascending order.
l, d, 3
Let s = -3 - -1. Sort 5, s, 0 in decreasing order.
5, 0, s
Let i be 9 + -2 - (1 + 7 + -5). Put -1, 3, i, 0 in ascending order.
-1, 0, 3, i
Let a = -46 - -31. Let z = 15 + a. Sort -2, z, 0.4 in descending order.
0.4, z, -2
Let h = -3.97 + -0.03. Let p = h - -7. Let a = 3.1 - p. Sort -5, a, 2/19 in descending order.
2/19, a, -5
Let q = 0.4 + -2.4. Let c = 1.8 + q. Put -5, c, 3 in increasing order.
-5, c, 3
Let a(k) = -k**2 + 25*k + 5. Let t(p) = 6*p + 2 - 3 + 3 - 1. Let c(n) = 2*a(n) - 9*t(n). Let r be c(-3). Sort -4, -1, r in decreasing order.
-1, -4, r
Suppose -3*a - 1 = 8. Suppose -5*f = -17 + 7. Suppose 2*x = f, 3*y - 2*x + 22 = -2*y. Put a, -5, y in ascending order.
-5, y, a
Let v be 3 - (12 + (3 - 0)). Let m(r) = -r**3 - 13*r**2 - 11*r + 7. Let h be m(v). Put 20, h, 1 in decreasing order.
20, 1, h
Suppose -3*f = -0*f - 3. Let j = -1.76 + 2. Let a = -0.34 + j. Sort f, a, 3/4 in ascending order.
a, 3/4, f
Suppose 23 = 6*x + 47. Sort 0, -3, x in increasing order.
x, -3, 0
Suppose -4*k = -3*f - 4, -4*k + 3*f = -f. Suppose 0 = 6*v - 2*v - k. Let d be (-30)/7 + (-2)/(-7). Sort d, -3, v in descending order.
v, -3, d
Suppose -2 = -2*m + 2. Suppose -c - 3*h + 5 = 4*c, h = -3*c + 7. Let u = 1 + 0. Sort m, c, u.
u, m, c
Let v = 10.2 + -1.2. Let p = v - 12. Put 3, -0.3, p in decreasing order.
3, -0.3, p
Let g = -2 + 2. Let v = -0.04 - 0.01. Let x = v + 0.55. Sort g, x, 5.
g, x, 5
Let k = -39 - -34. Sort -4, k, -2, -1 in descending order.
-1, -2, -4, k
Let m = -0.35 + 0.3. Let z = m - 0.35. Put z, 0.4, 2 in decreasing order.
2, 0.4, z
Let w = 15 + -38. Sort -5, -2, w in decreasing order.
-2, -5, w
Let i(a) = 2*a + 3. Let h be i(0). Let c = 0 + 0. Sort h, 0.4, c in increasing order.
c, 0.4, h
Let n = -1 + 0. Suppose 3*c - 2*x = -0*x + 25, -4*x = -5*c + 41. Let r(p) = -p + 5. Let y be r(c). Put y, 5, n in descending order.
5, n, y
Suppose -3*v + 18 = -9. Suppose 4*u + 16 = -3*z, u - 4*z + 4 = -v*z. Sort 4, u, 0 in decreasing order.
4, 0, u
Suppose -10*i = -15*i - 20. Sort 0.5, -1/2, i.
i, -1/2, 0.5
Suppose 3*i - 5*n - 15 - 9 = 0, -3*i + 4*n = -21. Suppose -i - 6 = -3*g. Let w = 1 - 6. Put w, -1, g in ascending order.
w, -1, g
Let w(n) = n**3 - 5*n**2 + 3*n + 1. Let y be w(4). Sort 12, -2, y.
y, -2, 12
Let h = 1 - 1.1. Let o = -477 - -478. Sort o, h, 4 in decreasing order.
4, o, h
Let c = 10 + -9. Suppose 4*x + 11 = -1. Let s = x - -5. Put s, c, -5 in increasing order.
-5, c, s
Let a(u) = 3*u**2 - u. Let w be a(-1). Suppose 4*q = w*c - 260, -137 = -3*c + 4*q + 63. Let n be -4*-1*(-2)/c. Put n, -2, -1 in ascending order.
-2, -1, n
Let t(s) = -s**2 + 8*s - 2. Let a be t(7). Suppose p = -3*o - 16, 0 = -5*p - 0*o - 2*o - 15. Sort 0.4, p, a in decreasing order.
a, 0.4, p
Let i = -0.11 + -0.09. Put i, -0.5, 0 in descending order.
0, i, -0.5
Let y be 1*3/1 + 1. Let q be 2/(-8)*4*-1. Put y, q, 0 in descending order.
y, q, 0
Suppose -3*m - 3*o - 12 = -7*o, 0 = 3*m - 3*o + 12. Sort m, 2, 5 in descending order.
5, 2, m
Let q = -0.01 + -0.49. Let b = q - 0. Sort b, 1, 0 in descending order.
1, 0, b
Let z be ((-2)/(-3))/((-6)/18). Sort 2, 4, z.
z, 2, 4
Let f be 74/(-14) - (-2)/7. Sort f, 3, -4 in increasing order.
f, -4, 3
Let i = -138 - -139. Let m be (-2)/(-2 + 3 + 0). Put m, i, -1 in descending order.
i, -1, m
Let z(t) = -t**3 - 3*t**2 - t + 2. Let m be z(-2). Suppose -5*q + q - 3*p + 9 = m, 4*q - 15 = -5*p. Let c = 0.2 - 0. Put q, -1/3, c in increasing order.
-1/3, q, c
Suppose 0 = 2*v - 3*i - 16, 0 = 4*v - 3*i - 18 - 8. Suppose -v*n = 5 - 15. Suppose -k + 2*k - u = -6, -n*k = 4*u. Put k, 2, 3 in decreasing order.
3, 2, k
Let u = -19 + 18.8. Let c = -3107/849 + -2/283. Let g = c - -4. Sort 2, u, g.
u, g, 2
Let y = 51.96 + -53. Let j = y + 0.04. Let p = j + 0.9. Put -3/2, p, -2/9 in decreasing order.
p, -2/9, -3/2
Let k = 0.6 + -0.2. Let j = -0.2 - 0.1. Let t = k + j. Put 1, -0.5, t in decreasing order.
1, t, -0.5
Let a = -205 + 207. Sort a, 37, -2 in descending order.
37, a, -2
Suppose 8 = -2*i, 5*p - 26 = -i - 5. Sort p, 0, 1, -1 in decreasing order.
p, 1, 0, -1
Let h = -9.075 + 0.175. Let c = h + 9. Let l = c + -0.18. Put 5, l, -0.5 in descending order.
5, l, -0.5
Let s be 8/(-4)*(-1)/(-6). Sort s, 0.1, -4/5 in descending order.
0.1, s, -4/5
Let t(f) = -f**2 - 7*f - 3. Let o be t(-6). Let r be 1/o - 2/6. Suppose -4 = -d - 0. Sort d, r, 5 in decreasing order.
5, d, r
Let z be (-2)/(-4) + -1 + 0. Let k be (-4 + 3 + 1)/(2/(-1)). Sort k, z, 0.1 in ascending order.
z, k, 0.1
Let a(g) = -g**3 + 12*g**2 + 13*g. Let k be a(13). Let l(f) = -f**3 - f**2 - 1. Let x be l(k). Sort 5, -2, x.
-2, x, 5
Let t be -3 - ((-1 - 0) + 2). Let q be ((-13)/(-4) - 2)*t. Let k be (q + 3)/(1 + -5). Sort 0, k, 1 in descending order.
1, k, 0
Let u = 14.6 + -15. Sort 5, -1/2, u in descending order.
5, u, -1/2
Let a = -2.97 + 0.97. Let x = 0.4 - 0.8. Sort a, x, 1/7 in descending order.
1/7, x, a
Let q(b) = -b**2 - 5*b + 4. Let g be q(-6). Let u be (-2)/(-7) - (-19)/7. Suppose -v - 2 = 2*s - 1, 0 = 2*s. Put u, g, v in decreasing order.
u, v, g
Let y = -1 + 0. Let n = 1 + y. Sort n, -0.2, -5 in descending order.
n, -0.2, -5
Let h be (-2)/(-4)*(-3)/(-6). Let u = 2 - 2. Put h, -3, u in ascending order.
-3, u, h
Let x(v) = -4*v + 5. Let b be x(2). Sort 0, b, -19, 4 in ascending order.
-19, b, 0, 4
Let h(f) = f + 11. Let m be h(-7). Put m, 2, -5 in increasing order.
-5, 2, m
Suppose 3*m + 4 + 5 = 0. Sort m, 1, -2 in ascending order.
m, -2, 1
Let z = -0.6 - -3.6. Let x = -6 - -3. Sort x, -2/3, z in decreasing order.
z, -2/3, x
Suppose 3 = -g + 6. Suppose -g*h - 2*h = -25. Put h, -1, -2 in descending order.
h, -1, -2
Let n = 239 - 234. Suppose 7 = -4*z - 13. Sort 8, n, z in descending order.
8, n, z
Let h(i) = i**3 - 4*i**2 - 2*i + 6. Let w be h(4). Let o be (-1)/((-6)/15)*w. Put -2, o, -1 in decreasing order.
-1, -2, o
Let x(c) = -c**2 - 22*c - 37. Let f be x(-20). Sort -1, f, 2, 4.
-1, 2, f, 4
Let j be ((-10)/(-8))/(1/(-4)). Suppose -5*p + 16 = 3*b + b, -4*p = -2*b - 18. Sort 4, j, b in decreasing order.
4, b, j
Suppose 4*g + 0*g + 16 = 0. Let u = 175 - 177. Put u, 2, g in descending order.
2, u, g
Let n = -2.6 - -5.6. Put n, -0.5, -1/6, -0.3 in decreasing order.
n, -1/6, -0.3, -0.5
Let v = 150 - 149. Sort -4, 5, 3, v in increasing order.
-4, v, 3, 5
Let w(x) = -x + 2. Let m be w(2). Suppose 3*t - 19 + 3 = -4*r, m = 4*t. Suppose 0 = -2*c + 4*c