9 = -3*x, 0 = a + 3. Suppose 0 = 2*j - 5*j - x. Suppose -2*v = -7*v - 5. Sort -3, j, v in increasing order.
-3, j, v
Let l = -0.4 - -0.1. Let q = 2.31 - 0.31. Put -0.4, q, l in descending order.
q, l, -0.4
Let o be 26/6 - 4/12. Let n = 27 + -26. Sort o, n, 0.4 in ascending order.
0.4, n, o
Suppose a + 13 = -2*y + 2, 0 = -4*y - 5*a - 19. Let f = -8 - y. Let q = 1 + -0.8. Sort f, -5, q.
-5, f, q
Let x = -47 + 45. Sort 0, x, -1, -3/2 in increasing order.
x, -3/2, -1, 0
Let z be (-117)/54 - (-2 - 0). Let j = -1 - -6. Sort j, z, -0.1 in decreasing order.
j, -0.1, z
Let c = 0.2 + -0.3. Let p(k) = k**3 + 2*k**2 - 2*k. Let o be p(-2). Sort c, 2, o in descending order.
o, 2, c
Let c = -0.15 - -3.45. Put -2, c, -1/2 in ascending order.
-2, -1/2, c
Suppose -5*y + 2 = 5*g - 38, 5*y = -2*g + 28. Suppose n + 5 = 3*s, 6*s = -4*n + s + 14. Put n, -5, y in decreasing order.
y, n, -5
Let w(h) = h**2 + 4*h + 3. Let a be w(-5). Sort -2, -4, a, 0 in decreasing order.
a, 0, -2, -4
Suppose 2*z + 6 = -6*l + 3*l, 3*l = -3*z - 9. Suppose 3*h - 16 = -g, 2*g + 3 + 0 = h. Suppose 2*j = j - h. Put 2, j, z in ascending order.
j, z, 2
Let d(f) = -2*f + 10. Let t be d(5). Sort t, -2/11, -0.5, 3 in decreasing order.
3, t, -2/11, -0.5
Let u(d) = d**2 + 2*d - 2. Let c be u(-4). Let g be -1 - 3/c*-6. Sort g, -4, -3 in ascending order.
-4, -3, g
Suppose 4*t - 4 = 0, -2*x + 4*t + 4 = 2. Let o = x - 3. Let y be (o - 1)*(6 + -1). Sort -1, -2, y.
y, -2, -1
Suppose 0*k = k - 4. Suppose -7*i + 70 = -2*i. Suppose 12 = -3*q, -5*v = -2*v - 2*q - i. Put v, k, -2 in increasing order.
-2, v, k
Let p = -15.7 - -16. Sort -0.4, p, 1.
-0.4, p, 1
Suppose 4*y - 18 + 6 = -p, -4*p = -4*y - 8. Suppose -4*f + 28 = -y*u, 18 = 3*f - 2*u - 5. Put f, -4, 4 in decreasing order.
f, 4, -4
Let r = -39 + 34. Sort 4, 1.2, r in descending order.
4, 1.2, r
Let w be 0/3 - (3 + -1). Suppose 11 - 8 = -h. Suppose -8 = -5*y + 2*q, 5*y - 33 = 5*q - 13. Put w, y, h in decreasing order.
y, w, h
Suppose 0 = -26*i + 31*i + 80. Put -1, i, -5 in decreasing order.
-1, -5, i
Let t = 103 - 103. Put 5, t, 1/3, -0.2 in ascending order.
-0.2, t, 1/3, 5
Suppose 5*i - 2*i = -15. Let g = -4.5 - -4. Sort i, 3, g in descending order.
3, g, i
Let u be 7 - (2 + 2) - -1. Sort u, -3, 0 in ascending order.
-3, 0, u
Let w = -11 + 6. Let p = 8 + -2. Suppose 0 = -z - p + 3. Sort 5, z, w in descending order.
5, z, w
Let j(x) = 2*x + 9. Let i be j(-7). Put i, 4, -1, 1 in decreasing order.
4, 1, -1, i
Let f be 1 + 3/(-3*5). Let d = -0.43 - -2.43. Sort f, d, 3 in descending order.
3, d, f
Let y = -36.4 - -76.5. Let i = y - 37. Let h = i - 3. Sort 0, 4, h in increasing order.
0, h, 4
Let o = -71 + 354/5. Let w = 0.2 - -0.8. Sort -2/11, w, o in ascending order.
o, -2/11, w
Let k be 1/2 - (-1)/(-2). Suppose o + 2*y + 2 - 3 = 0, o - 5 = -4*y. Sort k, o, 1 in ascending order.
o, k, 1
Let y = 148 + -152. Let q = 0.1 + -1.1. Let x = q + 0. Sort x, y, 1.
y, x, 1
Let m(l) = l**3 - 7*l**2 + 4*l + 10. Let n be m(6). Put 0, n, 9 in descending order.
9, 0, n
Suppose 2*g + 9 = -3*p, -3*g - 2*g - 2*p = 6. Suppose -4*v + 0 - 4 = g. Let y be (-34)/(-6) + (-4)/6. Sort y, v, 1.
v, 1, y
Let j = 78 + -49. Sort -4, j, -3.
-4, -3, j
Suppose -20 = 3*n - 4*p, 0*n = -2*n - 5*p + 25. Suppose n*z + 2*z = -18. Let w = 14 + z. Sort w, 3, 0.4 in decreasing order.
w, 3, 0.4
Suppose s - 5 = 3*u + 2*u, 0 = -5*s - 3*u - 3. Let q be 33/21 - (1 - s). Let c be (-15)/(-2)*(-1)/(-10). Sort c, q, -5 in decreasing order.
c, q, -5
Let i = -28 + 29. Put -1, i, -5 in decreasing order.
i, -1, -5
Suppose 0 = 2*w + 13 - 5. Suppose -i + 20 = 4*i - u, u - 25 = -4*i. Suppose -4*d = -8, -4*d + 6 = i*l - d. Sort l, w, -2 in increasing order.
w, -2, l
Suppose 0 = -4*a - 2*d + 22, -4*a - d - 2*d = -23. Let y = -11/196 + 963/196. Let x = y - 156/35. Put x, 2, a in descending order.
a, 2, x
Let t = -154 - -153. Sort 4, t, 5, 0.3 in ascending order.
t, 0.3, 4, 5
Let c = 21 - 16. Sort c, -2, 3, 0 in ascending order.
-2, 0, 3, c
Let j = -158 - -94. Let q = -1474/23 - j. Let w = -6.3 - -6. Sort -0.2, w, q.
w, -0.2, q
Let q = 27/11 + -221/99. Let r = -3.5 + 1.5. Sort r, 5, q in descending order.
5, q, r
Let k be ((-1)/5)/((-4)/(-8)). Suppose 0 = -2*w, 5*i - 4*w - 2 = 3. Let v = -5/2 + 2. Sort v, i, k.
v, k, i
Let h be ((-12)/(-3))/(-4) - 4. Suppose -2*n = -7*n + 15. Put -3, h, n in increasing order.
h, -3, n
Suppose 5*q - 8 + 38 = 0. Let t be q/4 - (-2)/4. Suppose -3*w + 4*v = -0*w + 29, 0 = 2*w + 5*v - 19. Sort 1, t, w in increasing order.
w, t, 1
Let b = -5.362 + -0.038. Let x = b - -5. Let s = -0.01 - -4.01. Put s, -3, x in increasing order.
-3, x, s
Let c be (-1)/((-4)/(-8)*-2). Put c, -1, 8 in increasing order.
-1, c, 8
Suppose 5*v + u + 4*u + 100 = 0, 3*u - 76 = 5*v. Let i = 16 + v. Sort 2/3, -2, i.
-2, i, 2/3
Let x = 0.08 + 3.92. Let j = 250.1 - 240. Let b = -10 + j. Sort b, x, 3.
b, 3, x
Let o = -2 + 4. Let n = -3 - 0. Sort o, n, 5 in ascending order.
n, o, 5
Suppose 2*y + 5 - 13 = 0, 3*v - y = 8. Let a be -3*v/6*-1. Sort a, -6, 1.
-6, 1, a
Let h be 7/(-15) + (-3)/(-5). Put 1, -4/5, h in descending order.
1, h, -4/5
Let l = -5 - -10. Let r be (-11)/55*10/(-12). Sort r, l, -2/9.
-2/9, r, l
Let a = 3 - 7. Let k(v) = 5*v**3. Let r be k(-1). Sort 1, r, a in decreasing order.
1, a, r
Suppose -4*d - 1 = y, 5 = 4*d - 6*y + y. Put -5, 2, d in increasing order.
-5, d, 2
Suppose -2*o - 74 = -5*o + 4*s, o - 2*s = 24. Let a = o + -22. Put -3, -10, a in descending order.
a, -3, -10
Suppose 0 = -n - 0 - 1. Let r = n + -14. Let q be ((-4)/6)/((-2)/r). Sort 5, q, 2.
q, 2, 5
Let k = 2.3 + -0.1. Sort k, 4, -4 in decreasing order.
4, k, -4
Let p = -13.4 - -10.4. Let a = -0.7 + 4.7. Sort a, p, -2/7.
p, -2/7, a
Let n = 1454/11 + -132. Let j = -329 - -2957/9. Sort j, n, 1/2 in ascending order.
j, n, 1/2
Let q = 9 + -9.3. Let x = -8 + 58/7. Put x, q, 2/5 in descending order.
2/5, x, q
Suppose -5*r + 40 = 4*g - 2*g, -4*g + 2 = -3*r. Let o = r - 3. Suppose 0 = 5*s + 4*n - 7, 0 = -3*s + o*n - 0*n + 15. Sort s, -3, -0.4 in descending order.
s, -0.4, -3
Let j be (0 - (-3)/(-2))*150. Let q be 2/(-5) + 2335/j. Let b = 11 + q. Sort 2/7, b, -1 in ascending order.
-1, b, 2/7
Let i = 4 - -16. Let x be 30/25*i/6. Sort 5, x, -2 in descending order.
5, x, -2
Let p = -68 + 67. Let x be (0 - 0)/(-1 + 3). Sort x, -5, p.
-5, p, x
Let g(a) = -a + 1. Let d(r) = -r - 1. Let h(z) = 2*d(z) - g(z). Let p be (-12 - -11)/(2/6). Let k be h(p). Put 3, k, 5 in increasing order.
k, 3, 5
Let t = -136/3 - -45. Suppose 0*d + w = -d - 13, 52 = -4*d - 5*w. Let k be d/(-3) + (-12)/36. Put t, k, 1 in descending order.
k, 1, t
Let b be ((-1)/((-2)/4))/(-1). Let y be -5*b/(6/(-3)). Let t = 0 - 2. Put t, -4, y in descending order.
t, -4, y
Suppose -2*i - 6 = -0*i. Put 2, i, 21 in descending order.
21, 2, i
Suppose -n - 4*n + 4 = -4*c, 0 = -5*n - 2*c + 28. Let j be 1/(2/n) - -1. Suppose 3 = z + 3*p, -4*z + 0*p = -p + 14. Sort j, z, 2 in descending order.
j, 2, z
Let n = 23 + -18. Sort 2, -4, -2, n in increasing order.
-4, -2, 2, n
Let c be 45/81*4/10. Put -0.1, c, 3/2 in decreasing order.
3/2, c, -0.1
Suppose 5*p = 4*g - 25, -p - 3*g + 4*g - 5 = 0. Suppose -132 = -29*l - 4*l. Put 5, p, l in descending order.
5, l, p
Let y = -27.7 - -28. Sort 0, 0.4, y in decreasing order.
0.4, y, 0
Let r = 43/140 + -2/35. Put -4, -2, r in ascending order.
-4, -2, r
Suppose -2*v = -k - 18, -3*k - 2*v - 20 - 10 = 0. Sort -3, 2, k in decreasing order.
2, -3, k
Let l = 1.2 + 1.8. Sort -2/11, l, -3 in decreasing order.
l, -2/11, -3
Suppose 0 = -5*w + 25. Suppose 0 = -5*j + j + w*f - 12, -4*j = -2*f. Put -5, -2, j in increasing order.
-5, -2, j
Let y = 0.059 + -1.359. Sort 2, 1, y.
y, 1, 2
Let s(m) = -m**3 + m**2 - 2. Let z be s(0). Put 0, z, 4 in decreasing order.
4, 0, z
Let m = -13 + 9. Let w = -13 + 15. Suppose -2*t + 8 = w*t. Put -5, t, m in descending order.
t, m, -5
Let l(n) = -n**2 - 6*n - 3. Let m be l(-2). Suppose 0*w = m*u - w - 19, 3*u - 5*w - 29 = 0. Let o = 0.2 - 0.3. Put 1/4, u, o in ascending order.
o, 1/4, u
Suppose -8 = 5*y - 33. Let r = y - 7. Put 3, r, -1 in descending order.
3, -1, r
Suppose 2*r - 1 - 5 = 0. Put -5, r, 5 in decreasing order.
5, r, -5
Let o = -10 + 8. Sort 5, 3, o.
o, 3, 5
Suppose 4*m = i - 0*i - 12, -3*m - 4*i = -10. Sort m, 11, 4 in increasing