 -0*m - 4*m. Sort 5, a, m in decreasing order.
5, m, a
Suppose 0 = 40970*u - 40974*u + 116. Put u, 4, 3/4, 2/11, 5 in descending order.
u, 5, 4, 3/4, 2/11
Let b(q) = -q**2 - 45*q + 247. Let t be b(5). Sort -677, 1, t in increasing order.
-677, t, 1
Suppose 4*i = 11*r - 8*r - 609, -5*i = 16*r - 3406. Put 0, r, 3 in ascending order.
0, 3, r
Suppose 329*t + 130*t + 2295 = 0. Let m(j) = -j + 1. Let d be m(-3). Sort d, t, -49, -4 in decreasing order.
d, -4, t, -49
Let t(u) = 2*u**3 - 43*u**2 + 23*u - 28. Let o be t(21). Suppose 8*f - 1122 = -o*f. Put 4, 2, f in increasing order.
2, 4, f
Let z be 12 + (7 + 55)*1/(-6). Let d be (-18)/8*16/(-3). Suppose 4*x = d, 0*x = v - 3*x + 5. Sort 9, z, v, 5 in ascending order.
z, v, 5, 9
Let h(v) = v**3 - 5*v**2 - 3*v + 12. Let d be h(5). Put 62, d, 3, 1 in decreasing order.
62, 3, 1, d
Let q = -3938 - -3935. Let o = 5.05 + -0.05. Let n = -4.9 + o. Sort n, q, -4, -0.3 in descending order.
n, -0.3, q, -4
Let q = -198 - -115. Let r = q - -91. Let x = 11 - r. Put 5, x, -0.03 in increasing order.
-0.03, x, 5
Let c(m) = -m**3 + 17*m**2 - 15*m + 1. Let g be c(16). Sort 2, g, -2 in descending order.
g, 2, -2
Suppose -5*w = -5*s + 1 - 6, 3*s = 4*w - 8. Suppose 0 = 24*t - 25*t - z + 10, s*t - 3*z = 47. Sort -2, 3, 4, t.
-2, 3, 4, t
Let u be ((-1403)/69 - -23)*6/4. Suppose 4*n - 30 = 3*x, -x - x = 4*n - 20. Let b(p) = -p**3 + 5*p**2 + 8*p - 4. Let l be b(n). Sort u, 1, l, -3.
-3, 1, u, l
Let s = 226931/17 + -13349. Sort 2/7, 0.311, s in decreasing order.
0.311, 2/7, s
Let c = 18.5 + -19. Let p(w) = w**2 + 4*w - 2. Let b be p(-7). Let r = b + -18. Sort r, c, -0.12.
c, -0.12, r
Let j = -15471 - -77418/5. Sort -1, 1, j in decreasing order.
j, 1, -1
Let p(x) = 4 - 3*x - 2 - 1. Let b be p(1). Let k(y) = 9*y - 108. Let c be k(12). Sort b, -3, c, 2 in ascending order.
-3, b, c, 2
Suppose 0 = 211*l - 52*l - 159. Put 0, 14, l in increasing order.
0, l, 14
Suppose 3*i = -5*j - 748, 11*i = 12*i + 2*j + 250. Let o = -244 - i. Sort -1/2, -1, o, 15.
-1, -1/2, o, 15
Let b be (1 - (-17)/(-14))/(((-8)/2)/(-8)). Sort 1/4, 4/11, b in decreasing order.
4/11, 1/4, b
Suppose 3*m + 10*j - 11*j + 8 = 0, m - 2*j + 6 = 0. Suppose 4*n - 2*r = 6, 25*n - 2*r = 27*n + 6. Sort 5, n, m in descending order.
5, n, m
Let z = -323 - -338. Let c be (84/z - 6)/((-3)/5). Sort c, 14, 0, 5.
0, c, 5, 14
Suppose -16 = 4*n - 2*w, -2*n - 4*w + 16 = -6*n. Let t(k) = -20*k - 78. Let i be t(n). Put -1, -37, i in decreasing order.
i, -1, -37
Let u = -281 - -304. Suppose u*i + 210 = 2*i. Sort 1, 2, i in decreasing order.
2, 1, i
Suppose 4*d = -5*c + d - 16, 0 = c - 4*d + 17. Let h = 128 - 124. Suppose 129*j - 130*j + h = 0. Sort j, -4, c, 2.
c, -4, 2, j
Let c = 64849 - 584329/9. Let p = 76 + c. Sort -1, -10, p.
-10, -1, p
Let a(p) = -2*p - p - 25 + 45 + p. Let q be a(10). Let t = -1 - -2. Sort 4, t, q in decreasing order.
4, t, q
Suppose 130*n - 7728 = -251*n - 2394. Let s = -0.1 + -0.9. Put s, 5, n in ascending order.
s, 5, n
Let h = 55.3 - 36. Let b = 19.5 - h. Let x(c) = c**2 - 6*c - 5. Let p be x(6). Put 7, -3, b, p in decreasing order.
7, b, -3, p
Let j = -0.2 - -0.3. Let n = 0.72 - 0.6801. Let m = n - 0.1399. Sort m, 3/7, j, 2/3 in descending order.
2/3, 3/7, j, m
Suppose -2*j + 3 = -3*b, -3*j + 5*b + 31 = 25. Sort -4, -7, -2, j, 5.
-7, -4, j, -2, 5
Let l be (-202)/(-1616) - 1/((-16)/(-18)). Sort -4, 3, 19, l.
-4, l, 3, 19
Let p = -0.1176 - 569.8824. Let h = 568 + p. Put h, 1, 2/25 in descending order.
1, 2/25, h
Let q = 96 + -356. Let w = 256 + q. Sort -10/13, w, 2/5 in increasing order.
w, -10/13, 2/5
Suppose 0 = -4*y + m - 43, -5*m + 403 = 2*y + 408. Sort -53, y, 5 in descending order.
5, y, -53
Suppose -2*g - 18 = 0, -22*n = -25*n + 13*g + 129. Sort n, 17, -63.
-63, n, 17
Let j = -42609 + 340923/8. Sort j, 0.1, -0.65 in descending order.
j, 0.1, -0.65
Let q = 1.6 - -0.4. Let u = 775 - 1210. Let i = u - -439. Sort q, 1/3, 0.2, i in decreasing order.
i, q, 1/3, 0.2
Let b = -93 - -156. Let i = -457.7 - -395.1. Let r = b + i. Sort -0.7, r, 2.
-0.7, r, 2
Let q = 471581.4 + -471581. Let r = 0.1 - 0.7. Sort q, -2/11, -6/7, r in increasing order.
-6/7, r, -2/11, q
Let l = 2996 - 3108. Sort 1, -1, l in ascending order.
l, -1, 1
Suppose 5*d + 5*j - 180 = 0, -j = d - 2*d + 34. Sort 0, -15, d in descending order.
d, 0, -15
Suppose -20*x + 279 = -17*x - 5*s, 0 = -3*x + 3*s + 285. Suppose -b - x = -8*b. Let k be ((-6)/(-4))/((-1)/(-2)). Put b, k, 4 in descending order.
b, 4, k
Let i(j) = 2*j - 1. Let r be 27/6 - 4/8. Let n be i(r). Let u = 50 + -47. Put u, 2, n in descending order.
n, u, 2
Let k be 2/9 + 22/(-18). Suppose -17*y - 1685 = -4*g - 12*y, -1715 = -4*g - 5*y. Let m = g - 427. Put m, 4, k, 3 in descending order.
4, 3, k, m
Let r = -27943.6 + 27944. Sort 5, 1, -1.8, r, -1 in decreasing order.
5, 1, r, -1, -1.8
Suppose -84*p - 80 = -1827 - 353. Let d(z) = z - 2. Let h be d(-3). Sort 3, p, h, 4 in ascending order.
h, 3, 4, p
Let h = 0.1 + -0.6. Suppose -j + 1 = 4. Let z = 1367567.7 - 1367568. Put j, 3, z, h in descending order.
3, z, h, j
Let q = -2644 + 2638. Sort 1, -0.21, q in decreasing order.
1, -0.21, q
Let l = -716.1 - -716.3. Put -2/9, -0.4, l, 27 in increasing order.
-0.4, -2/9, l, 27
Let m = -9/49 - 19/49. Let j = 1227 + -1229. Sort -1, j, 5, m in decreasing order.
5, m, -1, j
Let i = 8 - 8. Let p = -16 + 49/3. Put -4, p, i, -7 in ascending order.
-7, -4, i, p
Let p(b) = 14*b**3 - b**2 + 1. Let c be p(1). Suppose 3*y - 5*v = c, -2*v + 4*v + 6 = y. Suppose -5*f = -9*f + 4*l + 52, f + l - 23 = 0. Sort -1, y, f.
y, -1, f
Suppose 0 = x - 3*n - n - 3, -5 = 2*x + 3*n. Let q = -29.916 - -32.916. Put q, 1/7, x, 1/9 in decreasing order.
q, 1/7, 1/9, x
Let y be (1 - 17/5)*(1 + 4). Let l be 2/6*(6 + y)*-31. Suppose l = -4*j + 2*w, 0 - 6 = -2*w. Put j, -1, 0, -4 in decreasing order.
0, -1, -4, j
Let l(p) = -p - 5. Let y be l(-20). Suppose 5 = 10*q + y. Sort -6, q, -3, 1 in descending order.
1, q, -3, -6
Suppose 3*f - 18 = 9*f. Let q = 85 - 90. Let u be (0/(-2))/(0 + -2) - q. Sort 4, 1, u, f.
f, 1, 4, u
Suppose 14 = -7*o + 7. Let a = -5 + 15. Let t(d) = d - 7. Let n be t(a). Sort -3, o, n in descending order.
n, o, -3
Let z = 13/4 - 11/4. Let n = 207528 + -207542. Put n, z, 3 in increasing order.
n, z, 3
Let t = -11 - -1. Let i = -3 + 2. Let q = -223/38 - -1485/266. Put t, q, i in descending order.
q, i, t
Let z = -0.02 - 1.08. Let s = -0.7 - z. Suppose 11*q = 59 - 15. Sort s, 2/9, q in decreasing order.
q, s, 2/9
Let w = 266 - 190. Suppose -87 = 11*j - w. Sort j, 0.3, -0.1, 1/2 in descending order.
1/2, 0.3, -0.1, j
Let f(c) be the first derivative of 3*c**4/4 + c**3/3 + c**2/2 - c - 2. Let r be f(1). Let x be 1 + (35/25 - 2). Sort r, -3, x.
-3, x, r
Let w = 7411 - 7411. Let h = -8 - -9. Sort 9, w, h in increasing order.
w, h, 9
Let u = -2.1 - -0.1. Let t = 7 + -6.8. Suppose 924 = 57*o + 132*o + 4326. Sort u, o, t in decreasing order.
t, u, o
Let c be 3/(-48) + 6/32. Let z be 6 + -2 - (-1 + 1). Let f = 3 + -4. Put f, c, z in decreasing order.
z, c, f
Let f be (-2002)/539 + 104/28 + -4. Put -5, 13874, f in increasing order.
-5, f, 13874
Suppose 19*v = 24*v - 4620. Let q be 434/v - 5/6. Sort 5, q, 0.5 in increasing order.
q, 0.5, 5
Let s = 3 + -2.5. Let h = -0.095 + -0.005. Let v = 13 - 13. Sort h, s, v in ascending order.
h, v, s
Let w be (-24)/(-1512) + 8/(-18). Put 4, w, 3.71 in descending order.
4, 3.71, w
Let q(b) = -2*b + 6. Let c be q(2). Let h(r) = 2*r**2 + r - 4. Let p be h(c). Let g(m) = 3*m**3 + 1. Let n be g(-1). Put p, -3, n in descending order.
p, n, -3
Let x = -2636.1 + 2644. Put -2/9, 4, -9, x in decreasing order.
x, 4, -2/9, -9
Let w(v) = 2*v**2 + 2*v - 1. Suppose 3*j + 6 = 3*l, 4*l = -3*j + j - 16. Let p be w(l). Let k = -164102 - -164107. Put k, -1, p, -12 in descending order.
k, p, -1, -12
Let c(l) = l**2 + l + 4. Let v be c(0). Let j be 2/4 - 30/44. Let t = 5.08503 - 0.08503. Put v, j, t in descending order.
t, v, j
Suppose 8*h = 9*h - 2. Let t be (-112)/12*(h - 34/16). Sort 0, 1/7, t in descending order.
t, 1/7, 0
Let j(n) = n**2 + 3*n - 4. Let k be ((-8)/(-5))/(-1 - 11/(-10)). Suppose -5*c - 3*l = 0, -5*c + 3*l = 14 + k. Let i be j(c). Put i, -1, 3 in descending order.
3, -1, i
Let w = 14 + 1. Suppose 5*m - 2*m - w = 0. Let n be (6/2 - 25/5) + -