0 + -4)/2. Sort 0, -1/2, -5, b.
-5, -1/2, 0, b
Let d be (-10)/(-15)*18/4. Sort 12, d, -5 in descending order.
12, d, -5
Let l be -3 - -1 - 20/(-4). Let t(u) = 3*u**2 + u - 1. Let c be t(1). Suppose 0 = -3*x, -3*x - c = 2*f + 1. Sort l, 1, f in decreasing order.
l, 1, f
Let z(v) = -2 - v + 0*v - 1 - v. Let p be z(-6). Suppose b + p = 4*b. Sort b, -4, 4.
-4, b, 4
Let w = 4 - 2. Let y = 11 + -10. Sort w, y, -0.4.
-0.4, y, w
Let q(p) = -p**3 - 8*p**2 - p - 7. Let x be q(-8). Let l(m) = 3*m + 3 + m**3 + x + 2 - 6*m**2. Let b be l(5). Put -5, -3, b in descending order.
-3, b, -5
Let y = -0.4 - 0.6. Let p = -0.7 - y. Sort -1/8, p, -1/4 in ascending order.
-1/4, -1/8, p
Let u(g) = g**2 + 4*g - 4. Let j be u(-4). Let z be 120/(-273) + j/(-26). Sort -2/13, z, -3 in decreasing order.
-2/13, z, -3
Let r be 7/(-20) - 2/(-8). Let d be (-9)/4 - (-7 - -5). Put r, 1, d in descending order.
1, r, d
Suppose 0*c = -4*c - 4. Suppose 5*d - 2*t + 15 = -0*d, t = -d + 4. Let y = d - -1. Put y, -3, c in decreasing order.
y, c, -3
Let i = 3/1112 - 2461/87848. Let w = -83/158 - i. Sort 1/4, -3/2, w.
-3/2, w, 1/4
Suppose 3*s + 3*r + 29 = 2*r, -2*r - 4 = 0. Put 3, s, 0 in ascending order.
s, 0, 3
Let k(p) = -p**3 - 10*p**2 - 9*p - 5. Let s be k(-9). Put s, 5, 0 in descending order.
5, 0, s
Let s be -5 + 5 - (-1)/4. Let f = -2.2 - 0.8. Sort s, f, 2/15 in ascending order.
f, 2/15, s
Let t be ((-6)/4 - -1)*0. Suppose 2*d + d = t. Let v = 0.07 - 0.37. Sort d, 3, v in decreasing order.
3, d, v
Suppose 75 = 5*l + 25. Let m(n) = n**2 - 9*n - 11. Let a be m(l). Sort a, -5, -4 in decreasing order.
a, -4, -5
Suppose 0 = -c + 5, -2*r - 21 = -2*c - c. Sort -6, 2, r, 4 in increasing order.
-6, r, 2, 4
Let i = 0.8 + -0.3. Let m be ((-16)/3)/(-4)*18/(-16). Let r(a) = -a**3 - 4*a**2 + 6*a + 1. Let n be r(-5). Put n, i, m in decreasing order.
i, m, n
Let h(i) = 18*i**2 - 1. Let o be h(1). Suppose o = 5*m + 2. Suppose 6 = -m*y - 5*n, 27 = 5*y - 4*n - 0*n. Sort 0, y, 4 in increasing order.
0, y, 4
Let v = 18 - 13. Let r = -4.7 + v. Let a = -0.6 - -1. Sort 5, r, a in descending order.
5, a, r
Let q = -0.383 + -0.117. Put 0.4, -3, -1, q in decreasing order.
0.4, q, -1, -3
Let n be (-5 - -4) + 9/7. Let w(r) = r**2 + 6*r - 4. Suppose 0 = 5*f + 4*s + 50, -2*s = -4*f - 3*s - 29. Let m be w(f). Sort n, m, 1/9.
m, 1/9, n
Let d = 146 - 145. Sort 2, d, 1/3 in descending order.
2, d, 1/3
Let y be (-20)/(-36) - 2/6. Sort 2, y, -3/2 in decreasing order.
2, y, -3/2
Let z(h) = -10*h + 2. Let u be z(-2). Let t = 14 - u. Put t, -4, 5 in descending order.
5, -4, t
Let b = -25 + 51/2. Let l = 1 + 4. Let g = 1/6 + -1/2. Put l, g, b in ascending order.
g, b, l
Let o = 2 + -1. Suppose 0 = -5*q + 10. Suppose 2*c + 8 = -2*g - 3*c, 4*c = 0. Put g, q, o in ascending order.
g, o, q
Let a = -38 + 113/3. Put 4/3, 3, a in increasing order.
a, 4/3, 3
Let d be (-2 - -17)/((-3)/2). Sort 5, d, 0 in descending order.
5, 0, d
Let k = 43 + -47.6. Let f = k + 5. Let w = 7/3 + -17/6. Sort -4/9, f, w in decreasing order.
f, -4/9, w
Let x be (-1)/(((-9)/3)/(-6)). Put x, 2, 0.4 in increasing order.
x, 0.4, 2
Let q = 3.2 + -0.2. Let c = 1 + -4. Put c, -2, q in increasing order.
c, -2, q
Suppose 2*s + 43 = 57. Sort 2, s, 4 in decreasing order.
s, 4, 2
Let y = 6 + -6.2. Sort y, 1/12, -1.
-1, y, 1/12
Suppose 3*z - 16 = 4*u, u - z = z - 9. Put -3, 0, u in descending order.
0, u, -3
Let i(g) = g**3 + 7*g**2 + 4*g - 6. Let b be i(-6). Put 2, b, -3 in descending order.
b, 2, -3
Let l = -23 - -23. Let z = 10 - 9.9. Sort z, l, -0.4 in increasing order.
-0.4, l, z
Let j(g) = g**2 - 3*g - 3. Let c be j(3). Let m be (-12)/(-8) + c/6. Put 4, m, -0.4 in increasing order.
-0.4, m, 4
Let j be ((-3)/(-2))/3*-2. Suppose -5*g - 15 = -4*t - t, -5*g + 3*t - 17 = 0. Put g, j, 2 in decreasing order.
2, j, g
Let z = 0.64 - 0.74. Sort -2/5, z, -1/8, 4.
-2/5, -1/8, z, 4
Let t(v) = 2*v + 1. Let c be t(-2). Let j = 15 + -10. Sort c, j, 2.
c, 2, j
Let d(y) = -y - 2. Let r be 7*(1 + -3)/2. Let m be d(r). Sort 2, -3, m.
-3, 2, m
Let w = -70.1 - -70. Let c = -6 + 6.4. Let d = c + w. Sort d, -5, 4 in increasing order.
-5, d, 4
Let u be (5/(-1))/(0 - -1). Let r = 4 - 4. Put u, 5, r in decreasing order.
5, r, u
Let y(d) = 2*d**2 + 2*d. Let z be y(-2). Sort -0.5, z, 5 in ascending order.
-0.5, z, 5
Let b = -6.8 - 7. Let t = 14 + b. Put t, 4, -1/3 in descending order.
4, t, -1/3
Let x = -6 - -3. Suppose 1 = 2*f + 3. Suppose 0*d = -d - 5. Put x, d, f in decreasing order.
f, x, d
Let x be (-30)/(-50) + 23/(-30). Sort x, 4/5, -1/2.
-1/2, x, 4/5
Let b = 5 + -5.05. Let x = 0.95 - b. Put -1, x, 0.3 in increasing order.
-1, 0.3, x
Let n(j) = j + 6. Let t be n(-6). Suppose t = r - 0*r + 2. Let d = -22 + 17. Sort d, r, -0.2 in increasing order.
d, r, -0.2
Let s(f) = 3*f**2 - 2*f - 3. Let o be s(-1). Sort -5, o, -4.
-5, -4, o
Let s = 10/399 + -2032/6783. Let t = s - 1/17. Sort -2/7, -0.2, t.
t, -2/7, -0.2
Let s = 3 + -6. Let h = s - -3. Put h, 0.3, 0.1 in ascending order.
h, 0.1, 0.3
Let x = 54 + -54.01. Sort x, 3, 1 in increasing order.
x, 1, 3
Let n = 10.88 + 0.12. Let q = n + -13. Put 1, 2, q in increasing order.
q, 1, 2
Suppose 6 = -m + 5*m + 2*g, 0 = m - g. Sort -1, -4, m in descending order.
m, -1, -4
Let p(d) = d**3 + d - 5. Let f be (-2 - 1) + 1 - -2. Let v be p(f). Suppose 3*q = -i, 4*q - 3*i = -0*i. Put -3, q, v in ascending order.
v, -3, q
Suppose 0 = a - 1 - 2. Let d be a + 0 + (-2 - 0). Put d, -1, -3 in decreasing order.
d, -1, -3
Suppose 2*y = 12 + 8. Suppose -y = -2*x - 3*x. Let d be (5/(-3))/(-5)*0. Put d, x, 5 in decreasing order.
5, x, d
Suppose -2*b + 13 = 3. Let g be (3*(-3)/(-18))/(-1). Let h be 4/14 + (-16)/154. Put h, g, b in increasing order.
g, h, b
Let g be 3*6*(-4)/18. Suppose 5*o = 3*o + 2*v + 8, -o = -3*v - 4. Sort g, o, -1 in increasing order.
g, -1, o
Let r = -69/7 + 10. Let u = -3.02 - -0.02. Let v = -3 - u. Sort v, -1, r in ascending order.
-1, v, r
Let d(m) = m**2 - 9*m + 11. Let r be d(8). Let s be r*1 + 1 + 4. Put s, -1, 1 in decreasing order.
s, 1, -1
Let k = -0.52 - -0.12. Put -0.5, 0.1, k in descending order.
0.1, k, -0.5
Let x = 198.1 + -198. Suppose 2 = -5*a + 4*a. Sort -1, x, a.
a, -1, x
Let o(d) = 8*d - 34. Let a be o(4). Put a, -3, -5 in decreasing order.
a, -3, -5
Suppose -3*r - 13 = -2*b, -4*r = 6 + 14. Sort -0.1, b, 9 in increasing order.
b, -0.1, 9
Let d = 46 - 36. Put d, -2, 5 in ascending order.
-2, 5, d
Let i = 59 + -58. Sort -2, -3, i, 5 in increasing order.
-3, -2, i, 5
Let x = -0.84 + 1.54. Let p = -0.68 + -0.02. Let u = x + p. Sort u, 0.5, 1/3 in increasing order.
u, 1/3, 0.5
Suppose i + q - 15 - 1 = 0, -q = -4. Let s = -10 + i. Sort -3, 3, s.
-3, s, 3
Let j be (-207)/(-23)*((-1)/(-6) + 0). Sort 0.08, -4/5, j, 1 in descending order.
j, 1, 0.08, -4/5
Let t be (-6)/4*14/(-21). Suppose -2 - t = n. Sort n, 0.1, -5 in descending order.
0.1, n, -5
Let l = 16.9 + -16. Let d = 1 - 0.9. Let h = d + l. Sort -4, 0.5, h.
-4, 0.5, h
Suppose 0 = -5*t - 1 + 11. Suppose 0*o - 6*o = -24. Suppose 3*w + o = 7. Sort 5, t, w in decreasing order.
5, t, w
Let y(j) = 30*j - 30. Let m be y(1). Let x be 1/(-2) - 2/4. Suppose -4*d = 3*w - 10 - 3, -5*w = -4*d - 11. Sort m, x, d.
x, m, d
Let n = -65 - -60. Let g be (-6)/14 + (2 - 2). Let u = 13 + -40/3. Put n, u, g in increasing order.
n, g, u
Let v = 0.6 + -0.5. Let s(x) = x**3 - 6*x**2 + 2*x - 6. Let l be s(6). Let t be (4/114)/(2/l). Put v, 0, t in increasing order.
0, v, t
Let d = -1.7 + 0.7. Sort -0.5, d, -5 in descending order.
-0.5, d, -5
Let b = 0.044 - -0.056. Sort -8, b, 0.4, -0.1.
-8, -0.1, b, 0.4
Let y be 1 + 16/(-14) + 3/(-28). Sort 1/3, -2/9, y in decreasing order.
1/3, -2/9, y
Suppose 3*t - 4*t = -4. Let a = t + -2. Put a, 2/9, -0.2 in decreasing order.
a, 2/9, -0.2
Suppose -2*b = g - 1, 10*g - 5*g - 2*b + 7 = 0. Put g, -11, 0 in descending order.
0, g, -11
Suppose 4 = d - 0. Let p = 1 + d. Sort 0, p, 4 in descending order.
p, 4, 0
Let m(i) = i**2 + 8*i + 9. Suppose 2*p + 15 = 1. Let s be m(p). Suppose s = 2*w - 0. Put 3, w, 5 in increasing order.
w, 3, 5
Suppose 0 = 4*j - 6*j + 2. Let b be (-54)/15 + 2/(-5). Put j, b, -2 in decreasing order.
j, -2, b
Let m be ((-20)/65)/(4/2). Sort -1/11, m, -4 in ascending order.
-4, m, -1/11
Suppose 0*b = -u + 3*b - 12, 0 = 3*b - 12. Let g be 3/1 +