der.
r, -8/7, s, n
Suppose 0 = -2*w + 5*w + 15. Let g(z) = 16*z**2 + 295*z - 502. Let r be g(-20). Sort w, r, -1 in descending order.
-1, r, w
Let q be (-9)/(-18) + (-315)/70. Let d be -3*2*(-4)/(-8). Put q, 2, d in decreasing order.
2, d, q
Suppose 0 = 17*v - 12*v - 20. Suppose -32*x = -30*x - 14. Put v, 5, x, -4 in descending order.
x, 5, v, -4
Let n be 46 + -14 - (6 - (-3 + 12/4)). Put n, 5, 179 in increasing order.
5, n, 179
Suppose 5*g + 5*d = 0, 3*g + 5*d = -8 + 2. Let y be ((-3)/12*-1)/(g/204). Let x = -12 + y. Sort -1, -2, 0, x in decreasing order.
x, 0, -1, -2
Let v = 274 - 279. Sort 3, v, 0, -4 in decreasing order.
3, 0, -4, v
Let l(a) = -a + 5. Let h be l(4). Suppose 5*r + 2*p = -0*p - 526, 4 = 2*p. Let b = r + 101. Sort b, 0, 4, h in descending order.
4, h, 0, b
Let w = -9 - -5. Let t be 1/(1 + 0/(-8 + 4)). Suppose -38 = 12*f + 2*s, 28*s - 12 = -f + 30*s. Put f, t, w in increasing order.
w, f, t
Let x(w) = w**3 + 3*w**2 + 2*w + 6. Let v be x(-3). Let d be 543/5 + 2 + v. Let f = d + -110. Sort f, 4, -1, -5 in ascending order.
-5, -1, f, 4
Let c be (-2 - 50/(-15))*(0 + 3). Let q be -1 + 4 - (-1 + 2). Sort -26, q, c, 5.
-26, q, c, 5
Suppose 0 = -5*a + 2*q - 22, a = -4*q - 27 + 5. Let p = a - -8. Suppose -b - 144 = -5*d, -d - 5*b = -30 - 4. Sort -1, p, d in increasing order.
-1, p, d
Suppose -3*z - 99 = -87, f + 5 = -2*z. Put 8, -104, f in decreasing order.
8, f, -104
Let f = -3758 - -3817. Sort f, 0, -4, -3 in decreasing order.
f, 0, -3, -4
Let i be ((-1)/(-2))/(7/42). Suppose 28*n + 780 = 40*n. Put n, i, 2 in descending order.
n, i, 2
Let s be (-9)/((-9)/2) + -6. Let j = s + 9. Let u(l) = l**3 + 6*l**2 + 6*l + 7. Let r be u(-5). Put j, r, -3 in descending order.
j, r, -3
Suppose -4*l = -3*r - 22, l + 2*r = -3*l + 12. Let s(o) = -10*o + 5*o - 15 + 2*o + 2*o. Let w be s(-13). Sort -8, l, w in ascending order.
-8, w, l
Suppose 0 = -5*l + b - 11, 4*b + 1 = 3*l + 2*l. Let z = -49 - -61. Suppose -z*j = -11*j. Sort 3, l, j in descending order.
3, j, l
Let i be 4 + (1 + 0)*-1. Suppose -7*g = -2087 + 2073. Let z be (-3)/(g*30/100). Sort i, -1, z in descending order.
i, -1, z
Let n = -0.18585 - -5.18585. Put -77, n, 3/7 in descending order.
n, 3/7, -77
Let y = 1103.8 + -1103.3. Sort -54, y, -2.4 in decreasing order.
y, -2.4, -54
Let z be (2/3)/((-2)/6). Let u be (24/(-40))/((z*2)/20). Put -2, -5, u, 11 in descending order.
11, u, -2, -5
Let b be -4 - (2/(-6))/((-23)/69). Sort -15, b, 9, -24 in increasing order.
-24, -15, b, 9
Let p = 7177 - 7178. Sort 12, p, 2, -4.
-4, p, 2, 12
Let u be 1*2/8 + 198/8. Let m be 0 - (u/5 + -10). Suppose m*p - 5 = -5*f, 3*p - 5*f = -8 - 5. Put 2, p, 1 in decreasing order.
2, 1, p
Let k = -422 + 393. Let i be 2/(4 + 2)*k/(-29). Put 1/7, 0.3, i, -0.5 in increasing order.
-0.5, 1/7, 0.3, i
Let f = 23166 - 23163. Put -4/3, f, -2/5, -372 in decreasing order.
f, -2/5, -4/3, -372
Suppose 14 = -4*v + 3*x, 11*v = 10*v + x - 3. Suppose -20 = 5*u, 15*u = 3*t + 11*u - 7. Sort -2, -31, v, t.
-31, v, t, -2
Suppose 204*l = 47*l - 314. Put 234, -4, l in ascending order.
-4, l, 234
Let b = -170.1 - -170.3. Let s = 140 - 234. Sort -1/7, s, b in descending order.
b, -1/7, s
Suppose 53*d + 102 - 52 = -3. Sort -6, 93, d.
-6, d, 93
Let x = 3492 + -3490. Suppose -4*p + 14 = 5*b, -3*b = -3*p - 3 - 0. Sort p, -11, x, -3 in decreasing order.
x, p, -3, -11
Let j(k) = k + 11. Let q be j(-8). Suppose 2*n = -2*z - 2*n - 6, 7 = z - q*n. Let i(b) = b - 2. Let w be i(-1). Sort -5, 4, z, w.
-5, w, z, 4
Suppose 0 = -24*q - 46*q + 73 - 213. Sort 146, 3, 6, q in descending order.
146, 6, 3, q
Let c be (8/56)/(-5 + -3 + 60/8). Sort 0.078, 0, c in increasing order.
c, 0, 0.078
Let u = -22/5 - -39/10. Sort -1, 0, -5, -2.4, u in descending order.
0, u, -1, -2.4, -5
Suppose -193*u - 2340 = -37*u. Let o be (2/4)/((-13)/(-4)). Put -2, u, o in descending order.
o, -2, u
Let b(q) = q**2 - 2*q - 2. Let f be b(2). Let p be (-8)/14 + (680/(-35) - -24). Put p, f, -5, 6 in descending order.
6, p, f, -5
Let o be ((-6)/(-84))/(2/(-16)). Let t = -3.5 + 7.5. Let f be (-1 - (3/(-2) + 2)) + 1. Sort f, o, t in descending order.
t, f, o
Let g = 36402 + -691636/19. Put 35, g, -0.1 in ascending order.
-0.1, g, 35
Let m be (-4)/18 - 116/(-36). Let s = 164 - 160. Suppose 3*v + 10 = -s*g + 2*g, g + 2*v = -7. Sort g, m, 6 in decreasing order.
6, m, g
Let d be (4368/(-1716))/((-3)/66). Sort 0, -1, 5, d.
-1, 0, 5, d
Let c(s) = s**2 + 797*s - 5629. Let i be c(7). Put -0.09, 2, i, 3/47, -0.1 in descending order.
2, 3/47, -0.09, -0.1, i
Let c = 683.673 - 680.5. Let o = -0.173 + c. Let d = -1.3 - -0.8. Sort -0.4, d, o in increasing order.
d, -0.4, o
Let g(o) = -o**2 + 10*o + 150. Let y be g(-8). Sort y, -1, -4, 156.
-4, -1, y, 156
Let a be (77 - 5)/3 + (-10 - 40/(-5)). Sort 7, 0, 3/2, 5/2, a in increasing order.
0, 3/2, 5/2, 7, a
Let h = -580/17 - -34. Let s(d) = 3*d**2 - 22*d + 36. Let t be s(5). Let o be (-5)/(-6) + t + (-8)/6. Put -9/5, o, h in ascending order.
-9/5, h, o
Let u = 1565 - 92337/59. Let f = -7.26 - -7.4. Let c = -0.06 - f. Sort u, c, -4 in increasing order.
-4, c, u
Let p be (1449/(-92))/((-3)/88). Let c = -466 + p. Sort -14, -3, -2, c.
-14, c, -3, -2
Suppose -41*g + 42*g - 69 = 5*p, -2*g = 2*p + 6. Sort 1, p, -4, 8, -23.
-23, p, -4, 1, 8
Let i be (8/(-12))/(4/(-6)). Let a(p) = -20*p**2 - 4*p + 2. Let b be a(4). Let o = -339 - b. Sort o, i, 4 in decreasing order.
4, i, o
Let i(q) = 2*q - 14. Let r be i(8). Let o = 0.29 + -3.29. Let d = o + 0. Put d, r, 1/9, 3 in increasing order.
d, 1/9, r, 3
Let c(v) = 120*v + 724. Let y be c(-6). Let h be (265/20 - 1/y) + 5. Suppose -14 + 4 = -5*a. Sort 3, a, h in decreasing order.
h, 3, a
Let b = -81273/455 - -893/5. Let h = b + -172/455. Let c = 0.08 + 0.22. Put 0.1, c, -2, h in descending order.
c, 0.1, h, -2
Let h be -1 - (-20)/(-9) - (-206)/927. Let x be 4/12*(2 + h/1). Sort 1, 2, 11, x.
x, 1, 2, 11
Suppose -2 = 2*m, 2*x - 18*m + 22*m = 4. Let v = -0.5 + 0. Let g = 917/5 + -6439/35. Sort g, x, -7, v in decreasing order.
x, v, g, -7
Suppose 0 = -32*f + 61*f - 87. Sort 3/5, 4/7, f, 5 in ascending order.
4/7, 3/5, f, 5
Let y = -120 - -89. Let b = -34 - y. Let n = -9 - -7. Sort b, n, -4.
-4, b, n
Suppose -158 - 255 = -69*i - 137. Put i, -13, 65 in increasing order.
-13, i, 65
Let b = -1.014 + 0.85. Let p = 0.014 + b. Let j = p - 0.25. Sort -2/13, j, -3 in decreasing order.
-2/13, j, -3
Let q be 5 + (0 - (1 + -1)). Suppose -q*v = -3*m + 5, 3*v + 0*v = 5*m + 13. Let j be 7/2*16/28. Sort 1, m, j in ascending order.
m, 1, j
Let l = -6.4136 + 0.4646. Let d = l + -0.051. Suppose -5 = -2*t - 13. Sort t, d, -1/3, 4 in decreasing order.
4, -1/3, t, d
Let y be ((-4)/(-6))/(29/(174/20)). Let c = -352 + 1057/3. Put c, -28, y in descending order.
c, y, -28
Let i(b) = -b**3 + 4*b**2 - 4*b + 4. Let c be i(3). Let t be 8 - (-1 + 0 + -1). Suppose -2*y = -3*y - t. Sort c, y, -2 in descending order.
c, -2, y
Suppose 2*a - 3*q = -0*q + 11, a - q = 5. Suppose 9*u = -3*b + a*u + 7, -5*u = 5. Put b, 3, -28, -4 in ascending order.
-28, -4, 3, b
Let b = 0.9761 - 1.2761. Sort b, 0.5, 0.6, -5, 1/7.
-5, b, 1/7, 0.5, 0.6
Let r = -254 - -382. Let v = r - 132. Put -0.5, -2, v, 3/8 in decreasing order.
3/8, -0.5, -2, v
Let a = -1.5 - -2. Suppose -8*n = -n - 56. Let c be 4/n*(14 - 17). Put -10, c, a in decreasing order.
a, c, -10
Let q = 70 - 70.3. Let x = 2.1 + -3.31. Let h = x + 1.21. Sort q, 1, -0.1, h in increasing order.
q, -0.1, h, 1
Let h = 0.03353 + 43.96647. Sort -4, 4, h in descending order.
h, 4, -4
Let z = 982 + 243. Sort 3, 5, 2, z in increasing order.
2, 3, 5, z
Let p = 18.86 - 22.66. Let y = -4.5 - 1.7. Let w = p + y. Put 2, w, -5 in descending order.
2, -5, w
Let a = 2 + -3. Let g(i) = 17*i**2 + 26*i + 130. Let l be g(-7). Let d = -788 + l. Put d, 4, a, -3 in decreasing order.
4, a, -3, d
Suppose 5*l + 27 = -5*a + 22, a + 5 = 0. Sort -1, 2/15, -15, l in increasing order.
-15, -1, 2/15, l
Suppose 2*d - 3*n + 5 = 17, -5*n - 19 = -3*d. Let o(x) = -x**3 - 8*x**2 + 30*x + 244. Let r be o(-8). Sort -2, r, -1, d in descending order.
r, d, -1, -2
Let c = -57 + 57.15. Let h = c - -2.45. Let z = -8.6 + h. Sort 3, -4, z in decreasing order.
3, -4, z
Let t = -3 - -31. Suppose 15*n = 8*n + t. Let m = 140 + -134. Sort n, -2, m in ascending order.
-2, n, m