ding order.
-3, h, 3/4
Let b = -5 - -9. Suppose 0 = 5*j - 10 - 5. Put j, b, 0 in descending order.
b, j, 0
Let h be (-9)/(-3) + (6 - 4). Suppose -k - 2*y + 8 = 0, -2*y - 4 = -y. Suppose 5*o + k = -4*m, -5*m - 4*o + 3*o - 20 = 0. Sort h, 0, m.
m, 0, h
Let u be (2/4)/(3/(-36)). Sort 1, -1, 4, u in ascending order.
u, -1, 1, 4
Suppose -3*t - 3*k = -5*t + 5, 4*k + 18 = -3*t. Let b be (-6)/(-4)*(-4)/2. Put t, 5, b in increasing order.
b, t, 5
Let k be (-11 - -1) + 8/(-4). Let h = 14 + k. Put -2, h, 0 in decreasing order.
h, 0, -2
Let b = 2.79 - -0.21. Let q(g) = -g + 4. Let j be q(3). Sort b, j, -0.3 in descending order.
b, j, -0.3
Let l be (0/(-2))/(-1 + 0). Put l, -3, 3 in descending order.
3, l, -3
Let g(i) be the first derivative of -i**4/4 - 4*i**3/3 - i**2/2 + 3*i + 4. Let p be g(-3). Put -2, -1, p in ascending order.
p, -2, -1
Let o = 0 + 3. Suppose -7*g + 3*g = -16. Suppose 3*t = 2*l + 15, 0 = -l + 5*l + 5*t - 3. Sort g, o, l in descending order.
g, o, l
Let c = 8.6 + -9. Let g be (-2)/(-8) + (-18)/8. Let j = g - -4. Put 5, j, c in ascending order.
c, j, 5
Suppose 4*v = f - 17, f + 3*v = -f - 21. Put -2, f, 0, -15 in ascending order.
-15, f, -2, 0
Let z be 1 + -3*1*1. Let u(t) be the first derivative of t**2/2 + 6*t + 4. Let d be u(-4). Sort d, 1, z.
z, 1, d
Let g = 2.44 + 0.56. Put -0.5, g, 2/31 in decreasing order.
g, 2/31, -0.5
Let o = -0.11 - 3.89. Let i = -4.2 - o. Put i, 0.5, -1/3 in ascending order.
-1/3, i, 0.5
Suppose -3*z - 5*f = 21 + 32, 3*z - 5*f + 103 = 0. Let u be -5*(z/(-10) + -2). Let b = -6.4 - -6. Sort b, -0.1, u in decreasing order.
-0.1, b, u
Let q = 4 - 3. Suppose 2*u + 5*t = -12, -5*t - 9 = u + 2. Sort u, -2, q.
-2, u, q
Let k = 0.4 + -5.4. Sort -0.3, k, -2/21 in ascending order.
k, -0.3, -2/21
Let t be ((-272)/(-396))/((-12)/127186). Let r = t - -7280. Let v = 497/297 + r. Sort v, 5, -5.
-5, v, 5
Let r = 6 - 8. Suppose 3*a + y + 1 = 3*y, 4*a - 5*y - 1 = 0. Put a, r, 1 in increasing order.
r, a, 1
Suppose -4*x - 5*w + 48 = 0, 2*x - 5*w = -x + 1. Suppose -x*m + 6*m = -2. Put -1, -4, m in descending order.
m, -1, -4
Let x(t) = t**3 + 5*t**2 - 9*t - 6. Let p be x(-6). Let b be (-24)/(-20)*(-20)/(-6). Suppose l - p = 3*z, -3*l + 6 = -b*l - 3*z. Sort 1, l, -5.
-5, 1, l
Let i = -6.3 - -4.3. Sort 1/7, -8, i, -0.3.
-8, i, -0.3, 1/7
Let n(r) = -r**3 - r**2 + 13*r + 5. Let w be n(-4). Sort 2/9, 4, w, 5 in decreasing order.
5, 4, w, 2/9
Suppose -18 = y - 3*y. Let g = y + -5. Sort 0, -5, g in decreasing order.
g, 0, -5
Let j = -3/70 + -131/210. Put 0.3, -0.01, j in descending order.
0.3, -0.01, j
Let m(t) = -11 + 0*t - 2*t + 3*t. Let x be m(6). Let y be (-38)/(-40) + (-6)/8. Put y, 0.1, x in descending order.
y, 0.1, x
Suppose -4*k - 6 = -2. Sort k, -5, -2.
-5, -2, k
Let l = -1.7 - 1.3. Put l, 0.1, 0.5 in increasing order.
l, 0.1, 0.5
Let k = 190 + -193. Sort k, 8, 1 in ascending order.
k, 1, 8
Let k = -19 - -12.5. Let o = k - -6. Sort o, 5, 1 in decreasing order.
5, 1, o
Suppose 4*j - 5 = 4*m + 7, -2*m = 4*j - 24. Let u = j - 7. Let k(l) = l**3 + l**2 + l. Let z be k(-1). Sort z, u, 2 in decreasing order.
2, z, u
Let f = -79.6 + 80. Sort f, 2, -46.
-46, f, 2
Suppose -5*t = -2*a + 25, 0 + 6 = 3*a + 3*t. Sort -0.5, a, 3 in descending order.
a, 3, -0.5
Let z = 0.9 + 4.1. Let o = 2.7 - 0.7. Let u = o - z. Put u, -2/3, -0.2 in descending order.
-0.2, -2/3, u
Let i = -19.2 + 19.5. Sort 22, -1, i, 1/4 in ascending order.
-1, 1/4, i, 22
Let f be -4 + 7 + (-5 - -4). Sort 0, f, 4.
0, f, 4
Let m = 109/3 - 554/15. Put m, -2, -1/2 in increasing order.
-2, m, -1/2
Let y = 0 + 0.19. Let s = 0.11 + y. Sort s, -0.4, -3 in decreasing order.
s, -0.4, -3
Suppose -5*q = 2*f - 6, 3*f + 3 - 12 = -2*q. Suppose -3*k = -2*a + 1, -k - 2*a - 1 + 6 = q. Put k, -2, -1/3 in descending order.
k, -1/3, -2
Let q = 11 + -12. Put -5, q, -8 in increasing order.
-8, -5, q
Suppose 3*s - 21 = 2*m, 3*m + 2*m = -2*s - 81. Let o be (3/m)/(12/45). Sort o, 0.3, 4 in decreasing order.
4, 0.3, o
Let u be (28/(-12) + 3)/(-3*2). Sort u, -0.5, -5 in ascending order.
-5, -0.5, u
Let s(y) = -y**2 - 7*y - 15. Let c be s(-5). Sort c, 5, -13, -1 in decreasing order.
5, -1, c, -13
Let x be 4/(-8) - (-5)/6. Let d = 36.3 + -36. Let v = -5 - -4.5. Put d, x, v in increasing order.
v, d, x
Let a be -3*(2/3 + 2). Let c be (3/(-12))/(2/a). Put 3, c, -5 in increasing order.
-5, c, 3
Let r(w) = 4*w**2 - 2*w + 1. Let h be r(1). Suppose 0 - 6 = h*m. Let v = 0.1 - 0. Put m, -2/5, v in decreasing order.
v, -2/5, m
Let g = -12.12 - -12. Let w = g + 0.12. Let m = -1.1 - -1. Sort -5, w, m.
-5, m, w
Let b(d) = -4*d**2 + 55*d + 18. Let w be b(14). Suppose 0 = -y + 2. Let o = y - 3. Sort o, -2, w in increasing order.
-2, o, w
Suppose -8 = 2*m, 2*m = -2*s + 5*s - 5. Suppose 2*a + 2*o + 16 = 0, -5*a - 16 - 19 = 4*o. Let l(c) = -c + 3. Let u be l(3). Sort s, a, u.
a, s, u
Suppose 2*l + 10 = -2*g, 11*g = 2*l + 6*g - 18. Sort 4, -3, -6, l in decreasing order.
4, l, -3, -6
Let q = 2 + -6. Sort q, 0, 3.
q, 0, 3
Let h = -20 - -30. Let l = -10 + h. Sort 1, l, 2 in descending order.
2, 1, l
Let u = 21 - 32. Sort -2, 5, u in increasing order.
u, -2, 5
Suppose 9*s = 11*s - 10. Put -7, 3, s in decreasing order.
s, 3, -7
Let y = -2 + -5. Let j = -3 - y. Put -4, j, -10 in descending order.
j, -4, -10
Suppose -15 = -3*q - 3*f, 3*q - 2*q - 4*f = -5. Suppose 4*g - 4 = -0. Sort q, -10, g.
-10, g, q
Let n = 17 + -8. Let o be 12/(-9)*n/6. Sort 4, o, 0 in descending order.
4, 0, o
Let a = -2.77 - -0.77. Sort -3, -5, a, 1/5 in increasing order.
-5, -3, a, 1/5
Suppose -g - v = v - 5, 0 = -2*v. Put 0.1, 3/7, g, 1/2 in descending order.
g, 1/2, 3/7, 0.1
Suppose 5 = -b + 4*d, -b + 3*d - 3 = -0. Put b, 2, -1 in ascending order.
-1, 2, b
Let o = 13.7 - 14. Let s = -1 - 29. Let x be 32/s + (-2)/(-3). Put 4, o, x in descending order.
4, o, x
Let j be ((-2)/4)/((-3)/(-24)). Suppose -3*f - 2*f = 5. Suppose -5*k = -2*b - 25, 0*k - 5*k - 3*b + 25 = 0. Sort f, j, k in descending order.
k, f, j
Suppose 5*g + 21 + 4 = 0. Sort g, 0, 2, -3 in descending order.
2, 0, -3, g
Suppose 0 = -3*q + 5*q + 6. Let g = -4 - -6. Suppose i + g*i = -3. Sort i, 3, q.
q, i, 3
Let w = 0.4 - 0.5. Let q = w + 0.1. Sort 0.1, q, 2 in decreasing order.
2, 0.1, q
Let h = -6 + 9. Suppose 6 + 4 = h*f + 2*x, 4*f = x + 17. Sort f, -3, -5 in decreasing order.
f, -3, -5
Let q = -8 - -8. Let t be ((-3)/3)/(1/(-5)). Put -2, q, t in increasing order.
-2, q, t
Let h = -28 + 32. Sort -5, -32, h in increasing order.
-32, -5, h
Let f be (-8)/(-4) + (-30)/14. Let c = -0.15 - -0.05. Sort c, f, -2/9.
-2/9, f, c
Suppose 0 = -4*n - b + 16, -n - 2*b + 3*b + 4 = 0. Let w = 2 - 2. Sort -2, w, n in decreasing order.
n, w, -2
Let k = -10 - -5. Let m be (-4)/(-14) - (-16)/(-154). Sort m, k, 1 in descending order.
1, m, k
Suppose 4*i - 19 = g + 10, 5*g + 82 = -i. Let k = g + 15. Sort k, -3, 9 in descending order.
9, k, -3
Let q be ((-9)/6)/((-3)/10). Let y = 13 - 10. Suppose 0*x - y*x + 9 = 0. Put x, q, -2 in descending order.
q, x, -2
Let v = -0.37 - 0.03. Let g be (1/8)/(7/(-4) + 1). Put v, 1/6, g in decreasing order.
1/6, g, v
Suppose -y - 2 = -5. Sort -6, y, 5 in increasing order.
-6, y, 5
Let u be ((-4)/3)/((-7)/(-21)). Suppose 5*j - 20 = -5*t, -12 = -4*j - 0*j - 3*t. Sort u, 2, j.
u, j, 2
Suppose -4*o + 4 = 2*p - p, -5*p - 60 = 4*o. Let q = -20 - p. Sort q, 1, 5 in decreasing order.
5, 1, q
Let r(c) = c**3 + 4*c**2 - c - 4. Let n be r(-4). Suppose 5*t = 2*p + 28, 3*t - 4*p - p - 32 = n. Sort t, -3/7, 1/6 in decreasing order.
t, 1/6, -3/7
Let z = -0.12 + 0.42. Sort 3/4, 0.2, z in decreasing order.
3/4, z, 0.2
Let j = 13 - 18. Suppose 0 = 8*v + v + 9. Suppose d = n + 4*d + 2, -3*d = 3. Put j, v, n in ascending order.
j, v, n
Let q = 10 + -7. Suppose -6 = q*d + 3. Sort -2, d, -5 in descending order.
-2, d, -5
Suppose 0 = 5*q - 4*z - 20, 0 = -2*q - 0*q - 3*z - 15. Let m(h) = h - 1. Let b be m(-5). Let j be (-5)/(-20) - b/(-16). Sort j, -5, q in decreasing order.
q, j, -5
Let j = 6 - 10. Sort -0.4, 0, j.
j, -0.4, 0
Suppose -3 - 5 = 2*v. Let l(a) = -37*a + 3. Let z be l(3). Let j be ((-2)/6)/(9/z). Put v, 3, j in ascending order.
v, 3, j
Let o = -6 + 11. Let a = 3 + -1. Let l = -4.04 + 0.04. Sort l, a, o in ascending order.
l, a, o
Let y = 0.52 - -1.71. Let j = 0.23 - y. Let u = 8 - 8.