descending order.
r, a, -1
Let q = 6 - 4. Suppose -q*m + 0*m = 0. Put m, -3, 1 in descending order.
1, m, -3
Let q = -70.5 + 37. Let w = -28 - q. Let h = 5 - w. Sort -5, 2/7, h.
-5, h, 2/7
Let b = 223 + -220.99. Let g = -0.01 + b. Let o = -0.5 + 1. Sort g, o, -0.5.
-0.5, o, g
Suppose 10*c - 2*c = 40. Put 0, c, 4, -2 in decreasing order.
c, 4, 0, -2
Suppose -4*t - 7 = -2*o - 5*t, -t + 5 = 0. Put 6, o, -1 in decreasing order.
6, o, -1
Let n be 6/(-4) + (-2)/4. Let m be (-2)/(-7) + 38/14. Suppose 21 - 18 = m*r. Sort n, r, 0.4 in increasing order.
n, 0.4, r
Let c be 4 - 0 - (3 - 1). Suppose -3 = -2*m + 1. Suppose 0 = 4*i, -8 = -2*k - m*i - 3*i. Sort 3, c, k in decreasing order.
k, 3, c
Let k = 81 + -69. Put 5, -5, k in decreasing order.
k, 5, -5
Let s(k) = k**2 - 4*k - 4. Let z be s(5). Let a = 0.18 - -2.82. Put z, -2/19, a in decreasing order.
a, z, -2/19
Suppose 0 = -4*v - 0*v + 8. Suppose 0 = 2*o + 2*k - 4, 6*o - v*o - 12 = -5*k. Let s(t) = t**2 + 2*t. Let l be s(o). Sort l, -4, 4 in increasing order.
-4, l, 4
Suppose 5*s + 20 = 5*n, -4*s = -5*n + 2*n + 13. Suppose -58 - 18 = -4*y. Let p = y - 24. Sort 5, s, p in decreasing order.
5, s, p
Let l = 7 + -8. Let s be (-2)/(-10) + l/5. Put s, -5, 4 in descending order.
4, s, -5
Let g = 0 - 2. Let x(q) = q**3 + 4*q**2 + q - 2. Let y be x(g). Put y, 1, 5 in descending order.
5, y, 1
Let g(j) = -j**2 + 13*j - 22. Let s be g(11). Let z = -2 + s. Put -1, z, 5 in ascending order.
z, -1, 5
Let q(s) = -14*s - 28. Let l be q(-3). Put 0, l, -2 in descending order.
l, 0, -2
Suppose o - 8 = 2*b, 4*b - 2*o = -4*o. Let w = 2 + -4. Let y = w + 2. Put y, b, 5 in ascending order.
b, y, 5
Suppose 3 = -6*b + 21. Let s(l) = -2*l**3 + 2*l**2 - 1. Let f be s(1). Let m be 3/(6/(-4) - 0). Put m, b, f in increasing order.
m, f, b
Let x = 2 + 1. Sort 2/13, 1/3, -1/5, x in decreasing order.
x, 1/3, 2/13, -1/5
Let y = 27/2 + -13. Sort y, -6, 4/7, 0.2 in decreasing order.
4/7, y, 0.2, -6
Suppose -4*i + 20 = 2*f, -f - 2*f = -2*i + 2. Let z be (1 - (-10)/(-4))*f. Let k = 0.26 + -0.26. Sort k, -5, z in increasing order.
-5, z, k
Let o = -0.2 + 0.6. Let f = -4 - -9. Sort f, o, -5.
-5, o, f
Let z = -9 - -18. Put z, -4, -5 in increasing order.
-5, -4, z
Let i(u) = -u**3 - u**2 + u + 3. Let d be i(0). Let q = -2 + d. Suppose 0 = -5*v + 2*v - 3. Sort 2, v, q.
v, q, 2
Suppose -10 = -0*i - 5*i. Let l(u) = u**2 - 5*u + 2. Let o be l(i). Sort 2/7, o, 1/5 in descending order.
2/7, 1/5, o
Let v = -0.6 + 2.6. Let s be ((-399)/(-11))/7 + (-4)/22. Put s, v, -4 in ascending order.
-4, v, s
Let p(v) = -2*v**3 + 33*v**2 + 19*v - 48. Let f be p(17). Suppose -5*i + 1 = 2*c + 15, 0 = c - 3. Sort i, f, -5 in descending order.
i, -5, f
Let c = -6 - -4. Let m = c + 5. Sort 4, -5, m.
-5, m, 4
Suppose l - 9 = 5*t, -3*l = 3*t + 2*t + 13. Sort l, 4, -3 in decreasing order.
4, l, -3
Let z = 3 + 4. Let c = -6.98 + z. Put c, 3, -0.1 in descending order.
3, c, -0.1
Let j be 4 + 80/(-15) + 1. Put -0.5, j, 1/9 in descending order.
1/9, j, -0.5
Suppose 90 = -5*z - h - 4*h, h - 36 = 2*z. Sort 5, z, 1/2 in increasing order.
z, 1/2, 5
Let j = -50 - -45. Sort -0.5, -17, j in decreasing order.
-0.5, j, -17
Suppose -h + 15 - 11 = 0. Let g be 21/(-4) + (-1)/(-4). Let t = g + h. Sort 4, t, -3 in increasing order.
-3, t, 4
Suppose -x - 7 = -0*x. Sort 5, 0, x in ascending order.
x, 0, 5
Let a be 14/2*14/49*-2. Sort a, 1, -5 in ascending order.
-5, a, 1
Let w = -23 - -23. Suppose -m + 5*n - n + 6 = w, 0 = -5*n - 5. Sort m, 4, 3 in decreasing order.
4, 3, m
Suppose -3*n = 7*n - 50. Sort -1, 1, -11, n.
-11, -1, 1, n
Suppose 0*i - 3*i = -6. Suppose 0*v + v - i = 0. Put v, 4, -5 in ascending order.
-5, v, 4
Suppose 10*c = 5*c + 10. Let o = -3 + 1. Sort c, o, 0.1 in increasing order.
o, 0.1, c
Let m(b) = -b - 9. Let f be m(-7). Sort 2, -3, f.
-3, f, 2
Let g be (1/(-3))/((-12)/216). Put g, -1, 0 in decreasing order.
g, 0, -1
Let a = -0.8 - -1.1. Let b = 1 - 1. Put b, 5, a in descending order.
5, a, b
Let p = -49 + 73. Suppose 4*y = -3*q + 26, y - p = -3*y - 2*q. Suppose 0*i + 4*i = 4. Sort -1, y, i in ascending order.
-1, i, y
Suppose 9 + 11 = 4*z. Let y be (6 - 6)/7*(1 - 0). Put y, z, -3 in descending order.
z, y, -3
Suppose m - 3*m = 0. Suppose -f - f - 4 = m. Put 1, 5, f in increasing order.
f, 1, 5
Suppose -2*f = -3*i + 1 - 14, 4*i = 5*f - 29. Let h be 2/(-4) + (-14)/(-4). Sort h, 0, i in descending order.
h, 0, i
Let q be 2*2/12*6. Suppose -q = c + c. Put -7, c, 3 in increasing order.
-7, c, 3
Suppose 7*l = -0*l - 91. Put 0, -2, l in increasing order.
l, -2, 0
Let s = 30/31 + -659/713. Let d = -61/184 - s. Suppose -4*n = -3*h + 13, h - n - 1 = -3*n. Sort h, d, 0.3 in decreasing order.
h, 0.3, d
Suppose -2*p = 2*l - 4, -p = -l + p - 1. Suppose -k = -4 - l. Put k, -5, 2 in descending order.
k, 2, -5
Suppose 0 = 4*f + 8, -d = -3*f - 12 - 11. Suppose 6*q + w = q - 16, 4*q + 5*w + d = 0. Sort 3, q, -2.
q, -2, 3
Let y(d) = 7*d + d**2 - 5 + d**2 - 3*d**2. Let m be y(6). Put 3, -4, m in descending order.
3, m, -4
Let m be (-1 - -2)/((-1)/7). Let j(p) = p**2 + 1. Let y be j(2). Let n = m + y. Sort n, 0, 4.
n, 0, 4
Let y = -31 + 27. Sort y, 1/3, -0.2.
y, -0.2, 1/3
Suppose -3*y + 10 = 4*n, -3*n + n + 4*y = -16. Suppose -7 = n*v + 1. Let u = v - -1. Sort u, 2, 4 in descending order.
4, 2, u
Let k = 4 - -1. Let q = k + -9. Let l = -1.1 - -0.1. Sort l, q, -3/5 in ascending order.
q, l, -3/5
Let f be 430/90 - (-2)/9. Sort f, 2, -20 in decreasing order.
f, 2, -20
Let c = -143/30 - -28/5. Sort c, -0.5, -2 in decreasing order.
c, -0.5, -2
Suppose 12 - 12 = -v. Put -4, 4, v, -13 in descending order.
4, v, -4, -13
Suppose 7*r - r = -12. Sort 4, 1, r in descending order.
4, 1, r
Let w = 2.52 - 0.52. Sort -4/9, 0.08, w in descending order.
w, 0.08, -4/9
Let h be (2/(-4))/((-15)/(-90)). Put h, -0.11, 2 in increasing order.
h, -0.11, 2
Suppose -24*b - 16 = -28*b. Put -5, b, 2 in ascending order.
-5, 2, b
Let v = 5.08 - 0.08. Put v, 2/19, 2/9 in decreasing order.
v, 2/9, 2/19
Let l(s) = s - 3. Let z be l(6). Let f(n) = -n**3 + 5*n**2 + 6*n + 5. Let a be f(6). Suppose 0 = -2*u - 5 + 13. Put z, u, a in increasing order.
z, u, a
Suppose -3*g - 6*f + 3*f = -24, -4*g = -3*f - 25. Sort 2, -1, -3, g in decreasing order.
g, 2, -1, -3
Suppose -2*p + 1 = -1. Sort 2, p, -1.
-1, p, 2
Let x = -1 + 1. Let c be 2/((-8)/(-3))*4. Let s = 6.5 - 6. Sort x, c, s in ascending order.
x, s, c
Let f(v) = -v**3 - 8*v**2 - 8*v - 8. Let z be f(-7). Let r be (z/2)/(20/(-24)). Sort -1, -4, r in decreasing order.
r, -1, -4
Let x = 0.23 - 0.63. Put 3, x, 4, -4 in decreasing order.
4, 3, x, -4
Let n(z) = 7*z**2 - 5*z**2 + 4*z**2 + z**3 - 7 - 8*z. Let d be n(-7). Sort d, -1, -2/9 in descending order.
d, -2/9, -1
Suppose 0*q = 2*q - 6. Suppose -g = -q*g + 4*b, 4 = 2*b. Put 5, 1, g in decreasing order.
5, g, 1
Let r be (24/(-20))/((-6)/(-15)). Put 3, -1, r, 2 in descending order.
3, 2, -1, r
Let r = -273 + 277. Suppose 0 = f + j, 0 = -5*f - 2*j - 2*j. Let k(b) = -2*b + 9. Let d be k(6). Sort d, f, r.
d, f, r
Let j(t) = -t**3 - 9*t**2 + 11*t + 6. Let p be j(-10). Sort 3, p, 1, -2.
p, -2, 1, 3
Let d(h) = h + 7. Let g be d(-6). Put -5, g, 0, 5 in ascending order.
-5, 0, g, 5
Let o = 2.2 + -16.2. Let i = o + 9. Put 0, i, 2/11 in descending order.
2/11, 0, i
Let m = -0.1 - 0.4. Let k = 0.03 - 0.05. Let l = -0.38 + k. Sort 2, m, l.
m, l, 2
Suppose 0 = 2*o + 4*l - 652, 0 = 6*o - 2*o + 2*l - 1304. Let g = -1961/6 + o. Let r = -0.2 - 0.3. Sort g, r, 0.
g, r, 0
Suppose s + 2 - 3 = 0. Put s, -1/5, -4 in decreasing order.
s, -1/5, -4
Let n(z) = -z**3 - 2*z**2 + 4*z + 2. Let i be n(-3). Sort 0, 15, i in descending order.
15, 0, i
Let z = -12 + 16. Suppose 0*b - b = -5*p + 18, -p - 9 = z*b. Sort 4, 5, b in descending order.
5, 4, b
Let q(i) = i**2 + 3*i - 10. Let z be q(-5). Let l = 1 + -3. Put l, z, -4 in descending order.
z, l, -4
Let d(s) = 8*s + 25. Let x be d(-3). Let v = 1 - 1. Put v, x, 2 in descending order.
2, x, v
Let n(o) = -o**2 + 8*o - 7. Let m be n(6). Suppose 0 = -0*z - 2*z - 8. Let b be (-1)/3 + 10/3. Put b, z, m in decreasing order.
m, b, z
Suppose 3*a + 3*p - 8 = -26, 4*a = 4*p + 16. Let v = a - 1. Let h = -5 + 9. Put v, h, 0.3 in descending order.
h, 0.3, v
Let u = -9.4 + 21.4. Put 5, -4, u in decreasing order.
u, 5, -4
Supp