der.
-25, x, -2
Let d be ((-78)/10)/13*1. Sort d, 2, -1.8.
-1.8, d, 2
Let g = 6.2 - 1.2. Let u = 37.2 - 33.2. Sort -1, g, 0, u.
-1, 0, u, g
Let q(v) = -v**2 + 2*v. Let r be (4 - (-20)/(-6))/(2/6). Let b be q(r). Put 4, b, -2, 1 in ascending order.
-2, b, 1, 4
Let v = -0.79 - 0.61. Let y = -1.6 + v. Let b be 8/(-3)*(-9)/(-6). Sort b, y, 1/3.
b, y, 1/3
Let r = -0.4 + -1.6. Let q(y) = y + 13. Let x be q(-6). Suppose 0 = x*l + 51 - 16. Put r, l, 5/6 in descending order.
5/6, r, l
Let g = 0.512 + -0.012. Let x = 1.8 - 2.1. Put -1, g, x in descending order.
g, x, -1
Let o(q) = -q**2 + 33*q - 237. Let g be o(11). Let n = -1 - -4. Sort 1, g, n, -11.
-11, 1, n, g
Suppose -k - 4*x + 0*x = 193, -5*k + x = 965. Let o = -1384 - -6313/4. Let z = k + o. Sort 1, 3/4, z in ascending order.
3/4, 1, z
Let h be 1*(1 + 1)/4. Let z = -5 - -3.1. Let b = 1.9 + z. Put 3, h, b in increasing order.
b, h, 3
Let f = -122 - -130. Let m be (10/7 - 0) + -2. Let i be 1/(-4) - 175/(-476). Put m, i, f in ascending order.
m, i, f
Let h be (22 - (-6)/(-3)) + -1. Suppose -2*p = -5*t - h, 5*p + 0*t + 2 = -4*t. Let s = -12 + p. Put 3, 0, s in increasing order.
s, 0, 3
Let s = 34.6 - 35.1. Sort s, 2, 0.4, -8/5 in decreasing order.
2, 0.4, s, -8/5
Suppose -10 = -y - 3*f, 78 = 5*y - 2*f + 3*f. Let t be 2*(-4)/y*-6. Suppose -8 = -2*v, 16 = 2*s - t*v + 5*v. Sort s, 5, -2 in descending order.
5, s, -2
Let k = 723 + -721. Sort -0.52, -0.3, k.
-0.52, -0.3, k
Let t = -269/44 + 70/11. Let u = -0.01 + -0.99. Sort 0.2, -4, t, u.
-4, u, 0.2, t
Let x = -190 - -194. Put x, -413, -5 in ascending order.
-413, -5, x
Let z = -153.1 - -153. Sort z, -1, -31, 0.4 in increasing order.
-31, -1, z, 0.4
Let j(d) = -3*d**2 - d. Suppose 2*a = 3*a + 20. Let y = a - -22. Let b be j(y). Sort -2, b, -5.
b, -5, -2
Let a = -41 - -39. Suppose -p + 0*p + z + 1 = 0, 3*p + 5*z - 11 = 0. Let i = -2 + p. Put -1, i, a in ascending order.
a, -1, i
Let x(o) = 2*o + 2. Suppose -k - 4 + 2 = 0. Let n be x(k). Put n, -5, 0 in descending order.
0, n, -5
Let o(q) = -q**3 + 3*q**2 + 28*q + 9. Let c be o(6). Put -5, c, 0, 1 in descending order.
c, 1, 0, -5
Suppose 0 = 3*z + 5*c + 10, -4*z - 26 = -0*c - 6*c. Sort z, 5, -21 in increasing order.
-21, z, 5
Let k(h) = 2*h - 8. Let i be k(6). Suppose 129*d + 20*d = -596. Sort i, 2, 1, d in decreasing order.
i, 2, 1, d
Let o = -1975.1 - -1975. Sort 0.5, o, -4, -0.42.
-4, -0.42, o, 0.5
Let w(q) = 2*q - 29. Let f be w(12). Suppose 2*s + 3*s = 0. Sort 3, s, f.
f, s, 3
Suppose 0 = 2*d - 4 - 6, 5 = -5*p + 4*d. Suppose g - 70 = 202. Let v be g/(-80) + (-2)/(-5). Put v, p, -2 in descending order.
p, -2, v
Suppose -3*n + 4 = n. Let i be 4 + 0 + (-1)/n. Let w be ((-2)/6)/(11/(-165)). Sort i, 1, w in ascending order.
1, i, w
Let k(z) = -9*z**2 - 17*z + 37. Let r be k(2). Sort r, 0.5, 2 in descending order.
2, 0.5, r
Let y = 11 + -8. Let d = y + -4. Let u = d - -0.6. Put 4, u, -6/7 in ascending order.
-6/7, u, 4
Let m be ((-75)/(-10) + -10)*-2. Put -1, 4, -5, m in decreasing order.
m, 4, -1, -5
Let u(d) = 2*d + 8. Let y be u(-6). Sort 5, y, 23, 0.
y, 0, 5, 23
Let i be (10/(-1))/(-47 - -49). Sort i, 5, 27 in descending order.
27, 5, i
Suppose q - 3*b + 8*b = 22, -q = 3*b - 14. Put 4, 3, q, 1 in descending order.
4, 3, q, 1
Let k = 43 - -3. Let d = 45.92 - k. Put 1, d, -1/5, 3/2 in descending order.
3/2, 1, d, -1/5
Suppose 4*x + 7 = 2*x - a, -2*a = -5*x - 31. Sort 6, x, -3, 10 in descending order.
10, 6, -3, x
Let z = 9 - 4. Suppose -2*x = z*p + 13, -2 + 1 = 2*x + p. Sort 2/3, -1/13, x in decreasing order.
x, 2/3, -1/13
Let j = -20.6 - -2.6. Let v = j - -30. Let g = v - 12.1. Put g, 2, 2/17 in decreasing order.
2, 2/17, g
Let p be (297/(-9))/(-11) + -8. Put p, 28, 4, -2 in decreasing order.
28, 4, -2, p
Let c be 1*3/(-3) + 0. Let p be (32/1)/(c - -3). Let u be (-20)/p*2/(-10). Sort 4/7, -0.4, u in ascending order.
-0.4, u, 4/7
Suppose 0 = -0*u - 4*u + 160. Let d be 592/u - 1/(-5). Suppose 5*n - n + 8 = 0. Put d, 1, n in increasing order.
n, 1, d
Let o be (-21)/(-3) - 7 - 0. Put o, -1.9, 2 in ascending order.
-1.9, o, 2
Let i(x) = x**2 - 52*x + 240. Let h be i(47). Put -4, h, 3 in increasing order.
-4, 3, h
Suppose -153*f = -176*f - 115. Put f, -37, -4, 5 in descending order.
5, -4, f, -37
Let y = -1682 - -1740. Put 1, y, 0 in increasing order.
0, 1, y
Let q be 505/(-2260) + 2/8. Let u = q + -3197/1243. Let f = u + 23/22. Sort f, -1/2, -3/8 in decreasing order.
-3/8, -1/2, f
Let b(h) = -h**3 + h**2 - 2*h - 5. Let y be b(0). Put y, -22, 1, 5 in decreasing order.
5, 1, y, -22
Suppose -4*i + 5*i - 3 = 0. Suppose 130 = i*f - 8*f. Let a be (-1)/(f/6 - -4). Put 5, 0, a in increasing order.
0, a, 5
Suppose -405*j = -393*j - 36. Put j, 1, 68 in decreasing order.
68, j, 1
Let l = -32 + 35. Sort l, -3/7, 5 in increasing order.
-3/7, l, 5
Let o = 16.8 - 16.7. Let h = -0.1 + -0.1. Let z = h + o. Sort -0.5, z, 0.4.
-0.5, z, 0.4
Suppose 0 = 4*b - 5*b. Suppose 3*m - 7*m - 244 = 0. Let h = -56 - m. Sort b, h, 12.
b, h, 12
Suppose 3*p + 7*p = 40. Put -5, -2, p, 1 in increasing order.
-5, -2, 1, p
Let b(x) = x**3 - 22*x**2 + 5. Let o be b(22). Suppose 14 - 2 = 4*s. Sort s, 2, -1, o in decreasing order.
o, s, 2, -1
Let f = -97 + 1747/18. Let n = 8/17 - 49/68. Put n, -0.1, f in decreasing order.
f, -0.1, n
Suppose 0 = 5*h - 4*u - 5 + 20, 2*h = -4*u + 22. Let v be ((-20)/(-12))/(7/21). Let f(j) = -j**2 + j - 1. Let s be f(1). Sort h, s, v in increasing order.
s, h, v
Let o = -6817/48 - -142. Sort 0.4, o, 3 in descending order.
3, 0.4, o
Suppose 91 = -5*p + 111. Put 3, -1, 1, p in increasing order.
-1, 1, 3, p
Let n(y) = 4*y**3 - y**2 - y + 1. Let b = 12 - 11. Let x be n(b). Suppose 4*i = -2*f + 8, -5*f = -f - 8. Sort x, -5, i in increasing order.
-5, i, x
Let m be (1/2)/(186/(-24)). Sort m, -4, -0.4 in descending order.
m, -0.4, -4
Suppose p - 3*s = -1, -5*p + s = 16 + 17. Suppose 14 = -4*a + a - 5*r, 3*r - 3 = 2*a. Let z be (p - a)*(-6)/(-8). Sort 5, -1, z in descending order.
5, -1, z
Suppose 9 = -2*n + 3*j, -5*n - 12 = 3*j - 42. Suppose -2*p - 5 = x, -n*p + 4*x - 16 = -2*p. Let v be 170/30 - p/(-6). Put -4, 1, v in increasing order.
-4, 1, v
Let q = -15 + 17. Suppose q - 1 = y. Let h be 15/6*(-5)/((-100)/(-24)). Put y, 6, h in descending order.
6, y, h
Suppose -6*s + 5 = 5. Suppose -3*h - 19 = 5*j, -j + 2*j - 1 = h. Sort s, j, 1, 3.
j, s, 1, 3
Let f(x) = -2*x**2 - 21*x - 16. Let b be f(-10). Let d be 4/6*(-18)/(-4). Put b, -5, d, 1 in increasing order.
b, -5, 1, d
Suppose -3*y + 4 + 2 = c, 4 = 2*y - c. Put 0, -2, y, 4 in increasing order.
-2, 0, y, 4
Let j(x) = -16*x - 53. Let l be j(-3). Sort 6, 2/11, -0.3, l.
l, -0.3, 2/11, 6
Let g = -1044 + 1042. Sort -9, -5, g in increasing order.
-9, -5, g
Let c = 2.5 - 3.5. Let r = c + 1. Put -3/7, 1, -0.1, r in ascending order.
-3/7, -0.1, r, 1
Let i be (0 - 1) + (-10)/(-2). Suppose 5*l + 23 = w, i*l - w = -0*w - 18. Let k be 15/3*(464/16 - 28). Sort k, l, 0.
l, 0, k
Let t = 126.8 + -135.8. Put -4, t, -19, -1 in decreasing order.
-1, -4, t, -19
Suppose 0 = 5*u - s + 3 + 1, 3*s = -u + 12. Let t = 188.9 + -189. Put u, -4, t, 4 in decreasing order.
4, u, t, -4
Let t be (-1808)/(-48) + (-2)/(-6). Let s = t - 39. Put 1, -2, s in ascending order.
-2, s, 1
Let x = 23 + -13. Let c = 7 - x. Suppose 0 = f - 3*w - 14, -3*f - 4*w = f - 8. Sort c, f, -2 in ascending order.
c, -2, f
Suppose -9 = -2*x - 0*z - 3*z, -3*x - 4*z = -11. Let o be -12 + x/3*-3. Let y = o + 13. Sort y, -3, -1 in descending order.
y, -1, -3
Let z(p) = p**3 - 10*p**2 - p + 5. Let n be z(10). Suppose 0*i - 14 = 2*h + 2*i, -5*h - 49 = -2*i. Sort h, 5, n.
h, n, 5
Let s = -9 - 3. Let n = -7 - s. Sort 2, n, 4, 3 in decreasing order.
n, 4, 3, 2
Let o(z) = z**2 + 1. Let a be o(7). Let w = a + -52. Put 5, w, 4 in increasing order.
w, 4, 5
Let t = -8.9732 - 0.0268. Let q = 1.5 + -2. Sort q, 0.3, t in decreasing order.
0.3, q, t
Let y(f) = -3*f**2 - 15*f - 21. Let d be y(-3). Put d, -0.3, -0.2, -38 in descending order.
-0.2, -0.3, d, -38
Let h be 3 - (2 + 4 + -1). Let l be 0 - h - 1*-3. Let u = -172 + 170. Sort u, -3, l in ascending order.
-3, u, l
Let z = -3 - -6. Suppose -20 - 80 = 5*h. Let l be 0 - (32/h - -1). Put l, z, -5/3 in decreasing order.
z, l, -5/3
Let t = 281.9 - 308. Let y = 26 + t. Put y, -1, 6 in descending ord