 = 3*m. Sort -4, 4, m.
-4, m, 4
Let q = -9 + 9.14. Let p = 0.54 - q. Put p, 0, 0.3 in decreasing order.
p, 0.3, 0
Let d be (-1 + -9)*2/(-4). Suppose 3*a - d = -2*a. Suppose 3*x + 1 = -5*r + 12, 5*x + 2*r = -7. Sort 3, a, x in descending order.
3, a, x
Let v be (-21)/6 - 2/(-4). Let z(k) = -k**2 - 7*k - 7. Suppose 21 = -4*q + 5. Let t be z(q). Sort v, t, 3.
v, 3, t
Let c = 0.29 - -0.11. Let f be 3 + -1 + 48/(-21). Put -2, c, f in decreasing order.
c, f, -2
Suppose 6*k - 329 = -341. Let x(s) = s - 8. Let b be x(4). Let h be (2/b)/(2/12). Put k, h, 3 in increasing order.
h, k, 3
Let p = 4 - 5. Let n be p*2 - (8 - 8). Let w be (-5)/(-2) + (-1)/n. Sort 5, 2, w in decreasing order.
5, w, 2
Let z = 3/19 - 78/133. Put z, -5/3, -5, -0.5 in increasing order.
-5, -5/3, -0.5, z
Suppose 7 + 0 = -7*a. Sort a, -5, 18 in descending order.
18, a, -5
Let o = -1.1 - -1. Let x = -4.8 + 26.8. Let b = x - 26. Put o, b, 0 in decreasing order.
0, o, b
Let r = -11/9 - -35/36. Put -5, 1.9, r, -1/7 in decreasing order.
1.9, -1/7, r, -5
Let z(h) = h - 6. Let u be z(8). Put -5, -2, u in ascending order.
-5, -2, u
Suppose 4*p - 36 - 16 = 0. Let f(l) = -l + 10. Let r be f(p). Put 1, r, 3/2 in increasing order.
r, 1, 3/2
Let v = 0.027 + 1.923. Let c = 0.05 + v. Let z = c + -2.4. Put -5, 1, z in increasing order.
-5, z, 1
Let w = 5 - -1. Let v = w + -4. Let i(j) = 5*j**3 - j + 1. Let u be i(1). Sort -5, u, v in descending order.
u, v, -5
Let q(t) = -t - 4. Let y be q(-5). Let a(w) = 4*w**3 - w**2. Let d be a(y). Put 1, 4, d in increasing order.
1, d, 4
Let a = 10 + -4. Suppose -20 = x - a*x. Let d(q) = q**3 + 2*q**2 - q + 3. Let u be d(-3). Put u, -1, x in decreasing order.
x, -1, u
Let d be -3*3/((-18)/(-4)). Suppose -45*i = -15 - 75. Put d, i, -20 in descending order.
i, d, -20
Let n = 1.5 + -4.5. Let k = 2.8 - 3. Let u = -0.3 - 0.2. Sort u, n, k.
n, u, k
Let k(f) = 3*f**2 - f - 2. Let i be k(-1). Sort i, 0, -1 in descending order.
i, 0, -1
Let k be (-4)/14 - (-80)/35. Let x(q) = 4*q**3 + q**2. Let s be x(-1). Sort -2, s, k.
s, -2, k
Let n = -0.096 + -0.904. Let o = 0.2 + 3. Let z = o + -3. Sort -3, n, z in ascending order.
-3, n, z
Let p be 2*(99/(-30))/11. Put -27, p, 2/17 in descending order.
2/17, p, -27
Let d = 0.04 - 2.04. Let g = 0.8 + 0.2. Put g, d, 2/7 in descending order.
g, 2/7, d
Let s = -38/3 + 27/2. Let q = -29/24 + s. Put 4, q, -0.5 in descending order.
4, q, -0.5
Let w be 389/7*(-39)/13. Let g = 167 + w. Let r = -776/5595 - -2/373. Sort -2, g, r in ascending order.
-2, r, g
Let s = -9 + 4. Let j(g) = g**2 + 6*g + 6. Let m be j(s). Suppose 5*f = -n - 9, 0 = -2*n + 2*f - 1 - 5. Sort 0, n, m in descending order.
m, 0, n
Let m = -3/32 + -55/96. Let x(r) = -5*r**2 + r. Let y be x(-1). Let a be (-6 + 5)/(14/y). Put a, -4, m in descending order.
a, m, -4
Let h be (-14)/(-3)*15/(-10). Put -3, 5, -1, h in descending order.
5, -1, -3, h
Let u = -12 - -13. Sort -2, -4, u in decreasing order.
u, -2, -4
Let l(g) = -g + 4. Let d be l(6). Put d, 0, -5, 4 in ascending order.
-5, d, 0, 4
Let t = -1 - -0.7. Let o = 0.4 + -0.3. Let m = -0.018 + 4.018. Sort o, t, m in descending order.
m, o, t
Let m be (1 + 4)*4/10. Suppose m*c + 5 = -3*c. Sort 2, c, -3.
-3, c, 2
Suppose 0 = v + 5 - 2. Let k = v - -5. Let g be (-10)/6 - (-2 + 0). Put -4, k, g in ascending order.
-4, g, k
Let r(c) = c - 12. Let d be r(16). Sort 2, 6, -5, d in decreasing order.
6, d, 2, -5
Let t = 16 - 12. Let w(c) = c**3 - 4*c**2 + 2*c - 3. Let k be w(t). Suppose -h + 4 = -3*h. Put k, h, -4 in increasing order.
-4, h, k
Let a = 0 + 1. Let y = a + -1. Suppose -2*i + 4 = 10. Sort y, i, 5 in decreasing order.
5, y, i
Let x = 2.4 - 2. Let n = 15 + -19. Sort x, n, 2 in ascending order.
n, x, 2
Let a(c) = -c**2. Let k be a(1). Suppose 0 = -16*t + 20*t + 8. Put k, t, 0 in ascending order.
t, k, 0
Let r(o) = o**2 + 2*o - 3. Let i be r(2). Let u(x) = 5*x + 26. Let j be u(-6). Sort i, j, -5 in descending order.
i, j, -5
Suppose -3*h + 5 = -4*i, -3*i + 12*h - 7*h = -10. Let b be 2/5 + 38/(-70). Sort b, i, -3/7.
i, -3/7, b
Suppose u - 2 = 1. Let t = -11 + 8. Sort t, u, 0.2 in descending order.
u, 0.2, t
Let j be (-2)/(-2)*(-3)/3. Put j, 4, 2 in descending order.
4, 2, j
Let o be (-1)/(1/(-2 + -13)). Suppose 5*n + 10 = 2*a - 16, 3*n = a - o. Let r = 722/7 + -103. Put r, 5/4, n in descending order.
5/4, r, n
Let q = -9 - -16. Let m = q - 10. Let y = m - 1. Put y, 3, -2 in decreasing order.
3, -2, y
Let g(r) = -12*r + 1. Let j be g(-2). Put -5, j, 5 in descending order.
j, 5, -5
Let v = -22.1 - -18.1. Put -2, 1, v in ascending order.
v, -2, 1
Suppose 13 = q + 4*t, -20 = -2*q - 2*t - 6. Put -1, q, -3 in decreasing order.
q, -1, -3
Let d = 155 - 159. Let a be -1 + 1*(5 - -1). Sort a, 3, d.
d, 3, a
Suppose -2*l + 19 = 3*f, 4 + 0 = -l + 3*f. Suppose 3*d = 2*d. Sort 1, l, d in decreasing order.
l, 1, d
Let q be ((-2)/4)/((-10)/(-4)). Let w = 707 - 707. Put 4/7, q, w in ascending order.
q, w, 4/7
Let h = 12 - 7. Let z = -4 + 5. Sort h, 0, z in decreasing order.
h, z, 0
Let z be 2 + 2*7/(-5). Let g = 16 - 20. Suppose -4*f + 2 = -f + 2*u, 0 = -3*u - 6. Put f, z, g in decreasing order.
f, z, g
Let s = -884/1617 + 2/1617. Sort s, -3, 3/7, 0.
-3, s, 0, 3/7
Let o(i) = i**3 + 6*i**2 + 3*i + 2. Let f be o(-5). Suppose 0 = -3*h - 3*q + f, 0 = -3*h + 3*q - q + 27. Let t = -4 + h. Put -4, 1, t in descending order.
t, 1, -4
Let s = 5 + -5. Suppose -x - 131 = 4*b, 3*b - 2*b + x + 29 = s. Let t be b/(-12) + 4/24. Sort 4, 1/3, t in descending order.
4, t, 1/3
Let a be (7 - 5) + -5 + (-1 - 0). Let y be ((-3)/(-22))/(9/12). Sort a, y, 0.
a, 0, y
Suppose c = -2*c + 6. Suppose 8 = 2*f + 2. Suppose -126*y = -130*y - 20. Sort y, f, c in increasing order.
y, c, f
Let p be 2/(-5) - 108/(-70). Let o = p + -170/161. Let b = 14 - 10. Sort b, 0.4, o in descending order.
b, 0.4, o
Let c = -5/42 + 139/462. Let w(v) = v**3 + v**2 - v + 1. Let m be w(1). Suppose 0 = 5*u + 3*q + 20, 0*u + 4*q - 34 = m*u. Sort c, -0.2, u in decreasing order.
c, -0.2, u
Let x = 107/2 + -51. Sort x, 0.2, -0.3.
-0.3, 0.2, x
Suppose 5 = -5*m, -s - 3*s - 3*m - 23 = 0. Let z be 2*(-4)/12*-3. Put z, s, 1 in decreasing order.
z, 1, s
Let s = 16 + -12. Let q = 0 - 0.1. Sort q, s, -2 in descending order.
s, q, -2
Let o be (-4)/2 + 3 + 2. Let g(f) = -f**2 + 5*f - 4. Let p be g(o). Let u be p/(-2)*(-1 + -3). Sort u, -3, -2.
-3, -2, u
Let c = -81 - -77. Let t = -0.06 - -0.36. Sort t, c, 5.
c, t, 5
Let m(k) = k**3 + 35*k**2 + 98*k + 69. Let q be m(-32). Suppose -10 = 5*p - 0*p. Sort q, -6, p in descending order.
q, p, -6
Let w(l) be the first derivative of -l**4/4 + 10*l**3/3 - 9*l**2/2 + 2*l + 2. Let j be w(9). Sort 0.3, j, 0.5 in decreasing order.
j, 0.5, 0.3
Let m = -997/4 + 4899/20. Let p = 24/5 + m. Put p, -5, 2 in ascending order.
-5, p, 2
Let r be (-22)/8 + 2/8. Let n be (3*(-4)/(-3))/(-2 + -4). Sort -5, r, n in descending order.
n, r, -5
Let x = -27 - -29. Put 3, 1/2, -0.1, x in decreasing order.
3, x, 1/2, -0.1
Suppose 1 = s + 2*n, 3*s - 4*n - 10 + 27 = 0. Sort 0, s, -5.
-5, s, 0
Suppose 0 + 2 = -2*w. Let o be ((-23)/4)/((-4)/16). Suppose -7 = d + r, 2*r - o = d + 7*r. Sort d, -2, w in descending order.
w, -2, d
Let b = 6 - 4. Let i(s) = -2*s + 2. Let a be i(-2). Let g be 8/6 + (-2)/a. Put -5, b, g in decreasing order.
b, g, -5
Let h = 214/21 - 76/7. Sort h, 0.2, 0.8, 1 in descending order.
1, 0.8, 0.2, h
Let r(s) be the first derivative of s**2/2 - 2*s + 2. Let k be r(1). Let o be 4/2*k/1. Put -5, 3, o in descending order.
3, o, -5
Let k(r) = r. Let h be k(5). Let l = -9 + h. Let b be (-2)/1 + 16/9. Sort -5/3, l, b.
l, -5/3, b
Let k = -0.2 + 4.2. Sort -2/7, 2, k.
-2/7, 2, k
Let s(d) = 4*d**2 + d. Let n be s(-1). Let r = 0.33 - 0.13. Let o = 0.1 - r. Sort n, -0.2, o in decreasing order.
n, o, -0.2
Let v = -115/492 + -2/123. Let m = 1/12 - v. Put -4, m, 0.3 in descending order.
m, 0.3, -4
Suppose -f + 3 = -4*f. Sort f, 4/5, -4 in decreasing order.
4/5, f, -4
Let m(l) = l**2 + 9*l + 17. Let z be m(-3). Let d be 2/(-6) - 26/(-6). Put d, -4, z in descending order.
d, z, -4
Suppose -20 = 2*b - 0*b. Let y = 15 + b. Put 4, -5, y in descending order.
y, 4, -5
Let v(i) = i**3 + 2*i**2 - 5*i - 4. Let x be v(-3). Suppose 0 = x*n - 2 - 0. Sort -2, 4, n in descending order.
4, n, -2
Let u = 0.1