 Sort -5, 0, x in descending order.
0, x, -5
Let s = -0.2 - 0.8. Let l = 5 + s. Let u = -9 - -4. Sort u, l, 0.1 in ascending order.
u, 0.1, l
Suppose 4*v - 51 = -11. Suppose -2*n = 3*n + v. Put n, 3, -3 in decreasing order.
3, n, -3
Suppose -2*y = -y. Let a = -9.22 + 0.22. Let o = -6 - a. Sort y, 0.1, o in decreasing order.
o, 0.1, y
Let k(r) = -r**3 + r**2 + r + 1. Let n be k(2). Let u = -12 - -7. Suppose 3*w = -3*d + w + 3, 3*w = 0. Sort u, d, n in ascending order.
u, n, d
Let q = -6 - -16/3. Let m = 0.16 + 11.84. Let b = m - 7. Sort b, q, -0.2.
q, -0.2, b
Let o be (-1)/(-6)*-2*-9. Let n = o + 0. Let i(z) = z**3 + 16*z**2 + 14*z - 19. Let g be i(-15). Sort -1, n, g.
g, -1, n
Suppose 4*z - 3*o - 19 = 0, -16 = -3*z - o - 5. Let p = -6 - -9. Let s be z - p - (-7)/(-5). Put 4, -3, s in ascending order.
-3, s, 4
Let a = -19 - -16. Let o = -0.01 + -4.99. Put a, 2/5, o in descending order.
2/5, a, o
Let g = -24 - -20. Sort -3, g, -5 in descending order.
-3, g, -5
Let n(v) = v**3 - 7*v**2 + 8*v - 7. Let t be n(6). Suppose -1 + 5 = -x. Sort x, -3, t in decreasing order.
t, -3, x
Suppose 3*o = -4 - 8. Let f = 13 + -13. Sort o, -1/7, f in increasing order.
o, -1/7, f
Let f be 2/(-16)*2 + (-42)/120. Put -1/3, -2, f, 0.1 in descending order.
0.1, -1/3, f, -2
Let j be (3/(6/4))/1. Suppose -10 = -4*g + j*g. Let v(w) = -3*w - 3. Let h be v(-2). Put h, 1, g in decreasing order.
g, h, 1
Let x(g) = -g**3 - 5*g**2 + 9*g + 14. Let k be x(-6). Sort k, 2, 4 in descending order.
4, 2, k
Let c = 5.1 + -5.1. Let l(y) = y + 1. Let n be l(0). Let r = -1.95 - 0.05. Sort n, r, c.
r, c, n
Let g(l) = -4*l + 6. Let x be g(4). Let d be (5/x)/(1/6). Put d, 7, 0 in descending order.
7, 0, d
Let b be (3/4)/(2/(-8)). Let j = -43 + 42. Sort b, 5, j in descending order.
5, j, b
Suppose 4*z + 19 = x, 0*z = 5*z + 2*x + 14. Sort -3/2, 0, z in increasing order.
z, -3/2, 0
Let t(d) = -2*d + 4. Suppose 3*c - 14 = -2*i, 0 = -0*i + 4*i - 4*c - 8. Let z be t(i). Let n = -70 - -69. Sort -2, z, n.
z, -2, n
Let n be (-4 + 2)/(-4 + 2). Let h(k) = k + 10. Let r be h(-12). Put 2, r, n in decreasing order.
2, n, r
Let p = -2 - -1. Let t = 3.83 + -4. Let i = t - 1.83. Put p, i, 3 in decreasing order.
3, p, i
Let u = 97 - 99. Put -2/3, u, -0.2 in decreasing order.
-0.2, -2/3, u
Suppose 6 = -3*q - 9. Suppose -2 = -z + 3*j - j, -4 = -2*z - 5*j. Suppose -v = -2 + 3. Sort z, q, v in decreasing order.
z, v, q
Let b = 6.6 + -3.66. Let p = b - -0.06. Let h = 3.2 - p. Put h, 0.3, 2 in decreasing order.
2, 0.3, h
Let h = -2.79 - 1.18. Let w = h + -0.03. Sort w, -0.2, 0 in descending order.
0, -0.2, w
Let r = 3.5 - -1.5. Sort r, 0.2, -1 in descending order.
r, 0.2, -1
Suppose 2*c = -0*c - 4. Let l be (-22)/4 + 2/4. Sort c, l, 4 in ascending order.
l, c, 4
Suppose 5*h - 2*o + 36 = -6*o, -5*o - 20 = 0. Put h, -3, 5 in descending order.
5, -3, h
Let z = 3 + -3. Let u = z - -0.5. Let v = 0.2 + -0.7. Sort u, v, -1/4 in increasing order.
v, -1/4, u
Let u(r) = 3*r**3 - r**2 + 2*r + 2. Let t be u(-1). Put 1, 0, 3, t in ascending order.
t, 0, 1, 3
Let r = 5.83 + -1.83. Let o = -1.1 - 5.9. Sort -3/4, r, o.
o, -3/4, r
Let o = 5.08 + -0.08. Let w = 2.1 - 2. Let f = -0.7 - -0.5. Sort o, f, w in descending order.
o, w, f
Let f = -2942/23 - -228489/1771. Let d = f - 9/11. Let z = 2 - 1.8. Put -0.2, d, z in decreasing order.
d, z, -0.2
Let p(v) = 10*v - 41. Let u be p(4). Let y(m) = -m**3 + 5*m**2 - m + 7. Let l be y(5). Let s be ((-6)/(-2))/(l - 1). Sort -2, s, u in ascending order.
-2, u, s
Suppose 33 = -4*p - 23. Let f = 10 + p. Sort 3, 1, f in ascending order.
f, 1, 3
Suppose -x - 5*a = x - 23, 2*x - 4*a + 4 = 0. Put -1, x, 1, -3 in decreasing order.
x, 1, -1, -3
Let i = 35 - 37. Sort 1, 3, i in descending order.
3, 1, i
Let k(q) = q**2 - 5*q - 7. Let t = -6 + 10. Let a(v) = v**2 - 4*v + 6. Let g be a(t). Let w be k(g). Sort w, -0.5, -4/5.
w, -4/5, -0.5
Let b = 2.5 - 3. Let k = 102621/52 - 1974. Let s = -10/13 - k. Sort s, -2, b.
-2, b, s
Let g = -6 + 10. Suppose 2*t = -0*t + 8. Suppose 5 = l + t*w - 1, -5*w = -5*l + 5. Sort l, g, -5.
-5, l, g
Let w = 1 - 0. Let h be ((-2)/(-5))/(w/10). Let v(i) = 2*i + 16. Let y be v(-8). Sort -2, y, h in decreasing order.
h, y, -2
Suppose 4*k - t = 16, 2*k + 0*k - 3*t - 8 = 0. Suppose 4*a - 2*a = -k. Sort 0, a, -1 in ascending order.
a, -1, 0
Let z(h) = h + 2. Let t be z(-1). Suppose -2*m + m = -t. Put m, -2, 5 in increasing order.
-2, m, 5
Let a = 19 - 17.1. Let m = -2 + a. Let t = m - -3.1. Put t, 2/19, 0.5 in descending order.
t, 0.5, 2/19
Let c = -2 + 2. Suppose c = 7*u - 3*u + 12. Let y = -28.4 - -28. Put 0.3, u, y in descending order.
0.3, y, u
Let w = -102 - -104. Sort w, 3, 3/4, -0.2.
-0.2, 3/4, w, 3
Let s = 10 + -8. Suppose -3*a - 5 = 1. Sort -2/13, a, s in increasing order.
a, -2/13, s
Suppose -l - 4 = -0*v + 3*v, 3*v - l - 4 = 0. Put 8, v, -3 in descending order.
8, v, -3
Let w be 8/4 + 1*-2. Suppose 6 = -w*c - 2*c. Let p = 0.5 - 0.8. Put 5, p, c in increasing order.
c, p, 5
Let f(h) = h + 10. Let v be f(-11). Sort 2/5, v, -0.3.
v, -0.3, 2/5
Let n = -3 + 1. Let q(x) = 2*x**3 - 3*x**2 + 1. Let f be q(2). Suppose -2*r - f = -r. Put r, -3, n in decreasing order.
n, -3, r
Let c be (3/(-18))/(1/(-2)). Suppose 4*l + 12 = 4*m, -4*l - 5*m + m = 20. Sort 0, c, l in descending order.
c, 0, l
Let m(f) = f**2 + 21*f + 17. Let d be m(-20). Sort d, -1, -3/2 in decreasing order.
-1, -3/2, d
Let j(n) = 3*n - 2. Let y be j(3). Suppose 2 - y = -m. Suppose -2*t = -m*t. Sort t, -5, 3 in ascending order.
-5, t, 3
Suppose -2*c - 6 = -4. Let w = 0 - 0. Sort 6/7, w, c in decreasing order.
6/7, w, c
Let a = 62 - 64. Sort -2/11, 1/3, -8/9, a.
a, -8/9, -2/11, 1/3
Suppose -4 = 19*b - 21*b. Put 0, 32, b in increasing order.
0, b, 32
Let x(y) = 2*y - 1. Let j be x(0). Put -4, 5, -5, j in increasing order.
-5, -4, j, 5
Let f = 21 + -27. Sort 5, f, -0.2.
f, -0.2, 5
Let a = 62 - 36. Let l be (-2)/(-7) - a/(-56). Let i = 10 + -12. Put i, -1, l in decreasing order.
l, -1, i
Let y = 3 + -3.4. Let z = -0.5 - y. Sort z, 3, 3/2 in ascending order.
z, 3/2, 3
Let h = 0.04 + -4.04. Sort h, -1/2, 0.1 in increasing order.
h, -1/2, 0.1
Let z(s) = 2*s - 35. Let r be z(16). Sort r, -2, 2, 5 in increasing order.
r, -2, 2, 5
Suppose -4*s + 9 = 2*v + 13, -5*s = 3*v + 6. Let b = 2.02 - 0.02. Sort b, -1/3, v in descending order.
b, -1/3, v
Let c = 4 + -2. Let a(y) = -y**2 - 6*y - 1. Suppose -3*m - 3*z = -2*m + 5, -3*m - 15 = -5*z. Let g be a(m). Put c, 1, g in ascending order.
1, c, g
Let v = 11 + -13. Let h = -3 + v. Put h, 1, -4 in descending order.
1, -4, h
Let f(h) = -2*h - 2. Let v be f(-2). Suppose -5*l - 4 = v*t, 2*t + 0*t = 5*l + 16. Sort 4, l, 1.
l, 1, 4
Let p = 0.05 + 1.95. Let t = p - 5. Put 5/2, t, 1/2 in decreasing order.
5/2, 1/2, t
Suppose 3*x + 15 = 3. Let r be (-2)/12 - 2/6. Sort r, x, 3 in ascending order.
x, r, 3
Suppose -4*p + h = -10, -h + 1 = -1. Let b be (-3)/(-5)*(-2)/p. Put b, -3, 0.1 in increasing order.
-3, b, 0.1
Suppose 3*o + 2*n = -0*n - 15, 3 = -3*o + 2*n. Let k = 0.13 - -0.07. Sort o, k, 5 in decreasing order.
5, k, o
Let j = 0.04 + 0.16. Let z = 0.8 + -0.3. Let i = j - z. Put -0.4, -1/2, i in ascending order.
-1/2, -0.4, i
Let p = -2 + 2. Suppose p = s + 4*w - 25, s + 0*s + 3*w = 20. Let i = 1 - -1. Put s, -0.2, i in decreasing order.
s, i, -0.2
Let v(d) = -3*d + 60. Let c be v(16). Sort -5, -1, c in decreasing order.
c, -1, -5
Let u = 2.02 + -2. Let z = u + 0.38. Sort 1/9, z, -1/4 in decreasing order.
z, 1/9, -1/4
Let q be (-333)/63 - 2/(-7). Let n be (-5)/(-2)*2/(-1). Let g(k) = -k - 5. Let i be g(n). Sort q, i, -2 in decreasing order.
i, -2, q
Let u = 14.67 + 0.33. Let p = -15.4 + u. Sort p, -0.3, -4.
-4, p, -0.3
Let v be (-3)/12 - (-11)/28. Let c = 10 + -15. Let q = -121 - -845/7. Sort c, q, v in decreasing order.
v, q, c
Suppose -y - 4*h - 17 = 4, h = -3*y - 8. Let k be (-6)/(-7)*28*1. Suppose -v = 4*t + 18, 5*t = -v - v - k. Put 0, v, y in increasing order.
v, y, 0
Let i(t) = t**3 - 6*t**2 + 5*t - 3. Let k be (-1)/((1 - 2)/5). Let u be i(k). Let m = 85 - 90. Put u, m, 2 in decreasing order.
2, u, m
Let v = -78.7 - -79. Sort 4, v, 2/13, 1.5 in ascending order.
2/13, v, 1.5, 4
Let o = -2 + 1.9. Let b = o + -0.2. Sort b, 0.5, 2/23 in decreasing order.
0.5, 2/23, b
Let w = -5/17 + -75/