+ 15 = -46*s + 43*s. Put -5, s, -38, -2 in ascending order.
-38, -5, s, -2
Suppose 17 = -114*j + 131*j. Sort j, -62, 2 in ascending order.
-62, j, 2
Let y = 5 + -3. Suppose 4*x + n + 3 = 0, -5*n + 24 = -1. Suppose 5*z + 7 = -3*r - 0*z, 3*r = 5*z + 13. Sort x, r, y.
x, r, y
Suppose 2*b - 94 = 4*n, -5*b - 26 = -11. Let c be (-11)/(-8) - n/(-20). Put 3, c, -1/3 in ascending order.
-1/3, c, 3
Suppose -3*y - y = -9*y. Put -3, 3, y, -2 in descending order.
3, y, -2, -3
Let g = -710 + 713. Sort g, -0.1, -4, 10 in decreasing order.
10, g, -0.1, -4
Let b = -233 + 233. Sort -1, 28, b.
-1, b, 28
Let g = -111.4 + 112.4. Sort -4, g, -0.1, -1/22.
-4, -0.1, -1/22, g
Let u = 94 - 9. Let i = 84.6 - u. Let d = -5 - -10. Sort d, 0.13, i in decreasing order.
d, 0.13, i
Suppose 8 - 17 = 3*a - 5*p, 0 = 4*p - 12. Sort 3, a, 5, -3 in descending order.
5, 3, a, -3
Suppose -5*u + 3*u - 54 = -3*l, 5*u = -15. Put l, 0, 3 in descending order.
l, 3, 0
Let v = -32 - -34. Let n = 25 - 28. Put 5, n, v in decreasing order.
5, v, n
Let o be -1 - (0 + (-1)/2). Let d = -0.084 + 70.084. Let y = -69.5 + d. Put y, -1/3, o in descending order.
y, -1/3, o
Suppose 0 = -3*x + 6 + 3. Put 2, 10, x in descending order.
10, x, 2
Let l = 7036.6 - 7037. Let q = -2 + -1. Sort q, -1.6, l.
q, -1.6, l
Let y = -59.97 - 1.03. Let g = y - -61.31. Let l = 5.31 - g. Put l, -2/5, 0.3 in increasing order.
-2/5, 0.3, l
Let p be (-26)/(-143) + 156/(-11). Let l = p + 18. Suppose m - 3*n = n + 6, -l*m + 2*n + 10 = 0. Sort 6, m, 4 in increasing order.
m, 4, 6
Suppose 0*k = -k + 139. Let s = k + -137. Put -0.08, -2/7, s in decreasing order.
s, -0.08, -2/7
Let j = -14 + 10. Let u be ((-4)/((-32)/12))/((-5)/10). Put u, j, 3 in descending order.
3, u, j
Let i = -52 - -85. Suppose -2*k - i = -5*w, 2 = -0*w - 2*w - 3*k. Let p be (-5 - (9 - 19))*-1. Put p, w, 6 in decreasing order.
6, w, p
Let k(u) = -11*u - 6. Let w(q) = -13*q - 5. Let j(x) = 6*k(x) - 5*w(x). Let a be j(-6). Put a, -4, 3, 13 in descending order.
13, 3, -4, a
Let w be (-84)/(-18) - 2/(-6). Let k be 0 - (-1 + (5 - 7)). Let c be -1*(2 + -1)*-4. Sort c, w, k in ascending order.
k, c, w
Let s be (-3 + 1 + 1)*(-18)/(-369). Sort 1, -4, -8/5, s.
-4, -8/5, s, 1
Let t be 60/25 - (-4)/(-10). Let r(b) be the first derivative of -b**2/2 + 9. Let s be r(3). Sort t, 3, s in decreasing order.
3, t, s
Let u(j) = 4*j + 2. Let z be u(-1). Let t be (17 - 3)*(-1)/(-2). Sort -3, -4, t, z in descending order.
t, z, -3, -4
Let m = 5476/13 + -421. Sort 1/9, -0.2, m, 3/4 in descending order.
3/4, m, 1/9, -0.2
Let o be -4 - (2 - 5) - (-1 + -17). Sort -1/4, 0.4, o.
-1/4, 0.4, o
Let t = -8201 + 8191. Suppose -4*w - 6 = -w. Sort w, -4, t.
t, -4, w
Suppose 52*a = 53*a - 5. Sort 123, 1, a.
1, a, 123
Let a = -81 + 72. Let m = a + 11. Put 5, m, -3 in ascending order.
-3, m, 5
Let s = 1425 - 1426. Suppose 5*h + 5*c + 45 = 0, -h + 7*c - 5 = 4*c. Let p = 3 + h. Put p, s, 6 in decreasing order.
6, s, p
Let z = 30 + -22. Let a(u) = 2*u**2 - 16*u - 2. Let g be a(z). Sort 7, 2, g.
g, 2, 7
Let s(i) = i**2 + 6*i + 6. Let h be s(-6). Let k = -6 + h. Suppose k = -2*l + 9 + 1. Sort -2, l, 2 in increasing order.
-2, 2, l
Suppose -3*r + 4 = 28. Let h be ((-2)/4)/((-13)/130). Suppose -h*q - 2*g - 7 = -0*g, 2*q - 2*g = -14. Sort 0, q, r in increasing order.
r, q, 0
Let j = -28 + 10. Suppose -58*s - 75 = -73*s. Sort s, -1, j in decreasing order.
s, -1, j
Let u = -19 - -20. Let n(s) = s - 4. Let g be n(u). Suppose -4*q = -4 + 12. Sort g, q, -1 in descending order.
-1, q, g
Let s = -5 - -8. Let v be ((-20)/14)/((-530)/1484). Sort s, 2, -2, v in increasing order.
-2, 2, s, v
Let c = -0.1 + 0.3. Suppose -b + 28 = 3*b. Suppose -18 = b*v - v. Put v, -0.5, c in decreasing order.
c, -0.5, v
Let k(a) = -a**3 + 3*a**2 + 5*a - 11. Let l be k(4). Let b(c) = c**3 + 8*c**2 + 7*c - 1. Let v be b(l). Put 0, v, -11 in increasing order.
-11, v, 0
Suppose 24 = 5*k + o - 5, -2 = 2*k - 3*o. Let u be 5/(k/2) + (-4)/4. Put 2, 5, 4, u in increasing order.
u, 2, 4, 5
Suppose 5*r + 6 = -2*k - 0, -3*k = 2*r + 9. Put 0.15, 1/7, -2, k in descending order.
0.15, 1/7, -2, k
Let h be (32/(-40))/(10/25). Sort 4, -5, h, -1 in decreasing order.
4, -1, h, -5
Let o = -0.23 - -0.33. Let a(i) = 3*i + 20. Let k(x) = x**3 - 11*x**2 - 2*x + 14. Let g be k(11). Let r be a(g). Put r, 3, o in increasing order.
r, o, 3
Let b(x) = -x**3 - 18*x**2 + 39*x - 22. Let t be b(-20). Sort t, 6, 5, 3 in decreasing order.
6, 5, 3, t
Let g(n) = -n**2 - 20*n + 3. Let q be g(-20). Suppose 3*a - q*m = -a + 20, 4*a - 2*m = 16. Let i be (1 + -7)/(-9 - -11). Put a, i, 1 in decreasing order.
a, 1, i
Let w = -36 - -37. Let b = w + -5. Let x = 1 - 2. Put b, -5, x in descending order.
x, b, -5
Let u(l) = -l**2 - 14*l + 47. Let f be u(-17). Sort 0.5, f, -1 in descending order.
0.5, -1, f
Suppose 6*t - 12 = 3*t. Suppose -q - t*z = 3, 0 = -3*q + 6*q - 4*z - 7. Let l be ((3 - 0) + -2)/q. Sort -5, 4, l.
-5, l, 4
Let k be (-21)/(-75)*90/68. Let d = k + 1/34. Let z(p) = p**2 + 8*p + 8. Let n be z(-6). Sort -1/11, d, n in decreasing order.
d, -1/11, n
Let p = -4 - 5.4. Let i = p - 6.6. Sort i, 0, 4.
i, 0, 4
Let u = 1 + -1. Let p(j) be the first derivative of j**4/4 - 2*j**3 + 3*j + 48. Let l be p(6). Sort 2, u, l in increasing order.
u, 2, l
Let m be (-3)/((2 - 2) + (-18)/12). Suppose 0 = 6*b - m*b + 24. Put -3, b, 3 in ascending order.
b, -3, 3
Let b be (-8)/(-6) - (0 + 1). Let g = -68 + 66. Let w be (-51)/(-21) - (g + 1 + 3). Put w, -2, b in increasing order.
-2, b, w
Let j = 902 - 893. Put j, 1, -4, -5 in ascending order.
-5, -4, 1, j
Let o = -309 + 922/3. Sort 4, o, -1/3, 0.
o, -1/3, 0, 4
Let a be ((1/(-1))/1)/(-3 + 4). Put -2, -5, a, 7 in ascending order.
-5, -2, a, 7
Let h = -838.479 - -838. Let j = 0.021 - h. Sort -0.37, j, -0.5 in ascending order.
-0.5, -0.37, j
Let u = -14.94 - -15.02. Sort u, 10, 4 in decreasing order.
10, 4, u
Let l(k) = k**2 - 11*k - 8. Let i(v) = -4*v**2 + 34*v + 23. Let g(m) = 2*i(m) + 7*l(m). Let f be g(-7). Put -6, -3, f in ascending order.
-6, -3, f
Suppose 2*f + 38 = -3*r + 113, -25 = -r + f. Suppose 5*a = -r, 25 = 2*y - 6*a + a. Let c be -2 - (-1 + 1) - -7. Put -3, c, y in decreasing order.
c, y, -3
Let d = 45 + -42. Sort 0, -2, -44, d in decreasing order.
d, 0, -2, -44
Suppose 16 = -4*a, -a + 2*a + 10 = 2*d. Suppose 3*r - 29 + 1 = k, 0 = -r - k + 12. Suppose 5*l + 0*l = r. Put -2, d, l in descending order.
d, l, -2
Suppose -2*q = 3*k + 3*q, -2*k = 2*q. Sort 161, k, -4 in increasing order.
-4, k, 161
Let j = -3.14 + 2.84. Sort 4, 4/5, j, -73.
-73, j, 4/5, 4
Let b = 27 - 27.08. Let y = b - -1.08. Sort -2, -0.3, y.
-2, -0.3, y
Let f = 26.73 - 26.4. Sort -2/3, f, -0.2.
-2/3, -0.2, f
Let l = -189 - -190. Put 0.2, l, -5 in ascending order.
-5, 0.2, l
Let t = 21.25 - 21. Let k = 0.25 + t. Let m = 1.87 + -1.8. Put k, m, -3 in decreasing order.
k, m, -3
Let w be (0 + -6)/42*-7. Put w, -4, 5, 8 in descending order.
8, 5, w, -4
Let d be ((-15)/(-9))/((-3)/(-9)). Suppose -4*g + d*z = 18 + 3, 2*g + 4 = -4*z. Sort g, -5, -2, -1.
-5, g, -2, -1
Suppose -19*n + 110 = 3*n. Suppose -2*h = -4*h - 5*g + 7, -2*h + 2*g = 14. Sort n, h, -24.
-24, h, n
Let w = -18 + -6. Let b = 23 + w. Sort 0, 3, b, 6.
b, 0, 3, 6
Suppose 0 = -2*b + 4*d - 20, -15 = 5*b - 5*d + 2*d. Let f = b - 2. Let z = 3 + f. Sort -2, z, -1 in descending order.
z, -1, -2
Let n = -6.3 + 5.9. Sort -9, 3/4, n.
-9, n, 3/4
Let r = 764 + -787. Sort 4, r, 1, -4 in descending order.
4, 1, -4, r
Let a be 980/(-16) + 4*(1 + -2). Let r = a - -65. Sort 0.5, -5, 0.3, r in decreasing order.
0.5, 0.3, r, -5
Let t = -54.5 - -55. Let m = -5 + 0. Put m, t, -3 in descending order.
t, -3, m
Suppose 2*w + 6 = -i + 3, w = -i + 2. Let g = i - 11. Let d = -94 - -98. Sort g, d, 5.
g, d, 5
Suppose -45 = 5*g + 4*g. Put 0, g, 2 in descending order.
2, 0, g
Let o be 23/(-6 + 155/25). Put 2, o, 5, 1 in ascending order.
1, 2, 5, o
Let u = 76 - 77. Let n(h) = 2*h + 1. Let q be n(7). Suppose a = -2*a + q. Sort u, a, 3.
u, 3, a
Let f be (-6 - -5)/(1/(-3)). Suppose 0 = -0*p + f*p - 2*b - 17, p = b + 6. Let a be (-2)/(-10) + 98/35. Sort 11, p, a in ascending order.
a, p, 11
Let u = 0.23 + 0.04. Let a = u - 1.37. Let m = a + 1.4. Sort 4, m, -2/5.
-2/5, m, 4
Let o be (-1 + 3)/((-26)/52). Let d(m) = 3*m + 1. Let t be d(1). So