.9
Let h = -57 + 29. Let r = h - -25. Sort -2, 5, r.
r, -2, 5
Suppose 0*r + 4*r + 20 = 0. Let b = 1 + -2. Let f be 0/(2 - 1 - b). Sort f, r, -1 in ascending order.
r, -1, f
Let f = 30 - 28. Put 1, -1/3, f, 0 in increasing order.
-1/3, 0, 1, f
Let c = 1/23 - 27/92. Sort -22, c, 1/9.
-22, c, 1/9
Let x be (6 - (1 + 0)) + -1. Let t = 4 - 8. Let h = -6 - -11. Put h, x, t in decreasing order.
h, x, t
Suppose 2 = -i, -m - i = i - 5. Let b = -6 + m. Sort b, 2, 5 in descending order.
5, b, 2
Let z = 5 + -6. Suppose 2*m = 3*i - 2, 0 = -i + 2*m + 2. Sort i, z, -4 in decreasing order.
i, z, -4
Let f = -7.7 + 8. Let h = 4.3 - f. Let x = -1.9 + 2. Put -2/3, h, x in decreasing order.
h, x, -2/3
Suppose -3*f = 1 - 7. Sort -0.02, 6/11, f in decreasing order.
f, 6/11, -0.02
Let n = -0.13 + -0.03. Let y = n - -0.16. Sort 3, 0.3, y.
y, 0.3, 3
Suppose r - 4*r = 2*l + 2, 0 = 2*l + 8. Sort -2, r, 1 in descending order.
r, 1, -2
Let k(j) = -2*j - 4. Let m be k(-3). Let x(n) = n + 14. Let z be x(-11). Sort m, 5, z in descending order.
5, z, m
Suppose 2*d - 10 = -c - c, 2*d + c - 10 = 0. Suppose -d*y - 3 = -4*y. Put 4, y, -4 in decreasing order.
4, y, -4
Let q = -10 - -16. Let p be (1/2)/(3/q). Let z be 3*(10/18 - p). Sort 0.3, 4, z.
z, 0.3, 4
Let b = 227/4 - 2059/36. Let a = -2.9 - -3. Let x be (1 - -1)*(-10)/(-20). Sort b, a, x in decreasing order.
x, a, b
Suppose 0 = -6*i - 20 - 10. Sort i, 5, 0 in descending order.
5, 0, i
Suppose 2*l - 284 = -2*l + 4*n, 5*l - 4*n = 353. Suppose 5*s - l = 2*q, 3*s + 3*q = -q + 57. Let o be (-4)/22 - s/(-22). Sort -0.3, 5, o in increasing order.
-0.3, o, 5
Let s(a) = 206*a - 1. Let p be s(1). Let o be 1/2 - p/(-190). Let z = -172/133 + o. Put -0.4, z, 1 in decreasing order.
1, z, -0.4
Let n be 22/6 - 2/3. Suppose -g - 8 = -n*g. Put g, 1, 2/13 in descending order.
g, 1, 2/13
Let t(j) = 3*j - 28. Let b be t(9). Put 1/5, -11/5, b in ascending order.
-11/5, b, 1/5
Let p = -23 + 91/4. Put -1, 3, p in ascending order.
-1, p, 3
Let h(m) = m**2 + 5*m + 5. Let p be h(-5). Suppose -p*a + 2*c = c, a + c = 0. Put -3, a, -4 in decreasing order.
a, -3, -4
Let g = -1 + -26. Let j = -7 - g. Suppose 0*f - 2*n + 5 = f, 0 = -4*n + j. Sort 1, f, -2 in descending order.
1, -2, f
Let p = 11/5 - 38/15. Sort p, 5, 2 in decreasing order.
5, 2, p
Let n = 22.3 + -22. Let d = -1/42 + -23/210. Sort n, 2, d in decreasing order.
2, n, d
Let n(f) = -f - 8. Let l be n(-4). Let w be 0 + (-54)/(-14) + 14/98. Sort l, w, -3 in decreasing order.
w, -3, l
Let k be (3 + -13)/2*(-8)/20. Sort k, 6, -1, -5 in ascending order.
-5, -1, k, 6
Let d(j) = -3*j**3 - 2*j**2 + j. Let t be d(1). Let c = t + 3. Put 5, -5, c in decreasing order.
5, c, -5
Let j(z) = -z**2 + 29*z - 26. Let q be j(28). Let f be -5 - (-2 - (-1 - -1)). Sort q, f, -4.
-4, f, q
Let f = -21 - -21. Suppose 4*h = 4*c, -4*c = 3*h - 0*c - 14. Sort h, 5, f in ascending order.
f, h, 5
Let r be -2*(-3)/(-3)*2. Let w be (-2)/r*2/4. Let h be (-1 + 1 + -1)/4. Sort w, h, -2/9 in increasing order.
h, -2/9, w
Let u = -7 - -4. Let g = -1230 - -1229. Suppose -2*r = s, -3 = 3*r + 3. Sort u, s, g in descending order.
s, g, u
Let b = 9 - 8. Sort 0, b, -3 in descending order.
b, 0, -3
Let k(y) = 11*y**2 + 5*y + 3. Let t be k(-3). Let z = 171/2 - t. Suppose 6*g - g + 23 = -2*c, 5*g + 28 = 3*c. Sort g, z, 0.4.
g, z, 0.4
Let w = -131.98 - -132. Sort 2/5, -0.4, 0.3, w.
-0.4, w, 0.3, 2/5
Let o(y) = 3*y - 8. Let h be o(6). Suppose -6*r - h - 2 = 0. Put 4, r, -1 in ascending order.
r, -1, 4
Let m(c) = -c**2 - 9*c - 4. Let z be m(-6). Let y = z - 18. Sort 4, 2, y in increasing order.
y, 2, 4
Let m = 2.1 + -2. Suppose -11 - 5 = q. Let o be (3/(-10))/(12/q). Sort o, m, -1 in decreasing order.
o, m, -1
Let k = 63 - 62.6. Sort k, 2, 1/7, 5 in descending order.
5, 2, k, 1/7
Suppose 0 = -3*v - 9, -4*v - 11 = -3*u + 16. Suppose 0 = u*z - 10*z + 10. Put -1, z, -3 in decreasing order.
z, -1, -3
Let z = 7.2 + -7. Let w(h) = h - 1. Let q be w(5). Sort q, -5, z in decreasing order.
q, z, -5
Let w be (1 - -2)/((-6)/(-4)). Suppose 22 - 2 = u + 4*f, -5*f + 25 = 0. Suppose 2*o + o - 15 = 0. Put u, w, o in increasing order.
u, w, o
Let y = -2 + -3. Let q = y + 2. Let b = 2 + q. Sort b, -5, 4 in increasing order.
-5, b, 4
Let j = -0.39 - -0.48. Let q = -24.49 + 24. Let u = q + j. Sort u, -1/2, -2/7 in ascending order.
-1/2, u, -2/7
Let f(j) = j**2 + 2*j + 4. Let g be f(0). Put 2, g, -3 in ascending order.
-3, 2, g
Let f = -0.1 + -2.4. Let n = -6 + 6.5. Let u = f + n. Sort u, -1, 0.1 in ascending order.
u, -1, 0.1
Let k(v) = v + 7. Let f be k(0). Suppose -f*y = -2*y. Suppose -5*r - 27 + 2 = y, -29 = -4*b + 5*r. Sort b, 0, 4.
0, b, 4
Let p(l) = -l - 1. Let z be p(2). Let a(v) = -2*v + 12. Suppose -3*i - 7 = -31. Let c be a(i). Sort c, 4, z in descending order.
4, z, c
Suppose -2*a - 4 = 2*a. Let i = 0 - a. Sort -3, 2, i.
-3, i, 2
Let n = 3/22 + 4/11. Sort n, 2/15, -2 in ascending order.
-2, 2/15, n
Let c = 8 - -1. Let l = 9 - c. Suppose 5*f = -l*f - n - 19, 3*n + 24 = -4*f. Sort f, 0, -1.
f, -1, 0
Suppose 4*a - 3*c = 0, -3*a + c + 2 + 3 = 0. Sort 1, -4, 5, a.
-4, 1, a, 5
Let k(g) = -g**2 - 2*g. Let l be k(-2). Suppose l*f + 12 = 3*f. Suppose 4*c = 8*c + f. Sort 1, c, -0.3 in descending order.
1, -0.3, c
Let m(o) = o**2 + o - 2. Let z be m(-3). Suppose 6 = u - 0*u. Let l be (8/u)/(4/6). Sort z, l, 1 in descending order.
z, l, 1
Let n(w) = -5*w + 11. Let b be n(2). Let x = 0.2 - 0.7. Let y = -0.3 - x. Sort y, b, -3/5 in decreasing order.
b, y, -3/5
Suppose -3*n = 76 + 20. Sort 5, 0, n, 3 in descending order.
5, 3, 0, n
Let s = -41 + 42. Sort -2, s, 3 in ascending order.
-2, s, 3
Suppose 4 = -5*j - 16. Suppose 4*c + c + 3*v + 38 = 0, 5*c - 2*v + 33 = 0. Let m = c + 8. Sort 3, j, m.
j, m, 3
Let u = -86.5 + 86. Sort u, 0.09, -5, 1 in ascending order.
-5, u, 0.09, 1
Let o(r) = r + 2. Let a be o(3). Suppose 5*n - 9 - 1 = 0. Sort n, 4, a.
n, 4, a
Suppose -b - 2 = -6. Suppose 2 = -2*r + b. Let h = -1 + 1. Put h, r, 2 in descending order.
2, r, h
Let d be (-1 + 11)/(0 - -2). Let k = d - 3. Suppose -6 = -l - k*q, -l + 6*l = -4*q. Put l, 4, 5 in decreasing order.
5, 4, l
Let n be (5 - 0) + -6 + 4/10. Let y = 1 + -0.94. Sort -5, n, y in ascending order.
-5, n, y
Let u = -4 + 4. Put 7, -2/13, u in increasing order.
-2/13, u, 7
Suppose 5*m - 2*m = 30. Let i = m + -8. Put 3, i, -5 in ascending order.
-5, i, 3
Suppose 3*h - k = -15, 5*h + 25 = -k - 0. Suppose 8*w - 3*w + 10 = 0. Put w, h, 2 in descending order.
2, w, h
Let v(j) = 3 - 8 + 4*j + 6*j + j**3 - 10*j**2. Let y be v(9). Sort -5, y, 2 in decreasing order.
y, 2, -5
Suppose -6*r - 6*r + 9*r = 0. Sort r, -6, -1.
-6, -1, r
Suppose 2*z = -5*b, -4*z + 9*z + 3*b = 0. Let g be (-18)/(-8)*(-24)/(-18). Put z, -4, g in decreasing order.
g, z, -4
Suppose 2*n - 4*n = 0. Suppose 3*s + 11 + 4 = n. Sort 4, s, 3.
s, 3, 4
Let a = 4.3 - -0.7. Put 2/5, a, 1 in ascending order.
2/5, 1, a
Suppose 4*o + o - 360 = 0. Let u = -498/7 + o. Sort 0.5, -3, u in descending order.
u, 0.5, -3
Let j(k) = 3*k**3 + 2*k**2 - 1. Let h be j(-1). Put 5, -3, h, 2 in descending order.
5, 2, h, -3
Let s be -4 - (-4 + (4 - 1)). Sort s, 6, 0.
s, 0, 6
Let l = 19 + -18.9. Suppose -6 = -x + 3*z, 3*x = -0*x - 3*z - 18. Let y = -4 - x. Sort y, 3, l.
y, l, 3
Let q be (-2)/(-5) + 3/5. Let z be (-56)/30 + q - -1. Suppose 0*j - 2*j = -3*s, -3*s - 9 = j. Put -0.4, z, j in increasing order.
j, -0.4, z
Suppose 0 + 8 = 4*s. Suppose x - 2*r + 7 = -2*x, 4*x - s*r = -6. Sort -4, x, -3 in ascending order.
-4, -3, x
Let w be 0*1/(-2) - 0. Suppose w = -u + 3 + 1. Let m(k) = -k + 7. Let j be m(4). Sort j, u, -2/3 in ascending order.
-2/3, j, u
Let x = 3 + -5. Suppose 4*h - 16 = -0*h. Sort -3, h, x in decreasing order.
h, x, -3
Let g = 66.1 + -66. Sort 0, g, -0.5.
-0.5, 0, g
Let b = 1.2 - 1. Let m = -2.12 + 1.92. Put b, 3, m in ascending order.
m, b, 3
Let t = 7.4 - 7. Let f = t - 0.4. Put f, -3, -0.1 in decreasing order.
f, -0.1, -3
Let f be (-7)/(-2) + (-15)/5. Suppose 0*i = 4*i + 2*g + 8, g + 6 = -4*i. Let j be 4*i*2/(-12). Sort f, -0.4, j in decreasing order.
j, f, -0.4
Let b(p) be the first derivative of -p**3/3 + p**2/2 - 8*p - 7. Let x be b(0). Put x, -4, 2 in descending order.
2, -4, x
Let l(t) = 0 + t**2 + 4*t - 2 - 5. Let a be l(-6). Suppose -3*x = 4*r + x + 24, 5*