n, -5, 2 in decreasing order.
2, n, -5
Suppose 5*p - g + 7 = 0, -g = p - 5*p - 5. Sort -11, p, 5.
-11, p, 5
Suppose -16 = 3*b - x, 10*x - 12*x = -b - 12. Put -3, b, 2 in ascending order.
b, -3, 2
Suppose -u = q, -q - 2*u + 35 = 34. Sort 203, -3, q in increasing order.
-3, q, 203
Suppose 11*m = -29*m - 1720. Put 5, -4, m, 0 in ascending order.
m, -4, 0, 5
Let f = -672 + 671. Put -3, -2, 6, f in increasing order.
-3, -2, f, 6
Let r be 2/(1/(28/(-8)))*-1. Let b be 7/9 + (-12)/(-54) + r. Put 2, b, 1 in decreasing order.
b, 2, 1
Let f be 68 - ((-15)/5 + 2 + -1). Sort f, 5, 4 in decreasing order.
f, 5, 4
Let r = 0.2795 - 0.2795. Let g = -0.2 - 0. Sort g, 0.02, 2/11, r in decreasing order.
2/11, 0.02, r, g
Let q be (2 + (-16)/6)*156/12. Let j = -9 - q. Put 2/7, 0.3, j, 0.1 in descending order.
0.3, 2/7, 0.1, j
Suppose 0 = -22*y + 8*y. Sort 0.042, 0.1, -3, y in increasing order.
-3, y, 0.042, 0.1
Suppose -2*z = 2*k + k + 18, -z - 11 = 2*k. Let m be -4*(1 - (-21)/(-12)). Let c = m + -8. Sort 3, c, k in ascending order.
c, k, 3
Suppose 0 = -23*g + 12*g - 11. Let x = 1 + 1. Sort -3, g, x, 5 in descending order.
5, x, g, -3
Suppose -3*t - 5*f = -7*f + 19, f - 5 = 0. Sort -1, t, 5, 17 in decreasing order.
17, 5, -1, t
Let w be 6 - (4 + (-6 - (-35)/5)). Sort w, 0, 4 in increasing order.
0, w, 4
Suppose -20*k + 1170 = -106*k - 44*k. Let n be 1 - 1 - (-2 - -2). Sort n, k, 5 in descending order.
5, n, k
Let u be (2 - (1 + 1))/(-2). Suppose -2*s - 3 = -3*s, -2*s = 3*y + 3. Let d be -1 + (-6)/3 + 6. Sort u, y, d in descending order.
d, u, y
Let k(y) = -y**3 - y**2 + 2*y + 2. Let b be (-2 - 1/(-1)) + -1. Let m be k(b). Let z = -126 + 127. Put z, m, -3 in increasing order.
-3, z, m
Let k(t) = -10*t + 10. Let o be k(-3). Let z = o + -36. Sort z, -13, -5 in descending order.
z, -5, -13
Let s = 472 + -479. Put s, 0, -4, 8 in ascending order.
s, -4, 0, 8
Suppose -8*w - 27 + 19 = 0. Put w, -5, -2, 3 in descending order.
3, w, -2, -5
Suppose -5 + 1 = -t. Suppose -9*w + 6*w - 18 = 0. Let b be (-9)/((-9)/4) + w. Sort 1, b, t in decreasing order.
t, 1, b
Let d be (5/2)/(2/4). Let b = -11879 + 11878. Put d, -17, b in decreasing order.
d, b, -17
Let o be 1 + ((-8)/14 - 250/(-70)). Put 2, -6, o, 1 in decreasing order.
o, 2, 1, -6
Let n(h) = -2*h**2 - 3*h + 1. Let q be n(-2). Put 1, -2, q in increasing order.
-2, q, 1
Let h(y) be the third derivative of y**5/30 + 13*y**4/24 + y**3/6 - 3*y**2. Let g be h(-6). Sort 0, g, -0.1.
g, -0.1, 0
Let o(d) = 3*d**3 - 3*d**2 - d + 1. Let t be o(1). Put t, 3/4, 0.4, -6 in decreasing order.
3/4, 0.4, t, -6
Let p = 184 + -186. Suppose 0*h = h - 9. Let q = h + -8. Put p, q, -3 in descending order.
q, p, -3
Suppose i = 4*i + 51. Suppose -11 = 10*g + 39. Put g, 4, -2, i in increasing order.
i, g, -2, 4
Let i = -4.919 + -0.081. Let x = 3/136 - 377/4760. Sort x, -3/2, i, 0 in increasing order.
i, -3/2, x, 0
Let x be (-26)/(-8) - 2 - 5/20. Suppose -3*s + b = 5, -2*b + x + 3 = 0. Suppose 5*u - 3*u = 0. Sort s, -4, u in increasing order.
-4, s, u
Suppose 4*q - 13 = 3*p + 9, 2*p = -4. Put 9, q, -3 in descending order.
9, q, -3
Suppose 0 = 3*m + c - 15, 2 = -m - 3*c - 1. Let o(h) = 2*h - 7. Let z be o(m). Suppose z*q = -0 + 5. Put 2, q, -3 in ascending order.
-3, q, 2
Suppose -5*p - 3*q - 15 = -129, -p + 27 = 2*q. Suppose -4 = p*t - 23*t. Sort t, 3, -2, -4.
-4, -2, t, 3
Let r be (9/(-4) + 1)*4. Let o be (0 - -2)/((-11)/(-11)). Let j = 1 - o. Sort r, -4, j in increasing order.
r, -4, j
Let k be ((-5)/3)/((-4)/12). Let n = 189 + -187. Put 3, -3, n, k in descending order.
k, 3, n, -3
Let i = 12 + -8. Suppose -2*m + 0*p = -2*p - 36, 0 = 2*p - 10. Suppose -6*a - m = 1. Put a, i, -3 in descending order.
i, -3, a
Let y be (-12)/(1*-4) - 3. Let f be (20 + -18)/(4/10). Put y, -11, -2, f in descending order.
f, y, -2, -11
Suppose 0 = 2*i + 5*i + 21. Let l = i + 2. Let m = 2 - 2.3. Sort l, -0.1, m in descending order.
-0.1, m, l
Let o be (-45)/(-36) - (-6)/8. Suppose 6 = -q - 2*q. Let j be 2/3 + 2/6. Sort j, q, o in increasing order.
q, j, o
Let y(f) = -2*f - 2. Let x be y(7). Let c = 0.368 + -0.068. Sort 0.5, x, c in descending order.
0.5, c, x
Let s = -49 + 48.956. Let f = s - 0.956. Put 3/5, -4, f in descending order.
3/5, f, -4
Suppose 0*l = -l + 5. Suppose -n = 3*u + l, 0 = -3*u - 2*n + 1 - 2. Let b be (4/64)/(u/(-6)). Put 5/2, 1/11, b in increasing order.
1/11, b, 5/2
Suppose 3*j - j + 4*s + 18 = 0, 2*s + 37 = -5*j. Let m be (-18 - j)*(0 - -1). Let t = m - -2. Sort t, 1, 4 in increasing order.
t, 1, 4
Let q = -1180 + 1182. Sort q, -5, 139, -2 in increasing order.
-5, -2, q, 139
Let r be 171/3 + 4 + -5. Let k = r + -51. Let o = 8 - -1. Sort 0, k, o in decreasing order.
o, k, 0
Let l be ((-2)/8)/(26/104). Sort 0.7, l, 3/8, -0.4 in ascending order.
l, -0.4, 3/8, 0.7
Let m(b) = -13*b - 187. Let s be m(-14). Put s, -1, -3 in ascending order.
s, -3, -1
Let n(s) = -3*s**2 - 79*s - 4. Let p be n(-26). Put 4, 5, 2, p in descending order.
p, 5, 4, 2
Let d = 7 + -4. Suppose -5*l + 6*l - 5*r - 14 = 0, 0 = -2*l - 3*r + 2. Suppose l*t = -0*t. Sort -1, d, t in descending order.
d, t, -1
Suppose 3*w + 15 = -5*i, 0 = 5*i - 5*w + 11 - 36. Suppose 5 + i = -5*d. Sort d, 5, -4, 0.
-4, d, 0, 5
Let r be (2/(-8))/((-23)/92). Let n = 1.96 + -2. Let k be (-4)/6 - (0 - 1). Put k, r, n in descending order.
r, k, n
Let p(n) = n + 10. Let q be p(-4). Let z be (8 - 3)*q/(-135). Put -4, z, 0.2 in descending order.
0.2, z, -4
Let w = -0.8 + 5.8. Let s = 17 - 28. Let c = s - -11. Put w, c, 6 in increasing order.
c, w, 6
Let a(j) = j**2 + 9*j - 4. Let m be a(-8). Let q = 8 + m. Suppose -1 - 1 = -2*v. Sort -5, q, v.
-5, q, v
Let h = 2 - 4. Let w be 187/33 + 4/(-6). Suppose 0*z = 2*z - w*u + 8, 4*u = -3*z + 11. Sort h, z, -4 in ascending order.
-4, h, z
Let j be (-30)/(-9)*42/(-28). Sort -33, 4, j in decreasing order.
4, j, -33
Let x = -0.2 - -0.1. Let c = 110 - 295. Let b = c + 190. Sort x, b, 0.1.
x, 0.1, b
Let z be 3 + (-3 - (-16)/4). Suppose 0 = -z*x - 20, -6*k + 3*k + 8 = -x. Sort 2, k, -4, 5 in decreasing order.
5, 2, k, -4
Let w be 3 + -22*(-6)/(-36). Let n = -0.9 - -5.9. Put 2, n, w, -4 in decreasing order.
n, 2, w, -4
Let u(l) = -3*l**2 - 71*l + 22. Let c be u(-24). Sort -4, -9, 0.4, c in ascending order.
-9, -4, c, 0.4
Suppose 3*g + 7*g = 0. Put g, -3, -5, -17 in ascending order.
-17, -5, -3, g
Suppose 3*s = a + 20, -4*s - 4*a + 19 + 29 = 0. Suppose t = -t - s. Let d = -3 - -2.8. Put t, 3, d in decreasing order.
3, d, t
Let m(o) = o**2 + 43*o - 1320. Let g be m(21). Let t(k) = k**3 - 2*k**2 + 2*k. Let d be t(2). Put d, 2, g, 1 in decreasing order.
g, d, 2, 1
Suppose -6*x - 11 = 7. Let l = 24 - 20. Sort 13, x, l in descending order.
13, l, x
Let j = 590 - 594. Sort 308, 0, j.
j, 0, 308
Let f = 16 + -19. Let y be -1*(2 - (-1 + 5)). Suppose y*c = c. Put 2, f, c in decreasing order.
2, c, f
Let h = -0.1 - -0.2. Let i = -22.6 + 22. Let y = i - -0.3. Put y, -0.1, h in descending order.
h, -0.1, y
Let a = 5.2 - 5. Sort -2/9, a, 9, -0.4 in decreasing order.
9, a, -2/9, -0.4
Let g = -0.2 - 0.2. Let d = -0.1 + g. Let z(m) = 2*m**2 + 28*m - 25. Let s be z(-15). Sort -2/11, s, d.
d, -2/11, s
Let v be (10/16)/((-45)/(-20) + -1). Sort -0.5, v, -6/23 in increasing order.
-0.5, -6/23, v
Let z = -1225 - -1223. Put z, -1/65, -10 in increasing order.
-10, z, -1/65
Let t(d) = -d**3 - 13*d**2 - 10*d + 20. Let c be t(-12). Sort 0, 1, c, 2 in ascending order.
c, 0, 1, 2
Suppose 7 + 8 = -3*z - s, -5*s - 11 = -z. Put 0, -2, z in decreasing order.
0, -2, z
Let a = 3 + -4. Suppose -3*l - 4*c + 34 = 0, -2*l - 2*c = -9 - 13. Let r be ((-12)/(-10))/(3/l). Put r, a, 1 in descending order.
r, 1, a
Let i be ((-34)/8)/(210/(-24) - -9). Sort 8, i, 4 in decreasing order.
8, 4, i
Suppose 5*z = 2*z + 15. Suppose 4 = -4*f, -z*p - 18 = 6*f - 8*f. Sort p, -11, 0 in increasing order.
-11, p, 0
Suppose -h - 2 = -6. Let n = 4/971 + 947/5826. Sort n, h, 0.02 in descending order.
h, n, 0.02
Let p be 3 - (-3 + (3 - 2)). Let x = 293 - 410. Let a be x/21 + (-21)/49. Sort -1, p, a.
a, -1, p
Let u be ((-36)/30)/((-57)/(-190)). Put u, 3, 5 in descending order.
5, 3, u
Let j(r) = r**3 - 14*r**2 - 35*r + 28. Let x be j(16). Sort 5, 1, x, -2 in descending order.
5, 1, -2, x
Let r be 1/(-1 - (-15)/12). Suppose -5*n + 3*a - 65 = 0, -1