-6 = -2*y + 4. Sort y, -35, 2/15, -3 in decreasing order.
y, 2/15, -3, -35
Let g be (2 - -1) + 0 + 1. Suppose -5*l = g*q - 23 + 3, 0 = -l - 5*q + 25. Sort 1, -1, l in descending order.
1, l, -1
Suppose 0 + 20 = 4*p, -5*t + 2*p = 10. Let q = t - -2. Let s be -4*(6/q)/6. Sort s, 2, -1.
s, -1, 2
Suppose 0 = 3*m + 2*c - 47, 2*c + 29 = 2*m + 1. Suppose -3*t = t - 2*z + 14, 5*z = m. Put t, -3, -5 in increasing order.
-5, -3, t
Let q = -6 - -8. Let n = -3.94 - 0.06. Let a = -10/3 - -32/9. Sort n, a, q in decreasing order.
q, a, n
Let i = -42 + 42.5. Let p = 1 + -0.97. Let x = 6.4 - 6. Sort i, x, p in decreasing order.
i, x, p
Suppose 4*z + 6 = 2*q, 0*q - 4*z - 8 = -4*q. Let n = -5 + 8. Put 5, q, n in increasing order.
q, n, 5
Let l = 75312323/566664 - -1/26984. Let h = -133 + l. Let g = -3 + 3.2. Put h, g, -0.3 in descending order.
g, h, -0.3
Let j = -2.05 - -0.05. Let y = j - -2. Let r = 13/12 - 5/12. Sort r, y, -0.05.
-0.05, y, r
Let v(d) = -4*d - 1. Let j be v(-1). Suppose -2*a + j*x + 9 = 0, 4*a - 17 = 4*x - 5. Put 5, -3, a in increasing order.
-3, a, 5
Let m = 64 + -69. Suppose 2*c = -6, -o + c - 2 = -10. Sort -2, m, o in increasing order.
m, -2, o
Let k(v) = v**2 + 14*v + 17. Let q be k(-12). Put 3, -3, q in ascending order.
q, -3, 3
Let s be (0 - 3)/(60/(-80)). Put 1, s, 2, -3 in decreasing order.
s, 2, 1, -3
Let v = 1 - 0.5. Suppose -17*i - 9 = 8. Sort i, 3, v in increasing order.
i, v, 3
Let z be 12/165*25/10. Let d = -0.01 - -0.21. Sort -3, d, z in ascending order.
-3, z, d
Let n(t) = 4*t**2 + t + 1. Suppose -p + 3*p = -2. Let h be n(p). Sort -4, h, 0.
-4, 0, h
Let v(d) = -d + 2. Let f be v(6). Sort 6, 2, f.
f, 2, 6
Suppose -4*c = 3 - 15. Suppose 2*t - 9 = 4*x + 15, -c*x - 4*t = -4. Put 0, -5, x in decreasing order.
0, x, -5
Let z be (-372)/230 - (-4)/10. Let j = 206/207 + z. Let i = 2.3 - -0.7. Sort 4/5, i, j.
j, 4/5, i
Let q = -155/459 - 2/27. Let t = -103/85 - q. Let g = 0.3 - -0.2. Sort g, -0.4, t in increasing order.
t, -0.4, g
Let s be (-1)/(-3) + 37/(-3). Let h be 3/(-2)*s/9. Put 5, 4, h in increasing order.
h, 4, 5
Suppose -6 + 9 = -3*q - 3*y, 3*q + 7 = y. Sort 3, -30, q in decreasing order.
3, q, -30
Let j = -81 - -85. Put 19, 2, j in descending order.
19, j, 2
Let x(y) = y**3 - y**2 - y - 3. Let i be x(-3). Sort 3, -5, i in increasing order.
i, -5, 3
Let w = -3 + 7. Let x = 33 - 23. Suppose 0 = -x*p + 5*p - 5. Sort w, p, 2 in ascending order.
p, 2, w
Suppose 0 = 2*x + 3*x + 25. Let r(b) = -b**2 - 6*b - 4. Let t be r(x). Let i be (-3 + t)*(-35)/(-14). Sort 0.3, -1/3, i.
i, -1/3, 0.3
Let y = -64 - -60. Put y, -1, 0, 2 in increasing order.
y, -1, 0, 2
Suppose 2*i = -i + 12. Let j be -3*(-1 + 3 - (-6)/(-9)). Put 5, j, i in decreasing order.
5, i, j
Let o = 25.2 - 25. Let k = 0.3 - o. Sort k, 1/3, 4/5.
k, 1/3, 4/5
Let r(d) = d**2 - 11*d + 2. Let m be r(11). Suppose -m*c = -i + 15, -3*i + 3 = 2*c - 2. Put i, 1, 0 in descending order.
i, 1, 0
Suppose -x - u + 11 = 0, 5*u = 2*x - 0*x - 1. Put x, 5, -2 in descending order.
x, 5, -2
Suppose 2*g - 5 = -3. Let h(w) = -w**2 - 3*w + 2. Let l be h(-5). Let n be (3/(-2))/((-3)/l). Put g, -3, n in decreasing order.
g, -3, n
Let c = -134/5 + 26. Sort 1/7, c, 1/3, -3 in descending order.
1/3, 1/7, c, -3
Suppose -3*d + 2*f = 2*d - 25, -2*d - 4 = 2*f. Let y be 1/((-2)/6*2/(-6)). Sort 1, y, d.
1, d, y
Let n be ((-6)/(-3))/(-6) - 4/6. Put n, 0.3, 2, -2 in descending order.
2, 0.3, n, -2
Suppose t - 5*n + 6 = 0, t = -3*n + 6*n - 2. Let u be -3 + t*(-2)/(-4). Sort 2, u, 5 in decreasing order.
5, 2, u
Let t = 0.06 + -7.06. Let c = 6 + t. Put -4, c, 0.1 in ascending order.
-4, c, 0.1
Let r = -3 + 7. Suppose 3*y = 5*y - r. Sort -1, y, 1.
-1, 1, y
Let q = -0.129 - 4.871. Let u = -21 + 65/3. Put u, -2/5, q in descending order.
u, -2/5, q
Let l be 3/(-6)*3*(-4)/(-15). Sort -4, 0.5, l, -5.
-5, -4, l, 0.5
Let s be -4*(-1)/(-2) - -8. Suppose -s = -9*i + 4*i + 4*g, 5*i - 5*g = 5. Put i, -0.5, 3/5 in decreasing order.
i, 3/5, -0.5
Let l = -0.126 + 0.126. Put -0.3, 3/4, l, -0.2 in descending order.
3/4, l, -0.2, -0.3
Let t(i) = i**3 - 4*i**2 + 2*i - 6. Let q be t(4). Sort q, 4, -1.
-1, q, 4
Suppose 4*i = 12 - 20. Suppose -4*g - 2 = -6. Let v(a) = -5*a**3 + 2*a**2 - 1. Let w be v(g). Put i, -1, w in descending order.
-1, i, w
Let u = -10 + 14. Let s = -4 + u. Put 1, -4, s in increasing order.
-4, s, 1
Suppose -2*q + 14 = 5*x, -4*x - 2*q - q = -7. Let w(o) = 3*o + 0 + o**2 + 2 + 1. Let m be w(-2). Sort x, 5, m in increasing order.
m, x, 5
Suppose 5*c - 1 = -4*r - 36, -c - 3 = 0. Put 4, r, 0 in decreasing order.
4, 0, r
Let y be 1/(0 + 3 + -4). Sort 13, 3, y in descending order.
13, 3, y
Let m = -3 - -7. Let s be 3/(51/19) + -1. Let g = 13 - 16. Sort m, g, s in ascending order.
g, s, m
Let f = 2/395 - 239/395. Sort 1, -0.08, f.
f, -0.08, 1
Let h be 40/(-32)*2/(-5). Sort -0.2, -2, h.
-2, -0.2, h
Let z = 0.024 + 0.076. Put 1, -0.4, 2/11, z in decreasing order.
1, 2/11, z, -0.4
Let b(m) = 2*m + 1. Let c be b(2). Suppose h + 0*h - c = 0. Let w(t) = t**3 - 5*t**2 + t - 3. Let n be w(h). Sort -1, n, 4 in increasing order.
-1, n, 4
Let j = -0.76 + 0.81. Put -3, -1, -3/2, j in decreasing order.
j, -1, -3/2, -3
Let c be -2 + (-15)/(-66)*8. Sort 4/3, c, -14 in descending order.
4/3, c, -14
Let p = 322 - -46. Let u be (-12)/1*p/42. Let i = -105 - u. Put 0.2, i, 3 in descending order.
3, 0.2, i
Let r = 0.03 + -0.23. Sort r, 3/8, -3 in descending order.
3/8, r, -3
Let r = 21 + -15.5. Let t = 6 - r. Sort -4, t, -3/2 in decreasing order.
t, -3/2, -4
Suppose -29 = 4*m - 73. Sort -1, m, 2.
-1, 2, m
Suppose -2*t - 5*h = -4, -3*t = -2*t - 2*h + 7. Sort -5, -2, t in decreasing order.
-2, t, -5
Let i be 1*-3 - (-125)/45. Let u = 1.1 - 0.1. Let d = 1.1 - u. Sort -1/3, d, i.
-1/3, i, d
Let a = 17 + -12. Sort a, -4, -9/2 in decreasing order.
a, -4, -9/2
Let y(c) = c**2 - 8*c + 1. Suppose m - 10 = -0*m. Suppose -j + m = 2. Let k be y(j). Sort -0.4, 0.1, k in decreasing order.
k, 0.1, -0.4
Suppose 2 = 5*g - 3*l, -2*g + 0*g = -3*l + 1. Let u = 0.6 - 3.6. Sort u, 0, g in increasing order.
u, 0, g
Let c(f) = f. Let r be c(2). Suppose 5*k + 32 = 4*s, 3*k - 16 = -2*s + 4*k. Suppose -4*n = -8*n - s. Put n, r, 5 in decreasing order.
5, r, n
Let a(d) = -d**2 - 9*d + 4. Let j be a(-9). Put -2, j, 2 in descending order.
j, 2, -2
Let j = -0.09 + -4.91. Sort -3, 1, j in descending order.
1, -3, j
Let c be (4/42*7)/((-1)/3). Suppose -2*f + 2 = 8. Sort 2/5, f, c in increasing order.
f, c, 2/5
Let k = -37/10 + 11/5. Let t(n) = -18*n**2 + 6*n - 3. Let f be t(4). Let y = f - -2935/11. Put 4, y, k in increasing order.
k, y, 4
Let d = -10.2 + 1.8. Let g = 8 + d. Sort 5, 2/3, g.
g, 2/3, 5
Let m = 2.04 - 0.04. Let r = m - 1.8. Put r, -5, 4/5 in ascending order.
-5, r, 4/5
Suppose 2 + 4 = -i + 2*r, -2*r + 6 = -2*i. Let a(c) = 3 + 0 + 3*c**2 - 1 - c**3 - 2*c. Let q be a(3). Sort q, i, -0.1 in ascending order.
q, -0.1, i
Let w be 1*(-3)/6 + -1. Let a be (7/((-105)/(-20)))/((-28)/(-6)). Put w, 0, a in descending order.
a, 0, w
Suppose -2*v + 6 = 4. Let s be ((-10)/8)/(v/4). Sort 0, 5, s.
s, 0, 5
Let r = 4.07 - 0.07. Sort 3/2, r, -1/2 in decreasing order.
r, 3/2, -1/2
Let y = 7 + -12. Let k = -19/20 - -6/5. Sort y, -4, k.
y, -4, k
Let x = -2.2 + 2. Let d be (-3)/(-4) - 161/28. Let u = 0.3 - 0.2. Sort d, x, u in descending order.
u, x, d
Suppose 0 = 5*k + 29 - 49. Sort k, -6, -2/9.
-6, -2/9, k
Suppose a = k - 1, 5*a - 2*k - k = 1. Let j(r) = r**2 + 8*r + 3. Let l be j(-8). Let i be a*l*2/24. Put -1, i, -3 in decreasing order.
i, -1, -3
Suppose -4*d = 2*j - 108, 27 = d + 7*j - 5*j. Sort d, 3/8, -3 in ascending order.
-3, 3/8, d
Let m = 5.3 - 0.3. Let p = m - 2.6. Let a = 0.4 - p. Put a, -0.2, 3 in decreasing order.
3, -0.2, a
Let f(o) = -9*o + 28. Let s be f(3). Sort 0.4, 2, 5, s.
0.4, s, 2, 5
Let s = -4 - -9. Let p be 14/120 - 5/20. Let c = 0.06 - 0.26. Sort c, p, s in descending order.
s, p, c
Let i be (-3)/12 - 18/(-8). Suppose 4*q = i - 10. Sort -5, 2, q in descending order.
2, q, -5
Suppose 5*l = 3*l. Suppose -3*j + l*j + 6 = 0. Sort -3/8, -2, j.
-2, -3/8, j
Let b = -141 + 984/7. Suppose 0 = -d - 0*d - 3. Let n be (10/4)/(d/6). Put n, -3, b in decreasing order.
b, -3, n
Let t = 5 + -6. Let a be ((-6)/(-8))/(9/(-8)). Put t, a, 1/8 in increasing order.
t, a, 1/8
Le