.1. Put n, p, -0.2 in decreasing order.
-0.2, p, n
Suppose 0*l = l - 3*m - 12, -5*l + 12 = m. Suppose 7*g - 12 = 4*g. Let q be 0 - ((-462)/(-121) - g/(-22)). Sort q, 4, -2, l.
q, -2, l, 4
Let d(g) = 2*g**2 + 6*g. Let p be d(11). Let n = 4622/15 - p. Sort -12, n, 0.2 in decreasing order.
0.2, n, -12
Let n(u) = 7*u**2 - u - 5. Let y be n(-2). Let a = y + -44. Sort -2, a, 5 in decreasing order.
5, -2, a
Let g = -20206 - -21365. Sort -4, -2, -3, g, 0 in ascending order.
-4, -3, -2, 0, g
Let x = -7.3 - -7. Suppose -135*a + 2*d + 6 = -138*a, -4*d - 24 = 0. Sort x, a, -0.16 in descending order.
a, -0.16, x
Suppose -97*l = -103*l - 24. Let d = -0.3 + 0. Put l, d, -1 in descending order.
d, -1, l
Let g be 4 - (-10)/2*-2 - 44/(-6). Sort -0.2, g, 0.05.
-0.2, 0.05, g
Suppose 2*u - 258 = 2*f, -377 = -15*u + 12*u - 2*f. Sort u, 3, 4, -5 in decreasing order.
u, 4, 3, -5
Let o = -639 - -647. Let x be 3 - (-8 + o) - -2. Let l(q) = q + 1. Let r be l(-4). Put r, x, -1, 4 in ascending order.
r, -1, 4, x
Let k = -22.96 + 19.96. Sort 31, k, 3, 0 in descending order.
31, 3, 0, k
Suppose -18*z - 137 = 151 + 18. Put z, -1, 4, 3 in decreasing order.
4, 3, -1, z
Let m(z) be the first derivative of z**3/3 - 2*z**2 - z - 3. Let k be m(5). Let v = -665 + 660. Put k, v, -10 in descending order.
k, v, -10
Let v(z) = -z**3 - 51*z**2 + 99*z - 373. Let x be v(-53). Let m(d) = d**3 - 3*d**2 + 3*d. Let r be m(2). Put -5, x, 0, r in decreasing order.
r, 0, x, -5
Let g(j) = 3*j + 9*j**2 + 8*j + j**3 + 0*j - 3*j. Let x be g(-8). Let s be (-4)/6 - (-13)/(-3). Put x, s, -2 in descending order.
x, -2, s
Let t = 38.13 + -0.13. Let l = 602.5 + -602. Sort 5, -4, l, t.
-4, l, 5, t
Let q = -4.95 - 0.05. Let k = 4449 - 4446. Put -1/9, q, 11, k in descending order.
11, k, -1/9, q
Let g be 1*(-65 + 56 - -6*1). Put g, 52, 0 in ascending order.
g, 0, 52
Let z = -1.3 - -1.4. Let a = -166 + 169. Let m(p) = p**2 + p - 11. Let r be m(a). Put z, -2/5, -1/4, r in increasing order.
-2/5, -1/4, z, r
Let p = 282 - 287. Let f = 284 + -284. Sort -4, f, 3, p in decreasing order.
3, f, -4, p
Let d = 3302 - 3292. Sort -35, -4, d in descending order.
d, -4, -35
Let j be 30/(-4)*21/1890*18. Let w = 1.7 + -2. Sort j, 14, 3, w in decreasing order.
14, 3, w, j
Let z = 0.5169 - 0.2069. Sort z, -0.5, -0.04, -1 in ascending order.
-1, -0.5, -0.04, z
Suppose -24*d + 70 - 32 + 58 = 0. Sort -133, -1.3, d, -3 in ascending order.
-133, -3, -1.3, d
Let z(l) = -l**2 + 19*l - 24. Let h be z(14). Suppose 0 = 19*x + h - 8. Suppose 4*s = 3*u + 5, 0*s = 5*u - 5*s + 5. Sort x, u, -7 in ascending order.
-7, x, u
Let d = -219.159 - -219. Let g = d - 1.841. Sort 0.02, g, -2/3.
g, -2/3, 0.02
Let m be ((-598)/(-897))/(1 + (-13)/21). Put 0.09, m, 15/2 in decreasing order.
15/2, m, 0.09
Let l(d) = d - 3. Let c be l(3). Let b = -3 - c. Let h = -79 - -56. Sort 5, b, h in descending order.
5, b, h
Let q = -7351 + 7356. Put -1, q, 402, 2/7 in descending order.
402, q, 2/7, -1
Let s = 235.3 + -234. Let r = -0.9 - 0.5. Let h = r + s. Put -1/2, -0.55, 0, h in descending order.
0, h, -1/2, -0.55
Let q = -2214 + 2240. Sort -2, 2, q, 1 in descending order.
q, 2, 1, -2
Let d be (-6)/39 - (98/91)/(-7). Sort -15, d, 2, -2, 20 in ascending order.
-15, -2, d, 2, 20
Let g = 450 - 944. Let l = g - -489. Sort 23, -1, l in descending order.
23, -1, l
Let v(z) = z**3 + 4*z**2 + z. Let p be v(-4). Suppose 5*q - 25 = -5. Suppose 3*g - 25 = a, 2*a + g - 155 + 170 = 0. Sort -3, a, q, p in decreasing order.
q, -3, p, a
Let n(o) = 36*o**2 - 690*o - 18. Let d be n(19). Put d, -1/2, 17 in descending order.
17, -1/2, d
Let z(f) = 2*f**3 + 2*f**2 + 6*f - 25. Let h be z(2). Put -1, -2, h, -4, 2 in increasing order.
-4, -2, -1, 2, h
Let q = -1.36 - -0.36. Let l = -2 - q. Let n = -0.041 + -0.159. Put -0.4, 4, n, l in ascending order.
l, -0.4, n, 4
Let w = 19 - 14. Let n be 2/3 + 1568/(-588). Let c(h) = -h - 6. Let m be c(-8). Sort w, m, 3, n.
n, m, 3, w
Let c = -8 - -88. Suppose 0 = 64*v - c*v + 80. Sort 10, -7, v in descending order.
10, v, -7
Suppose -2*u = -u + 2. Let n(z) = z**3 - 3*z**2 - 7*z + 15. Let q be n(3). Let d(m) = -4*m + 3. Let o be d(2). Sort 0, q, o, u in decreasing order.
0, u, o, q
Let u = 10 - 15. Let j be 1/3*(-10 - -6). Let m = -10/5079 - 15187/25395. Put u, j, m in increasing order.
u, j, m
Let x(r) = r**3 - 3*r**2 - 18*r + 34. Let d be x(5). Sort -1, 0, d, 23 in descending order.
23, 0, -1, d
Let r(q) = 8*q + 49. Suppose 30 = -21*u + 16*u. Let l be r(u). Sort l, -4, -81 in decreasing order.
l, -4, -81
Suppose -32*p = -39*p + 294. Suppose 2*v + 20 = 5*q, 4*v - 44*q + p*q + 24 = 0. Put 1, v, 0, -8 in descending order.
1, 0, v, -8
Let x = 374 + -395. Let c be -1 - -5 - ((-56)/x + 2). Sort c, -8, 11, -4 in ascending order.
-8, -4, c, 11
Let f = -2067/8 - -258. Let i = 58.2 - 57.906. Let t = i + -1.294. Sort f, -1/3, -3, t in ascending order.
-3, t, f, -1/3
Let v = -0.3122 - 1.5878. Put v, 5, 1, 24 in decreasing order.
24, 5, 1, v
Let m(b) = -b**3 - 82*b**2 - 159*b - 1. Let t be m(-2). Put t, -1, 4, -5, -10 in increasing order.
-10, -5, t, -1, 4
Let j = -22321 - -22327. Sort -4, j, -373.
-373, -4, j
Suppose 6*y - 8 = 10*y. Suppose 65*j - 1287 = -5337 - 955. Sort 3, y, j, 1 in increasing order.
j, y, 1, 3
Suppose 0 = 3*q + 4*p - 3, -4*p - 2 = -2*q - 0*p. Let r be (22 - -5)/(170/(-204)*18/10). Sort q, 5, r in ascending order.
r, q, 5
Let s = 21302 + -21307. Let w = 5 + -1. Put s, 0, -1/8, w in increasing order.
s, -1/8, 0, w
Let t be (-174)/18 + 10/15 + (-164)/(-16). Let w = -1.1 - -1. Let s = w - 0.1. Put t, 3/5, s in decreasing order.
t, 3/5, s
Suppose 0 = -5*k - 91 + 61, -3*y + 4*k - 339 = 0. Put 4, 1, 5, y, -1 in descending order.
5, 4, 1, -1, y
Let l = 1.349 - 2.349. Put -0.4, 1/3, 9/8, l, 1/9 in descending order.
9/8, 1/3, 1/9, -0.4, l
Let y be 22/231 - (-120)/63. Suppose 5*k + 4*k - 3*k = 0. Suppose 5*b + 122 - 97 = k. Put -3, b, y in descending order.
y, -3, b
Let z be 10*((-14)/(-21))/(20/6). Suppose 7 = b - 5. Suppose 0 = -2*l + z*g - 5*g - b, 2*g = -5*l - 8. Put -4, 1, l, 4 in ascending order.
-4, l, 1, 4
Let h = 662.4 + -662.3. Sort h, 3, 1.5, 4.
h, 1.5, 3, 4
Let w(l) = l**3 - 12*l**2 - l + 11. Let o be w(12). Let v be 2 - (-1 + o)*1. Sort v, 27, 5 in ascending order.
v, 5, 27
Suppose -s = -2*b - 16, 2*s + 9 = 5. Suppose t + 3*i + i - 24 = 0, -t = -i - 9. Let l be ((-1)/(-3))/(2/t). Sort -5, l, -1, b in decreasing order.
l, -1, -5, b
Suppose 86 = 23*u + 20*u. Suppose 7 = -x - 2*n - u, 5*n = -2*x - 23. Suppose -6*o = -2*o + 2*r + 16, 3*o + 25 = 5*r. Put x, o, 5 in ascending order.
o, x, 5
Let j = 4583 - 4625. Sort -1, -4, j in increasing order.
j, -4, -1
Let u = -76 + 78. Let p = 6439/19 - 339. Sort p, 30, u in ascending order.
p, u, 30
Let v = 159.5 - -17.5. Let n = v + -187. Sort -1, n, -0.1 in descending order.
-0.1, -1, n
Let i = 0.11489 - -0.28511. Sort 0.2, i, -2233 in descending order.
i, 0.2, -2233
Let t = -0.5 + 1.1. Let n = 2/23435 - 93754/164045. Put 1, n, t in decreasing order.
1, t, n
Let z be 13*(-33)/(-143) + -6. Sort 2, 0, -7, z, -2 in decreasing order.
2, 0, -2, z, -7
Let n = 337 + -423. Sort n, 2/5, -2/5 in ascending order.
n, -2/5, 2/5
Let s = -81 - -97. Let f be -1 + 9 - 2 - s. Put -3, f, 1 in increasing order.
f, -3, 1
Let w = -2849 + 2849.3. Sort w, 5, -13 in increasing order.
-13, w, 5
Let t be (-2 + (-330)/(-15))*(-2)/(-8). Let f = 9 + -7. Suppose 1 = -n - f. Sort n, t, -2.
n, -2, t
Let l = -1.808 - -2.308. Sort l, -4, 12 in descending order.
12, l, -4
Let o = 3.2103 - -0.0897. Sort o, 0.8, -4, -0.3, 1/6 in decreasing order.
o, 0.8, 1/6, -0.3, -4
Let j = -3324 - -3324. Sort 2.61, j, -7 in increasing order.
-7, j, 2.61
Let g be ((-8)/(-60))/(248/93*1/10). Let t = -124/9 - -14. Let l = -2 - -3. Sort g, -3, l, t.
-3, t, g, l
Suppose -b - i = 1, 19 - 9 = 2*b - 2*i. Suppose -b*t + 9*t = t. Sort -5, -2, 2, t in descending order.
2, t, -2, -5
Let c = 2 - 1.96. Let v = 3158.5 + -3159. Suppose -4*t = p - 25, -3*p - 4*t - 9 = -44. Sort c, v, p in decreasing order.
p, c, v
Let f = 0.7 + 0.3. Let r = 8.0532 - 0.0532. Let w = 62 + -62.3. Sort f, r, w in ascending order.
w, f, r
Let b be 12/(-150) + 138/(-150). Put -3, 19, b, 0 in decreasing order.
19, 0, b, -3
Suppose -17*v = 7*v. Suppose b = 2*b - 2. Suppose -3*z = b - 5. So