der.
2, h, -2
Let c be ((-77)/154)/((-1)/2). Put c, -68, -5, -2 in decreasing order.
c, -2, -5, -68
Let x(w) = w**3 + 8*w**2 - w - 6. Let u be x(-8). Suppose a = 5*s + 27, -3*a + u*a = 3*s + 13. Let t = 10 + -1. Put t, 5, a in decreasing order.
t, 5, a
Let d(p) = p**3 + 9*p**2 + 9*p + 7. Let i be d(-8). Suppose -9 = -q - 4. Let f be -3 - (-7 - 16/(-2)). Sort i, f, q in decreasing order.
q, i, f
Suppose 136*u - 800 = 131*u. Put -3, -0.1, u in descending order.
u, -0.1, -3
Suppose 35*n + 22*n = 855. Sort 5, 0, n, 2 in increasing order.
0, 2, 5, n
Suppose 12 = -3*w, -3*l = 4*w - 17 - 24. Suppose -5*o - 24 = -4*g, 5*g - l = 4*o + 2*g. Sort 0.5, 1, o in ascending order.
o, 0.5, 1
Let b = 3 - 2.5. Let h = -4.1 - -20.1. Let w = -16.4 + h. Sort w, 3/2, b in increasing order.
w, b, 3/2
Let p(j) = -j**2 + 6*j + 3. Let r be p(7). Let k(l) = -l**3 + 25*l**2 - 3*l + 76. Let b be k(25). Put r, -1, -6, b in descending order.
b, -1, r, -6
Let q be 6/(35/20*24/(-28)). Put 2, q, -0.02 in decreasing order.
2, -0.02, q
Suppose 0 = -11*r + 74*r - 10962. Sort 4, -4, r in decreasing order.
r, 4, -4
Let t = -0.08 - 4.72. Let b = t - -4.6. Put 5, -0.4, 1/5, b in decreasing order.
5, 1/5, b, -0.4
Let a(w) = w**2 + 54*w + 155. Let r be a(-51). Sort 1, r, -2, 0 in ascending order.
-2, 0, 1, r
Suppose 7*x + 63 = 98. Suppose 9*i = 5 + 31. Sort x, i, 3 in decreasing order.
x, i, 3
Let o = -8.76 - -10.76. Sort o, 12, -1, 3 in ascending order.
-1, o, 3, 12
Let t = 13 + 1. Suppose 0 = -5*z + 4 - t. Let k be (-5)/((-20)/(-12)) + z. Sort k, 0.5, -0.2.
k, -0.2, 0.5
Let z be ((-14)/4 - -4)*0. Suppose -5*o + 21 = 2*g, -o = -0*o + 4*g + 3. Sort 4, z, o.
z, 4, o
Suppose b = -88 + 67. Sort b, -2, -9 in descending order.
-2, -9, b
Suppose 210*l - 26 = 209*l. Sort -4/5, l, 5 in ascending order.
-4/5, 5, l
Let v(k) = k**3 + 11*k**2 - 11*k - 30. Let y be v(-12). Put -5, y, -1, 4 in descending order.
4, -1, -5, y
Let u = 5603/4 - 1400. Sort 0.2, u, 1/3.
0.2, 1/3, u
Let l = -273.1 + 273. Put -36, 1, l in descending order.
1, l, -36
Let h be 0*(-2)/(-4) - 4. Suppose -72*r + 216 = -72. Sort 2, -2, r, h.
h, -2, 2, r
Let v be -10*(4 - (-3)/(-2)). Put 0.5, v, 4, -3 in increasing order.
v, -3, 0.5, 4
Suppose 3*y - 92 = -20*y. Put -2, -3, y, 9 in ascending order.
-3, -2, y, 9
Suppose -2*d - 14 = -5*s, -2*s + 5*d - 47 + 40 = 0. Put -5, s, -47 in descending order.
s, -5, -47
Let j = 995 - 979. Put -0.3, j, -1 in ascending order.
-1, -0.3, j
Suppose b + 63 = 3*q, -4*b + 78 = 4*q - q. Suppose r + q = -0*r. Let k = r - -109/5. Put 5, -2, k in decreasing order.
5, k, -2
Suppose -3*f = -6*f + 120. Suppose 3 + 3 = 3*z. Suppose i + 2*y - 4*y = -16, 4*i - z*y = -f. Put i, 4, -2 in descending order.
4, -2, i
Let o(j) = 6*j - 140. Let p be o(22). Sort -2, p, 0, 1 in descending order.
1, 0, -2, p
Let x = -20 + 20. Put 9, -3, 8, x in descending order.
9, 8, x, -3
Let d = -310.5 + 311. Sort -3, 1/6, d in descending order.
d, 1/6, -3
Let a = 107 - 119. Put 5, 2, a in decreasing order.
5, 2, a
Let h = 22.5 + -25.5. Sort -2, 3, h in decreasing order.
3, -2, h
Let o = -7 + 0. Suppose 5*r + 5*z - 19 = 2*r, -5*r - 2*z + 19 = 0. Suppose 6 = 5*m - r*m. Put m, o, 1 in decreasing order.
m, 1, o
Let k = -0.459 + -32.841. Let q = 33 + k. Put 0, 1/7, q in increasing order.
q, 0, 1/7
Let i = -323 - -320. Sort i, 4, 54 in descending order.
54, 4, i
Let b = -103 - -107. Sort 1, 6, -5, b in descending order.
6, b, 1, -5
Suppose 0 = 2*v - z - 18, -z - 14 = -v - 5. Let w be (-4 + 33/v)/((-4)/6). Sort w, -2/11, -0.3 in decreasing order.
w, -2/11, -0.3
Let l = -1 + 2. Let g = 9499 + -9540. Sort 3, g, l, 2.
g, l, 2, 3
Let h = -1453/8 + 363/2. Sort h, -320, -0.4, -1/4 in decreasing order.
h, -1/4, -0.4, -320
Let v = -693 + 692.9. Sort v, -8, -13/2, 0 in decreasing order.
0, v, -13/2, -8
Let i be (2 - 0) + (-1)/2. Let v = 3474/7 + -903023/1820. Let g = v - 1/52. Put i, g, 1/4 in decreasing order.
i, 1/4, g
Let o(u) = -u**3 - 39*u**2 + 3. Let g be o(-39). Let c = -9 - -14. Suppose -5*j + 8*x - 40 = 3*x, 0 = 5*j - x + 24. Sort j, c, g in increasing order.
j, g, c
Let r = -0.5227 + 0.1227. Put 0, r, 3, 19.6 in descending order.
19.6, 3, 0, r
Let t = -48 - -44. Let m(n) = -n + 1. Let h be m(3). Let p be (h/(-2))/1*-1. Put p, t, 3 in decreasing order.
3, p, t
Let y be (-3 - -6)/(-1) - -14. Let u(f) = f**2 - 10*f - 12. Let m be u(y). Let i be 19/(-6) - 3/m. Sort -0.1, -2/3, i.
-2/3, i, -0.1
Let d = -50 - -50.4. Let v = -22 - -27. Sort v, d, -2/23 in ascending order.
-2/23, d, v
Let f be (0/(-2))/(1 - -1). Suppose -12*h - 661 = -529. Put h, f, 5 in descending order.
5, f, h
Let c be (5 - 3)/(4/20). Let f = -4 + -2. Let a = 10 + f. Sort a, -5, c.
-5, a, c
Let r = 774 + -3871/5. Put 0.2, 0, r in increasing order.
r, 0, 0.2
Let h be 6*-1*4/(-6). Let m be 6/9 - (-8)/(-12). Sort 2, h, m in descending order.
h, 2, m
Let f(n) = n**3 - 5*n**2 + 2*n + 8. Let v be f(4). Suppose 0 = 2*s - 6 - v. Let x = 0 - -1. Sort -5, s, x in descending order.
s, x, -5
Let r = 154 - 159. Sort r, 5, -2/401 in decreasing order.
5, -2/401, r
Let c = 0.27 - 3.27. Let m be ((-3)/(-4) + -1)/(-4 + 5). Sort m, -1, c, 1/2 in increasing order.
c, -1, m, 1/2
Let c = 8.71 - 9.11. Put 2, 0.13, c, 1/4 in decreasing order.
2, 1/4, 0.13, c
Let k = 5 - 5.36. Let c = k - -18.36. Let f = c + -16. Sort -2/3, 1/5, f.
-2/3, 1/5, f
Suppose 0 = 11*l - 20*l + 27. Put -7, l, 7 in ascending order.
-7, l, 7
Let n be 3 + (4 - 6/(-24) - 7). Let x = -0.7 - -1.2. Sort n, x, -8.
-8, n, x
Suppose 50 = 6*m - m. Suppose 6*y = -5*p + 3*y, 0 = -4*p - 5*y. Put -5, m, p in descending order.
m, p, -5
Suppose -13*d - 133 = 413. Put d, -0.1, -1, -4 in descending order.
-0.1, -1, -4, d
Let g = 0.1096 - 2.1096. Sort 4, g, -5, 8 in increasing order.
-5, g, 4, 8
Let w be (-3)/(-6)*6 + 1. Let l = w - -1. Let p = -52.4 - -55.4. Sort p, l, 2 in ascending order.
2, p, l
Let p = 177 - 175. Put -1, p, 15 in descending order.
15, p, -1
Let x = -7 + -6. Let u be 4/(-16) - x/4. Let q(s) = -s**2 + 7*s + 20. Let p be q(9). Sort u, p, -1 in increasing order.
-1, p, u
Let a be 6/(-20)*58/(-3). Let p = 101/20 - a. Let t = -2 + 2. Sort t, p, 5 in decreasing order.
5, t, p
Let z = -2.667 + 7.667. Sort z, -0.1, -3, -1.2 in decreasing order.
z, -0.1, -1.2, -3
Let v = -391 - -386. Sort 5, v, 16 in increasing order.
v, 5, 16
Let j(s) = 2*s + 14. Let o be j(-8). Suppose 4*l = a + 30, -4*l - 5*a = l - 25. Suppose -4*k - b = -l, -4*k + 18 = -3*b - 9. Put 2, o, k in increasing order.
o, 2, k
Suppose -14*m - 43*m = 57. Put -0.2, -0.1, 4/5, m in ascending order.
m, -0.2, -0.1, 4/5
Let o = -72 - -72. Sort o, -4, 2 in decreasing order.
2, o, -4
Suppose 0 = -n - 2*n + 15. Let b = 1381 - 1386. Put n, -1, b, -2 in decreasing order.
n, -1, -2, b
Suppose 0 = 47*f - 38 + 320. Suppose -4*c - 5 + 1 = 0. Suppose 0 = -4*r + 3*r - y + 7, 2*r - 3*y + 1 = 0. Sort f, r, c in descending order.
r, c, f
Let i = -2 + 1. Let t be (-1 + i)/(11 + -10). Let o = -2 + t. Put o, -5, -1 in increasing order.
-5, o, -1
Let i be -4 - -1*(-5 + 8). Let d = -8/27 + 58/135. Put d, -1/6, -3/2, i in ascending order.
-3/2, i, -1/6, d
Let v = -165 + 168. Sort 1/31, 2, -0.1, v in descending order.
v, 2, 1/31, -0.1
Let h = -5.3 + 0.3. Put -0.17, 1/5, -3, h in descending order.
1/5, -0.17, -3, h
Suppose -z = -5*s - 11, -11*z - 5*s = -6*z + 5. Sort z, 2, -3, -2 in ascending order.
-3, -2, z, 2
Let d be 5/((-15)/(-12)) + -3. Let k(c) = -8*c + 4. Let f be k(d). Sort -1, f, 1.
f, -1, 1
Let f(a) = -a + 11. Let y be f(9). Let h(w) = w**2 + 12*w + 22. Let s = 24 + -33. Let l be h(s). Sort y, 0, l in descending order.
y, 0, l
Suppose -28 = 23*r - 37*r. Put -4, r, 56 in increasing order.
-4, r, 56
Let i(g) = -22*g - 74. Let c be i(-6). Suppose c = 4*u + 82. Sort u, 4, 3 in decreasing order.
4, 3, u
Suppose 326 = i + 321. Sort 0, 10, -15, i.
-15, 0, i, 10
Let a be (12/8)/((-3)/28). Let u be (6/5)/(a/105). Let w be 12/u + 3/9. Sort w, 2, 0 in increasing order.
w, 0, 2
Let b(z) = -31*z + 59. Let y be b(2). Let h(d) = d**3 - 4*d**2 - 5*d + 4. Let x be h(5). Sort y, -6, x, 2/5.
-6, y, 2/5, x
Let q = 75 + -73. Sort 17, -0.3, q.
-0.3, q, 17
Let o be 75/(-400)*((-35)/33 + 1). Let a = -7/88 - o. Put a, 1, -6 in decreasing order.
1, a, -6
Let o(x) = -x**2 - 9*x + 8. Let a be o(-10). Sort 1, -3,