0.3, k, -1 in descending order.
k, 0.3, -0.2, -1
Suppose -4*n - 29 = -137. Suppose -7 = -5*y - n. Sort y, 4, -5 in ascending order.
-5, y, 4
Suppose 151 = 4*z - 49. Suppose s + s + 2 = g, -5*g = 5*s + z. Let o = g - -4. Put -5, o, 0 in decreasing order.
0, o, -5
Let r = -0.01 + 0.02. Let j = r - 0.11. Let d = -1.7 - -2. Sort j, 1/6, d.
j, 1/6, d
Let q = -0.024 - 2.976. Sort q, -2/5, 3/4, -1.
q, -1, -2/5, 3/4
Let z be 16/(-7) - (-2)/7. Let p be 0 + 1/1*1. Sort z, p, -2/5 in ascending order.
z, -2/5, p
Let v be (-2 + 1)*2 + 7. Sort -5, 0, v in decreasing order.
v, 0, -5
Let z = 0.4 - 0.1. Let a = z - 0.1. Let w(n) = -n**2 + 3*n + 5. Let v be w(5). Put a, 1, v in decreasing order.
1, a, v
Let z = -6 - -4. Let g be 3 - (-4)/60*-47. Put g, 1, z in ascending order.
z, g, 1
Suppose 4*n + 2 + 6 = -2*c, 2*c = -n + 1. Put 6, -1, n in ascending order.
n, -1, 6
Let y(i) = i**3 - 3*i**2 - 6*i + 4. Let j be 1/(-2)*1*-6. Suppose 27 = j*t + 3*h, t + 6 = h + h. Let z be y(t). Sort -5, z, 2.
-5, z, 2
Let t = 457/7 + -65. Let u = -0.02 + -0.18. Put t, u, 2 in ascending order.
u, t, 2
Let z = -0.2 + 0.6. Let k = -37.1 + 41. Let l = -4 + k. Sort l, z, 5.
l, z, 5
Let o = -386/3016251 + 63111217331/1459865484. Let t = o + 7/363. Let p = t + -43. Sort 2/3, -3, p in decreasing order.
2/3, p, -3
Let d = 1.8 - 4. Let v = d - -1.2. Put 4, v, 3 in decreasing order.
4, 3, v
Let s = -9 - -8.7. Let k = 0.4 + s. Let i = -4.1 + k. Sort 0.2, i, 0.1 in decreasing order.
0.2, 0.1, i
Let i(x) = -x**3 - 4*x**2 + 11. Let h be i(-4). Sort h, 5, 2.
2, 5, h
Let m(q) = -q**2 + 12*q + 12. Let r be m(13). Let h be r + 8 - 0/(-12). Sort h, -2, -4 in descending order.
h, -2, -4
Let f = -0.4 + 0.2. Let z = f - -5.2. Sort z, -0.2, 4.
-0.2, 4, z
Let o = -1 + 2. Let k be o + (-282)/273 + -1. Let b = 19/13 + k. Put 2/5, -1/6, b in descending order.
b, 2/5, -1/6
Let k = -17 - -14. Sort 1, -2, k.
k, -2, 1
Let c = 0.01 - 3.01. Sort c, -0.2, -0.3 in decreasing order.
-0.2, -0.3, c
Let f = 125 - 869/7. Let o = 497/3 + -167. Let s = -8 + 7.7. Sort s, o, f in descending order.
f, s, o
Suppose -c - 3*c = -12. Sort c, -4, -6 in descending order.
c, -4, -6
Let f be (0 + -5 - -2)/((-3)/4). Put 1, f, 2, -5 in increasing order.
-5, 1, 2, f
Let c = 1.37 + -0.37. Put 6, c, 5 in ascending order.
c, 5, 6
Let r be 0*(0 + -1) + 3. Let t be -4 + (4 - 5 - -14). Let h be (3/t)/(1/3). Put r, h, -3 in ascending order.
-3, h, r
Let m be 0*(42/(-12) + (-8)/(-2)). Sort m, -12, 4 in increasing order.
-12, m, 4
Suppose 4*c + 19 = 3*y, -3*y - 2*c = -5*c - 15. Let a(m) = -m**2 + 15*m - 16. Let b be a(15). Let w = 14 + b. Put 4, y, w in descending order.
4, y, w
Let u = 92 + -87. Sort 4, 2, u, 0 in decreasing order.
u, 4, 2, 0
Let l = 15 - 11. Put -1, l, 5 in decreasing order.
5, l, -1
Let n = 1 - 2. Put 3, n, 4 in descending order.
4, 3, n
Let v = 124/9 + -1346/99. Let d = 0.4 + -4.4. Let o = d + 4.1. Put o, -2/11, v in descending order.
v, o, -2/11
Let h = 0 + -4. Let w be (0*h/12)/2. Put -3, 3, w in descending order.
3, w, -3
Suppose 16*o - 18*o = -2. Sort o, -19, 3, -4.
-19, -4, o, 3
Suppose -4*o = 3*g - 72, -2*g = -7*g. Sort -2, o, 1, 3 in ascending order.
-2, 1, 3, o
Suppose 0 = t - 6*t - 15. Let n be ((-6)/t - 5)/(-1). Suppose 3*g + 4*p - 10 = 0, g - 9 = -n*p + 1. Put g, 3/4, -1/5 in decreasing order.
3/4, -1/5, g
Let a = -4.5 - -4.49. Sort 0.2, 1, a.
a, 0.2, 1
Suppose -8*d + 4*d = -44. Let s = -17 + d. Let m = -0.4 + -1.6. Sort 1/5, m, s in decreasing order.
1/5, m, s
Let z = 27 + -32. Sort -8, -1, z.
-8, z, -1
Let y be 1/(-4) + (-42)/(-8). Suppose 0 = 3*g + 2*g - 20, -16 = s - 4*g. Sort y, s, 2 in decreasing order.
y, 2, s
Suppose -7 = -2*p + j, -2*p + 3*j + 11 = 2*p. Suppose -n + 19 = n - 5*o, p*o = -n - 28. Sort n, -1, 1 in decreasing order.
1, -1, n
Let b be 1/(-4) + (-42)/(-8). Let o(q) = q**2 - q + 1. Let f(n) = -4*n**2 + 7*n - 5. Let h(l) = -f(l) - 3*o(l). Let p be h(3). Sort p, b, 0 in increasing order.
p, 0, b
Let a(n) = n**3 + 17*n**2 - 18*n - 1. Let p be a(-18). Let i = 0 + 1. Put 2/13, p, i in ascending order.
p, 2/13, i
Suppose 0 = 3*k + 4*v - 11, 2*k - 5*k - 2*v = -7. Suppose 4*r - 33 = 5*a, -4*a = -0*r + 4*r + 12. Put k, 4, r in descending order.
4, r, k
Let u be 20/2*(-7)/14. Let y be ((-1)/3)/(u/15). Put 0, 5, y in increasing order.
0, y, 5
Let u be (-17)/(-5) + (6 - 10). Sort 7, -3, u, 3 in ascending order.
-3, u, 3, 7
Suppose -4*i + 8 = -2*a, 5*i + 7*a - 2*a - 25 = 0. Let b(s) = s. Let l be (-24)/(-14) + 8/28. Let j be b(l). Sort i, j, -1 in increasing order.
-1, j, i
Suppose -3 = -3*o - 6. Suppose -4*z + 4*c + 6 = 2, 2 = 2*z + 2*c. Put -6, z, o in descending order.
z, o, -6
Suppose 7*k = -11 - 24. Put -2, k, 5, 3 in increasing order.
k, -2, 3, 5
Let u = -9 - -6. Let r = -1 + -1. Put -0.3, u, r in increasing order.
u, r, -0.3
Suppose -l = 4*l. Let m = -15 + 13. Sort l, 5, m in decreasing order.
5, l, m
Let w = 22 + -13. Let p = 8 - w. Sort 0.5, -4/7, p in ascending order.
p, -4/7, 0.5
Suppose 4*t + 0*r + 34 = 3*r, -24 = 3*t - 3*r. Put t, 4, -2 in decreasing order.
4, -2, t
Suppose -2*p - n = 10, 15 = -6*p + 3*p - 5*n. Let x(z) = z**2 + 7*z + 10. Let k be x(p). Suppose 0 = b + 4*b + 15. Sort k, b, -4.
-4, b, k
Let f = 19 - 19. Put 2, -5, f, 3 in decreasing order.
3, 2, f, -5
Let d = 0.08 - 0.38. Let k be 0 + (-6)/(-16)*-1. Sort k, d, -0.1 in ascending order.
k, d, -0.1
Let p(t) = 0*t + t - 14 - 2*t. Let l be p(-12). Let q be (-10)/12*l*3. Put 1, q, 3 in descending order.
q, 3, 1
Suppose -3*x + 1 = -11. Let g be (-43)/(-9) - (-2)/9. Suppose 4*p + g = 5*q, 1 - x = -3*q + 3*p. Sort 4, q, -5 in descending order.
4, q, -5
Let m be 4/(-6) - (-154)/42. Suppose 16 = h - m*t, h + t - 6 = 2*t. Sort -2, 4, h.
-2, h, 4
Let w = -54 + 57. Sort 4, 5, 11, w in descending order.
11, 5, 4, w
Let c = 126 + -87. Suppose -7 = -4*z + k, 5*k - c = -3*z - 5. Sort z, -1, -4 in descending order.
z, -1, -4
Suppose 3*z + 10 = 5*z. Suppose -2*q + 5 = -7*q. Let i be -1 + 3 + (q - 5). Put i, z, 1 in decreasing order.
z, 1, i
Suppose 7 = -4*i + 3. Let v = -7 - -10. Let l = -0.5 - -0.3. Sort l, i, v in descending order.
v, l, i
Let a(r) = -3*r + 16. Let i be a(7). Let v = 0 - 1. Let t = -0.5 - v. Sort t, 1/4, i in increasing order.
i, 1/4, t
Let p = 0.47 + -0.37. Put p, -1, 4/5 in descending order.
4/5, p, -1
Suppose j = -3*j + 12. Suppose 5 = j*f + 2. Sort f, -4, -2.
-4, -2, f
Suppose -43 = -4*w - 3. Suppose 2 = 4*u - u + c, -5*c = 4*u - w. Sort -5, 3, u in descending order.
3, u, -5
Let r = 35 + -106/3. Let p = 11.8 + -0.8. Let a = -11.5 + p. Put 0, r, a in increasing order.
a, r, 0
Let r = -1.13 + 1.23. Put r, 5, 1, -11 in ascending order.
-11, r, 1, 5
Let h = -0.348 - -0.048. Let n be ((-2)/21)/((-2)/6). Put h, 0.1, n in ascending order.
h, 0.1, n
Let s be (-2)/6 + 14/(-3). Let m = 17 - 7. Suppose r = -q - 4 + 2, -q + m = -5*r. Sort r, s, 3 in descending order.
3, r, s
Let b(t) = t**3 + 8*t**2 + 6*t - 10. Let z be b(-7). Sort 2, z, 5, -2 in ascending order.
z, -2, 2, 5
Suppose 7 - 27 = -5*g. Suppose 4*q - 9 = q. Sort 5, q, g in descending order.
5, g, q
Let d = 31 + -29. Sort d, -1, 5 in decreasing order.
5, d, -1
Let w = -697/5 + 139. Suppose 5*j = -4*n + 22 + 28, 2*j = -2*n + 22. Sort j, w, -0.5 in decreasing order.
j, w, -0.5
Suppose 2*a - 3*z + 8*z + 15 = 0, -a + 12 = -4*z. Suppose a = -4*g - 0*g - 4. Let w be ((g - -2) + -2)*-2. Put 1, w, -4 in decreasing order.
w, 1, -4
Let w be 1 - -6 - (6 - (-4)/(-2)). Put w, 7, 1 in decreasing order.
7, w, 1
Suppose -8 = 4*l + 8. Let u(o) = o**2 - 7*o + 7. Let c(h) = h**3 - 2*h**2 + 2*h + 2. Let i be c(2). Let m be u(i). Sort m, 0, l.
l, 0, m
Suppose 8 = -3*u + u - 3*g, -u - 4 = g. Sort 1, -3, u in descending order.
1, -3, u
Let m = -266 + 265.8. Let v = -8 + 23/3. Put v, -0.5, m in descending order.
m, v, -0.5
Let q = -6 + 10. Sort q, -2/3, 0 in decreasing order.
q, 0, -2/3
Let t be 2/(-12)*4 + 6/9. Put -5, t, -8 in ascending order.
-8, -5, t
Suppose 0 = -3*c + 6*c + 3. Suppose -8*t + 14 = 3*b - 3*t, 5*b = -2*t + 17. Sort b, -4, c in descending order.
b, c, -4
Let a = -0.37 + 0.17. Sort 0.3, a, -0.5.
-0.5, a, 0.3
Let w = -5 + 9. Let s = w + -9. Let y = -9.6 - -10. Sort s, y, 2 in decreasing order.
2, y, s
Let t = -493/3 - -163. Sort t, 3, -22 in decreasing order.
3, t, -22
Suppose 