 n in descending order.
n, 1, 0
Suppose 3*r - 4*u - 17 = 0, 4*u - 5*u = -3*r + 2. Let i = -68 - -65. Sort r, 3, i.
i, r, 3
Let y = -13/2 + 7. Let d(n) = n**3 + 6*n**2 - 7*n - 3. Let q be d(-7). Put y, q, -1/7 in decreasing order.
y, -1/7, q
Let v = -0.7 - -0.69. Let u = -0.41 - v. Sort 0.3, u, -1/3 in increasing order.
u, -1/3, 0.3
Suppose -2*y + 10 = -0*y. Suppose 4*j = -5*o - y - 12, -j = -4*o - 1. Put 1, j, 5 in descending order.
5, 1, j
Suppose 0 = 2*g + 2*f - 6, -2*g = -2*f + f. Put 4, g, -1 in decreasing order.
4, g, -1
Let k = 2.1 + -2. Let h = 10 + -13. Sort 0.4, k, h in decreasing order.
0.4, k, h
Suppose 0 = -5*v - 5*c + 15, -2*v + 3*v + 2*c = 2. Sort v, -5, 5, -2.
-5, -2, v, 5
Let z = -79 + 80. Put -2, 4, -1/2, z in descending order.
4, z, -1/2, -2
Suppose 3*j - s + 3*s = 25, 10 = 2*s. Let l(h) = -14 + h - 4*h + 2*h. Let u be l(-12). Sort j, 1, u in ascending order.
u, 1, j
Let j(r) = -2*r - 5. Let n be j(-5). Suppose -b = -2*b - n. Sort 5, -1, b.
b, -1, 5
Suppose -4*i - 14 = 4*a - i, -4*i + 18 = -2*a. Let u = -81 + 85. Let o = -3 - -3.1. Sort u, o, a in descending order.
u, o, a
Let c = -12 - -7. Let n be 0 + 5 + -2 + -3. Suppose n = -4*m + 2*w + 4, 0 = m - 4*w + 1 - 9. Put -2, m, c in decreasing order.
m, -2, c
Let i be 2/10 - 82/10. Let c = i + 4. Sort -2, -3, c.
c, -3, -2
Let g(t) = t - 7. Let f be g(7). Let o = 2 - 3. Let q be 1/1 + (1 - o). Put 4, q, f in ascending order.
f, q, 4
Let o be -2 - 15/(-3) - 10. Let s = o + 9. Sort 5, 3, s in ascending order.
s, 3, 5
Let m(v) = v + 5. Let w be m(-5). Let f = w - 0. Let n = 4 + -8. Put f, 3, n in descending order.
3, f, n
Suppose 4*j + 5 = 3*j. Let v(b) = b**3 + 4*b**2 - 6*b. Let k be v(-5). Suppose 15 = -5*y - 2*s + s, 0 = -3*y - 3*s - 21. Sort j, y, k in descending order.
k, y, j
Let u = 0.07 + -0.07. Let o = u - -0.2. Let f = -4.7 + 5. Put 2/5, o, f in descending order.
2/5, f, o
Let z = -6.5 + 2.5. Let j = 5 + -10. Sort z, j, -0.2 in increasing order.
j, z, -0.2
Let u = -21 + 17. Suppose -1 = z - 3. Suppose -z*s + 4*s = 4*q + 8, -3*q = -2*s + 5. Sort q, u, 3 in increasing order.
u, q, 3
Suppose -3*i + 4 + 11 = 0. Let s(w) = -w**2 - w + 1. Let v be s(0). Suppose 0 = 4*r - 0 + 16. Sort i, v, r in descending order.
i, v, r
Suppose 0 = 3*f - 10 + 37. Let j be (f - -2)/(-2 - -1). Put j, 3, -0.1 in increasing order.
-0.1, 3, j
Let s = 1 - 4. Let n = 4.4 + s. Let i = n - 0.4. Put i, 3, -5 in decreasing order.
3, i, -5
Let i = 0.93 + -0.13. Let r = 1 - i. Sort -1/5, r, 1/6 in increasing order.
-1/5, 1/6, r
Suppose -5*u = -3*u + 2. Sort u, -3, 5 in ascending order.
-3, u, 5
Let f = -4 + 3.5. Let q be ((-20)/5)/(1/2). Let i be (-1)/q*(-6 + 4). Sort f, i, -2 in increasing order.
-2, f, i
Suppose 4*c + 2*b = 200, -2*c + 4*b = 2*c - 224. Let q be c/198 - (-4)/22. Put 0.5, -1/2, q in decreasing order.
0.5, q, -1/2
Suppose 3*m + m + 8 = 0. Let q(c) = c + 12. Let t be q(-7). Suppose r + 1 = -h, 0 = -5*r + 2*h - 3 - 23. Sort m, r, t in decreasing order.
t, m, r
Let x = -31 + 26. Let c(v) = -v**2 + 8*v - 8. Let j be c(6). Sort j, -4, x in decreasing order.
j, -4, x
Suppose 2*t + 24 = -t. Sort -3, -4, t, 1 in decreasing order.
1, -3, -4, t
Suppose 5*q = -0*q - 10. Let a be 2 + -2 + 3 - q. Put 2, a, 3 in increasing order.
2, 3, a
Suppose -1 - 3 = k. Suppose 4*c = 2*r + 2, 0*r + 3*c + 9 = 5*r. Sort -3, r, k in decreasing order.
r, -3, k
Suppose -5*t + 2*t + k - 4 = 0, 0 = 4*k + 8. Put t, 0, -4 in ascending order.
-4, t, 0
Let y = 74 + -90. Sort y, -2, -5, -4 in descending order.
-2, -4, -5, y
Let i be 8*4/8*-1. Put -1, 2, i in ascending order.
i, -1, 2
Let h be 6/(-14) - (-350)/(-98). Suppose 0 = -0*c + 4*c + 4*t - 4, -t = 0. Suppose 5 = w - 0*w. Sort h, w, c in decreasing order.
w, c, h
Let y(t) = -3*t. Let r be y(-1). Let o = -30.9 + 27.9. Let z = -8 - -4. Put o, r, z in decreasing order.
r, o, z
Let m(h) = -3*h**3 - h**2 + 3*h - 6. Let c(u) = -u**3 + u**2 + 1. Let s(b) = 4*c(b) - m(b). Let x be s(5). Sort -1/3, x, -4 in descending order.
-1/3, -4, x
Let o = -18 - -15. Let a be (-10)/(-4)*(-4)/(-5). Sort 4, o, a in decreasing order.
4, a, o
Let d = -52 + 71. Sort 3, -2, d.
-2, 3, d
Let h = 17 - 15.1. Let l = h - -0.1. Sort -1/5, l, 3 in descending order.
3, l, -1/5
Let j(u) = 2*u**2 - 3*u + 2. Let l be j(2). Suppose -2*p + 3 = -4*q + 1, 0 = -q - p + 7. Suppose 5 = s + q. Put l, 5, s in increasing order.
s, l, 5
Let n = -0.1 + 0.1. Let q = 2 + -0.88. Let w = q + -0.12. Sort w, -0.2, n.
-0.2, n, w
Let k = 53 + -55. Sort k, -1, 4, -5.
-5, k, -1, 4
Let z = 5.4 + -5. Suppose 3*d - 3 = 2*d. Put 1/10, z, d in descending order.
d, z, 1/10
Suppose -5*i = 1 - 6. Suppose -3*w = w + 16. Sort i, -3, w in decreasing order.
i, -3, w
Let p(k) = k. Suppose -20 = -0*v + 4*v. Let q be p(v). Put q, 0, 5 in descending order.
5, 0, q
Let v = -9 - -11. Suppose -3*m = -6 - 3. Sort m, v, -1 in decreasing order.
m, v, -1
Let h = 0.249 + 0.081. Let i = h + 0.07. Put 5, 1/4, i in descending order.
5, i, 1/4
Let q be 2 + 2/1*-1. Suppose 2*t + 8 = 4*v, -5*t - 9 = -2*v + 3. Sort -1, t, q.
t, -1, q
Suppose -29 + 8 = -3*c. Let i = c - 1. Let y = 4 - i. Sort y, 2, 4.
y, 2, 4
Let p = -13/22 - 10/11. Suppose 3*f - 4 + 10 = 3*h, -4*f + 4 = -h. Let c = -0.41 - -0.01. Sort c, p, h in ascending order.
p, c, h
Let o be 3 + (-22)/(-4 - -3). Let q be (-10)/(-4)*40/o. Put -5, -1, q in descending order.
q, -1, -5
Let j be 3/9*3*3. Suppose j = -5*u - 22. Let r be 1*(1 - 2 - -1). Sort r, u, -4.
u, -4, r
Suppose -2*s - 2*l = 44, 3*s + 0*l - 2*l = -41. Sort s, -5, -1, 2 in decreasing order.
2, -1, -5, s
Let g be (6/(-9))/(2/3). Put -4, g, -2, -3 in decreasing order.
g, -2, -3, -4
Suppose -9*x - 24 = 12. Sort -33, x, 2 in descending order.
2, x, -33
Suppose 4*k + 12 = 4. Suppose -5*b + 7 = v + 20, 2*b + 2 = -2*v. Sort v, k, -1 in decreasing order.
v, -1, k
Let f = -48 - -48. Sort -0.6, 0.1, f.
-0.6, f, 0.1
Let m = 1 - -1. Let u be (4/4)/1*(-1)/(-1). Put m, u, 0 in ascending order.
0, u, m
Suppose 2*c + 3 = -3*r - 2, -5*r - 30 = -c. Put 2, r, 0, -3 in ascending order.
r, -3, 0, 2
Suppose 0*g + 3*g + 18 = 0. Suppose s - 5*o = -16, 4*s + 0*o = 4*o - 16. Sort g, -3, s in increasing order.
g, -3, s
Let w be ((-24)/9)/(25/30). Let p = 3 + w. Let k = 0.05 - -0.35. Put 0.5, p, k in decreasing order.
0.5, k, p
Suppose 0 = -2*d - 4*d + 5*d. Put d, 1, -5, -2 in descending order.
1, d, -2, -5
Let v = -77 + 79. Let o = -1 - 0.9. Let m = -2 - o. Put m, v, -0.4 in ascending order.
-0.4, m, v
Let f = -4/9 + 29/45. Let n = f - -1/5. Put -0.1, n, -2 in increasing order.
-2, -0.1, n
Let j be 2 - (-1)/((-16)/34). Let q be 2/6 - (-7)/(-39). Let z be ((-2)/(-18))/((-1)/(-2)). Sort z, j, q in decreasing order.
z, q, j
Let v(t) = -t**2 - 2*t + 1. Let z be v(-6). Let k = 67/3 + z. Let q be ((-2)/(-4)*-3)/(-3). Put k, -1, q in increasing order.
-1, k, q
Let q = -3.4 + -1.6. Sort q, 3, -2 in descending order.
3, -2, q
Let c = 7 - 5. Let m = -8 - -13. Suppose -4 = m*h - 4*h. Put c, h, -2 in increasing order.
h, -2, c
Let g be (1 - -3) + 6/2. Let n be (-36)/21 - 2/g. Put -1, 0, n in ascending order.
n, -1, 0
Suppose 0*c + c - 2*f - 12 = 0, -3*c = 2*f + 4. Sort c, -2, -2/3, 1 in decreasing order.
c, 1, -2/3, -2
Let u = 2.8 + -3.3. Sort 0.2, -0.03, u in increasing order.
u, -0.03, 0.2
Let y = -11.67 + 0.17. Let p = -11 - y. Put -5, p, -0.05 in descending order.
p, -0.05, -5
Let k(o) = -o**2 + 8*o + 13. Let n be k(9). Suppose -m - n*m + 15 = 0. Suppose -5*j = -10, -7 = -v - 3*j + m. Sort v, -1, -3 in increasing order.
-3, -1, v
Let o = 3.2 + -3.1. Let n = -5 - -5. Sort n, -0.1, o in ascending order.
-0.1, n, o
Let l = 0.4 - 0. Let w = l - 0.45. Let u = -0.25 + w. Sort -2/7, u, -2 in descending order.
-2/7, u, -2
Let g = -1.1 + 0.99. Let m = g + 4.11. Let i = m + -3.8. Put 0.1, 0.3, i in decreasing order.
0.3, i, 0.1
Let s be (2/(-6))/((-5)/(-15)). Put 1/20, s, 4/5 in descending order.
4/5, 1/20, s
Let s = -6.4 - -4.4. Sort s, 0, -12, -0.4.
-12, s, -0.4, 0
Let f = 31 + -31.2. Sort 2, f, 3/8, -0.06 in descending order.
2, 3/8, -0.06, f
Suppose 3*m - 4065 = -2*m. Let b be 2 + -10*162/m. Let h = -283/1626 + b. Sort -0.2, 1, h in increasing order.
-0.2, h, 1
Let y = -1/41 + 87/205. Let h(l) = l**2 - 5*l + 6. Let m be h(4). Let z = -5 - 0. Sort m, z, y in descending order.
m, y,