0). Sort -2, k, f in descending order.
f, k, -2
Let d(l) = l**3 + 7*l**2. Let p be d(-7). Put -3, -4, p in descending order.
p, -3, -4
Let c = 9 + -1. Suppose 7 = 3*q - c. Sort -1, q, 2.
-1, 2, q
Suppose 0*x + 4 = -x. Let o = x - -1. Sort o, 2, -2.
o, -2, 2
Suppose 0 = 3*i + i. Suppose i = -b + 4*b. Sort 1, -4/7, b in decreasing order.
1, b, -4/7
Suppose 4*m - 16 = -4*s + 4, 4*m - 17 = -3*s. Let u be (40/30)/(2/(-3)). Sort -4, u, m in decreasing order.
m, u, -4
Let r be 0*((-1)/2 - -1). Let k be (0 + r)/(2/2). Suppose -4*o - 2*q - 6 = -0, 0 = -o - q - 1. Sort o, k, -3 in descending order.
k, o, -3
Let p = -1.2 - -3.2. Sort -2/5, p, -4/5 in decreasing order.
p, -2/5, -4/5
Let i = -46 - -49. Sort -5, 0, 2, i in descending order.
i, 2, 0, -5
Let j be (17 + -17)/(-2 - 0). Put 3, j, -6 in ascending order.
-6, j, 3
Let r = 1 + 7. Let x = r - 10. Let w = -12.2 + 12. Put w, -3/8, x in decreasing order.
w, -3/8, x
Let n(a) = a**3 + 3*a**2 + a + 1. Let g be n(-2). Suppose 2*t - 4 = 8*z - 3*z, 3*t - 2*z = -5. Let r be t/2*2/3. Put g, r, -0.5 in decreasing order.
g, -0.5, r
Let q(n) = -n + 3. Let w be q(4). Suppose -25 = 6*m - 11*m. Sort m, w, 0 in increasing order.
w, 0, m
Suppose 1 = 7*d - 6*d. Let i be (-33)/(-9) + 2/(-3). Sort d, -3, i in increasing order.
-3, d, i
Let i = 1414/39 + -25/13. Let q = 34 - i. Sort q, 0.3, 0 in increasing order.
q, 0, 0.3
Let o be (-1462)/(-51) + (-2)/(-6). Let y = -24 + o. Sort y, -4, 4.
-4, 4, y
Let f = -32 - -30. Suppose 2*d + d = -5*l - 16, -14 = 2*d + 4*l. Put 1/3, f, d in ascending order.
f, 1/3, d
Let b = 12 + -12. Sort 6, 3, b.
b, 3, 6
Let o be -3*4*(-1)/3. Let d be (-1)/3 - (-33)/(-9). Put 5, d, o in ascending order.
d, o, 5
Let q = -4 + 6. Sort q, 1, 12 in decreasing order.
12, q, 1
Let x = 17 + 43. Let i be (-3)/x + 1/4. Let m = 2 - 0. Put i, m, 3 in ascending order.
i, m, 3
Let k = 2.45 + -2.3. Put k, -3/2, -1 in decreasing order.
k, -1, -3/2
Let z = -15.9 + 16. Let p be (10/(-4) + 2)*-18. Suppose p - 36 = 3*u - 3*q, -3*u = q + 7. Sort u, 0.5, z.
u, z, 0.5
Let w be (-14)/(-3)*(-3)/(-2). Let n = 11 - w. Suppose -b = 3*l - 18, -2*b - n = 3*l - 5*l. Put -1, b, -4 in increasing order.
-4, -1, b
Let l = -0.14 + -1.16. Let a = l - -4.3. Put -4, 4, a in ascending order.
-4, a, 4
Let q(w) = w + 1. Let m be q(-6). Sort m, -3, 0.
m, -3, 0
Let r(d) = 3*d + 1. Let f be r(-1). Let c be 81/(-20) + f/10. Let n = 213/52 + c. Put n, 3, -4 in decreasing order.
3, n, -4
Suppose 55 + 35 = 6*z. Sort z, 5, 4 in descending order.
z, 5, 4
Let g = -2 + 6. Suppose 0*f - 2*f + 20 = 5*h, 4*h + 12 = g*f. Let b(q) = -q**2 - 7*q - 6. Let j be b(-6). Sort j, -2, h in decreasing order.
h, j, -2
Let l be -2 - ((-40)/30)/(2/9). Suppose -2*f + 2 = 3*r + 22, -4*f = -r + 12. Put l, f, 0 in decreasing order.
l, 0, f
Let a = -140 + 145. Put 12, 0.2, a in ascending order.
0.2, a, 12
Let q be (-10)/(-2) + 1*-2. Suppose 0 = -2*m + 5*d - 33, 0*d = -3*m - 2*d - 2. Sort -5, q, m.
-5, m, q
Let f = -4 + 6. Suppose -2*m + 0 = f. Sort m, -5, -2.
-5, -2, m
Suppose 0*q + 2*q + 16 = 4*a, 5*a = -q - 1. Sort q, -5, 4 in descending order.
4, -5, q
Let g be -1 + 0 + 0 - -3. Suppose -6 = -g*r + 2. Let s = -84 + 89. Put r, -4, s in ascending order.
-4, r, s
Let k(f) = f**3 - 3*f**2 - 4*f - 4. Let m be k(4). Let s = -86 + 91. Sort m, -5, s.
-5, m, s
Suppose 2*y - 4*y = 0. Suppose -t - b - 3 + 2 = y, -5 = 3*t + 4*b. Let n be 2/(-10) - 52/(-10). Put 2, t, n in increasing order.
t, 2, n
Let m = 9 - 4. Suppose 2*t = w - 3, -t - 4*w - 6 = -3*w. Let u be (-3 - 104/(-24))*(-6)/(-4). Sort t, u, m in decreasing order.
m, u, t
Let x(i) = -8*i**3 - i**2 + 1. Let s be x(1). Let o be (-4)/s - 5/6. Sort o, 4/5, 0 in descending order.
4/5, 0, o
Let a(m) = -13*m**3 + m**2. Let b be a(-1). Suppose -5*l + 3*l + b = -2*x, -l = 4*x - 12. Let u be (-12)/(-5) - l/20. Sort u, -2, -3 in descending order.
u, -2, -3
Let h = 51 + -54. Let c(z) = -z**2 - z**2 + z**3 + 5*z + 8 - 5*z**2. Let u be c(6). Put -1, h, u in decreasing order.
u, -1, h
Suppose 172*s = 176*s - 48. Sort 4, 3, 0, s in decreasing order.
s, 4, 3, 0
Let s(w) = w**3 + 7*w**2 + 8*w + 8. Let d be s(-6). Let n be (d/2)/(2/(-19)). Let v = 97/5 - n. Put v, -1/2, 4 in decreasing order.
4, v, -1/2
Let d = 11 - 15. Let k = -7 + 7.8. Let c = -2.2 - k. Sort d, -3/5, c in increasing order.
d, c, -3/5
Let k be 18/2*1*89/(-267). Sort 14, 0, k in decreasing order.
14, 0, k
Let l be ((-2)/(-13))/(-1 + 0). Suppose 2*z + 30 = 5*v, -v + 27 = 2*v - 3*z. Suppose 18 = 3*t - 5*t + 4*f, v*t - f + 8 = 0. Sort 0.2, t, l in increasing order.
t, l, 0.2
Let j = 0.5 - 1.5. Let w = 0 - j. Sort -4, w, -0.3 in descending order.
w, -0.3, -4
Let i = -6 + 9. Suppose 8 + 15 = i*y + 4*o, 2*o = -2*y + 12. Let j(f) = -4*f**2 + f. Let s be j(y). Sort -2, 0.1, s in increasing order.
s, -2, 0.1
Let q = 5.9 - -0.1. Let z = q + -7. Let a = -2 + z. Sort 0, 5, a.
a, 0, 5
Let y(b) = -b**3 + 3*b**2 + b - 1. Let f be y(3). Let j = -5 + 13. Suppose -a = a + j. Put -1, f, a in ascending order.
a, -1, f
Let d = -0.175 - 0.825. Put 3/4, d, 7 in descending order.
7, 3/4, d
Let q = -2 - -2.1. Let h = q + -0.1. Suppose p = -3*l - 7 - 7, 3*l + 4 = 4*p. Sort p, h, -4 in increasing order.
-4, p, h
Let v = 0 - 4. Let j = 2.1 + -0.1. Let b = j - 2. Put v, b, 4 in increasing order.
v, b, 4
Let p = 56 - 43. Put 0.1, p, -4 in descending order.
p, 0.1, -4
Let r be (6/(-20)*4)/2. Let k = 4.7 + -5. Let d = -1.7 + k. Put r, -1/4, d in decreasing order.
-1/4, r, d
Let p(y) = -y**2 - y + 4. Let l be p(-3). Let z = l - -5. Suppose -4*a + 3*a - b = -7, -a - 1 = -3*b. Sort z, a, -4 in descending order.
a, z, -4
Suppose -3*o + 0*o = 5*t - 40, -t - 4*o = -25. Let j = -2 + 3. Let d = -2 + j. Put -5, t, d in decreasing order.
t, d, -5
Let g = -1 - 1. Let k(q) = -q**2 + 10*q + 1. Let n be k(10). Let y be 5*(-1)/(-2)*(-16)/(-10). Sort y, g, n in ascending order.
g, n, y
Suppose -61*i + 16 = -57*i. Sort i, 11, -1.
-1, i, 11
Suppose -3*r + 5*g + 9 = 0, -3*r - 3*g + 8 = -1. Suppose 15 = -3*s + 3*w, -4*s + w = -4*w + 25. Put r, s, -2 in descending order.
r, s, -2
Suppose -4*w + 2 = -2*t + 14, 4*t = 8. Suppose -10 + 26 = -4*l. Put 0, w, l in descending order.
0, w, l
Let q = 0.06 + -0.26. Put 2/13, q, -0.4 in decreasing order.
2/13, q, -0.4
Let s be (-4)/14 + 24/(-14). Let u be (3/(-4))/((-1)/4). Suppose -u*j - 5 = -2*j. Put j, 1, s in descending order.
1, s, j
Let i = 0.07 - -3.93. Let x = 2 + -6. Let o = 6 + x. Sort o, i, 2/9 in ascending order.
2/9, o, i
Let q be (-6)/(-9) - (-66)/(-18). Sort 5, 4, q in decreasing order.
5, 4, q
Suppose 0 = -4*v + 3*d - 19, 3*v - d - 17 = -5*d. Sort -17, v, 5 in decreasing order.
5, v, -17
Let h = -5/4 + 11/4. Suppose 0 = 5*q + 2*s + 3*s - 15, 15 = 5*q + 4*s. Sort -3, q, h in descending order.
q, h, -3
Suppose -2*l = -0*l + 3*g - 14, -l + 5*g = 6. Let c(n) = n - 11. Let r be c(5). Let v be 6/(-1*(-9)/r). Put -1, l, v in increasing order.
v, -1, l
Let q(t) = 5*t + 10. Let y(v) = -4*v - 9. Let u(m) = -3*q(m) - 4*y(m). Let r be u(-8). Sort 3, r, 2 in ascending order.
r, 2, 3
Suppose 2*j = -3*j - 3*m + 37, j + 4*m - 21 = 0. Put -5, 2, j in decreasing order.
j, 2, -5
Let f = 5 + -3. Sort 5, -2, f.
-2, f, 5
Let m = -13 + 8. Let t = 24 - 17. Suppose 0 = -4*i + 2*r + 5 + 7, -r - t = -3*i. Sort m, i, -1 in decreasing order.
i, -1, m
Let j = 4.3 - 4.39. Put 3, j, 0.5, -2/9 in ascending order.
-2/9, j, 0.5, 3
Suppose 2*x = 3*n - 22, -5*n + 4*n = 3*x + 11. Put 0, x, 3 in descending order.
3, 0, x
Suppose u - 20 = 6*u, -5*i + 7 = 2*u. Suppose 15 = n - 4*n. Sort 2, n, i in increasing order.
n, 2, i
Let f = 1.4 + 0.1. Let k = 1.5 - f. Sort k, -4, -0.4 in decreasing order.
k, -0.4, -4
Let b be 0 - 1*(-3 + 0). Put -3, 2, -4, b in decreasing order.
b, 2, -3, -4
Let c = -29 + 34. Let f = 3 + 0. Sort f, c, -2 in decreasing order.
c, f, -2
Let k = 67/4 - 17. Let p = 3.4 - -11.6. Let z = p + -11. Sort 0, k, z.
k, 0, z
Let t be (2/(-1) - -1)*1. Suppose -3*z = -z - 8. Suppose 0 = 2*n - 2*f - 16, n - 4*f = 5*n + 8. Sort t, z, n.
t, n, z
Let l = -1 - -3. Sort l, -5, 5, -1 in descending order.
5, l, -1, -5
Let d(h) = -2*h**3 - 9*h**2 - 3*h - 1. Let v be d(-4). Put 2, v, -3 in decreasing order.
2, -3, v
Let l be 1*2*(-5 + 3). Let u = 7 - 3. Sort u, l, -3 in increasing order.
l, -3, u
Let m be 4 - (