. Let j be -4 - (-2 + 3 + z). Put -1, p, j in descending order.
p, -1, j
Suppose 6 = 3*w - 0. Let h = 1 + w. Let i = -1883 + 1885. Sort i, h, -3 in descending order.
h, i, -3
Let p be (-2)/3*(-153)/34. Suppose -1 = 3*x + 5*t - 28, -3*x - 4*t + 24 = 0. Put -1, x, p in increasing order.
-1, p, x
Let c be 2*2 - (9 + -9). Suppose -28 = c*u - 4*o, 2*o = u - o + 15. Suppose -x + 3*z - 2 = 0, 4*x - 4*z - 1 = -9. Put x, u, -4 in increasing order.
-4, u, x
Suppose 5*h = 3*w + 20, 0 = -5*w - 6 - 19. Let f(s) = -s**3 + 5*s**2 + 5*s - 6. Let j be f(-3). Let m be (0 - h)/((-17)/j). Sort m, -1, -2.
-2, -1, m
Let a(s) = -61*s + 63. Let v be a(1). Put -2/7, 0.3, -0.4, v in increasing order.
-0.4, -2/7, 0.3, v
Let m be 148/(-6) - (2 - 5/3). Sort 5, m, 0, -4 in descending order.
5, 0, -4, m
Let j = 16 + -14. Let x = 209 - 206. Put 1/7, -4, x, j in decreasing order.
x, j, 1/7, -4
Suppose 0 = -3*d + 6*d + 120. Sort d, -2, -3.
d, -3, -2
Suppose -5*o = -2*o + 15. Suppose -23*m = -41 - 51. Put 5, o, 2, m in ascending order.
o, 2, m, 5
Let w be (2 + 1)*19/((-399)/(-14)). Let c(f) = -f**2 - 2*f - 1. Let y be c(-1). Sort -1, 3, w, y in ascending order.
-1, y, w, 3
Let q = 179 - 174. Sort q, -1/4, -4, -0.7 in increasing order.
-4, -0.7, -1/4, q
Let r = -0.16 - 0.04. Let o = 0.3 + -0.3. Let h = o + 1. Put r, -0.1, h in descending order.
h, -0.1, r
Let r = 235 - 238. Sort r, 0.47, -1.
r, -1, 0.47
Let b = -1.19 + 1.09. Sort b, 3, 2/5 in decreasing order.
3, 2/5, b
Suppose -2*w - 3*w = -25. Let x(q) = -9*q - 60. Let v be x(-7). Put 2, w, -4, v in ascending order.
-4, 2, v, w
Let u be (-16)/(-70)*85/(-34). Sort 0.2, -0.08, u, 0.5 in descending order.
0.5, 0.2, -0.08, u
Let y(f) = -f - 1. Let m(a) = -2*a + 1. Let d(p) = -m(p) + 6*y(p). Suppose -5*s = 23 - 8. Let h be d(s). Put 3, 0, h in increasing order.
0, 3, h
Let u = 2.5 + -2.9. Let a = -5.4 - u. Let v = 1.3 - 0.9. Sort 9, v, a in descending order.
9, v, a
Let b be -2 + 4/(-4) + 76. Suppose -b*r = -74*r + 4. Sort r, 0.77, 2/11.
2/11, 0.77, r
Let f(t) = t**2 - 3*t - 3. Let a be f(-2). Suppose 0 = -a*q - 22 - 13. Sort -3, 2, 3, q in descending order.
3, 2, -3, q
Let k = 451.2 - 451. Sort 2/3, -5, k, -248.
-248, -5, k, 2/3
Let p = -772 + 751. Put -3, p, -4 in increasing order.
p, -4, -3
Let p(u) = u**3 + 5*u**2 - 3*u - 15. Let s be p(-5). Let b = 17 + -24. Sort s, b, -4, 0.4 in descending order.
0.4, s, -4, b
Let w(q) = -7831*q**3 - 3*q**2 + 4*q - 2. Let c be w(3). Let m = c + 12052340/57. Let l = m - -28/3. Put 1, -5, l in descending order.
1, l, -5
Suppose c + 5*m + 20 = 0, -m - 40 = 5*c + 4*m. Let y be (-2 - (-28)/20)*c. Sort y, 1, 0 in descending order.
y, 1, 0
Let y = 0.1032 - -70.1968. Let d = y - 68. Put -2, d, 1/6 in decreasing order.
d, 1/6, -2
Let z = 3 + -4. Let t be (-6 - -3)/(z/1). Let w be ((-2)/18)/(16/(-96)). Sort t, w, -1.
-1, w, t
Suppose -3*q = 2*l + 143, q + q - 5*l + 108 = 0. Let g = 52 + q. Put 2, -5, g in decreasing order.
g, 2, -5
Let g = 1.9 + 3.1. Suppose 6*r - 2*r - 4 = 0. Let l be (0 + -1)*5*r. Sort -1, l, g.
l, -1, g
Let h be 10/(-4)*(-4 + 2). Suppose 0 = 4*z - h*a - 24, -2*a - 8 = 4*z + a. Let k be (2 + 0)/(9 - 11)*-5. Sort z, k, 2 in increasing order.
z, 2, k
Let n = -0.5 - -1. Let p = -0.1731 + -0.2269. Sort n, -4, p, -0.8 in increasing order.
-4, -0.8, p, n
Suppose -11*o - 3 = -3. Let r be (0 - o) + -2*2. Sort 44, r, 1 in descending order.
44, 1, r
Let i be 4*(-2)/((-2)/(-1)). Let d = -264437/88440 + 511/201. Let u = d + 4/55. Sort u, i, -3 in increasing order.
i, -3, u
Let i = 38.5 + 4.5. Let x = 42.8 - i. Sort 0.4, x, 0.05 in descending order.
0.4, 0.05, x
Let c(f) = f - 1. Let z be c(2). Suppose -1 = v + d, -5*v + 2*d = -3*d + 15. Sort z, v, -12 in ascending order.
-12, v, z
Let f be 1 - 8 - 12036/(-1836). Suppose 5*q - 1 = 9. Sort f, 2/9, q in descending order.
q, 2/9, f
Let b = 33 + -19. Let y be (-30)/20*16/(-6). Put y, 2/7, b in decreasing order.
b, y, 2/7
Suppose 9*z = 7*z - 4. Put z, 3, 1 in ascending order.
z, 1, 3
Suppose 212*n - 27 = 221*n. Put 5, n, 2 in decreasing order.
5, 2, n
Let y be 20/(-9)*3/(-8). Let n = 67 - 315. Let p = -2730/11 - n. Sort 0.2, p, y in decreasing order.
y, 0.2, p
Let p = 0.2418 + 3.5582. Put 13/5, p, 2/7 in increasing order.
2/7, 13/5, p
Suppose 3*g - 84 = -5*v + 6*g, v - 5*g - 8 = 0. Suppose v + 39 = -3*c. Let n = c - -15. Sort -3, 0, n in descending order.
0, -3, n
Let s = -1.168 + 1.368. Let z = -0.45 + 0.4. Put z, s, -2 in increasing order.
-2, z, s
Suppose 0 = -2*j - 2*p + 4, -9 = j + 5*p + 1. Let i = 11 - 16. Put j, 3, -2, i in ascending order.
i, -2, 3, j
Let v = 45.7 - 45.7. Sort v, -0.1, -1/42 in ascending order.
-0.1, -1/42, v
Let n = -24 - -24.5. Let d = 1 + -0.4. Let t = d + 0.4. Sort t, n, 0 in ascending order.
0, n, t
Suppose 0 = 8*p + 15 + 1. Let h be (1*(-7)/14)/(p/(-8)). Sort 5, h, 3, 2 in descending order.
5, 3, 2, h
Suppose -1259 = 3*r - 1247. Put 0, r, 39 in descending order.
39, 0, r
Suppose -38 = -23*s + 31. Sort 0, s, 14, 1.
0, 1, s, 14
Suppose 3*u - 2 = -0*u + 2*x, u + 2 = -2*x. Suppose 2*g = 0, -4*n + u*g - 20 = -4*g. Let f be 5 - ((-9)/(-3) - 1). Sort n, f, 5 in increasing order.
n, f, 5
Let x(n) = 2*n - 1. Let q be x(3). Let l be -30 + 16 + -1 - -10. Sort l, q, -6 in decreasing order.
q, l, -6
Suppose 4 = 6*y - 5*y. Let i be 1 + y*(3 + -2). Put -2, -3, i in increasing order.
-3, -2, i
Suppose -8 = 3*b + b. Sort 0, 5, -3, b in decreasing order.
5, 0, b, -3
Let r = -436 + 438. Sort r, 24, 4 in decreasing order.
24, 4, r
Let u be 3*6/45 + 140/25. Suppose 4*z + n = u, 5*z - 10 + 1 = -2*n. Sort -10, -1, z in increasing order.
-10, -1, z
Let s = -628 - -627. Sort s, 4, -123 in ascending order.
-123, s, 4
Let u(s) = s**2 + 15*s + 26. Let l be u(-13). Let b = 10 + -7. Sort -2, b, l in decreasing order.
b, l, -2
Let x(w) be the first derivative of 6*w**2 + 3*w + 6. Let t be x(-2). Let g = t - -23. Sort -2/3, g, 0.4 in increasing order.
-2/3, 0.4, g
Suppose -4*n - 36 = t - 3*t, -4*t + 54 = -2*n. Suppose -t = -2*h - 4. Suppose 2*d = 5*d - 3. Sort h, 3, d.
d, 3, h
Suppose -m - 20 = 4*h, 0 = -5*m + 6*h - 8*h - 28. Sort m, 3, 1 in decreasing order.
3, 1, m
Let p be (3 - 3)*2/6. Let i = -173 + 172. Suppose -h - 3*h - 12 = 0. Sort i, h, p in increasing order.
h, i, p
Let o = -10 + 14. Let t = -20.43 + 1.63. Let p = t - -18.7. Put p, 1/6, o in descending order.
o, 1/6, p
Suppose 20*s = 29*s + 351. Sort -1, 2, s in descending order.
2, -1, s
Let t = 116129/42 - 2766. Let q = t - -6/7. Sort -5, 0, q, 5 in decreasing order.
5, 0, q, -5
Let a be 46/8 + 9/(-12). Suppose g = -4*f - 4, 2*g - 22 = f + f. Let v be 2*(28/g + -4). Put 1, a, v in decreasing order.
a, 1, v
Let x = 0.0723 + -1.0723. Sort 3/2, -2.2, x, 0.4 in decreasing order.
3/2, 0.4, x, -2.2
Let v = -986 - -913.9. Let x = 72 + v. Sort -1, x, 0 in descending order.
0, x, -1
Let s = 570 - 559. Sort -1/3, s, 0.2 in increasing order.
-1/3, 0.2, s
Let p = 0.254 + 0.246. Sort 6/13, p, 5 in increasing order.
6/13, p, 5
Let d = -1.103 - -0.103. Sort 2/11, -1.3, 4/7, d in ascending order.
-1.3, d, 2/11, 4/7
Let s = -15 + 17. Suppose -9 = 2*t + p, 0*p - 6 = -2*t + s*p. Let b be (-20)/(-6) + 2/(-6). Put 0, t, b in descending order.
b, 0, t
Let u be (3 + (-9)/4)*-2. Let w = 0.34 - 6.34. Sort u, w, -1 in increasing order.
w, u, -1
Let z be ((-9)/(-3) - 1) + -6. Suppose a - 17 = -3*n, -4*a - 8*n + 8 = -11*n. Sort a, 3, -3, z.
z, -3, 3, a
Let y(a) = 2*a + 4. Let r be y(-4). Let l = -6 - -4. Let q = 0 + l. Put r, -3, q in decreasing order.
q, -3, r
Let k = -187 + 182. Suppose 4*l - 1 = 3. Let b be 1/2 + l/(-10). Put k, b, -2/5 in increasing order.
k, -2/5, b
Let j = 1 - 1.4. Let w = 0.354 + 0.146. Sort 2/9, j, w in decreasing order.
w, 2/9, j
Suppose 0 = q - 2*k + 3, 0 = -2*k + 6. Let j be 2/(3/q)*-1. Let d be (-4 - -6)/((-6)/9). Put d, 0, j in ascending order.
d, j, 0
Suppose -4*p + 16 = -4*s, -11 = -4*p + 3*s + 2*s. Suppose -p*y + 8*y = 1. Sort 0, y, 4.
y, 0, 4
Let h be (-2 - 10/(-3))/2. Let f = 0.8106 - 0.8106. Sort h, 0.3, f, -0.1.
-0.1, f, 0.3, h
Suppose w = -2*w + 15. Let d(x) = -x**2 + 7*x - 5. Let l be d(w). Sort 1, 0, l in decreasing order.
l, 1, 0
Let q(n) be the first derivative of 2*n**3/3 + n**2 - n - 1. Let m be q(1). Sort 5, m, -1 in increasing order.
-1, m, 5
Suppose -14*z + 38 = -4. 