, 0.3 in decreasing order.
p, 0.3, -1
Let r = 0.561 - 0.061. Sort 3, 0.1, -0.1, r in decreasing order.
3, r, 0.1, -0.1
Let h = 11 + 47. Suppose 5*d - 54 = 4*q, -3*d + 0*d - 4*q = -h. Let b = -44/3 + d. Sort b, 0.1, 1.
b, 0.1, 1
Let r = 55 + -56. Put 0.4, 2, r in increasing order.
r, 0.4, 2
Suppose 2*j - 43 - 50 = m, 2*j - 4 = 0. Let v = m + 173/2. Sort -5, v, 4 in decreasing order.
4, v, -5
Let n(p) = -p + 9. Let s be n(6). Suppose s*w = -5*y - 4, 3*w + 3*y = 2*y + 4. Let c = w - -2. Sort -1, c, 0.
-1, 0, c
Let t = -10.8 + -0.2. Let w = t - -7. Let g = 3 + w. Put g, 3, -1/5 in decreasing order.
3, -1/5, g
Let s = 107/708 + -4/59. Put -6, s, -2, -5 in ascending order.
-6, -5, -2, s
Let m be ((-2)/4)/((-1)/(-2)). Sort m, 4, 5 in descending order.
5, 4, m
Let i(c) = c + 4. Let v be i(-6). Suppose -2*u + 2 = -6. Sort u, v, 1 in descending order.
u, 1, v
Let a = 25 + -30. Sort a, -4, 0 in increasing order.
a, -4, 0
Let n(p) = p**3 - p**2 + 2. Let o be n(0). Suppose -5*r - 3 = o. Sort r, -3, 1 in descending order.
1, r, -3
Let o be (-214)/(-4)*(-6)/(-9). Let n = 36 - o. Let t = 0.2 + -0.7. Put t, n, -3/5 in increasing order.
-3/5, t, n
Let p(c) = 2*c + 1. Let w be p(1). Put w, -5, -4 in ascending order.
-5, -4, w
Let k = -1/18 + -4/9. Let h be 415/6 - 3/18. Let c = -619/9 + h. Sort k, c, -0.3 in descending order.
c, -0.3, k
Let g = 598/35 - 84/5. Let n = 10 + -6. Put 1/5, g, n in descending order.
n, g, 1/5
Suppose 5*n = -2*y - 54, 20 = 5*n - 3*y + 64. Let r be (56/(-350))/(4/n). Let z be ((-19)/(-17) - 0) + -1. Put 1, r, z in decreasing order.
1, r, z
Let w = -46 + 44. Sort w, 0, 25.
w, 0, 25
Suppose -10 = -3*x - 4. Suppose 0 = o + r - 3 + 5, x*o = 3*r + 21. Sort o, 1, 2 in descending order.
o, 2, 1
Suppose 2*r - r - 2 = 0. Put -2, r, -6/7 in descending order.
r, -6/7, -2
Suppose 6*m - 12 = 6. Put -5, m, 5, 0 in ascending order.
-5, 0, m, 5
Suppose -5*o - 20 = -z, 0 = 3*z + 3*o + 2*o + 40. Suppose 2*x - l = -x + 9, 0 = 3*x + 5*l + 9. Sort -4, z, x.
z, -4, x
Let y = -12 + 18.5. Let r = 6 - y. Suppose 2*w + 6 = 2*f - 0, -w - 3 = 2*f. Put -4, w, r in decreasing order.
r, w, -4
Let o be (27/(-12))/((-1)/(-4)). Let k(i) = i + 7. Let y be k(o). Sort 5, y, -4 in ascending order.
-4, y, 5
Let x = -104 + 53. Let w be x/15 + (-4)/(-10). Sort -1, -2, w in ascending order.
w, -2, -1
Let v(w) = 2*w + 10. Let q be v(-6). Sort q, 5, -1, 1 in descending order.
5, 1, -1, q
Let p = -4 - -2. Let g = 0.167 + -0.067. Put p, 1, g in descending order.
1, g, p
Let y = 2304 - 2292.99. Let x = 11 - y. Put -5, -3, x in ascending order.
-5, -3, x
Let y = -24 + 26. Put -4, 3, y in increasing order.
-4, y, 3
Let p = 3.4 + -3. Put p, 3, 4 in increasing order.
p, 3, 4
Suppose -2*t = -f - 3, -13*f + 4 = -9*f. Put -1, t, -4, 3 in decreasing order.
3, t, -1, -4
Suppose -p = -3*s - 13, -2*s + 5*p = -s + 23. Let c be (-54)/(-10) - 2/5. Sort s, 3, c in decreasing order.
c, 3, s
Suppose -2*y - 2 = -0. Sort 1, y, 0 in increasing order.
y, 0, 1
Suppose 0 = 5*f - 38 + 3. Let d = f + -3. Let j = 5 - 10. Sort j, d, 3/2 in decreasing order.
d, 3/2, j
Let v = -21 - -24. Put 0, -3, v in decreasing order.
v, 0, -3
Suppose 5*p + 5*c = 2*p, 0 = 3*p + 4*c. Put 2, p, 5 in increasing order.
p, 2, 5
Let w(v) = -v**2 - v + 2. Let m be w(-3). Suppose 5*d - 60 = -2*j, -j = -6*d + d + 60. Sort d, 4, m in descending order.
d, 4, m
Let h = 12 - 16. Sort 0.5, h, 4.
h, 0.5, 4
Let m = -13 + 6. Let i be (-2)/4 + m/(-14). Sort -8, 3, i in descending order.
3, i, -8
Let z = 13.3 + -12. Let i = -0.7 - z. Put i, -1/8, -1 in increasing order.
i, -1, -1/8
Let f(p) = p - 17. Let o be f(12). Sort 1, o, 0 in descending order.
1, 0, o
Let x = 33894809/434 - 156199/2. Let q = -9/31 - x. Sort q, -1, -4 in ascending order.
-4, -1, q
Let p = -0.04 + 0.04. Sort p, 0.1, 5 in decreasing order.
5, 0.1, p
Let s be 31/4 + (-6)/56*7. Let n be (-1)/4 + 63/12. Put 2, s, n in ascending order.
2, n, s
Suppose 4*m + 20 = -0*m. Let u(t) = t**2 - 4*t - 1. Let k be u(5). Put k, m, -1 in decreasing order.
k, -1, m
Suppose -2*t + 4 = -6. Let a = -0.3 - 0.2. Suppose 5*x - 1 = -3*p + 1, -5*x = 5*p. Sort x, t, a in descending order.
t, x, a
Suppose -12 + 9 = 3*s. Sort 4, 0, s, -5 in ascending order.
-5, s, 0, 4
Let b be 3*(-6)/9 - 0. Suppose 3*c + 2*c = 0. Let l = 1 - 0. Sort c, b, l.
b, c, l
Suppose 0 = 3*a - 8*a + 15. Let n = -28 - -8. Let y be (-4)/(-6) + n/(-6). Put a, -3, y in decreasing order.
y, a, -3
Let n = 2 - 2. Let q be 14/(-4) - (n + -2). Put 2, q, -3 in ascending order.
-3, q, 2
Suppose 3*a - 2*t = 6, 0*t - 6 = -3*a + t. Suppose -2*v - 4*k = v - 14, -a*v = 4*k - 4. Let h be ((-5)/v)/((-1)/(-2)). Sort 2, h, -2 in ascending order.
-2, h, 2
Let t be ((-6)/(-18))/(2/(-12)). Let k be 1/((-10 - t)/(-2)). Sort -1, -2, k in decreasing order.
k, -1, -2
Let h(m) = 8*m**3 - 2*m**2 - m + 2. Let a be h(1). Sort -5, 4, a in descending order.
a, 4, -5
Let h(d) = -2*d**2 + 1. Let b be h(-1). Let v(j) = 0*j + j + 1 - 5*j. Let k be v(b). Put k, 0, -2 in descending order.
k, 0, -2
Suppose 0 = 2*v + v - 12. Suppose -3*f + v*f + 10 = 0. Let d = f + 6. Put d, -3, 4 in descending order.
4, -3, d
Let w be 232/20 + 9/(-15). Suppose -w*d = -12*d + 5. Put -3, d, 2 in descending order.
d, 2, -3
Let c = 0.4 - -1.6. Put c, 4/3, -2/3 in ascending order.
-2/3, 4/3, c
Let w = -32 - -30. Put 2/13, w, 0.2, 3 in increasing order.
w, 2/13, 0.2, 3
Suppose -8*k - 4 = -12. Put 0, 4, k in increasing order.
0, k, 4
Suppose z + 0*z + j - 2 = 0, 5*z = -3*j + 10. Put z, 3, 5, -3 in ascending order.
-3, z, 3, 5
Let w = 67 + -334/5. Let i = -94 - -94.3. Put i, w, -3/2 in decreasing order.
i, w, -3/2
Suppose -5*d - 1 = -m, 3*d + d - 12 = 4*m. Sort m, -0.5, 0.2 in descending order.
0.2, -0.5, m
Let l = 12 - 3. Let d be 2/9 - 47/l. Sort -1, d, 3 in descending order.
3, -1, d
Let b be 1/(-6) + (-4 - -4). Sort 0.3, b, -5 in ascending order.
-5, b, 0.3
Let p be 5/70*-1*4. Put 0.3, p, 6/11 in decreasing order.
6/11, 0.3, p
Suppose 3*q + 15 = 6*q. Suppose q*i + 4*j = -2, -4*j + 4 = 2*i - 0*j. Let n be (-1)/6 - 124/(-24). Sort n, i, 4.
i, 4, n
Let d = 82 - 77. Sort d, 1, 3 in increasing order.
1, 3, d
Let q be 66/(-18) + 1/(-3). Suppose 3*o - 2*i - 24 = 0, 40 = 5*o + i - 2*i. Let h be (6/o)/(3/(-12)). Sort q, 1, h in increasing order.
q, h, 1
Let h = 12 + -17. Suppose 8*u - 4 = -20. Sort u, 1, h.
h, u, 1
Let l(s) = -6*s**2 - 2*s - 1. Let q be l(-1). Put 2, q, 5 in descending order.
5, 2, q
Suppose 0 = n - 1 - 4. Let a = n + 5. Let f be (0 - (-2)/(-4))*a. Put -2, 5, f in decreasing order.
5, -2, f
Let o = -1.9 - 0.1. Let k = -0.09 + -0.01. Sort o, -4, k in decreasing order.
k, o, -4
Suppose -3*j - 3*m + 21 = -18, 5*j - m = 35. Let z = 9 - j. Let d be (-8)/2 + 2 + -3. Sort z, -2, d in decreasing order.
z, -2, d
Let a = 0.268 - -0.132. Let x = -22/5 + 4. Sort x, 0.1, a.
x, 0.1, a
Suppose -6*f + f = 15. Let q(o) = o + 7. Let l be q(f). Sort -5, l, 1 in decreasing order.
l, 1, -5
Suppose -5*z - 1 = 9. Let w be (z/8)/((-1)/(-2)). Sort w, 0.4, -3/5 in increasing order.
-3/5, w, 0.4
Let m = -0.59 + -0.11. Let k = -98 - -99. Let c = k + m. Sort c, -3/7, -0.2.
-3/7, -0.2, c
Let c(j) = j**3 - j**2 - j - 1. Let d(w) = w + 1. Let p be d(1). Let k be c(p). Let b be k*2 - 4/1. Sort b, 1/3, 0 in ascending order.
b, 0, 1/3
Let i(d) = d**3 - 9*d**2 + 2*d - 21. Let o be i(9). Put o, 3, 45 in descending order.
45, 3, o
Let a = 857/78 + -65/6. Sort a, 1, -5.
-5, a, 1
Suppose 0*k + 76 = 19*k. Let b = -4 - -3. Sort b, 2, k in descending order.
k, 2, b
Let o = -13/15 + 2/3. Sort 0, 4, o, 2/3 in decreasing order.
4, 2/3, 0, o
Let g(w) = -w**3 + 4*w**2 - 3*w + 4. Let t be g(3). Suppose 7*q - t*q + 13 = -p, -15 = 3*q + 3*p. Sort -5, -2, q in descending order.
-2, q, -5
Let c = 0.2 + 0.3. Let y = -17 - -17.2. Let k = 0.6 - y. Sort c, -2/5, k.
-2/5, k, c
Let n = -3.6 + 14.2. Let m = n - 11. Put 3, -0.12, m in decreasing order.
3, -0.12, m
Let m be (-4)/18 - (-627)/27. Suppose -c - 3*r = m, -3 = 3*c - 4*r + 1. Let x = c + 13. Sort 1, -3, x in increasing order.
-3, 1, x
Let f = -2 + 4. Suppose f*u - 4 = -0. Sort -1, u, -3 in increasing order.
-3, -1, u
Let f(v) = -5*v**3 - v**2 - 4*v + 15. Let w(p) = 2*p**3 + 2*p - 7. Let l(m) = 3*f(m) + 7*w(m). Let g be l(-4). Sort 5, -4, g in ascending order.
-4, g, 5
Let g(l