-4*u. Put u, r, 3 in ascending order.
r, 3, u
Suppose -4*y = -12 - 12. Suppose 0 = y*l - l. Let f(x) = -x + 4. Let q be f(9). Sort -3, l, q in descending order.
l, -3, q
Let i = 69.3 - 68.3. Suppose -4*x + 2*j - 8 = -3*j, -3*j = 5*x - 27. Put 5, x, i in descending order.
5, x, i
Let n be (0 + -4)*(-4)/8. Suppose 2*f = -n*f. Suppose 3*u - 8*u = f. Sort u, -4, -2 in decreasing order.
u, -2, -4
Let u = -2.3 + 2. Sort -1/5, -2/9, u in ascending order.
u, -2/9, -1/5
Suppose -l + 3 + 2 = -3*a, 2*a + 7 = -3*l. Put a, 0, 4 in descending order.
4, 0, a
Suppose 6*p - 3*p = -r + 15, 0 = -4*p + 20. Suppose -4*o + 4 + 4 = 0. Sort o, r, 4.
r, o, 4
Let v = 26 - 16. Suppose 8 = -3*c - 4*a, c - 5*a - v = -c. Let d = -3 - -2. Sort c, -4, d in descending order.
c, d, -4
Let j = 2/203 + -432/2639. Let b = 3 - 4. Sort j, b, 3 in decreasing order.
3, j, b
Let z(l) = -l**3 - 3*l**2 + 3. Let u be z(-3). Put -4, 0, 5, u in descending order.
5, u, 0, -4
Let k(d) = d**2 + 8*d + 7. Let j be k(-7). Put -0.5, 2/13, j in descending order.
2/13, j, -0.5
Let u = 2 + -1. Let n = 30 + -32. Put u, 2, n in ascending order.
n, u, 2
Let h(d) = -7*d**2 + 29*d. Let z be h(4). Put 11, 2, z in decreasing order.
11, z, 2
Let m(q) = -q**3 - 4*q**2 - 2*q + 2. Let j be m(-4). Sort -1, j, 2 in decreasing order.
j, 2, -1
Let c = -0.08 - 2.42. Let y = 3 + c. Sort 0.4, y, 4 in descending order.
4, y, 0.4
Suppose 0 = -4*f - 2*u - 3*u - 19, 3*u + 6 = 3*f. Sort f, 2/9, -0.5, 3 in ascending order.
f, -0.5, 2/9, 3
Let v(w) = -w**2 + 9*w - 19. Let o be v(6). Sort 4, 19, o.
o, 4, 19
Let z = -16 - -44/3. Put z, 1/4, 3 in descending order.
3, 1/4, z
Let x = 0.1 - -13.9. Put x, -1, 2 in ascending order.
-1, 2, x
Let m(z) = 2*z + 30. Let l be m(-16). Let h be 3/(-2)*(0 - -2). Suppose 3*n = 15, 3*w + 3*n - 21 = 9. Sort h, w, l in descending order.
w, l, h
Suppose -t - 4 = 3*t. Let a be ((t + 1)/1)/(-1). Sort a, -2, -1.
-2, -1, a
Let m = 0.2 - 0. Let y be 2*(-1)/12*-2. Sort m, y, 2/9 in decreasing order.
y, 2/9, m
Suppose 6*m + 4 = 2*m. Sort 5, 3, m in decreasing order.
5, 3, m
Let r be (-1)/(-2) + (-15)/(-2). Suppose -4*f + 3*f + 4 = 0. Suppose -f*w + 6*w = r. Sort -5, w, -3 in descending order.
w, -3, -5
Suppose h + 10 = 6*h. Suppose -3*c = -5*c + h. Let i = -4.1 - -0.1. Sort -4/5, i, c in descending order.
c, -4/5, i
Let v = 52/75 + 16/25. Sort -0.2, -0.1, v in descending order.
v, -0.1, -0.2
Suppose -3*m + 5 = -4*o, m - 1 - 4 = -2*o. Sort m, -18, 0, 1.
-18, 0, 1, m
Let i be 7 - (-3 - (1 - 7)). Let t be (-1)/4 + (-15)/4. Suppose r = -4*z - 11, z = 2*z - 3*r - 7. Sort t, i, z.
t, z, i
Let t = 12 + -10. Suppose -2*m - t = -3*m. Sort -0.3, m, 5.
-0.3, m, 5
Let g(p) = 6*p**2 + p. Let u be (6/(-3))/2 - 0. Let l be g(u). Put l, -5, 2 in descending order.
l, 2, -5
Let i(s) = -s**2 + 1. Let x be i(-2). Let v(q) = -q - 1 - 3*q**2 + q**3 - 2*q**2 + q**2. Let p be v(4). Sort p, -4, x in ascending order.
p, -4, x
Let q = 4614 - 4742.08. Let g = 124 + q. Let x = g + 0.08. Sort -3, x, 0.5.
x, -3, 0.5
Let s(p) be the third derivative of p**6/120 - p**4/8 - p**3/2 + 2*p**2. Suppose 0*u + 5*u = -10. Let b be s(u). Sort -3, 0, b.
b, -3, 0
Suppose -2*l + 5 = -0*m - 5*m, -3*l = m + 1. Sort 4, -3, m, 3.
-3, m, 3, 4
Suppose 10 = 2*n, -a - 11 + 1 = -5*n. Suppose 3*j + a = -2*j. Suppose 1 = 2*w + 3. Sort j, w, 1 in ascending order.
j, w, 1
Let i = 68 + -67.6. Put -2, i, -2/9 in ascending order.
-2, -2/9, i
Let s = -18 - -11. Let n = -6.6 - s. Sort n, -5, -0.2 in decreasing order.
n, -0.2, -5
Let u = -3.2 + 0.2. Suppose 5*k - 10 = 0, 4*k = -2*a + 3 + 3. Sort a, 1, u in descending order.
1, a, u
Let r = -7 - -7. Put r, 1/4, -1/2 in ascending order.
-1/2, r, 1/4
Let q = -7 + 8. Let o = 12 + -7. Sort o, q, 3/7 in increasing order.
3/7, q, o
Suppose -6 = 3*g - y, 2 - 10 = 4*g + 2*y. Suppose -4*o + 9 = -o. Sort g, o, -3 in descending order.
o, g, -3
Let p be (-16)/60*(-3)/2. Put -0.08, -1/4, p in ascending order.
-1/4, -0.08, p
Suppose 7 = -3*y + 16. Suppose -5*z = 2*v - 4*v + 14, 3*z = -y*v. Put 3, -4, v in descending order.
3, v, -4
Let m = 0.4 + -0.1. Let o = -1781291/5103 - 55/729. Let t = o + 350. Put m, t, -0.2 in descending order.
t, m, -0.2
Let k = 15 + 7. Sort 4, 0.5, k in increasing order.
0.5, 4, k
Let i(s) be the first derivative of s**4/4 + 8*s**3/3 - 4*s**2 + 13*s + 1. Let y be i(-9). Suppose y*j + j = -10. Sort 5, 2, j.
j, 2, 5
Let w = 8744/3 + -2953. Let v = -39 - w. Put v, -2, -1/2 in decreasing order.
-1/2, v, -2
Let n = 0.2 + 3.8. Let r = -2 - -1. Put -5, r, n in decreasing order.
n, r, -5
Suppose 0 = -x - 5 - 13. Let f = x - -10. Sort 0.4, f, -0.2 in ascending order.
f, -0.2, 0.4
Let v = 14 + -27. Let d = v + 16. Put 4, d, 1 in increasing order.
1, d, 4
Let d(o) = -o**2 + 3*o + 5. Let q be d(5). Let l(m) = m**2 + 6*m. Let j be l(-6). Sort 5, j, q in decreasing order.
5, j, q
Let s = 4.4 + -6.4. Put 1, -0.1, s in increasing order.
s, -0.1, 1
Let f = 2.8 - -0.2. Let t = 13.4 - 10. Let m = f - t. Sort 1/7, m, 0 in decreasing order.
1/7, 0, m
Let v(d) = -4*d**2 + 1. Let a be v(1). Sort a, 3, -1 in decreasing order.
3, -1, a
Let z = 48.1 + -48. Sort -4, 0, z in ascending order.
-4, 0, z
Let a(r) = -7*r - 1. Suppose -3*s - 6 = -3. Let z be a(s). Let c be 2/(-6) - (-32)/z. Sort 0.5, 0.1, c in decreasing order.
c, 0.5, 0.1
Let c = 3.5 - -1.5. Sort 3, -1/2, c, -1 in ascending order.
-1, -1/2, 3, c
Let y = -0.54 - 11.46. Sort -0.2, 0.3, 4/7, y.
y, -0.2, 0.3, 4/7
Suppose -m + 25 = 4*u, 15 = 4*m - 0*u - u. Let x = -0.2 + 0. Put m, 3, x in increasing order.
x, 3, m
Suppose 5*d = -4*s - 3 + 1, -5*d - 6 = 2*s. Let k = s + -6. Sort -2, -3, k in decreasing order.
-2, -3, k
Let w = -11 + 10. Let p = w + 1.5. Let i be (16/(-6) - -2)/1. Sort -1/8, p, i in descending order.
p, -1/8, i
Suppose -4*b - 25 = 4*c - 5*c, 3*c - 25 = 2*b. Let i be (-5)/(-1)*(-1 + 2). Let z(o) = 2*o - 5. Let u be z(i). Sort 1, b, u.
b, 1, u
Suppose 2*m + 4 = 2. Sort m, 0.8, -1/3 in decreasing order.
0.8, -1/3, m
Suppose 3*j = 5*b - 32, 5*j = 2*b + 2*j - 20. Let c be (b/6)/(2/(-9)). Put 2, c, -2 in ascending order.
c, -2, 2
Let z = 26 - 23. Sort -6, -3, z.
-6, -3, z
Suppose 0*t - 2*t = 10. Sort -2, t, 5, -3 in ascending order.
t, -3, -2, 5
Let z be (2/(-16))/(3/(-18)). Let w = -87 - -610/7. Sort -0.2, z, w in descending order.
z, w, -0.2
Suppose -3*c + 5 = c - 5*v, 17 = 4*c - v. Let o = -2 + -2. Put c, 1, o in increasing order.
o, 1, c
Suppose -4 = w - 4. Put -5, -8, 2, w in decreasing order.
2, w, -5, -8
Let a = -51 + 563/11. Put -4, a, 1/7 in increasing order.
-4, 1/7, a
Suppose 5*n = -2*r - r - 9, r - n - 5 = 0. Put -1, 3, r, 0 in decreasing order.
3, r, 0, -1
Suppose 5*j = 20, -4*j + 12 = -l - 5. Let f(r) = -9*r**2 - r. Let x be f(l). Let y(p) = -p**2 - 8*p. Let w be y(x). Sort w, 2, 4 in decreasing order.
4, 2, w
Suppose 8 = -m - 4. Sort 2, m, -3 in descending order.
2, -3, m
Let w be (4/(-5))/(3/15). Put 8, 4, w in increasing order.
w, 4, 8
Let s(c) = c**3 + 7*c**2 + 7*c + 4. Let n be s(-6). Let m be (30/12)/(2 + (-3)/4). Put n, -1, m in decreasing order.
m, -1, n
Let f be (-5)/(-2) - (-5 + 18/4). Let d = -8 - -4. Sort d, -2, f in descending order.
f, -2, d
Let a = -0.062 - 0.038. Put -7, a, -2/5, -5 in ascending order.
-7, -5, -2/5, a
Let u(n) = n**3 - 19*n**2 - 22*n + 44. Let t be u(20). Let v(o) = o**3 - 5*o**2 + 2*o - 5. Let s be v(5). Sort s, t, -1 in decreasing order.
s, t, -1
Let p = 1 + -3. Let t = -7 - p. Put 4, t, 0 in decreasing order.
4, 0, t
Let v = 264 - 2902/11. Sort -5, -0.2, v, -8 in decreasing order.
v, -0.2, -5, -8
Let i = -41 + 61. Put i, 3, -3 in ascending order.
-3, 3, i
Suppose -1 = -2*z - u, -17 = 2*z + 3*u - 8*u. Let h be (-34)/(-8) - (4 + z). Sort -2/15, 0.4, h in decreasing order.
h, 0.4, -2/15
Let x = 86 + 19. Let v be (-30)/x - (-46)/14. Sort v, -3, 0 in increasing order.
-3, 0, v
Let y = -0.17 - 1.43. Let n = y + -0.4. Let j be 6/8*2/3. Put n, 0, j in descending order.
j, 0, n
Let j = -70 + 62. Sort j, 5, 1, -2 in decreasing order.
5, 1, -2, j
Let j = -4.61 + 0.61. Put 1/6, 2/5, j, 4 in decreasing order.
4, 2/5, 1/6, j
Let h = -0.8 - -1.4. Let i = h - 0.1. Let r = 4.051 + -0.051. Sort -4, i, r in descending order.
r, i, -4
Let i = 10.8 + -11. Let u be 1 - 0 - 14/35. Sort 0.4, u, i in ascending order.
i, 0.4, u
Let o = 0