 Let d = -4 + 11. Suppose 1 + d = -2*q. Sort q, -0.1, l in descending order.
-0.1, l, q
Let x = -6 - -9. Suppose -3*w = 13 - 1, -2*w = -3*t + 17. Suppose -6 = t*n - 3. Sort -4, n, x.
-4, n, x
Let u = 0.05 - 6.05. Let g = -5.5 - u. Sort g, -2, -0.4 in increasing order.
-2, -0.4, g
Let f be (15/(-6) + 3)*10. Suppose -5 = 5*g + f. Sort g, -4, -3 in increasing order.
-4, -3, g
Let q be (7/(-7))/((-1)/3*-3). Suppose -5 = -5*d + 10. Put -5, q, d in descending order.
d, q, -5
Suppose -8 = 3*z + 4. Let p be -5*z/(-10)*-2. Put 0, 2, p in increasing order.
0, 2, p
Suppose 0*v + 2*v = l + 1, 0 = -5*l - 3*v - 5. Let y be (-1)/(-3)*1*l. Let o = -0.43 + -0.07. Sort -1, o, y in decreasing order.
y, o, -1
Let k be 35/(-50)*-2 + -1. Sort -0.1, k, -5.
-5, -0.1, k
Let v be ((-12)/(-4))/((-2)/(-8)). Suppose -2*t + 5*t - v = 0. Suppose -5 = n + 5*d + 3, 0 = -3*n + 5*d - 4. Put 2, t, n in descending order.
t, 2, n
Let f = 155 + -172. Sort f, -5, 5 in increasing order.
f, -5, 5
Let h = 72 - 27. Suppose 0 = -5*q + i + 4*i - h, q - 3*i = -17. Sort -3, 1, q in ascending order.
q, -3, 1
Let o be (-1)/10 + (-3)/6. Let r(h) = -h - 11. Let s be r(-7). Sort 1, s, o in ascending order.
s, o, 1
Let u be (5 + 1)*(-1)/1. Let o = 9 + u. Suppose -j + o = 1. Put j, -5, -3 in descending order.
j, -3, -5
Let a = 50 + -49.7. Put -1/6, a, -0.5, 0.5 in descending order.
0.5, a, -1/6, -0.5
Let k = -0.07 - 1.03. Let q = k - -1. Let w = 9/22 - -1/11. Sort q, w, -5 in decreasing order.
w, q, -5
Let t be -6 + 2 + -1 + 1. Let w = -20 - -20.4. Let s = -42 - -44. Put t, s, w in ascending order.
t, w, s
Let s be ((-16)/(-20))/(2/(-5)). Put 2, 1, s in descending order.
2, 1, s
Let u be -17 - (-5)/(5/4). Sort u, 2, 5.
u, 2, 5
Let h be 50/18 - (-10)/45. Suppose 7 = -b - h. Let g = -9 - b. Put 3, g, -2 in decreasing order.
3, g, -2
Suppose -9*p = -2*p + 14. Sort p, -5, 0.12 in ascending order.
-5, p, 0.12
Let t = -111 - -110.9. Let k be 1*-1 - (-6)/(-2). Put t, 1/9, k in ascending order.
k, t, 1/9
Suppose -3*v + 4*v - 4 = 2*b, 2*b - 4*v + 4 = 0. Let h be b/((-2)/8*2). Let l = 2 - 3. Put 0, h, l in increasing order.
l, 0, h
Let k = -14.3 - -11.3. Put -4, 3, k, -1/7 in increasing order.
-4, k, -1/7, 3
Let k(o) = -o - 9. Let g be k(-11). Sort g, -1, -8 in increasing order.
-8, -1, g
Let u(h) = 4*h - 17. Let l be u(7). Sort 5, l, -5.
-5, 5, l
Suppose 0 = 4*h + 2*k - 24, -2*h - 3*k - 2*k + 28 = 0. Sort -15, h, -3 in descending order.
h, -3, -15
Let o be 1 + (-6 - 0) + 3. Put -0.03, 5, o in decreasing order.
5, -0.03, o
Let f = 473/5 + -95. Sort 4, f, 0.1, 1 in decreasing order.
4, 1, 0.1, f
Suppose -4*k = 5*n - 10 - 5, 4*n - 2*k - 12 = 0. Suppose -3*f - 2 = -4*f. Suppose -f*v = -z + 2*z + 4, 0 = -z + 4*v + 8. Put z, 5, n in ascending order.
z, n, 5
Let u = 1/93 + 461/372. Let v = -0.21 + -8.79. Let b = -12 - v. Put -0.1, u, b in increasing order.
b, -0.1, u
Suppose 3 = -q - y - 1, -2*q + y - 20 = 0. Let r be 14/q + 1/(-4). Put r, -1, 2 in descending order.
2, -1, r
Let t = -14 + 10. Sort 2, 0.5, t in descending order.
2, 0.5, t
Let p = -10.3 + 10.7. Sort 2, 0.3, -0.13, p in ascending order.
-0.13, 0.3, p, 2
Let g be 4/6 - 24/(-18). Let q(l) = l**3 + 5*l**2 - 5*l + 7. Let n be q(-6). Sort n, -3, g.
-3, n, g
Let f be (2 - 108/57)*3. Put f, 0, -3 in decreasing order.
f, 0, -3
Let l = -33 + 34. Sort 5, l, -2, -7.
-7, -2, l, 5
Let y = 7 - 6.7. Suppose 5*r + 37 = 2*g, -11*g + 40 = -6*g - 2*r. Put y, 0.2, g in decreasing order.
g, y, 0.2
Suppose 5*z - i = -5*i - 25, 0 = -3*i. Let r = -2 + 2. Put -3, z, r in descending order.
r, -3, z
Let d = 160467 + -1442401/9. Let c = 200 - d. Sort c, -1, 0.4 in increasing order.
-1, c, 0.4
Let v = -0.4 - 0.1. Sort -2/9, v, -5.
-5, v, -2/9
Let z be -3*((-48)/9)/8. Sort -7, z, 4.
-7, z, 4
Suppose -150*j + 90 = -153*j. Sort 0.5, j, 0.4.
j, 0.4, 0.5
Suppose 7 = 3*q - 2*f + 1, 3*q + f = 6. Let t(p) = p**2 - p - 1. Let i be t(-1). Put q, i, -4 in decreasing order.
q, i, -4
Let l = 0.4 + -0.8. Let b = l + -0.1. Let o = -23 + 47/2. Put b, o, -5 in decreasing order.
o, b, -5
Suppose -2*i + 15 = 3*i. Let l = 12383/10 - 947192/765. Let o = 1/34 - l. Sort i, o, 4/5.
o, 4/5, i
Let i = -11 + 19. Let b be (-4)/6*3/i. Put -3, 0, b in ascending order.
-3, b, 0
Let o be -2*((-93)/48 + 2). Let h = -6 - -6.3. Sort -3, h, o in ascending order.
-3, o, h
Let s(p) = -p**2 + 8*p + 2. Let b be s(5). Suppose -b - 8 = -5*f. Suppose 2*z + f + 3 = 0. Sort 2, 5, z in increasing order.
z, 2, 5
Let r(b) = b**2 - 13*b + 17. Let n be r(12). Put 3, -5, n, -3 in decreasing order.
n, 3, -3, -5
Suppose 3*s + 12 - 3 = 0. Let m = -5 + 3. Sort m, s, 2 in descending order.
2, m, s
Let u = 18 + -14. Sort 2, -3, u.
-3, 2, u
Suppose 0 = -7*o + 9*o. Put o, -17, -1 in descending order.
o, -1, -17
Let r(z) be the second derivative of -z**3/3 - 4*z**2 - z. Let g be r(-6). Let j be (1 - 1/g)*-4. Put j, 0, -2 in decreasing order.
0, -2, j
Suppose -5*x - 7 = q, -3*x + 3*q - 20 = -5. Suppose -3*k + 6 = 2*s + 4, -s = -5*k + 12. Put k, -1, x in descending order.
k, -1, x
Let q be (1/5)/(1/(-2)). Suppose 0 = -g - 3*g - 20. Let o be 6/15 - (-3)/g. Put q, o, -1 in ascending order.
-1, q, o
Let j be 22/(-11)*(-2 - -1). Put -2, j, -3 in decreasing order.
j, -2, -3
Let l = -0.96 + -0.04. Sort -0.1, l, -0.2 in ascending order.
l, -0.2, -0.1
Let r be (-15)/(-20) + -3 + (-194)/(-72). Sort -2/3, -0.1, -1, r in ascending order.
-1, -2/3, -0.1, r
Suppose -2*w + 0*w = a - 100, -4*a = -3*w + 172. Suppose 4*r + w = -4*o, 12 = -5*r + 2*r. Let b = o - -6. Put b, 3, 1 in increasing order.
b, 1, 3
Suppose -12 = -5*z + 2*z. Put 0, -2, z in descending order.
z, 0, -2
Suppose 4*h + 4*i = -10 - 14, 0 = h - 2*i - 6. Let y(o) = -o - 5. Let k be y(0). Sort h, 2, k in decreasing order.
2, h, k
Let p = -1 - -1. Let d = -16.2 - -16.26. Sort -5/6, p, d.
-5/6, p, d
Suppose d + 2*d - 2*o - 14 = 0, 0 = 4*d + 2*o. Suppose 12*p + d = 14*p. Sort p, -0.1, -3 in decreasing order.
p, -0.1, -3
Let v be -7 + (-12)/(-3) - (2 - 0). Sort v, -1/3, 3/8, -0.4 in increasing order.
v, -0.4, -1/3, 3/8
Suppose -2*i - 24 = -2*f + i, 0 = f + 2*i - 19. Suppose r - 6*r = -f. Sort 4, r, -4 in descending order.
4, r, -4
Let h be 27/12 - (-6)/(-3). Sort 5/4, h, -4 in decreasing order.
5/4, h, -4
Suppose -5*h = 5*f + 20, 3*h = -6*f + 4*f - 4. Sort -5, f, -2 in decreasing order.
-2, -5, f
Let y(q) = -q**3 - 2*q**2 - q + 2. Let i be y(-2). Suppose 4*h - 2*k + 29 = 11, 0 = -2*h - 2*k + 6. Let n be (h + -3)*1*-1. Sort n, -1, i in descending order.
n, i, -1
Let d = 0 + -2. Let j = 0 - d. Let t = 3 + -6. Sort -1/6, j, t.
t, -1/6, j
Let f = -11 + 11. Let o(n) = n**3 - n - 4. Let k be o(f). Put -5, -3, k in decreasing order.
-3, k, -5
Let u = 27 + -29. Put u, 0.5, 0.3 in descending order.
0.5, 0.3, u
Let y(s) = -4*s + 3. Let c be y(-3). Let k(x) = -3 + x + c - 2*x. Let l be k(8). Sort -3, l, -2.
-3, -2, l
Let i = -119 + 119. Let h = 5 - 2. Put h, i, 2 in descending order.
h, 2, i
Let c be 0 - ((-2)/(-10) + (-54)/(-30)). Put 3, c, 8, 1 in ascending order.
c, 1, 3, 8
Let z = -3 + 6. Suppose i = z*i. Sort i, -2, 3 in decreasing order.
3, i, -2
Suppose -10 = -z + 6*z. Let o be z + (-3 - -7) + 2. Suppose 2*u + 14 = -0*u. Sort u, o, 1 in descending order.
o, 1, u
Let f = -4.05 + 4. Let a = -2.95 + f. Sort -1, 4, a in decreasing order.
4, -1, a
Suppose -15 + 71 = 4*q. Suppose -r - 3*r = 4*d + 8, r + q = 5*d. Let y = 7 - 11. Put 4, y, d in decreasing order.
4, d, y
Let a be (24/40)/((-18)/(-20)). Put a, 4, 0.2 in decreasing order.
4, a, 0.2
Let j(v) = -v**3 - v**2 - v + 11. Let y be j(0). Suppose -20 = -4*p, 4*d - 3*p + y + 24 = 0. Put d, 0, 1 in descending order.
1, 0, d
Let a = 56/305 + 1/61. Let c = 9 + -9.35. Let k = c + 0.05. Put k, -1, a in descending order.
a, k, -1
Let i = -221/700 + 3/100. Let g = -16.1 - -15. Let j = g + 0.7. Sort i, 3, j.
j, i, 3
Let a = 4.87 - -0.13. Let f(h) = 2*h**3. Let w be f(-1). Put -0.3, a, w in decreasing order.
a, -0.3, w
Let z(k) = -k**2 - 8*k + 3. Let f be z(-8). Suppose f = -5*j + 2*i, -2*j + 3*i - 4*i - 3 = 0. Put -3, j, -6 in increasing order.
-6, -3, j
Let d = -8 + 6.5. Let z = d + 6.5. Put -2, z, 3 in descending order.
z, 3, -2
Let j = -6 + 5. Let f be (3/9)/(j/(-6)). Put 3, -2, f in decreasing order.
3, f, -2
Let v = -7 + 6. Put -21, v, 1 in descending