-3)/(-2)*(-30)/x. Sort z, -2, 2 in descending order.
z, 2, -2
Let p = 2165/11 - 197. Put 0.2, -0.5, -2/7, p in decreasing order.
0.2, p, -2/7, -0.5
Let l(g) = -2*g**3 + 9*g**2 - 4*g + 5. Let f be l(4). Put -5, -4, f in descending order.
f, -4, -5
Suppose 11*c = 16*c - 30. Put 5, -4, c in descending order.
c, 5, -4
Let a = 0.8 + -0.6. Sort a, -2.1, -4 in descending order.
a, -2.1, -4
Let x be (-21)/216 - (-14)/63. Sort -2, -0.2, x.
-2, -0.2, x
Let l = -3 + -1. Suppose -8 = 174*r - 170*r. Put -1/2, l, r in ascending order.
l, r, -1/2
Let b = -51 - -50.73. Let u = -0.03 + b. Sort 0.4, -0.4, u.
-0.4, u, 0.4
Let i be 2/(-4)*10/3. Let f = 8 + -13. Sort 2, i, f in increasing order.
f, i, 2
Let w(u) = 2*u + 42. Let x be w(-19). Put x, -5/4, 10, 2/9 in decreasing order.
10, x, 2/9, -5/4
Suppose -4*f = k - 0*k - 30, 3*f - 3*k = 30. Put -4, 0, f in descending order.
f, 0, -4
Let p(s) = s**3 - 8*s**2 - 2*s + 10. Let l be p(8). Let y be 6/(-135)*3*l. Sort y, 3, 0.4 in descending order.
3, y, 0.4
Let l = -23 - -14. Let t(b) be the first derivative of -b**2/2 - 13*b + 1. Let o be t(l). Put o, -3, -2 in ascending order.
o, -3, -2
Let i = -1 + 3. Suppose i*j + 11 = -3*a + 4, -5*j = -a + 26. Let b = j - -10. Sort -4, b, -2 in ascending order.
-4, -2, b
Suppose 5*c - 3*i = 1, 3*c - 2 = -c + 3*i. Let k be -1 - (-2 + -2) - c. Sort 0, k, -3.
-3, 0, k
Let k(l) = l - 4. Let n be k(5). Let f(g) = -g + 2. Let o be f(n). Let b = 63 + -59. Sort b, 2, o.
o, 2, b
Let n = 1325333/9 - 147038. Let k = n - 221. Sort -5, 0, k in decreasing order.
k, 0, -5
Suppose -o = 6 - 1. Let b be 10*((-6)/o)/(-3). Let d = b - -4. Sort -3, 3/2, d.
-3, d, 3/2
Let a = -28 - -28. Sort -1, 3, a, -3.
-3, -1, a, 3
Let i(w) = -w - 8. Let x be i(0). Suppose -3*n + 6 = 3. Sort n, -3, x in decreasing order.
n, -3, x
Let x = 0.5 - 1.5. Let v = x + 0.7. Sort 0, v, 2/11 in increasing order.
v, 0, 2/11
Suppose -5*s = -0 - 20. Let g = -3 - -1. Suppose 5*l - 3*z - 31 = 0, 4*l - 2*z - z = 26. Put s, g, l in descending order.
l, s, g
Let x(o) = 7*o**2 - 6*o**2 + 6 + 2 + 10*o + 3*o. Let g be x(-12). Let f = -3 - -4. Sort -1, f, g in descending order.
f, -1, g
Let f be 1/(-5)*10/4. Sort 2/3, f, -1 in descending order.
2/3, f, -1
Let p be 6*(-4)/(-42)*(-10)/(-20). Let y(o) = -o**2 - 4*o + 7. Let n be y(-6). Sort -4, n, p.
n, -4, p
Let t(m) = 3*m**3 - 26*m**2 - 9*m + 4. Let k be t(9). Put k, 1, 13, -5 in descending order.
13, k, 1, -5
Let r = 125.5 - 125. Put r, -3, 0 in increasing order.
-3, 0, r
Let h(p) = p**2 - 4*p + 1. Let g be h(5). Suppose 0 = -s - 2*s + g. Let v be ((-2)/(-12))/(s/6). Sort -3, v, 0 in decreasing order.
v, 0, -3
Let s be -2 - 2 - -2 - -2. Put 5, 4, s in decreasing order.
5, 4, s
Let d = -8 + 11. Let q = -0.3 - -0.47. Let w = 0.07 - q. Sort w, -0.5, d in descending order.
d, w, -0.5
Let l be (8/2)/((-2)/2). Let v = 26 - 18. Suppose 2 + v = -2*r. Put r, 2, l in descending order.
2, l, r
Suppose 4 = -5*z - 6. Let j be -3 + (2 - -2) + 1. Let u be (-2)/(6/(-3))*-3. Put u, z, j in decreasing order.
j, z, u
Let t = 382/37345 + 4/385. Let h = t + -208/679. Put -3, h, 0.3 in decreasing order.
0.3, h, -3
Let l(i) = i**3 - 2*i**2 - 3*i - 2. Let u be 1/(0 + (-3)/(-9)). Let v be l(u). Suppose 0 = 2*h + 5*f + 30, 5*h - 3*f - f + 9 = 0. Sort v, 3, h.
h, v, 3
Let b(n) = n**2 - 3. Let q be b(0). Let y(j) = j**2 - 4*j + 1. Let t be y(3). Suppose 5*o - 2*m = 0, -3*o - 5*m = -0*o. Sort t, o, q in decreasing order.
o, t, q
Let h = 121/56 + -15/8. Let c = 3 - 7. Sort h, 3, c in ascending order.
c, h, 3
Let f be 2/6*(12 + -3). Let x be 20/(-15)*f/(-14). Let n be (2/(-5))/(32/30). Sort -0.1, x, n in descending order.
x, -0.1, n
Let v = -875/8 + 109. Sort -0.3, -0.1, v.
v, -0.3, -0.1
Let f be -5*(5 + -2)/(-3). Let p = -14 + 1. Sort p, f, -4 in increasing order.
p, -4, f
Let k = -9 - -14. Let i = 5.5 - k. Sort -5, i, 0.1 in ascending order.
-5, 0.1, i
Let n = 1.94 - 2. Let k = n - 0.34. Let u = 51/125 - 1/125. Put 5/4, u, k in descending order.
5/4, u, k
Suppose -w + 4*w + 12 = 0. Let s = w + 7. Let b be -3 + 0*s/(-6). Sort -2, b, -1 in increasing order.
b, -2, -1
Let b = 23 - 25. Put b, -3, 2 in ascending order.
-3, b, 2
Let t = -0.3 + -0.3. Let s = -5.6 - t. Put -0.3, -3/2, s in decreasing order.
-0.3, -3/2, s
Suppose 3 - 1 = 3*f - 2*o, -3*o = 5*f + 3. Let d(g) = g - 2. Let b be d(0). Sort b, 2, f in decreasing order.
2, f, b
Let r = -0.41 + 3.41. Sort 0.4, -10, r in ascending order.
-10, 0.4, r
Let t be 5*2*16/40. Let q = 0 + -1. Put q, t, 2 in decreasing order.
t, 2, q
Let p be 57/15 + 2/10. Sort p, 5, 3.
3, p, 5
Let q = 1 - -1. Suppose 4 = -4*w, -q*w + 2 = -3*z + 2*w. Let x(m) = m + 15. Let n be x(-18). Sort n, 5, z.
n, z, 5
Let q(y) = 2*y. Let j = 15 + -12. Let f be q(j). Put f, -3, 5 in ascending order.
-3, 5, f
Suppose 0*r = 4*u - r, 2*u - 4*r = 14. Let m(t) = t**3 + t**2 - 1. Let p be m(u). Suppose 2*f = s + 11, 16 + 3 = f - 5*s. Put p, 5, f in increasing order.
p, f, 5
Suppose -4*t = 8, 7*t - 3*t + 10 = 2*m. Suppose 0 = -2*z - 3*p + 4, -3*p - 8 = -0*z - 4*z. Sort z, m, -3.
-3, m, z
Let w(c) = -4*c + c**2 + 1 - 2*c + 1. Let a be w(7). Suppose -2*r + 0*s - s + a = 0, 5*r = -5*s + 30. Sort -4, r, 1 in descending order.
r, 1, -4
Let l be (-2)/(-3) - 110/(-15). Suppose o + o = -z - 2, -3*o - l = 4*z. Put -4, z, 4 in descending order.
4, z, -4
Let p = -10 - -13. Sort p, -2/21, -4.
-4, -2/21, p
Let t = 0.4 + -0.2. Let d = t - -0.2. Let z = -0.3 + d. Sort -5/2, z, -1 in descending order.
z, -1, -5/2
Let v be (-22)/(-5) + -1 + (6 - 9). Put 0.1, v, -13 in decreasing order.
v, 0.1, -13
Let o = 6 + -3. Sort o, 5, -5.
-5, o, 5
Suppose 20 = 4*x + 8. Let t be (-2)/x + 13/(-3). Suppose -3*d + 4 = -b - 0*d, 0 = -4*b - 3*d - 1. Put t, b, -3 in descending order.
b, -3, t
Let h(w) = -w + 6. Let n(c) = c**3 - c + 5. Let g be n(0). Let y be h(g). Put -1, y, -2 in descending order.
y, -1, -2
Let t be 12/(-8)*16/(-6). Suppose -2*v = -t*v - 4. Suppose 10 + 15 = 5*i. Put i, v, 1 in increasing order.
v, 1, i
Let v = 0 + -7. Let j(p) = p**3 + 6*p**2 - 7*p + 2. Let h be j(v). Put h, 1, -7 in increasing order.
-7, 1, h
Let a = -9 + 19. Let r = -8 + a. Suppose -2*b - r*h = -3*b - 14, b + 4*h = 16. Sort 0, b, 1.
b, 0, 1
Let o = 0 + 5. Let a = 10 - o. Sort -2, a, 2/3.
-2, 2/3, a
Let r = -27.5 - -28. Suppose -3*c = c. Sort 3, c, r in increasing order.
c, r, 3
Let b be (-2)/5*(-11 + 1). Let d(a) = -a**3 - 5*a**2 + 5. Let w be d(-5). Sort b, w, 2 in ascending order.
2, b, w
Let u(r) = -r - 3. Let j be u(-5). Sort -0.3, j, 1, 3/5.
-0.3, 3/5, 1, j
Suppose -7 + 3 = -4*p, 0 = 3*g - p - 8. Suppose 3 = 4*o - 0*o + 3*h, o - 1 = -h. Let f = -1 + -3. Sort f, o, g in decreasing order.
g, o, f
Let r(j) = 9*j - 5. Let g be r(1). Sort 3, -6/5, g, -0.6 in descending order.
g, 3, -0.6, -6/5
Let o(n) = -n**3 + 6*n**2 - 5*n - 1. Let b be o(5). Suppose 7*y = 2*y + 110. Suppose w - 12 = -2*v, 2 = -3*v - 2*w + y. Sort b, v, -5 in ascending order.
-5, b, v
Let v = -4/3 + 5/3. Suppose 5 = 5*c + 3*k + 2*k, -4 = 2*k. Put 12, c, v in decreasing order.
12, c, v
Let l = -0.13 + 5.63. Let o = l + -0.5. Let z = o - 4.6. Sort -3, -0.1, z.
-3, -0.1, z
Suppose -i = -2*i. Let n be (-2)/(-4) - ((-135)/10 + 10). Sort -3, n, i in increasing order.
-3, i, n
Let w = 1007/9 + -112. Let u = -35903466/91 + 394548. Let j = u + -32/7. Put -2/5, j, w in descending order.
w, j, -2/5
Suppose 0 = -81*v + 85*v - 104. Sort -5, -2, v.
-5, -2, v
Let t = 1/2 + -1/6. Sort -4, 1, 1/4, t in decreasing order.
1, t, 1/4, -4
Let b = 40 - 35. Sort 0, b, -3.
-3, 0, b
Let d = 7 + -2. Suppose -a - 20 = -2*c - 5*a, d*c = 3*a - 15. Suppose 2*r = -c*r + 6. Sort 4, r, 5 in descending order.
5, 4, r
Suppose -2*g - g = -6. Suppose 2*b - g = -6. Suppose 4*v = -3*w - 6, -5*v + 7*w = 6*w - 2. Put b, v, 2 in decreasing order.
2, v, b
Let o(l) = l**2 - 8*l - 5. Suppose 0 = 4*h + 5*y - 22, 5*h - 44 = -0*h + 2*y. Let x be o(h). Sort x, -1, 4.
x, -1, 4
Let g = 33 - 36. Sort -1, 4, g in descending order.
4, -1, g
Suppose -3*q - 5*v = -v + 31, 3*q + 5*v = -35. Sort 1, q, -4 in decreasing order.
1, -4, q
Let k(r) = -r**3 - 12*r**2 - 11*r - 3. Let v be k(-11). Let q be 1*(v + 21/6). Sort -2/15, -0.4, q in ascending order.
-0.4, -2/15, q
Suppose w + 2 = -3. Let c be (-3)/(-6)*(-9 - -1). Suppose z + 18 = 4*x, 4*z = 