t b be o(4). Put b, -5, -4 in increasing order.
-5, -4, b
Let o = -612.1 - -579. Let u = o + 33. Let r = -3.99 - 0.01. Sort r, -0.5, u in descending order.
u, -0.5, r
Let o be (-4)/(-28)*-7 - -5. Put 5, -13, 0, o in descending order.
5, o, 0, -13
Let v(c) = -c**3 + 13*c**2 - 2. Let a be v(13). Let q be (1 - a/4)*8. Let k = 11 - q. Sort k, 4, 5 in descending order.
5, 4, k
Let u = 22 + -30.9. Let q = 9 + u. Put 3.2, q, 4 in increasing order.
q, 3.2, 4
Suppose 0 = -2*u + 10 - 0. Suppose -10*h = -u*h. Sort h, 0.2, -0.2 in decreasing order.
0.2, h, -0.2
Let u be 20/(-225) - 2/(-9). Sort u, 4/3, -11, -3 in decreasing order.
4/3, u, -3, -11
Let a(h) = -42*h**3 - 2*h**2 - 2*h + 3. Let q be a(1). Let x = q - -40. Sort x, -4, -5 in decreasing order.
x, -4, -5
Let i be (1/(-4))/((-7)/(-2128)*-4). Suppose -3*t - 10 = 4*a + 2, 0 = -4*a - t - 12. Sort i, 4, a in ascending order.
a, 4, i
Let j be 4/30*(-861)/(-14). Sort j, -1/4, -4 in decreasing order.
j, -1/4, -4
Let n = 7.92 + -8. Let l = 225 + -230.08. Let z = l - n. Sort 5, z, 4 in decreasing order.
5, 4, z
Let t = 23/38 + -85/266. Let s be ((-8)/6)/((-2)/6). Sort t, s, -0.4 in ascending order.
-0.4, t, s
Suppose -n + 4 = 3*c, 4*n = -13*c + 9*c. Sort 14, -7, 1, c in increasing order.
-7, 1, c, 14
Let f be (-11)/(-15) + (-6)/15. Sort f, -16, 3.
-16, f, 3
Let c = -10 - -9.6. Let t = -0.7 + 0.1. Put t, 1/4, c in descending order.
1/4, c, t
Suppose 1 - 24 = 3*w - 4*z, 5*z + 10 = -4*w. Let u be (-4 - -1)/((1 + 0)*1). Sort 4, w, u in descending order.
4, u, w
Let d(f) = f + 7. Let k be 4*-1 + 2 - 8. Let v be d(k). Let i be 5/((-20)/(-28)) + v. Put i, -4, 2 in descending order.
i, 2, -4
Let s = -2.1 + 2.09. Let v = s + -0.09. Sort v, 4/7, 1/9.
v, 1/9, 4/7
Let y = 74 + -69. Suppose y*m + 39 = 14. Suppose 2*x - 5*v = -2*x + 4, x - 5*v = 16. Put 5, m, x in ascending order.
m, x, 5
Suppose 1 + 0 = -z. Let t(n) = 3*n**3 + 10*n**2 - 2*n + 21. Let y be t(-4). Put z, 4, y, -8 in ascending order.
-8, y, z, 4
Let s = 479 + -482. Sort -5, s, -4, -8 in increasing order.
-8, -5, -4, s
Let o(c) = -5*c + 5. Let w be o(1). Sort -1, 11, w, 4 in decreasing order.
11, 4, w, -1
Let v(t) = t**3 - t**2 + t - 1. Let m be v(1). Suppose -7*i + 11 = 32. Sort -5, i, m, -4 in descending order.
m, i, -4, -5
Let c(v) = -v**2 + 24*v - 118. Let g be c(10). Sort -3/8, g, -1 in descending order.
g, -3/8, -1
Suppose 0 = -5*g - 23*g - 56. Put -3, g, -30 in ascending order.
-30, -3, g
Suppose -3*u + 0*u - 15 = 0, 5*m + 3*u + 780 = 0. Let r be (-9)/(-12)*(-24)/m. Let p = -26 + 20. Sort r, p, -4 in descending order.
r, -4, p
Let h = -3 + 5. Suppose -h*j + 11 = 5*o, -12 = -5*j - 4*o + 7. Suppose 16 = -7*s + 9. Sort s, 2, j.
s, 2, j
Let z = 4.84 - 0.4. Let v = z + 0.56. Put 2, 0.07, v in ascending order.
0.07, 2, v
Let h be -4 - -5 - (3 + -5). Let i be 5 - ((-4)/6)/(3/9). Sort 5, i, h, -5.
-5, h, 5, i
Let j(b) = b**3 + 4*b**2 - 2*b - 5. Suppose -4*z - z = 20. Let l be j(z). Suppose -2*y - 2*a = -10, -5 = -4*y + l*y + 4*a. Sort 0.3, -4, y.
-4, 0.3, y
Let n(j) = -22*j - 13 - 2*j**2 + 46*j - 7. Let k be n(9). Put k, -1, 0 in decreasing order.
k, 0, -1
Let k(l) = -l**3 + 12*l**2 + 23*l - 371. Let s be k(11). Let r = -18 + 11. Put s, 4, r in decreasing order.
4, s, r
Let g be (14/2)/((-2)/10*-1). Suppose -5*a - 2*b = 3*b - g, 4*b = 4*a - 4. Let f = 9 - 4. Put -2, a, f in increasing order.
-2, a, f
Suppose b + 46 = -2*p + 69, -3*b - 3*p = -66. Sort -3, b, 2, -9 in decreasing order.
b, 2, -3, -9
Let k = 78 - 82. Sort -2/23, k, -5.
-5, k, -2/23
Let x = -0.0346 - -5.0346. Sort x, -48, -5/6, 0.5.
-48, -5/6, 0.5, x
Let o = -0.5 + 0.2. Let h = 21 - 25. Let k be (4 + h/1)*1. Sort k, o, -3 in descending order.
k, o, -3
Let f = -471 + 474. Suppose -j - 3 = -0*j. Sort j, f, -2 in increasing order.
j, -2, f
Let r(u) = -22*u + 20. Let f be r(1). Let a be 9/(-2) - (-1)/(-2). Sort a, -20, f in increasing order.
-20, a, f
Suppose 5*y + 12 = 2*c, 5*c - 13 + 2 = 3*y. Let g = 53 - 56. Let n be (15/(-6) - -2)*10. Put g, n, c in decreasing order.
c, g, n
Suppose -21*w - 5*w = 104. Sort 10, -2, 0, w in decreasing order.
10, 0, -2, w
Let h = -1278 + 1279. Put -4, 8/5, h, -0.1 in descending order.
8/5, h, -0.1, -4
Suppose 28*f = 30*f + 108. Let n = f + 62. Put n, -1, -2, 0 in ascending order.
-2, -1, 0, n
Let r = 163 + -817/5. Put -4, -1, r, -0.3 in descending order.
-0.3, r, -1, -4
Suppose -2*y - 6 = -4*y. Suppose 0 = o + 14 - 6. Put o, y, 4 in descending order.
4, y, o
Suppose -4*w - 46 = -3*f, -5*f + 9*f - 3*w - 52 = 0. Sort -12, 4, 3, f.
-12, 3, 4, f
Let n = 1.7 + -0.7. Let d = 1.96 + 0.04. Let g(r) = -r - 4. Let l be g(-9). Sort l, n, d in descending order.
l, d, n
Let o = 34.9 - 38.8. Let y = 2.1 + -2. Let f = y - o. Put 5, f, -0.3 in increasing order.
-0.3, f, 5
Let i = 930/11 - 27014/319. Sort -0.1, i, 2/7.
i, -0.1, 2/7
Let y = 2.3 - 3.3. Put 0.49, y, 1/8 in decreasing order.
0.49, 1/8, y
Let s(y) = 6*y + 4. Let q be s(-6). Let h = -46 - q. Let f = 16 + h. Sort f, -5, 9.
-5, f, 9
Suppose 4*t - 3*b = -32, -b = -7 + 3. Put 3/23, t, -1 in decreasing order.
3/23, -1, t
Let y = -1 - -3. Suppose 4*r + 4*l = 16, 11*r - 4*l = 6*r + 29. Sort r, y, -1, -4 in ascending order.
-4, -1, y, r
Let k = 125 - 2123/17. Let j = -2/195 - -404/1365. Sort -0.1, k, 2, j in decreasing order.
2, j, k, -0.1
Let y = -190.8 - -190. Let a = 1.8 + -2. Let w = y - a. Put w, -5, -0.4 in ascending order.
-5, w, -0.4
Let q = -12/37 - 88/185. Put 1.7, -0.1, q in decreasing order.
1.7, -0.1, q
Let h = -84 - -88. Let d = h - 2. Put d, 2/15, 4, -12 in decreasing order.
4, d, 2/15, -12
Let t = 7.59 + -8.59. Sort 6, -8, 0.1, t in descending order.
6, 0.1, t, -8
Suppose 19*f - 35 = 14*f. Suppose n - 4*a - 1 = 0, -4*n - f = -4*a + 1. Sort n, 1, -5, -2 in descending order.
1, -2, n, -5
Let i = 1.34 + -1.84. Sort i, -2/15, 0.05 in ascending order.
i, -2/15, 0.05
Suppose -5*v + i - 446 = 19, -279 = 3*v - 5*i. Let d = v - -89. Sort d, 1, -3 in increasing order.
d, -3, 1
Let f = -7 - -10. Suppose -f*o = -o. Suppose p = -r - 2, r + 8 = -4*p - o*p. Sort -6, p, 0.5.
-6, p, 0.5
Suppose -5*h + 2*h - 12 = 0. Suppose -43*a = -14*a. Let i(k) = k**2 - 5*k + 7. Let c be i(5). Put a, c, h in descending order.
c, a, h
Let i = -1.97 + 2.47. Let w be (-3)/(-2)*4/15. Sort -2, i, w, -14 in ascending order.
-14, -2, w, i
Let i = 104 - -23. Let l = 126.8 - i. Put 0, l, 3/16, 1 in increasing order.
l, 0, 3/16, 1
Let b = -175.9 - -180.9. Sort -5, b, 0.0189 in ascending order.
-5, 0.0189, b
Let r(a) = a**2 - 5*a + 4. Let w be r(5). Suppose 0 = -3*s - 3*x + 42, -w*s + 2*x - x + 36 = 0. Let z = -11 + s. Sort z, 5, 4 in ascending order.
z, 4, 5
Suppose 5*d = -5*d + 20. Let j be (-9)/(-2)*4/(-6). Suppose -n + 2*n = 4. Put d, j, n in decreasing order.
n, d, j
Let w = -9 + 11. Suppose w*b = v - 39, v - 79 = 3*b + b. Let m be ((-11)/22)/((-2)/b). Sort m, 0.2, 2/25 in increasing order.
m, 2/25, 0.2
Let p be 2*(-1)/(-4)*-6. Suppose 84*v = 83*v - 54. Let x = 59 + v. Put p, x, 1 in increasing order.
p, 1, x
Let x = 0.4 + -1.4. Let n(h) = -2*h - 4. Let l(q) = -q - 4. Let m(s) = 2*l(s) - 3*n(s). Let j be m(-2). Sort j, x, -0.3.
j, x, -0.3
Suppose -3*i = 2*f - 25, -4*f + 4*i = 9*i - 45. Let t = 13 - 7. Put f, 2, t, 1/7 in increasing order.
1/7, 2, f, t
Let c be (2 - -1)*(1 - 0). Let z be 4/5*15/2. Suppose z = -w + c*w. Sort 5, -4, w.
-4, w, 5
Let n = -0.19 - 1.81. Let t = n + -10. Let h = 13 + t. Sort h, 0.1, 9.
0.1, h, 9
Suppose -2*l + 4*l = 6. Let j be -3 - (-5 + -3 + 3). Put -2, l, j in decreasing order.
l, j, -2
Let o = 25.4 - -6.6. Let n = -0.11 - -3.11. Put o, n, 0.4 in descending order.
o, n, 0.4
Let z = -0.9 - -0.6. Let h = 987 + -988. Put z, h, 0.3 in ascending order.
h, z, 0.3
Let p(y) = -y**3 + 2*y**2 - 2*y. Let o be p(2). Let v be (-1)/(4/(5*o)). Suppose 4*t = -v - 11. Sort 5, 4, t in ascending order.
t, 4, 5
Let j be (-22)/(-10) - 28/(-35). Sort 0.14, j, -3.
-3, 0.14, j
Let n = -21 - -21. Let j = 5 - n. Put 1, j, 2, -1 in increasing order.
-1, 1, 2, j
Let i = -3 - -6. Suppose -i*w + 7*w = -12. Let l = 9 + -10. Put 3, l, w in ascending order.
w, l, 3
Let m be 2/4*(11 + -3). Suppose -26 = -5*q + k, -5*q + 0*k = m*k - 21. Let x = -6 + q. Put 0.04, 5, x in descending order.
5, 0.04, x
Suppose 0 = -6*q + 3*q. Suppose -1 = l - 0. Let i be (