0, x, -32
Suppose 5*u - 4*u + 11 = 0. Let k = u + 9. Let x = -4 - k. Sort x, -6, -1 in decreasing order.
-1, x, -6
Suppose -y - 4*y - 5*s = 10, 4*y + 5*s + 13 = 0. Let g be (-14)/10 + (-8 - -9). Put -4, g, -2/9, y in increasing order.
-4, g, -2/9, y
Suppose 1 + 3 = m + g, 14 = -4*m + 2*g. Sort 2, 16, m.
m, 2, 16
Suppose 0 = 5*i + 5*h - 0 + 75, 15 = -i + h. Let c be 20/120 + (-1)/(-3). Sort i, 3/2, c in ascending order.
i, c, 3/2
Let n be (16/(-84))/((-4)/6). Let h be (-6)/60 - (-16)/(-40). Sort 0.3, h, n, 0.2 in decreasing order.
0.3, n, 0.2, h
Let n = -5 - -7/2. Let c = 12.5 - 12.6. Sort n, -5, -1, c.
-5, n, -1, c
Let o = 1.6 - 1.1. Let h = -290.5 - -290. Sort 4, 10, o, h in ascending order.
h, o, 4, 10
Let h = -72.96 - -73.1. Sort -13, -1, h, -0.5 in increasing order.
-13, -1, -0.5, h
Let f = 2 + -2. Suppose 0 = -f*s + s + 2*n - 4, -s + 4*n + 22 = 0. Let w be (6/9)/(s/15). Put -1, w, -5 in descending order.
w, -1, -5
Suppose 3*d = 4*n - 4, 3*d + 13*n + 1 = 14*n. Put -3, d, 509 in increasing order.
-3, d, 509
Let z(b) = 5*b**2 + 17*b + 16. Let q be z(-1). Suppose t = 3*t. Sort t, 3, 15, q in descending order.
15, q, 3, t
Suppose 5 = -4*l - 3. Suppose 682 = 7*b + 255. Suppose 66*w - 25 = b*w. Sort 1, w, l in descending order.
w, 1, l
Let x(z) = z**3 + 10*z**2 + 8*z - 5. Let u be x(-9). Let s be ((-8)/5)/(2/20). Let c = 18 + s. Put u, c, 5 in decreasing order.
5, u, c
Let a = -6.5 - 1.5. Let u(o) = -12 + 48 + 100*o - 97*o. Let m be u(-11). Put a, m, 0.1 in ascending order.
a, 0.1, m
Suppose -2*f = 5*x - 5*f + 23, -f - 11 = 3*x. Suppose 0*h = 2*h - 6. Suppose 0 = h*t - 3*w - 13 + 43, -40 = 3*t - 5*w. Put x, t, 3 in decreasing order.
3, x, t
Let y be 5/2*(-4 - -2). Let p(x) = -x**2 - 6*x. Let s be p(-6). Suppose -4*w + 769*a + 27 = 774*a, -a = -5*w - 17. Sort w, s, y in decreasing order.
s, w, y
Let b = 264.35 + -264.2. Sort -3, b, 2.5.
-3, b, 2.5
Let r be 5 - (-15)/(1 - 6). Suppose -r = -n + 1. Sort n, 0, 5, 4 in ascending order.
0, n, 4, 5
Suppose -2*i + 3 = l, 2*l + i + 3 = 3*l. Let v = 9 - 7. Sort l, v, -11.
-11, v, l
Let w = -0.3 + -0.2. Let r = 444 + -451. Sort 1, w, r.
r, w, 1
Let l be 2 + -6 + 7 + -6. Sort -20, l, 0 in descending order.
0, l, -20
Let l = -5 + 3. Let n = l + 20. Let b be 87/27 - 4/n. Sort 4, b, 2 in decreasing order.
4, b, 2
Let z = 1.37 - 1.77. Sort 2, z, 0.02.
z, 0.02, 2
Suppose 5*b - 3*g = -35, -5*g + 0 + 5 = 5*b. Sort b, -3, -12, 5 in ascending order.
-12, b, -3, 5
Suppose t - v + 4 = 0, 4*v - 5 = 2*t - v. Let j = -5 + 3. Let m = j + 3. Sort 3, m, t.
t, m, 3
Suppose 0 = 2*w + 2*w. Let v be (-2)/(w + (-1 - 1)). Let h be -1 - 4*v/2. Sort h, -1/4, 1.
h, -1/4, 1
Let f(c) = -c**2 + 4*c + 8. Let z be f(6). Suppose 2*n + 4*y - 1 = -9, -3*n + 2*y + 12 = 0. Let l = -0.1 - -0.1. Sort z, n, l in descending order.
n, l, z
Let s be ((-6)/4)/(1*5/10). Let b be 4/(((-2)/2)/2). Let n be (-10)/b + s/12. Sort n, 0, -3 in ascending order.
-3, 0, n
Let b = -1074 + 1079. Sort -5, -2, b, -6.
-6, -5, -2, b
Let q be (3/(-2))/((135/(-12))/1). Put q, 5, -4 in decreasing order.
5, q, -4
Let o = -289 + 288.93. Put 0.3, o, 3/7 in descending order.
3/7, 0.3, o
Let h = -5.4 - -0.4. Let q = -2085 + 2085.5. Put h, 3/5, q, -0.2 in decreasing order.
3/5, q, -0.2, h
Let a be (-2)/(-2 + 12/3). Let x = 15 + -11. Suppose 5*j - x*t - 19 = 0, -4 = 6*t - 2*t. Put 5, a, j in increasing order.
a, j, 5
Let j(s) = -10*s - 10. Let t be j(-4). Let f = 31 - t. Let q = -10 + 7. Sort f, 3, q.
q, f, 3
Let o = -3/224 - 81/224. Let q = -0.03 - -1.53. Let n = q - 1. Put -5, o, n in decreasing order.
n, o, -5
Let g = -20 - -20.5. Sort g, 16, 5/3, 2/5 in decreasing order.
16, 5/3, g, 2/5
Suppose -d - 3*d = -12. Let r be (1/2)/((-3)/48). Suppose l - 1 = -0*l. Sort l, d, r in descending order.
d, l, r
Suppose -g = -4*i - 15, -8*g - i - 13 = g. Sort -3, 0, g, 5 in descending order.
5, 0, g, -3
Let a = 0.95 + -1. Suppose 4*o + 3 = -0*o + 5*k, -5*o + 12 = -k. Suppose -5*m - 5*x - 6 = -o*m, 5*x = -4*m - 12. Put m, 0.2, a in descending order.
0.2, a, m
Let z = 0.292 - 0.592. Put 1/5, -12.4, z in ascending order.
-12.4, z, 1/5
Let j be 4/(-17 + 13) + 0/2. Sort j, 20, 2 in descending order.
20, 2, j
Let y(b) = b**3 + 9*b**2 + 8*b - 2. Let z be y(-6). Let a(h) = h**3 + 8*h**2 + h - 43. Let l be a(-7). Put z, 3, 2, l in decreasing order.
z, 3, 2, l
Suppose 0 = -2*y - 8 + 4. Let f(l) = -l**3 + 2*l**2 + 4*l - 2. Let u be f(3). Put -5, y, u in increasing order.
-5, y, u
Let o = -1158 + 1146. Put 9, o, -1, -2 in ascending order.
o, -2, -1, 9
Let w = -45 + 46. Let s = -13 + 22. Let u be (s/54)/(5/6). Sort u, w, -2 in descending order.
w, u, -2
Suppose 0*b + 5*p - 16 = b, b + 8 = 3*p. Suppose 4*s - 1 = -u, -b*s + 5 = s. Let t(o) = 4*o + 7. Let j be t(u). Sort j, 1, 0.
j, 0, 1
Let t = -34/27 + 197/135. Let p = -33 - -301/9. Sort t, -2/13, p.
-2/13, t, p
Let c = 2 + -6. Let h = 0.41 - 15.81. Let w = h + 15.6. Put -0.5, w, c in descending order.
w, -0.5, c
Let q be (91/(-39))/((-14)/4). Sort 4, q, 0.2, 0.8 in descending order.
4, 0.8, q, 0.2
Let t = 66.4085 + -0.0085. Let c = 74 - t. Let n = 8 - c. Put n, -4/3, 0.1 in increasing order.
-4/3, 0.1, n
Suppose 41 = -89*f + 931. Put -22, 2, -3, f in descending order.
f, 2, -3, -22
Let y = 8 - 10. Let s = 4 - 4.3. Let z be 0 - 3/(3*-2). Put z, y, s in increasing order.
y, s, z
Let w be (17 - (13 + 1))*(-4)/(-3). Put w, -159, 1 in ascending order.
-159, 1, w
Let o(x) be the third derivative of -7/6*x**3 + 0 + 0*x + 1/24*x**4 + x**2. Let h be o(8). Sort -5, h, -3 in descending order.
h, -3, -5
Let a(k) = -k**3 + 8*k**2 + 14*k + 10. Let d(p) = -p**3 + 9*p**2 + 14*p + 11. Let x(r) = -3*a(r) + 2*d(r). Let j be x(8). Put 4, -3, j in descending order.
j, 4, -3
Let k = 13 - -1. Suppose 0 = 3*z - k - 1. Suppose z*f = 15, -4*f + 12 = 4*b - 0*f. Put 1/4, -1/3, b in increasing order.
-1/3, b, 1/4
Suppose 6*m + 93 = -291. Let t = -257/4 - m. Sort 2/9, -3/4, -0.3, t in descending order.
2/9, t, -0.3, -3/4
Let n(h) be the first derivative of -h**2/2 + 16*h - 1. Suppose 5*t + 75 - 140 = 0. Let o be n(t). Sort 1/3, o, 2/17 in decreasing order.
o, 1/3, 2/17
Let r = -95 + 98. Sort -2, -1, 1, r in descending order.
r, 1, -1, -2
Let t be 20/30*(14/4 + 1). Put 0, t, -489, 5 in increasing order.
-489, 0, t, 5
Suppose -4*u = 5*f - 3 - 9, 4*f - 14 = -u. Suppose -2*x - f = -3*x - 4*m, x - 5*m = -5. Put x, -2/3, -6 in ascending order.
-6, -2/3, x
Suppose 0 = -0*v - 13*v - 182. Let p be (-9)/(-2)*v/(-63). Let a(f) = 4*f - 1. Let n be a(-1). Sort n, 6, p in ascending order.
n, p, 6
Suppose -11*g = -26*g - 75. Let c(v) = v + 1. Let h be c(4). Put -2, h, g in decreasing order.
h, -2, g
Let k = 50 + -56. Put k, 5, -4/3, 1 in descending order.
5, 1, -4/3, k
Let l = -12 - -8. Let z be (-2)/(-4) - (-1)/2. Suppose g + z = -1. Put 5, l, g in increasing order.
l, g, 5
Suppose -13*b = -10*b, -3*b = 2*l. Sort -2, -5, l, 3.
-5, -2, l, 3
Let j be 4/2 + 6*(-2 - -6). Sort 2, -1, j, 4 in decreasing order.
j, 4, 2, -1
Suppose 31 = -5*j + 6, -4*h = -2*j - 10. Let t(f) = -f**3 + f**2 + f. Let s be t(h). Suppose 5*d + 15 = 10*d. Put -4, s, d in decreasing order.
d, s, -4
Let x be 32/20 - 2/(-5). Suppose -3*d - 2*g + 2 = 0, 2*d = d - 2*g - 2. Suppose d*f = -10 + 4. Sort f, 8, x.
f, x, 8
Suppose 0 = 8*r - 4*r - 12. Let j(z) = -z**2 - 26*z + 24. Let f be j(-27). Sort 4, -2, f, r in ascending order.
f, -2, r, 4
Let p = -30 - -30.32. Let a = -2.32 + p. Sort a, 0.4, 11.
a, 0.4, 11
Suppose 0 = 164*i - 159*i + 10. Let v = 0.211 - 1.241. Let x = v - -0.03. Put i, x, -3/4 in decreasing order.
-3/4, x, i
Let v = -9 - -10. Let r(c) = -c**3 + 9*c**2 + 7*c + 10. Let q be r(8). Let u be 370/q - (-2)/13. Put u, 2, v in descending order.
u, 2, v
Let y be ((-8)/(-6))/((-2)/(-6)). Suppose -5*u + 27 + 393 = 0. Let c = u + -87. Sort y, 5, c in descending order.
5, y, c
Suppose -5*q - 4*n = -2*q - 8, -q - 8 = -4*n. Let v = -0.065 + 3.065. Sort q, v, -4.
-4, q, v
Let y be 5/(2/2)*1. Let n(s) = s**3 + 28*s**2 + 39*s + 325. Let i be n(-27). Put i, 3, -5, y in ascending order.
-5, i, 3, y
Let q be 5146/558 - (-1 - 22/(-18)). Put q, 13, -5 in increasing order.
-5, q, 13
Let w = 2/105 - 533/420. Let g = 2/3763 + -11305/30104. Put g, w, -4 in descending order.
g, w, -4
Suppose 3*h + 2 = 3*r - 2*r, 3*h + 5*r + 26 = 0. Sort