n ascending order.
-4, -3, p
Let w = 3/17 + -57/34. Sort w, 2, 5 in decreasing order.
5, 2, w
Suppose 3*s + 10 + 0 = -k, -3*k - 4*s = 5. Put k, 2, -2 in ascending order.
-2, 2, k
Let o be (50/(-15))/((-16)/6). Sort -5, o, 4/3 in decreasing order.
4/3, o, -5
Let a = 1.3 - 1.36. Let t = 7.06 + a. Sort -2/11, 0.4, t in ascending order.
-2/11, 0.4, t
Suppose -1 = 5*n + 4. Let g be (-2)/(-4) - (-9)/(-2). Let u be n/10*g*-10. Put 2, -1, u in decreasing order.
2, -1, u
Let r = -5 - -17. Let v = -9 + r. Sort v, 4, -2 in increasing order.
-2, v, 4
Let a(v) = v - 6. Let l be 12*((-2)/4 - -2). Suppose -2*n + 0*n + l = 0. Let d be a(n). Sort 2, d, -3.
-3, 2, d
Let u(l) = l**3 + 6*l**2 - 6*l + 10. Let w be u(-7). Sort -2, -1/5, w in descending order.
w, -1/5, -2
Let s(n) = -n**2 - 18*n - 65. Let h be s(-5). Put 5, -7, h in descending order.
5, h, -7
Suppose 2*m - m = -5*i - 5, -m - 4*i - 4 = 0. Let a be 0/(2/(m - -2)). Suppose -5*z + 8 = -3*o, 3*z - 2*o = -3*o + 2. Sort 5, a, z in increasing order.
a, z, 5
Let z = 6 + -6.4. Let d = -0.15 - -1.16. Let i = -0.01 + d. Sort -4, i, z in decreasing order.
i, z, -4
Let k be (-9)/(45/10) + (1 - 0). Put k, -2, -4, 1 in increasing order.
-4, -2, k, 1
Suppose 2*r = -m + 14, m + 4*m = r + 15. Suppose b = 2*b - 5*v + 24, -v = -r. Put b, -1, 3 in descending order.
3, b, -1
Let g = -8 - -13. Let b be ((-3)/(-6)*-4)/g. Put 2/3, b, 4 in ascending order.
b, 2/3, 4
Let c(q) = -q**3 + 2*q**2 + 3*q - 2. Let p be c(3). Let z = 2 + -3. Put 3, z, p in increasing order.
p, z, 3
Let k be -3 + -2*4/(-4). Put k, -3, -4 in descending order.
k, -3, -4
Let s be -3*1*24/18. Put -5, s, 4 in descending order.
4, s, -5
Suppose -5*i - 5*q + 3*q = -8, 3*q = -i - 1. Sort i, -3, -1.
-3, -1, i
Let v = -16 + 17. Put -0.3, v, 2/5 in descending order.
v, 2/5, -0.3
Let q(j) = 2*j**2 + 5*j - 6. Let s(o) = -o**2 + 1. Let r(l) = q(l) + 3*s(l). Let d be r(2). Put -5, 2/3, d in decreasing order.
d, 2/3, -5
Let z be (21/(-7))/((-6)/(-8)). Sort -5, z, 5 in increasing order.
-5, z, 5
Suppose 2*q = -2*q. Let u = 3 - 4. Let d be 1 - (1 + 2)*u. Sort q, -2, d in decreasing order.
d, q, -2
Suppose -b - 1 = 4*a, -4*b - 3*a + 0 = 4. Suppose -2*h + 0*h = -8. Sort b, h, 1 in decreasing order.
h, 1, b
Let u = 2385/16 + -83263/560. Let i = u - -1/20. Sort -1, i, 1/4 in descending order.
i, 1/4, -1
Let t = -27 - -39. Put 0, 1, t, 2 in decreasing order.
t, 2, 1, 0
Let u be (4/2)/(1 + 18/12). Sort 2, u, -0.11 in decreasing order.
2, u, -0.11
Let x = -21 - -21. Suppose 2*i = -i + 6. Let j be (1/(-2))/((-2)/(-20)). Sort i, j, x.
j, x, i
Let q = 63.9 - 64. Let g(y) = y**3 + 5*y**2 + 4*y - 5. Let j be g(-4). Sort -3, q, j in descending order.
q, -3, j
Suppose -i - 3*i = 0. Sort -3, i, -4 in descending order.
i, -3, -4
Let g be ((-16)/(-20))/((-2)/(-5)). Suppose -6 = -3*b + 6. Suppose 4*n = -2 + 6, b*x - 1 = -5*n. Put x, 0, g in descending order.
g, 0, x
Let x be (-1 - 33/(-20)) + (-12)/30. Let r = -13/42 + -4/21. Put x, -5, r in ascending order.
-5, r, x
Suppose 2*i - 8 = -5*h, 2*i = -2*h + h. Let u = -2 - -6. Let v = -7 + u. Put i, -1/3, v in decreasing order.
-1/3, i, v
Let q be 26/(-5) - (-2)/10. Let p = 3/10 + 1/10. Put p, q, 4/9 in decreasing order.
4/9, p, q
Let l = 17 + -7. Sort l, -3, 3 in decreasing order.
l, 3, -3
Let z = 0.5 + 3.5. Let h = z - 2. Sort 1/7, h, 0.
0, 1/7, h
Let m = 19.2 + -23.2. Let f = -0.03 + -2.97. Sort f, 1/4, m in increasing order.
m, f, 1/4
Let o(c) = 5*c - 8. Let p be o(2). Sort -1, p, -13.
-13, -1, p
Let j = 4.72 - 0.22. Let y = -4 + j. Put y, -2/3, -1 in descending order.
y, -2/3, -1
Let i = -24 - -23. Sort -3, i, -21 in decreasing order.
i, -3, -21
Let v(t) = -4*t**3 + 3*t**2 - 4*t - 2. Let k(n) = n**3 + 1. Let g(f) = -5*k(f) - v(f). Let c be g(-4). Put c, 3, -4 in descending order.
3, c, -4
Suppose h = -0*h + 2. Let b be (-1)/(1/(-15)*-3). Sort h, 3, b in ascending order.
b, h, 3
Let j be 3 + (-2 + 6 - -18). Let y = -21 + j. Sort 3/2, y, -2 in descending order.
y, 3/2, -2
Suppose 0 = -3*i - 4*d - 29, 3*d = -5*i - 33 + 3. Let p = 29 + -30.7. Let a = p - -2.1. Put a, i, -0.3 in descending order.
a, -0.3, i
Let v(d) = -d**3 + 2*d**2 + 10*d - 3. Let o be v(4). Put -2/5, 2/137, o in decreasing order.
o, 2/137, -2/5
Let y = -3 - -2. Suppose -32 = 4*q + 5*x, -q + 2*x + 3*x + 17 = 0. Let t = q + y. Sort 4, t, 0 in descending order.
4, 0, t
Let d = 3 - 6. Suppose -3*t + 72 = 69. Sort d, t, -5.
-5, d, t
Let i = -18 + 23. Let o = i + -1. Sort o, -1, 2 in decreasing order.
o, 2, -1
Suppose g + 3 - 2 = 3*y, -2*g + 4*y = 2. Suppose 0*f + 9 = f. Sort f, -4, g in descending order.
f, g, -4
Suppose -11*l = -l + 60. Sort -3, l, -2 in descending order.
-2, -3, l
Let w = 5.9 - -2.1. Let m = 7 - w. Sort 5, m, -0.3 in decreasing order.
5, -0.3, m
Let a(i) = i**3 + 5*i**2 - 7*i - 4. Let g be a(-6). Suppose -7 = -3*u + g. Suppose 4*t = -t. Put u, 1, t in ascending order.
t, 1, u
Suppose -l - 11*l = 60. Suppose 3*z - 2*z = 1. Suppose 0 = -2*b - 7 + z. Sort 2, b, l.
l, b, 2
Let f be ((-9)/12)/(21/(-8)). Sort -0.5, 5, f in ascending order.
-0.5, f, 5
Let a(k) be the third derivative of -k**6/120 + k**5/12 - 2*k**2. Let x be a(5). Suppose 5*q = 2*d - 3 - 4, -4*q - d - 16 = 0. Sort 5, x, q in ascending order.
q, x, 5
Let m be 2/42*(-6)/(-3). Let p(h) = h**3 - 5*h**2 - 7*h + 5. Let n be p(6). Sort m, -0.5, n in increasing order.
n, -0.5, m
Let k = -0.2 - 0. Let v = -1.002 + 0.002. Sort -3, v, k in descending order.
k, v, -3
Let i = 41/42 + 5/14. Suppose -14 = -o - 2*o - k, -4*o - 5*k + 26 = 0. Suppose 5 = 3*b - 7, -4*m - 28 = -3*b. Put i, m, o in descending order.
o, i, m
Suppose -1 - 8 = 3*t. Let i be ((-12)/10)/((-9)/30). Put -5, t, i in ascending order.
-5, t, i
Let l = -3.7 + -1.3. Sort -2/11, 1/12, -1/3, l.
l, -1/3, -2/11, 1/12
Let w = -4 + 7. Suppose 5*v - t = 17 + 11, -w*v + 3 = 4*t. Let s = -2 - -5. Sort v, s, -3 in increasing order.
-3, s, v
Suppose -2*d = -3*d + 5. Put 2, -2, d in decreasing order.
d, 2, -2
Suppose 3*s = 5*q - 15, -2*s + 5*s - 9 = -3*q. Put -5, q, 4 in ascending order.
-5, q, 4
Let k = -2 + 6. Suppose l = -k*l. Let h be (-3 + 2)*2 + 4. Put h, l, -2 in increasing order.
-2, l, h
Let v be 32/(-18) - 4/(-2). Let m = -44 - -43.33. Let g = 0.17 + m. Put g, 4/5, v in ascending order.
g, v, 4/5
Let o = 0.03 - 0. Let z = o - -0.27. Sort z, -0.5, 1/2 in increasing order.
-0.5, z, 1/2
Suppose -127 - 49 = -4*s. Let a be ((-4)/s*4)/2. Put -5, a, -0.3 in ascending order.
-5, -0.3, a
Let p = -4 - -2. Let q = 427/99 - -2/99. Let r = q - 29/6. Sort r, p, -4 in increasing order.
-4, p, r
Let z = 0.2 - 3.2. Sort 3, 5, z in ascending order.
z, 3, 5
Let y = -0.1 + 0.3. Let p = 0.17 - -7.83. Let c = -5 + p. Sort y, -1/10, c.
-1/10, y, c
Let g(i) = -i. Let t(d) = 3*d + 3. Let z(q) = g(q) + t(q). Let m be z(-2). Put 1, 3, m in descending order.
3, 1, m
Let t be (-2)/4 + 2/4. Sort 3, 2, -1, t.
-1, t, 2, 3
Suppose -3*w = -3, 3*w = -f + 7*w - 2. Let a be (f/40)/(10/(-25)). Let r = 2/17 - -28/51. Sort a, r, -5 in increasing order.
-5, a, r
Let a(o) = o. Let v(b) = 1. Let j(p) = -a(p) + v(p). Let k be j(-1). Suppose 2 = c + i + 8, -k*c = -i. Sort -4, 4, c in decreasing order.
4, c, -4
Let u = 45 - 44.7. Put 4/3, 0.1, u in descending order.
4/3, u, 0.1
Suppose 2*v - 7*v - 5*z - 15 = 0, 3*z + 3 = -2*v. Sort 2, 3, v, -4 in decreasing order.
3, 2, -4, v
Let k = -13 - -10. Sort -2, 2, k in descending order.
2, -2, k
Let i be (-4)/(-5)*(-10)/(-4). Let g = 35 + -35.06. Put 5, i, g in ascending order.
g, i, 5
Let c = 13 - 115/9. Sort -2, 1/7, c, -3 in decreasing order.
c, 1/7, -2, -3
Let x = 0.61 - 0.01. Let z = -4.6 + x. Let v = 1 + -0.5. Put v, z, 0.1 in descending order.
v, 0.1, z
Let k = -14 - -16. Suppose 0 = 5*d + 2*j + 14, 2*j + 3*j = -2*d - 14. Sort -5, d, k in descending order.
k, d, -5
Let t = 2.3 - 6.3. Put -2, t, 2 in decreasing order.
2, -2, t
Let a = -15.5 + 16. Sort 0.1, -6/5, a in increasing order.
-6/5, 0.1, a
Let j(b) = 2*b**2 + 5*b + 1. Let p be j(-2). Sort p, 4, -22 in descending order.
4, p, -22
Let m(k) = k**3 - k - 1. Let u be m(0). Let j = 4 + 0. Let f = j + u. Sort -1, -5, f.
-5, -1, f
Let x = -91 - -457/5. Let r be (-17)/(-4) + 1/(-4). Let p = -20.9 - -21. Sort r, p, x in increasing order.
p, x, r
Let q(s) = -2*s - 6. Let u be q(-3). Put -5, u, -