der.
x, 4, 2, 1, -2
Suppose v + 34 = -4*k + 3*v, 1 = 2*k + 5*v. Let l = 7 + k. Suppose -5*a - 3*w - 27 = 0, 2*w - 1 = -3*a - 17. Sort a, l, 2.
a, l, 2
Let a(h) = 4*h + 124. Let b be a(18). Let u = 198 - b. Sort 1, 3, -5, u in decreasing order.
3, u, 1, -5
Suppose -3*d + 5 + 12 = 20. Sort d, 5, -4/19, -3, -5 in descending order.
5, -4/19, d, -3, -5
Let i be (-84)/22 - (-172)/(-946). Suppose -3*k - 2 = -5*k, -a - 5*k = -6. Sort i, 0, 2, a in decreasing order.
2, a, 0, i
Suppose -2*r - 3 = r - q, 5*r - 5 = 5*q. Let u be 262/2 - (53 + -48). Suppose 115*c = u*c + 55. Sort r, 2, 6, c in increasing order.
c, r, 2, 6
Let o = -12188 - -12062. Sort 4, 13, o in decreasing order.
13, 4, o
Let h(g) be the first derivative of -g**3/3 + 11*g**2 + 28*g - 59. Let a be h(23). Sort 1, a, 4 in ascending order.
1, 4, a
Let n = 10098 + -10202. Sort -5, n, 2.
n, -5, 2
Let f = -56681 - -56677. Suppose -7*h + 2*h = -25. Suppose 5*c + 0*c = 0. Put h, c, f in descending order.
h, c, f
Suppose 114*w - 21 = 66*w + 69*w. Put 6, 2/3, -0.3, w, -3/58 in descending order.
6, 2/3, -3/58, -0.3, w
Let q = 5974 - 5967. Put -4, 1, q, 24 in descending order.
24, q, 1, -4
Let g = -673317/74 + 9099. Put g, 2, -3/4 in decreasing order.
2, g, -3/4
Let p = -9 - -14. Suppose 4*i - p = -5*q, 0 = 2*q - 0*q + 5*i - 2. Suppose -5*m - u - 16 = 0, -24*m - 5*u = -27*m - 4. Put m, -4, q in descending order.
q, m, -4
Let f = -0.06 - 0.14. Let y(p) = 157*p - 1433. Let x be y(9). Sort -0.5, f, x in descending order.
f, -0.5, x
Let p(g) = -g**3 - 9*g**2 - 90*g - 536. Let b be p(-7). Sort 2/9, 4, -32, b, 32 in increasing order.
-32, b, 2/9, 4, 32
Let y(x) = -104 + 22*x - x**3 - x**3 - 7*x + x**3 + 19*x**2 - 9*x**2. Let m be y(11). Sort 0, -2, m in descending order.
0, -2, m
Suppose 0 = -4*o - 2*h + 1876, 28*h + 926 = 2*o + 31*h. Sort -3, o, -2 in ascending order.
-3, -2, o
Suppose -q = -77*d + 79*d - 26, -4*q = -2*d + 56. Put -1, 11, d, 4 in increasing order.
-1, 4, 11, d
Let j(v) = -7*v**3 + 442*v**2 - 65*v + 111. Let t be j(63). Sort t, 1/12, -3 in increasing order.
t, -3, 1/12
Let m be 29*(16 - 46/3). Put 0.07, m, 2/5 in increasing order.
0.07, 2/5, m
Suppose -5*p = -5, 98*q + 155 = 100*q - 3*p. Let k = -78 + q. Sort -5, k, -39, -3 in decreasing order.
k, -3, -5, -39
Let t = 394/3 - 791/6. Put t, 2, 74 in increasing order.
t, 2, 74
Let p = 21 + -20. Suppose 5*c = 2*y - 0*y - 4, -2*c + 6 = 3*y. Let b be (-3)/((-5)/20 + 15/12). Put p, c, b, -5 in ascending order.
-5, b, c, p
Suppose -210*p - 3055 = -723*p - 490. Sort 29, p, -18 in descending order.
29, p, -18
Let k(a) = -58*a - 1293. Let b be k(-28). Sort -1, 5, b, -5 in increasing order.
-5, -1, 5, b
Suppose 5*l - 30 = p, -2*p = p + 2*l + 5. Suppose -26*k = 105 + 51. Sort 0, 3, k, p in decreasing order.
3, 0, p, k
Suppose -101*b + 32 = -3*l - 100*b, 4*l - 3*b = -36. Sort -19, l, -18 in descending order.
l, -18, -19
Let c = 225.4 + -180. Let s = -45 + c. Let m = -24.6 - s. Put m, 2/7, 0.3 in descending order.
0.3, 2/7, m
Let q = 24051 + -72154/3. Sort 421/5, q, -0.3.
q, -0.3, 421/5
Let w = 15 - 12. Let c = 0.3078 - 0.1078. Put w, c, 22 in descending order.
22, w, c
Let x = -253/2 + 1269/10. Let v be 4/16 - (-255)/260. Sort v, -3, x.
-3, x, v
Let h = -114.166 - -114. Let j = h - 1.834. Let m = 2537/7 + -363. Sort -1, -0.06, m, j in ascending order.
j, -1, m, -0.06
Let i be 608/16 - (1 + 5/1). Let g be (-4)/(-3)*(-12)/i*-8. Put g, -69, -2 in ascending order.
-69, -2, g
Let d = -26.049 - -0.049. Let t = d + 31. Let r = 23.93 + -0.93. Put 2/21, r, t, 0 in increasing order.
0, 2/21, t, r
Suppose 9*d + d - 420 = -440. Let j be ((-315)/(-10))/9 + (-2)/(-4). Sort -1, -6, d, j in descending order.
j, -1, d, -6
Let c = 10103.1 - 10103. Put -2/7, c, -11 in descending order.
c, -2/7, -11
Suppose 3*y + 14 = 4*t - 19, 3*t = -4*y + 31. Suppose -w + t = -3*f + 8, -6 = -2*w + 2*f. Let j be (2 - 4) + (-9)/6*2. Sort 7, 3, w, j in decreasing order.
7, w, 3, j
Let u = 95 - 242. Let n = -140 - u. Suppose q - n*q = -18. Sort 13, -4, 4, q.
-4, q, 4, 13
Let l be (-4)/5*(-6)/(12/(-5)). Let p be l + 70/15*(-6)/(-4). Let b = -4/27 + 74/135. Sort p, b, 1/2.
b, 1/2, p
Let m be (-2)/5 - 1824/(-2660). Put -2, -2/11, 28, m in ascending order.
-2, -2/11, m, 28
Let o(s) = -3*s - 30. Let p be (-39)/6*2 - (-8 + 6). Let n be o(p). Suppose -n*c = -9*c + 6. Sort -9, -5, c in increasing order.
-9, -5, c
Let t(m) = m**2 - 2*m - 6. Let y be t(4). Let w be (8/12)/((-1)/12). Suppose -o - 2*i + 1 = 2*o, o + 5*i = -4. Put 5, o, w, y in decreasing order.
5, y, o, w
Let a = -26089 - -7957043/305. Let v = 734 + -44778/61. Let t = a + v. Put 1, 1/4, t in decreasing order.
1, 1/4, t
Let x be (-5)/(-3) - (-4)/(-6). Let q = 856 - 5994/7. Let l be 18/6 + -2*2. Sort x, q, l.
l, q, x
Let t = 46 - 45.96. Let n = t + 0.16. Let m be -2 - (-5)/7 - -1. Sort 5, n, 3, m in descending order.
5, 3, n, m
Suppose 1 = -2*x + 5*r, 4*r = -5*x + 6 + 8. Let o = -4 - 0. Let w(b) = -b**3 + b**2 - 2*b + 3. Let c be w(2). Put -2, c, x, o in increasing order.
c, o, -2, x
Let w(u) = -u**3 - 9*u**2 + 3. Let r be w(-9). Let y be 11/(-22) + (-45)/2 + -3. Let m = y - -26. Put r, 2, -1, m in increasing order.
-1, m, 2, r
Let r(b) = b**2 - b + 4. Let a be r(0). Let t = -855 - -856. Sort -5, -2, a, t.
-5, -2, t, a
Let f(r) = -r**3 - 19*r**2 + 39*r - 28. Let w be f(-21). Suppose -w = 8*n - n. Sort n, 2, -8 in descending order.
2, n, -8
Let a = -7781/23325 + 2/7775. Put 1.7, 0, a in increasing order.
a, 0, 1.7
Suppose -n + 2 = 3. Let g be -4 - 2 - (488 + -502 - (0 - 7)). Put n, 5, -6, g in ascending order.
-6, n, g, 5
Let m(o) = o**3 - 3*o**2 - 3*o - 3. Let c be m(4). Let p(a) = -70*a - 1046. Let l be p(-15). Sort c, 5, -56, l in decreasing order.
5, l, c, -56
Let g = -0.0652 - 0.0348. Sort 0.47, g, -5, 0.3 in decreasing order.
0.47, 0.3, g, -5
Let u = -346.1 + 346. Sort 0.0635, 3, u.
u, 0.0635, 3
Suppose -16*r - 56*r = -12*r + 120. Suppose -3*y + 5 = -4*y. Sort y, -4, 10, r.
y, -4, r, 10
Let w(c) = -c - 8*c**2 - 12*c + 4*c**2 + 2*c**3 + 0*c**2 + c + 29. Let o be w(2). Sort 9/4, o, 1.
1, 9/4, o
Let r = 151 - 1961/13. Put r, 2/201, 2/25, 3 in ascending order.
2/201, 2/25, r, 3
Let m = -0.554 + 0.854. Let w = -37 + 36.8. Sort -2, w, 0.4, m in decreasing order.
0.4, m, w, -2
Let q = -11 + 6. Suppose 131 = t + 134. Put t, -2, q, 4 in ascending order.
q, t, -2, 4
Suppose 10*v - 675 = -215. Let d = v + -29. Suppose -5*w + 2*l = 25, -2*w + 6 = -l + d. Put 2/3, w, -3/4, 2/5 in ascending order.
w, -3/4, 2/5, 2/3
Suppose 3*m + 4*j = -11291, -m - 3766 = -15*j + 16*j. Sort -1, -0.3, m in descending order.
-0.3, -1, m
Suppose -2*i + 0*i = 0. Suppose i*u - 23 = -5*y + u, 3*u - 31 = -5*y. Suppose 0 = -y*j - 5*j + 140. Sort 0.1, -0.4, j in decreasing order.
j, 0.1, -0.4
Suppose -149 = -3*b - 2*i - 3*i, 207 = 4*b + 5*i. Sort b, 2, 6 in decreasing order.
b, 6, 2
Let u(i) = 23*i + 585. Let j be u(-26). Let x(r) = -r**2 - 7*r + 4. Let k be x(-4). Let t = j + k. Sort t, 0.1, -9.
-9, 0.1, t
Let w = 41.6 - 60. Let t = w + 16.4. Let s be ((-2)/2)/(7 - 5). Sort s, t, -0.3, -3/7.
t, s, -3/7, -0.3
Suppose -4*l + 16 = y, -4*l = -y - 1 - 7. Let o(s) = 291*s + 872. Let t be o(-3). Let w(c) = -7*c + 2. Let z be w(1). Put -2, y, z, t in increasing order.
z, -2, t, y
Let p = 4.1 + -4.15. Let n = -10.1 + 13.1. Sort p, n, -3/4 in ascending order.
-3/4, p, n
Let v be (-7 + 2)*(170/58 + (-34)/(-493)). Sort 76, v, 1 in descending order.
76, 1, v
Let u = 0.125 - 0.025. Let h = 1.7 - -7.3. Let b be -2 + 156/28 + -4. Sort h, b, u in ascending order.
b, u, h
Let b = 98 - 101. Let s be 2*(b/(-6))/(-1). Sort -4, -9, s in ascending order.
-9, -4, s
Let b(h) = h + 1. Let m(j) = -j - 1. Let t(v) = -3*b(v) - 2*m(v). Let w be t(3). Let l be (-7)/(-3 - (-6 - -10)). Sort 4, l, w in decreasing order.
4, l, w
Let d = 156 + -151. Sort 41/3, d, -25/4 in descending order.
41/3, d, -25/4
Let x be 1/(4/(-24))*(-26)/78. Suppose u + 35 - 33 = 0. Sort 69, x, u in increasing order.
u, x, 69
Let o(k) = -2748*k + 13743. Let h be o(5). Put -5, -1, 2, h, 580 in decreasing order.
580, h, 2, -1, -5
Suppose -3*t + 114 = -q + 113, -t = q + 9. Sort -139, t, -1, -3, 5 in increasing order.
-139, -3, t, -1, 5
Suppose -7*p + 5 + 9 = 0. Suppose -3*d = -4*a + 14, -6*d - 7 = -3*a - p*d. Put 63, 2, a in desce