.
r, -1, h
Let n = -0.3 + -0.7. Suppose 2*v = 6*v - 5*m + 82, -4*m + 44 = -2*v. Let q be 15 + v + 5 + 1. Put -3/7, n, q in descending order.
q, -3/7, n
Let g(w) = -5*w - 25. Let b be g(-4). Put -1, 0, b, -3 in descending order.
0, -1, -3, b
Let p = 24 + -25. Sort p, 2, -1/7 in ascending order.
p, -1/7, 2
Suppose 2 = 4*q + 5*y, -2*q + 5*y - 5 = 9. Put 1, 3, q in increasing order.
q, 1, 3
Let t be ((-2)/7)/(1/2). Let f = -3/44 + -2/11. Sort -0.5, t, f in descending order.
f, -0.5, t
Let w(z) = 2*z - 7. Let g be w(5). Let p = g + -1. Suppose -n - 2*n + 5*u = 13, -2*n + 5*u - 17 = 0. Put p, 5, n in ascending order.
p, n, 5
Let x be 3 + 1*(-1 + -1). Put x, 4, 2/13 in ascending order.
2/13, x, 4
Let n = -31 - -44. Sort n, -1/3, -1, -3 in decreasing order.
n, -1/3, -1, -3
Let n = 25 - 31. Put n, 5, 4 in increasing order.
n, 4, 5
Suppose -z = -0*z - 2*a - 8, 3*z + 3*a - 6 = 0. Sort z, -5, -2.
-5, -2, z
Let g = -54 - -53.9. Put 2/11, 4/7, g in descending order.
4/7, 2/11, g
Let q be 1*(1 + -1*6). Let w = q + 4. Suppose -f = -5*u + 6 + 3, -f + 1 = 0. Put w, -2, u in increasing order.
-2, w, u
Let k be 11/(3 - (-14)/(-4)). Let f = k + 26. Sort 2, f, -1 in ascending order.
-1, 2, f
Let z be 1*(2 - (3 - 1)). Let r(q) = q**2 - 7*q - 21. Let u be r(9). Let v = 3 + -5. Put z, u, v in descending order.
z, v, u
Let k be (-15)/(-84) - 1 - (-20)/35. Sort k, -1.2, 0 in ascending order.
-1.2, k, 0
Let i = 3 + -2. Suppose -8 = 4*r + 3*o + o, 5*o + 5 = 0. Let l be (7 - 6)*(1 + r). Sort -3, i, l in ascending order.
-3, l, i
Let b = -16 + 10. Let w = 5 + b. Let p = -2 + 3. Sort w, p, -5 in decreasing order.
p, w, -5
Suppose -4*w + 3*w + 2 = 0. Suppose -d - 1 = 3. Let y(a) = a - 1. Let q be y(d). Sort w, q, 1 in descending order.
w, 1, q
Suppose 0 = -d - 4*g + 5, -4 = -d - g - 5. Sort -1, -21, d in increasing order.
-21, d, -1
Let h(c) = -2*c + 6. Let y be h(5). Sort 2, y, -1.
y, -1, 2
Let l be 41*-1 - (1 - -1). Put 4, 3, l in increasing order.
l, 3, 4
Let m = -7 - -6.4. Let q = m + 5.6. Sort -3, -5, q in decreasing order.
q, -3, -5
Let l(o) = -o**3 + o**2 + o - 4. Suppose 3*g - g = 0. Let t be l(g). Let n(f) = -f**2 - 5*f - 6. Let v be n(-4). Put 1, t, v in descending order.
1, v, t
Suppose -3*f + 3*g = 0, g + 0*g = -f. Sort -3, 1, f.
-3, f, 1
Let p(n) = -3 - 1 - n**2 + 2*n**2 - 3*n + 6*n. Let g be p(-4). Put 1, g, -3 in increasing order.
-3, g, 1
Let u = 21 + -20. Sort u, 31, 2 in decreasing order.
31, 2, u
Let p be ((-12)/(-8))/(27/(-18)). Let q = 7 + -5. Sort -4, p, q.
-4, p, q
Suppose -q + 36 + 34 = 0. Suppose -5*x - 2*d = -q, 2*x + 3*d - 3 = 3*x. Suppose 5*r - x = -2*z, 2*z - 4*z = 2*r. Put -1, r, 5 in ascending order.
-1, r, 5
Let n = 386 - 385.5. Let h = -3 + 2.9. Put n, -4, h in descending order.
n, h, -4
Suppose -w + h = -3, 3*w + h - 6*h - 19 = 0. Let u be (9/w)/((-4)/(-24)). Let q be 4/(-6)*u/6. Sort q, 5, -4 in decreasing order.
5, q, -4
Suppose a - 2*a + 3 = 0. Let d be 1 - (72/28)/a. Sort d, 5, 4.
d, 4, 5
Let j = -7.3 - -7. Let y be 3/12 - 3/28. Put y, j, -4 in decreasing order.
y, j, -4
Let f = 1 + -1. Let l be (f - 4/(-6))*6. Let t = 0.82 + -0.92. Sort -2/5, l, t.
-2/5, t, l
Let b(i) = i**2 - 7*i + 1. Let c be b(7). Suppose 9 = 5*r - c. Let q = 0 - 3. Sort -1, r, q in decreasing order.
r, -1, q
Let w = -84 + 671/8. Sort -0.04, w, 2/9 in descending order.
2/9, -0.04, w
Let c(l) = l + 33. Let w be c(-30). Put w, -1, 1 in ascending order.
-1, 1, w
Suppose v + 5*s = 4*s + 8, -4*v + 33 = 5*s. Let j = -10 + v. Sort 6, -5, j.
-5, j, 6
Suppose 5*p - p + 16 = 0. Let q be 1/p - 27/(-12). Let n be -5*(-3)/15*-3. Sort n, q, 0.
n, 0, q
Let y(t) = t + 5. Let q be -6 + -3*4/12. Let r be y(q). Sort 0, -3, r.
-3, r, 0
Let k(c) = -c**3 + c**2 - 2*c + 1. Let p be k(1). Sort 5, 1, p in decreasing order.
5, 1, p
Suppose -1 = -y + 1. Suppose -u + 2*u = y. Suppose 0 = 2*x + 3*x + 2*j + 4, u*x - 4*j = 8. Put 2/11, x, 2/7 in decreasing order.
2/7, 2/11, x
Let q = -2 + 2. Sort q, -3, -4, -1 in increasing order.
-4, -3, -1, q
Let k = -6 + 8. Let c = -5 + k. Let d = c - -3. Put 2/5, d, -5 in decreasing order.
2/5, d, -5
Suppose -4*c - 28 = -2*j, 5*c = 3*j - 31 - 6. Let p(i) = i + 18. Let w be p(-18). Put c, w, -4 in decreasing order.
w, -4, c
Let s = -3 - 4. Let t = 7.1 + s. Let v = 0.01 - 3.01. Put -5, t, v in descending order.
t, v, -5
Let n(g) = 0*g**2 + 3*g**3 - g - g**2 - 1 + 0*g**2. Let c be n(-1). Let k = -9 - -6. Sort k, -2, c.
c, k, -2
Suppose 6*l = 4*l + 10. Let f(k) = k**2 - 9*k + 3. Let z be f(8). Suppose 4*g = -1 - 7. Sort z, l, g in descending order.
l, g, z
Let y = 19.1 + -19. Sort 1, y, -5 in descending order.
1, y, -5
Suppose -2*f = -4*y - 24, -6*f = -3*f - 5*y - 31. Sort -13, 1, f, 3.
-13, 1, f, 3
Let v(w) = 4*w - 1. Let i be v(-1). Let u(p) = p + 8. Let k be u(-7). Suppose 5*l + 4*c - 2*c = k, -3*c = l + 5. Put i, l, 3 in ascending order.
i, l, 3
Suppose -3*c - 32 = 2*z, -4*c + 0*c - 36 = 4*z. Put 2, 3, c in increasing order.
c, 2, 3
Suppose 2*h - s = 5, 3*s + 6 = 4*h + 1. Suppose 0 = 154*c - 161*c. Put h, c, -5 in increasing order.
-5, c, h
Let a be (-2)/7 - (-64)/(-168). Put -1, a, 0.4, 0.3 in ascending order.
-1, a, 0.3, 0.4
Let w(b) = 2*b + 4. Suppose -4*o - 1 = 7. Let i be w(o). Put 5, -11, i in ascending order.
-11, i, 5
Let t be (-1)/(1 + 4/(-3)). Suppose -3*o + 0*w - 4*w + 8 = 0, 0 = -w - 1. Suppose 2*z = 2, n - o = -0*n - 5*z. Put n, t, 4 in decreasing order.
4, t, n
Let p(v) = v**2 - 8*v - 24. Let h be p(10). Let t = 0.03 - 0.09. Sort t, h, -1.
h, -1, t
Let f = -4 + 3.7. Let n = -54 + 54.2. Put 2/19, n, f in decreasing order.
n, 2/19, f
Let h(r) = -r**2 + 12*r + 10. Let j be h(13). Put 4, -5, j, 0 in ascending order.
-5, j, 0, 4
Suppose 5 = 2*k - 1. Suppose -4*r + 2 = 2*t, -r + 13 = -0*r + k*t. Let d = -19 + 14. Sort d, -4, r.
d, -4, r
Let h(w) = -w - 2. Let j = 4 - 5. Let u be h(j). Put -2, 5, u in descending order.
5, u, -2
Suppose -35 + 10 = 4*x + 5*r, 25 = -5*x - 5*r. Let q be 1/(-5 - (-1 + -3)). Sort q, x, 4.
q, x, 4
Suppose -4*k + 5*t - 12 - 3 = 0, 2*k = t - 9. Let y = -1 + 4. Sort y, 1, k in descending order.
y, 1, k
Let c be 12/56*(-4)/(-6). Let u = -0.03 + -0.27. Let h = u - 0.7. Put c, h, -2/9 in decreasing order.
c, -2/9, h
Let z(t) = t**3 - 6*t**2 - t + 8. Let s be z(6). Suppose 3 = w - 2. Suppose -15 = -5*f - w*o, f + 2 = 3*f + 4*o. Sort s, f, -3 in increasing order.
-3, s, f
Let q(a) = a**3 + 14*a**2 - 16*a + 4. Let t be q(-15). Sort -3, t, 3, -5.
-5, -3, 3, t
Let a(y) = 2*y - 8. Let h be a(5). Put h, -4, -8 in increasing order.
-8, -4, h
Let i = 0 - 4. Let k = -2 - -1. Put 3/7, i, k in increasing order.
i, k, 3/7
Let q(g) = -31*g**2 - 3 - 2 - g**3 + 25*g**2. Let u be q(-6). Let r(b) = -5*b**3 + 2*b**2 - 1. Let y be r(1). Sort y, -2, u in decreasing order.
-2, y, u
Suppose -3*k - 16 + 1 = 5*l, 3*l - 4*k - 20 = 0. Suppose 2*h = -l*h + 4. Sort -1, 0, h in ascending order.
-1, 0, h
Suppose 4*s + 4*l = 53 + 19, 0 = -3*s + 2*l + 69. Let v be (-6)/s - (-8)/(-21). Put -3/4, -2/5, v in descending order.
-2/5, v, -3/4
Suppose -3*a = -4*a + 3*o + 6, 2*o = -a + 1. Sort a, 0, -3 in decreasing order.
a, 0, -3
Let x = 1726/7 + -247. Sort -2/5, -0.1, 0.5, x in descending order.
0.5, -0.1, -2/5, x
Let y = 0.1 - -0.4. Let a(v) = -v**3 - 5*v**2 - 2*v - 1. Let z be a(-5). Let k = z + -6. Sort k, y, 1/3 in decreasing order.
k, y, 1/3
Let c = -0.2 + -2.1. Let l = 2 + c. Put 0.1, 0.5, l in ascending order.
l, 0.1, 0.5
Let n be (6/4)/((-1)/(-2)). Sort 2, n, -3 in decreasing order.
n, 2, -3
Let k = -8 - -7.7. Let z(j) = -2*j + 10. Let w be z(5). Sort k, -2, w in decreasing order.
w, k, -2
Let j = -2 - -5. Suppose j*h + 17 = 4*u, 2*u - 13 = h - 4*h. Let t be -1*0/((-10)/2). Sort t, 4, u in decreasing order.
u, 4, t
Let q = 2 - -2. Let t be (q/1)/(0 + -1). Put 0, t, -1 in descending order.
0, -1, t
Suppose 0 = b - 3*b. Sort -4, b, -1 in increasing order.
-4, -1, b
Suppose -i = 4*i - 50. Suppose 4*f - 2*x + i = 0, 2*f + x + 10 = -f. Sort -2, 5, f in ascending order.
f, -2, 5
Let x = -11 - -14. Sort x, 1, -1 in descending order.
x, 1, -1
Suppose -w - 2*w - z - 69 = 0, 2*w = 2*z - 54. Let j = -74/3 - w. Sort j, -5, -3.
-5, -3, j
Let f(c) = c**3 - 2*c**2 + 2*c - 3. Let j(s) = -s**3 + 2*s**2 + 2*s - 2. Let b be j(2). Let q be f(b). Put 5, q, -3 in decreasing order