4*c - 4. Let a be v(5). Sort -4, a, p in increasing order.
-4, a, p
Let q be 6*(4/(-3) + 1). Let r = -8 - -7. Sort q, r, -3 in descending order.
r, q, -3
Let r = 0.37 - 0.07. Let y = 1.6 + -3.9. Let j = y + r. Put 4, j, -2/3 in decreasing order.
4, -2/3, j
Suppose -x + 5*x + 4*c - 16 = 0, 0 = x + 2*c - 3. Suppose x*i = 3*m - 60, -m - m + 45 = -5*i. Suppose 2*f + 3*f + m = 0. Put -5, f, 5 in decreasing order.
5, f, -5
Suppose r - 27 = 4. Suppose -4*m + 0*w + 5*w = -r, 0 = -3*m + 3*w + 21. Let n = 9 + -14. Sort m, n, 5 in descending order.
5, m, n
Let t = -0.01 + 0.11. Let s = t + 0.1. Let n = 2/21 + -76/357. Put s, n, 0.5 in ascending order.
n, s, 0.5
Suppose 4*o - 25 = -o. Put -5, o, 1, -0.3 in descending order.
o, 1, -0.3, -5
Suppose -2*g = -0*g - q - 117, g = q + 61. Let z be 2/7 - 16/g. Suppose 4*y - 3*j + 15 = z, j - 5 = 3*y - 0*y. Sort -4, y, -5 in increasing order.
-5, -4, y
Suppose 3*f = -0*r + 2*r + 13, 0 = 4*f - 2*r - 16. Let t be 1/((1/f)/1). Sort 0, 2, t.
0, 2, t
Suppose 5*x + 9 = -1. Let a = -1.23 - -1.3. Let f = 0.07 - a. Sort 2/7, x, f in descending order.
2/7, f, x
Suppose -7 = 2*b + 3. Sort 3, 1, b in ascending order.
b, 1, 3
Let u = -0.2 - -0.3. Let l(y) = -6*y + 1. Let g be l(0). Let z = 3.96 - -0.04. Sort u, z, g in descending order.
z, g, u
Suppose -5*u + 20 = -0*u. Let g be 6/(-4)*2/(-1). Suppose -2*n + g*p - 3 = 0, p = 5*n + 4*p - 3. Sort u, 5, n in decreasing order.
5, u, n
Let b(p) = -p + 8. Let h be b(10). Let x(o) = o**3 + 2*o**2 + o + 2. Let c be x(-2). Suppose -9*d - 10*d = -57. Put c, h, d in increasing order.
h, c, d
Let z = -4 - -6. Let u(v) = -v**3 - 13*v**2 - 12*v + 3. Let n be u(-12). Suppose -4*k + 34 = 5*b + 9, -13 = -n*b - 2*k. Sort b, z, -1 in ascending order.
-1, b, z
Let i = -85 - -85. Put -3, i, 1 in ascending order.
-3, i, 1
Let i be (-8)/68*15156/8. Let c = i + 223. Sort -6, -1/4, c in descending order.
c, -1/4, -6
Let j(x) = -x**3 + 14*x**2 + 15*x. Let c be j(15). Sort -1, -4, c in decreasing order.
c, -1, -4
Let c(z) = 4*z - 6. Let m(k) = -3*k + 5. Let n(u) = 4*c(u) + 5*m(u). Let q be n(2). Let t = 0 + 1. Put q, t, 2 in descending order.
q, 2, t
Let o = 1 - 5. Let v = o - -1. Let g be (-40)/18 + 36/18. Sort -0.4, g, v.
v, -0.4, g
Let j = -31 + 39. Sort -2, j, -3 in ascending order.
-3, -2, j
Let h be (-4*2/8)/(1/(-1)). Sort -2, h, 3, 0 in ascending order.
-2, 0, h, 3
Suppose 2*w = 7*w. Suppose w*l = l. Sort l, 2, -5 in decreasing order.
2, l, -5
Let k be (4 - (-3 + 1)) + (-1)/1. Put 3, 2, k in descending order.
k, 3, 2
Let d = 5.03 + -0.03. Let y = -3.4 - 0.6. Sort y, 3, d in increasing order.
y, 3, d
Let k be (-1)/3 + (-5)/(-15). Suppose 3*d + 4*c = 30, 5*d + 0*c - c - 73 = 0. Suppose -d = 3*s - 2. Sort s, 4, k.
s, k, 4
Let a = -22 - -23. Suppose -3*h + 7 = -f - 5*h, -5 = 3*f - 2*h. Sort f, a, 0 in descending order.
a, 0, f
Let l be ((-2)/(-4))/(2/20). Let a(q) = -q - 17. Let h(v) = 19*v**3 + 1. Let m be h(-1). Let k be a(m). Sort -1, l, k in descending order.
l, k, -1
Let g be (-7)/(1*3/6). Sort 4, -4, g.
g, -4, 4
Let x = -23 - -14. Let f = x + 5. Let z be (-4)/(-6) - 4/(-12). Sort 3, z, f in decreasing order.
3, z, f
Let a = 4 - 4.4. Let b = -1.038 + 0.038. Put 2/17, a, b in decreasing order.
2/17, a, b
Let y = 8.18 - 0.18. Let w = -38 + 30.4. Let z = w + y. Sort z, -4, 2 in decreasing order.
2, z, -4
Let f(m) be the first derivative of 21*m**2/2 - m + 2. Let k be f(1). Suppose -6*l + l = -k. Sort 3, 5, l in decreasing order.
5, l, 3
Let t(n) = -n + 25. Let a be t(0). Let f be 2/(-9) - a/9. Let y be (7/(-3) - -1)*-3. Sort f, y, -4 in descending order.
y, f, -4
Suppose -4*f + l = 8, 4*f = 3*l - 5 - 11. Sort 2, f, 0 in decreasing order.
2, 0, f
Let i be 2 - (3 + 15/(-5)). Sort -3, 4, i, 5.
-3, i, 4, 5
Let q(p) = -p**3 - p**2 - 3*p - 3. Let j be q(-2). Let m = 3 - j. Sort 5, m, -5 in ascending order.
-5, m, 5
Suppose 128*s = 131*s + 6. Sort s, -1, -10, -3.
-10, -3, s, -1
Let j = 46 + -59. Put -0.5, 1, j in ascending order.
j, -0.5, 1
Let j be 148/(-112) + 6/8. Sort j, -3/8, 0 in ascending order.
j, -3/8, 0
Suppose 3*v + 2*i + 14 = -2*v, 0 = 3*i - 9. Suppose 0 = b + 3. Sort -1, v, b in decreasing order.
-1, b, v
Let h = -3 - -6. Let u = 0 + h. Let s be ((-9)/u)/3*3. Sort 0.5, 3, s in ascending order.
s, 0.5, 3
Let g = 3.2 + -3. Let k = 160 + -160.3. Sort g, k, -1/4.
k, -1/4, g
Let i be ((-14)/(-49))/(12/7). Put i, -5, 2, -7/6 in descending order.
2, i, -7/6, -5
Let x be 1/2*2*0. Let m = 123/5 - 25. Sort -2, m, x in ascending order.
-2, m, x
Let t(h) = 6*h - 19. Let k be t(4). Sort 4, -28, 3, k.
-28, 3, 4, k
Let y = -291/5 + 58. Sort y, -2, 5, 2.
-2, y, 2, 5
Suppose -2 = 2*j, 2*u - j = 5*u - 14. Sort -3, 1, u in decreasing order.
u, 1, -3
Let b = 2 - -2. Let k = 6 - b. Sort -5, k, 1 in descending order.
k, 1, -5
Let s = -5 + 7. Let r = -2.4 + s. Let c be (-18)/51*(-3)/9. Sort 0.2, c, r in increasing order.
r, c, 0.2
Let k = 0.4 + 1.6. Let n = -78.1 - -78. Sort k, -2, n in ascending order.
-2, n, k
Suppose 8*g = 5*g - 114. Let b be -2 + -2*g/32. Let n = -0.7 + -0.3. Put n, b, -2 in ascending order.
-2, n, b
Let w = -0.6 - -1. Let z be 6/60*(-5)/(-3). Put z, w, -0.1 in descending order.
w, z, -0.1
Let n = -287944 - -2588810/9. Let v = n - -298. Let r = -6.4 - -6. Put v, 1/2, r in increasing order.
v, r, 1/2
Let q = 78 + -54. Let i = q + -27.1. Let k = i + 0.1. Sort 1/4, k, -0.4.
k, -0.4, 1/4
Let v(b) = -b - 3. Suppose 2*s + 6 = 4*n, -19 = 2*s + 2*s - n. Let o be v(s). Sort -2, o, -3 in decreasing order.
o, -2, -3
Let k(x) = x + 1. Let p be k(-1). Suppose 2*m + 8 = 3*i + 2*i, -4*m + 2 = -i. Sort 3, p, m in increasing order.
p, m, 3
Suppose 2*r + u - 11 = 0, 2*r - 4*u - 1 + 5 = 0. Let i be (-1)/(-4) - 38/(-8). Put -3, r, i in decreasing order.
i, r, -3
Let u = 4.2 - 0.2. Let g(i) = i + 7. Let o be g(-7). Suppose -5*k + o*k = -3*b + 5, -2*b + 6 = -2*k. Put u, 3, k in increasing order.
k, 3, u
Let v be ((-36)/(-48))/(3/(-2)). Let x = 3.1 - 0.1. Sort x, v, -3 in descending order.
x, v, -3
Let d be 1/(1/8*-2). Let b be (-2 + 1)/((-17)/(-2)). Sort 2, d, b in descending order.
2, b, d
Let q be 7/2 + (-2)/(-4). Let z(v) = -v - 19. Let t be z(-9). Let w = -8 - t. Put -1/6, q, w in increasing order.
-1/6, w, q
Let x = 64 - 65. Sort x, -2, -13.
-13, -2, x
Let h(n) be the first derivative of 3*n**2 - n - 1. Let z be h(1). Sort 0, z, -1 in increasing order.
-1, 0, z
Let o be (11 + -6)*(-1)/(-5). Put -0.2, o, -3 in decreasing order.
o, -0.2, -3
Let q = 4.2 + -4. Let g = -0.7 + -4.3. Sort g, 2/3, q in increasing order.
g, q, 2/3
Let c be -1*(1 - -1 - 4). Sort c, -5, -2 in increasing order.
-5, -2, c
Let g = -12 + 7. Let b = 0 + g. Sort 4, b, 0.5.
b, 0.5, 4
Let z(s) = -s**2 - 6*s + 1. Let d be z(-5). Suppose -3*h - 3 = d. Let w = h - -8. Put 3, w, -3 in descending order.
w, 3, -3
Suppose k + 2 - 7 = 0. Suppose -m + 1 - 10 = 5*p, 5*p - k*m = -15. Put 3, p, -3 in ascending order.
-3, p, 3
Let n(o) = -o**2 - 12*o - 11. Let z be n(-11). Let r(h) = h**2 + 4*h - 8. Let f be r(-6). Sort z, f, -3 in descending order.
f, z, -3
Let m(w) = -w**3 - 6*w**2 - 3*w - 15. Let i be m(-6). Put 4, i, 1 in ascending order.
1, i, 4
Let v = -45.5 + 45. Put v, 16, 5 in decreasing order.
16, 5, v
Let f be (2 - -1)/(6/(-4)). Let s be (1/f)/(-2 - -1). Let t = -0.55 + 5.55. Put s, -3/5, t in increasing order.
-3/5, s, t
Let o(h) = h**3 - 3*h**2 - 5*h. Let w be o(4). Suppose -28 + 3 = -5*k. Suppose -4 = -k*u + 9*u. Sort 0, u, w in decreasing order.
0, u, w
Suppose -5*k - 3*k + 16 = 0. Sort -5, k, 3, -2.
-5, -2, k, 3
Let f = 124 - 128. Put f, -1/3, 3, 2/13 in ascending order.
f, -1/3, 2/13, 3
Let u(z) = z**2 + 5*z + 4. Let t be u(-4). Let p = 1.9 - 2. Let h = p + -3.9. Sort -0.1, t, h in decreasing order.
t, -0.1, h
Let p be (21/210)/((-14)/5)*6. Put -1, 0.4, p in ascending order.
-1, p, 0.4
Let s be 2 + -16*(-3)/(-21). Let j = -15 - -15.6. Put s, 0.5, j in increasing order.
s, 0.5, j
Let g be 6 + (-1 - (-1)/1). Let y = g - 6. Sort y, -2, -3 in increasing order.
-3, -2, y
Let x = 6 - 9. Let u be x*6/45*10. Sort 4, -2, u in descending order.
4, -2, u
Let k = 20869556/7 + -3002249. Let r = k + 20819. Let m = r + 64. Sort 4/9, m, -2/3.
m, -2/3, 4/9
Suppose 3*f - 10 = f. Suppose -2*i = -3*x + 18, -4*x - 2*i + 5 = -f. Let q be (1/((-2)/(-1)))/x. Sor