descending order.
n, 1, f
Suppose 0*m - m - 1 = 0. Let a = -421 - -430. Sort a, m, 1 in increasing order.
m, 1, a
Let j be 4*(-3 - 15/(-4)). Suppose -5*h = 3*z - 13, j*z + 3*h = 8*h - 37. Sort 5, z, 2.
z, 2, 5
Let d be -1*-5*((-16)/(-4))/(-4). Suppose 5*r + 3 = 2*r. Sort r, d, -3 in decreasing order.
r, -3, d
Let s = -4 - -5. Let j(w) be the second derivative of w**4/12 - w**3 + 5*w**2/2 - w. Let b be j(4). Sort -2, b, s in increasing order.
b, -2, s
Let k be (-3 - -8)*(-2 + 1). Sort 5, -2, k in descending order.
5, -2, k
Let w(c) = -c**2 + 3*c + 3. Suppose -i = 3*i - 12. Let m be w(i). Sort -1, m, 2 in decreasing order.
m, 2, -1
Suppose 4*x + 4 = -4. Let t = 1 + 3. Let q(d) = -d**3 + 3*d**2 + 3*d + 3. Let z be q(t). Put 3, z, x in increasing order.
x, z, 3
Suppose -3 = -5*l + 12. Let o be (-2)/(-6) - 7/(-6). Sort 2/3, l, o in descending order.
l, o, 2/3
Let y(o) = o**3 + 7*o**2 + 6*o - 5. Let z be y(-6). Sort -2, -4, z.
z, -4, -2
Suppose -2 - 4 = 5*v - x, v - 2 = -3*x. Let n be 18/(-4) + v/(-2). Sort 1, -2, n.
n, -2, 1
Let a be (2 + -1 - 1)/(-1). Suppose 5*u + a*u + 5 = 0. Let q be (u - 0/2) + 0. Sort -3, q, -4 in ascending order.
-4, -3, q
Let n = 3 - 1. Let l = -34 + 39. Sort -4, l, n in ascending order.
-4, n, l
Suppose 2*p - 3*q - 3 = 0, -1 = -3*p - 5*q + 13. Suppose o + p = 2. Put -2, -4, o in decreasing order.
o, -2, -4
Suppose 0 = -5*b + 143 - 123. Sort 7, b, 5, 2 in ascending order.
2, b, 5, 7
Let l be -7 + (6/24)/((-1)/(-12)). Let d = 13 - 8. Sort -2, l, d.
l, -2, d
Let j = -1 - 1. Let x(b) = -b**3 - 5*b**2 - 8*b - 3. Let g be x(-3). Let q(v) = v + 10. Let u be q(-6). Put j, u, g in decreasing order.
u, g, j
Let t(z) = -z + 4. Let a be t(5). Let f = 1 + a. Suppose 0*x + 2*x - 2 = f. Put -2, x, 5 in increasing order.
-2, x, 5
Let h(s) = -s - 10. Let u be h(-13). Suppose -1 = -4*x + u. Suppose 7 - 1 = -3*y. Put -1, y, x in increasing order.
y, -1, x
Suppose -h = -3*h + 4. Suppose h = -2*k - 2. Let s be (-4)/(-10) + (-44)/10. Sort -3, k, s.
s, -3, k
Let g = 17.07 - 17. Let d = g - 0.27. Sort d, 4, -4 in increasing order.
-4, d, 4
Let w(j) = j**2 - 5. Let a be w(0). Sort 0, 2, a in increasing order.
a, 0, 2
Let p be (-4)/(-18) - (-20)/(-9). Let k = -125 - -130. Put k, -5, p in decreasing order.
k, p, -5
Let k be (7 - (-66)/(-10))/((-1)/(-5)). Put 5, k, -9, -1 in increasing order.
-9, -1, k, 5
Let d be 112/21 + (-2)/6. Sort -2, d, -6 in increasing order.
-6, -2, d
Let b = -27.8 + 28. Put 4, 1, b in ascending order.
b, 1, 4
Let f = -30 - -25. Sort -1, f, 1/5, 2 in ascending order.
f, -1, 1/5, 2
Let s = 1.7 + 2.3. Sort s, -2/17, 5.
-2/17, s, 5
Let y be ((-30)/(-21))/(16/(-28))*-2. Let q be 1 - (-1)/((-2)/(-4)). Sort q, y, 0.
0, q, y
Let x = 27 - 32. Sort x, 4, -2.
x, -2, 4
Let j = 3 - 1. Suppose -9 = 4*o - 1. Put j, o, -4 in descending order.
j, o, -4
Let k be (28/21)/(2/6). Put -0.3, k, -0.2 in ascending order.
-0.3, -0.2, k
Let y = 3/104 - -395/728. Let n(b) = -5*b**3 + b - 1. Let z be n(1). Let u be (2/8)/((-18)/(-8)). Sort z, y, u.
z, u, y
Suppose -1 = -v + 1. Suppose 0 = v*m - 4*m - 8. Sort m, -5, -1/6.
-5, m, -1/6
Let u = -134 + 118. Put 2, 4, u in increasing order.
u, 2, 4
Let u be (2/3)/((-2)/(-9)). Let q be (2/3)/((-3)/9). Let n be 0/(0 + 0 + -1). Sort q, u, n in descending order.
u, n, q
Let m = 17 + -12. Suppose 9 = 4*k - k - 3*l, 5*l + 15 = k. Sort 2, m, k in increasing order.
k, 2, m
Suppose -3 = 5*r + 2. Let n(q) = q + 2. Let s be n(r). Sort s, 4, -2.
-2, s, 4
Let l = 16 - 10. Sort -5, l, 2 in descending order.
l, 2, -5
Let i = 0.4 + -0.2. Let u = 0.12 + -0.32. Sort 0.5, i, u.
u, i, 0.5
Let h be 16/(-18)*-3*2/40. Sort h, -0.4, -3/4 in decreasing order.
h, -0.4, -3/4
Let j = -21 - -23. Sort j, 6, -4 in descending order.
6, j, -4
Suppose 2*u = 4*u - 6. Put -2, u, -3 in descending order.
u, -2, -3
Let b = -11 - -15. Suppose 2*r = 5*i - 14, -i = 4*r + 3*i. Let k be (-1)/r*(7 - 1). Sort b, k, -1 in decreasing order.
b, k, -1
Let b = -1.07 + 0.07. Let u = 0.03 + -0.03. Sort u, -3/5, b.
b, -3/5, u
Let a = 7.5 + -7. Let n = 0.44 - a. Let l = -0.66 - n. Sort -5, l, 0.3.
-5, l, 0.3
Let g = 533 + -2692/5. Let k = -5 - g. Sort 2/9, k, -0.3 in increasing order.
-0.3, 2/9, k
Let k be 1/((-8)/6 + 1). Let z(v) = -v. Let a be z(1). Sort k, a, 2 in ascending order.
k, a, 2
Let f = 21/5 - 99/20. Let t = -3/7 - -16/21. Let q(i) = i + 9. Let o be q(-8). Sort f, t, o in increasing order.
f, t, o
Let x = 67 + -67.05. Sort 5, -5, x in descending order.
5, x, -5
Let p = -4 - -8. Let x be (p/6)/((-2)/3). Sort 6, 1, x in descending order.
6, 1, x
Let b = 26.4 + -26. Put -13, b, -2 in decreasing order.
b, -2, -13
Let g = -99 - -103. Sort -0.6, 2, 4/9, g in decreasing order.
g, 2, 4/9, -0.6
Suppose 3*z = -39 - 6. Let h be 1 + 0 + 21/z. Suppose -4*c + 0*s + 12 = -4*s, 0 = 4*c - 5*s - 17. Sort -1/7, h, c in decreasing order.
-1/7, h, c
Let i = 0.99 + 0.01. Let l = -0.02 - -0.72. Let y = i - l. Put 1, y, -2 in decreasing order.
1, y, -2
Let z(q) = q**2 + 7*q + 3. Let g be z(-7). Suppose -g*j = 11 + 1. Suppose 5*b = -3*a - 3, -a - 2*b - 1 = -0*b. Sort -5, j, a in ascending order.
-5, j, a
Suppose -3*c - r = -2, 0*r - 10 = -c + 2*r. Suppose 3 = 4*i - 1, -5*i = -3*d - c. Let b = d - 5. Sort b, 5, -3.
b, -3, 5
Let h be ((-2)/(-20))/((-16)/60). Sort -9, -0.1, h in decreasing order.
-0.1, h, -9
Let z = 0 + 3. Suppose z*n = -0*x + 2*x - 8, 0 = -4*x - 2*n. Let r = 0.9 - 0.5. Put 2, x, r in increasing order.
r, x, 2
Suppose 8 = 2*q + 2*q. Suppose i = 4*v - 0*i - 22, -5*i - 2 = -q*v. Let l = 9 - v. Put l, 0, 0.2 in descending order.
l, 0.2, 0
Let x = -1 - -1. Let p = -12 + 15. Put x, p, -2 in ascending order.
-2, x, p
Let h = -4 - 0. Let y = h - -3.7. Let s = 0 - -0.4. Put 5, y, s in decreasing order.
5, s, y
Let u(l) = -l**2 + l + 2. Let f be u(3). Sort -1, 2, f in ascending order.
f, -1, 2
Let u = -4.9 - 0.1. Let t = -4 - -5. Sort u, t, 4 in decreasing order.
4, t, u
Let l(j) = 2*j**2 + 5*j + 1. Let i be l(-3). Let f = 1 + i. Put 2, 4/9, f in descending order.
f, 2, 4/9
Let t(g) = -g**3 - 10*g**2 - 9*g + 1. Let n be t(-9). Suppose -4*k + 4*x - 4 = -0, -2*x = 3*k - 17. Sort 0.3, n, k in increasing order.
0.3, n, k
Let f be (2/36)/(18/2295). Let m = -587/84 + f. Put 0.2, m, 5 in ascending order.
m, 0.2, 5
Let n = 7 - 6.7. Put n, 1, 5 in increasing order.
n, 1, 5
Let i be ((-2)/(-1 + 0))/1. Let y(o) = o**3 - 8*o**2 - o + 10. Let j be y(8). Suppose 5*c - 3 = -m - 27, -c = -j*m - 4. Sort c, 0, i.
c, 0, i
Let c = 116 + -111. Put 3, c, -5 in descending order.
c, 3, -5
Suppose -4*i + 2 = -10. Suppose -i*u = -4*u + 3. Suppose 13 = -4*c - u. Sort 5, 0, c.
c, 0, 5
Let n = 0 + 3. Suppose -3*y + 5*z = -0*y - 97, -3*y + n*z = -99. Suppose -4*x = 14 - y. Put x, 0, -5 in decreasing order.
x, 0, -5
Let k = 2.02 - 0.02. Sort 1, -3/2, k in decreasing order.
k, 1, -3/2
Let l be (3 + 0)/((-6)/(-4)). Let g be ((-5)/10)/(1/l). Suppose f + 4*y - 8 = 0, -5*f - 3 = -3*y + 3. Sort -4, f, g.
-4, g, f
Let b = 22 + -18. Sort -2, b, 2/13 in increasing order.
-2, 2/13, b
Suppose 0 = 2*w + 2*w + 4. Put -5, 0, 5, w in descending order.
5, 0, w, -5
Let c = -3 - 0. Let b be 1 - 2/24*3. Put -6, c, b in descending order.
b, c, -6
Let i = 0.027 - 0.827. Sort -2, -2/9, i.
-2, i, -2/9
Let k = -67 + 70. Sort 0.1, -4, k, -1 in increasing order.
-4, -1, 0.1, k
Suppose 0 = 5*n + f + 2 - 8, -3*n = 4*f - 7. Suppose l = n + 1. Let y(u) = -u**3 - 2*u**2 + 4*u + 4. Let p be y(-3). Sort 3, l, p in descending order.
3, l, p
Let z = 1193/11514 + 1/606. Put z, 4, 0, -5 in ascending order.
-5, 0, z, 4
Let w = -0.39 + 0.39. Sort 3, w, 1, -3.
-3, w, 1, 3
Suppose -3*y - 18 = 2*y + h, 5*y - 2*h = -24. Let j = -4 - y. Sort -3, -2, j.
-3, -2, j
Let g = -6 + 16. Let j be (12/30)/(4/g). Sort -2, j, 3.
-2, j, 3
Let g = 0.4 + -0.8. Let f = 0.6 + -0.4. Sort 0.1, g, f in decreasing order.
f, 0.1, g
Suppose 5*y + 3 = -2. Let w(g) be the first derivative of g**3/3 + 3*g**2 - 3*g - 1. Let r be w(-7). Sort 1, y, r.
y, 1, r
Let x = 19 + -18. Let q be 0 + x/(-1) - -3. Put q, -5, 3 in descending order.
3, q, -5
Suppose 3*f - 5*f = 0. Suppose -x + f = -1. Let g = 1 + -0.8. Put x, 3, g in increasing order.
g, x, 3
Let n = -22.4 + 18. Let c = 0.4 + n. Let h(p) = -p**3 - 4*p**2 + 4. Let z be h(-4). Sort -0.4, z, c in descending order.
z,