ascending order.
v, j, -1/6
Suppose 4*g + 2*t = -t + 19, 4*t - 4 = 0. Put 2, -1, 1, g in ascending order.
-1, 1, 2, g
Let f be -5 + 6 + 5/(10/4). Sort -5, f, -1, -2.
-5, -2, -1, f
Let f(u) = 4*u**2 - 53*u + 57. Let m(n) = -n**2 + 13*n - 14. Let l(c) = -2*f(c) - 9*m(c). Let b be l(9). Let i = 9 + b. Put i, -3, 1 in decreasing order.
i, 1, -3
Suppose -3*i - 3*w + 4*w - 11 = 0, -5*i - 5 = w. Let o(z) = z**3 - z**2 + 13. Let g be o(0). Let l be g/4 + 1/(-4). Put i, l, -4 in decreasing order.
l, i, -4
Suppose 0*d - 25 = -5*d. Suppose -17 - 3 = -2*m. Let b be 3 - d/(m/4). Sort -3, -2, b.
-3, -2, b
Let j(o) = -o + 3. Let b be j(6). Put -5, 5, b in descending order.
5, b, -5
Let g = -13 + 8. Sort g, -7, 3 in descending order.
3, g, -7
Let g be (-5)/(-20) + 30/8. Let p = -10 + 5. Let y = 3 + p. Sort -4, y, g in decreasing order.
g, y, -4
Let y(v) = -v**2 + 18*v + 23. Let x be y(19). Sort x, 2, -6, -11 in descending order.
x, 2, -6, -11
Let a = 1 + 3. Suppose 2*i + 0*i + a = 0. Suppose 0 = -3*j - 2*j. Put j, 2, i in ascending order.
i, j, 2
Suppose 2*w + 0 + 8 = b, -5*b + 4 = 2*w. Sort -2, 0, b in decreasing order.
b, 0, -2
Suppose -6 = -3*a + 3. Let y = -15 + 13. Sort 4, a, y in descending order.
4, a, y
Suppose -4*i + 2*v - 7 - 3 = 0, -2*i + 4*v = 8. Put 2, 5, i in decreasing order.
5, 2, i
Let p = -36 + 50. Let z be 18/(-22) + p/(-77). Let c be (-10)/12 - (z + 0). Put 3, -1/6, c in decreasing order.
3, c, -1/6
Let b = 0.2 - 0. Sort b, -1, -2/11.
-1, -2/11, b
Let y = 10 - 8. Let g(r) = r**2 - 9*r - 2. Let p be g(9). Sort y, 5, p in decreasing order.
5, y, p
Let j = 0.1 - 5.1. Sort 0, j, -0.3 in descending order.
0, -0.3, j
Suppose 0 = 5*v - 0*v - 15. Let z = -60 + 57. Sort z, v, 2 in ascending order.
z, 2, v
Let l = -0.06 - -0.06. Let f = l + -4. Sort 0, -2, f in ascending order.
f, -2, 0
Let o = -5581/9 - -619. Sort o, 0.1, -2/11 in descending order.
0.1, -2/11, o
Suppose -3*a + 3*h = 15, a - h = -a - 13. Let d(v) = -v. Let n be d(4). Let l = n - a. Sort 0, l, 5 in ascending order.
0, l, 5
Let o = -1 - -1. Let i = o - -1. Let f = i + -1.2. Sort f, -5, -4 in decreasing order.
f, -4, -5
Let t(p) = p**3 - 11*p**2 + 10*p. Let z be t(10). Suppose z*q = 2*q. Sort -1, 2, q.
-1, q, 2
Suppose 0 = 2*t - 0*t. Suppose 0 = h + 5*g - 4, -5*h + 4*g + 29 - 9 = t. Let w = 1 + h. Put -5, w, 3 in decreasing order.
w, 3, -5
Suppose 11 = 4*x - 5. Put 0, x, -0.2, 6/11 in ascending order.
-0.2, 0, 6/11, x
Let v = -253 + 422. Let q = -2199/13 + v. Sort -2/3, 1/5, q in descending order.
1/5, q, -2/3
Let k = -14.2 + 14. Put 4, 0.1, k in descending order.
4, 0.1, k
Let x = -11 - -8. Let h be 10*(3 - 4)/2. Put h, x, 2 in descending order.
2, x, h
Let u = -721 - -723. Let j(t) = t**2 - 2*t**2 + 0 + 3*t + 3. Let o be j(3). Put o, -3, u in descending order.
o, u, -3
Let i be (-25)/(-3) + (-1)/3. Suppose -16 = -4*w + 4*a, 4*w - 8 = i*w + 2*a. Suppose -2*v - 4 = 4*j - w, -5*j + 3*v - 16 = 0. Put -3, j, -5 in decreasing order.
j, -3, -5
Let m be ((-25)/2)/(-5) - 3. Sort m, 0.17, -1/6.
m, -1/6, 0.17
Let f be 76/(-14) + 12/28. Put f, -3, 10 in descending order.
10, -3, f
Let k be 5*(-3 - 12/(-5)). Put -2, k, -5 in descending order.
-2, k, -5
Let y be 4/6 - 7/21. Sort y, 4, 0.04.
0.04, y, 4
Let u be 22/2*(-1 - -2). Suppose z + 5*j - 3 = 0, 5*j = -0*z + 3*z + u. Sort -5, 0, z in ascending order.
-5, z, 0
Suppose 0 = -a + 1. Let y be a/(-1)*-5 + -3. Suppose -x = -2*x - 3, 3 = 2*g - x. Put y, g, -3 in decreasing order.
y, g, -3
Suppose 6*m = 9*m + 6. Suppose 3*o + 45 = 8*o. Let g = o - 5. Sort g, 3, m.
m, 3, g
Let r = 29 - 31. Put -0.05, r, -0.2 in descending order.
-0.05, -0.2, r
Let n = -9.81 + 9.8. Let m = 0 - 0.4. Put m, -1/8, n in decreasing order.
n, -1/8, m
Let x be (-1)/(-1) + (-12)/6*1. Sort -4, x, 1, 6 in descending order.
6, 1, x, -4
Let o = 47 - 45. Let g = 6 + -2. Let a = -2.5 - 0.5. Sort o, g, a in descending order.
g, o, a
Suppose 8*h - 10*h = -8. Sort 1, 5, h, -3 in increasing order.
-3, 1, h, 5
Let d(v) = -v**2 + 5*v + 4. Let s be d(5). Suppose p - s = -2*i, 4*i - 22 = -p + 6*p. Let g = 2 + -3. Sort g, i, 2 in ascending order.
g, 2, i
Suppose -b = -6*b + t + 5, -1 = -b - 4*t. Suppose -5*f - 7 = 3. Let h = -13 + 8. Put f, b, h in descending order.
b, f, h
Let j be (1 - -6 - 0)*-1. Let r = 3 + j. Suppose 0 = 3*c - 5*q + 22 + 3, -10 = -5*c - 2*q. Sort c, r, 4 in ascending order.
r, c, 4
Let n(w) = -w**3 - 3*w**2 - 4. Let h = 6 + -9. Let j be n(h). Suppose 11*b - 10*b - 1 = 0. Sort 3, b, j in descending order.
3, b, j
Let r = -9 - 4. Let v = r - -8. Suppose -2*n = n. Put v, n, 4 in increasing order.
v, n, 4
Let j(h) = h. Let a be j(-1). Suppose 2*v - 4*y + 26 = 0, 5*v - 1 = 2*v - 2*y. Let w = v - -4. Sort -5, a, w in descending order.
w, a, -5
Let d(r) = r**3 + 2*r**2 - r + 3. Let u be d(-3). Suppose 11 - 4 = 7*o. Sort -1, u, o.
u, -1, o
Let b = -0.5 + 0.3. Sort b, 0.1, 22 in ascending order.
b, 0.1, 22
Let v(p) = -2*p**2 - p**2 - p**2 - 1 + 2*p. Let u be v(1). Let d be u/(27/6) + 1. Sort 0, d, -2/5 in increasing order.
-2/5, 0, d
Let w = -24 - -23. Let b = -3.27 + -0.33. Let l = b + 4. Put l, 3, w in descending order.
3, l, w
Let r be ((-6)/(-5 + 3))/(-7 - -3). Put r, -0.3, 0.5, 3/7 in increasing order.
r, -0.3, 3/7, 0.5
Suppose 4*j + 3 = 19. Suppose -j*c = -5*l + c - 40, c = 5. Sort l, 1/2, 0.02 in increasing order.
l, 0.02, 1/2
Let d(k) = 2*k**3 + k**2 - 6*k - 4. Let w be d(-2). Sort 0, -18, w in descending order.
0, w, -18
Let o(q) = q**2 + 3*q - 5. Let j be o(-5). Sort 1, -12, 3, j in increasing order.
-12, 1, 3, j
Let p = -17 - -19. Let d be (1/((-2)/(-4)))/p. Sort d, -0.5, -0.1.
-0.5, -0.1, d
Let j = 59.7 + -61. Sort j, -2, 0.5 in ascending order.
-2, j, 0.5
Let u be 2/4*(-4 + 4). Suppose u = -2*p + p. Suppose i = -p*i. Sort -1, 2, i in ascending order.
-1, i, 2
Let z(v) = v**2 - 1. Let i be z(1). Suppose 6*d - d - 35 = i. Sort 0, d, -4.
-4, 0, d
Let k(l) = -l**2 + 2*l + 1. Let m be k(-1). Let x(i) = -2*i**2 - 7*i - 5. Let p be x(-2). Sort 3, m, p.
m, p, 3
Let u = 279/1729 - 1/133. Sort 1, -1/3, 0.2, u in decreasing order.
1, 0.2, u, -1/3
Let m(b) = b**3 - 8*b**2 - 8*b - 9. Suppose -2*i - 2*i + 36 = 0. Let k be m(i). Suppose -5*v + 8 = -5*x + x, 2*v = -2*x - 4. Put k, x, -1 in increasing order.
x, -1, k
Let w be 654/8 - 4/(-16). Let y be 136/5*(-6)/2. Let d = w + y. Put -1/3, d, 4 in decreasing order.
4, d, -1/3
Let a(u) = -u**3 + u**2 - 2*u + 2. Let t be a(2). Let f = -3 - t. Put f, 1, 5 in ascending order.
1, f, 5
Suppose 14 = 2*j + 4. Let h(k) = -k**2 + k - 1. Let g be h(1). Suppose 3*o - 5*p + 15 = 0, -3 = 2*o - 2*p + 7. Sort o, g, j in descending order.
j, g, o
Let m(c) = -c**2 - 8*c + 2. Let u be m(-8). Put -1, 2/5, 0.2, u in ascending order.
-1, 0.2, 2/5, u
Suppose -k - 2*k - 2*p + 53 = 0, 0 = 4*p - 16. Suppose l = 3*w + k, 0 = 2*w + 3*w + 20. Sort l, -2, 2 in descending order.
l, 2, -2
Let r = 3 - 6. Let d = -9.7 + 2.8. Let v = d - -7. Sort -1/7, r, v in descending order.
v, -1/7, r
Let j = -2 + 7/2. Sort j, -2, 2/15 in descending order.
j, 2/15, -2
Suppose 3*m + 4*d = -d + 13, 2*m - d = 0. Suppose -3*u = -8 - m. Put -3, u, 2 in ascending order.
-3, 2, u
Suppose 5*k - 23 = 6*k + 5*x, 5*x + 25 = 0. Let p be (-1)/k*(4 - 2). Put -4, p, 1 in increasing order.
-4, p, 1
Let i = -3 + -2. Let s be 2 + (0 - -2)*-1. Sort i, s, 1 in ascending order.
i, s, 1
Let l = 0 - 3. Let h be 5 + 3/(l/1). Suppose -3*b = -h - 2. Put b, -5, 4 in ascending order.
-5, b, 4
Let p = 40 + -24. Let m be 0/(-2)*7/(-14). Suppose m = u + 3*u + p. Sort u, 3, -3 in increasing order.
u, -3, 3
Suppose -19*k = -7*k + 60. Put k, -2, -3, 3 in increasing order.
k, -3, -2, 3
Let b = 4 - 6.2. Let m = b + 0.2. Sort 0.2, 4, m in decreasing order.
4, 0.2, m
Let g be 4 + 0 + (-6)/2. Let o be 4/((-2)/g) - -6. Sort -5, o, -2.
-5, -2, o
Let q = -43 + 26. Sort 3, -2, -1, q in increasing order.
q, -2, -1, 3
Suppose 3*o = 4*o - 40. Suppose b = 5*y + o, -3*b + 40 = b + 4*y. Suppose 0*a - b = 5*a. Put a, 1, 3 in increasing order.
a, 1, 3
Let n = 0.45 + -0.05. Let t be (7/(-1))/(-1 + 3). Let q = 4 + t. Sort n, q, 1/4 in descending order.
q, n, 1/4
Suppose 333*s = 331*s. Put 2, s, -1, 58 in decreasing order.
58, 2, s, -1
Let q = -39 - -35. Put 5, 4, 0, q in increasing order.
q, 0, 4, 5
Suppose 3*l - 4*k + 587 = 0,