 3, -5, j in decreasing order.
3, j, -5
Let n(l) be the second derivative of l**4/12 + l**3/2 + 5*l**2/2 - 4*l. Let y be n(-5). Suppose 6*v = 3*v + y. Sort v, 4, 2 in increasing order.
2, 4, v
Suppose -3*w = -4*u + 5 + 3, 5*w = 20. Suppose -4*a + u = a. Suppose 2*y - 6 = 0, -3*y = 5*q + 10 + 6. Sort q, a, 2 in ascending order.
q, a, 2
Let v(b) = 4*b - 1. Let i(a) = a**2 + 4*a - 8. Let j be i(-6). Let s be v(j). Suppose -w = -3*h - 11, -3*w - h + s = -4*h. Put w, -5, 5 in descending order.
5, w, -5
Suppose -4*l + 6 = -14. Suppose 0*i - i = l. Put -2, i, 5 in descending order.
5, -2, i
Suppose -5*o - 30 = -0*o. Let v(p) = 3*p**2 - 3 - 2*p - 4*p - 4*p**2. Let j be v(o). Put 2, -4, j in ascending order.
-4, j, 2
Let u = 0 - -3. Suppose -5*y = -5*l, 2 = y + 6. Sort l, 4, u.
l, u, 4
Let b(l) = l**3 + 6*l**2 + 7*l + 8. Let k be b(-5). Put k, 4, 1 in descending order.
4, 1, k
Let m = 14 - 15.7. Let s = -0.3 + m. Put s, -3, -0.1 in descending order.
-0.1, s, -3
Let x = -18 - -22. Sort 0.5, x, 2/15.
2/15, 0.5, x
Let v be 9/(-12)*1 + 44/16. Put v, -2/3, 0, 1 in decreasing order.
v, 1, 0, -2/3
Let z be (1 - 1/2)/((-29)/58). Sort z, 5, 4, 1 in decreasing order.
5, 4, 1, z
Let i(s) = s**3 + 8*s**2 - 10*s - 10. Let r be i(-9). Sort -2, 1, r.
-2, r, 1
Let h = 70 + -126. Let w be 3/12 - (-22)/h. Let u = -0.17 + 0.07. Put w, -4, u in decreasing order.
u, w, -4
Let p = -119/2 - -58. Let m = 0.17 + 1.83. Put p, -0.5, m in descending order.
m, -0.5, p
Let x be (1 - (-2)/(-6)*3)/(-3). Sort -4, 2, x, 3 in decreasing order.
3, 2, x, -4
Suppose 0 = 4*z + d - 12, -3*z + 16 - 2 = 2*d. Suppose 0 = -z*s - 2*s + 300. Let j be -5*5/(s/6). Sort -3, j, 0 in descending order.
0, j, -3
Let o = -4 - -4. Suppose -m + 2*m + 3 = o. Sort 2, m, 0.
m, 0, 2
Suppose -6 - 9 = -3*y. Suppose -3*v + 2 = -2*v - d, -5*d = -y. Sort -4, v, 4 in decreasing order.
4, v, -4
Suppose p + 4 = 2*p. Let f be 1*1*-2*1. Suppose 4*i = -i + 5. Sort f, p, i in decreasing order.
p, i, f
Let g be (3/9*0)/(-3). Let k = -4 + 8. Put -3, k, g in decreasing order.
k, g, -3
Suppose 3 + 2 = z. Suppose -5*m + 0*m + 10 = 0. Sort -3, m, z.
-3, m, z
Suppose -12*u + 6*u = 6. Sort 19, 2, u in descending order.
19, 2, u
Let o = -30 - -31.3. Let y = -3.7 - o. Put 3, y, -3 in descending order.
3, -3, y
Suppose 0*y + 2*y - 2 = 0. Let i = -1 + y. Sort -3, i, 5 in decreasing order.
5, i, -3
Let g = 0.3 - -3.1. Let b = -0.4 + g. Let o = -4 + 2. Sort 0.4, o, b in decreasing order.
b, 0.4, o
Suppose 3*j - 225 = -2*j. Let b be 3/(j/(-6)) - 0. Let h = 1.4 - 0.9. Sort b, -0.3, h.
b, -0.3, h
Let u(a) = a**3 - a + 2. Let h be u(0). Sort -5, 5, h.
-5, h, 5
Suppose -4 - 6 = -5*r + 5*g, -5*r - 14 = g. Sort -5, r, -4 in decreasing order.
r, -4, -5
Suppose -4*u - 19 = -o, -3*u = 2*o - 13 + 19. Let t be (1/2)/(2/12). Let w = t + -5. Sort u, 2, w in descending order.
2, w, u
Let q(i) = i**2 - 4*i + 2. Suppose -r = -4 + 1. Let x be q(r). Let w = -7 - -4. Put x, -3/4, w in decreasing order.
-3/4, x, w
Let b be 2/(-30) - 14/(-35). Put 1, -0.07, b in decreasing order.
1, b, -0.07
Let c be 8/60*-3 + (-33)/5. Put c, 4, 1 in decreasing order.
4, 1, c
Let l be 6/(-2) - (-1 - -1). Let q be (-3)/l + -1 + 3. Suppose 2*d = q*d. Sort d, 5, -3 in decreasing order.
5, d, -3
Let j = 0.05 - -1.05. Let s = 5.1 - j. Sort 5, s, -3/5 in decreasing order.
5, s, -3/5
Suppose y + 9 = -2*c, -3*c + y + 2 = 3. Sort -2/9, -3, c in decreasing order.
-2/9, c, -3
Let p = 4.82 + 0.18. Sort 4, p, -3.
-3, 4, p
Let a(n) = -n - n**2 - 1 - 3 + 5*n. Let o be a(3). Let t be (1 - 2)/(o/(-5)). Sort -1, -4, t in descending order.
-1, -4, t
Let w be 12/(-9)*3/26. Let c be 1/2 + 2/(-3). Put w, c, -2/11 in descending order.
w, c, -2/11
Suppose -9 = -t - 2*h, -2*h - 6 = -7*t + 3*t. Put -96, 1, t in decreasing order.
t, 1, -96
Let b = -30 + 34. Sort b, 2/25, 0.2 in increasing order.
2/25, 0.2, b
Suppose -4*f - 4 = -j + 1, 0 = -3*f. Suppose -5*w = 7 + 3. Suppose -h = 5 - 0. Sort h, j, w in descending order.
j, w, h
Let r(o) = o**2 + 9*o + 9. Let b = -15 - -8. Let w be r(b). Put -3, 0, w in ascending order.
w, -3, 0
Let n be (-2 + 1)/((-3)/9). Suppose 0 = 8*a - 4 - 12. Sort a, n, 1 in descending order.
n, a, 1
Suppose 10 = 4*v + 3*g, 5*v - g - 4*g = -5. Sort -5, v, -4 in decreasing order.
v, -4, -5
Suppose -2*s + 3*s + 2 = 0. Suppose 0 = 3*p + 1 - 31. Suppose c - 3*c = p. Put s, c, -4 in descending order.
s, -4, c
Let l be 8/12*(-1)/(-2). Let x = -0.1 + 0.3. Put l, 1, x in increasing order.
x, l, 1
Let i be (-23)/(-5) - 12/20. Put i, 5, -1 in ascending order.
-1, i, 5
Suppose w - 1 + 12 = p, -p = 4*w - 6. Suppose -m + 6*m = p. Put -2/3, m, -0.2 in ascending order.
-2/3, -0.2, m
Let k = -14 + 9. Suppose 6 = -g - 2*a, 4*g + a - 3 = 1. Suppose g - 22 = -5*w. Put w, k, -3 in ascending order.
k, -3, w
Let j = 211/4 + -52. Put -4/5, 1/6, -0.2, j in ascending order.
-4/5, -0.2, 1/6, j
Let k = 21 + -20.9. Sort 4, k, -2 in increasing order.
-2, k, 4
Let d = 11 - 6. Suppose 2*l + 15 = -d*w + 7*l, -4*w - 5*l = -24. Sort w, 3, 2.
w, 2, 3
Let j(u) = -u**2 - 9*u + 4. Let v be j(-7). Suppose i + i = v. Let r be i/(-36) + (-13)/12. Put -1/2, 2, r in decreasing order.
2, -1/2, r
Let a(v) = v**2 + 8*v - 5. Let c(b) = -2*b. Let h be c(-2). Suppose h*k = -k - 40. Let t be a(k). Sort t, 2, 5.
t, 2, 5
Let u be 1/(-2) + 14/4. Suppose u*s + 3 = 4*s + 4*b, -b = 0. Sort -0.5, 0.4, s in increasing order.
-0.5, 0.4, s
Let l = -0.09 + 0.09. Let i = 3 - 10. Let r = i - -11. Put l, 5, r in descending order.
5, r, l
Suppose 0 = -2*d + d + 5*g - 2, -d = 4*g - 7. Let w be (-22)/(-4) - 2/(-4). Suppose 0 = j + 5*a + w, 4*j + 10 = 6*j - a. Sort -2, j, d in decreasing order.
j, d, -2
Suppose 4*b - 28 + 32 = 0. Sort 4, -37, -5, b.
-37, -5, b, 4
Let r = 5 - 10. Suppose 0 = -2*b + 7 - 29. Let h = b - -8. Sort r, h, 5 in ascending order.
r, h, 5
Suppose 0 = -4*s + 4*i + i - 137, -5*i + 109 = -3*s. Let v be (-38)/8 - (-7)/s. Sort v, 0, 5 in ascending order.
v, 0, 5
Let j = -1 + 2. Suppose -2*g = -0 - 8. Let d = -10 - -12. Sort g, d, j in increasing order.
j, d, g
Let u = -8.17 - -0.17. Let q = -4 - u. Sort -2/17, -0.2, q.
-0.2, -2/17, q
Let k = 8 + -4. Suppose t - k = -6. Put -5, t, 1 in ascending order.
-5, t, 1
Let r = 5.5 + -0.5. Sort -4, r, 1, 3/7.
-4, 3/7, 1, r
Let z = -8662/21735 + 143/621. Let g be (-2)/7 - (-64)/252. Let f = z + g. Put f, 4, 1 in ascending order.
f, 1, 4
Let q = -13 - -9. Sort q, -3, 6, 4 in ascending order.
q, -3, 4, 6
Let r = -118 + 475/4. Suppose -5*i + 2*q = -18, -4*q + 5 = 5*i - 19. Let y = -6.1 + 6. Sort r, y, i.
y, r, i
Let s = 234.01 - 233. Let u = s + -0.01. Let d be 2/(-6) + (-2)/(-3). Sort u, 3/2, d.
d, u, 3/2
Let y = 4 + -14. Sort 4, 1, y in decreasing order.
4, 1, y
Let f = 11.3 + -11. Sort -0.4, f, 2, -4.
-4, -0.4, f, 2
Let a = 274106 + -13979956/51. Let r be (32/18)/((-1)/6). Let z = r - a. Put -1, z, -0.5 in descending order.
z, -0.5, -1
Let k = -3 + 3.4. Sort k, 2, 2/13 in descending order.
2, k, 2/13
Let v = -1.97 - 0.03. Let c be 2/(-7) - 3/21. Put 0.1, v, c in decreasing order.
0.1, c, v
Let s be (1*-3 + 2)/3. Let m = -0.059 + -0.441. Put m, -2, s in ascending order.
-2, m, s
Let f = -0.088 + -4.912. Let z = 0.2 - 0. Sort f, -2/5, z in descending order.
z, -2/5, f
Let p = -47 + 45. Let g be 0 - -1 - (-3 - 1). Put p, 1, g in descending order.
g, 1, p
Suppose 4*p - p + 4*b = 73, -5*p + 2*b = -165. Suppose 5*o - p = -6. Suppose 5*w + 20 = o*r, w = r + 2*w - 6. Sort 3, r, -3 in decreasing order.
r, 3, -3
Let i(n) = n**2 - n + 8. Let v be i(0). Let k(j) = j**2 - 9*j + 3. Let u be k(v). Sort u, -2, -1 in ascending order.
u, -2, -1
Let x = 5.6 + -1.6. Sort 2, -6, x.
-6, 2, x
Let f = 4.08 + -0.08. Let k be (-18)/5 + (-12)/(-20). Put f, 2, k in descending order.
f, 2, k
Let z = -163/106 + 2/53. Let j = 0.4 - 0.3. Let u = 0.1 + j. Sort -2, z, u in ascending order.
-2, z, u
Suppose -x = z - 8, -4*z - 3 = -3*x - 0. Put -7, -2, 1, x in decreasing order.
x, 1, -2, -7
Let v = -7 + 10. Put 1, v, -2, -1 in decreasing order.
v, 1, -1, -2
Let o(i) be the second derivative of i**4/12 - i**2 - i. Suppose 2*r = r - 3*q, 2*r = -5*q. Let z be o(r). Put -4, z, 1 in decreasing order.
1, z, -4
Let q = -21 + 21.3. Sort 0, -4/3, q in decreasing order.
q, 0, -4/3
Let c(q) = -q**3 + q**2 + 3*q + 1. Let x be c(2). 