t l = 25 - t. Put l, 0.1, k in descending order.
k, l, 0.1
Let w = -12.2 + 2.2. Let p = 10.4 + w. Put p, -4, -6/11 in decreasing order.
p, -6/11, -4
Let k(h) = h**2 - 2*h + 1. Let d be k(3). Let o = -2 + 2. Suppose 3 + o = z. Put d, -2, z in ascending order.
-2, z, d
Let t = -1 + 1.9. Let n = 3.9 - t. Suppose 3*k = 2 + 1. Sort n, 0.5, k.
0.5, k, n
Let b = -4 - 2. Let h(a) = 2*a + 8. Let i be h(b). Suppose 3*j + 2*u = -j - 4, 2*u + 1 = -j. Sort j, i, 2 in decreasing order.
2, j, i
Suppose -3*k + 3 = 0, 0*k - 7 = -2*r - k. Let v = -6586/3 + 2176. Let m = v - -20. Put 1, r, m in decreasing order.
r, 1, m
Let j = 10.2 + -10. Sort 2/3, 5, j.
j, 2/3, 5
Suppose -d + 1 = -2. Let q be d - (1 + (-2)/(-4)). Sort 3/4, q, -4 in decreasing order.
q, 3/4, -4
Let p be (-44)/20 - 4/(-20). Sort p, 1, -5 in increasing order.
-5, p, 1
Let q(i) = 3*i + 15. Let s be q(-4). Sort -4, s, 7 in descending order.
7, s, -4
Let h = -431 - -460.3. Let i = -29 + h. Put i, -2, 1/3 in increasing order.
-2, i, 1/3
Suppose 15 = 2*p + 3*p, 4*p = -3*b + 3. Let v(z) = z**3 + 9*z**2 - 11*z - 10. Let j be v(-10). Sort b, -2, j in decreasing order.
j, -2, b
Let r = -0.01 + 0.03. Let q = r + -0.02. Put 4, -1, q in decreasing order.
4, q, -1
Let q = -0.01 + -0.09. Sort q, 0.2, -0.3 in decreasing order.
0.2, q, -0.3
Let g = -0.43 - -0.4. Let d = -0.03 - g. Sort d, 5, -0.2 in decreasing order.
5, d, -0.2
Let x = -1.7 - -1.6. Put x, 0.2, 7 in ascending order.
x, 0.2, 7
Let k be (8 - 6) + -1 + 1. Suppose -2*v - 2*v + 20 = 0. Sort k, v, 0 in increasing order.
0, k, v
Let s = 37 + -36.81. Let g = -3.01 + 3. Let z = s - g. Sort z, -3/2, -0.4.
-3/2, -0.4, z
Suppose 0 = -2*y - j + 7, -2*y = y - 4*j - 38. Let h = y + -4. Sort 3, 2/3, h in decreasing order.
3, h, 2/3
Suppose 10*c - 8*c + 6 = 0. Sort 0.12, c, -5.
-5, c, 0.12
Let j = -595 + 596. Let p = 2.5 + -3. Sort j, p, 3 in descending order.
3, j, p
Let j = 3/64 - -113/320. Let a be 8/(-14) + (-450)/(-1008). Put j, a, 3 in descending order.
3, j, a
Let l(x) = -x**3 - 6*x**2 + x + 2. Let m be l(-6). Let n = -7 - m. Let y be (-6)/9*n/2. Put y, -8, 4 in decreasing order.
4, y, -8
Let n = -48 - -43. Put 1, n, 0, 3 in decreasing order.
3, 1, 0, n
Let g be (6*1)/(0 + 3/3). Put g, 3/8, -0.5 in decreasing order.
g, 3/8, -0.5
Suppose -2 = 5*b + 18. Let j(f) = -f**3 + 7*f**2 - 5*f - 7. Let y be j(6). Sort 3, b, y in descending order.
3, y, b
Let l = -4 - -9. Let m(i) = -i**3 - 8*i**2 + 8*i - 5. Let x be m(-9). Let p be (-2 - (-3 - -6)) + 0. Sort p, x, l.
p, x, l
Let y(h) = h + 24. Let r be y(-8). Sort -2, 5, r in increasing order.
-2, 5, r
Suppose 8*j - 12 + 4 = 0. Put 2, 3, 0, j in ascending order.
0, j, 2, 3
Let y = 2 - 3. Let g(b) = b**3 - 3*b**2 - 4*b + 4. Suppose 0 = h + 4*h + 4*w - 24, 0 = h - 5*w + 1. Let z be g(h). Sort y, z, -2 in decreasing order.
z, y, -2
Suppose -2*t + 3*p - 4 = 0, 2*p - 3 - 1 = 0. Suppose -z - 2*z = -15. Suppose 25 = -5*f - x, f + 32 = -z*x + 3. Sort -5, f, t.
-5, f, t
Let m = 0.9 - -1.1. Let z = -5 + 1. Sort m, z, -0.5.
z, -0.5, m
Let m = -66 + 3. Put m, -3/8, 3 in descending order.
3, -3/8, m
Suppose -4*d + 6 = 26. Let b = -24 - -19. Let g be (-5 - -4) + (-1 - b). Sort -2, d, g in decreasing order.
g, -2, d
Let k = 38/3 - 13. Let t = -1 - 3. Sort t, k, 1 in increasing order.
t, k, 1
Suppose 0 = -0*u + u - 3*x - 2, 0 = 2*u - 4*x - 4. Let c be u - (-16)/(-4) - -6. Sort -1, -4, c in increasing order.
-4, -1, c
Suppose 2*k - 12 = -2*k. Let c = 0.26 - -0.04. Let o = -0.1 - -0.2. Sort o, k, c.
o, c, k
Let g = -142.9 - -143. Put g, 4, -1.3 in increasing order.
-1.3, g, 4
Let w be 1 + -1 - (28/(-7) - 1). Put 2, -5, -2, w in decreasing order.
w, 2, -2, -5
Let o = 614/105 + -40/7. Sort o, -0.2, -2/3 in ascending order.
-2/3, -0.2, o
Suppose 0 = 4*m + 3*n - 7, 2*m = -n - n + 2. Suppose -4*x = m*q + 7 + 1, -q = 2*x + 5. Sort 4, x, 0 in decreasing order.
4, 0, x
Suppose -a = 2*a - 18. Let f = -3 + a. Suppose -f*q = -2*h - 22, 4*h + 5 = -h - 5*q. Sort 5, h, 1 in decreasing order.
5, 1, h
Let n = 0.48 + -0.08. Let g = -4.03 + 0.03. Sort n, g, -2 in increasing order.
g, -2, n
Let m = 7 + -3. Suppose 0 = 5*o - o + m, -5*v - 5*o = 25. Sort v, 0, -5 in ascending order.
-5, v, 0
Suppose 0 = 27*h - 21*h. Sort 6, -5, h in ascending order.
-5, h, 6
Let q be 0 + (0/(-2) - -3). Suppose q*h - b - 3 - 2 = 0, 4*h = 4*b + 12. Sort h, -5, 0.
-5, 0, h
Suppose 4*g = -3*h + 5 + 1, g = 0. Let k = 1 + h. Suppose k*l = l. Sort 4, l, -5.
-5, l, 4
Let z(s) = 2*s - 7. Let c be z(5). Suppose 5*w = -5*l + 25, -15 = 2*l - 0*w - c*w. Let j(q) = -3*q**2 + 2*q + 1. Let b be j(-1). Put 2, l, b in ascending order.
b, l, 2
Let c = 2 - 2. Suppose -2*j = 3*v + 6, -2*v + 10*j - 23 = 5*j. Put c, v, 5 in decreasing order.
5, c, v
Let r(d) = d**2 - 11*d. Let s be r(11). Put s, -5, 14 in decreasing order.
14, s, -5
Let b = -7 + 3. Put 0, -11, b in decreasing order.
0, b, -11
Let r be -5 + -1 - (1 - 1). Let u(y) = -2*y - 7. Let x be u(r). Let w(m) = -m. Let t be w(x). Sort 5, t, 3 in descending order.
5, 3, t
Suppose 0*b - 3*b = 4*a + 11, -a = -b + 1. Sort -6, b, 3 in increasing order.
-6, b, 3
Suppose -l = 4*o - 15, -3*o - 4*l + 6 = -2. Sort 2/13, 3, o, -4 in descending order.
o, 3, 2/13, -4
Let j = -0.1 - -1.1. Let k = 22011 + -3697859/168. Let x = k - -4/21. Sort j, x, -2/9 in decreasing order.
j, x, -2/9
Suppose -3*x + 4*t + 6 = 2*x, 0 = -x + 2*t. Sort -1, x, -5.
-5, -1, x
Let o = -0.22 - -0.2. Let a = -3.02 - o. Let z be ((-8)/10)/((-2)/10). Put -0.2, z, a in decreasing order.
z, -0.2, a
Let s = 9.74 + -10.14. Let h = -3 + 1.7. Let x = h - -0.3. Sort -3, x, s in ascending order.
-3, x, s
Let q = 853/130 - 84/13. Sort -2/7, q, -32 in descending order.
q, -2/7, -32
Suppose -8*d + d + 7 = 0. Let i be 2 - 28/20 - d. Let k = 0.4 + -0.2. Put 1, i, k in descending order.
1, k, i
Suppose -60*i + 61*i = 0. Sort i, -1.6, 2/13.
-1.6, i, 2/13
Let d = -0.929 + 0.009. Let o = -0.08 + d. Let g be (-3)/((-25)/(-2) - -1). Put o, g, 0.1 in descending order.
0.1, g, o
Let b(d) = d**3 - d**2 - 3. Let r be b(0). Sort r, 15, 4.
r, 4, 15
Suppose 2*x + 4 = -4. Sort -1, x, -3 in decreasing order.
-1, -3, x
Let i(q) = -q - 7. Suppose -3*t = 5*b + 10, -2*t - 8 = 2*b - 0. Let u be i(t). Let w be (2*(-3)/12)/u. Sort w, 0.4, 0 in decreasing order.
0.4, w, 0
Let u = 2 - 1. Let v = u + -6. Let b = 0.924 - -0.076. Sort v, 1/4, b in decreasing order.
b, 1/4, v
Let x(k) = -8*k + 32. Let o be x(4). Put 21, o, 2 in increasing order.
o, 2, 21
Let b(k) = -k**3 + 21*k**2 + 3*k - 58. Let n be b(21). Put n, 2/19, 0.5 in decreasing order.
n, 0.5, 2/19
Suppose 2 = -4*z - 6. Sort z, -4, 2 in ascending order.
-4, z, 2
Suppose 2*s = -s - 12. Let x = s - -7. Sort -2, x, -4 in descending order.
x, -2, -4
Let q = 0.66 + -0.06. Sort -2/3, q, 1, -2 in ascending order.
-2, -2/3, q, 1
Let z = -1.8 - -2. Let t = -0.3 - -0.4. Suppose -9*o = -7*o + 10. Sort z, t, o in descending order.
z, t, o
Let y be ((-4)/10)/((-3)/(-15)). Let g(a) be the third derivative of a**6/120 + a**5/30 - a**3/6 - 4*a**2. Let b be g(-1). Sort -3, y, b.
-3, y, b
Let c be ((-48)/(-40))/((-2)/5). Suppose -2*w - 17 = 5*r, 4*w = -0*w - 2*r + 6. Sort c, -2, w in ascending order.
c, -2, w
Let u = 2 - 1.6. Put -0.2, 1, u in descending order.
1, u, -0.2
Suppose 0 = 3*p - 0*p - 15. Put p, 3, 9 in ascending order.
3, p, 9
Let p = 19/6 + -61/18. Let l = -0.59 - 0.01. Let c = l - 1.4. Sort -2/3, p, c in descending order.
p, -2/3, c
Let w be 3 + (-1 - 0/1). Let s = -19 + 19. Suppose s = 6*m - 0 + 6. Sort m, 4, w in ascending order.
m, w, 4
Let i be 13/4 + 15/(-5). Let g = -2/33 - 52/231. Sort i, g, -5 in descending order.
i, g, -5
Suppose 0 = -5*m - 3*a - 3, 0 - 1 = m + a. Sort m, -3, -1, 3 in descending order.
3, m, -1, -3
Let w be -28 + 25 + -2 + 4 + 0. Put 3, w, 1, -10 in increasing order.
-10, w, 1, 3
Let u = -3.98 + -0.02. Put 1, 2/5, u in decreasing order.
1, 2/5, u
Let t(k) = -k. Let y be t(-1). Let q = 43 - 41. Sort q, y, -2 in decreasing order.
q, y, -2
Let m = 0.17 - -2.83. Sort 2, 0.02, m in descending order.
m, 2, 0.02
Suppose 36*f + 154 = 10. Let w(y) = y**2 - 4. Let i be w(3). Sort i, f, 7 in descending order.
7, i, f
Suppose -12*t = -7*t - 15. Suppose -t*d + 9 = -3. Sort d, 2, 5 in ascending order.
2, d, 5
Let z be 10/25 - 26/(-10). Let w = 1 + 0