 715/8 + -89. Put b, 0.3, -4, 0.5 in decreasing order.
0.5, b, 0.3, -4
Suppose 5*w + 4*p - 64 = 0, 0*w + 2*p - 14 = -w. Let v = w + -14. Put 3, -3, v in increasing order.
-3, v, 3
Let g = 13.1 - 15. Let a = 1.4 + g. Put -3/5, a, 1 in ascending order.
-3/5, a, 1
Let c = 0 + 0. Suppose c*z - 4*z + 5*w + 22 = 0, -5*z + 2*w = -19. Let m = 7 - z. Put 3, -4, m in descending order.
m, 3, -4
Let p = 10 - 9.5. Put 2, 0.2, -0.3, p in descending order.
2, p, 0.2, -0.3
Let y = -15.9 + 15. Let s = 0.8 + y. Sort s, 0.3, -0.2 in decreasing order.
0.3, s, -0.2
Suppose 0*m - 4*m - 4 = 2*h, 1 = -m. Let a = h - 1. Let v be ((-24)/(-7) - 3)/(4/28). Sort v, -4, a in increasing order.
-4, a, v
Suppose -3*d = -7*d. Sort d, -2, -3 in ascending order.
-3, -2, d
Let p be (6 + -5)*2/2 + -4. Suppose -3*i = 5*l - 16 + 1, -4*l + 12 = -3*i. Sort 4, l, p in increasing order.
p, l, 4
Let k be -1*4*2/14. Let q(z) = -z**2 + 14*z + 3. Let x be q(14). Let o be ((63/(-6))/(-7))/x. Put o, k, 2 in decreasing order.
2, o, k
Suppose 0 = -m - 5*p + 31 - 11, 0 = -3*m - 4*p + 49. Suppose c - m = 4*c. Put -2, 11, c in descending order.
11, -2, c
Let c be 96/15 - 2/5. Let q be (-1 - -4)/(c/4). Let g = 2.1 + -2. Put q, -2, g in ascending order.
-2, g, q
Let y = -2.037 + 0.077. Let z = y - -0.02. Let w = -0.06 + z. Sort 0.3, -1, w in decreasing order.
0.3, -1, w
Let z = 8 - 5. Let k = z - 8. Put -1, k, 3 in ascending order.
k, -1, 3
Let g = 4 + -5. Sort -0.1, 0.5, g in descending order.
0.5, -0.1, g
Let j be (16/(-20))/(1/15). Let v = 8 + j. Sort 1, -5, v in increasing order.
-5, v, 1
Let g be 2/(4/6) - -3. Let x be g/(-24) + 2/8. Sort -5, x, 5 in ascending order.
-5, x, 5
Let x = 0.37 - 0.17. Sort 3, -3, x in increasing order.
-3, x, 3
Let k = 24 + -25. Sort 4, k, 0.
k, 0, 4
Let n = -5 - -9. Let c(g) = 0*g**2 + g**2 - 6*g + 5 + 0*g**2. Let u be c(6). Put u, n, 2 in increasing order.
2, n, u
Let y = -45 + 39. Put y, 4, 3 in descending order.
4, 3, y
Let u be 19/5 + (-1)/(-5). Suppose 3*s + 5 = -u. Let z = 0.6 - -2.4. Put z, 1/3, s in decreasing order.
z, 1/3, s
Suppose 66 - 76 = -2*q. Let j be (-4)/6 + 24/(-18). Sort j, q, 3 in ascending order.
j, 3, q
Let w = 15.001 + -0.001. Put -3, 5, 2/11, w in ascending order.
-3, 2/11, 5, w
Suppose 0 = -4*h - 3*h - 14. Put 0, -5, h in decreasing order.
0, h, -5
Let h = 227 - 227. Let g = -1 + 4. Put g, -1/4, h in ascending order.
-1/4, h, g
Let i = 4 + -3.7. Put 0.02, 2/7, i in ascending order.
0.02, 2/7, i
Let o = 1.2 + -0.2. Let t = 8/3 + -5/2. Put 2/11, o, t in descending order.
o, 2/11, t
Suppose 0 = -4*s - 7 - 13. Let u be 0/2 - (1 - 1). Put u, s, 5 in descending order.
5, u, s
Let m(u) = -u**2 - 6*u + 5. Let r be m(-6). Let s = 13 - 15. Put 1, r, s in descending order.
r, 1, s
Let r be (3/9)/((-4)/24). Sort r, -3, -1, 4 in decreasing order.
4, -1, r, -3
Let i be 0*((-2)/(-4))/(-1). Let s = -6 + 9. Suppose -26 = 5*a - s*o, -3*o = -4*a + o - 24. Sort 1, a, i.
a, i, 1
Suppose 5*g + 9 = 2*b, -4*g + 2*b = 5*b - 2. Put 0, 5, g in decreasing order.
5, 0, g
Let s = 39 + -40. Put 1, s, 2, -5 in increasing order.
-5, s, 1, 2
Let m be 523/15 + (-18)/27. Let f = -69/2 + m. Sort -4, -1/9, f.
-4, f, -1/9
Suppose 3*i + 0*i = 3. Put -1, 5, i in increasing order.
-1, i, 5
Let z(i) = 4*i + 19. Let n be z(-7). Put 3, n, 4 in descending order.
4, 3, n
Let g(z) = -z - 9. Let o be g(-4). Sort 3, 2, o, -2 in decreasing order.
3, 2, -2, o
Let a = -0.07 + 5.07. Let k = 7.92 + 0.08. Let q = k - 7.7. Sort a, q, 0.4 in decreasing order.
a, 0.4, q
Suppose 0 = -5*s - 0 + 20. Suppose s*n = 6*n - 6. Put 2, 5, n in increasing order.
2, n, 5
Suppose 0 = -4*g + 2*g + 32. Suppose -4*w + g = -0*w. Let f = -2 - 0. Sort -3, w, f in descending order.
w, f, -3
Suppose -4*k + 0*k = -8. Let b = -2 + 2. Suppose -t - 1 = -b. Sort t, -2, k in ascending order.
-2, t, k
Let b = 9 + -6. Let r be -4 + b - 34/(-30). Sort r, 2, -0.5.
-0.5, r, 2
Let k = 1.3 - 0.3. Let i = 0.44 + -0.64. Sort -3, k, i.
-3, i, k
Let g be 1 - 5 - (1 - 2). Suppose -4*o - o - 25 = 0. Put o, g, 4 in decreasing order.
4, g, o
Suppose -254*g + 250*g = 12. Let y be -1 - (2 - 3/1). Sort -4, g, y.
-4, g, y
Suppose 0 + 2 = 2*q. Sort q, 3, -5, -2.
-5, -2, q, 3
Let t = 0.2 - 0.2. Let d = -3 + t. Let y = -19/15 - -41/35. Sort y, -2, d in increasing order.
d, -2, y
Suppose r - 147 - 165 = 0. Let n = r - 4058/13. Sort -2, n, -5 in decreasing order.
n, -2, -5
Let v(u) = u + 4. Let o be v(-5). Sort o, -0.05, -5 in ascending order.
-5, o, -0.05
Let c = 0 + -0.4. Let k = -2 + 0. Put c, 8, k in increasing order.
k, c, 8
Let o = -41 + 43. Put o, -0.2, 1, 0.2 in decreasing order.
o, 1, 0.2, -0.2
Suppose 24*f - 18 = 21*f. Sort f, 0.5, -2/13 in ascending order.
-2/13, 0.5, f
Let w = -8 + 15. Let q = -2 + w. Put 4/5, -5, q in ascending order.
-5, 4/5, q
Let g = 1 + -1.3. Put g, 0.3, 0.4 in increasing order.
g, 0.3, 0.4
Let o = -19 - -6. Let s = o - -17. Sort 5, 7, s in decreasing order.
7, 5, s
Let f be -7 - (-5 - (0 + -1)). Sort f, -4, -2, 5 in ascending order.
-4, f, -2, 5
Let b = -2.8 + -1.2. Let k = 4.9 + 0.1. Put 0.4, b, k in descending order.
k, 0.4, b
Let v(w) = -w**3 - 6*w**2 + 8*w + 5. Let s be v(-7). Let g be (-1 - 0)*10/s. Suppose -7*i + 2*i = g. Put -3, 4, i in decreasing order.
4, i, -3
Let v = 22 + -17. Sort -7, 0, v in increasing order.
-7, 0, v
Let n be -1*(-2)/4*0. Sort n, -3, 3 in ascending order.
-3, n, 3
Suppose 16 = y - 5*x, -11*y + 6*y - 4*x - 7 = 0. Let n be 2*-2*(-1)/(-4). Put 2, n, y in descending order.
2, y, n
Let w be 18/(-4) - 3/(-6). Let h be 6/18*(-3)/4. Let u = -0.01 + -2.99. Put w, u, h in increasing order.
w, u, h
Let w = -2 - -2. Let y = 0.82 + 4.13. Let u = -0.05 - y. Put u, w, -2/19 in descending order.
w, -2/19, u
Let w = 4 + -7. Let q be (-2)/(-24)*3*6. Sort w, q, 2/7.
w, 2/7, q
Let m be 4/18 - (-58)/(-18)*1. Let n be 2 + 4*-1 - -2. Suppose n = k - 2*z + 1, -5*k + 2*k - 3 = 4*z. Put -2, m, k in descending order.
k, -2, m
Let x be (-3)/(-9) - 2/(-3). Let k = -5 + 5.1. Sort k, -5, x in increasing order.
-5, k, x
Let t(f) = 4*f - 3. Let u be t(2). Suppose -u*i + i + 96 = 0. Suppose -5*r + i = -d - 0*d, -4*r = -4*d - 16. Put r, 2, 0 in increasing order.
0, 2, r
Suppose 2*t + 3*o + 5 = -7, -5*t + 12 = -3*o. Let s = t - 3. Sort 3, 0, s in descending order.
3, 0, s
Let o = 26.1 + -26. Let k = -0.31 + 0.3. Let t = k + 5.01. Put t, -0.1, o in ascending order.
-0.1, o, t
Let h = 9.87 + 0.13. Let b = h + -10.4. Put b, -4, -2 in increasing order.
-4, -2, b
Let y = -2/131 - -137/393. Sort -4, 3, y in ascending order.
-4, y, 3
Let s = -0.88 + 5.88. Put -2/9, s, -2 in ascending order.
-2, -2/9, s
Let k = 1 + -1.7. Put -0.5, -4, k in descending order.
-0.5, k, -4
Let m be 7/4 - (-6)/24. Suppose 0*z + z = m. Sort -3/4, 0.5, z in increasing order.
-3/4, 0.5, z
Let m = 0.02 - 0.02. Let x = m - 0.1. Suppose -5*q + 24 + 1 = 0. Put x, q, 0.3 in decreasing order.
q, 0.3, x
Let o be -1 + 1 - -2 - -3. Suppose -16 = o*s - s. Suppose -4*w + 5*z + 6 + 26 = 0, -3*w = 2*z - 24. Sort s, w, 1 in increasing order.
s, 1, w
Let y = 0.189 - -0.011. Sort 4/5, -1/4, y, 2/7.
-1/4, y, 2/7, 4/5
Let m = 17 + -26. Let o = m + 10. Sort 4, -1, o in descending order.
4, o, -1
Let w = -79 - -79. Put w, 1, -4 in ascending order.
-4, w, 1
Let s = 17.07 - 17. Let m = -1.07 + s. Let d = -8.8 - -9. Put 1, m, d in decreasing order.
1, d, m
Suppose t = -4*o + 20, 5*t - 2*o + 20 = 2*o. Let z = 10/203 + 34569/11165. Let u = 28/11 - z. Sort u, 1/4, t in descending order.
1/4, t, u
Let q = -3 - -2. Let b(t) = -2*t**3 - 3*t**2 + t + 2. Let i be b(-2). Suppose 2*l - 2 = 4. Sort l, i, q in descending order.
i, l, q
Let o(b) = -2*b - 4. Let c be o(0). Suppose -6 = 4*w - w. Sort c, -3, w in decreasing order.
w, -3, c
Let i(m) = -m + 8. Let v be i(6). Let z be 2/v*2/15. Let h = -1189/136 - -69/8. Sort 1/3, z, h.
h, z, 1/3
Let o(k) = -k**3 - 6*k**2 + 2*k + 8. Let y be o(-6). Let n be (-1)/(-3)*(2 + 1). Let f(c) = 3*c + 7. Let a be f(-4). Sort y, a, n.
a, y, n
Let l be (-7)/(-5 + -9) - (-10)/4. Let i(c) = -c + 7. Let h be i(5). Sort -2, l, h in increasing order.
-2, h, l
Suppose 3*m = -2*m + 25. Suppose -m*n - 6 = b, -5 = 4*n + 2*b - b. Sort n, 4, 5.
n, 4, 5
Let p = -2/159 - -36/53. Sort 1/2, p, -2/7, 11.
-2/7, 1/2, p, 11
Let n(k) = -k**2 + 3*k - 3. Let m be n(2).