 order.
4, y, h
Let c = 25/2 + -15. Sort c, 0.5, -3, 5.
-3, c, 0.5, 5
Let y = 2/239 - 488/1195. Let v be 1 + (-380)/6 - 3. Let d = 64 + v. Sort -1/6, d, y in decreasing order.
-1/6, y, d
Let a be (-70)/(-22) - (-42)/(-231). Sort -4, -5, a.
-5, -4, a
Let u = 31/14 - 39/14. Sort -2, u, 6, 2 in increasing order.
-2, u, 2, 6
Let s be 1*-1*-1 - 1. Suppose -4*u = u - 35. Let i(w) = -w**3 + 7*w**2 - 2*w + 9. Let b be i(u). Sort -1, s, b in decreasing order.
s, -1, b
Let p(w) = w**3 + 7*w**2 + 6*w + 2. Let v be p(-6). Suppose -i = -v*g + 11, -3*i = g + i - 1. Put 4, g, -1 in descending order.
g, 4, -1
Let b = 0.054 + -0.254. Sort b, 1, 1/3 in decreasing order.
1, 1/3, b
Let t = -6 - -11. Let f be ((-6)/(-9))/((-2)/15). Suppose z + 4 = -5*u - 6, -2*z - 6 = 3*u. Sort z, f, t.
f, z, t
Suppose 5 - 1 = b. Suppose 3*h = b*p - 9, 2*p - 13 = 3*h - 4. Sort 3, p, -2.
-2, p, 3
Suppose -5*u + 5 = -5*w, 0*w + 3*u - 2 = 4*w. Put 3, -2, w in decreasing order.
3, w, -2
Let s = -92 + 59. Sort -3, s, 2.
s, -3, 2
Let f = -10.1 + 11. Put f, -2/5, 0.3 in descending order.
f, 0.3, -2/5
Let k(i) = -i - 4. Let v be k(-4). Put 3, -2, -5, v in decreasing order.
3, v, -2, -5
Suppose 0 = 3*q - 4*o - 31, 5*o = -3*q + q - 10. Suppose 0*k - 3*k + 9 = 0. Put -1/3, q, k in increasing order.
-1/3, k, q
Suppose 39 = -5*w + 114. Suppose 10 + w = -5*l. Suppose -7 = -3*d - 1. Sort -2, d, l in increasing order.
l, -2, d
Suppose b = -0*b + 6. Let h = b + -4. Let q be 8/(-2)*h/(-4). Sort -3, -1, q.
-3, -1, q
Suppose -6 + 2 = -2*z. Let y be z + 24/(-20)*2. Sort y, 1, 3.
y, 1, 3
Let d = -11 - -7. Let v = -19.5 - -20. Let s(t) = t**3 + 7*t**2 + 7*t + 1. Let k be s(-6). Sort k, d, v in decreasing order.
v, d, k
Let r = 77 + -77.41. Let v = r + 0.01. Let l = -2.6 + v. Sort l, 2, 1.
l, 1, 2
Let d = -7/8 + 3/8. Put d, -2/9, 1/4 in increasing order.
d, -2/9, 1/4
Let v be (3/3)/(2/10). Let k(x) = 4*x**2 + 2*x + 1. Let a be k(-1). Suppose 4*u = q + 20, -a*u - 5*q - 9 = -1. Put 2, v, u in descending order.
v, u, 2
Suppose 2*g + 3 = -3. Put 2, 5, g in increasing order.
g, 2, 5
Let c(x) = x**3 - 5*x**2 - 26*x + 11. Let f be c(8). Sort -2, 2, f.
f, -2, 2
Let y(k) = k + 2. Let c be y(-3). Suppose -4*w + 14 = -6. Sort w, 3, c in decreasing order.
w, 3, c
Suppose 0 = -2*c - 3*c - 20. Suppose -11 = -5*k - 6. Sort c, k, 2 in descending order.
2, k, c
Let n be 16/(-6) - (-4)/(-12). Sort 0.1, n, -1/7.
n, -1/7, 0.1
Suppose 2 + 1 = l. Suppose -9 = l*j + 6. Sort 3/8, -0.2, j.
j, -0.2, 3/8
Let q(j) = -j + 6. Let i be 7 - (-3 + 2)*0. Let z be q(i). Let v be (6/(-4))/((-1)/(-2)). Sort v, z, 5.
v, z, 5
Suppose 2*b + 6 = -0*b. Let c be (18/15)/((-3)/(-10)). Suppose -2 + 9 = 3*z - 4*n, 5*z = c*n + 9. Put 5, b, z in decreasing order.
5, z, b
Let x be 0/1*(-4)/4. Let a(r) = r. Suppose -4*l - l + 20 = 0. Let u be a(l). Sort u, x, 5.
x, u, 5
Let r = -16.5 + 16. Put 1/17, 1/2, r in descending order.
1/2, 1/17, r
Let f = -0.5 - -0.47. Let s = f + 3.03. Sort s, -1, -3/4.
-1, -3/4, s
Suppose -4*c - 41 = -45. Put 17, 3, c in decreasing order.
17, 3, c
Let x = -1164/7 - -166. Suppose -5*o - 1 = -3*f + 36, -3*o - 7 = -f. Let t be 8/20 + f/(-10). Sort -4/7, x, t.
t, -4/7, x
Let n = -5 - -8. Let y = 13 + -2. Suppose 2*c - 5*d = -15, -4*c - y = 2*d + 7. Put c, n, -0.2 in descending order.
n, -0.2, c
Suppose 79 = 2*b - 19. Suppose 2*v + 3*x = 27, 0*x + b = 4*v + x. Let m be 0 + (-1)/(3/v). Sort -2, m, -1 in decreasing order.
-1, -2, m
Let v be (0 - (-5 - -4))*0. Let f be 3 + v + -3 - 3. Suppose -2*p = -p - 2. Put p, f, 5 in increasing order.
f, p, 5
Let g be -4 - ((-2)/1 - -3). Put 1, g, 0 in descending order.
1, 0, g
Let m be (-5 + 1)*(-2)/(-4). Let b(p) = p**2 - 3*p - 4. Let n be 3*(-1 + 2) + 0. Let h be b(n). Sort 0, m, h in decreasing order.
0, m, h
Suppose 10 = -2*o, 3*o = -5*i + 5*o - 30. Let c = 10 + i. Sort 4, c, 0.
0, c, 4
Let i be (-1)/((-1922)/(-4) + 0). Let z = i - 1796/60543. Let p = z + -1/9. Sort 5, p, 1/5 in descending order.
5, 1/5, p
Let c = 2 - 0. Let i be 1 + (-3 + 1)/(-2). Let w be 0/i*2/(-4). Put 5, c, w in decreasing order.
5, c, w
Let v be -2*35/126*2/5. Sort -2, 2/15, v in descending order.
2/15, v, -2
Let g(c) = -c**2 - 6*c - 1. Let a be g(-6). Let m be (-1)/a + (-65)/55. Sort m, -1/2, -0.1 in descending order.
-0.1, m, -1/2
Let w be (-2)/(-5) + (-69)/(-15). Sort w, -10, 3 in decreasing order.
w, 3, -10
Let r = -4.9 + -1.1. Let h = 6 + r. Put 1/4, 2/13, h in descending order.
1/4, 2/13, h
Suppose 5 = 2*o + 3. Suppose f + 5*j = -8, 4*j + 9 = -2*f - o. Let h be 5/3 - (-4)/(-6). Sort h, 4, f in ascending order.
f, h, 4
Suppose -3*i - 8 = -4*h, 0*i - 6 = -3*h - 3*i. Let u be ((-4)/(-8))/(1/158). Let y = u + -389/5. Sort y, h, 0.4 in increasing order.
0.4, y, h
Let u = -23 - -24. Sort 6/13, -3/5, u.
-3/5, 6/13, u
Let f be (-16)/10 - -2 - (-9)/15. Let b be 7 + -2 - (0 - -1). Suppose 4*m - b*g = -m + 24, 0 = 5*m - 3*g - 23. Sort -5, f, m in decreasing order.
m, f, -5
Suppose 2*s - 6 = -0*s. Let i = -5 + 7. Put i, -1, s in descending order.
s, i, -1
Let s(k) be the second derivative of -k**3/6 - 2*k**2 + 11*k. Let u be s(-4). Sort -2, u, -1 in decreasing order.
u, -1, -2
Let x = 185 - 922/5. Let k = -0.22 + 0.58. Let z = k + 0.04. Put z, 2, x in increasing order.
z, x, 2
Let c be -2*(-7 + 0 + -2). Suppose c = 5*a - 2. Suppose 3*f - a = 2*f. Sort f, -1, 1 in descending order.
f, 1, -1
Let p(g) = 2*g - 3. Let t be p(0). Sort 6, 5, t in increasing order.
t, 5, 6
Let q = 0.43 + -0.03. Let d = 15 - 15. Sort q, d, -1.
-1, d, q
Suppose -2*i - 5 + 7 = 0. Suppose 2*l + 13 = 3. Sort 4, i, l in ascending order.
l, i, 4
Suppose -15 = -3*i - 2*i. Sort -1, i, -27 in ascending order.
-27, -1, i
Let r be 24/(-12) - -1*0/(-1). Put -4, -5, r, 1 in ascending order.
-5, -4, r, 1
Let n(r) = -r**2 + 9*r + 5. Let d be n(10). Let q(a) = a - 4. Let v be q(8). Sort v, -2, d in increasing order.
d, -2, v
Let a = -1.1 + 1.2. Sort a, 0, -3 in increasing order.
-3, 0, a
Let y = 9 + -8. Sort 3, y, 9 in descending order.
9, 3, y
Let m(y) = -2*y + 1. Let p be m(-6). Let v = 62/5 - p. Sort 0.2, v, 5.
v, 0.2, 5
Let i(c) = -15*c**3 + 2*c**2 - 2*c + 1. Let p be i(1). Let f be (-4)/p + (-57)/126. Sort -1/5, f, -1 in increasing order.
-1, -1/5, f
Let j(a) = 9*a**2. Let o be j(-1). Suppose f = 4*f - o. Sort f, -3, 4.
-3, f, 4
Suppose 0 = 4*r - 2 - 6. Suppose 0 - 18 = -2*n - 4*y, -2*y + 14 = r*n. Let s = -20 - -23. Put s, -5, n in ascending order.
-5, s, n
Suppose -2*q = t - 0*q, 5*t + q - 18 = 0. Suppose -8*s = -t*s - 8. Put -1, s, 0 in decreasing order.
s, 0, -1
Let a be 2/6*3 - -1. Let o = 6 - a. Put -3, o, 3 in ascending order.
-3, 3, o
Let s = 2 - -2. Let f be (34 + -41)*(-10)/14. Put s, -5, f in decreasing order.
f, s, -5
Suppose 5*m - m = 0. Suppose -4*n + 15 = n. Suppose -5*z - 27 = -n*j, -3*j + 15 = -0*z - z. Sort z, 2, m in increasing order.
z, m, 2
Suppose 0 = 2*q - 2*g - 10, 0 = 5*q + 2*g - 5*g - 15. Suppose 3*z + 7 = 19. Sort z, q, 3.
q, 3, z
Suppose 0 = -0*y + 3*y + 12. Sort y, 4, -3 in descending order.
4, -3, y
Suppose v + 7 = -2*v - 5*n, 3*n + 10 = 4*v. Let t = -1 + v. Suppose 0 = -4*w - t*w. Sort 5, w, -5 in decreasing order.
5, w, -5
Let h be (-2)/(-4)*(3 - -1). Let g be 0 + h - (4 - -1). Let m(w) = -w**2 + 3. Let z be m(0). Sort 2, g, z.
g, 2, z
Let c = -3 + 10/3. Let k = -28 - -32. Sort -0.4, c, k.
-0.4, c, k
Let x = 1.12 - 1.12. Put -3/7, 2, x, -16 in ascending order.
-16, -3/7, x, 2
Let z be -1 - 4*(-3 - -2). Sort -1, z, -3 in decreasing order.
z, -1, -3
Let q be (-144)/(-40) + (-4)/(-10). Let z be 5/(-2)*(1 + 1). Let t be (1 + q)*(-3)/z. Sort 2, t, 1.
1, 2, t
Let z be 1/2 + (-3)/6. Let o be -3*2*(-12)/9. Suppose -2*r + o = -2. Sort -1, r, z in increasing order.
-1, z, r
Suppose -2*x - 2 = -2*o + 2, 0 = -5*x - 4*o + 17. Let a = -2 + x. Put 0.4, 1/3, a in decreasing order.
0.4, 1/3, a
Let f be 1*(-23)/(-3 - -2). Let x = f - 38. Let c be x/(-10)*8/3. Sort -2, 1, c in ascending order.
-2, 1, c
Suppose -2*t = t + 6. Suppose -6 = 3*n + 3*q, q + 3*q - 19 = 5*n. Let g = -4 - n. Sort g, -4, t.
-4, t, g
Let s = -5 - -7. Let k = 1 - s. Put -4, 3, k in decreasing order.
3, k, -4
Suppose -5*r - 8 = 12. Let v be (26/91)/(-1 + 2). Put v, 4/7, r in decreasing order.
4/7, v, r
Let p = -1.9 + 3.2. Let n = 2.3 - p. Sort -0.4, n, -1/2 in descending 