et o be (-1 - -3)*s*2. Suppose -5*l - 4*h - 37 = 0, h + 0*h = -3*l - 18. Sort o, 3, l in descending order.
o, 3, l
Suppose -3*h = -2*h - 2. Let o = -1 + h. Let w = 0.1 + -0.1. Sort o, w, -1/2.
-1/2, w, o
Let n = 0.14 + -0.04. Let b = 0.04 + 9.96. Let x = b + -14. Sort x, 3, n in ascending order.
x, n, 3
Let o = 44 + -49. Put 6, -3, o, 0.1 in decreasing order.
6, 0.1, -3, o
Suppose 0 = 2*r - 5*r - 18. Let x = 8 + r. Suppose -4*p + 5 = -5*u, 2*p + 10 = -0*p. Put -3, x, u in decreasing order.
x, -3, u
Let r = 487/4 - 121. Sort 1/5, r, 0.
0, 1/5, r
Let y = -4 - -7. Sort 4/3, y, -4 in descending order.
y, 4/3, -4
Let u(n) = n**3 - 8*n**2 + 4. Let g be u(8). Suppose 0 = g*f + f - 15. Suppose 3*o + 3 + 6 = -5*t, 5*t = 0. Sort -1, o, f.
o, -1, f
Suppose -a = 3*a - 28. Suppose -1 = b + 1, -l + a = -b. Put 0, -1, l in increasing order.
-1, 0, l
Let x = -7.3 - -7. Let y = 12.4 - 11. Let a = y - 3.4. Sort 0.3, x, a.
a, x, 0.3
Let l = 13 + -20. Let o = -7 - l. Sort o, -1/5, -2 in decreasing order.
o, -1/5, -2
Suppose -t = 3, -3*t = v + 11 - 1. Sort 5, v, -3, 1 in decreasing order.
5, 1, v, -3
Let u be (-2)/8 + (-9)/(-20). Let i = 4 - 3.9. Put 0, i, u in decreasing order.
u, i, 0
Let u = -1 - 1. Let f = -3 - 0. Put u, f, 1 in increasing order.
f, u, 1
Let c be 3 - (0 - -1)*-1. Suppose -2*r + 5*u + 12 + 11 = 0, c*u + 25 = -5*r. Put -2, r, 5 in decreasing order.
5, r, -2
Let y be (-4)/8 + 261/530. Let r = y + -508/2915. Sort r, -0.1, -1 in decreasing order.
-0.1, r, -1
Let w = -0.19 - 0.01. Let b = -0.12 + 0.4. Let g = -0.08 + b. Put w, g, 2/21 in decreasing order.
g, 2/21, w
Suppose 5 = -2*v + v. Let n(i) = -i**2 - 5*i - 2. Let a be n(v). Put 4, a, 2 in ascending order.
a, 2, 4
Let n = -16 - -7. Let y = n - -9. Suppose 4*j + 12 = -y*j. Sort j, 0, 2 in descending order.
2, 0, j
Let b(z) = z**3 + 10*z**2 + 19*z + 13. Let g be b(-8). Sort -1, g, 3 in increasing order.
g, -1, 3
Let x be (28/(-4))/(0 + -1). Let b(f) = f**3 - 6*f**2 - 6*f - 10. Let z be b(x). Sort z, 0.2, 2 in descending order.
2, 0.2, z
Suppose -2*f = f. Put -1, f, -2 in ascending order.
-2, -1, f
Suppose 3*p = 5*l + 32, -l + 18 = 5*p + 2. Put -1, -11, l in decreasing order.
-1, l, -11
Suppose 0 = -5*h - 2*f - 7, -3*h = h + 5*f + 9. Sort 1, -4, h in ascending order.
-4, h, 1
Let o = -33 + 33. Let b = 3 + -2.95. Sort 5, o, b in decreasing order.
5, b, o
Let n = 6 - 4. Let i be (-6)/8 - (-3)/3. Put i, -0.1, n in descending order.
n, i, -0.1
Let k = 5 + -4. Suppose -2*i - 4*y = -14, 17 = 3*i + 2*y - 0. Sort i, k, -1.
-1, k, i
Suppose f - 7 - 5 = 0. Let o = f + -7. Suppose -3*p + 24 = 4*g, p + p - g = 5. Sort p, 1, o in descending order.
o, p, 1
Let h(j) = -j + 16. Let i be h(15). Sort -5, -8, i, 5 in increasing order.
-8, -5, i, 5
Suppose -7*g - g + 32 = 0. Put 4/3, -3, -2, g in descending order.
g, 4/3, -2, -3
Let p = -35 + 33. Sort 3/7, 5, p, 0.4 in increasing order.
p, 0.4, 3/7, 5
Let p(j) = -j**2 - 5*j + 8. Let v be p(-6). Let r be 4/30 + 232/60. Put v, -1, r in descending order.
r, v, -1
Let l(f) = f - 4. Let r be l(10). Suppose -3*n = -4*g - 30, n = 5*g + r + 15. Suppose -n = 2*p - 4*j, -2*j + 9 = -0*p + p. Sort 2, -3, p.
-3, 2, p
Let i be 9/(-6) + 1 + -1. Suppose 0 = -4*x - 2*u - 12 - 2, -x = 4*u - 7. Sort x, -2, i in increasing order.
x, -2, i
Let k be -1*(1 + -7 + 2). Let c = -0.09 + 0.49. Let q = -6.3 - -6. Sort c, k, q in descending order.
k, c, q
Let g(n) = 4*n + 8. Let u be g(-2). Put u, 5, -1, -4 in descending order.
5, u, -1, -4
Let w(s) = -9*s + 1. Let o be w(1). Let c = -12 - o. Put c, 3, -5 in ascending order.
-5, c, 3
Suppose -4*t - 10 = -9*t. Put 3, 5, t, -13 in decreasing order.
5, 3, t, -13
Suppose 5*f - 10 - 10 = -5*q, -4*q = 5*f - 19. Put 2, -2, q, -3 in descending order.
2, q, -2, -3
Let b be 2/3 - (-1 - -1). Let j = -3.5 - -4. Put j, b, -0.2 in descending order.
b, j, -0.2
Let s(w) be the first derivative of w**3/3 + 3*w**2 + 4*w + 8. Let m be s(-3). Sort 5, m, 0.
m, 0, 5
Let l be 5/(-2) - 3/(-6). Let f = 19 + -18. Sort f, 5, l in increasing order.
l, f, 5
Let i = 2.6 - 6. Let b = 3 + i. Let v = b + 0.9. Sort v, 1/6, 3/2 in descending order.
3/2, v, 1/6
Suppose 0*q = 3*q. Let p = 9 + -4. Let x be (2 - -1) + 10/p. Put q, x, -1 in decreasing order.
x, q, -1
Let l = 39 + -34. Put l, 2, 0 in decreasing order.
l, 2, 0
Suppose 4*q = -4*c + 8, -2*c - q = 2*c - 8. Let y = -1 + 1.1. Sort y, -4, c.
-4, y, c
Let p = -0.66 + 0.06. Let x = 0.7 + p. Sort 0.2, -0.4, x in descending order.
0.2, x, -0.4
Let q be (7 - 0) + (-1 - 0). Suppose 4*a = -q - 14. Let r be (-8 - -9)/((-2)/8). Sort 4, r, a in increasing order.
a, r, 4
Suppose -2*h = -2*z - 3*h - 18, -3*h = -2*z - 2. Suppose 5*n - 5*j = 0, -3*j = 3*n + 7 - 31. Sort -3, z, n in increasing order.
z, -3, n
Let f be (5*(-1)/2)/(2/(-4)). Sort -0.3, f, -0.5, 0.06.
-0.5, -0.3, 0.06, f
Let f = -13 - -8. Let q(n) = 7*n**2 - 4*n - 9. Let d(i) = -6*i**2 + 4*i + 8. Let o(t) = -6*d(t) - 5*q(t). Let j be o(5). Put 3, f, j in descending order.
3, j, f
Let b be -3 + 3/3 + 2. Let p(x) = -x - 2. Let t be p(b). Sort 3, -5, t in decreasing order.
3, t, -5
Let n(r) = r**3 - 2*r + 1. Let w be n(2). Let z = -236 + 234. Put 1, z, w in decreasing order.
w, 1, z
Let u(x) = -x**2 + 4*x + 3. Let j be u(3). Let z(l) = l**3 - 7*l**2 + 6*l - 3. Let n be z(j). Sort 0.2, n, 4.
n, 0.2, 4
Let k = 8/49 + 107/245. Let x = -6 + 14. Let q be (4/(-3))/(x - 2). Sort q, -0.4, k in descending order.
k, q, -0.4
Let w = 1.3 + -1.6. Put -1/4, w, -54, -4 in decreasing order.
-1/4, w, -4, -54
Let i be 8/6 - (-1)/(-3). Let u be -3*((i - 1) + 1). Sort -1, 3, u in descending order.
3, -1, u
Suppose 25 = -n - 4*q, -4*q = 3*n + n + 40. Let a = 4 + -6. Let t = a - -7. Sort t, -4, n in ascending order.
n, -4, t
Suppose -5*m = m + 30. Put m, 2, -1 in decreasing order.
2, -1, m
Let m be 5/(-2) - (-3)/6. Let n = 12 - 11. Sort n, -3, m in ascending order.
-3, m, n
Suppose 0 = -7*r + 2*r - d + 30, 0 = r - 2*d + 5. Sort -1, 10, 1, r in descending order.
10, r, 1, -1
Let o = 0.3 - 1.2. Let w = o - 2.1. Let d = -67/3 - -22. Sort d, -0.2, w in ascending order.
w, d, -0.2
Let y = -20 + 18. Sort 7, y, 5 in decreasing order.
7, 5, y
Let l = 3 + -10. Let q = l + 8. Put -2/9, q, -1 in descending order.
q, -2/9, -1
Suppose 5*a = -2*g + 22, 3*a - g = -2*g + 13. Let m = -231.04 + 236. Let p = -0.04 - m. Sort -3, a, p in decreasing order.
a, -3, p
Let j(o) = o - 8. Let k be j(9). Sort k, 5, -4 in decreasing order.
5, k, -4
Let f(j) = 2*j**2 + 9*j + 6. Let k be f(-4). Let c be -1*(-1*3)/1. Sort k, c, 1 in ascending order.
1, k, c
Let t = -162 + 166. Sort 0, t, 6 in increasing order.
0, t, 6
Let j = 23 + -18. Sort -6, j, -3, -5 in decreasing order.
j, -3, -5, -6
Let c = -0.056 - -0.556. Put 4, -2/9, 5, c in decreasing order.
5, 4, c, -2/9
Let i = -1.1 + 0.7. Sort -5, i, 2/3 in ascending order.
-5, i, 2/3
Suppose 2*w = 3*d - 12, -2*d = -0*d + 4*w - 8. Sort -4, -1, d in ascending order.
-4, -1, d
Let f = -5 - -2. Let d be 2 - (-1)/(1/f). Let q be (-1 + d/3)/2. Sort 1/6, 0.5, q.
q, 1/6, 0.5
Let l = -1 + 2. Let h = -1.2 - -6.2. Sort h, l, -1/5 in descending order.
h, l, -1/5
Let s be (-2)/(-2 + 2 + -2). Sort s, -5, -2, 2 in descending order.
2, s, -2, -5
Let i be -2 + (-3)/(27/(-15)). Let z = -15601/40 + 1567/4. Let p = 8/5 - z. Sort -4, i, p in ascending order.
-4, i, p
Let j = -10 + 13. Sort j, 2, 5, -3 in decreasing order.
5, j, 2, -3
Let f be (-1328)/(-144) - (-4)/(-18). Let m be 4/f - 12/54. Let h = 7/12 - 4/3. Sort h, m, 0.2 in descending order.
m, 0.2, h
Let a be 4/(-2) + (6 - -1). Suppose -2*h + a*b - 5 + 3 = 0, -5*b + 10 = 0. Put h, -5, 0 in decreasing order.
h, 0, -5
Let x be (-3 - -4)*(0 - -1). Suppose -25 = -k + 5*m, -k - m = -0*k - x. Let y = -0.6 - -1. Sort y, k, -4/3.
-4/3, y, k
Let h = 10 - 14. Put -1, 4, h in ascending order.
h, -1, 4
Let r be 1/5 + (-12)/(-15). Let a be ((-14)/18 - 0) + r. Sort -0.1, a, 5.
-0.1, a, 5
Let g = 3 - 2.9. Let d = -1133/652 + 7/4. Let b = d - 340/1141. Sort -2, b, g.
-2, b, g
Let z = 16.11 - 16. Let a = z - 2.11. Let r = 1 + -1.1. Put 0, a, r in descending order.
0, r, a
Let r = 1 - -2. Let s = 6.2 - 6. Put r, s, 1/6 in decreasing order.
r, s, 1/6
Let c = 1 + -6. Put c, 0.3, 0.4 in descending order.
0.4, 0.3, c
Suppose -24 = -4*f + y - 3*y, f - 3*y + 1 = 0. Suppo