descending order.
d, -2, -4
Let i be -5 - (-3 - (3 + -2)). Sort i, 5, -9 in increasing order.
-9, i, 5
Let s be (1 + -1)*(-7 + 6). Sort 3, -0.1, 4, s.
-0.1, s, 3, 4
Let i be (2/(-6))/1*-9. Let d be (i*-7)/3 - -2. Let q = 2 + d. Put q, -1, 3 in increasing order.
q, -1, 3
Suppose -3*v + 9 = 3*y, 5*v + 0*v - 3*y + 17 = 0. Sort -5, 3, v.
-5, v, 3
Let n be 9*1/(-1) + (2 - -2). Sort 9, n, -4.
n, -4, 9
Suppose 2 = -r + n, -4*n + 2*n + 12 = 2*r. Suppose -a + 3 = r*t, 0*a - t = -a - 3. Sort -2, a, 4 in decreasing order.
4, a, -2
Let a = -13 - -9. Let o = 35 + -31.4. Let b = a + o. Put -1/5, b, -2 in increasing order.
-2, b, -1/5
Let d be (-1)/(3 - (1 - 1)). Let n = -8 - -9. Sort n, d, -0.4 in increasing order.
-0.4, d, n
Let p = 5.01 - 5. Sort p, 0, 5.
0, p, 5
Let b = -0.5 - -0.4. Let l = -11 - -8. Put b, l, 0.5 in ascending order.
l, b, 0.5
Let z(n) = 3*n. Let h be z(-1). Suppose -2 = k + k. Let a(r) = 2*r**3 - r**2 + 1. Let u be a(k). Sort 2/7, h, u.
h, u, 2/7
Let u = 0.282 + 0.018. Put -4/5, 0.16, u, -0.3 in ascending order.
-4/5, -0.3, 0.16, u
Let z = 8 - 9. Let a be 22/(-10) + 2/10. Let p = -2 - a. Sort -2, p, z.
-2, z, p
Let q be (-8)/(-3) - 2/3. Sort -3, q, 1 in increasing order.
-3, 1, q
Suppose -k - 2 + 6 = 0. Let d = 13 - 6. Suppose -40 = -5*i - 5*l, 2*i - k = -l + d. Sort 0.2, i, 1/2.
0.2, 1/2, i
Suppose 3*c - 57 = -4*t, 2*c + 17 - 47 = -2*t. Put -4, t, 1 in increasing order.
-4, 1, t
Let n = 0.16 - 11.16. Let s = n + 25. Sort s, 0.2, -1 in decreasing order.
s, 0.2, -1
Let d = 0.06 + 15.94. Let j = d - 17. Put 1, j, 5 in descending order.
5, 1, j
Let x = -2 + 3. Let s be (-6)/16 - x/(-4). Let h = 20 + -24. Put 4, h, s in decreasing order.
4, s, h
Let m = -12 + 17. Let w = m - 2. Sort w, -3, -1.
-3, -1, w
Let p = 11 - 6. Sort p, 4, 1 in descending order.
p, 4, 1
Let y be 1/1*(-10)/(-2). Suppose 6 = 3*a - y*a. Sort -5, a, -2 in ascending order.
-5, a, -2
Let r = 6.15 + -0.15. Let c = 4 - r. Let q = -5.7 + 5.6. Sort c, q, 2/9.
c, q, 2/9
Let g = -1.5 + 5.5. Put g, -8/5, -2/5 in descending order.
g, -2/5, -8/5
Suppose -3*l + k = -14 - 0, 3*l = 2*k + 16. Sort l, 5, -2 in descending order.
5, l, -2
Let g be -2 - -2*(-14)/(-4). Suppose g*j - 1 = 4. Put j, 0, -2 in ascending order.
-2, 0, j
Let n = 1/10 - -1/40. Sort n, 0, -2 in decreasing order.
n, 0, -2
Let c(a) = 4*a**2 - a - 1. Let y be c(-1). Let n = y - 1. Sort 5, n, -3 in decreasing order.
5, n, -3
Let f = -4 - -8. Suppose -i + 5 = f*i. Let o be 2 + -1*28/13. Sort o, i, 2/5 in ascending order.
o, 2/5, i
Let p = -384/985 + -2/197. Sort p, 4, -4 in descending order.
4, p, -4
Let c be (-16)/(-12)*(1 + -4). Let k(t) = -t**3 - 3*t**2 + 5*t. Let g be k(c). Let q(r) = r**2 + r - 2. Let y be q(2). Put 2, g, y in descending order.
y, 2, g
Suppose 7*p - 8*p = 15*p. Suppose -2*q = -7*q + 10. Sort 1, q, p in decreasing order.
q, 1, p
Suppose 0 = -4*p - 10 + 30. Let c(o) = o**2 - 1. Let i be c(0). Sort -2, p, i in descending order.
p, i, -2
Suppose -d + 6 = 2*m, 15 = 4*m - d - 9. Let q(y) = -y**2 - 18*y - 31. Let v be q(-16). Sort m, v, -10.
-10, v, m
Suppose 3*k + k = -5*u, 4*k = 4*u - 36. Suppose u*g - 5 = -13. Put 3, 0, g in descending order.
3, 0, g
Let d = 11.1 - 0.1. Let c = d + -10.6. Put c, -0.5, 0 in decreasing order.
c, 0, -0.5
Let y = -4.3 - -1.3. Put 3/4, -2/9, y in descending order.
3/4, -2/9, y
Suppose -3*f = -b - 3 - 9, -5*f + 2*b + 19 = 0. Sort -5, -1, f, 4.
-5, -1, 4, f
Let c = -0.1 - -0.6. Let k = -10.6 + -2.4. Let f = k - -11. Put -0.4, c, f in ascending order.
f, -0.4, c
Let k = -41 + 44. Sort k, 4, 1 in increasing order.
1, k, 4
Let t be 1/(5/10) - 1. Sort t, 0, 13 in ascending order.
0, t, 13
Let q = -4 - -4. Let n be 5*(2 - 1) + q. Let p be 1/((3 - n)/6). Sort p, 2, 1.
p, 1, 2
Let z = 241.9 + -241. Let x = 491/4 - 124. Sort 4, z, x in ascending order.
x, z, 4
Let m(i) = -4*i + 3. Let d = -3 - -5. Let n be m(d). Put 5, n, -3 in ascending order.
n, -3, 5
Let p(c) = 4*c - 39. Let n be p(10). Sort -2, n, -4, 0.
-4, -2, 0, n
Let j = 12 + -11.7. Sort 5, 1/5, j in decreasing order.
5, j, 1/5
Let g(b) = 2*b - 7. Let h be g(5). Let i be 100/28 - h/(-7). Sort 0, i, 2 in decreasing order.
i, 2, 0
Let c = 2 + -3. Put 0, c, 3 in decreasing order.
3, 0, c
Let z = -1.53 - -1.33. Let f be -2*3/((-15)/(-2)). Sort -3, z, f in decreasing order.
z, f, -3
Let j = -7 + 10. Suppose -3*i - 4*b = -2 - 12, 17 = -i + j*b. Sort i, -1, 3.
i, -1, 3
Let u(n) = n**3 + 6*n**2 - n + 3. Let l be u(-6). Let w be 2/(((-24)/l)/(-4)). Sort 5, -2, w.
-2, w, 5
Let j be (-8)/(-1) - (-1 - -4). Let c be (21/(-28))/(2/8). Sort c, j, -5 in ascending order.
-5, c, j
Let y be -3 + (3 - (-4 + 7)). Sort -3/8, y, -4 in ascending order.
-4, y, -3/8
Let a = 1 - -13. Let o = 13.6 - a. Sort o, -2/25, 1/3 in ascending order.
o, -2/25, 1/3
Let j = 1 + -1.5. Let g = -1.95 + -0.05. Let i = g + 1.6. Sort 2/11, j, i in descending order.
2/11, i, j
Let j = -5 - -10. Suppose -5*p - 20 = -j*s, s + p - 19 = 5*p. Sort 3, s, -4 in descending order.
3, s, -4
Let d = -32 + 29. Sort 2/9, d, 2/15.
d, 2/15, 2/9
Suppose 4*g + 4 = 2*s + 2, 3*s = g - 12. Sort 4, s, 2, -4 in decreasing order.
4, 2, -4, s
Let j = -8.99 + 9. Let p = -1.01 + j. Let a = p - -0.9. Sort -2/5, a, -3 in increasing order.
-3, -2/5, a
Suppose f = -2*r - 1 + 5, 5*r = 5*f - 5. Suppose 5*b = -g - 10, 5*g - 3*g = 3*b + 19. Put r, -5, g in decreasing order.
g, r, -5
Let q be 4/(-22) + (320/198)/4. Sort 4/3, q, 2, 3/2.
q, 4/3, 3/2, 2
Let a = 7 - 4. Suppose 2*p - 3*p = a. Put 5, p, 1/3 in ascending order.
p, 1/3, 5
Suppose 2*j = 3*o + 8, -3*j - j - 2*o = 0. Let f(k) = k**3 - 5*k**2 - k + 7. Let g be f(5). Let x = j + g. Put -5, x, -3 in ascending order.
-5, -3, x
Let q = -6 + 3. Let w be (-6)/4*10/q. Sort -2, -5, w.
-5, -2, w
Suppose 0 = 3*o - 2*o + 4. Let r be (3/2)/(3/10). Let w(y) = -y + 1. Let l be w(1). Put r, l, o in descending order.
r, l, o
Suppose -23 - 16 = 3*y. Put y, -1, -5 in increasing order.
y, -5, -1
Let o = -0.1 + 0.22. Let n = o + 4.88. Sort n, -3, -3/4.
-3, -3/4, n
Let w(m) be the first derivative of -m**3/3 - m**2/2 - m + 2. Let z be w(-1). Let n = 9 - 13. Put -2, n, z in descending order.
z, -2, n
Let g be ((-4)/(-3))/2 - 0. Let z be 0 + (2/2 - 0). Sort 0, g, z in increasing order.
0, g, z
Let x be (-44)/154 - (-2)/7. Put -4, 2, -1, x in descending order.
2, x, -1, -4
Let c be 3/(-5) - (-161)/385. Let v = -0.3 + -0.7. Sort c, -5/3, v in increasing order.
-5/3, v, c
Let h = -16 - -29. Let o = h + -9. Let c be 3*(0 + -2 - -3). Sort o, -5, c in descending order.
o, c, -5
Suppose -254 + 260 = 3*m. Put -5, m, -3, -2 in descending order.
m, -2, -3, -5
Suppose -56 = -0*k - 4*k. Suppose -3*f = -12, 4*f = -n - n - k. Let a be (20/n)/((-2)/3). Sort 1, 0, a in decreasing order.
a, 1, 0
Let n(b) = b**3 - 20*b**2 + 18*b + 23. Let s be n(19). Put s, -4, 5 in descending order.
5, s, -4
Let y = -0.3 - 0.7. Let p = 17 + -15. Put y, p, -0.1 in increasing order.
y, -0.1, p
Let b be (-1 - 7)*(-12)/16. Suppose -q = -b*q. Let s(t) = -t**2 + 7*t + 6. Let l be s(8). Sort l, -1, q in descending order.
q, -1, l
Let g(a) = a + 1. Let m be g(4). Let i = -6 - -2. Let z = 13 - 18. Sort i, z, m in ascending order.
z, i, m
Suppose -4*h = -2*h + 2. Put -3, 0, h in descending order.
0, h, -3
Let j = -0.118 + -3.882. Sort j, 0, -5, 0.4.
-5, j, 0, 0.4
Let j = 44 - 30. Suppose -j = g - 5*t - 1, -4*t = 5*g - 22. Sort g, -2, 1.
-2, 1, g
Let j = -0.8 - -0.5. Suppose 3*q + 12 = q. Let z be 4/q*(-36)/(-96). Put j, 3, z in descending order.
3, z, j
Let x = 0.04 + -3.04. Let b = 19 - 19.9. Let i = b + 0.4. Sort x, -2/17, i in increasing order.
x, i, -2/17
Let a = 296.17 - 279. Let d = a + -17. Let m = -0.03 - d. Put 0.5, -3, m in decreasing order.
0.5, m, -3
Let n = 5.3 - 4.8. Put 4/7, -4, n in ascending order.
-4, n, 4/7
Let q = -1 - 4. Let b be (-18)/(-12)*8/3. Sort q, -1, b in decreasing order.
b, -1, q
Let y(v) = -v**3 - 5*v**2 - v. Let d be y(-5). Suppose 2*t + 0*t + 4 = 0. Sort -1, d, t in descending order.
d, -1, t
Suppose 0 = 3*q + f + 2, 10 = -3*q - 0*q - 5*f. Put 2, q, 7 in decreasing order.
7, 2, q
Let c(a) = -a**3 - 3*a**2 + 5*a + 4. Let n be c(-4). Sort -4, 1, n.
-4, n, 1
Let x be 0/((8/2)/4). Put -8, 3, x in ascending order.
-8, x, 3
Suppose -10*y - 19 - 31 = 0. Suppose 2*a - 6 = 2*b, 4*b = -5*a