0.5, h
Let o = 0.14 + -8.14. Let r = o - -8. Sort r, -0.1, -4 in decreasing order.
r, -0.1, -4
Suppose -3*v = -v. Suppose 2 = c - 0. Let m = c - 3. Sort 3, v, m in descending order.
3, v, m
Let l be (7/6 - 1)*2. Put l, 4, -2/3 in increasing order.
-2/3, l, 4
Suppose 0 = 5*m + 5*l + 15, -2*m - 5*l = -0*m. Let f = -3 - m. Let w = -2 - f. Sort 2, w, 3.
w, 2, 3
Suppose -z + 6 = z. Suppose -z*g = -8*g + 5. Let c = -8 - -13. Put g, 0, c in descending order.
c, g, 0
Suppose -x - 3*x - 4*t = 8, -5*x + 2*t - 17 = 0. Sort -4, 3, x.
-4, x, 3
Let o = 22 - 17. Sort -1, -4, o in ascending order.
-4, -1, o
Let q = 41/86 + 1/43. Let v = -47 - -142/3. Sort q, 1, v.
v, q, 1
Let c = 3 - 0. Put c, -2/15, 2/5, -0.5 in ascending order.
-0.5, -2/15, 2/5, c
Let k(z) = -z**3 - 2*z**2 + 3*z + 3. Let l be (2 + 2)*(-24)/32. Let v be k(l). Sort v, 0.1, -2/5 in decreasing order.
v, 0.1, -2/5
Let s = -0.364 + -0.036. Sort s, 5, 10 in descending order.
10, 5, s
Let s be 3*(-2)/(-6)*3. Suppose -12 = s*y - 0*y. Sort y, -2, -1/3 in descending order.
-1/3, -2, y
Suppose 7*j + 24 = j. Let d be 6/12 + (-2)/j. Put 0, d, 4 in descending order.
4, d, 0
Let k be (1/(-3))/(21/18). Put k, 4, 0 in descending order.
4, 0, k
Let f(v) = 2*v**2 - 5*v + 2. Let y be f(2). Sort y, 9, 1, -3.
-3, y, 1, 9
Let v = 6 + -11. Let g = 5.2 + v. Let y be 1/(-5) + (-5)/(-25). Sort g, y, 0.4.
y, g, 0.4
Let o = -77 - -77.4. Sort -4, 5, 2/25, o in ascending order.
-4, 2/25, o, 5
Let f = -30 + 30. Let j = 241/150 - -3/50. Let w = -3 + j. Sort 1/5, f, w in descending order.
1/5, f, w
Suppose -2*k = -11 + 19. Let a = 0.2 - 0. Sort 2, a, k in decreasing order.
2, a, k
Suppose 0 = -h + 2. Suppose 0*d - 6 = 6*d. Sort d, h, 4 in ascending order.
d, h, 4
Let p = -2 - -3. Sort -5, 5, p in descending order.
5, p, -5
Let c = 0.3 - 0.6. Let o = -246/5 - -50. Sort o, -1/3, c in descending order.
o, c, -1/3
Suppose 0*r - 2*r + 12 = -2*k, 4*r + 24 = -2*k. Let m = -19 + 13. Let h = m - k. Sort h, 3, -2 in decreasing order.
3, h, -2
Suppose -1 = -2*v + 5. Suppose -g + 16 + 3 = -5*b, -2*g - v*b - 1 = 0. Let z be (3 + 0)*2/2. Sort z, -1, g in increasing order.
-1, z, g
Let p = -12 - -23. Let h be 4/(2/(-8) + 0). Let y = h + p. Put 4, 2, y in descending order.
4, 2, y
Let j = -105 - -108. Put -1, j, 0.08 in ascending order.
-1, 0.08, j
Suppose a = 3*v - 2*v - 12, v + 5*a + 18 = 0. Suppose 3*k - v*k = -8. Suppose -3 = -s - 0, k*t = -s + 11. Sort t, -5, 1.
-5, 1, t
Suppose -4*a - 8 = -4*z, 3*a + 3 = -3*z + 27. Suppose -4*y - 2*i = 3*i - 10, i = 4*y - 22. Let o = y - 10. Sort -1, z, o in decreasing order.
z, -1, o
Let c(o) = -o - 10. Let q(w) = -w - 19. Let p(l) = -5*c(l) + 3*q(l). Let y be p(5). Let r be ((-2)/y)/((-6)/(-9)). Put -2, r, -3 in increasing order.
-3, -2, r
Let b = -15 - -11. Let a = -7 - b. Sort -0.5, 0.5, a in decreasing order.
0.5, -0.5, a
Let w be (6 - 5)/((-1)/(-5)). Sort w, 2, 4 in ascending order.
2, 4, w
Let w(g) = -g. Let h be w(-2). Suppose -h = -4*q + 10. Let i be (q/6)/(2/(-20)). Put -4, 2, i in descending order.
2, -4, i
Let p be (2/4)/(4/32). Suppose 4*n - 26 = 5*w, p*w + n + n = 0. Suppose -5*q + 3*q = 0. Sort -1, q, w.
w, -1, q
Suppose 3*i + 2 = 8. Let x = -2.6 - -0.6. Let l = -2.2 + 1.2. Put l, i, x in decreasing order.
i, l, x
Suppose 3*i - 5 = 79. Put 5, -4, i in decreasing order.
i, 5, -4
Let h be (-27)/(-6) + (-2)/(-4). Suppose 4*p + 0 - 4 = 0. Let k = -2 + p. Put -2/13, k, h in increasing order.
k, -2/13, h
Let y = -2.82 - -3. Let x = -4.82 - y. Sort x, -0.2, -2 in increasing order.
x, -2, -0.2
Let j(g) = -23*g**3 + 2*g**2 + 2*g + 1. Let d be j(-1). Suppose 3*o + 4*b + 1 = d, 3*o - 7 = 4*b. Let r be 1/(-4) - (-34)/8. Put r, o, 0 in descending order.
o, r, 0
Let p = 12.3 + -12.27. Sort p, -3/2, -0.1, -0.4 in decreasing order.
p, -0.1, -0.4, -3/2
Let q = 2.4 - 1.7. Let k = -1.3 - q. Sort -4/5, -0.1, k.
k, -4/5, -0.1
Let m(t) = -3*t**2 + 41*t - 47. Let r(v) = -v**2 + 14*v - 16. Let l(h) = -4*m(h) + 11*r(h). Let g be l(9). Sort 5, g, 2 in descending order.
5, g, 2
Let g = 3 - 1. Let f = 56.1 + -53. Let k = 0.1 - f. Sort k, g, -3/2 in ascending order.
k, -3/2, g
Let r(w) = -w - 6. Let n = 6 - 16. Let v be r(n). Put v, -1, -2 in ascending order.
-2, -1, v
Suppose -3 = -2*j + 5*j. Put j, 3, -4 in ascending order.
-4, j, 3
Let x(t) = t**2 - 7*t + 4. Let r be x(7). Suppose -3*g - 6 + 20 = -r*p, -g - 6 = 4*p. Suppose 15 = 2*y + 3*y. Put -3, y, p in increasing order.
-3, p, y
Suppose 2*y - 2 - 8 = 0. Suppose 4*l + 10 = -2, 0 = -y*b + l - 32. Let w = b + 4. Sort -4, w, 5 in descending order.
5, w, -4
Let g(r) = -2*r - 9. Let y be g(-6). Suppose 2*n - 6*n = 4, -y*n = -4*z + 19. Sort -2, z, -1/3.
-2, -1/3, z
Let c be 26/10 + -1 - 1. Suppose 3*n + 36 = -0*n. Let m = -16 - n. Put -0.1, m, c in descending order.
c, -0.1, m
Let o be 4/15 - (-2)/6. Let l = 279/4 + -70. Put l, o, 1/3 in increasing order.
l, 1/3, o
Let c be (1/2)/(2/4). Let j(z) = z**2 - 10*z + 5. Let y(o) = -6*o - 3. Let r be y(-2). Let w be j(r). Sort w, c, 0 in ascending order.
w, 0, c
Let n be 27/4 + 1/4. Suppose -12 = -a - n. Sort 1, a, 2.
1, 2, a
Suppose -4*g + 5*b = 37, -2 = -3*g - 2*b - 1. Put -4, g, 11 in decreasing order.
11, g, -4
Let z = 11 - 9. Let x(n) = -n**2 + 2*n. Let c be x(z). Suppose c*y = -3*y - 2*v + 11, 0 = 2*y + 3*v - 14. Put -3, y, -4 in decreasing order.
y, -3, -4
Let m be (1 + 3/(-6))*6. Suppose i - 4*v = -i + 20, 5*v = -m*i - 3. Sort -5, 5, i in descending order.
5, i, -5
Let r(o) = -o**3 - 4*o**2 - 2*o + 2. Let q be r(-2). Let y be 3/((-1)/(-1 - 0)). Put y, q, 5 in ascending order.
q, y, 5
Let r = -2.132 - -0.032. Let f = 0.1 + r. Let d = 2 - 1. Put d, -4, f in descending order.
d, f, -4
Let b = -8 - -8.01. Let u = -0.08 + b. Sort -1/2, u, -2 in decreasing order.
u, -1/2, -2
Let t = -0.2 - 7.8. Let n = t + 6. Put 4, 2/7, n in ascending order.
n, 2/7, 4
Let g be 22/(-56) + 1/4. Let k = 18 - 17. Sort k, -4, g in decreasing order.
k, g, -4
Let a = 51 + -55. Sort 1/3, a, -0.1 in decreasing order.
1/3, -0.1, a
Suppose 4*i = -2*j + 12, 5*i - i - 8 = -j. Sort i, 3, 5.
i, 3, 5
Let u(v) = 2*v - 1. Let b be u(2). Suppose -b*p = 2 - 5. Put 3, -5, p in increasing order.
-5, p, 3
Suppose g = -2*k - 7, -5*g + 2*k + 24 = -1. Sort -3, 5, g in increasing order.
-3, g, 5
Suppose 0 = w - 4 + 6. Sort w, -5, 3.
-5, w, 3
Suppose -4*r = -7*r + 36. Let u = -17 + r. Let f = u + 7. Sort 1, f, -1.
-1, 1, f
Let m = 53/210 - -1/30. Sort 4, m, 0.08, -1/2 in descending order.
4, m, 0.08, -1/2
Suppose -3 = -0*s + 2*s + b, -2*b - 3 = 3*s. Suppose 2*a + 10 = -0, -a = 2*i + 17. Sort i, s, -5 in increasing order.
i, -5, s
Let b = 0.17 + -0.24. Sort 5, -4, b, -2 in increasing order.
-4, -2, b, 5
Let v = 3 - 1. Suppose -v*d = -7*d + 45. Suppose 4*h + 0 = r + 6, h = 4*r + d. Sort h, 1/5, 0.3 in descending order.
h, 0.3, 1/5
Suppose -2*p = -0*p + 6. Suppose -9 + 3 = 2*r. Let o = r + 8. Sort o, p, 1 in descending order.
o, 1, p
Suppose g - 5*d - 27 = 0, 4*d = 2*g - 29 + 5. Suppose -q + 0 = g. Put q, -1, 2 in increasing order.
q, -1, 2
Let k = 7 + -12. Sort 0.5, k, 5.
k, 0.5, 5
Let n = -1.5 - -3.1. Let t = n + -2. Let a be 0 + 5/((-85)/(-2)). Put a, t, -1/4 in ascending order.
t, -1/4, a
Let b be (0 + 1)/(5/(-5)). Put 3, -3, 1, b in decreasing order.
3, 1, b, -3
Let s(q) = q**2 + 9*q + 11. Let w be s(-8). Sort -2, 2, -1, w in descending order.
w, 2, -1, -2
Let l = -1.45 - -1.55. Sort l, -0.5, -1/3, -1.
-1, -0.5, -1/3, l
Let c = 0 + -2. Let i = 17 + -12. Sort -5, i, c in decreasing order.
i, c, -5
Let o = 60.4 - 60. Sort o, 3, 0, 0.2 in ascending order.
0, 0.2, o, 3
Suppose 1 + 7 = 2*w + 4*o, -w = 5*o - 19. Let i = w + 6. Suppose 2*a + 6 = 5*f, f = 3*a - 4 - i. Sort 1, -2, f in ascending order.
-2, 1, f
Let z be 2 + (4 - 1)/(-3). Let j = z + -5. Put 2, 3, j in ascending order.
j, 2, 3
Let v = -19 - -3. Let n = 21 + v. Sort 4, -3, n in descending order.
n, 4, -3
Let a(h) = h**3 + 7*h**2 + 6*h + 2. Let d be a(-6). Let q(w) = w - 1. Let p be q(d). Let c be p/1 - (0 - -2). Put c, -2, 5 in decreasing order.
5, c, -2
Let f be 4/(-7) - 150/(-42). Suppose 0 = 3*o + 5*k + 19, 5*o - 2*k = -7*k - 25. Sort o, 4, f in increasing order.
o, f, 4
Let f(k) = k**2. Let p be f(2). Sort -5, p, -4 in ascending order.
-5, -4, p
Let s = 44 - 43. Put -2, -4, 5, s in descending orde