der.
0.5, z, b
Let y be (-9 + (-160)/(-24))*3. Put -2, 4, -4, y in decreasing order.
4, -2, -4, y
Let p be (1 - (-4)/(-2))/(2/2). Let n be 2/(-15) - 285/(-450). Sort -0.19, n, p.
p, -0.19, n
Let a be 95/(-35)*2/(-1). Put a, 1/3, 2/7 in descending order.
a, 1/3, 2/7
Suppose 58*k = -277 - 187. Sort 0, 2, k, -27 in increasing order.
-27, k, 0, 2
Let d = -0.125 + 0.235. Sort d, 0.2, -2, -4 in descending order.
0.2, d, -2, -4
Let m = -2 - -2. Let t be (6/(-24))/((-39)/(-84)). Let l = -37/117 - t. Put l, 2, m in ascending order.
m, l, 2
Let l be (-8 - 0/1) + -215 + -5. Put l, 1, -4 in descending order.
1, -4, l
Let z = -116 + 1043/9. Suppose 3*i + 14 = -4*i. Sort z, i, 0.5 in descending order.
0.5, z, i
Let x = 0.1 + 2.9. Let v = x - 1.9. Let l = -1 + v. Put -0.1, -1/3, l in descending order.
l, -0.1, -1/3
Let x = 0 + -3. Let c = -2.197 - -1.997. Sort x, 1.7, c in decreasing order.
1.7, c, x
Suppose 3*r - 5 = 4*f, 5*f - 7*f - 20 = 2*r. Put 3, f, -1 in descending order.
3, -1, f
Suppose 4*t + 6 = 6. Let u be (-4)/((-20)/3) + (-42)/(-30). Put u, t, 7, 1/2 in increasing order.
t, 1/2, u, 7
Let u be -2 - ((-23 - -30) + (-6 - -1)). Put u, 2, -1, -3 in descending order.
2, -1, -3, u
Let g = 112 + -110.9. Put -0.5, -0.4, g, -0.3 in decreasing order.
g, -0.3, -0.4, -0.5
Let b = 53 - 55. Let r = 4.5 - -0.5. Let j = 3 - 4. Sort b, r, j in descending order.
r, j, b
Let o be (-1)/(-3)*(-1 - -6)*-1. Sort -0.08, 4, o, -3/5 in decreasing order.
4, -0.08, -3/5, o
Let o be (-8 - (-209)/22)*(-2)/3. Put -2, -4, 3, o in descending order.
3, o, -2, -4
Let q(w) = 2*w**3 + 19*w**2 - 8*w - 23. Suppose 24 = -3*s - s. Let p(o) = -o**3 - 9*o**2 + 4*o + 11. Let n(v) = s*q(v) - 13*p(v). Let b be n(-4). Sort b, -3, 3.
b, -3, 3
Let t = 0.26 - 33.26. Let g = -35 - t. Put 5, g, -3/4 in ascending order.
g, -3/4, 5
Let l(t) = t + 12. Let q be l(-14). Suppose 2*b = -3*b + 15. Let h = b + 0. Sort h, 4, q in ascending order.
q, h, 4
Let l = -2231/5 - -446. Sort -28, l, 0.2.
-28, l, 0.2
Let h be ((-12)/9)/((-4 + 12)/(-24)). Put -1, h, -40 in decreasing order.
h, -1, -40
Suppose 6*i = 3*i - 15. Let o = 2 + i. Let m(d) = d**3 + 8*d**2 - 11*d - 9. Let u be m(-9). Put o, 4/7, u in decreasing order.
u, 4/7, o
Let y be 2/4 - 1751/(-10). Let r = y + -175. Let p = -385/148 + 124/37. Put p, r, -2/5 in decreasing order.
p, r, -2/5
Let b = -7698/11 - -700. Suppose 2*d - 4 - 24 = 0. Let j = d + -9. Sort b, j, 0.1 in decreasing order.
j, b, 0.1
Let v be (8 + (-136)/16)*(10 - 2). Sort -1, 24, 1, v in decreasing order.
24, 1, -1, v
Suppose -2*a - 2*p = -264, -3*a - a = -2*p - 552. Let v = -541/4 + a. Let r = 2 - 1.9. Put -1/4, v, r in descending order.
v, r, -1/4
Let x = -64 - -72. Suppose -2*d - x = 2*d. Sort 2, -21, d in ascending order.
-21, d, 2
Let p = 0.04 - -0.16. Let m be 21/15 + 1*(-1 - 0). Sort 4, m, p in descending order.
4, m, p
Let i = 0.082 + -0.182. Sort 0.1, -2, 0.04, i in increasing order.
-2, i, 0.04, 0.1
Suppose -37 = -3*x - 0*x - v, -3*v = -3*x + 33. Let q be 9/x*(-4)/(-30). Let t = -0.2809 + -0.1191. Put t, q, 4 in increasing order.
t, q, 4
Let l(w) = w**3 - 9*w**2 + 26*w - 4. Let c be l(4). Sort -3/5, -5, c in decreasing order.
c, -3/5, -5
Suppose -n - 38 = -5*y, -4*y = -3*n + 6 - 76. Let q = 3 + 0. Sort n, 5, q in decreasing order.
5, q, n
Suppose 3*q = 4*g - 27, 6*q - 40 = -5*g + 11*q. Sort 6, -1, 5, g in descending order.
6, 5, g, -1
Let v = -284 + 288. Sort -15, -3, v.
-15, -3, v
Let j(g) = g**2 - 5*g + 5. Let d be j(3). Put -1/2, d, 0.1 in increasing order.
d, -1/2, 0.1
Let o = 185 - 185.77. Let v = o - 11.23. Let h be (-15)/(-22) + 2/(-4). Put -0.3, h, v in decreasing order.
h, -0.3, v
Let u = 0.156 - 0.1. Let n = 0.016 - u. Sort 1/7, -4, n, -1 in decreasing order.
1/7, n, -1, -4
Suppose -12 - 3 = -3*a. Let d = 2 - 0. Suppose d*v - 1 = 5. Sort a, 4, v in ascending order.
v, 4, a
Let v = 46 + -52. Let o be v/45*(2/2 - -9). Put o, -8, 1 in decreasing order.
1, o, -8
Suppose 20 = -4*i - 4. Suppose 3*x - 2*p - 8 = 0, 3*x - 4*p = -4 + 20. Sort x, 5, i in ascending order.
i, x, 5
Let n = -541/11 - -49. Let l = -321 + 322. Sort 0.1, n, l in increasing order.
n, 0.1, l
Suppose -8*q + 3 = u - 9*q, 5*q = 2*u. Put -2, u, -3/2, -0.3 in ascending order.
-2, -3/2, -0.3, u
Let m be (40/(-25))/((-44)/10 - -4). Put m, -3, -2, -31 in increasing order.
-31, -3, -2, m
Let l be 0/(-4 - (-8 + 3)). Put -4, 12, l in descending order.
12, l, -4
Let m = -984 - -986. Sort 6, 7/2, m in decreasing order.
6, 7/2, m
Let v be 5 - (3 + -4 + 0). Suppose 2*z = 4*z + v, -2*z = -2*u + 14. Sort 0.5, 0.3, u, 1.
0.3, 0.5, 1, u
Let r = 2.14 - 0.14. Put 0.2, -2, r, -4/3 in descending order.
r, 0.2, -4/3, -2
Let y = -1619 - -1625. Sort -43, y, -5 in decreasing order.
y, -5, -43
Let r = -3.61 - -1.61. Suppose -5*f + 4*i = -4*f - 4, 4*i + 52 = -5*f. Let h be -1*(-1)/f*2. Sort h, r, 2/13 in descending order.
2/13, h, r
Let d be (-11)/(-30) + 5/(-10). Let g(m) = 2*m**2 - 7*m + 10. Let p be g(2). Put p, -0.2, -4, d in ascending order.
-4, -0.2, d, p
Let l = 13 + -11. Suppose -h + 12 = h. Suppose 4*m - h = 10. Put m, -1, l in descending order.
m, l, -1
Let p = -9.7 + 49.7. Let y = -39.5 + p. Sort y, 1/3, 7, -0.5 in descending order.
7, y, 1/3, -0.5
Let t(n) = -n**3 + 10*n**2 + 2. Let d be t(10). Let w(l) = -l**2 - 2*l - 1. Let k be w(-3). Let b = d + k. Sort 4, b, -1 in increasing order.
b, -1, 4
Let o = 479 + -483. Sort -43, -1, -5, o in decreasing order.
-1, o, -5, -43
Let s = -396/8357 + 2/137. Let i = s + -53/244. Let f = -75/2 + 519/14. Put i, 4, f in decreasing order.
4, i, f
Let w = -744 + 741. Let x be -1 + ((-21)/(-10) - 1). Sort -4, 2, x, w in increasing order.
-4, w, x, 2
Let t = 1202 - 1202. Put -1/3, 63, t in decreasing order.
63, t, -1/3
Suppose 3*v = 5*v + 1474. Let m be -3 + (-4332)/v + -3. Let c = m + -4/67. Put -0.3, c, 0.3 in decreasing order.
0.3, c, -0.3
Let n = 4/31 - 82/155. Put -0.07, n, 2/3, 3 in increasing order.
n, -0.07, 2/3, 3
Let s be (-4)/(-18) + (-2)/9. Sort -6, s, -5.
-6, -5, s
Let c = 0.5922 - 0.4722. Let x = -3 + 3.3. Put -1, c, x in increasing order.
-1, c, x
Suppose 2*p = 4*p - 2. Let k be (-30)/20 - (7/(-2))/p. Sort k, -14, 3.
-14, k, 3
Suppose -3*p + 1 = -4*n, 4*n + 31 - 25 = -2*p. Let h(y) = 2*y**2 + 7*y + 4. Let k be h(-4). Suppose 0 = s - 3*s + k. Sort p, s, -5.
-5, p, s
Suppose 4*g - 3*s + 2*s - 9 = 0, -5*g + s = -11. Sort 3, -4, -2, g.
-4, -2, g, 3
Let b = -3 + 1. Let f = -32 - -33. Sort f, b, 12.
b, f, 12
Let q = -1179 + 1058. Put -4/5, q, -0.5, -3 in descending order.
-0.5, -4/5, -3, q
Let m be (-88)/99 + (-2)/6 + 1. Sort m, 0, 5/6, -0.5 in descending order.
5/6, 0, m, -0.5
Let s = 24 + -21. Suppose s = 2*f - f. Suppose n - 7*j = -2*j - 5, j - 15 = f*n. Sort n, -2/3, 1/15 in descending order.
1/15, -2/3, n
Let k = -0.1 + 0.6. Let v = -871 - -870. Suppose -b = 5*t - 2*t - 11, 22 = t + 4*b. Sort t, k, v in decreasing order.
t, k, v
Let c = -242 + 241. Put -3, -4, c, 4 in decreasing order.
4, c, -3, -4
Let k be (-12)/(-8)*-1 - 273/6. Let y = 50 + k. Let q = -4 + 3. Sort y, 1, q in increasing order.
q, 1, y
Let y = 558 + -2788/5. Let z = 6 - 5.7. Sort 5, z, y, -4 in descending order.
5, y, z, -4
Let y = 218 - 433/2. Put 4, y, -4, 0 in ascending order.
-4, 0, y, 4
Let i(r) = r**3 - 37*r**2 + 38*r - 81. Let s be i(36). Sort -5, s, -2, 1 in descending order.
1, -2, -5, s
Let x(w) = w**3 - 10*w**2 + 8*w + 11. Let y be x(9). Let m(u) = -2*u + 12. Let h be m(6). Sort -5, y, h in ascending order.
-5, h, y
Let o = -17 + 26. Let l = o - 12. Let y = -0.03 - -0.1. Put y, l, 0.1 in descending order.
0.1, y, l
Let o be (3/(-2))/((-3)/6). Suppose -3*p + 7 = 19, p - 4 = -2*c. Sort o, 5, c.
o, c, 5
Let j be (1/(-1))/(2/(-10)). Suppose 0 = j*q + 5*t + 20, -6*t - 12 = 2*q - 2*t. Let g = -2 + 6. Put q, g, -4 in descending order.
g, q, -4
Suppose 0 = 2*x + 2*c - 12, 0 = 2*x + 3*c - 3 - 6. Put x, 1, 0, 2 in decreasing order.
x, 2, 1, 0
Let w = -0.05 + 2.05. Let k(c) = -28*c + 14*c - 5 + 15*c. Let l be k(1). Sort w, -5, l in decreasing order.
w, l, -5
Let q = 0.15 - 1.15. Let o = q - -7. Let f = o + -6.3. Sort f, -1, 4.
-1, f, 4
Let x = 17/30 + -1/15. Let q(g) = g**3 + 8*g**2 - 47*g + 10. Let r be q(-12). Let i = 22/5 + -23/5. Put x, i, r in decreasing order.
x, i, r
Let c = -1953 - -1955. Sort c, 