, 5 in decreasing order.
5, v, -1
Let x = 3 - 2. Let t = 4 - 5. Sort x, -2/13, t.
t, -2/13, x
Let r = 1.4 + -1.36. Let t = -0.4 - -0.14. Let n = r - t. Sort 5, n, -0.2 in decreasing order.
5, n, -0.2
Let f be (3 - -2) + -1 + 0. Sort f, 3, 5, -2 in descending order.
5, f, 3, -2
Let h = -4 + 0. Let v = h - -3. Let q = 1 + 2. Sort 0, q, v in ascending order.
v, 0, q
Let f(g) = -g**3 + 3*g**2 + g + 7. Let h be f(4). Sort -8, 4, 2, h.
-8, h, 2, 4
Let x be (3 + 4 + -3)*2. Let t = -13 + x. Sort 4, 0, t in descending order.
4, 0, t
Let n(x) = -x**3 + 7*x**2 - 5*x - 4. Let g be n(6). Suppose g*b = -2*b. Let k be (-2)/(-3) - (-52)/12. Put -4, b, k in decreasing order.
k, b, -4
Suppose 0 = m - 0*m. Suppose u = -5*c - m*c + 4, 5*u + 4*c = -1. Let t = 3 - u. Put t, 0, -1 in ascending order.
-1, 0, t
Let z = 990 - 10902/11. Sort -5, 1, z.
-5, z, 1
Suppose 4*m - 2*m - 2 = 0. Suppose 0 = i - 3*t - 5, 4*t + m = i - 7. Suppose 0 = -2*c - 5*p + 10, 2*c + 2 = -0*c - 2*p. Sort i, c, 3 in ascending order.
c, i, 3
Let m = 24 + -27.8. Let r = 1.2 - m. Sort -3, -2, r in descending order.
r, -2, -3
Let o be 30/55 - 65/220. Put o, -2, 2/7, 1 in decreasing order.
1, 2/7, o, -2
Let w = -32 - -28. Put -2, 4, w in increasing order.
w, -2, 4
Suppose -3*i = -3*p - i - 4, -5*p - 4 = -2*i. Put p, 4, 1/2 in ascending order.
p, 1/2, 4
Let q = -37 + 41. Sort -4, 1, q.
-4, 1, q
Let m = -0.3 + -1.7. Let h = -3 - m. Sort -5, h, -4.
-5, -4, h
Let t = -446/5 - -89. Let b = 17 + -12. Sort -2/7, b, t in increasing order.
-2/7, t, b
Suppose -5*v + 5 = 20. Sort -2/9, 1, v, 0.4.
v, -2/9, 0.4, 1
Suppose 0 = -3*l + 5*h, -4*l - 5*h = -2*l - 25. Let a(w) = -w. Let q be a(l). Suppose -4*k - 2*p + 3 = -15, 0 = -4*k - p + 13. Put q, k, -4 in decreasing order.
k, -4, q
Let k be (6/35)/(3/5). Put k, 0.3, -0.1, -2/23 in ascending order.
-0.1, -2/23, k, 0.3
Suppose -f = 2*f - 15. Let w = 0.01 - -0.39. Sort f, 4, w in descending order.
f, 4, w
Let q(c) = -4 + 6 + 2*c + 5. Let g be q(-6). Let w(y) = y**2 - 4*y + 1. Let r be w(4). Sort r, 4, g.
g, r, 4
Let f be (-1)/2 - (-13)/2. Suppose 0 = 3*k - f + 36. Let t = -15 - k. Sort 3, -4, t.
t, -4, 3
Let j be 185/(-17) - (-12)/(-102). Let z(q) = -q - 13. Let h be z(j). Put -3, h, 2 in descending order.
2, h, -3
Let r be (-4)/14 + 440/(-28). Let m be 10/8 + (-4)/r. Put 2/3, 0.2, m in decreasing order.
m, 2/3, 0.2
Let b = -2 + 2. Let g = -2 + -12. Let r = g + 12. Put r, -4, b in decreasing order.
b, r, -4
Let m = -18 - -33/2. Let n = -7.5 + 1.5. Let a = n + 3. Sort a, m, -1 in descending order.
-1, m, a
Let v be (-1)/4 - 75/20. Let g = -4 - v. Put -1, -4, g in decreasing order.
g, -1, -4
Let c = -244/831 - 1848685/6648. Let f = c + 278. Sort -1/4, f, -1/2 in decreasing order.
-1/4, f, -1/2
Suppose 28 = -6*k + 2*k. Put -4, k, -1 in increasing order.
k, -4, -1
Let d = -3 - -3.3. Let j(v) = v + 4. Let c be j(-6). Let o = 1 - 5. Sort o, c, d.
o, c, d
Suppose -p - l - 6 = 0, -5*p - 9 = -2*l - 0*l. Let o(d) = d**2 - 5*d + 2. Suppose 12 = 2*w + w. Let m be o(w). Sort m, 2, p.
p, m, 2
Let m be (-39)/15 - (-2)/(-5). Let a = -20 - -12. Let p be ((-6)/a)/((-10)/(-8)). Sort p, 3, m in decreasing order.
3, p, m
Suppose 8*i = 11*i - 81. Let c be (-6)/(-27) + (-60)/i. Sort 2, 3, c.
c, 2, 3
Let k(t) = t**3 + 13*t**2 - 5. Let m be k(-13). Sort 0, 1, m in increasing order.
m, 0, 1
Let p = -24 - -29. Suppose -3*i + 4*o = 7 + 21, 4*i = -5*o + 4. Put i, p, -1 in descending order.
p, -1, i
Suppose -3 + 30 = -2*c + 5*u, -2*c - 2*u - 20 = 0. Let p = c + 6. Let v(j) = j + 3. Let i be v(-2). Sort i, 5, p in descending order.
5, i, p
Let h = -22817/3652 + -2/913. Let u = h + 6. Sort u, -2/9, -0.2 in decreasing order.
-0.2, -2/9, u
Let k = 185 - 180. Put -25, 1, k, 0.4 in decreasing order.
k, 1, 0.4, -25
Suppose 19 = 5*p - 1. Suppose 25 = -p*n - n. Put -4, 0, n in increasing order.
n, -4, 0
Let q = 984 - 977.01. Let d = 7 - q. Put d, -3, -0.4 in decreasing order.
d, -0.4, -3
Let y(s) = 4*s**2 + 2*s + 1. Let i be y(-1). Let m = -19/186 - 2/31. Sort m, i, 0.3 in ascending order.
m, 0.3, i
Suppose -o + 15 = -2*v - 0*v, 5*o = -5*v + 45. Suppose 5*q = f, -4*q = 4*f + o + 13. Put f, -1, -4 in descending order.
-1, -4, f
Suppose 3*x - x = 4*k - 16, -5*x - 15 = -5*k. Suppose 2*h = 2*w - 4, k*w - 2*h - 18 = h. Sort 4, 0, w in decreasing order.
w, 4, 0
Let n = 59 - 297/5. Let t(w) = -8*w - 67. Let c be t(-8). Sort -8, c, n.
-8, c, n
Let w be (16/24)/((-1)/(-6)). Suppose 2*x + 7 = 1. Sort x, 3, w in ascending order.
x, 3, w
Let v = 2 + 2. Suppose 0 = v*x - 2*h + 9 + 7, 4*h + 4 = -x. Sort -2, x, 2 in decreasing order.
2, -2, x
Suppose -6*o = 5 - 23. Put 2, -3, o in ascending order.
-3, 2, o
Suppose 4*a + 16 = -4*l, -3*a + 2*l + 5 = -2*a. Let m = -11.24 + 0.24. Let k = m + 16. Sort k, 3, a in descending order.
k, 3, a
Let k be 12/4 + 2*7. Suppose -3*i + 2 = k. Sort -1, i, 2 in descending order.
2, -1, i
Let f = 0.08 + -2.08. Let z = 19.3 + -21. Let g = f - z. Sort -4, g, 1 in decreasing order.
1, g, -4
Let l = 0.28 - 0.28. Put 0.4, 0.06, l in decreasing order.
0.4, 0.06, l
Let a(y) = 6*y**3 - y**2 + y - 1. Let t be a(1). Put -0.6, -2, t, -2/5 in decreasing order.
t, -2/5, -0.6, -2
Suppose 0 = 4*o - 8*o. Suppose 5 = -j - 2*h - o, 2*j - 3*h = 11. Put 2, -3, j in descending order.
2, j, -3
Let t be (3 - 7)/4*-4. Let p be 0/1 + 1 - -2. Sort -1, p, t in decreasing order.
t, p, -1
Suppose 4*z - 3*z + w + 4 = 0, -5*z = 3*w + 30. Sort 3, -2, z, 5 in descending order.
5, 3, -2, z
Suppose 3*d + 1301 = -4*f - 0*d, -2*f - 649 = d. Let m = f + 2257/7. Let v = 31/76 + -3/19. Sort -1, v, m in descending order.
v, m, -1
Suppose l = -6*l + 28. Sort l, 3, -4 in ascending order.
-4, 3, l
Let a = 1.1 - 1. Let m = a - 0. Sort -2/11, -1, m in decreasing order.
m, -2/11, -1
Suppose 6 = 4*x - 2. Sort -5, x, 4 in descending order.
4, x, -5
Let y(n) = 7*n + 2. Let x be y(-1). Let r be ((-3)/x)/((-42)/28). Sort -2/3, r, 0 in descending order.
0, r, -2/3
Let m = -6.2 - -8. Let y = m - 4.8. Suppose -8 = -3*u - u. Sort u, y, 4.
y, u, 4
Let j = -66 - -63. Let a = -1 - -1. Sort j, 5, a in increasing order.
j, a, 5
Let c = -11 + 8. Let x be -1*c/2*-2. Let z = x - 0. Put -5, z, 5 in ascending order.
-5, z, 5
Let o(g) = -g**2 + 8*g - 4. Let q be o(9). Sort 5, 0, -3, q.
q, -3, 0, 5
Let o be ((-6)/(-3))/(8/20). Sort 1, o, -12 in descending order.
o, 1, -12
Let p(h) = -h + 8. Let m(w) = w**2 + 13*w + 9. Let o be m(-13). Let d be p(o). Put -6, d, 0 in increasing order.
-6, d, 0
Let c = -8/3 - -22/9. Let b = 133/2 + -68. Put -4, b, c in decreasing order.
c, b, -4
Let r be (-3)/2*(-2)/(-5). Let v = 26 - 79/3. Sort r, -3, v in decreasing order.
v, r, -3
Let j = 9 + -7. Let r be (8/(-36))/(j/6). Sort r, 5, 1 in increasing order.
r, 1, 5
Let j be (2/(-20))/((-1)/(-86)). Let r = j - -139/15. Let c = -0.2 + 0.4. Put c, 2/7, r in decreasing order.
r, 2/7, c
Suppose 6*l = 7*l - 25. Suppose -u - 15 = k - 4*u, k + 5*u - l = 0. Sort -5, k, -2 in descending order.
k, -2, -5
Let w = 15 + -15. Let o(v) = 3 - 2 + v**3 - 2*v**3 + v**2. Let b be o(w). Sort -1, b, -5 in ascending order.
-5, -1, b
Let g be (-1)/(-4) + (-4)/16. Let m = g + 2. Suppose -10 + 2 = -m*v. Sort 5, v, 3 in ascending order.
3, v, 5
Let r(n) be the third derivative of -n**5/60 + 7*n**4/24 - 4*n**3/3 - 2*n**2. Let h be r(6). Sort h, 2/9, -1/7 in descending order.
2/9, -1/7, h
Let a be ((-21)/(-18) - 1)*-3. Let g be 96/52 - 6/(-39). Let p be -1*(g + 13)/3. Put p, 4, a in increasing order.
p, a, 4
Suppose -3*h + 12 = -0*h, -5*h + 21 = -q. Put -2, -4, q in descending order.
q, -2, -4
Let v = 1 - 6. Let r = v - -9. Let l = 81/385 + -1/35. Sort r, l, -4.
-4, l, r
Let y = 0.8 - 0.3. Let n = 11 + -11.4. Put y, n, -1/2 in ascending order.
-1/2, n, y
Let a = -10.09 - -10. Let q = a + 0.39. Sort -0.4, 5, q in increasing order.
-0.4, q, 5
Let w be -4*(0 + 4/4)/1. Suppose -4*m - 5 = 5*v + 14, 3*v - 5*m + 4 = 0. Put -1, w, v in increasing order.
w, v, -1
Let j = 9 - 13. Let s = -7 - j. Sort 4, s, -4 in ascending order.
-4, s, 4
Let s = 4 + -8. Let n(x) = -4 - x - 7*x**2 + 2*x**2 + 10 + x**3 - 2*x**2. Let a be n(7). Put -2, a, s in descending order.
a, -2, s
Let b(m) = m**2 - 5*m - 2. Let n be b(6). Suppose 3*z + z = -20. Sort n, 3, z in ascending order.
z, 3, n
Let g = 1 + -1. Let a = -2 - g. Sup