 4*w - 0*w + 8. Put w, u, -5 in descending order.
u, w, -5
Let j = -2.2 - -0.2. Let x = -0.36 + 0.06. Let r = 6 - 5.5. Sort r, x, j in ascending order.
j, x, r
Suppose -k - 12 = -2*d, 5*k + 11 - 3 = -3*d. Let h be 2/((-2)/d*5). Let o = 2 + -5. Put h, o, 4 in increasing order.
o, h, 4
Suppose 6*q = q - 10. Let f be -2*((-10)/q - 4). Sort 0, f, 2 in ascending order.
f, 0, 2
Suppose -3*x - 9 = 4*p, -3*p + 2*x = 4*x + 6. Suppose -q - 3*q = -16, p = -2*g - 3*q + 2. Suppose 0 = -2*f + 7*f - 15. Sort f, 5, g in increasing order.
g, f, 5
Let g = 38 - 305/8. Suppose -10 = 5*o, 2*r - 7 = 5*o + 3. Sort g, -1, r.
-1, g, r
Let q = 3 - 3. Suppose 25 = -q*z + 5*z. Suppose -z*v + 6*u = 2*u + 21, v = -5*u + 19. Put 0, v, 2 in decreasing order.
2, 0, v
Let u = 4.119 - 0.119. Put 1, 1/2, u, -1 in descending order.
u, 1, 1/2, -1
Suppose 4*x - 10 = -3*n, -4*n - 4 = x - 0*x. Sort 0, 2, n, 3 in descending order.
3, 2, 0, n
Suppose -4*y = -3*a + 6, -2*y + 2 = -a + 6. Let r = 214/3 - 72. Put r, a, -4 in descending order.
r, a, -4
Suppose 4*m = 3*g + 6 + 8, -5*m = 2*g - 29. Put g, 4, 0, -6 in increasing order.
-6, 0, g, 4
Let j(x) = x**3 - 10*x**2 + 8*x - 5. Let b be j(9). Let u = b - -17. Put 6, u, -5 in decreasing order.
6, u, -5
Let w = -6.6 - -4. Let k = -1.4 + w. Put k, 2, 0.2 in descending order.
2, 0.2, k
Let n = -0.1 + -6.9. Let j = n + 8. Sort -3/4, j, -5/4 in descending order.
j, -3/4, -5/4
Let c = 4.4 - 4. Let r = c - 0.9. Let n = 0 - -0.2. Put n, 1, r in increasing order.
r, n, 1
Let o = -6.3 + 6. Sort 1, o, 0 in decreasing order.
1, 0, o
Let v = -0.04 - -0.24. Let l = v - 2.2. Suppose 0 = z + 3*z - 12. Sort z, l, 0.4 in increasing order.
l, 0.4, z
Let r = -13.45 + 0.45. Put 3, 0.1, r, -3 in decreasing order.
3, 0.1, -3, r
Let h = -6 + 5.6. Suppose n = -0*n, 0 = 2*u - 3*n - 2. Sort h, 3/2, u in increasing order.
h, u, 3/2
Suppose -2*y = -5*y. Let m be (2 + y)*(-1)/(-13). Sort m, -5, -4.
-5, -4, m
Let o be (2 + (3 - -5))*2/(-4). Sort -0.05, 0.5, o in increasing order.
o, -0.05, 0.5
Let b = 3.6 - 4. Sort 1, b, 4 in decreasing order.
4, 1, b
Suppose 0 = -w + 2*w - 3. Let c be 88/w*81/(-12). Let j = 1784/9 + c. Sort 4, 0.1, j in ascending order.
0.1, j, 4
Let p = 0.18 + -3.18. Let f = 0.2 - 1.2. Let a = f - p. Sort -0.2, -7, a in ascending order.
-7, -0.2, a
Let v = 24 + -19. Suppose -4 + 24 = v*o. Put 1, o, 0 in decreasing order.
o, 1, 0
Let p(m) be the second derivative of -m**5/20 + m**4/4 - 2*m**2 - 2*m. Let q be p(3). Sort -2, q, 2 in ascending order.
q, -2, 2
Suppose 4*z = 5*p - 6*p + 2, -10 = -z - 5*p. Put -11, z, 3 in decreasing order.
3, z, -11
Let d = 0.04 + -0.14. Let q = d + 0.3. Sort q, -1/6, -3 in increasing order.
-3, -1/6, q
Let z = -9 - -9. Suppose z = 3*n - 2*n - 3. Sort 12, -5, n in decreasing order.
12, n, -5
Let z be 2 - (-3 - (-21)/3). Suppose 4*i = 5*h + 17, -2*h + 5 = 2*i + 1. Put z, 2, i in decreasing order.
i, 2, z
Let i be 209/(-95) + 2/10. Put 10, 4, i in ascending order.
i, 4, 10
Let b be ((-10)/4)/(-6 - 91/(-14)). Let y(s) = s**2 + s - 4. Let z be y(0). Put 2, b, z in increasing order.
b, z, 2
Let g = -53/3 - -18. Let d = 3.97 + 0.03. Put d, -0.2, g in increasing order.
-0.2, g, d
Let v = -29/8 - -35/8. Let d = -0.065 - -0.265. Sort 0, d, v in descending order.
v, d, 0
Suppose -3*n - 17 + 5 = 0. Sort 0.3, n, -1/5 in ascending order.
n, -1/5, 0.3
Let y(f) = -f**2 - 8*f + 4. Let n be y(-9). Let w = -19 - -35. Suppose -m + w = 3*m. Sort m, 0, n in ascending order.
n, 0, m
Let v(b) = -b + 11. Let f be v(9). Sort f, 1, 3.
1, f, 3
Let n = -1.8 + -1.2. Let c = 1 - 0. Let g = -2 + c. Put 0.1, g, n in increasing order.
n, g, 0.1
Let d = 0.033 - -0.067. Let v be 1/15 - 1/(-3). Put v, d, 3 in increasing order.
d, v, 3
Suppose -5*n = -0*n - 5*j - 45, -4*n + 2*j + 28 = 0. Let l(h) = -h + 0*h**2 + h**2 - 3*h + 3. Let t be l(2). Sort n, -2, t in ascending order.
-2, t, n
Suppose -z = -3*z - 3*c + 10, 5*z = 3*c + 4. Let i = z + -4. Let o(f) = -f**2 - 3*f + 7. Let u be o(-5). Put u, i, 2 in increasing order.
u, i, 2
Let k = -3 - -8. Suppose -k*n - 40 = 4*u, -3*u - n + 6*n = -5. Let h be (-2 - (-2 - 0))/(-2). Sort u, h, 2.
u, h, 2
Let u = -109 - -1415/13. Let l = 25 + -29. Put l, 3, u in descending order.
3, u, l
Suppose 5*a - 2*a = 2*y - 7, -4*y - 4*a = -4. Suppose -2*z - 4 = -2*t + 7*t, -5*t = 5*z + 10. Sort y, 3, z in decreasing order.
3, y, z
Let y = 0.8 + -0.9. Sort -4, y, 1/5 in decreasing order.
1/5, y, -4
Let h be (-4)/(-18) - 138/135. Let p = 684 + -683.9. Put p, h, 3 in increasing order.
h, p, 3
Let l be 3 + 0 - 1*-2. Suppose 4*t = l*t - 3. Put t, 1, -2 in descending order.
t, 1, -2
Let q(h) = h + 6. Let m be q(-5). Sort m, -3, 4 in descending order.
4, m, -3
Let d(u) = -u**2 + 3*u + 5. Let a be d(4). Let t be (0 - -2) + -7*a. Put 4, 5, t in decreasing order.
5, 4, t
Let y(p) = p**3 + 9*p**2 - 2. Let d = 14 - 23. Let n be y(d). Put 1, n, 0 in decreasing order.
1, 0, n
Let f be 3 + (-4)/(88/70). Let l = 2480/9 - 276. Sort f, 1/2, l in descending order.
1/2, f, l
Suppose 5*r + 1 = -19. Let c = 8 + r. Put c, 1/3, 0 in decreasing order.
c, 1/3, 0
Let f = 18 + -22. Sort -2, 5, f.
f, -2, 5
Let x = -59 - -175/3. Put 3, 0, x in decreasing order.
3, 0, x
Suppose 0*o + 3*o = -15. Put o, -3, 0 in increasing order.
o, -3, 0
Let j = 5.09 + -0.09. Sort j, -3, 0.2 in increasing order.
-3, 0.2, j
Suppose -7 = -3*c + 11. Suppose c = j + 2*j. Suppose -j = 5*q - 17. Sort q, -4, -1.
-4, -1, q
Let n(s) = -s**3 + 10*s**2 + 9*s + 26. Let b be n(11). Sort b, 0, -0.1, 2/5.
-0.1, 0, 2/5, b
Let l(v) = 2*v**3 - 4*v**2 + 3*v - 2. Let a be (27/(-18))/((-3)/4). Let n be l(a). Put 1, n, 2 in decreasing order.
n, 2, 1
Let w = -758/5 + 151. Let r be (-1 - 26/(-30))/(57/(-190)). Sort r, w, -1.
-1, w, r
Let d = 0.125 + -0.425. Sort 0.1, -2, d, -2/9 in descending order.
0.1, -2/9, d, -2
Suppose -m + 5*s = -2*m + 14, -2*m = -3*s + 24. Let o be (-2)/m + 26/3. Suppose b + 0 + o = 2*d, 3 = d - 2*b. Sort d, 0, -3 in increasing order.
-3, 0, d
Let i = -0.04 - 0.06. Let l = 47.1 - 52. Let p = l + i. Sort -1, -3, p.
p, -3, -1
Let w(i) = -i**2 + 6*i - 2. Let k be w(5). Let r be (-14)/(-8) + k/12. Let m be (-1 - 0/2)*r. Sort 2, 1, m.
m, 1, 2
Suppose 0 = -5*g - 14 - 31. Let a = g - -9. Put 3, 5, a in ascending order.
a, 3, 5
Suppose -s = -5 + 6. Put 2, s, 5 in increasing order.
s, 2, 5
Let j(t) = -2*t**2 + 22*t + 1. Let p be j(11). Sort -5, -2, p in decreasing order.
p, -2, -5
Let d = -0.1 + 0.1. Let a = 0.01 - 0.31. Sort a, -1, d in decreasing order.
d, a, -1
Let a be (3 - 5)/(2/4). Let z be 2/a - (-30)/(-20). Sort -1, 4, z in ascending order.
z, -1, 4
Let x(j) = j**2 + 15*j + 33. Let c be x(-12). Suppose -4*p - 15 - 1 = 0. Put p, 5, c in ascending order.
p, c, 5
Let g = 19 - 16. Put g, 3/5, -17 in decreasing order.
g, 3/5, -17
Let d = -57 + 65. Put -3, 2, d in decreasing order.
d, 2, -3
Let x = -99 - -887/9. Put 1/5, 2/3, x in ascending order.
x, 1/5, 2/3
Let h = -22.1 + 23. Let u = h - -0.1. Sort 2/3, u, 5 in increasing order.
2/3, u, 5
Let f(h) = -h - 9. Let x(u) = u**3 + 5*u**2 - 3*u + 8. Let l be x(-6). Let p be f(l). Sort p, 2, -5 in increasing order.
-5, p, 2
Let g be 3/2 + 1/2. Suppose -g*z + z + 2*w = -14, 2*w - 6 = -4*z. Let l(y) = y**2 - 8*y + 6. Let s be l(7). Put z, s, 3 in descending order.
z, 3, s
Let k = -553/15 - -37. Let t = -5 - -2. Put 0.2, t, k in descending order.
0.2, k, t
Let w(g) = -g**3 - 7*g**2 - 2. Let r be w(-7). Let t be 2/(3*r/(-12)). Sort 1, t, 2.
1, 2, t
Let r = 4 + -3. Let b = -3.91 + -1.09. Put b, r, -0.1 in descending order.
r, -0.1, b
Let a be 0 + -1 + -2 + -5. Let y = 5 + a. Sort -1, y, 2 in increasing order.
y, -1, 2
Suppose -h = 13 + 5. Let l = -13 - h. Suppose 0*r + l*r + 10 = 0. Sort 1, r, 0.
r, 0, 1
Let i be (20/(-25))/((-2)/40). Suppose -s = -4*u + 4*s - 4, -2*u - 2*s = -i. Put u, 0, -1 in descending order.
u, 0, -1
Suppose 0*j - j + 3*s - 6 = 0, -4 = 4*j - 2*s. Put -1, 3, j in descending order.
3, j, -1
Let p(l) = l**2 - 2*l - 5. Let j be p(-2). Put j, 1/9, 0.3, 4 in decreasing order.
4, j, 0.3, 1/9
Suppose 4*q = 3*q + 29. Suppose 0 + 28 = 5*d + i, -4*d + q = 3*i. Put d, -1, 0 in decreasing order.
d, 0, -1
Let b(l) = -l + 11. Let u be b(8). Sort 1, -2, -1, u in increasing order.
-2, -1, 1, u
Let c = 14.6 + -15. Put c, 0.5, -2 in ascendi