
Let z = 41 + -25. Let h = -11 + z. Sort h, -3, -2 in descending order.
h, -2, -3
Let v(c) = 2*c - 1. Let p be v(2). Put p, 2, -5 in descending order.
p, 2, -5
Suppose -3*w - 3*c + 6*c = -63, 2*c - 70 = -5*w. Suppose -6*i = -2*i - w. Let y be -2 + (0 - (-2 + 3)). Sort -5, y, i in increasing order.
-5, y, i
Suppose -2*o = -y + 21, -3*o + 7 + 98 = 5*y. Let f be y/4 - 1/4. Put f, -0.2, -2/7 in decreasing order.
f, -0.2, -2/7
Let p(s) = -s**2 - 9*s - 3. Let d be p(-8). Suppose -d*t = -4 + 9. Sort t, 0, 4.
t, 0, 4
Let t = 0.2 + -0.16. Let r = t - 0.14. Sort 2/3, -1, r.
-1, r, 2/3
Let m(r) = -r**3 + 4*r**2 - r. Let y be m(4). Let x = 5 + 4. Let w = -14 + x. Sort y, w, 0 in descending order.
0, y, w
Let m be (-1*2)/(2/(-3)). Suppose -5*x + m*j = -19, -x - 5 = -2*x + j. Let w = -5 + x. Sort w, -4, -1.
-4, w, -1
Suppose -3*a - 4*t + 43 = 0, -t = -4*a + 4*t + 47. Let c be a/(-39) + 2/6. Put 3, -3, c in increasing order.
-3, c, 3
Let n be 7/6 + (-1)/(6*1). Put n, -2, 6, 5 in decreasing order.
6, 5, n, -2
Let j be 1/(-1 + 2/3). Let g be (0 - -1)/(2/(-8)). Sort g, j, 1 in descending order.
1, j, g
Let t = -1 - -0.8. Let s = -4679 - -23176/5. Let u = s - -44. Put t, -2, u in descending order.
u, t, -2
Let d = 1.1 + -0.1. Let n = 0.4 + -1.4. Let f = -6 - n. Sort f, d, -2/7 in increasing order.
f, -2/7, d
Let u = 7 - 2. Put 3, -2, u in decreasing order.
u, 3, -2
Suppose 4*i - i = -15. Sort 1, -3, i, 2 in descending order.
2, 1, -3, i
Let i = -3.2 - -3. Let l = 0.08 + -3.08. Let n = 2.7 - -0.3. Put i, l, n in descending order.
n, i, l
Let t(i) = -6*i - 4. Let q(j) = 17*j + 12. Let d(p) = 3*q(p) + 8*t(p). Let s be d(-2). Sort 3, s, 1 in descending order.
3, 1, s
Let z be 48/33 + -1 + -1. Let k = z - -23/22. Suppose -t = 3*n + 5, 8*t - 3*t - 5*n = -5. Sort k, -0.1, t in increasing order.
t, -0.1, k
Let u be 70/(-7)*(-2)/4. Let t be u/(15/(-6)) - 3. Suppose 4*j - 8*j = 8. Sort j, t, 5 in descending order.
5, j, t
Let p(u) = u + 17. Let a be p(-21). Let l be ((-3)/(-3) + -4)*1. Sort l, 9, a in increasing order.
a, l, 9
Suppose 0 = -j - 2*j - 12. Suppose c + 3*c - 2*s = 0, -3*c = 3*s - 18. Put j, -3, c in ascending order.
j, -3, c
Suppose -7*x = 6*x - 16*x. Suppose 3 = -w - 2. Sort 1, w, x in ascending order.
w, x, 1
Let i = -15 + 11. Put -2, i, -1 in descending order.
-1, -2, i
Suppose 0*k + 58 = -k + 5*y, 3*k + 4*y + 174 = 0. Let s = k - -172/3. Put 5, 1/6, s in descending order.
5, 1/6, s
Let v = -104 + 101. Sort 4, v, 20 in decreasing order.
20, 4, v
Let u be 66/(-4)*1*12. Let i be 80/u + 4/18. Let s = 7 - 2. Sort s, -5, i in ascending order.
-5, i, s
Let t = -13 + 18. Sort t, -1/3, -2/3 in decreasing order.
t, -1/3, -2/3
Let y = 0.39 - 0.09. Sort y, 0.4, -2 in descending order.
0.4, y, -2
Let b = -39 - -35. Let v = -3 - -6. Suppose -25 = -5*c - 2*r, -2*c - v*r + 0 = -10. Sort c, 4, b in descending order.
c, 4, b
Let z(n) = -2*n - 31. Let i be z(-14). Sort i, -0.3, 2/11 in decreasing order.
2/11, -0.3, i
Let q(w) = -w**3 + 8*w**2 + 8*w + 3. Let i be q(9). Sort -1, 1, i in ascending order.
i, -1, 1
Let n = 2 + 3. Sort 2, -17, n in decreasing order.
n, 2, -17
Let v be (-21)/35 + (-33)/(-5). Let i be (4/v)/(98/(-63)). Sort 1, -0.3, i in increasing order.
i, -0.3, 1
Let v(u) = -u**3 + 2*u**2 - 2*u + 3. Let w be v(2). Let l = 4 - 0. Sort w, l, 0.
w, 0, l
Let f be (-5 - -1)/(-3 - -5). Let r = 0.03 + -3.03. Sort 4, f, r in descending order.
4, f, r
Let r = 3 - 3. Let j be -1 + r + 10 + -1. Suppose 4*t - j = -3*m + 8, -4 = -4*m - t. Sort -4, m, -5 in decreasing order.
m, -4, -5
Let w = 5 + -5.27. Let r = w + -0.73. Put 1/4, -0.3, r in descending order.
1/4, -0.3, r
Suppose 3*n + 9 = 24. Sort n, -5, 36, 1 in decreasing order.
36, n, 1, -5
Suppose 0 = 4*p - 0*b - 4*b - 32, 0 = -2*p + 4*b + 26. Sort -5, p, 3/2, 2.
-5, 3/2, 2, p
Let j be (8/10)/(6/10). Suppose -g + 2 = -4*f - 7, f = 2*g - 4. Let v be 2/8*g/1. Put -2, j, v in descending order.
j, v, -2
Let m = -135 + 141. Sort -1, -7, m in descending order.
m, -1, -7
Suppose 3*p - 19 = -5*b, -2*b - 2*p - 14 = -24. Let n be 0/2 + (1 - 0). Let y be 2/4*(1 - n). Put b, 5, y in descending order.
5, b, y
Let d = -0.04 + -0.36. Sort d, 9/2, -5 in descending order.
9/2, d, -5
Let l = 0 - 0. Suppose 22*h - 24*h = l. Put h, 0.7, 1/11 in ascending order.
h, 1/11, 0.7
Let p = -78 - -86. Sort 0, p, -4.
-4, 0, p
Let v = 2 - -2. Suppose v = -5*c + 19. Sort -3, 5, c in decreasing order.
5, c, -3
Let g = 6 - 5.8. Let b = 0.8 + g. Sort 5, -1/5, b in decreasing order.
5, b, -1/5
Let k(s) = -s**3 + 14*s**2 + 16*s - 13. Let m be k(15). Sort -3, m, -5, -8 in decreasing order.
m, -3, -5, -8
Let m = 28 + -27.6. Let v = 7 + -6.7. Sort 4, v, m in ascending order.
v, m, 4
Let p = -16 + 11. Sort 3, p, -3 in decreasing order.
3, -3, p
Let p be 27 - (-3 + 3 - 1). Suppose 3*y - 6 = 0, -p = -3*d - 9*y + 4*y. Let s = 5 - d. Sort s, 5, 0 in decreasing order.
5, 0, s
Let w(t) = 3*t - 7. Let f be w(7). Let k = -17 + f. Sort -0.5, 1, k in ascending order.
k, -0.5, 1
Suppose 0 = g - 5*g + 16, 2*s + 4*g - 14 = 0. Let q be (5 + 2*-1)/(-1). Put 6, s, q in increasing order.
q, s, 6
Let w be 5/2*28/(-35). Put 3, -9, w in increasing order.
-9, w, 3
Suppose q = 5*q - 8. Let a = -9670406/189 - -51166. Let d = -7/27 + a. Sort d, 4, q in increasing order.
d, q, 4
Suppose -4*z + 22 - 6 = 0. Suppose 0 = -v - 5*w + 2*w + 301, 1218 = z*v - 2*w. Let d be 5*(-2 + v/150). Sort d, 3, 0.5 in descending order.
3, 0.5, d
Let r = 4/31 + -39/62. Put 0.8, 0.1, r, 1/6 in increasing order.
r, 0.1, 1/6, 0.8
Let j = -1.2 - -0.4. Let f = -1 - j. Sort f, 1/6, 0.1 in ascending order.
f, 0.1, 1/6
Let y = -0.9 - 4.1. Let h = 2 + -2.5. Put y, -1, h in descending order.
h, -1, y
Let d = -16 - -11. Let j be 19/40 - (-6)/(-10). Put d, 0, j in descending order.
0, j, d
Let y = -13 - -8. Let r = 21.2 + -19. Let n = r + -1.2. Put n, y, 2 in ascending order.
y, n, 2
Suppose 2*k - 1 - 1 = -3*h, h - k - 9 = 0. Put h, 2, -2 in descending order.
h, 2, -2
Let l = -0.673 + 0.073. Let p = -3.6 + 4. Sort l, p, 3 in decreasing order.
3, p, l
Let a(v) = -35*v**2 + 23 - 7 + 36*v**2 - 17*v. Let l be a(16). Put 5, l, 7 in decreasing order.
7, 5, l
Suppose -3*u = -4*u - 4. Sort u, 4, 5 in ascending order.
u, 4, 5
Let r(s) = -s**2 + 6*s + 10. Let j be r(7). Let q(n) = -n**2 + 4*n - 2. Let o be q(j). Sort 5, o, -4 in descending order.
5, o, -4
Let d be 3/(((-6)/(-8))/1). Let w be ((-8)/10)/(6/(-15)). Suppose 5*r = 4*y + 37, -r - 3*y - 10 = w*y. Sort r, -3, d in increasing order.
-3, d, r
Let m = 46/3 + -7. Let q = 9 - m. Sort 1/3, -3, q in ascending order.
-3, 1/3, q
Let u = 0 - 4. Let r be 0 + -3 - (-6 - u). Let d = -1 - r. Sort 1/3, -0.3, d.
-0.3, d, 1/3
Suppose z - 15 = -2*f, 19 + 5 = 4*f + 4*z. Suppose 4*a + 2*o = 1 - 19, 3*a - 3*o = f. Let r = -4 + 8. Put a, r, 2 in decreasing order.
r, 2, a
Let q = -20 + 16. Sort q, 4, 0.
q, 0, 4
Let v = 1 - 0. Let s = -34.3 - -34. Sort -0.04, v, s.
s, -0.04, v
Let v = 17.2 - 17. Put -1/4, -6, -3, v in decreasing order.
v, -1/4, -3, -6
Let t = 48 + -48.07. Put -3, 3/5, -5, t in decreasing order.
3/5, t, -3, -5
Let v = 1/37 + 67/259. Put 3, -5, 0.5, v in descending order.
3, 0.5, v, -5
Suppose 0 = -x + 13 + 2. Suppose -4*p = -x - 5. Let c = -3 + -1. Sort 4, c, p in increasing order.
c, 4, p
Let t be 2/(-1 + 3) + 4. Suppose t*u - 12 = -2. Let q be (u/52)/((-4)/(-16)). Put q, -5, 0.1 in ascending order.
-5, 0.1, q
Let k(w) = -w**3 - 11*w**2 - 11*w - 11. Let h be k(-10). Let m = h + -3. Let n = 1 + -6. Sort n, m, 4 in descending order.
4, m, n
Let r = -6.1 - -0.1. Let p = 6.3 + r. Let z = -67 - -67. Put p, z, -0.2 in ascending order.
-0.2, z, p
Suppose 0 = 2*h - 10 + 2. Put h, -2, -1, -3 in descending order.
h, -1, -2, -3
Let b be (-4)/12 - (-4)/3. Suppose -2*k + 6 = 4*x, 5*k = -0*k + x - 18. Sort b, k, -1.
k, -1, b
Suppose 0 = -2*w + p - 5*p - 2, -5*w = 5*p - 10. Let y(k) = k**3 - 3*k**2 + 2*k + 1. Let b = 4 + -2. Let g be y(b). Sort g, -5, w in increasing order.
-5, g, w
Let i = 20 - 23. Put 1, i, -1 in ascending order.
i, -1, 1
Suppose 0 = -9*j + 6*j + 6. Sort j, -1/2, -1 in ascending order.
-1, -1/2, j
Let d be -14*(-2)/12 - 2. Let w be (((-32)/44)/4)/1. Sort 1/5, w, d.
w, 1/5, d
Let x = -2 - -1.5. Let w = x - -1. Let o = -2.15 - -6.15. Sort -3, o, w.
-3, w, o
Let g = 17 