.
k, t, -2
Let n = 0.93 + 1.07. Put 0.5, -22, n, 0.3 in descending order.
n, 0.5, 0.3, -22
Let z be (-1)/(-3) + 15/9. Let l(q) = -2*q**3 + 3*q**2 - q + 2. Let u be l(2). Put -2, z, u in ascending order.
u, -2, z
Let c = 14 - 12. Put -13, c, 3 in decreasing order.
3, c, -13
Let n be (-2 - -4 - 2)*1. Let a = 104 - 11126/107. Let u = a - -208/321. Put n, -0.2, u in descending order.
u, n, -0.2
Let s(p) = -p**2 - 10*p - 9. Let g be s(-9). Suppose 5*o - 3*t - 22 = 0, -o - t = -2 - 4. Suppose o*l - 3 = -13. Sort 3, l, g in decreasing order.
3, g, l
Let a be 6*(-2)/(-15) - (7 - 7). Sort a, 2/13, 1/4, -1/12 in decreasing order.
a, 1/4, 2/13, -1/12
Let b = 124 + -109. Sort -1/3, -5, -3, b.
-5, -3, -1/3, b
Let x(z) = z**3 + 8*z**2 - 8*z + 7. Let f be x(-9). Let p(j) = j**3 + 2*j**2 - 4*j - 1. Let y be p(-3). Sort -4, f, y in decreasing order.
y, f, -4
Let r = -20 + 14. Let z be -1 + (-2)/(r/(-9)). Sort z, -3, 2 in descending order.
2, -3, z
Suppose -5*t - 1 + 7 = 2*g, 4*t + 4*g - 12 = 0. Let u(b) = -b**3 - b**2 + b + 4. Let r be u(t). Sort -1, r, -3 in decreasing order.
r, -1, -3
Let d = -0.3 + 3.3. Let j = 13 - 51/4. Put j, 0.2, d in increasing order.
0.2, j, d
Let b = 7505 + -7537.57. Let j = b + 33. Let r = 0.07 + j. Put 0.3, 1, r in ascending order.
0.3, r, 1
Let d(p) = -p - 2. Let g be d(-6). Suppose -2*v - g = -3*x - 18, 3*v - 5*x - 22 = 0. Let r be v/6 + 14/6. Sort r, 4, -2 in descending order.
4, r, -2
Let h = -3.1 + 1.1. Let b = h + 1.6. Put 2, 4, b in decreasing order.
4, 2, b
Let y = 53.4 + -53. Sort -0.5, y, -8 in increasing order.
-8, -0.5, y
Let m(s) be the first derivative of 2*s**3/3 - 3*s**2/2 + 2*s - 3. Let h be m(2). Put 3, 2, h in ascending order.
2, 3, h
Let k be (-16)/(-7) + 6 + 88/(-14). Put k, -1, -11 in decreasing order.
k, -1, -11
Let j = 0.1 - -2.9. Let f = j - 6. Let z = 3 + f. Sort -3, 1, z in ascending order.
-3, z, 1
Let s = -7 - -7. Suppose -2*i - i = 3*c, -2 = -i + c. Suppose -4*w - i - 11 = 0. Sort 5, w, s in decreasing order.
5, s, w
Let b = -26 + 26.5. Put b, 3, -2/5 in descending order.
3, b, -2/5
Let t(b) = -b**3 - 3*b**2 - 2. Let v be t(-3). Suppose j + 3*p + 6 = 23, -j = -3*p + 7. Sort j, -3, v.
-3, v, j
Let z = -8 - -9. Let q be 28/(-16) + (z - -1). Let t be 19/(-5) + (-3)/15. Put q, t, 3 in increasing order.
t, q, 3
Suppose q = u + 7, 2*q - 11 = 3*u + 4*q. Put -2, u, -1 in descending order.
-1, -2, u
Let g = 0.3 + 2.7. Put g, -2, 1 in increasing order.
-2, 1, g
Suppose 0*v = -2*v + 8. Suppose 2*l = -0*l - v. Sort -1, -5, l in increasing order.
-5, l, -1
Let b = -21 + 19. Sort b, 0.5, 5 in descending order.
5, 0.5, b
Let n = 0.36 + -24.36. Let p = 26 + n. Put 2/3, -3, p in increasing order.
-3, 2/3, p
Let t be 7/2 - (-11)/22. Sort t, 5, 6 in decreasing order.
6, 5, t
Suppose 4*l + 3*x = 19, l - 5 = -0*l - x. Sort -0.1, l, -13 in descending order.
l, -0.1, -13
Let a(p) = -p**2 + 5*p - 3. Let x be a(4). Let o(n) = 3*n + 1. Let l be o(-2). Let k = -12 + 4. Sort k, x, l.
k, l, x
Suppose -10*j + 12 - 2 = 0. Sort -6, j, 5 in descending order.
5, j, -6
Let p be (-28)/70 + 6/(-10). Put -7, p, -2 in increasing order.
-7, -2, p
Let d = -85/532 + 3/28. Let b = d + 45/133. Put 4, -3, b in decreasing order.
4, b, -3
Let x be ((-2)/(-2))/((-48)/8). Let b = 45/2 - 22. Let m = b + x. Sort 3/5, m, 5 in descending order.
5, 3/5, m
Suppose 4*h - 7 = -23. Sort 2, -5, h in descending order.
2, h, -5
Let f be -4 + (-2 + 1 - -10). Sort -3, f, 0 in increasing order.
-3, 0, f
Let k = -7 - -3. Let j = k - -2. Put 2, 1, j in descending order.
2, 1, j
Suppose 2*y + 8 = -2*y. Let c = -0.5 + 0. Sort y, -0.4, c.
y, c, -0.4
Let g(f) be the first derivative of -f**3/3 - 3*f**2 - 3*f - 1. Suppose -3*t + 25 = -8*t. Let v be g(t). Sort -5, 4, v in ascending order.
-5, v, 4
Let q = 8 - 6. Let i(f) = f + 1. Let t be i(-3). Sort t, q, 1 in descending order.
q, 1, t
Suppose 2*c - 5 = -5*z, 3*z + 4*c + 9 = -2. Suppose -2*d - 1 = -5. Sort -3, z, d in ascending order.
-3, d, z
Let r(d) = -4*d**2 + d. Let p be r(1). Let x be 9 + 1 + 3 + -2. Suppose 0*i - x = i - 2*b, -i + 4*b - 21 = 0. Put i, -2, p in descending order.
i, -2, p
Suppose 7 = -3*u + 4. Let x = 4 + -10. Let m = -5.6 - x. Put u, m, -2 in increasing order.
-2, u, m
Suppose 60 = 4*t - 9*t. Let a = t + 7. Let c = -1116 + 1118. Put c, a, 0 in decreasing order.
c, 0, a
Let n(x) = -x**3 - 3*x**2 + 4*x + 2. Let v be n(-4). Suppose v*c = -0 - 8. Put -2, 5, c in decreasing order.
5, -2, c
Let u = 6 - 5.7. Let m(k) = -k**3 - 20*k**2 - 21*k - 36. Let p be m(-19). Sort p, u, -2 in increasing order.
-2, u, p
Let n(r) = -r + 3. Let l be n(-5). Let o = 6 - l. Let i be 9/o*(-5)/(-15). Sort i, 5, -0.2.
i, -0.2, 5
Suppose 2*b + 3*b + 4*b = 0. Sort b, -17, -1, 1 in ascending order.
-17, -1, b, 1
Let g be (-96)/44 + 4/22. Let f be -2 + (-1 - 21/(-3)). Sort 5, f, g.
g, f, 5
Let y = -18 + 10. Let i = 11 + y. Let n be 3/2*(-8)/i. Sort 5, -3, n in descending order.
5, -3, n
Suppose n - 4*z = 9, -z = 3*n - 1 + 13. Let a be 3*2/9*n. Let p = -0.18 + -0.02. Sort -0.5, p, a in ascending order.
a, -0.5, p
Let d be 28/10 - (-15 - -17). Let f = -0.1 + -0.1. Sort d, f, 3/5 in descending order.
d, 3/5, f
Suppose -2*p - o = -15 + 68, 2*p + 50 = 2*o. Let l = -6 - p. Suppose -4*i - l = -2*g - 2*g, 4*g - 11 = i. Sort 4, g, -2.
-2, g, 4
Let v = 221 + -221.2. Put v, 0.6, 0.3, -0.09 in increasing order.
v, -0.09, 0.3, 0.6
Let t(g) be the first derivative of g**4/4 - g**3 - 5*g**2/2 + 1. Let x be t(4). Let y = x - 1. Sort 2, y, -1.
y, -1, 2
Let d = 2.3 + -3. Let r = 0.2 + d. Sort 2/17, 4, r in increasing order.
r, 2/17, 4
Let f = 0.14 + 0.86. Put f, -0.1, -3/5 in decreasing order.
f, -0.1, -3/5
Suppose -3*w + 2*j = 10 - 4, -2*w = -3*j - 1. Suppose 4*h + 3*u = h, 5*h = -4*u - 5. Put 5, h, w in ascending order.
h, w, 5
Let z(f) = -2*f**2 - 24*f - 21. Let p be z(-11). Sort p, -15, 3 in ascending order.
-15, p, 3
Suppose c - 3*r - 7 = -2*r, r = -4*c + 8. Sort 4, c, -3.
-3, c, 4
Let l = 3.47 - -0.47. Let p = -0.06 - l. Let a = p - -3. Put 1, 3, a in descending order.
3, 1, a
Let u = 269.07 + -273. Let i = 0.07 - u. Let o = -0.6 + 2.6. Sort 1, o, i in decreasing order.
i, o, 1
Let j = -14 - -13.5. Let b = -6 + 1. Sort 4, j, b.
b, j, 4
Let i be (-5)/25 - 24/5. Put 3/5, 2, 4, i in descending order.
4, 2, 3/5, i
Let j be ((-10)/3)/(6/(-9)). Suppose -50 = -0*d - j*d + 4*w, 0 = 3*w. Suppose v - d = -v. Sort v, -5, 4 in descending order.
v, 4, -5
Let b = -1 + 4. Let c = -3.65 - -0.15. Let s = c + 3. Sort b, s, 0.4 in descending order.
b, 0.4, s
Suppose 0 = 2*h + n + 1, -3*h = -h + 5*n - 11. Put 2, -3, h in ascending order.
-3, h, 2
Suppose 5*o - 5 = -0*o. Put -5, -3, 5, o in decreasing order.
5, o, -3, -5
Let w = -0.3 - -3.3. Let y(z) = -z**2 - 4*z. Let x be y(-4). Let j be (x - -2 - 1)*5. Sort -0.3, j, w in descending order.
j, w, -0.3
Suppose 0*f = -4*i - 5*f - 37, -35 = 5*i + 4*f. Suppose -u + 1 + 3 = 0. Suppose -2*r = 3*o - 16, r + 3*o - u*o = 3. Put 2, i, r in decreasing order.
r, 2, i
Let p = 3 + -5. Let k = 7 + -5. Sort k, 1, p.
p, 1, k
Let j = -3 - -2. Let i(m) = -m. Let z be i(j). Put -4, z, -5 in ascending order.
-5, -4, z
Let a = 41 - 37.4. Let g = -1.1 - 2.9. Let y = g + a. Sort -0.1, y, 5 in decreasing order.
5, -0.1, y
Suppose 9 = -0*h - 3*h. Let v = -0.29 + -0.01. Let l = v - 0. Put 0, h, l in descending order.
0, l, h
Suppose 0 = 2*q + 3*d - 13, 0*d + 11 = 2*q + d. Let r be (-3)/4 + 3/(-12). Sort 2, q, r in descending order.
q, 2, r
Let r = -325/88 - -31/8. Put -0.4, 0.1, r in increasing order.
-0.4, 0.1, r
Let h = -9 + 15. Sort 1, h, 5 in descending order.
h, 5, 1
Suppose 2*f + 10 - 4 = 0. Sort -2, 1, f in decreasing order.
1, -2, f
Let p be (-2)/(6/(-10) + 1). Let x = 4 - 6. Sort x, p, 4 in increasing order.
p, x, 4
Let k = -10 - -12. Suppose -7 = -3*g + 2*g - 5*y, -k*y - 2 = -2*g. Put 0, g, 3 in descending order.
3, g, 0
Let i be 4 + 36/(-28) - 3. Sort 0.4, i, 4 in decreasing order.
4, 0.4, i
Let i = 8.2 - 7.2. Sort i, 5, 8.
i, 5, 8
Let x = -105 + 101. Sort x, 1, -2 in decreasing order.
1, -2, x
Let k = -23.9 - -24. Let d(a) = -a - 2. Let v be d(-3). Put -3, v, k in increasing order.
-3, k, v
Let z = -0.28 - -0.4. Let n = z + 2.88. Sort 0.2, -0.4, n in ascending order.
-0.4, 0.2, n
Let r = -7 - -9.6. Let g = -1.4 - r. Sort 