 -4751/19 - -250. Let n = 3144 + -119489/38. Let i = s + n. Sort i, 0.5, 0.3 in decreasing order.
0.5, 0.3, i
Let a = 6 + -2. Put a, 3, 5 in decreasing order.
5, a, 3
Let d(z) = z + 7. Let s be d(-5). Let f = 35 + -37. Put s, f, -4 in decreasing order.
s, f, -4
Let w = -11 + 15. Suppose w*f = f - 12. Put 1/3, f, -3 in decreasing order.
1/3, -3, f
Let k = -5.7 + 0.7. Let d = -59 + 56. Put d, 2, k in descending order.
2, d, k
Let x = 148/451 - 6/41. Sort 5, x, 3, -4 in decreasing order.
5, 3, x, -4
Suppose 6*s - 22 = 2. Sort s, 0, -2.
-2, 0, s
Suppose 20 = -o - 16. Put 4, o, 3, 2 in increasing order.
o, 2, 3, 4
Let z = 58 + -60. Sort 3, 6, z, -1 in increasing order.
z, -1, 3, 6
Let q = -16 + 11. Let k be (q + 8)*(-1)/3. Let m = 5 - 3. Sort -2, k, m in decreasing order.
m, k, -2
Let l(r) = r**3 - 2*r**2 - 2*r - 1. Let o = -9 + 12. Let u be l(o). Sort 1, 4, u in decreasing order.
4, u, 1
Let x be 8/(-6)*(-15)/(-205). Let q = -70/123 + x. Let s = -0.09 + 4.09. Put q, 4/7, s in ascending order.
q, 4/7, s
Let u be 14/4 + 0 - 2/4. Sort -4, u, 5, 0 in descending order.
5, u, 0, -4
Let u be (-3)/12*(-2)/(-4). Let m = -0.08 + -0.22. Sort m, -0.4, u in decreasing order.
u, m, -0.4
Let a = -29 + 18. Let v = 0.9 + 6.1. Let z = v + a. Put 5, z, 1 in ascending order.
z, 1, 5
Suppose -8*a - 5 = -29. Sort 0, 2, -2, a in decreasing order.
a, 2, 0, -2
Suppose -10 = 4*d - 2. Suppose 4 = 2*g - 3*q, 4*g - 3*q - 12 = q. Suppose -3*u + b - 1 = -0*u, -g*b = -3*u + 7. Put 4, u, d in ascending order.
d, u, 4
Let k = 0.004 + -1.964. Let i = k + -0.04. Put 2, i, -1 in ascending order.
i, -1, 2
Suppose -2*d = -7*d + 55. Suppose -3*n + 4*n = -4*y - 11, -y - 3*n - d = 0. Sort y, 1, 0 in descending order.
1, 0, y
Let d = -3.94 - 0.06. Let b = -1/26 + 33/182. Put -0.2, d, b in decreasing order.
b, -0.2, d
Suppose -4*t + t + 36 = 0. Let y be t/(-6) - 19/(-9). Put y, 0.4, -0.3 in decreasing order.
0.4, y, -0.3
Let v(i) = i - 1. Let r be v(5). Suppose 0 = -z - r - 0. Let p be ((-6)/9)/((-4)/18). Sort -2, z, p in descending order.
p, -2, z
Let x = 1.9 - 2. Let a = 0.1 - x. Put 5, -1/3, a in descending order.
5, a, -1/3
Let s = -45/4 + 12. Sort -0.1, s, 1 in increasing order.
-0.1, s, 1
Let c(d) = d**3 - 3*d**2 - 5*d + 6. Let b be c(4). Let z be (1/(-2))/(b/(-20)). Suppose -6 = z*y - 21. Put 0, -3, y in descending order.
y, 0, -3
Let b = 7/36 + -4/9. Suppose 0*f = 12*f + 24. Put b, -2/3, f in descending order.
b, -2/3, f
Let t(y) = -y**3 + y**2 + 2*y - 3. Let l be t(2). Put 5, l, -4 in increasing order.
-4, l, 5
Let h(w) = w**3 - 5*w**2 - 2*w + 5. Let u be h(5). Let x be 11/22*1*-2. Sort -2, u, x in decreasing order.
x, -2, u
Let y(t) = 2*t + 8. Let p be y(-5). Sort 3, p, 9.
p, 3, 9
Suppose 4*x + 2*z + 22 = -2, 0 = -4*x - 3*z - 26. Suppose -d + 5*d + 16 = 0. Let u(j) = -j**3 - 4*j**2 - 4*j. Let r be u(-3). Sort d, x, r in increasing order.
x, d, r
Let m = 2.7 - 0.7. Let i = 2.5 - m. Put -0.3, 5, i in descending order.
5, i, -0.3
Let b(f) = -f**2 - 9*f - 24. Let m be b(-4). Put -5, -7, m in ascending order.
-7, -5, m
Let q(u) = u - 3. Let l be q(5). Suppose l*h - 6*h = -8. Put h, 3, -4 in descending order.
3, h, -4
Suppose 19*w - 6 = 22*w. Sort 1, w, 10, -1 in ascending order.
w, -1, 1, 10
Let f(y) = y - 1. Let z be f(4). Let l(b) = b**3 + 4*b**2 + 3*b + 1. Let c be l(-2). Suppose -c*a = 3*i - 18, -a + z = -1. Sort 3, i, 1 in decreasing order.
3, i, 1
Suppose -7*v + 2*v + i - 14 = 0, 4*v = i - 11. Sort -1/5, 4, v in descending order.
4, -1/5, v
Suppose 3*l = -2*l - 20. Let p be 15/l + -2 + 5. Let f = 2.05 - 0.05. Sort 0.2, f, p in descending order.
f, 0.2, p
Let h = 10.41 - -0.19. Let w = 8 - h. Let k = 0.6 + w. Sort k, 4, -0.3 in ascending order.
k, -0.3, 4
Let m be 6/9*3/2. Let y = 3 + -4. Put 3, y, m in decreasing order.
3, m, y
Suppose 5*n - v = v + 24, 2*v - 16 = -5*n. Let t(a) = -a**3 - 5*a**2 + a - 4. Let h be t(-5). Let o be (6/4)/(h/24). Put n, o, 2 in descending order.
n, 2, o
Let t = 0.98 + 0.02. Sort -0.5, t, -0.06, 0.1 in decreasing order.
t, 0.1, -0.06, -0.5
Let u = 74.01 + -74. Sort -3, -1/2, u, 0.3 in ascending order.
-3, -1/2, u, 0.3
Suppose 0 = 3*c - 4*t + 4 - 2, -3*t = 5*c - 16. Sort 2/5, -3, 3/2, c in decreasing order.
c, 3/2, 2/5, -3
Let o = 20 + -24. Sort -5, o, -3 in ascending order.
-5, o, -3
Suppose -2*b - 7 = 5*d, 2*d + 5 - 19 = -5*b. Put b, -8, -1, -5 in descending order.
b, -1, -5, -8
Let v = 26 - 25.7. Sort 1, 1/3, v.
v, 1/3, 1
Suppose 4*t = 5*t - 4. Sort t, 1, 0 in ascending order.
0, 1, t
Suppose -2*h + 6 - 2 = 0. Sort -6, h, 3 in descending order.
3, h, -6
Let r be 13/(-5) + (-6)/15. Let t(z) = -z**3 - z**2 + 2*z - 4. Let k be t(-3). Suppose 0 = 4*o - k - 12. Sort r, o, 1 in increasing order.
r, 1, o
Suppose 44 = -0*p + 4*p. Suppose p = -2*a + 1. Put a, 3, 2 in decreasing order.
3, 2, a
Let k(u) = u**3 + 5*u**2 + 5*u + 6. Let q be k(-4). Sort -2, -6, q in decreasing order.
q, -2, -6
Let q = 345877/9 + -38194. Let z = q - 237. Put 5, 0.2, z in ascending order.
z, 0.2, 5
Let j = 18 + -14. Suppose 0 = j*a + 12. Put 3, 0, a in decreasing order.
3, 0, a
Let v be (-1)/(-15)*3*-3. Let i = 0.17 - -0.03. Sort v, -0.1, i in descending order.
i, -0.1, v
Let n = 595/4 + -149. Put n, -4, 0.3, 2/3 in ascending order.
-4, n, 0.3, 2/3
Suppose 5*m - 26 = 4*i, -m + 6 = i - 2*i. Suppose -1 = -y + m. Put 5, y, 2 in descending order.
5, y, 2
Let h = -0.03 - -2.03. Let j = -72.63 + 73. Let p = j + 0.03. Put p, h, -1/4 in decreasing order.
h, p, -1/4
Let r = 99218/79 + -1256. Let t = 213/316 - r. Let g = -2 + 1. Put t, g, 2 in descending order.
2, t, g
Let t be -2 + 7 + 63/(-7). Put 0, t, -5 in increasing order.
-5, t, 0
Let a be (-3 - -1)*(-1)/2. Suppose -2 = f - a. Put 0, 3, f in decreasing order.
3, 0, f
Suppose 0 = -2*b - 5*w + 17, 3*b - 5 = -2*w + 4. Sort -5, -2, b in ascending order.
-5, -2, b
Suppose -5*t = 4*n - 10, 2*n - 18 = -t + 5*t. Sort -4, 3, n, -2 in descending order.
n, 3, -2, -4
Suppose -2*a = a + 6. Let v(d) = -2*d + 6. Let z be v(5). Put a, z, 2 in decreasing order.
2, a, z
Let x = 57938/23 + -2520. Put x, 4, 1 in ascending order.
x, 1, 4
Let z be (-46)/10 + (-6)/(-10). Let s = 12 + -8. Put -3/4, z, s in descending order.
s, -3/4, z
Let q = -17/70 + 1/10. Sort q, 0.4, 2 in descending order.
2, 0.4, q
Let y be ((-8)/6)/((-2)/(-6)). Suppose 4*k - 15 = 1. Let g be (4/5)/(k/10). Put y, -3, g in increasing order.
y, -3, g
Suppose -5 = d, -6*w + d = -w + 10. Let i(v) = v**3 - 4*v**2 - 5*v - 1. Let t be (-3 - (-10)/4)*-10. Let g be i(t). Put 1, w, g in increasing order.
w, g, 1
Suppose 11 = m - 5*a, -3*a = 2*m - 0*a + 17. Let q = -7 + 6. Put m, -2, q in decreasing order.
q, -2, m
Let v = 3.2 + -3. Let h be ((-4)/(-10))/(3/(-5) - -3). Put 0.3, v, h in decreasing order.
0.3, v, h
Let o be 75/6 - (-2)/(-4). Suppose -4*b = 2*f - 0*f - o, 2*f = -3*b + 7. Sort -0.2, b, -1/6 in descending order.
b, -1/6, -0.2
Let m(k) = -k + 4. Let d(o) = o - 2. Let x be d(5). Let v be m(x). Let y be v*(-2 - (1 - -2)). Sort 1, y, -4 in decreasing order.
1, -4, y
Suppose -5*f = -17 - 43. Let j = f + -13. Put j, 3, -4 in ascending order.
-4, j, 3
Let s(w) = w**3 + 11*w**2 + 10*w + 2. Let h be s(-10). Suppose 0 = h*f - 7*f - 10. Let c be (8/(-1))/(-2) + 0. Sort -1, c, f.
f, -1, c
Let u = 2 + 0. Suppose -1 = -u*v + 11. Let p = 4 - v. Sort -4, p, -3 in descending order.
p, -3, -4
Let q = 8 - 3. Suppose c + q*p = 5, 0 = 4*c - 0*c + 2*p - 20. Suppose 0 = -4*m - 16 - 4, 0 = 5*u - c*m. Sort u, -2, 4 in ascending order.
u, -2, 4
Let m = 13 + -10. Suppose m = 3*g - 6. Sort g, -5, -1 in descending order.
g, -1, -5
Suppose -p = -0*p - 3, 4*j + 2*p = -2. Suppose -q - 2 = q. Put j, q, -5 in increasing order.
-5, j, q
Suppose -h = 4*q - 9, 5*q - 5*h - 5 + 0 = 0. Let p be 2*(3/q)/(-3). Let i(v) = 5*v**3 - 2*v**2 + 1. Let s be i(1). Put p, 5, s in decreasing order.
5, s, p
Suppose -2*p + 2*c + 10 = -0*c, -p - 5*c - 13 = 0. Suppose -k - p*v - 2 = -0, 2*k = -2*v. Put k, -5, 1 in descending order.
k, 1, -5
Suppose t - 3*l = -4, 16 = -4*t + l - 0. Put t, 4, 0.5 in descending order.
4, 0.5, t
Let s = 14 + -14. Let i = 3 + -4. Let o = -0.5 - i. Sort 0.3, s, o.
s, 0.3, o
Let k = -24 + 3. Let c = -20 - k. Sort -8, -1, c in decreasing order.
c, -1, -8
Let n be (-30)/585*6/(-2). Let x = -2/11 + 21/55. Put x, 