der.
-0.2, u, 4
Suppose -3*q - 15 = 3*w, -2*w - 20 = -0*q + 4*q. Let j = 13.7 + -13.8. Sort 23, j, w, -1 in decreasing order.
23, w, j, -1
Suppose -12 = 27*s - 39. Let d = -8 + 5. Sort 9, d, -1, s.
d, -1, s, 9
Let g = 13.25 - 12.25. Let h(n) = -n**3 - 5*n**2 + 5*n - 1. Let z be h(-6). Sort z, -2/7, g in increasing order.
-2/7, g, z
Suppose 0 = n + 3, -3*s = 5*n + 1 + 14. Let w = 2 - -1. Let a be 1 - 4/(-3)*w. Sort a, 2, s in ascending order.
s, 2, a
Let h = -5 + 14. Let n(w) = 4*w - 5. Let i be n(-1). Let l = i + h. Sort -1, l, -3 in decreasing order.
l, -1, -3
Suppose -2 = -u - 3*q, -4*q + 1 - 3 = -u. Suppose -19*x - 112 = -15*x. Let l = 33 + x. Sort -5, l, u in increasing order.
-5, u, l
Let k = -98 - -293/3. Put 4, k, 0.4, -1 in descending order.
4, 0.4, k, -1
Let y be (-26)/(-28) - (-3)/(-6). Suppose 3*x - 2 + 0 = -v, x = 5*v - 10. Let d be 6/(-28)*v - -1. Sort d, y, -0.1 in decreasing order.
d, y, -0.1
Suppose -3*c = -1 + 4. Suppose -16*u - 30 = -46. Put 0, c, -4, u in decreasing order.
u, 0, c, -4
Let m = -106 - -106.5. Suppose g - 6 = 4*g. Let x be (1/g)/(1/3). Put x, -4/5, m in increasing order.
x, -4/5, m
Suppose 1343*m = 1341*m. Let t = 0.8 - 0.3. Sort -0.3, m, t in descending order.
t, m, -0.3
Let q = 71 + -45. Let l be (-6)/10 + (-8 - (-72)/(-5)). Let h = q + l. Sort h, 0, -4 in descending order.
h, 0, -4
Let y be 47/2*(-96)/(-24). Sort -11, 4, y in decreasing order.
y, 4, -11
Let u = -1617.02 - -1617. Sort -0.038, u, 3, 1/2.
-0.038, u, 1/2, 3
Let r = -1471 - -61783/42. Put 0.1, r, -0.3 in descending order.
0.1, r, -0.3
Suppose -5*a - 2*p - 1 = -2, -5*p - 10 = 0. Sort a, 0, -7 in ascending order.
-7, 0, a
Suppose -4*f + 60 = -4*y, -4*f + 17 = 3*y - 78. Sort -2, 1, f in ascending order.
-2, 1, f
Suppose -2*d - 4 = 2. Let h be ((-10)/(-15))/((-1)/(-18)). Let v be 8/1*(-6)/h. Put v, 2, d in ascending order.
v, d, 2
Let y(x) = x**3 - 3*x**2 - 25*x + 4. Let q be y(-4). Sort -5, q, -1/8 in descending order.
-1/8, -5, q
Let i(p) = -p**3 - 8*p**2 + 5*p + 35. Let v be i(-8). Put v, -25, 5 in descending order.
5, v, -25
Let m = -1 + 2. Let k = -37.54 - -38. Let h = k + -0.96. Sort 5, h, m in increasing order.
h, m, 5
Suppose -4*v + 2*h = h + 21, 2*h - 27 = 5*v. Let y be 1/2*(-4)/10. Put y, 2/7, v in increasing order.
v, y, 2/7
Suppose 9*o - 4*o = 20. Let q be (o/(-3) + 2)*-6. Suppose 4*w = 7*w + 6. Put w, q, 0.1 in descending order.
0.1, w, q
Suppose -34*r = -29*r - 25. Sort -1, r, -43, 1.
-43, -1, 1, r
Let u be 46/24 + 8/288*3. Put 3, -2, u, 5 in descending order.
5, 3, u, -2
Let v(y) = y**2 + 7*y - 79. Let z be v(-13). Let p = -3 + 2. Let s(w) = 3*w**2 + 2*w + 1. Let u be s(p). Put z, u, -5 in increasing order.
-5, z, u
Let u = -161/4 - -175/4. Sort 0.3, u, -0.1, -0.4 in descending order.
u, 0.3, -0.1, -0.4
Suppose 24 = -11*p - 64. Put 2, 34, p in increasing order.
p, 2, 34
Let b be ((-18)/(-10) + 0)*340/408. Sort -4, -3, b.
-4, -3, b
Let r be -1*(-3)/(-3)*-5. Suppose 5*p - r = 5. Suppose 4*l + 4 = 3*a, -p*l + 0*a + 12 = -5*a. Sort -2, 1, l.
l, -2, 1
Let m be (-2)/(-4)*4/(-5). Let h = 1507 - 1510. Let k = 8 - 12. Put h, m, k in descending order.
m, h, k
Let l = -86 + 427/5. Put -2/3, l, 0.4 in decreasing order.
0.4, l, -2/3
Let u = 72 - 42. Let c = 26 - u. Put -1/6, -3, -0.3, c in descending order.
-1/6, -0.3, -3, c
Suppose 19*f - 12*f = -7. Put 0, 4, f, 9 in increasing order.
f, 0, 4, 9
Let t = -994 - -1048. Sort 15, 1, t in ascending order.
1, 15, t
Let y = 13 - 8. Let h = -2 + y. Let s = 585 - 590. Sort s, 1, h.
s, 1, h
Let n = -2 + 5. Let i = -148.5 + 146.5. Put i, 0.4, n in ascending order.
i, 0.4, n
Let x(i) = -i**3 + 5*i**2 + 9*i - 8. Let v be x(6). Suppose -145*k + 142*k - 9 = 0, 5*u - 2*k + 9 = 0. Put 2, u, v in descending order.
v, 2, u
Let v be (1 - 3)/(20/6). Let m = 480/469 - -8/67. Put -2/15, m, v in descending order.
m, -2/15, v
Suppose -2*j = -6*j + 4. Let k = 21 - 8. Suppose 12*b = k*b. Put b, j, -6 in increasing order.
-6, b, j
Let x = -1889 + 1786. Put -5, x, 2, 4 in decreasing order.
4, 2, -5, x
Suppose -8*c - 60 = -3*c. Let j be (-8)/6 - 4/c. Suppose -2*l + 25 = 2*t + 3*t, 5*t = 5*l + 25. Put l, 3, j in increasing order.
j, l, 3
Let r(s) = 7*s - 9. Let c be r(4). Suppose 3*n = 4*n + 23. Let i = c + n. Sort -2, 2, i in increasing order.
i, -2, 2
Let o = 0.45 + -0.32. Let l = o + 0.05. Let a = l + 3.82. Sort 0.4, -3/5, a.
-3/5, 0.4, a
Let k(i) = 8*i + 2. Let z be k(0). Let j be -5 + 3 - (-1 + -5). Suppose -z*n + 2*b = b + j, -b = 2*n. Sort 7, -4, n in descending order.
7, n, -4
Suppose -4*l = -4*v + 6*v - 14, 0 = -3*v + 3. Put l, -5, -4 in increasing order.
-5, -4, l
Let k(r) = -13*r - 131. Let p be k(-11). Sort 0, 3, 2, p.
0, 2, 3, p
Suppose -2*g = -o - 3 + 17, -3*o - 13 = 5*g. Let c(j) = -j**2 + 9*j + 12. Let b be c(10). Suppose 0 = -b*d - 2. Sort -5, d, o.
-5, d, o
Let s = 0.2 + -1.2. Sort 5, s, 2/5, -2/5.
s, -2/5, 2/5, 5
Let x(q) = q**3 - 3*q**2 - 3*q. Let t be x(4). Suppose -5*c = 3*u + 2, 0 = -4*u - 7*c + 2*c + 4. Let d be (-4)/8*t/u. Put 2/3, d, 1/4 in descending order.
2/3, 1/4, d
Let v(p) = -8*p**2 - 62*p - 3. Let f be v(-6). Sort 2, 3, f in decreasing order.
f, 3, 2
Suppose 7*w - 415 = -79. Let r = -48 + w. Sort r, -1, 5, -5 in descending order.
5, r, -1, -5
Let d(p) = -p + 20. Let b be d(22). Put b, -5, 17 in descending order.
17, b, -5
Let p = -31 - -37. Let o = 9 - p. Put o, 1, -5 in ascending order.
-5, 1, o
Let q be (-5)/2 - 2/4. Let j = -367 + 338. Put q, j, -1 in decreasing order.
-1, q, j
Let d = 0.063 - 0.015. Let w = -2.048 + d. Sort 1/6, -0.12, w in increasing order.
w, -0.12, 1/6
Let n = 6538 - 6537.9. Let c = -1 + 0.5. Sort n, c, 7/8, -4/3.
-4/3, c, n, 7/8
Let l = -1056 + 1056.463. Let a = 0.063 - l. Let o = 1 + 3. Sort o, 0, a in descending order.
o, 0, a
Let o = 715 + -715. Let l = 0.8 + -0.4. Sort o, l, 2, -1 in increasing order.
-1, o, l, 2
Let v = 12 + -7. Let x(c) = c**3 + 24*c**2 + 22*c - 2. Let b be x(-23). Let f = b + -18. Sort -4, v, f.
-4, f, v
Let j = 0.0252 + -21.9252. Let f = j - -20. Let b = f + 1.7. Put b, 2/11, 3/2 in decreasing order.
3/2, 2/11, b
Let x(m) = 12*m - 4. Let t be x(1). Suppose 24 = t*f - 0. Sort f, -2/9, 4/5 in increasing order.
-2/9, 4/5, f
Let g be 4 - 20/(9 - 4). Let w(p) = g + 0*p + p + 0*p + 10. Let l be w(-11). Sort l, -0.2, 5 in descending order.
5, -0.2, l
Let m be (8/22)/((-2)/(-11)*3). Sort -22, 1, 5, m in ascending order.
-22, m, 1, 5
Suppose -3*k + 0*k - 9 = 0. Let o be 35/238*(-12)/15. Sort k, 0.4, 11, o in decreasing order.
11, 0.4, o, k
Suppose 4*f = 10 + 10. Suppose -22 = -f*r + 3*c, 0 = -8*c + 3*c - 20. Put 1, 0, r, -4 in descending order.
r, 1, 0, -4
Suppose 75 = -2*z + 65. Let c be (0 - (0 + -2)) + -1. Sort z, c, -2 in descending order.
c, -2, z
Suppose -3 + 9 = 3*y. Suppose -2*j - y = -2*o, -2*o = -6*o - j - 21. Let k = -21818 - -21812. Sort k, 4, o.
k, o, 4
Suppose -4*i + 90*j + 19 = 91*j, 2*j = -i - 4. Let c be (-1)/(((-2)/(-1))/2). Sort c, -2, i in descending order.
i, c, -2
Let l = 735 + -740. Let a = 39 + -23. Suppose 20 = 3*p - a. Sort 4, l, p in increasing order.
l, 4, p
Suppose 3 = 3*m + 3*v - 0, 4*v = 20. Sort -42, m, -5 in decreasing order.
m, -5, -42
Let w(a) = -a + 1. Let g(h) = -2*h + 13. Let p(k) = 6*g(k) - 6*w(k). Let x be p(12). Let s be (1/9)/(1/2). Put s, x, -0.5 in decreasing order.
s, x, -0.5
Let g be 111/9 + 2/3. Suppose 0 = -i - y + 5, 0*i = -i - 3*y + g. Let w be (-4)/(-10) - (-180)/50. Put w, -2, i in increasing order.
-2, i, w
Let m = 0.148 - 0.088. Put 20/9, 4, m, 0.3 in increasing order.
m, 0.3, 20/9, 4
Let d(o) = o**3 + 7*o**2 - 16*o + 20. Let i be d(-9). Sort 6, 0.4, 3, i in descending order.
6, 3, i, 0.4
Suppose -h = 2*h + 2*l - 10, 2*l - 10 = 3*h. Let v(j) = j**2 + 301*j + 3192. Let c be v(-11). Sort -5, 3, h, c.
-5, h, c, 3
Let m = 106 - 105. Suppose 2*c + 5 - m = 0. Sort 1, 3, c in increasing order.
c, 1, 3
Let a = 55 + -55. Let b = 46 - 44. Sort b, a, -3/10.
-3/10, a, b
Suppose 6*l + 27 = 33. Sort 9, l, 0, 3 in ascending order.
0, l, 3, 9
Let c(q) = -q**3 - 14*q**2 - 34*q - 37. Let i be c(-12). Put 1, i, 5 in decreasing order.
i, 5, 1
Let n = 0.22 + -0.27. Let d = n - 0.95. Put d, -4, -2/9 in decreasing order.
-2/9, d, -4
Suppose -3*m = 3*h - 0*m - 78, 0 = h - 4*m - 16. Let q = h + -49. Sort q, -2, 0.5, 3 in 