. Put x, -6, i in descending order.
i, x, -6
Let f be 129*(16/12 + -1). Let u = f - 31. Let y be 38/u + (-5 - -2). Sort 7, y, 5 in decreasing order.
7, 5, y
Suppose -7*p + 3*p = 12, 3*u = 5*p + 18. Let z(k) = -k**2 + 10*k + 26. Let r be z(12). Sort r, u, 4, -10 in decreasing order.
4, r, u, -10
Let n = 0.063 + 0.937. Put n, -1, 10 in decreasing order.
10, n, -1
Let i be 55/(-15) + (8/12 - 0). Let x be (30/18)/(1/3). Put -5, i, x in descending order.
x, i, -5
Suppose -h - 2*z - 4 = -3*z, -2*h = 5*z + 15. Put h, 0, -11 in descending order.
0, h, -11
Let j = -598 - -543. Sort -1/7, 0, j, -1 in ascending order.
j, -1, -1/7, 0
Let v = 474 + -474.17. Put v, 0.2, -5 in decreasing order.
0.2, v, -5
Let u(y) = -166*y + 168. Let f be u(1). Suppose 2*s - 3 = g, s + g + 1 = 5*s. Sort -3, f, s in ascending order.
-3, s, f
Suppose 5*n = 11 + 4. Suppose 0 = n*s + 4*s. Sort 4, s, -1, 9 in increasing order.
-1, s, 4, 9
Let m be (-38)/8 - (-1)/(-4). Let r(b) = -b**2 + 6*b + 1. Let l be r(9). Let a = -21 - l. Put m, a, 4 in descending order.
a, 4, m
Suppose 0*f - 12 = 2*f. Let o(r) = 2*r + 21. Let g be o(7). Suppose 2*u = 5*m + g, -u + 0 + 20 = -3*m. Sort u, f, 2 in decreasing order.
u, 2, f
Let n = 2 + -4. Let d = -4 - n. Let g be 0 - (-1 + (0 - 4)). Put d, 4, g in descending order.
g, 4, d
Let q(a) be the second derivative of a**5/20 - 7*a**4/12 - a**3/6 + a**2 + 2*a. Let w be q(7). Let b be (7 + (2 - 5))/(4/6). Put b, w, 4 in descending order.
b, 4, w
Let b = -1062 + 1058. Sort 241, b, -5 in descending order.
241, b, -5
Let k = 5 + -8. Let c = 74 + -74. Put k, 6, c in descending order.
6, c, k
Let g = 318 - 320. Put -4, g, 30, 3 in ascending order.
-4, g, 3, 30
Let r(i) = 4*i + 61. Let l be r(-16). Put 0.06, 2/5, l, -19 in decreasing order.
2/5, 0.06, l, -19
Suppose -v + 15 = -5*o + 35, 44 = -5*v - 3*o. Sort v, -4, 4, 8 in ascending order.
v, -4, 4, 8
Let q be -2 + 36/16*1. Put q, -48, 0.3 in ascending order.
-48, q, 0.3
Let w = 2.133 + -0.133. Sort 341, w, 1/2 in descending order.
341, w, 1/2
Let n = -0.1 + 0.3. Let z = -0.2 + n. Suppose 21077*o - 21088*o = -44. Sort z, o, 0.4 in increasing order.
z, 0.4, o
Suppose 58*x - 166 - 298 = 0. Put 5, 2, x, 1/5 in decreasing order.
x, 5, 2, 1/5
Let m = -83.5 - -88.5. Put m, -2/3, 17, 0.1 in ascending order.
-2/3, 0.1, m, 17
Let s = -49 + 55. Suppose -s*t = -0*t + 30. Sort 0, t, 4 in increasing order.
t, 0, 4
Suppose -2 = -f - 1. Let s(w) = -w**3 - 3*w**2 - w + 2. Let b be s(-3). Let p(g) = -g**3 + 5*g**2 - 3*g + 12. Let a be p(b). Sort 4, f, a in decreasing order.
4, f, a
Let b = 0.16 - -4.84. Let x = 9 - b. Sort -1.4, -1, x.
-1.4, -1, x
Suppose -3*c + 3*l + 6 = 0, -27*l - 16 = 2*c - 24*l. Let m be -6*(0 - 3/6). Sort c, 0, m.
c, 0, m
Let t(p) = p**3 + 4*p**2 - 13*p - 10. Let v be t(-6). Sort -5, 21, 4, v.
-5, v, 4, 21
Let y(v) = v**3 - 6*v**2 + 5*v - 61. Let q be y(6). Put -3, q, -25 in increasing order.
q, -25, -3
Let z(w) = -5*w + 49. Let k be z(9). Let y = -35 + 35. Sort -1, y, -5, k in decreasing order.
k, y, -1, -5
Let x = -18707 - -18706. Let k be (-4)/(-10) - (-6)/(-15). Sort x, 27, k, -2.
-2, x, k, 27
Let s = 1 - 14. Suppose -3 = 4*y - 3*w - 1, 9 = 5*y + 2*w. Sort s, -2, y in decreasing order.
y, -2, s
Let a(p) = -p**3 - 9*p**2 - 10*p - 1. Let l be a(-7). Let k be (-87)/(-27) - ((-15)/5 - -6). Sort l, k, 3.
l, k, 3
Let t be 0*(-13)/(-65) - (-12)/(-1). Put -3/10, 2, t in descending order.
2, -3/10, t
Let l = 1239 + -1239.2. Sort 0.2, 3, -0.6, l in descending order.
3, 0.2, l, -0.6
Let f(w) = -w**2 + 9*w - 13. Let q be f(8). Suppose b = -3*d + d - 4, 2*b + 5*d + 10 = 0. Sort -1, q, b, 3.
q, -1, b, 3
Let l be ((-62)/(-4))/(-5 + 66/12). Suppose -26*s + l*s = -35. Sort -4, -1, s, 1.
s, -4, -1, 1
Let k be ((-15)/(-35))/(-1) + 17/7. Suppose -15 = -4*d - 3*i, 5*d + 5*i + 25 = 10*i. Put d, k, 1, -5 in descending order.
k, 1, d, -5
Let m(d) = -15*d + 199. Let i be m(13). Sort 5, 23, -1, i in ascending order.
-1, i, 5, 23
Let v be (-12)/10*-5 - 1. Suppose 28 + 7 = v*a + 3*y, 3*y = -2*a + 23. Suppose -3*k + 2*k + a = 0. Sort k, 5, -1/2 in decreasing order.
5, k, -1/2
Suppose 2*z + 3 = -b, -b = 3*z + 2 - 0. Suppose z + 6 = -7*j. Put j, -5, 4 in descending order.
4, j, -5
Let s be (-8)/(-20) + (-132)/(-45). Let k(t) = -6*t - 15. Let x be k(-6). Let a be ((-6)/21)/((-12)/x). Put 2/3, s, a in descending order.
s, 2/3, a
Let u = 53 - 81. Let z(o) = o**2 + 13*o + 34. Let h be z(-10). Put 5, 0, h, u in increasing order.
u, 0, h, 5
Suppose -4*f + 2*r = 14, -4*f + f + r = 11. Suppose 3*l + 5*l = 0. Sort 2, f, -2, l in increasing order.
f, -2, l, 2
Let d be (-3 - 635/(-15))*(-3)/(-2). Let y = d - 297/5. Sort -1/6, -1, y, 0.1 in increasing order.
-1, y, -1/6, 0.1
Suppose 268 = 155*t - 222*t. Sort t, 273, 4 in decreasing order.
273, 4, t
Let l = 6 + -5. Let m = l + -1.5. Let o = 5.2 + -4.8. Sort o, -1, m in descending order.
o, m, -1
Suppose 53*r = -4*l + 58*r - 5, 0 = 4*l - 3*r + 11. Sort 6, l, 22, -1 in increasing order.
l, -1, 6, 22
Let s be (-555)/(-6)*(-36)/90. Put s, -7, -2 in ascending order.
s, -7, -2
Suppose 4*g - 8 = 2*c, 2*g - 24 = -c - 3*c. Let x(s) = -s**2 - 5*s + 1. Let y be x(-5). Suppose -y = v - c. Sort -3, 4, v.
-3, v, 4
Let i(p) = p**3 - 5*p**2 - 6*p. Let c be i(6). Suppose -t - 26 + 28 = c. Sort t, 1, -4 in descending order.
t, 1, -4
Let d = 17.4 - -9. Let k = d - 26. Let z = 2.5 + -3. Put z, 0.03, k in decreasing order.
k, 0.03, z
Let k(p) be the third derivative of p**4/12 - 13*p**3/6 + 11*p**2. Let m be k(9). Put 2, m, -2, 0 in descending order.
m, 2, 0, -2
Let s(z) = -z. Let k be s(2). Let i = -235 - -231. Sort k, 14, i, -1.
i, k, -1, 14
Let c be (-5 - (-37)/8)*(-3 - -5). Put 1.87, -4, c in descending order.
1.87, c, -4
Suppose m - 25 = -2*t, 0 = -3*t + 4*t + 3*m - 20. Suppose 6 = -s + 4*c - t, -5*s - 60 = 5*c. Sort 3, 0, s in descending order.
3, 0, s
Let f = 0.444 + -1.244. Put f, 3/4, -0.2 in increasing order.
f, -0.2, 3/4
Let h = 493.2 - 453. Let m = h - 40. Put 1/4, -3, m, 1/6 in descending order.
1/4, m, 1/6, -3
Let y = 1805/4041 + -1/449. Sort -2/11, 0.1, y in decreasing order.
y, 0.1, -2/11
Let b(m) = -m**3 + 13*m**2 - 3. Let n be b(13). Let g(v) = 2*v + 4. Let r be g(n). Sort r, 2, 0, 4 in ascending order.
r, 0, 2, 4
Let s be 44/176 - 18/8. Sort -1, 2, -67, s in ascending order.
-67, s, -1, 2
Let z = -5.07 - -5. Let v = z - 0.05. Let b = v - -4.12. Sort b, 2, 0.01 in decreasing order.
b, 2, 0.01
Suppose 10*g - 12 = 22*g. Sort -4, g, 276 in increasing order.
-4, g, 276
Let w(t) = -t**3 + 66*t**2 + 68*t - 62. Let p be w(67). Suppose 0 = -3*a + 8*a + 115. Sort p, a, -2.
a, -2, p
Suppose 2*n = -t - 53, 4*t + 58 = -2*n + 14. Let i be (-33)/n - (-6)/(-14). Let c be (0 - 8/(-6))*3. Sort i, c, -5 in descending order.
c, i, -5
Let i be 38/(-5) + ((-504)/(-40) - 12). Sort 1, -39, i.
-39, i, 1
Let o = -579 + 583. Let z = 9 - 6. Put z, -0.3, 2, o in decreasing order.
o, z, 2, -0.3
Suppose -2*t - 2*x - 12 = 0, 2*x = t + 5*x + 12. Let p(n) = -n**2 + 6*n + 6. Let g be p(5). Put g, t, -1 in descending order.
g, -1, t
Suppose -133 + 37 = 4*s. Let i be 6*-1*4/s*3. Put i, 5, 0, 2 in increasing order.
0, 2, i, 5
Let t be -1 + (1 - (-4 - 10)). Suppose -7*n + t = -0. Let y(v) = -6*v**2 + v. Let k be y(1). Sort 1, n, k in descending order.
n, 1, k
Let q = 0.58 - -25.42. Let c = -26 + q. Put -0.02, -5, c in descending order.
c, -0.02, -5
Let c(d) = -d + 11. Let i(t) = 10 - 12*t + 3*t + 6*t + 2*t. Let j(x) = 5*c(x) - 6*i(x). Let s be j(7). Sort 4, s, 3 in descending order.
4, 3, s
Let o(a) = -39*a - 55. Let c be o(-2). Put c, -4, 0 in decreasing order.
c, 0, -4
Let l(j) = 2*j**2 + 2*j - 9. Let x be l(3). Suppose -3*a + 3*k + x = 0, 2*k - 1 = a + 3*k. Suppose 2*t + 8 = -a*t. Sort 2, 4, t.
t, 2, 4
Let d be (-7 - (0 + 0)) + (140 - 130). Let g(i) = i**2 - 8*i - 3. Let w be g(8). Let p = w + 5. Sort p, -2, d in descending order.
d, p, -2
Let o = 267/4 + -67. Sort o, -3, -1/3, 1 in descending order.
1, o, -1/3, -3
Let a = -22 + 17. Let d = 2 + a. Put -0.3, d, 2 in descending order.
2, -0.3, d
Let b = 5.54 - 5.74. Suppose -3*d = 2*x, -5*x + 5*d = -3*x. Suppose 9 = 4*p + 5*h - x, 11 = p + 3*h. Sort -1/2, p, b in decreasing order.
b, -1/2, p
Let q be 1/4 + (-13)/52. Put 24, 0.05, q in descending order.
24, 0.05, q
Let h = 0.29 