t y be (-112)/24 + 2/(-6). Sort x, 3, y in decreasing order.
3, x, y
Let d = -4.07 + 0.07. Let o = -0.002 + -1.998. Sort d, 1, o.
d, o, 1
Let d be 10/4 + (-3)/6. Let f be d/(-9) + (-6)/(-27). Let a(m) = m**2 + 5*m - 4. Let w be a(-5). Sort w, f, -3 in descending order.
f, -3, w
Let q = -3 - -2.5. Let d = 0.6 + -0.3. Let h = q + d. Sort 4, h, 5 in descending order.
5, 4, h
Suppose 2*c + 0*c + 4 = 0. Let u = -5 + 4. Sort c, u, -4 in ascending order.
-4, c, u
Let s(h) = -h**3 - 17*h**2 - 15*h + 9. Let f be s(-16). Put -3, f, 3 in decreasing order.
3, -3, f
Let o(g) = g**3 + 3*g**2 + 4*g + 2. Let d be o(-2). Let i(a) = -a - 2. Let u be i(d). Let b be -3 + u + -2 + 1. Sort 0, 0.4, b in ascending order.
b, 0, 0.4
Let x = 19.9 + -20. Put 1, x, -2/3 in decreasing order.
1, x, -2/3
Suppose l = 6*l + 20. Let h = 2 + -3. Sort l, -2, h.
l, -2, h
Let r(p) be the first derivative of -p**4/4 + 4*p**3/3 - p**2 + 5*p + 2. Let q be r(4). Let l = 29 + -27. Sort -2, q, l.
q, -2, l
Suppose 3*r - h + 1 = r, r = 3*h + 2. Let a(f) = f**3 - f**2 + f - 5. Let g be a(0). Suppose 4*z - 1 = -l, 0*z + l + 1 = -2*z. Sort z, r, g in ascending order.
g, r, z
Let j = -119/174 - -1/58. Put 0.5, j, -1 in descending order.
0.5, j, -1
Let b = -0.04 + 0.13. Let y = -0.29 + b. Sort y, 6, -3 in decreasing order.
6, y, -3
Let z = 16 + 4.5. Let v = 20 - z. Sort v, -0.1, -1 in decreasing order.
-0.1, v, -1
Let r = 10.11 - 0.11. Let z = 6 - r. Sort z, -0.1, -0.3 in increasing order.
z, -0.3, -0.1
Let q be 0 + -1 - (-8 - -2). Suppose 0 = 4*a - 4*b + 12, 2*a = -2*b - 0*b - 10. Put a, q, 0 in decreasing order.
q, 0, a
Let h(q) = 4*q + 1. Let d be h(1). Put -0.1, d, 0.1 in increasing order.
-0.1, 0.1, d
Let b = 6 + -4. Suppose -j - 4 + b = 0. Let w be (6*(-2)/(-3))/j. Put -4, -5, w in decreasing order.
w, -4, -5
Let w(r) = 2*r**2 + 2*r + 1. Let q be w(-2). Let t = 15 + -13. Sort 0, t, q in ascending order.
0, t, q
Let s = -2.7 - -2.83. Let t = -0.27 - s. Put t, -4, 1 in increasing order.
-4, t, 1
Let l = 11.1 - 12. Let j = 0.4 + l. Sort -1, j, -5/4 in descending order.
j, -1, -5/4
Suppose 15 = -3*d - 5*k, -3*d + 5*k = 4*k + 15. Put -1, d, -3 in ascending order.
d, -3, -1
Let m = 8 + -2. Put 1, m, 0 in decreasing order.
m, 1, 0
Let d = -2 + 4. Let w = 0.15 + -1.05. Let a = w + -3.1. Put -1/3, a, d in ascending order.
a, -1/3, d
Suppose -15 = -3*o - 0*o. Suppose l - 3*x + 6*x = -24, 0 = -o*l - 2*x - 55. Let s = l + 6. Put 0, -2, s in decreasing order.
0, -2, s
Let m = -0.08 - 0.42. Put 0.1, m, 13 in decreasing order.
13, 0.1, m
Let n = 0.64 - 0.44. Put -3/8, 0, n, 0.5 in descending order.
0.5, n, 0, -3/8
Let o(j) = -2*j**2 + 2. Let g be o(-1). Sort -2, g, -5 in increasing order.
-5, -2, g
Suppose -3*f + 0*h = -2*h + 120, 3*h - 9 = 0. Let k = -188/5 - f. Suppose -p - 2*p - 4*i = 9, p - 4 = i. Sort 2/7, p, k in increasing order.
2/7, k, p
Let m(a) = -3*a + 1. Let v be m(1). Sort -2/5, -1/3, v.
v, -2/5, -1/3
Suppose 3*g + 5*d - 15 - 10 = 0, 5*d = 2*g + 25. Let q(p) = 4*p**3 + 2*p**2 - 1. Let r be q(-1). Sort 4, g, r in decreasing order.
4, g, r
Let c = -86.92 - -84. Let w = c - 0.08. Let m = -502/3 - -166. Put w, -1/4, m in decreasing order.
-1/4, m, w
Let w = -205 - -201. Suppose 5*i - 5 - 15 = 0. Sort w, i, -2.
w, -2, i
Let o be (4/14)/(6/(-14)). Let j = -7 - -3. Sort -2/21, o, j in descending order.
-2/21, o, j
Let i = 0.12 - 0.42. Sort i, -2/19, -4.
-4, i, -2/19
Let j = 5 - -10. Let m = j + -23. Let r = m + 8. Sort 5, -3/5, r.
-3/5, r, 5
Suppose 8 = -4*y + 6*y. Sort y, -4, 2, 5 in decreasing order.
5, y, 2, -4
Let f(j) = j**2 - j - 7. Let x be f(0). Sort 4, x, -3, 3 in ascending order.
x, -3, 3, 4
Suppose 2*d = 4*d - 4. Sort -0.4, 8, d.
-0.4, d, 8
Let u be 45/(-6)*2/3. Sort -1, -0.5, u in ascending order.
u, -1, -0.5
Let g be (-1 - 0)/(6/(-30)). Put 3, g, 1 in decreasing order.
g, 3, 1
Let z = 6/193 - 440/1737. Let f be (-2)/8 - 5/12. Sort 5, z, f in descending order.
5, z, f
Let u be (3 - 2)/((-2)/(-10)). Suppose -u*w = -7 - 13. Let k = 0.6 + -1. Put k, 0.2, w in decreasing order.
w, 0.2, k
Let p = -6.4 + 6.9. Put 1/5, p, 2/5, -0.3 in decreasing order.
p, 2/5, 1/5, -0.3
Let u(q) = 7*q**3 - q**2 - q. Let x be u(-1). Let w be 23/x + (-2)/(-7). Put 1/3, -0.3, w in descending order.
1/3, -0.3, w
Let r be (-2)/4 - (-9)/36. Put -1/2, 4, r in decreasing order.
4, r, -1/2
Suppose 11 = 5*s - 4*w, 0*s = s + w + 5. Let p be -3 + s + (-42)/(-9). Put p, 2, 0.5 in ascending order.
0.5, p, 2
Let q = 4.7 + -0.7. Let y = q - 4.5. Let f be 0/(-4) - (-1)/2. Sort f, y, 2 in descending order.
2, f, y
Let v be (2 - -4)/(2 + 0). Suppose -v = h - 7. Suppose h*b + 8 + 8 = 0. Sort 5, 2, b in descending order.
5, 2, b
Suppose -7*s + 3*s + 4 = 0. Let m = -12.1 - -1.1. Let j = -16 - m. Put s, -0.1, j in increasing order.
j, -0.1, s
Let w = 0.3 + 3.7. Let o be 2/5 + 2/(-5). Let a = o + -1. Put a, 0.4, w in increasing order.
a, 0.4, w
Suppose 0 = d - 11 + 28. Let l = d + 17. Put 2, -5, l in ascending order.
-5, l, 2
Suppose 5*g - 5*w + 34 = -1, 0 = -5*w + 25. Sort 5, g, 2/7 in decreasing order.
5, 2/7, g
Let m be ((-2)/8)/((-2)/(-4)). Let j = -160 - -155. Sort 0.1, m, j.
j, m, 0.1
Let h be (4 + -9)*1*-1. Suppose 8 = 3*d + h. Sort d, 0.3, 2.
0.3, d, 2
Let p = 3 + -1. Suppose 0 = t + 3*i - 20 + p, 5*t + 5*i = 40. Let x = -1 - -0.6. Put -5, x, t in increasing order.
-5, x, t
Let j(v) = v + 6. Let r be j(-6). Let z = 11 + -6. Put z, r, 3 in ascending order.
r, 3, z
Let d = -4 + 7. Let s be (-2 + -1 + d)/(-1). Suppose s = -2*l + 4*l. Sort 0.5, -3, l in decreasing order.
0.5, l, -3
Let g(i) = i + 5. Let u be g(-6). Let w(t) = -2*t + 44. Let b be w(21). Sort -2, u, b in ascending order.
-2, u, b
Suppose 7*m + 15 = 4*m. Let f be -2 - -1 - (3 - 2). Sort m, 1, f in decreasing order.
1, f, m
Let q = 59.001 + -0.001. Put q, -3, -2, 3/5 in ascending order.
-3, -2, 3/5, q
Let l(a) = a**2 - 13*a + 10. Let f be l(12). Put -5, 1, f in descending order.
1, f, -5
Let p = 0 + 1. Suppose 5*o + 12 = -5*s - 3, -2*s + 3*o - p = 0. Let t = 24 + -24.2. Sort t, s, 0.4 in increasing order.
s, t, 0.4
Let d(v) = v - 16. Let g be d(11). Put -0.5, g, 0 in decreasing order.
0, -0.5, g
Let o(k) = k**2 - k - 10. Let x be o(-3). Put 0, 11, x, -4 in descending order.
11, x, 0, -4
Let o = -1 - 1. Let g be o*1/(1/(-1)). Suppose -g*n = n + 6. Sort n, 3, -3.
-3, n, 3
Suppose -3*h - 3*q + 18 = 0, -3*h - 4*q = -0*h - 17. Let r = -5 + h. Let g = 0 + -1. Sort g, 0, r in ascending order.
g, 0, r
Suppose -7*d = -2*d - 15. Suppose l + d = -2*l. Let i be 8/(-24)*(l + -5). Put i, 4, -1 in descending order.
4, i, -1
Let b be (((-18)/14)/(28/(-98)))/6. Let t(q) = -q - 7. Let u be t(-5). Sort b, -0.4, u.
u, -0.4, b
Let f = 6 + -10. Let m = -2 - -1. Let o = -1 - m. Sort 5, f, o in decreasing order.
5, o, f
Let m be (-19)/4 - 9/(-12). Sort m, 2, 5.
m, 2, 5
Let y = -16/15 - -2/3. Let x(b) = -b + 5. Let u be x(0). Sort y, 5/4, u in increasing order.
y, 5/4, u
Let g = 195 - 191. Sort 0.5, 2/5, g in descending order.
g, 0.5, 2/5
Let l = 8.09 + -0.09. Let a = 7.5 - l. Let m = 3.1 + -3. Sort m, a, -0.1 in descending order.
m, -0.1, a
Let v = 1 + -0.94. Let g = 10.86 - 10.8. Let x = v - g. Sort x, 0.3, -0.2 in decreasing order.
0.3, x, -0.2
Suppose -4*l = -0*l - 3*m - 7, -2*m - 10 = 0. Let a(d) = -d**3 + d**2. Let w be a(2). Let x = -5 - w. Put -5, x, l in increasing order.
-5, l, x
Suppose 3*f - 5*f - 4 = j, 4*j - 23 = 5*f. Put j, 5, -5 in decreasing order.
5, j, -5
Let p = -0.84 + 0.84. Sort -0.15, 5, -0.2, p in ascending order.
-0.2, -0.15, p, 5
Let c = -43 + 383/9. Let b = -0.1 - -0.2. Let y(r) = -2*r**2 + 3*r - 1. Let k be y(2). Sort c, k, b in ascending order.
k, c, b
Suppose -5*c = -3*g - 2*g - 15, 5*c = 2*g + 30. Suppose -2*y - 2*y = -c. Suppose r + 2 = -5*z - y*r, -4*z - 7 = -3*r. Put -4, z, 4 in increasing order.
-4, z, 4
Let u be 5/(-8) + (-2)/(-2). Suppose 0 = 4*l + 2 - 22. Put u, l, 0.4 in decreasing order.
l, 0.4, u
Let g = -12 - -8. Let x(v) = v + 5. Let b be x(-2). Put g, 4, b in ascending order.
g, b, 4
Let q = -94 - -662/7. Put -0.66, 5, q, 3 in ascending order.
-0.66, q, 3, 5
Let q = 6.4 + -4.4. Sort 6, 0.5, -0.5, q in increasing order.
-0.5, 0.5, q, 6
Let o = 16 + -17. Let w be ((48/4)/(-3))/o. Let s(d) = d + 4. Let j be s(-6). Put 3, w, j in decreasing orde