 v = 0.1 - 0.2. Put u, 5, v in ascending order.
v, u, 5
Suppose 3*c - 5*c - 10 = 0. Sort c, 0, -3, -1 in decreasing order.
0, -1, -3, c
Let p = 12 - 19. Let y = 4 - p. Let d = y - 16. Sort d, -2, -0.2 in increasing order.
d, -2, -0.2
Suppose 12 = -4*d, -4*l = d - 0*d + 7. Sort 3/5, l, -0.1 in decreasing order.
3/5, -0.1, l
Let s(j) = -j + 5. Let r be s(8). Sort r, -5, 3.
-5, r, 3
Let p = -0.47 + 0.27. Sort p, 0.4, -0.1, 5 in increasing order.
p, -0.1, 0.4, 5
Suppose 4 = -5*z - 6. Let u be (1/z)/(1/(-2)). Put u, -4, -2/11 in decreasing order.
u, -2/11, -4
Let r be 38/3*(-9)/(-6). Let k = -15 + r. Put k, -3, -2 in increasing order.
-3, -2, k
Let h = -178/1295 + -1/185. Sort 3, h, -0.4 in increasing order.
-0.4, h, 3
Let n = -54.1 + 51. Let b = 0.1 + n. Sort b, -4, -0.1 in decreasing order.
-0.1, b, -4
Let y(d) = 3*d + 3. Suppose -t - 6 = 2*l + 6, -3*t = 3*l + 21. Let v = t - 0. Let s be y(v). Sort 5, s, -2 in increasing order.
s, -2, 5
Let p(i) = i**3 - 5*i**2 - 8*i + 9. Let k be p(6). Let j = k + 2. Put 5, 4/5, j in ascending order.
j, 4/5, 5
Suppose -3*b - 2 + 7 = z, 13 = -5*z + 4*b. Suppose 4*g + 3*s + 4 = 0, -4*s - 10 = -g + 4*g. Suppose -3*t + 6 = g*d, 5*d + 4*t - 3*t = 15. Sort z, -3, d.
-3, z, d
Let h = 10 + -7. Let y = -7 + 3. Sort y, h, 1 in descending order.
h, 1, y
Let r = 12 - 8. Sort -3, r, 1/7.
-3, 1/7, r
Let z = 494/815 - 1/163. Let r = -83 - -247/3. Put r, 1/2, z in increasing order.
r, 1/2, z
Let o be (-2)/((7 - 5)*1). Let f be 1/(-2) + 13/2. Sort f, o, 5 in ascending order.
o, 5, f
Let g = 0.9 - -0.1. Let i = 2 - g. Let r be (-9)/12*24/(-153). Sort r, i, -3/4 in descending order.
i, r, -3/4
Let l be (-22)/(-8)*(4 - 0). Let h(r) = -r**3 - 3*r**2 + r - 1. Let s be h(-2). Let b = l + s. Sort 2, 0, b in increasing order.
0, 2, b
Suppose -5*p - 2 + 27 = 0. Suppose p*i - 9 = 2*i. Put 5, -3, i in ascending order.
-3, i, 5
Suppose 0 = -13*n + 6*n + 28. Let b = 2 - 1. Sort n, -3, b in descending order.
n, b, -3
Let d(t) = -t**3 - 3*t**2 + 4*t + 2. Let m be d(-4). Put m, 5, -3 in descending order.
5, m, -3
Let w = -0.096 - 0.004. Sort w, 0, -1/5.
-1/5, w, 0
Suppose 5*g = 3*z - 0 - 11, z - g - 3 = 0. Suppose 3*c + z*o - 7 = 10, 0 = 2*c - 2*o - 8. Sort 3/7, c, 0.2 in decreasing order.
c, 3/7, 0.2
Let l = 65/54 - -8/27. Let w = -9 - -13. Suppose w*g = 3*i + 2*i + 27, 5*i + 3*g = -6. Sort -2, l, i in descending order.
l, -2, i
Let z = 20 + -24. Let q be -1 + (0 - -1) + 1. Suppose -i + 3*o = -8, -5*o + 9 + 1 = 3*i. Put i, z, q in descending order.
i, q, z
Let y = 13 + -11. Suppose y*j = 5*j - 6. Sort -4, j, -3 in decreasing order.
j, -3, -4
Let u(a) = a + 1. Let r be u(3). Let m(g) = g**3 - 4*g**2 - 4*g - 6. Let o be m(5). Sort r, o, 3 in ascending order.
o, 3, r
Let h = -1 + 3. Let b(g) = -9*g**3 + g. Let q be b(1). Let l = q - -5. Put l, h, -2 in increasing order.
l, -2, h
Let p be 14/(-77) - (-6)/33. Let z = -1 - -2. Put -11, z, p in descending order.
z, p, -11
Let l(y) = -y**2 - 8*y. Let k be l(-7). Sort -4, k, -3, 4.
-4, -3, 4, k
Let l = -263.9 + 289. Let v = 21 - l. Let u = -4 - v. Sort -1, u, -2/7 in increasing order.
-1, -2/7, u
Suppose -4*w = -14 + 34. Put w, 4, -4 in increasing order.
w, -4, 4
Suppose 5*r - 5*v + 4 = -1, -4*r + 2*v - 4 = 0. Let n = 7 - 12. Put n, r, 3 in decreasing order.
3, r, n
Let u = -80 - -77. Sort 27, 2, u in increasing order.
u, 2, 27
Let k(r) = -2*r - 9. Let h be k(-6). Let z be 116/36 - 2/9. Let c(x) = -x**3 + 3*x**2 - 2*x + 1. Let j be c(z). Sort h, -3, j in ascending order.
j, -3, h
Let t be (1/(-1))/((-8)/40). Sort t, 0.07, 2/5 in descending order.
t, 2/5, 0.07
Let m = -150 + 597/4. Put 3, m, 5 in descending order.
5, 3, m
Let i = -13/11 + 76/55. Let x be (-4)/18 + (-68)/18. Put x, 4, i in descending order.
4, i, x
Let z = 0.403 - 0.003. Sort 1/7, 1, z.
1/7, z, 1
Let a = 1 - -1. Let y(s) = -3*s + 24. Let h(g) = -g + 8. Let n(w) = a*y(w) - 7*h(w). Let u be n(9). Put 3, 2, u in increasing order.
u, 2, 3
Let z = -19 + 19.3. Sort 3, z, 4 in descending order.
4, 3, z
Let q(h) = -h**3 - 11*h**2 - 11*h - 4. Let l be q(-10). Suppose -l*x + 6 = -4*x. Let d = -0.6 - -0.2. Sort -3, d, x in ascending order.
-3, d, x
Let h = 10 - 14. Sort -0.2, 4, h in increasing order.
h, -0.2, 4
Let t be (-1 - 0) + (-73)/(-71). Let w = 128/497 + t. Let r = -1 - -0.5. Put r, 1/2, w in ascending order.
r, w, 1/2
Let z = -4 + 2. Let b be (1/(-3))/(4/(-36)). Put b, -3, z in descending order.
b, z, -3
Let o = 78 - 82. Put 0, 2, 14, o in descending order.
14, 2, 0, o
Let l = -2 - -3. Let i = 559 - 3916/7. Sort -3, i, l in increasing order.
-3, i, l
Suppose 0 = 5*w - 3*w - 4. Sort 5, 0, w in ascending order.
0, w, 5
Let m = 410 + -406.97. Let t = -15.03 + 15. Let l = t + m. Sort -0.2, -3/5, l in ascending order.
-3/5, -0.2, l
Let f(d) = -d**2 - 2*d + 5. Let r be f(-4). Let y be (1/4)/(-7 - (-63)/8). Sort r, 4, y in descending order.
4, y, r
Let v(u) = -u**3 - 11*u**2 - 2*u - 11. Let d be v(-11). Let m = -7 + d. Let q be ((-4)/(-10))/(m/(-25)). Put 0.2, q, 0 in increasing order.
q, 0, 0.2
Let g = 5 - 4. Sort 0.2, g, -5/6 in increasing order.
-5/6, 0.2, g
Let n = 2/71 - -61/355. Sort -2/9, 1/6, -3, n in increasing order.
-3, -2/9, 1/6, n
Let y = -0.4 + -8.6. Let b = 6 + y. Let l = 1/6 - -1/6. Sort -0.1, b, l.
b, -0.1, l
Let n(g) = 2*g**2 + g. Let p be n(1). Let c(a) = -a**2 + 3*a + 4. Let s be c(p). Suppose -4 + 6 = -2*x, 4*b - 4*x = 16. Sort s, b, 0 in decreasing order.
s, b, 0
Suppose 24 = q + 22. Sort q, 0, -1, -9 in descending order.
q, 0, -1, -9
Let j be (-1*(-11)/(-2) + 3)*2. Sort -2/5, -4, j.
j, -4, -2/5
Let v = -136/5 + 1214/45. Suppose 5*l = 4*i - 1116, i - 648 - 247 = 4*l. Let r = -5154/23 - l. Sort r, -0.5, v in decreasing order.
r, v, -0.5
Let k be 188/(-12) + (-2)/6. Sort 0, 3, k, -2.
k, -2, 0, 3
Let z = -51 - -49. Put z, 3, 0 in descending order.
3, 0, z
Suppose 5*v + 9 = 49. Suppose 2*h = -v - 2. Let u(c) = c**2 - 1. Let m be u(2). Sort h, 5, m in increasing order.
h, m, 5
Let g = 998 - 1995/2. Let z = -20.46 + 20. Let m = z + 0.06. Sort g, m, -0.2 in ascending order.
m, -0.2, g
Let i = -0.2 - 4.8. Let s = -5 + 9/2. Sort s, i, 0.2 in increasing order.
i, s, 0.2
Let n be (-3)/(6/2) - 1. Sort n, 2/3, -0.5 in decreasing order.
2/3, -0.5, n
Let a = -115/4 - -29. Sort 2, 0.3, a in descending order.
2, 0.3, a
Let k(j) = -2*j**3 + 2*j**2 + j + 1. Let i be k(2). Put 4, i, 3 in decreasing order.
4, 3, i
Let x = 2 + -7. Put -13, 0.1, x, 1 in descending order.
1, 0.1, x, -13
Suppose -2*v - 12 + 14 = 0. Sort -13, v, 5 in decreasing order.
5, v, -13
Let w be (-2)/7 - 28/(-98). Suppose -5*u + 3 = 4*t - t, 0 = 3*t - 3*u - 3. Put t, 5, w in increasing order.
w, t, 5
Let o(d) = d**3 + 4*d**2 - d - 2. Let x be o(-4). Let y be x/(-1)*(1 - 3). Sort -3, y, -4.
-4, -3, y
Let c be 5/1 - (-11 + 11). Suppose 35 = -5*s - c*m, 0 = 5*s - 0*m - 2*m + 14. Sort s, 0, 3 in ascending order.
s, 0, 3
Let f(v) = -v**2 + 6*v - 5. Let t be f(4). Let s = 0 + t. Suppose -5 = -4*k + 4*c - 1, -s*k - 3*c = 27. Sort k, 5, -5 in descending order.
5, k, -5
Let g be (-10)/(-3)*6/(-5). Let z be (1 - 2)*g/(-1). Let v = 5 + z. Put 5, -3, v in descending order.
5, v, -3
Let y be (6 + -2)*(-6 + 5). Sort -24, y, 0 in decreasing order.
0, y, -24
Suppose -3*a + 6 = -3. Let f(u) = -u**3 + 3*u**2 + 1. Let y be f(a). Suppose 0 = 2*m + y - 7. Sort -1, 2, m.
-1, 2, m
Let w = -61 - -79. Put -2/7, 2/7, w in increasing order.
-2/7, 2/7, w
Let r = -0.51 - -0.01. Sort 8/5, r, -5 in decreasing order.
8/5, r, -5
Let x be -1 - (2 - 2)/(-4). Let m(i) = -2*i - 1. Let h be m(-1). Put -4, x, h in decreasing order.
h, x, -4
Let y be 2/5 + 16/10. Suppose -3*l = 0, -4*c = 4*l + l. Put y, c, 5 in descending order.
5, y, c
Let s = 56 - 57. Sort 25, 2, s in decreasing order.
25, 2, s
Let m(n) be the third derivative of n**6/20 + n**5/30 + n**4/24 - n**2. Let k be m(-1). Let p be 1/(-4) - 7/4. Put 1, p, k in descending order.
1, p, k
Let s be 204/272 - 1/(-4). Let y(h) = h**2 - 1. Let a(x) = x**3 - 6*x**2 + 8. Let r(t) = -a(t) - 6*y(t). Let j be r(0). Sort -4, s, j in increasing order.
-4, j, s
Let z = 2.6 + -3.6. Sort 0.6, 0.5, z in ascending order.
z, 0.5, 0.6
Suppose 5 = -2*d + 11. Sort d, 0, -5 in descending order.
d, 0, -5
Suppose -4 = 2*p + 2, 5*c - 22 = 4*p. Sort c, -2, -8.
-8, -2, c
Suppose