n descending order.
3, z, -2
Suppose -55 = -4*p + p + 2*u, 0 = p - 3*u - 23. Suppose 2*i - p = 3*q, -4*i - 6 = -0*q + 2*q. Let t(k) = -k**3 + k**2 + 3*k - 3. Let r be t(2). Sort -3, i, r.
-3, r, i
Let q(v) = -v + 1. Let n be q(5). Suppose -19 - 2 = 3*a. Let x = a - n. Sort 3, 1, x in decreasing order.
3, 1, x
Suppose 3*k = 5*k + 3*l - 5, -3*k - 5*l + 7 = 0. Let y(d) = d**2 + 4*d + 1. Let o be y(-3). Sort o, 5, k.
o, k, 5
Suppose 4*v - 5*t - 10 = 0, -3*v + 5*t + 5 = -0. Let z(r) = r**3 + 2*r**2 + r - 2. Let f be z(-2). Suppose 0*s - 5*s = 0. Sort s, v, f.
f, s, v
Let w(h) = -h**3 - 10*h**2 + 2*h + 15. Suppose 6*m - m = -2*t - 25, -4*t - 2*m = 42. Let i be w(t). Put 1, -4, i in descending order.
1, -4, i
Let s = 4 + -8. Put 3, s, 4 in ascending order.
s, 3, 4
Let b = 6 + -4. Put b, -5, -4 in ascending order.
-5, -4, b
Suppose 4*z + 33 - 29 = 0. Sort 5, -7, z.
-7, z, 5
Let x = 1.4 - 0.4. Let u = -2 + -3. Sort u, -4, x in increasing order.
u, -4, x
Let p = 6 - 4. Suppose h - 4 = -p. Sort 4, -1, h in descending order.
4, h, -1
Let s = -0.03 + 0.03. Let z = 10 + -7. Suppose -16 = 4*h - 0*h. Put s, z, h in decreasing order.
z, s, h
Let r be 1 + (36/(-14) - -1). Let l be (-3)/3 - ((-72)/(-10))/(-6). Sort -4, r, l.
-4, r, l
Let i be (-2 - -3)*(0 + 9). Suppose 2*k + k - 3*u - 9 = 0, 5*k + 3*u = -i. Put -0.7, 0.4, k in ascending order.
-0.7, k, 0.4
Let s be (-177)/330 - (-6)/15. Let j = s - 4/11. Sort j, 0, -3 in descending order.
0, j, -3
Let c(q) = 2*q - 13. Let b be c(7). Put 5, -1, b in decreasing order.
5, b, -1
Suppose 0 = -a + 6*a - 15. Suppose 6 = -2*s, -a*d - 35 = d + 5*s. Suppose 4*o - 3 = 1. Sort d, o, 0.
d, 0, o
Suppose -3*s + 8*s = -3*l - 20, 4*l + 8 = -2*s. Sort -2, s, -1 in descending order.
-1, -2, s
Let j(r) = r**2 - 6*r - 4. Let x be j(6). Let b be 1/((3 + x)/(-4)). Sort 0, b, 5 in descending order.
5, b, 0
Let o be 0/3 - (-2 + 3). Put o, 3, -7 in increasing order.
-7, o, 3
Let h = 23073/25 - 923. Suppose 12 = 5*z + 2. Sort 2/3, z, h in descending order.
z, 2/3, h
Let s = -4 - 4. Let b be (2/s)/(2/8). Put -0.2, -0.1, b in descending order.
-0.1, -0.2, b
Let w = -5 - -7. Suppose 4*j - 2*s - 2 + 26 = 0, w*j = 5*s - 28. Let p(m) = -2*m - 1. Let b be p(-3). Sort b, j, -5 in descending order.
b, j, -5
Let b = -5 - -5. Put 2, 5, b in decreasing order.
5, 2, b
Let m be ((-8)/(-10))/(2/(-10)). Suppose 5*j = -3*x - 13, -x - x - 3*j = 7. Suppose -5*c = -5*l - 4 - 26, -5*l - 26 = -c. Put l, m, x in descending order.
x, m, l
Suppose -5*y + 20 = 0, -2*y + 58 = -5*f + 15. Let u = 10 + f. Suppose 5*c - 2*o = 17, -2*o - 5 = 3*c - 7*o. Put u, 1, c in increasing order.
1, u, c
Let z(p) = -2*p**3 + 9*p**2 + 5*p + 1. Let l be z(5). Put 4, l, 5 in ascending order.
l, 4, 5
Let c be ((-10)/12 + 1)/(8/24). Put 8, -1/3, c, 0.1 in descending order.
8, c, 0.1, -1/3
Let q be (-8)/(-18) + ((-2)/2 - -1). Put q, -0.2, 3/14 in decreasing order.
q, 3/14, -0.2
Suppose 0 = 8*z - 3*z - 240. Let c = z + -193/4. Sort 3, c, 1/10 in descending order.
3, 1/10, c
Suppose 5*c - 4 + 29 = 0. Let i be (-186)/30 + (-1)/(-5). Let a = i - -6. Sort a, c, 1 in decreasing order.
1, a, c
Let k = -6 - -9. Let p = -3 - -3.01. Let x = p + -0.21. Sort x, 5, k.
x, k, 5
Let u = 467/4 - 116. Put 1, u, 9, -0.1 in ascending order.
-0.1, u, 1, 9
Suppose -b - 12 + 1 = 0. Let z = 179 - 183. Sort b, z, 2.
b, z, 2
Let f(z) = z**2 + 12*z + 16. Let v be f(-11). Put 0, 4, v in decreasing order.
v, 4, 0
Let j = -183 - -379. Let o = -1370/7 + j. Let m = -3/106 + -197/530. Put m, -0.3, o in decreasing order.
o, -0.3, m
Let o = 226.4 - 226. Let n = -271 + 2165/8. Put n, -4/3, o in increasing order.
-4/3, n, o
Let d = 0.095 + -0.035. Sort 4/7, d, -0.2, -4 in decreasing order.
4/7, d, -0.2, -4
Let v = 71 - 91. Sort -0.5, 0.5, v in descending order.
0.5, -0.5, v
Let r = 58 + -403/7. Sort 0, -1, 5, r in descending order.
5, r, 0, -1
Suppose -4*y = 2*s + 4, -7*s = -2*s - 3*y - 42. Put s, -0.1, 3/4 in decreasing order.
s, 3/4, -0.1
Let i = -0.08 - 1.92. Put -3, -0.2, i in ascending order.
-3, i, -0.2
Let u(j) = -j**3 + 2*j**2 - 1. Let z be u(1). Sort z, -1, -2, -5.
-5, -2, -1, z
Suppose 2*g + 0*g = -4*a + 14, -3*a - 2*g + 10 = 0. Put 0, -3, -5, a in increasing order.
-5, -3, 0, a
Let g = 39 + -34. Let d = -4 - -6. Let h be d*3*2/(-4). Sort 3, h, g in decreasing order.
g, 3, h
Suppose -l - 35 = -39. Sort l, 1, 5.
1, l, 5
Let d = -35 + 40. Sort 4, 2/11, -1/3, d in increasing order.
-1/3, 2/11, 4, d
Let l = 17 + -18. Put -2, -1/2, l in increasing order.
-2, l, -1/2
Let x = -0.73 + 5.73. Let c be 12/(-9) + (-2)/3. Let b = c + -3. Sort b, -3, x in increasing order.
b, -3, x
Let b = 0 - -0.2. Suppose 24 = 5*p - 11. Let j = p + -9. Put 1/2, b, j in descending order.
1/2, b, j
Suppose 4*a + 3 = -3*w, a + a + 4 = -4*w. Let y be 10/55 + 324/33 + -1. Suppose a = 3*b + y - 0. Sort -4, 2, b.
-4, b, 2
Let r = -0.05 - -4.05. Let h = -76.5 + 76. Let t = -0.35 - -0.05. Sort r, h, t in increasing order.
h, t, r
Let i = 3 - 3. Let y be (-2)/(-6 - 0)*i. Put y, 1, -1 in increasing order.
-1, y, 1
Let h = -7 - -4. Let d = 7 + h. Let m = d - 3. Sort m, -2, 4.
-2, m, 4
Let z be (4/6)/(8/204). Let h = -20 + z. Sort h, -1, -2 in ascending order.
h, -2, -1
Let p = -0.5 - -0.1. Suppose 3*z + h + 3 = 0, 7 + 5 = -2*z - 4*h. Let t = -6 + 19/3. Sort z, p, t in decreasing order.
t, z, p
Let m = -0.11 + 1.11. Sort -3, 0.2, m in decreasing order.
m, 0.2, -3
Let a = 0.2 + -4.2. Let f = -0.06 + -0.04. Put f, a, 2 in decreasing order.
2, f, a
Let p = -33 + 31. Sort p, -1/6, -1.
p, -1, -1/6
Let s = -18 + 13. Sort 1/3, s, 4.
s, 1/3, 4
Let z(v) be the third derivative of v**4/24 + v**3/6 - 5*v**2. Let h = 1 - 1. Let j be z(h). Put -1, 5, j in increasing order.
-1, j, 5
Let r be -4*(-1)/(1/2). Let z = -5 + r. Suppose k + 2*n = 10, z*k - 31 = -k - 5*n. Put 0, 2, k in ascending order.
0, 2, k
Let w = -44 - -39. Sort w, 5, 3.
w, 3, 5
Let d(u) = u**3 - 10*u**2. Let p be d(10). Suppose p = -8*m + 4*m + 20. Put m, -1, 3 in ascending order.
-1, 3, m
Let i = -3 + 2. Let q = -26 + 24. Sort q, 5, i in ascending order.
q, i, 5
Let t = 0.47 + -0.07. Let w = 6 + -4. Suppose 0 = -3*n - n + 12. Put n, t, w in decreasing order.
n, w, t
Let d = -0.21 + -2.79. Put 5, d, 0.5 in decreasing order.
5, 0.5, d
Let y = -0.33 + 0.53. Let m = -2 + 4. Put y, -2, m in descending order.
m, y, -2
Suppose 0*o = -2*o + 3*c - 8, 3*o - 18 = -3*c. Let d = -25 + 22. Sort -4, o, d.
-4, d, o
Let i be (-33)/84 - (16/(-14) + 1). Sort 3, -3, i, 0.
-3, i, 0, 3
Let x = -4 - -4. Suppose 0 = 2*n - 13 + 5. Put n, x, 3 in descending order.
n, 3, x
Let a = 9 - 6. Sort a, -0.5, 4/3.
-0.5, 4/3, a
Let o = -41 + 40.7. Put o, -0.2, 0 in descending order.
0, -0.2, o
Let g = 2 + 7. Let k = g - 8.2. Let j = 1.8 - k. Put j, -0.4, 3 in increasing order.
-0.4, j, 3
Let x(c) = -c**3 + 6*c**2 + 3*c - 6. Let k be x(6). Let o = -10 + k. Put -5, o, 4 in increasing order.
-5, o, 4
Let s = 0.8 + -0.94. Let a = s - -0.34. Sort -5, a, -2/11 in decreasing order.
a, -2/11, -5
Let w(u) = u**3 - 3*u**2 - 5*u + 4. Let k be w(4). Suppose 3*c - 3*n = 0, -4*c + k*c + 6 = -n. Let x be -1*(2 - c) - 3. Sort 1, 2, x in descending order.
2, 1, x
Let i(j) = j**2 + 7*j + 9. Let g be i(-9). Let n = 32 - g. Sort 3, 4, n in descending order.
n, 4, 3
Let o be (-2 + 7)/((-2)/4). Suppose -5 = 5*y + 20, 4*c - 5*y - 45 = 0. Put 0.4, o, c in decreasing order.
c, 0.4, o
Let l = 2 - 0. Sort -4, 3, l.
-4, l, 3
Suppose -7 - 1 = -2*o. Let y = 7 - o. Put -2, y, 4 in ascending order.
-2, y, 4
Suppose 3*w + 5*w - 40 = 0. Put -8, -3, w in ascending order.
-8, -3, w
Suppose -5*f + 702 = 4*h, 6*f - h - 549 = 2*f. Let p = f + -1792/13. Suppose -4*r + 2 = 10. Sort r, p, 1 in increasing order.
r, p, 1
Let y = 0.06 - 0.36. Put 0.1, y, 1 in ascending order.
y, 0.1, 1
Suppose -4*o = 17 - 21. Sort -5, 10, o in decreasing order.
10, o, -5
Let p = 0.12 + -10.12. Let m = p + 8. Sort m, -5/4, 3/5 in descending order.
3/5, -5/4, m
Let s = -11/52 + -1/26. Put -2/9, s, 7 in decreasing order.
7, -2/9, s
Let a = -1.9 + 2. Let p = a - -0.1. Let t = 31 - 123/4. Sort 1, t, p.
p, t, 1
Suppose 4*a = -b + 2*a + 8, 0 = 4*b - a - 5. Let h be -3 + 5 - -2*4. Let d be (-2)/h + (-3)/(-45). Sort -1/2, d, b in descending order.
b, d, -1/2
Suppose 4*f + 4*x = -7 + 3, -5*f - 13 = 3*x.