= 2*m + 5. Sort 11, w, k in descending order.
11, k, w
Suppose -k = -2 - 2. Suppose 3*d + k*j - 4 = -d, -3*d + j + 3 = 0. Let t be d/6*(1 - 11). Sort -1, -0.5, t.
t, -1, -0.5
Let g = -15 - -17. Let z = 18 - 17. Let v be 14/(-5) - z/5. Put v, -4, g in decreasing order.
g, v, -4
Suppose -7 = -d - 5*n - 0, -2*d + 5*n = 1. Suppose -12 = -4*o + 4*i, d*i + 0*i = 3*o - 9. Put o, 1, -3 in increasing order.
-3, 1, o
Let h = -2044 - -2077. Sort -6, h, 0.2 in descending order.
h, 0.2, -6
Suppose 20 = -3*n + 8*n. Suppose 1 = 3*k + n*u, 0 = k - 4*k + 3*u - 27. Sort 1, 2, k, 5 in decreasing order.
5, 2, 1, k
Let j = 81 + -78. Let m = 11 - 1. Sort m, 0.5, j in descending order.
m, j, 0.5
Let p be (-8)/(-6) + -1 - 28/(-6). Suppose p*m - 1 = -11. Put 0, 1, 3, m in decreasing order.
3, 1, 0, m
Let c = -3/4 - -1. Let u be 496/(-156) + 3 - 64/416. Sort 4, -1/5, c, u in ascending order.
u, -1/5, c, 4
Suppose v - 4 = -0*v. Suppose -50 + 10 = -v*s. Suppose -5*x = -s*x + 15. Sort -4, 2, x in decreasing order.
x, 2, -4
Suppose 3*s - 5*s = 5*r + 23, -10 = 2*r + s. Let y be 3 - (-1 - 1)*r. Let a = -25 + 30. Sort 2, y, a.
y, 2, a
Let c(y) = -2*y**3 + 109*y**2 - 51*y - 162. Let v be c(54). Put -4, v, 38, 1 in ascending order.
-4, v, 1, 38
Let y = 4 - 7. Let l = 145 + -140. Sort y, -2, l in ascending order.
y, -2, l
Let u = 697 + -700. Put -6, u, 13 in descending order.
13, u, -6
Let z = 1108 + -1105. Put z, -30, -6 in descending order.
z, -6, -30
Let q(v) = 2*v**2 - 2. Let h be q(-1). Suppose 0 = 4*f + 3*a - 14, f + 3*a - 8 = -h*f. Put 5, f, -2, -5 in descending order.
5, f, -2, -5
Let p be 232/(-20) - 4/10. Suppose k = -q + 16, 0 = 2*k - q - 10 - 16. Let h = 13 - k. Sort -2, p, h.
p, -2, h
Let u be 1 + 2 + (-62)/20. Suppose -6*w + 41 = -13. Let s be (-5)/((-150)/155) + 3/w. Put u, 0, s in increasing order.
u, 0, s
Let a = -5.66 + 4.66. Let k be ((-5)/4)/(2/(-16)). Let d be (-34)/(-10) - 4/k. Sort a, d, -3.
-3, a, d
Let y = 1 - 1.5. Let c = 367/3249 - 2/1083. Sort y, -0.4, c in increasing order.
y, -0.4, c
Let f be -61 + -1 + 5 + -5. Put -3, 4, f in descending order.
4, -3, f
Suppose 4833*c - 4819*c = 70. Sort -17, c, 0.
-17, 0, c
Let t be (-6)/(-9)*(-255)/34. Sort -20, -1, t in descending order.
-1, t, -20
Let q = 92/3 - 31. Let t be 10/4 - 1 - 450/252. Sort q, 1, -4/3, t.
-4/3, q, t, 1
Let o be (9/2)/(2/(-20)). Let i = -314/7 - o. Let m be (3 - 30/9)/(-1). Sort m, -4, i in decreasing order.
m, i, -4
Suppose -6*v = -18 - 12. Sort -1, v, 3.
-1, 3, v
Let n = -7 + 4. Suppose -3*i = 5*w - 124 - 130, 2*i + 56 = w. Let u be 39/(-2)*w/(-78). Put u, 0, n in descending order.
u, 0, n
Let k be 2*(-5)/(-6 - -11). Put k, -4, 3 in decreasing order.
3, k, -4
Let y be 28/(-6) + 6/9. Suppose 5*o - 2 = -j, -j + 2*j = 4*o + 2. Let g be (-16)/12*9/(-2). Put y, g, o in descending order.
g, o, y
Let k be -11 - (9 + -10 - 10). Sort -4, k, -18, -7 in increasing order.
-18, -7, -4, k
Suppose 15*f + 190 = -23*f. Sort f, -4, 0, -30.
-30, f, -4, 0
Let s = 0.5373 - 0.0373. Sort 0.04, s, 17.
0.04, s, 17
Suppose 5*o + 2*u = 1, 4*o - 3*u + 22 - 9 = 0. Let m = 9 - 4. Sort 1, o, m, 10 in decreasing order.
10, m, 1, o
Let b(i) = -i**3 - 8*i**2 + 2*i + 4. Let r be b(-8). Put r, 3, -2, 4 in increasing order.
r, -2, 3, 4
Let v = -74 + 58. Sort v, 4, 3/4, 3 in decreasing order.
4, 3, 3/4, v
Suppose 33*d - 25 = 28*d. Let z be -4*d/(-80)*-4. Put -4, -5, z in descending order.
z, -4, -5
Let h = 39 - 34. Sort -0.1, 14, h in ascending order.
-0.1, h, 14
Let z be (-1020)/42 - 4/(-14). Let m(f) = f**3 + 7*f**2 - 3*f + 17. Let g be m(-8). Let u = z - g. Sort -2, -6, u in descending order.
u, -2, -6
Let k = -863 - -40555/47. Let v = k + 206/141. Sort -2/13, 0.2, v in descending order.
v, 0.2, -2/13
Let l = 81 + -76. Let y = l + -19. Sort y, -4, -5 in descending order.
-4, -5, y
Let s = -312 - -309. Let h = -2.7 + 21.7. Put h, s, -1/7 in descending order.
h, -1/7, s
Let r be (6 - 0)/6*2*1. Suppose -2*m = -2*q + 6, -4*m - 2 = -2*q + r. Put 5, -25, m in descending order.
5, m, -25
Let i be 98/(-504) + (-8)/(-18). Put 0.3, -4/7, i in increasing order.
-4/7, i, 0.3
Let v be (132/(-77))/((-4)/(-14)). Sort v, 2, -8 in descending order.
2, v, -8
Let o = -0.0981 + 0.0381. Sort -1/7, -15, o, 5.
-15, -1/7, o, 5
Suppose 2*n + 4 = -0. Let g = 627 - 615. Sort n, 5, g in increasing order.
n, 5, g
Suppose -2*f + 4*f - 32 = 0. Suppose -4*y + f = 2*d - 2, 0 = -y + d + 6. Put -1/7, 0, y in decreasing order.
y, 0, -1/7
Let l = -3.8 + 6.8. Sort -2, 0.138, l.
-2, 0.138, l
Let r = -6.64 - -2.64. Sort 1/2, r, 8.
r, 1/2, 8
Suppose 0 = -764*n + 772*n. Put -1, n, 3, -5 in descending order.
3, n, -1, -5
Suppose -138*b = -142*b + 4. Suppose 5*h = -5*i + 20, 3*h - 4 = 4*i + b. Put 11, i, 0 in ascending order.
0, i, 11
Let i(l) be the third derivative of -l**6/240 - 7*l**5/60 + l**4/8 - 2*l**2. Let s(c) be the second derivative of i(c). Let u be s(-6). Sort u, 5, -2.
-2, u, 5
Suppose 0 = -f - 23 + 26. Sort 0.5, 5, f, 1 in increasing order.
0.5, 1, f, 5
Suppose 3*t = -2*y - 376, -690 = 5*y - 3*t + 250. Let f = 188 + y. Let h = 1 - 7. Put f, h, 1 in ascending order.
h, f, 1
Let b(k) = -k**2 - k + 5. Let r be b(4). Let f = r + 11. Suppose -5*h + 4*z - 25 = -z, -3*h - 5*z + 1 = 0. Put 1, h, f in decreasing order.
1, h, f
Let y(u) be the first derivative of u**3/3 - 4*u**2 + 8*u - 2. Let o be y(7). Let v be (-4 + (-72)/(-15))/((-6)/(-45)). Sort 4/7, o, v in decreasing order.
v, o, 4/7
Suppose -16*u + 13*u = -3. Let n = 140 - 2101/15. Put n, u, -1/2, -3 in descending order.
u, n, -1/2, -3
Let b = 0 - 0.4. Let k = 0.1 + b. Let s = -131/3 - -44. Sort s, k, -5.
-5, k, s
Let o(u) = -u**2 + u + 2. Let l be o(0). Suppose 4*h + 9 = h. Let d be 1*1/h*3. Sort d, l, 0.
d, 0, l
Let t = 13 + -8. Let x be 20/(-3)*42/(-35). Let s(b) = -2*b + 14. Let a be s(x). Sort a, -8, t.
-8, a, t
Suppose -4 = -0*f - f + 3*k, 5*k = 3*f - 4. Put 5, f, -3/4 in descending order.
5, -3/4, f
Let j = 78.9 + -69. Let v = j + -10. Sort v, 0.2, 0.1, 0 in ascending order.
v, 0, 0.1, 0.2
Suppose -2*r + 6 = -0*r. Let b be (-6)/(-4)*(r + -5). Sort -1, b, 4.
b, -1, 4
Let d be 1/(0 - ((-22)/(-4) - 4)). Put d, 0, -5 in descending order.
0, d, -5
Suppose 5*x + 12 = -4*q, q - 4*q - 3*x - 6 = 0. Sort 0, -4, q.
-4, 0, q
Suppose 5*o = 4 + 1. Let s be 1/(-12)*-3 - (0 + o). Sort -5, 2, -0.3, s.
-5, s, -0.3, 2
Let p = -2 - 0. Let j = 255 - 249.89. Let i = 0.11 - j. Put -0.1, i, p in ascending order.
i, p, -0.1
Let y = -207 - -206. Put -69, y, 1/3 in decreasing order.
1/3, y, -69
Let q be -3*(-8)/(-30)*10/(-2). Suppose 0 = 14*s - 2*s - 60. Sort -2, q, -5, s.
-5, -2, q, s
Let s = 3673 + -3712.91. Let v = s + 40. Put 3/7, v, 4 in increasing order.
v, 3/7, 4
Let a be ((-3)/(-5))/((-6)/90). Let m be 4 + 0 + 30/a. Let r be (-1)/(-6)*(-45)/6. Sort m, -0.1, r.
r, -0.1, m
Let a be -3 + 555/175 + 8/(-14). Let p = 0.1 + -0.2. Sort a, -4, p.
-4, a, p
Let q = -36 + 54. Let y(b) = 9*b**2 - 10*b - 1. Let s be y(-1). Let u = q - s. Sort u, -9, -2/7.
-9, -2/7, u
Let y = -32 + 26. Let j be (6/(-9))/(2/y). Suppose 3*t + 0 - 5 = -5*d, 4*t = -j*d - 12. Sort 2, t, -3.
t, -3, 2
Let i = 2323 - 2333. Let r(q) = q**3 - 4*q**2 + 4. Let g be r(4). Put -4, g, i in ascending order.
i, -4, g
Let s = 57 + -56.8. Let c = -27.2 + 25.8. Sort c, -0.3, s in descending order.
s, -0.3, c
Let x = -472 + 931/2. Sort 4/7, -0.5, x, 2/9 in increasing order.
x, -0.5, 2/9, 4/7
Let w = 2263 - 2260. Sort 2/7, 4/7, w, -1/2 in ascending order.
-1/2, 2/7, 4/7, w
Let r(j) = 3*j. Let a be r(-2). Let c(o) = -o**3 - 4*o**2 + 3. Let k be (-3)/(-6) + (-9)/2. Let v be c(k). Sort a, v, -2.
a, -2, v
Let z be -2 - -9 - 3 - 2/1. Sort z, -5, 3, 10 in descending order.
10, 3, z, -5
Let p be ((-3)/3 - 3) + 5. Let q be (35/14)/(p/2). Let j = q - 9. Put 2, j, 3 in descending order.
3, 2, j
Let y be 4/3*(-3)/2. Let m(z) = 4*z + 7. Let a = -15 + 12. Let r be m(a). Sort y, r, 0 in descending order.
0, y, r
Suppose -1 - 9 = 5*a, 2*a - 2 = -2*u. Suppose 2*k + 6 = z, 0*z + z - 3 = -k. Suppose -w + 4*m + z = 0, -u*w - 1 = -0*m + m. Sort w, -1, 1.
-1, w, 1
Let p = -41 + 42. Let b be -1*p/3*-1. Let w be 0 - (-4 + 1 - -4). Put 0.4, w, b in descending order.
0.4, b, w
Let b be 2/(-5) + (-44)/(-10). Let i be (6/b)/(-3)*-6. Let z be 5/(-30)*20*(-18)/15. Sort 1, z, i in descendi