-2 + y. Suppose 4 = s*v - 4*v. Put 0, v, -3 in decreasing order.
v, 0, -3
Let l be (-12)/(-7) + 3 + -5. Put l, 3, 1 in decreasing order.
3, 1, l
Let w = 0.1 - -1.9. Let q = w + 3. Sort q, 1/3, -2/13 in increasing order.
-2/13, 1/3, q
Let m be 2 + 6/(4 - 1). Put -4, 2, m in descending order.
m, 2, -4
Suppose 2*r + 4*y - 74 = -r, 0 = 5*r - 3*y - 75. Let l(x) = 2*x + 14. Let z be l(-5). Let u be (-1)/2*z/r. Sort -0.1, u, -0.4 in decreasing order.
-0.1, u, -0.4
Let m = 5 + -10. Suppose 0 = -2*d + 7*d. Let i be (2 - 7) + d + 2. Put m, i, -2 in increasing order.
m, i, -2
Let c be 2/(-4)*-1*4. Let o = 5 - c. Let a be 0 - -2 - ((-22)/(-12) + 0). Put o, -0.4, a in descending order.
o, a, -0.4
Let t(z) = -3*z - 5. Let a be t(-2). Suppose -k + 3*p = -14, -k - 4 = 5*p + 6. Put a, k, -1 in descending order.
k, a, -1
Let w = -0.74 - 0.26. Sort w, 1/5, 1 in descending order.
1, 1/5, w
Suppose -q - 5*u = -4*q - 27, -5*u + 15 = 0. Let y = 7 - 8. Let i be (y/(-3)*0)/(-1). Sort 4, q, i in decreasing order.
4, i, q
Let b = 8 + -11. Let z = -23 - -33. Suppose 4*m = -2*y - z + 32, 5*y = -2*m + 15. Sort -1, b, m.
b, -1, m
Suppose -2*i - 3*j - 6 - 1 = 0, -3*i + 3*j + 27 = 0. Sort 2, 1, i in ascending order.
1, 2, i
Let v be ((-72)/3)/(-6) - 7*1. Sort v, 2, 5, -5.
-5, v, 2, 5
Let c(p) = -p**3 + 5*p**2 - 5*p + 5. Let b be c(4). Sort b, 5, 4 in descending order.
5, 4, b
Let t = 574/3 + -193. Let c = -21.64 - -22. Let g = c - -0.04. Put g, -5, t in decreasing order.
g, t, -5
Let g = -13 - -12.91. Let h = -5.09 - g. Suppose 0 = -5*z + 3*m + 2*m + 30, -5*m - 24 = -3*z. Sort h, 1, z.
h, 1, z
Let q be -6 - 2*1/(-2). Let c be (-2)/3 + 18/108. Put -0.2, c, q in decreasing order.
-0.2, c, q
Let h(n) = -n**2 + n + 16. Let k be h(-4). Put -4/5, k, -15 in descending order.
-4/5, k, -15
Let h = -72 - -67. Sort 0, -0.4, -0.3, h in decreasing order.
0, -0.3, -0.4, h
Let l = -0.27 + 0.07. Let q = 20.8 - 19. Let w = q - l. Sort w, -2, -0.4 in decreasing order.
w, -0.4, -2
Let q be 6/(-8)*(-32)/12. Let f(g) = g**2 - 6*g - 9. Let u be -3 + 2 + 8*1. Let o be f(u). Sort o, -3, q in decreasing order.
q, o, -3
Suppose -2*a + 2 = -l - 0, -3*a - 7 = -4*l. Suppose 3*b + 2 + 1 = 0. Sort a, -2, b.
-2, b, a
Let v = -3.89 - 0.11. Let n = -1.5 + 1. Put n, 0.5, v in descending order.
0.5, n, v
Let s(y) = y**3 - y**2 - y - 1. Let n = 0 + -1. Let c be (-1)/((0 + -1)*n). Let b be s(c). Put 5, -4, b in decreasing order.
5, b, -4
Suppose -4*h = 10 + 10. Let b(m) = m**3 - 7*m**2 + 14*m - 6. Let a be b(2). Put -11, h, a in ascending order.
-11, h, a
Let p(k) = -k**3 - 4*k**2 - 2*k + 3. Let u be p(-3). Let g = -2 - u. Let i(t) = t - 21. Let b be i(18). Sort b, g, -4 in decreasing order.
g, b, -4
Suppose 2*x = -0*x - 8. Put x, 2, 1 in descending order.
2, 1, x
Let j = 0 - 0. Let p = j - 0. Suppose 12 = -6*o + 2*o + 4*i, i = 2*o + 1. Sort 5, o, p in decreasing order.
5, o, p
Let m be 52/105 - 18/45. Let l = 3/7 - m. Put l, -3/4, -5 in decreasing order.
l, -3/4, -5
Let x = 62 - 68. Put -3, x, -0.5 in decreasing order.
-0.5, -3, x
Let x be (9/6)/((-20)/8). Put x, 1, 4 in ascending order.
x, 1, 4
Let l = -23 + 25. Put -5, 5, l in increasing order.
-5, l, 5
Suppose 5*k + 7 = -r, -2 = r + 3*k + 3. Put r, 0, 8 in decreasing order.
8, 0, r
Suppose 0 = -3*h + h. Let v = -3 + 2. Let n be 0 - (2 + 4/v). Put h, n, -5 in ascending order.
-5, h, n
Let i = 4 + -3.5. Let n = -5.5 + i. Let d = n - -5. Sort -2/11, 5, d in increasing order.
-2/11, d, 5
Let o = -1 + -3. Let x(y) = y - 12. Let i be x(11). Let v = -4 + 7. Sort v, i, o.
o, i, v
Let u(k) = k**3 - 9*k**2 + k - 3. Let f be u(9). Suppose -2*g - 6 = 2*o, 0*g + 2*o + f = g. Let h = 14 + -10. Sort h, g, -3 in ascending order.
-3, g, h
Suppose -6 = -3*h - 0*h. Let w = 13 + -10. Sort h, w, 1 in descending order.
w, h, 1
Let j = 0.62 + -0.5. Let w = j + -1.12. Let i(q) = -q**3 - 5*q**2 + 5*q - 3. Let n be i(-6). Sort -5, w, n in increasing order.
-5, w, n
Let i(a) = 2*a - 3. Let y be i(2). Let o be (-7)/(21/(-9)) - 4. Let b = o + y. Put -3, b, -4 in increasing order.
-4, -3, b
Let o = -0.04 - -0.02. Let f = o - -0.1. Let m = -3.92 - f. Sort m, 1/4, -0.4 in descending order.
1/4, -0.4, m
Let o be (4/3)/(1/(-3)). Let c = -2.3 - -2.7. Let t = 2.3 + -2. Sort c, o, t in decreasing order.
c, t, o
Let j(x) = -x**2 + 6*x + 12. Let q be j(7). Put 1, -3, -4, q in descending order.
q, 1, -3, -4
Let t = -12.5 + 13. Put -4, t, -5 in descending order.
t, -4, -5
Let q = 37/24 - 23/8. Sort q, 0.2, -2/13 in increasing order.
q, -2/13, 0.2
Suppose -21 = l - 17. Sort -5, 1, l, -3 in decreasing order.
1, -3, l, -5
Let x(j) = j + 2. Let k be x(-6). Let g = 5 - 5. Sort 1, g, k in increasing order.
k, g, 1
Let w = -14 + 17. Let u be 17/(-4) - (-2)/8. Let x be (-16)/(-10) + u/(-10). Put w, x, 2/11 in increasing order.
2/11, x, w
Let z = 0 - 0. Suppose 3*r = -4*x + 49, 5*x - 4*r - 38 = -0*x. Suppose -b - b - x = z. Put 2/7, b, 1/4 in increasing order.
b, 1/4, 2/7
Let i = 1 + -7. Let j = i + 11. Sort j, 2/11, 2 in descending order.
j, 2, 2/11
Let n be 1 + -3 - 976415/210. Let x = n - -4650. Let q = x + 2/21. Sort q, -5, 3.
-5, q, 3
Let o be (4 - 4) + 5/1. Sort -3, o, 4 in descending order.
o, 4, -3
Let s be (-6)/(-18) - (-1)/(-3). Suppose d + s*d + 3 = 0. Sort 5, d, -5 in decreasing order.
5, d, -5
Let q(f) = -f - 2. Let b be q(-1). Suppose 0 = -5*o + 4*m - 24, -o - 1 = 3*m - 0. Suppose -l - 1 = 2. Put b, l, o in decreasing order.
b, l, o
Let y(h) = -h**2 - 5*h + 2. Suppose -6*z + 90 = -z. Suppose 0*c + 3*c = -z. Let t be y(c). Put -1/4, t, 0.5 in decreasing order.
0.5, -1/4, t
Let g = 31/60 - -1/12. Put -2, 5, -4/3, g in decreasing order.
5, g, -4/3, -2
Suppose h - 4*s + 17 = -7, -5*s = 0. Sort -0.4, h, 5.
h, -0.4, 5
Let d(o) = o**2 - 9*o - 33. Let c be d(12). Let j be (-2)/(-8) + (-11)/(-4). Let w = 1 + j. Put w, c, -4 in ascending order.
-4, c, w
Let g be 3/(-27) + (-15)/108. Sort -2, g, 2/7.
-2, g, 2/7
Suppose -v + 0*t + t = -7, 2*t = 5*v - 26. Let c(k) = -1. Let d(m) = 3*m - 7. Let y(i) = -6*c(i) + d(i). Let a be y(-1). Sort a, -3, v in descending order.
v, -3, a
Let h be -1*(-1 + 3 - -3). Put 3, 5, h in decreasing order.
5, 3, h
Suppose -w + 3*w + 26 = 0. Let o = w + 8. Sort 0, -3, o in decreasing order.
0, -3, o
Let t(s) = s**3 + 7*s**2 + 7*s + 9. Let z be t(-6). Let v = -17 - -21. Suppose -2*d + 2*l - 2 + v = 0, 5*d = l - 3. Put -5, z, d in increasing order.
-5, d, z
Let n be 0 + 45/12 + -3. Put n, 3, 4 in ascending order.
n, 3, 4
Let k = -1/10 - 17/30. Let f = -4 - -1. Let n = f - -2. Sort k, -5, n in descending order.
k, n, -5
Suppose 0 = -8*b + 22 + 10. Let z(i) = -i**2 + i + 1. Let u be z(0). Let d = -2 + 2. Put b, u, d in descending order.
b, u, d
Let v be ((-18)/15)/((-8)/20). Put -2, -1, v in decreasing order.
v, -1, -2
Suppose -8*i + 9*i = 3. Sort -3, -5, i, 4 in increasing order.
-5, -3, i, 4
Let p = 0.193 + -0.113. Sort p, -2/7, 4, -3/2.
-3/2, -2/7, p, 4
Let n be 944/21*(-2)/(-324). Let q = n + 2/243. Let r = 0 + 0.5. Sort 5, r, q in descending order.
5, r, q
Let u = 1.6 + -1. Let k = 1 - u. Sort -5, -0.4, k in descending order.
k, -0.4, -5
Let u be 2/(-4)*(-2 + 4). Let r(t) = -t**2 + 3*t - 2. Let m = -2 - -4. Let j be r(m). Sort -4, j, u in descending order.
j, u, -4
Suppose -2*c = -0*c - w - 5, -20 = 5*c + 4*w. Suppose c = 4*g - 2 + 6. Let p = 1 + g. Put -4, 4, p in descending order.
4, p, -4
Let m(q) = -q**3 - 5*q**2 + 6*q + 2. Let t be m(-6). Let s be (0/1)/((-4)/2). Sort s, 4, t.
s, t, 4
Let j(d) = -d**2 - 7*d + 4. Let y be j(-8). Suppose 4*u - 3 - 5 = 0. Sort u, y, 4 in ascending order.
y, u, 4
Let l = 2.1 + -9.1. Let k = -9 - l. Put k, -3/4, -5 in ascending order.
-5, k, -3/4
Let h(l) = l**2 - 8*l - 8. Let b be h(9). Sort 4, 0, b, 5 in decreasing order.
5, 4, b, 0
Let t be -2 - -1 - (-3)/9. Put t, 2, -0.3 in descending order.
2, -0.3, t
Let s = 0.017 - 184.017. Let b = 175.7 + s. Let l = b - -8. Sort 0.2, l, -3.
-3, l, 0.2
Suppose -u = 2*l + l + 5, 2*l - 3*u = 15. Let f be 16 - (1 + 1 + 1). Let w = f + -9. Put w, -2, l in descending order.
w, l, -2
Let f be -2 + -1 + 9/3. Let c(z) = z**3 - 1 + 3 + 0 + 0 + 4*z**2. Let y be c(-4). Sort f, y, -1 in decreasing order.
y, f, -1
Let q be 2*2/4*-1. Let m(k) = -k**2 + 10*k - 6. Let v be m(8). Let f be (1/(-2))/(1/v). Sort f, 1, q