se -5*n + t = 13, l*n + 0*t + 5*t - 7 = 0. Put n, -4, -5 in descending order.
n, -4, -5
Let o(v) = -v**3 - 4*v**2 - 2*v + 1. Let r be o(-2). Let k be (-4 + 6)/(1/2). Sort -1, r, k.
r, -1, k
Let z = 15 - 15.11. Let o = z - 2.39. Let c = o - -3. Put c, -1/3, 2 in descending order.
2, c, -1/3
Suppose 0 = -2*k - 2*i - 4, 5*i - 30 = 5*k - 0*i. Let m = 4 - 7. Sort 0, k, m in increasing order.
k, m, 0
Suppose -5*o + 2*z = -0*z + 36, -2*o - 18 = -2*z. Let n = 3 + o. Let u(g) = 5*g**2 - g. Let t be u(1). Sort t, n, -2 in ascending order.
n, -2, t
Let w = 62 - 59. Put 2, 0, -8, w in ascending order.
-8, 0, 2, w
Let f be 8*3*(-3)/(-36). Let g be f/(-6) + 28/(-24). Let t = -1 + 0.5. Sort t, -0.2, g in decreasing order.
-0.2, t, g
Let h(l) = -l**3 - 14*l**2 + 17*l + 25. Let q be h(-15). Put -3/5, q, -3 in descending order.
-3/5, -3, q
Let u(s) = -s**3 + 6*s**2 - s + 5. Let m be u(6). Let t = 3.9 - -3.1. Put t, m, 3/4 in decreasing order.
t, 3/4, m
Let a be -56 - (3 + (-3 - 0)). Let f = -281/5 - a. Put 2, f, -0.3 in increasing order.
-0.3, f, 2
Suppose 4*t + 12 = 8*t. Sort 5, -2, t.
-2, t, 5
Let y(o) be the third derivative of -o**4/24 + 2*o**3/3 - 7*o**2. Let d be y(2). Put d, 3, -18 in descending order.
3, d, -18
Let m be -2*(-33)/6*1. Suppose 4*n = 6 + 22. Let r = n - m. Put r, -3, 5 in ascending order.
r, -3, 5
Let r = 17/30 + 1/30. Sort r, 0.12, -1 in descending order.
r, 0.12, -1
Suppose 3*f = -0 - 6. Suppose -2*m - w + 0 = -5, -3*w = 2*m - 3. Put f, -4, m in descending order.
m, f, -4
Suppose 2*s - 5*b - 5 = 0, 5*s + 0*b + 31 = -2*b. Sort 5, s, 2, 0 in descending order.
5, 2, 0, s
Let m be (-1)/(-2) - (-1)/2. Suppose 3*n - 3*j + 5 = -m, -5*j = 3*n + 46. Put n, 3, 1 in ascending order.
n, 1, 3
Let p(q) = -q**3 - 2*q**2 + 10*q - 2. Let t be p(4). Sort t, 0, 4 in descending order.
4, 0, t
Suppose -2*c = 106 - 98. Put c, -3, -1 in ascending order.
c, -3, -1
Let w = -39.98 - -45. Let a = w + -0.02. Sort -1, 1, a.
-1, 1, a
Let r = 9.1 + -9.2. Put 0.09, r, -4/5 in descending order.
0.09, r, -4/5
Let j be 11/2 + 2/(-4). Suppose 0 = -2*t - 4. Sort j, 3, t in decreasing order.
j, 3, t
Let y = 1 - -5. Sort 4, y, 5 in descending order.
y, 5, 4
Let o(n) = n**2 - 2*n**2 + 2*n - 9*n + 6 - 2. Let k be o(-7). Put -4, k, -1 in decreasing order.
k, -1, -4
Let f = 0.6 - 0.8. Let x = 0.01 - 5.01. Put f, x, 0 in descending order.
0, f, x
Let y = -15.31 - -0.31. Let m = -17.2 - y. Let g = m - 0.8. Put -1, g, -0.3 in ascending order.
g, -1, -0.3
Let p = -2 - -5. Let o(t) = t - 1. Let c(k) = -k + 1. Let x(a) = c(a) + 3*o(a). Let j be x(2). Put j, p, -3 in decreasing order.
p, j, -3
Let p(c) = -c**3 - 2*c**2 - c. Let r be -3 + -1 + 2 + 0. Let n be p(r). Put n, -0.2, 0.2 in descending order.
n, 0.2, -0.2
Let j(k) = -k + 21. Let n be j(10). Let y = 10 - n. Put -4, y, -5 in decreasing order.
y, -4, -5
Let p = 37.4 + -37. Sort p, -5, 2/3 in increasing order.
-5, p, 2/3
Suppose 3*y - 9*y - 6 = 0. Let g = -2 - -2. Let u(i) = i**2 - 5. Let m be u(g). Put y, 4, m in ascending order.
m, y, 4
Let t = -21 - -23. Put -2, 1, -3, t in decreasing order.
t, 1, -2, -3
Suppose 2*t - 2*c = 4 + 10, 4*t + 12 = -4*c. Put t, 4, 6 in decreasing order.
6, 4, t
Let o(u) = -u**3 + 5*u**2 - 5*u. Let z be o(4). Put -3, 5, z in decreasing order.
5, -3, z
Let b be (0 - -7) + 4/(-2). Suppose -4*h = -0*w - w + b, -2*h = 3*w - 1. Let o = -227 - -228. Sort h, o, 4 in decreasing order.
4, o, h
Let q = 7 + -4. Let v = 0 - q. Sort 5, v, -2/11.
v, -2/11, 5
Suppose -1 = 2*z + v, 0 = z + 4*v - 1 + 5. Sort 5, -1, 0.5, z in decreasing order.
5, 0.5, z, -1
Let o(t) be the first derivative of 3/2*t**2 - 2/3*t**3 - 2 - 2*t. Let y be o(2). Put y, 2, -1 in descending order.
2, -1, y
Let g(y) = -y**3 - 5*y**2 + 7*y + 6. Let a be g(-6). Suppose a*c = 4*c. Suppose c = 2*x + 3*x + 25. Put x, 2/7, -3/7 in decreasing order.
2/7, -3/7, x
Suppose 2*q - 3*u - 8 - 1 = 0, 2*q - 4*u - 10 = 0. Put q, -2/7, -1 in increasing order.
-1, -2/7, q
Let f = 49 - 50. Sort -2, f, 1, 5 in decreasing order.
5, 1, f, -2
Suppose 0 = -4*j + 4*t - 12, -j + 0*j = -2*t + 6. Suppose -2*w = -5*w + 54. Let g be (-4)/w - (-172)/(-36). Sort g, -1, j in ascending order.
g, -1, j
Suppose 26 = -3*a - s, -3*a + 5*a + 3*s = -15. Sort -3, -5, a in decreasing order.
-3, -5, a
Let k = -34 - -34.1. Sort k, 3/5, 1/2.
k, 1/2, 3/5
Let x be (-8)/((-1040)/(-15))*(-4)/(-3). Let s be -2 + 0 + 13/5. Sort -2, x, s.
-2, x, s
Suppose 24 = -4*z + 10*z. Put -2, -5, 1, z in increasing order.
-5, -2, 1, z
Let p(v) = v**2 - v + 1. Let y be p(0). Let z be y + 0 + 0 + 3. Sort -4, z, 0.
-4, 0, z
Let q = -1 + 5. Let i = -2.8 + 6.6. Let b = 4 - i. Put q, b, 0.3 in decreasing order.
q, 0.3, b
Let l = -29 + 48. Let u = 4/319 + 12433/638. Let z = u - l. Put 2/5, z, 1 in descending order.
1, z, 2/5
Suppose 4*u = -4*w - 0*w + 24, -2*w + 9 = -u. Suppose -2*n + i - u = -4, -5*n + 2*i + 7 = 0. Let p be (1/(-2))/(n/(-2)). Sort 2, 3, p in ascending order.
p, 2, 3
Let x(u) = u**2 - 10*u + 2. Let v be x(10). Put 3, -1, v in descending order.
3, v, -1
Let i = 5.8 - 6.3. Let m be 1/2*(-1 + 1). Let f be -1 + (2 - m)/(-4). Sort f, 2/7, i in descending order.
2/7, i, f
Let j = -3.7 + 0.7. Suppose -5*c - 264 = c. Let f be c/24 + 4/12. Put f, j, 0.2 in increasing order.
j, f, 0.2
Let g = 0 + 0.1. Let b = 96 - 95.6. Put b, g, 5 in increasing order.
g, b, 5
Let t = -0.48 + 0.18. Sort -3, t, 0 in increasing order.
-3, t, 0
Let a = 2/59 + -132/413. Sort -8, -2, -0.2, a in descending order.
-0.2, a, -2, -8
Suppose 4*w = 2*l + 8, 0*l = -5*l + w + 7. Let f be 36/81*(-9)/24. Put l, -2, f in increasing order.
-2, f, l
Let x = -6 - -8. Suppose 0 = -2*s + 5*r + 5, 3*s + 0*r - 2 = x*r. Suppose -1 = -4*t + 4*z - 13, -t = -2*z + 8. Put t, s, 4/9 in descending order.
t, 4/9, s
Let t(y) = y**3 - y**2 - 3*y + 1. Let p be t(-2). Sort 4, p, -4, 1 in descending order.
4, 1, -4, p
Suppose 3 = l - 10. Suppose -5*n + 10 = -5*q, -4*q - l = -2*n + q. Suppose 93 = 34*d + 59. Put n, -4, d in increasing order.
-4, n, d
Suppose -6*r = 1 - 19. Sort 1, r, -7 in increasing order.
-7, 1, r
Suppose -29 + 32 = 3*f. Let j be 0*((-1)/2)/(-1). Put f, j, 4 in increasing order.
j, f, 4
Let x = 39 - 36. Let v(a) = -a - 7. Let g be v(-10). Suppose -g*f + 20 = 2*f. Sort x, 0, f.
0, x, f
Let d(w) = -w**3 + 9*w**2 + 10*w - 5. Let k be d(10). Sort k, 2, -1 in decreasing order.
2, -1, k
Let y = 9 + -4. Suppose -8 = -3*n - n. Put y, 0.07, n in ascending order.
0.07, n, y
Suppose q - 4*q + 109 = 5*a, -2*q = 5*a - 81. Suppose -q = -2*y - 0*y. Suppose -4*u + 26 = 2*v, -2*v + 0*v - y = -4*u. Sort -5, u, 4 in descending order.
u, 4, -5
Let p be (-14)/(-3) - 8/12. Let v be (-30)/(-7) - p/14. Put 0, v, 2 in increasing order.
0, 2, v
Let t be (9/4)/(6/8). Put 0, t, 5 in ascending order.
0, t, 5
Let q be (1 - -1)*(-33)/(-22). Sort q, -1, 2 in descending order.
q, 2, -1
Let c = -0.01 - -3.01. Put -7, c, 3/7 in decreasing order.
c, 3/7, -7
Let d = 500 + -3001/6. Suppose -u - 8 = 3. Let z = u + 5. Put z, 1/5, d in decreasing order.
1/5, d, z
Let z(q) = -q**2 + 5*q - 3. Let p be z(5). Let k = -3.06 - -0.06. Let c = -2 + k. Sort p, 4, c in descending order.
4, p, c
Suppose -3*s - 3*c - 9 = 0, -6*s + 7 = -9*s - 5*c. Let f = 0 + -1. Sort f, -3, s.
s, -3, f
Let b = -0.18 + -0.02. Sort 1, -1/4, b in decreasing order.
1, b, -1/4
Suppose p = 5*z - 4, -5*p - 6 - 14 = 0. Put -3, z, -38 in decreasing order.
z, -3, -38
Let w = -623/5 + 125. Sort 4, 0, w in descending order.
4, w, 0
Let l(s) = 9*s**2 - s - 1. Let f be l(-1). Suppose -f = 2*z + 5. Let i(q) = q**3 + 6*q**2 - 6*q + 8. Let p be i(z). Sort 0, p, 4 in increasing order.
0, p, 4
Suppose 159 - 157 = 2*g. Put g, 5, -4, -1 in decreasing order.
5, g, -1, -4
Suppose 4*i + 1 = l, 2*i = -2*i. Let o = 1 + l. Sort 5, o, -1 in decreasing order.
5, o, -1
Let x be 4/(-6)*-6 - 3. Suppose 4*l = 4*g + 17 - x, -4*g = 2*l - 14. Put 3, l, 2 in ascending order.
2, 3, l
Let a = -7155/17 + 421. Sort -1/3, a, 2, 0 in decreasing order.
2, a, 0, -1/3
Suppose m - 23 = 5*l, 0 = 3*m - 2*m + 2. Suppose 0 = -9*s + 3*s. Put l, 2, s in descending order.
2, s, l
Let d(k) = k**2 - 6*k + 5. Let j be d(4). Let v be j + (-2)/1 - -1. Suppose 3*q = -a + 3 + 2, q + 2*a + 5 = 0. Sort q, -5, v in increasing order.
-5, v, q
Suppose 5*a + 2 = -2*f, -4*f - 