, 4, 2 in descending order.
4, 2, v
Let b = -18 - -19. Sort -0.5, 4, b in descending order.
4, b, -0.5
Suppose 0 = -2*s + 8. Let a be (12/15)/((-2)/(-5)). Suppose -u - a = 0, 0 = g - 5*u - 10 - 1. Sort s, g, -2 in descending order.
s, g, -2
Let p = 2.2 - 3.2. Sort p, -0.5, -1/5 in decreasing order.
-1/5, -0.5, p
Suppose 2 = -3*g - 1. Put 4, -2, g in decreasing order.
4, g, -2
Let o(d) = 2*d - 1. Let z be o(-2). Put -1, 1, z in increasing order.
z, -1, 1
Let p = 0.0423 - -0.0577. Let i = -2 + 1.9. Put i, 1, p in increasing order.
i, p, 1
Let l = 3 - 8. Let f = -14 - -13.9. Put -3, f, l in decreasing order.
f, -3, l
Suppose 0 = z - 1, 3*s = z - 1 - 3. Suppose 4*v - 2 = 2*m, 3*v + 1 = 3*m - 2. Sort 5, s, v in increasing order.
s, v, 5
Let g = -9 - -13. Suppose -3*v + 5*w - 30 = 0, g*w - 2 - 10 = 0. Let r be (5 + -1)*(-1)/(-1). Sort r, v, -2 in descending order.
r, -2, v
Let x(f) = f**3 - 26*f**2 + 26*f - 26. Let g be x(25). Put -3, -2, g, -4 in increasing order.
-4, -3, -2, g
Let u = 1.9 - 2. Let o = -1 - -1.4. Let l = u - o. Sort 5, l, -4 in descending order.
5, l, -4
Let h be 4 - (0/1 + 3). Let t = h + -2. Put 0.5, 2/9, t in increasing order.
t, 2/9, 0.5
Let j be (-3)/(-1) - (1 - 0). Suppose -4*n + 4*c + 16 = 0, 2*n = -3*c - 15 - 2. Let o be (2 - 1)*5/1. Sort o, n, j in decreasing order.
o, j, n
Let w be (4/(-6))/((-4)/(-18)). Sort -5, -1, w in descending order.
-1, w, -5
Suppose 3*k = -3*c, -k + c = -3 - 3. Let i be -1*(1 - 0) - -4. Suppose -i*q - 4 - 8 = 0. Sort k, q, -3 in ascending order.
q, -3, k
Let q(p) = p**3 + 4*p**2 - 4*p + 5. Let r be q(-5). Put 2, r, -2 in ascending order.
-2, r, 2
Suppose -4*p = 3*a - a + 2, -4*p = 4*a - 4. Let y be -1 + 1 + (-201)/4. Let k = -50 - y. Put k, p, -1/11 in increasing order.
p, -1/11, k
Let j = -3/16 + 47/80. Sort -2/9, j, -5 in descending order.
j, -2/9, -5
Let v be 2/(-1) - (-96)/30. Sort -4/5, 0.4, v in descending order.
v, 0.4, -4/5
Let i be 84/(-20) - 2/(-10). Let l be (-2)/4 - i/8. Put 4, -1, l in descending order.
4, l, -1
Let s = 90 + -89.8. Sort 5, 0, 2/7, s in descending order.
5, 2/7, s, 0
Let g(w) = w - w**2 + 0 - 3 + 6. Let y be g(3). Let v = -2 - 2. Sort y, v, 1 in ascending order.
v, y, 1
Let k be 180/(-168) - 6/14. Sort -0.5, -3, k in increasing order.
-3, k, -0.5
Suppose -2*l - 26 = u, -l + 5*u = 3*l + 52. Let d = 10 + l. Sort 3, -2, d in decreasing order.
3, -2, d
Suppose 2*c - 3*o - 5 = -4*o, 0 = -o - 1. Let a be (c - 0/2)*1. Sort -5, 2, a in decreasing order.
a, 2, -5
Let y = -2 + 7. Let i(z) = -z**3 - 12*z**2 - 11*z - 2. Let b be i(-11). Suppose -5*d - 19 = -4*f, 2*d = 6*d + 4*f + 8. Sort b, y, d in ascending order.
d, b, y
Let b(l) = -4*l**2 + l. Let m be b(1). Let x be ((4 - 3)*0)/2. Let t be (-1 - 2)/(-1 + x). Sort m, -1, t in decreasing order.
t, -1, m
Let c = 181 + -902/5. Let k be 4/(-14) - 27/(-21). Put c, 3/4, k in descending order.
k, 3/4, c
Let j(d) = -d**3 + 11*d**2 - 10*d - 1. Let b be j(10). Sort -5, b, -42, -2 in descending order.
b, -2, -5, -42
Let p(x) = -x**2 - 7*x + 24. Let a be p(-10). Put 3, a, -1 in decreasing order.
3, -1, a
Suppose -10*x = -14*x - 12. Sort x, 0, 0.4, 3/7 in decreasing order.
3/7, 0.4, 0, x
Let f = -58.9 + 59. Put f, -16, 2 in ascending order.
-16, f, 2
Let d = 849/8 + -54153/520. Let x = 18/13 - d. Sort -1/2, 7, x.
x, -1/2, 7
Let r = -452 + 3170/7. Sort -0.3, -3, r in decreasing order.
r, -0.3, -3
Let a(s) = s**3 - 8*s**2 + 6*s. Let c be a(7). Let m = -5 - c. Put 0, m, 3 in ascending order.
0, m, 3
Let n = 136 - 131. Put -3, 1.1, n in ascending order.
-3, 1.1, n
Let m = 17 - 11. Let r = -6 + m. Sort r, 0.5, 3.
r, 0.5, 3
Suppose 0 = 5*n - 12 - 3. Suppose 8*a = n*a. Sort -2, -5, a.
-5, -2, a
Let i be 5 + -8 + (4 - 1). Let j be i - (-12)/(-9)*-3. Put -3, j, 1 in decreasing order.
j, 1, -3
Suppose 5*u - 2*j - 35 = 0, -3*u + 15 = u + j. Let c = -12 - -7. Put u, c, 0.4 in increasing order.
c, 0.4, u
Let q(u) = -u**3 - 7*u**2 + 10*u + 14. Let h be q(-8). Let b = 1.6 - -0.4. Let d = 4 - b. Sort h, d, 5.
h, d, 5
Suppose -3*w + 8 = w. Suppose -w*n - 6 = -4*n. Let q = 35 - 34. Sort q, -5, n in descending order.
n, q, -5
Let m = -1.4 + 3.5. Let h = m + -2. Put 1, h, -3 in descending order.
1, h, -3
Let c = 0.42 - -0.08. Sort 5, c, 1 in ascending order.
c, 1, 5
Suppose -x = -2*x + 3. Let w(o) = o**3 - 4*o**2 + 4*o - 4. Let t be w(x). Let y(z) = -z**2 + 2*z - 2. Let f be y(3). Sort t, f, 2 in descending order.
2, t, f
Let f(k) = k**2 - 16*k + 4. Let x be f(16). Put 0, x, 3 in ascending order.
0, 3, x
Suppose 0*y + y = 3. Let a be (1 - -2)/(3 + -4). Let t = -3 - a. Put -5, t, y in ascending order.
-5, t, y
Suppose 3 = 3*y - 4*y + p, 0 = 2*y - p + 1. Sort 3, 7, y in ascending order.
y, 3, 7
Let a be 1/(-2*2/4). Suppose -4*g = g + 20. Put 5, g, a in decreasing order.
5, a, g
Let n(g) = g**2 - 3*g - 7. Let z be n(5). Let b be (-4 - -6)/(1 + 1). Sort z, b, -5.
-5, b, z
Let k be (-48)/988 + (-6)/(-39). Sort -1, k, 14 in decreasing order.
14, k, -1
Let v be (-3 - (-4 - -2)) + 1. Let d = 3 - 1. Suppose -s = -2*s - 2*i + 3, -i + d = s. Put v, -2, s in descending order.
s, v, -2
Let f = -2926/27 - -109. Let o = -1/27 - f. Sort o, -1, -5 in decreasing order.
o, -1, -5
Let o be 0 + 0 - (4 + -4). Let w be -3 - o - 14/(-5). Let m(x) = x + 6. Let j be m(-9). Put w, j, 1/4 in ascending order.
j, w, 1/4
Suppose 7 = 3*r + w, -4*r + r = -3*w - 15. Let k(x) = x**3 + x**2 - x - 2. Let f be k(0). Let i be ((-2)/f)/(1/(-3)). Sort i, r, 5 in increasing order.
i, r, 5
Let w = 9 - 14. Let u = -0.19 + -3.81. Suppose 0*i - 5*i = 0. Put w, u, i in decreasing order.
i, u, w
Let f = 0.049 - -0.251. Sort f, -1/3, -4, 0.4 in increasing order.
-4, -1/3, f, 0.4
Let t = 1.4 - 1. Let w(d) = -d**2 + 2*d**2 - 1 + 0*d**2. Let p be w(1). Put p, t, 3/2 in descending order.
3/2, t, p
Let s = 0.22 + 0.08. Let g = -9 - -9.2. Put -2, s, g in increasing order.
-2, g, s
Suppose 3 = -2*s + 9. Suppose -s*n + n = 5*i + 31, 5*n + 3*i = -30. Let a be (2 - 4) + (8 - 3). Put n, a, -1 in decreasing order.
a, -1, n
Let w = -1 + 0.1. Let d = w - -4.9. Sort 0, -3/7, d.
-3/7, 0, d
Let s = 3.99 - -0.01. Sort -0.1, 0.4, s.
-0.1, 0.4, s
Let h = 11 + -14. Let l be (-3)/2 - (-4)/(-8). Put h, -5, l in descending order.
l, h, -5
Suppose 1 = -2*a + 3*a. Let s be 8 + -5 + 4/2. Sort 4, a, s in ascending order.
a, 4, s
Let p = 107/10 - 21/2. Sort p, 2/11, 0 in decreasing order.
p, 2/11, 0
Suppose 3*r + 18 = 6*r. Sort 5, 0, r in descending order.
r, 5, 0
Suppose 0 = -3*a + 5*j + 2, -5*a - 3*j = 7 + 1. Let b be a + (-2)/((-2)/(-3)). Let m be (-141)/235*(-5)/3. Put b, 4, m in ascending order.
b, m, 4
Let b be (-1 + (1 - 4))/(-2). Suppose 2*a - b*x = -2*a - 26, 2*x = -5*a - 10. Suppose 6 = -t + 2*d, -d = -3*d + 10. Put t, -1, a in increasing order.
a, -1, t
Let n(i) = i**3 - 5*i**2 + i - 2. Let f be n(5). Suppose -3*z + 3*l = z + 1, f = z - 4*l. Let h = 3 + -3. Put z, h, -5 in ascending order.
-5, z, h
Let d = -2758/13 + 212. Put -5, -0.2, 15, d in ascending order.
-5, -0.2, d, 15
Suppose -4*n - 5 = -1. Let a = 11 + -15. Sort a, 0, n in decreasing order.
0, n, a
Suppose -13*t + 7*t + 12 = 0. Put t, 0, -10 in descending order.
t, 0, -10
Suppose 1 = l + 4. Suppose -3*u - u - 13 = -3*b, 3*u + 16 = -4*b. Let q = u + 8. Sort l, q, -1 in decreasing order.
q, -1, l
Let v = 3 - 8. Put v, 1, -1/3 in increasing order.
v, -1/3, 1
Let u = -199 + 1762/9. Let d = -221/63 - u. Sort -0.4, 1, d in descending order.
1, d, -0.4
Let a be 6/18 - (-8)/(-6). Let y = 0.2 - 0.2. Sort a, y, -5.
-5, a, y
Suppose -q - 3*k + 5 = q, 0 = 4*k + 4. Put q, 0.3, 0 in decreasing order.
q, 0.3, 0
Let t = 1.4 - 1.37. Let v = t - -1.97. Sort 5/3, 5, v.
5/3, v, 5
Let z = 62 - 59. Put -6, z, 0.4, 4/5 in descending order.
z, 4/5, 0.4, -6
Let b be (7 + -6)/(1/(-1)). Sort 7, 2, b, 0.
b, 0, 2, 7
Let q be 3*(-3)/(-9)*-3. Sort 5, -1, q in increasing order.
q, -1, 5
Let o = 63 - 39. Suppose 0 = 3*v + 3*i - o, 3*i = 3*v - 3 - 3. Sort v, -1, 0.
-1, 0, v
Suppose 25 = -6*c + 1. Let u(t) = t**3 + 3*t**2 - 4*t - 2. Let j(s) = -s**2 - s + 2. Let v be j(-3). Let r be u(v). Sort 0, c, r in decreasing order.
0, r, c
Let v(p) = 2*p**2 - 43*p + 24. Let i be v(21). Sort -5, 1, 4, i.
-5, 1, i, 4
Suppose -20 + 5 = -3*f. Suppose -3*l + 22 = 5*x, -3*l = -2*x + l - 12. Suppose 4*v + v - 26