der.
g, -1, -679
Let n = 188.7 + -188.3. Let v = 14 + -8. Let z = -4 - -3.7. Put v, z, n in descending order.
v, n, z
Let i(k) = k**2 + 4*k + 3. Let z be i(-4). Let r be (4 - 3) + z - 8. Let p be 3/(r - -16) - 3/(-4). Sort p, 2, 3, -1 in increasing order.
-1, p, 2, 3
Suppose -3*v = -2*i - v - 4, -2*i - 9 = 3*v. Let s = -2876 - -2874. Suppose -5*t + 37 = 12. Sort t, -9, i, s in increasing order.
-9, i, s, t
Suppose 5 = 6*r + 5. Suppose -5*i + 7*i + 20 = r. Sort -7, -5, i in decreasing order.
-5, -7, i
Let l = -11512.7 + 11513. Suppose 0 = 4*j - 2*j. Sort l, j, 3, -1.9 in ascending order.
-1.9, j, l, 3
Let u be (6 - 7)/((-2)/(-1 - -3)). Let b = 3535 - 95446/27. Sort u, -0.3, b, 2.
-0.3, b, u, 2
Let a = 181.828 + -182. Let i = 12.828 - a. Sort i, -5, -0.4, -0.1 in descending order.
i, -0.1, -0.4, -5
Suppose -31*a + 18 - 142 = 31. Let w = -2.6 + 3. Sort w, -0.13, a in descending order.
w, -0.13, a
Suppose 3*m + 5 - 2 = 3*f, 4*m + 20 = 0. Let x be f/(50/(-45) + (-2)/9). Suppose 0 = r + 2*h + x - 16, -r + 1 = -2*h. Sort 5, 2, r, -3.
-3, 2, 5, r
Let q be (-1)/4 + (-17)/(-4). Let k = 2 - q. Suppose 8*f - 2*f = -3*f + 179*f. Sort f, k, -5 in decreasing order.
f, k, -5
Let c(r) = r**3 - 14*r**2 - 25*r + 318. Let t be c(15). Put t, 4, 3, 5, -2 in decreasing order.
t, 5, 4, 3, -2
Suppose 0*g - 2*g = -6. Let n = 1496 + -1496.9984. Let x = -0.0016 + n. Put x, -4, 1/6, g in ascending order.
-4, x, 1/6, g
Let w = 4 - 2. Let u = 1728 - 1724. Put -5, u, w, -1 in increasing order.
-5, -1, w, u
Suppose -404 - 3380 = 344*o. Put o, 0, -2, 5, 4 in increasing order.
o, -2, 0, 4, 5
Let y(z) = z**3 - 11*z**2 + 5*z + 14. Let w be y(10). Let l = -5 + 5. Let b be -5 + (l*(-3)/9)/(-2). Put 5, -4, w, b in decreasing order.
5, -4, b, w
Let p(t) = -2*t**2 + 10*t - 5. Let u be p(4). Suppose 56 - 41 = -u*v. Put 1, v, 10 in decreasing order.
10, 1, v
Let a = -1309.1 + 1370. Let q = a + -58. Let w = q + 4.1. Put -3, w, -0.1 in increasing order.
-3, -0.1, w
Let v = 8/35 + -222/665. Let t = 2027 + -2028. Sort v, t, -3 in ascending order.
-3, t, v
Let b(a) = -a**3 - 34*a**2 + 36*a + 39. Let g = 41 - 76. Let u be b(g). Sort 0, u, 3 in descending order.
u, 3, 0
Let v(j) = -89*j - 620. Let i be v(-7). Suppose 65*t = 51*t - 182. Sort -3, 0, t, i in decreasing order.
i, 0, -3, t
Let t be ((-14)/21)/(24/18 + -1). Sort t, 5, -42 in decreasing order.
5, t, -42
Let w(z) = z**3 + 5*z**2 - 5*z + 7. Let u be 4 - (-1 + 5 - 0). Suppose u*c - 3*c - t - 19 = 0, 5*c + 29 = t. Let x be w(c). Sort -4, x, -15.
-15, -4, x
Suppose -c = 6*t - 4*t - 12, t - 16 = -3*c. Sort -4, -8, -3, 7, c in increasing order.
-8, -4, -3, c, 7
Let p be (-2)/(-36) + 5035/318*(-1)/15. Sort -106, p, 0, -2, 3 in increasing order.
-106, -2, p, 0, 3
Let v = 2 + -2.4. Let p = -0.03232 + -1.96768. Sort 2, 4, p, v in decreasing order.
4, 2, v, p
Suppose -4*i + 7*i - 63 = 0. Suppose 3*l = 4*r - i, -r + 3*l - 8*l = -34. Suppose -3*k + r + 3 = 0. Put 0, k, 7, -3 in descending order.
7, k, 0, -3
Let i be (-9)/(-630) - (-39)/(-130). Let f = 20.9 - 22. Let w = f - -1. Sort i, -0.2, -1, w in decreasing order.
w, -0.2, i, -1
Let i = -99.529 + 98.429. Let t be (-40)/18*(-6)/(-16). Sort 0, i, t in decreasing order.
0, t, i
Let w(n) = -n**3 - 6*n**2 - 7*n - 2. Let u be 17 - 2 - (5 - 3). Let i = 8 - u. Let o be w(i). Sort 5, o, -2 in decreasing order.
o, 5, -2
Let r = 51326/13 - 3948. Put 2, 9, -5, r in increasing order.
-5, r, 2, 9
Suppose 304*h - 59 = 363*h. Let k(r) = -r - 2. Let u be k(-3). Put h, 3, u, -5 in descending order.
3, u, h, -5
Let s(c) = 17*c**2 + 14*c - 360. Let f be s(-5). Let d = -1 + 0. Let l = -6 - -3. Sort l, d, f in decreasing order.
d, l, f
Let w = -608.2 - -606.2. Put 2/3, 5, w, -3/2, 63 in decreasing order.
63, 5, 2/3, -3/2, w
Let c(d) = 5*d + 46. Let t be c(-8). Let b be (-2)/t - ((-70)/(-6))/(-5). Let j(r) = -r**3 + 1. Let w be j(b). Put w, -2/17, -2/11 in decreasing order.
-2/17, -2/11, w
Let d(m) = -m**3 + 5*m**2 + 6*m + 14. Let q be d(6). Suppose -3*i + g - 13 = 0, -2*g + 0*g + q = -2*i. Let s = -9 + -8. Sort s, 4, i in descending order.
4, i, s
Let l be ((-48)/(-14))/(3/21). Suppose 18*r = 12*r + l. Let n = 173/2 + -85. Put n, r, 7 in increasing order.
n, r, 7
Let m be (24/18)/(44/132). Sort 3, m, -21, 78.
-21, 3, m, 78
Suppose -9 = -5*p + 6. Let y = -2 + 0. Let b be (42/70)/(133/35 + -4). Sort b, y, p in descending order.
p, y, b
Let r = -5/3803 - 15167/34227. Let b = -3 + 4. Put 1/10, b, -2/3, r in increasing order.
-2/3, r, 1/10, b
Suppose -2*m + 5*z + 9 = 0, -3*z = 4*m - 7 + 2. Suppose -2*p = -m*t + 4 + 4, t = -p. Let g be (-18)/18 + (8/14)/1. Sort g, t, 3, -2 in increasing order.
-2, g, t, 3
Let v = -951 + 23777/25. Sort -2, -4/5, v.
-2, -4/5, v
Let f be 4/10*890/712. Put -1/2, f, -1/3, -6/5, 18 in decreasing order.
18, f, -1/3, -1/2, -6/5
Let a(j) = -j**2 + 2*j - 1. Let g be a(1). Let p = 346 - 649. Let x = p - -303.3. Sort -1, 6/11, g, x in decreasing order.
6/11, x, g, -1
Suppose 27 = w - 5*z, -2*w - 5*z = -71 - 13. Suppose w = -v + 40. Put -4, v, -5 in ascending order.
-5, -4, v
Suppose 16*z - 2120 = 7*z + z. Sort -1, z, 5, -5 in ascending order.
-5, -1, 5, z
Suppose 5*c - 4*x = -9*x + 5, -5*c = -2*x - 19. Suppose -5*v - 8 = -4*u, c*u - v = u + 4. Sort 31, -2, 5, u in decreasing order.
31, 5, u, -2
Suppose 5*v + 2*g + 21 = g, 5*v - 4*g + 16 = 0. Suppose -26 - 1 = 12*b + 69. Sort v, b, -2.
b, v, -2
Let a = 16.33 + -12.93. Sort a, -6, 2.
-6, 2, a
Let n = 32253 + -32183. Put -5, 4, 1, n in decreasing order.
n, 4, 1, -5
Let i = -39668 - -39669. Sort i, 2.03, -1/4, -1 in ascending order.
-1, -1/4, i, 2.03
Let u = 0.03686 - 0.93686. Sort u, 38, -4, -0.03 in ascending order.
-4, u, -0.03, 38
Let b = 217 + -215. Suppose -5*c + 15 = -2*u, 0 = 4*u - 5*c - 3 + 8. Put u, 1, 17, b in descending order.
17, u, b, 1
Let v be 259/(-148) - 135/(-20). Sort 5/4, 7, 0.2, v in decreasing order.
7, v, 5/4, 0.2
Let l(f) = -9*f - 5. Let c(i) = -32*i - 15. Let g(x) = 2*c(x) - 7*l(x). Let u = 15 - 7. Let h be g(u). Put 8, -4, -1, h in decreasing order.
8, -1, h, -4
Let j = -9.9 - -7.7. Let y = j - -1.7. Let p = -76 + 230/3. Sort y, 0.3, p, 5 in descending order.
5, p, 0.3, y
Suppose -4*k + 20 = -h + k, -4*h - 20 = -5*k. Suppose -1 - 23 = -3*c + 3*t, h = 3*t + 12. Let d = 101.2 + -101. Put c, d, 6 in ascending order.
d, c, 6
Let i(y) = -22*y + 5. Let h be i(-8). Let p = h + -170. Sort -5, -2, p.
-5, -2, p
Let w = 0.30129 - 0.24129. Sort w, 1/5, 1/458.
1/458, w, 1/5
Let s(x) = -x**2 - 10*x - 17. Let l be s(-2). Sort 3, -6, 0, 1, l in increasing order.
-6, l, 0, 1, 3
Let p(w) = -6*w - 1. Let b be p(-1). Let x(a) = -a + 5. Let f be x(b). Let j = 1342 + -1337. Sort j, f, 6 in decreasing order.
6, j, f
Suppose 252*d - 283*d = 31. Let f = 1 - -7. Suppose 10 = f*o - 6*o. Sort o, 27, d in descending order.
27, o, d
Suppose -w + 3*w = b - 4, -b = 5*w + 24. Suppose -20*s + 16*s + 68 = 0. Suppose 7*f - s*f + 10 = 0. Put f, w, -5/4 in decreasing order.
f, -5/4, w
Suppose -11*m = -18*m + 35. Suppose -7*b + 30 = -m*y + 9, 4*y + b - 3 = 0. Put 4, y, -4 in decreasing order.
4, y, -4
Let i = 0.4694 - 0.3894. Sort 28, 4, 1/8, -5, i in descending order.
28, 4, 1/8, i, -5
Let k(w) = w**2 + 7*w + 8. Let v be k(-6). Suppose -2*z - a + 76 = 0, z + 2*a = -2*z + 114. Let h = -43 + z. Put h, -4, 3, v in increasing order.
h, -4, v, 3
Suppose g + 5 = 2*r + 2, -8 = 3*r - 4*g. Let k(t) = 3*t**2 - 16*t + 14. Let q be k(r). Suppose 6*d = d + 5. Sort q, 3, -1, d in descending order.
3, d, -1, q
Let f = -11253 - -11248. Sort 1, -3, f, -40, -13 in ascending order.
-40, -13, f, -3, 1
Suppose -5*b + b = -4. Let r be (-104)/(-20) + (0 - 3/15). Suppose -x + r = -0*x. Put 4, -5, b, x in increasing order.
-5, b, 4, x
Let w = -123 - -124.7. Sort w, -1.1, 0.1 in decreasing order.
w, 0.1, -1.1
Suppose 7*b = -5*b + 12. Suppose -5*m + 25 = 0, m + 18 - 8 = 5*p. Suppose 151 = 5*n + 4*g, -5*g + 26 = -p*n + 124. Put n, b, 0 in increasing order.
0, b, n
Suppose -30 = -2*k - 4*l, -791*k + l = -786*k - 9. Sort 5, 10, -655, k in ascending order.
-655, k, 5, 10
Suppose f - 279 = 5*j, -3*j - 18 = -5*f + 1267. Let c be (-1*(-2)/(-4))/(6/4). Put c, -0.4, 2, f in descending order.
f, 2, c, -0.4
Let d be (16/(-60))/(10*(-12)/(-600)). Sort 0.24, 27, d in descending order.
27, 0.24, d
L