 x in descending order.
x, 2/15, -0.3
Let m = 17.4 - 17. Sort m, 3/20, 0.1.
0.1, 3/20, m
Suppose -2*x - 3*m = 22, 2*x - x + 2*m + 13 = 0. Sort x, -0.1, -2/9, 1 in increasing order.
x, -2/9, -0.1, 1
Let k(v) = -v - 16. Let o be k(-13). Put o, -12, 0 in descending order.
0, o, -12
Let q = 16 + -2. Let f = -20 - -29. Let d be (-4)/q + f/(-42). Put d, 0.3, 0 in decreasing order.
0.3, 0, d
Let o = -2/319 + 648/1595. Let k = 8 + -13. Sort k, o, -0.1 in descending order.
o, -0.1, k
Suppose -3*v + 12 = -6*v. Put 5, v, 1 in decreasing order.
5, 1, v
Suppose 10 = -2*k, -3*z + 5 = -3*k - 13. Put 2, 4, z in decreasing order.
4, 2, z
Suppose -4*s - 24 = 5*q, -5*s + 3 = -q - q. Let l be -6 - s - 1*-2. Sort -0.2, 0.2, l.
l, -0.2, 0.2
Let z = 54 - 107/2. Sort -4, -0.3, 2/5, z in decreasing order.
z, 2/5, -0.3, -4
Let h = 12 - 12.54. Let w = 0.14 + h. Sort w, 2/13, 1/4 in descending order.
1/4, 2/13, w
Suppose -s + 5 - 1 = 0. Suppose f - 18 + 7 = -s*p, -5*f = p + 21. Let v be -1 + ((-6)/(-3) - -3). Put 3, f, v in descending order.
v, 3, f
Let i(s) = s + 2. Let n be i(-2). Suppose n = 3*f - 2*f - 4. Sort -3, f, -5 in decreasing order.
f, -3, -5
Let h be (2 + -1 + -1)*-1. Suppose h = -3*t + 1 + 5. Let j(k) = k**3 + 11*k**2 + 9*k - 7. Let m be j(-10). Put t, 1, m in increasing order.
1, t, m
Suppose 3*o + 9 = 18. Let k(l) = 6*l**2 + 2*l + 1. Let s be k(-1). Suppose w + 18 = -4*b, 5*w - s*b = -4*b + 15. Put w, o, 1 in increasing order.
1, w, o
Let y be 4/6 - 15/63. Let o = -486.6 - -487. Sort y, 6/11, o in ascending order.
o, y, 6/11
Let w be ((-9)/6)/(3/(-6)). Suppose 4*c + 0*c - 19 = -w*s, 2*c = -5*s + 27. Sort -4, c, -3.
-4, -3, c
Let l = -26 - -23. Let n = 13 - 12.6. Sort n, -0.4, l in decreasing order.
n, -0.4, l
Let g = 0.1 - 0. Let i = 0.2 + g. Let m = -0.9 + 1. Put m, i, 4 in increasing order.
m, i, 4
Suppose 2*g - 8 = p, 0 = -5*g - 4*p + 11 - 4. Put 1, -3, g in increasing order.
-3, 1, g
Let t(i) = i**3 + 5*i**2 - 3. Let p be t(-5). Let c be (-1 + -1)/((-3)/3). Suppose -3*r = c*r. Sort p, r, 2 in ascending order.
p, r, 2
Let r be -7 - -9 - -1*1. Let w(p) = 3*p**3 - p**2 + p - 1. Let q be w(1). Suppose 2*x + 12 = 8. Sort q, x, r in decreasing order.
r, q, x
Suppose 10 = 4*m + 26. Suppose -3*j = -5*n + 6, 7*n - 2*n = j + 12. Let a be (-2)/8 + 27/12. Sort j, a, m in increasing order.
m, a, j
Let r = -4 + 2. Suppose -64 = -5*j - c, 0*c = c - 4. Suppose 3*w = 7*w + j. Sort 0, r, w in increasing order.
w, r, 0
Let q(c) = -c**3 + 9*c**2 - 14*c - 8. Let j be q(7). Put 1, 4, j in increasing order.
j, 1, 4
Let w(h) = -2*h - 5*h + 11*h**2 - 10*h**2. Let t be w(7). Sort 2, 5, t.
t, 2, 5
Let s be 2/(-10) - (-165)/75. Let t be s/(-14)*(-6 + 2). Sort -8, 2, t.
-8, t, 2
Suppose 2*o = 5 + 3. Suppose 0 = -p - 3*q - 0*q + 16, -5*q + 4 = -o*p. Suppose -s = -5*s + p. Sort 0, -4, s in decreasing order.
s, 0, -4
Let c = -18 - -16. Sort 8, c, 4 in decreasing order.
8, 4, c
Let x = -75 - -76. Suppose 3*a + 20 = 50. Suppose -r - 4*w - a = 0, 1 = 2*r - 2*w - 9. Sort x, -2, r in descending order.
r, x, -2
Let n = 0.3 + 0.2. Let z = -69/7 - -71/7. Sort z, n, -4 in decreasing order.
n, z, -4
Let o = 1 - 4. Suppose 5*c = 4*u + 31, u = -4*c - 2*u. Let n = 5 - 9. Sort c, o, n in descending order.
c, o, n
Suppose 0 = 5*j - 2*w - 28, -2*w - 5 = -j - w. Let h(n) = n**2 + 3*n. Let v be h(-4). Suppose -j = -f + v*f. Sort f, 1, 4.
f, 1, 4
Let r = -3 + 1. Let u = r + 6. Let k = 95/3 - 32. Sort -5, k, u in decreasing order.
u, k, -5
Suppose 5*d = 7 - 37. Put -2, -4, d in increasing order.
d, -4, -2
Let d be (1 + -6)*2 + 13. Let s(u) = -2*u**2 - 3*u + 2. Let w(x) = 3*x**2 + 3*x - 3. Let z(f) = 4*s(f) + 3*w(f). Let h be z(3). Put 5, h, d in descending order.
5, d, h
Let w = 14.32 - 0.32. Let p = w - 13.8. Put p, -3, 5 in ascending order.
-3, p, 5
Let j(x) be the second derivative of x**4/12 - 5*x**3/6 + 3*x**2/2 + 4*x. Let i be j(5). Suppose 0 = 2*l - i + 1. Sort 0, 2, l in decreasing order.
2, l, 0
Let h = 5 + -5.2. Let t = h + 0.6. Put 1, t, 0.1 in increasing order.
0.1, t, 1
Suppose -7*t + 3*t = 0. Suppose 5*j - 5 + t = 0. Put j, -2, 2 in decreasing order.
2, j, -2
Let b(i) = -i**2 - 4*i + 4. Let p be b(-4). Sort p, -4, 3 in descending order.
p, 3, -4
Let a(o) = o - 1. Let x be a(4). Suppose -x*y = -3*r - 3, -5*r - 7 + 2 = 3*y. Put r, -2, 6 in descending order.
6, r, -2
Let h be 1 + (1*-4 - -2). Suppose -o = -4 + 1. Let z be o/(9/15) + 0. Put h, -2, z in ascending order.
-2, h, z
Suppose 0 = 3*k - 3*c + 45, 3*k + 0*c - 5*c = -51. Let x be (-1)/5 - k/10. Let a be -2 + -1 + 0 + -1. Sort x, a, 5.
a, x, 5
Suppose -4*g - 28 = -8. Put 5, g, 1 in increasing order.
g, 1, 5
Suppose 0 = -0*w - 4*w - 12, g + w + 8 = 0. Let x = 7 + -6.7. Let s = x - 1.3. Sort g, -0.3, s in increasing order.
g, s, -0.3
Let r = -1.11 + 1.41. Put 2/3, r, 2/7, 0 in descending order.
2/3, r, 2/7, 0
Let u be -1*(2/(-10) - 0). Put u, 2, -2/17 in decreasing order.
2, u, -2/17
Let k be (1 + 3)/(2*-1). Suppose -8 = -6*z + 4*z. Suppose o = -2*q - 2, -4*q + 0*o = z*o + 4. Sort q, k, -3 in decreasing order.
q, k, -3
Let z be 2 + 15/3 + 0. Let n be (-363)/77 - 2/z. Sort -3, 5, n.
n, -3, 5
Let y be 28/16 - (-2)/8. Suppose -5*p + 7 = h, -5*h + 2*p - 21 = -y. Let a = -23 + 26. Put 0, h, a in descending order.
a, 0, h
Suppose 2*t + 2 = -8. Sort t, 1, -16.
-16, t, 1
Suppose -n + 17 = -4*j + 2*j, 0 = -4*j - 4. Put -4, n, 2 in decreasing order.
n, 2, -4
Let f be (-9)/(-12) - 1115/12. Let d = 92 + f. Put d, 5, 2/7 in ascending order.
d, 2/7, 5
Let w = 0.1 + 0. Sort 0, w, 5 in increasing order.
0, w, 5
Let g be ((-8)/72)/((-1)/2). Put -5, -0.3, g in ascending order.
-5, -0.3, g
Let j = 8 + -4. Let k = j + -4. Suppose 2*r - y + 9 = k, -y = 3*r - 6*y + 17. Sort 1, 5, r in ascending order.
r, 1, 5
Let q = -59/9 + 56/9. Sort q, 1/7, 2, 1/9 in increasing order.
q, 1/9, 1/7, 2
Suppose -4*i + 4 + 4 = 0. Put 4, -4, i in decreasing order.
4, i, -4
Let h = -3.14 + 0.14. Let o = 0 + 4. Sort o, h, 0 in increasing order.
h, 0, o
Suppose -2*t - 4*z = 0, -2*t - 3*z = -z. Let w = 6 - 5. Let d be (6/4)/(-3)*1. Put d, t, w in decreasing order.
w, t, d
Let m = -3 + 2. Suppose -3*w + 0*w = -9. Suppose 0 = -4*n, 4*k - w*n + 0*n + 12 = 0. Put 4, k, m in ascending order.
k, m, 4
Let o = 3.93 - -0.07. Suppose -4*l = 5*f - 5 - 17, 2*f - 7 = -l. Suppose -2*j - 6 = d, -4*j = -l*d - d. Sort o, j, 0.2.
j, 0.2, o
Let b = -0.26 - 0.2. Let f = -0.04 + b. Suppose r - 3 = -0*r. Put 0, f, r in increasing order.
f, 0, r
Suppose 2*d = 5*d - 45. Let s = 3 - d. Let h = s - -8. Sort 0, 5, h in decreasing order.
5, 0, h
Suppose 0 = 3*x - 2*v + 4, 0*x + 3*v = 2*x + 1. Let o be (-9)/312 - x/13. Let r be (64/(-14))/2 - -2. Sort r, o, 3/2 in ascending order.
r, o, 3/2
Suppose -3*t - 25 = 2*t. Let p = -50 - -50. Sort 2, p, t in ascending order.
t, p, 2
Let z = 40 - 44. Sort -1, -0.03, z, -3 in ascending order.
z, -3, -1, -0.03
Suppose -3*p + 2 + 1 = 0. Sort p, -3, 5.
-3, p, 5
Let v = -1 + 7. Let k = 5 - v. Sort -0.2, -2, k in decreasing order.
-0.2, k, -2
Let s = -2 + 6. Let u(c) = c**3 - 5*c**2 + 5. Let x be u(5). Sort -2, s, x in ascending order.
-2, s, x
Let c = -10 - -15. Let x = 5 - c. Put -2, 3, x in descending order.
3, x, -2
Let v = -0.21 + 0.38. Let k = 0.049 - -0.151. Put -0.2, v, k in increasing order.
-0.2, v, k
Let u = 0.052 - 0.352. Put -2/11, u, 2/5, 4 in increasing order.
u, -2/11, 2/5, 4
Suppose 3*l + 5*q + 0 = -1, 3*q + 12 = 2*l. Sort -6, 4, 2, l in decreasing order.
4, l, 2, -6
Let v be (0 - 1/7) + (-3)/21. Let f = 0.3 + -0.31. Sort 2/11, f, v in descending order.
2/11, f, v
Let j = 41 + -40.5. Let z = 3/5 - 4/5. Sort -2, j, z in decreasing order.
j, z, -2
Let u be (-172)/(-14) + (-9)/(189/6). Put 0, 5, -5, u in descending order.
u, 5, 0, -5
Let i = -389/6 - -65. Let q be (0 + -1 + 0)*2. Let d be 7/36 + q/(-8). Put -3, i, d in decreasing order.
d, i, -3
Let c be (-1)/(-1 - (-4)/3). Let f(g) = -g**2 + 2*g + 2. Suppose 7 = 5*i - 3. Let u be f(i). Sort c, u, 3.
c, u, 3
Suppose -2*m - 5 = y, 9 = -y + 4*m - 2*m. Put -2, -3, y in increasing order.
y, -3, -2
Let k = 56/255 - 1/51. Sort -1/3, -3, k.
-3, -1/3, k
Let p = 3 + -1. Let c be (-7 + 4)*-1 + -1. Suppose 4*y + 0*y = 20, c*u + p*y = 10. Sort 3, 5, u in decreasing order.
5, 3, u
Let s = 0.2 + 0.3. Let i = 2.8 + -3.8. So