- 2*s + 5*s + 2 - 12. Let o be c(6). Let u = 7 - o. Sort u, -3, 1 in increasing order.
-3, u, 1
Suppose -7 = 5*f - 42. Suppose 2 - 16 = f*p. Put 3, p, 0 in increasing order.
p, 0, 3
Let k be (-9 - -11)/((-2)/5). Sort -4, k, 0 in increasing order.
k, -4, 0
Let t be (1 + 4/(-2))*3. Let w be (-1 - -1 - 0) + 0. Let x(r) = -9*r - 35. Let f be x(-4). Sort f, w, t.
t, w, f
Let u = 0 - 0. Let y = -0.12 - 71.88. Let s = 65 + y. Put s, 0.5, u in descending order.
0.5, u, s
Let u = -147 - -148. Put 4, 3/5, u, -3 in decreasing order.
4, u, 3/5, -3
Suppose -19*d = -233 + 43. Suppose d*x + 22 = 82. Put -3, 1, x in descending order.
x, 1, -3
Let z = -207 - -1032/5. Sort z, 5, -0.9 in increasing order.
-0.9, z, 5
Suppose 2*v + 41 = 5*s, -2*s = -3*v - 5 - 7. Let d = s - 5. Let o = 7026 - 7013. Put d, 0, o in descending order.
o, d, 0
Let q(y) = -8*y - 56. Let p be q(-8). Put -1, 3, -2/5, p in ascending order.
-1, -2/5, 3, p
Suppose -72*n = -77*n - 75. Let i = 12 + n. Sort i, 2, -5.
-5, i, 2
Let g(z) = -z**3 + z - 38. Let h be g(0). Let q = 39 + h. Put -5, 4, q in ascending order.
-5, q, 4
Suppose -q + 0 = 6. Let i be ((-12)/(-10))/(q/(-20)). Let z be 2 + -4 - 2*-1. Put z, i, -2 in decreasing order.
i, z, -2
Let y = -186 - -185.7. Let p be 17/8 + -3 + 1. Put -1/2, y, p in ascending order.
-1/2, y, p
Let i be (1 - 0 - -1)/(46/115). Let u be -2 - (-1 - 24/3)/i. Sort -9, u, 2/3, -5 in decreasing order.
2/3, u, -5, -9
Suppose 159 = 16*h + 95. Put 27, -2, h, -1 in descending order.
27, h, -1, -2
Suppose b + b = 0, 15 = 5*l - 4*b. Suppose -l*y + 35 = 5. Suppose 0 = -u - u - y. Sort -6, u, 3 in descending order.
3, u, -6
Suppose -s - 9 = -13. Suppose -s*o - 20 = 2*d, 5*o - 3*d + 13 = -1. Sort o, 2, -5.
-5, o, 2
Let h(g) = -g**3 - 16*g**2 - g - 15. Let q be h(-16). Let m be 18*3/(18/(-4)). Put q, 4, m in ascending order.
m, q, 4
Let f be (1 - 6)/(0 + -1). Suppose -f = 4*o + o. Let p = -9.92 + 9.52. Sort o, p, -2 in descending order.
p, o, -2
Let h = 6 + -6.4. Let o = 3.49 + -1.49. Put o, h, 0 in ascending order.
h, 0, o
Suppose 5*g - 128 = 2. Let r be (-190)/8 + 3/(-12). Let b = g + r. Sort 2/9, -0.5, b in ascending order.
-0.5, 2/9, b
Let y = -108 + 107.902. Let t = -0.002 + y. Put -1/4, t, -1/5, -0.3 in descending order.
t, -1/5, -1/4, -0.3
Let g(f) = -f**3 - 7*f**2 + 6*f - 11. Let m be g(-8). Suppose m*b - 14 = 6. Suppose -l = 5 - b. Sort -3, 1, l.
-3, l, 1
Let z(t) be the first derivative of t**3/3 - 17*t**2/2 + 14*t + 21. Let x be z(16). Sort -3, -4, x, 5 in descending order.
5, x, -3, -4
Suppose -5*f + 25 = d, 0*f - 23 = -3*d - 2*f. Sort d, -4, -6, 39 in ascending order.
-6, -4, d, 39
Suppose 0*u = u - y - 7, 2*y = -5*u + 7. Let d be 10/4 + (-265)/106. Sort u, -1, d, 1.
-1, d, 1, u
Let a = -33 + 29. Let c = -34 + 39. Sort a, c, -1 in descending order.
c, -1, a
Let b be 5 + 396/(-84) + 1/(-28). Sort -1, b, -2, 0.3.
-2, -1, b, 0.3
Suppose -4*u = 4*c + 3 + 21, -u = -c - 2. Let k(p) = -p**2 - 11*p - 11. Let s be k(-10). Sort u, s, 4.
u, s, 4
Let l(n) = 3*n + 4. Let i(s) = -s**3 - 7*s**2 - s + 30. Let d be i(-6). Let b be l(d). Sort 0, -3, b, 2 in decreasing order.
b, 2, 0, -3
Let j = 15 + -107/7. Let a = 0.3 + 0. Let b = 58 + -58.7. Sort b, j, a in decreasing order.
a, j, b
Let z = 4 - 3. Let b = 2214 - 2214.1. Put -12, b, z in descending order.
z, b, -12
Let r = -721.4 - -721. Sort 1/57, 4, r in ascending order.
r, 1/57, 4
Let a be (2/1)/2*-1. Let o(d) = 7*d**3 - 18*d**2 - d + 17. Let w(m) = 8*m**3 - 18*m**2 - m + 16. Let s(i) = -7*o(i) + 6*w(i). Let x be s(18). Sort x, a, 0.
x, a, 0
Let x(k) = k**3 + 7*k**2 + 10*k - 3. Let z be x(-5). Sort 7, z, -1 in increasing order.
z, -1, 7
Let x be (8/2 - 4) + 1. Let l = x + -5. Put l, -5, 2 in decreasing order.
2, l, -5
Suppose 9*x = 8*x + 3*c - 1, -4*x = 2*c + 18. Sort 4, x, 2, 7 in decreasing order.
7, 4, 2, x
Let s = -12.32 - -0.32. Let l = s + 12.1. Put l, 4, -2, 2/11 in increasing order.
-2, l, 2/11, 4
Let h = 2.15 + -0.15. Sort 4, 1/10, -16, h.
-16, 1/10, h, 4
Let n = -3693/5 - -741. Sort -4, n, -1 in descending order.
n, -1, -4
Let y(i) = -2*i + 1. Let o be y(-5). Suppose g = 3*l - o, 13 - 4 = l + 5*g. Put -9, l, -5 in ascending order.
-9, -5, l
Suppose 10*o = -2*o + 2*o. Sort 1, o, 9, 3 in ascending order.
o, 1, 3, 9
Let s be ((-25)/(-275))/(1 + -2). Sort -2/3, s, -0.1.
-2/3, -0.1, s
Let y = 272 - 289. Put 0.3, -2/3, y in increasing order.
y, -2/3, 0.3
Let c be (-18)/(-20) + ((-10)/2 - -4). Let f be (4/30)/((-3)/15). Sort c, -0.08, f in decreasing order.
-0.08, c, f
Let y be ((-10)/15)/((-6)/(-27))*-4. Sort y, -1, 7.
-1, 7, y
Let j = -210 + 205. Put -2/31, -1/10, j in ascending order.
j, -1/10, -2/31
Let b = -26 - -183/7. Let d = 15.82 - 16. Let k = d + 3.18. Put b, k, 1/6 in descending order.
k, 1/6, b
Let m be (-4)/6*(-6)/(-14). Suppose -66*n + 91*n + 125 = 0. Sort n, m, 2.
n, m, 2
Suppose 6 = -2*o - 3*j - 5, -o = 3*j + 10. Let m = -1 + -4. Suppose -3*s - p = 7, -s - 4*p + 40 = -6*s. Sort o, m, s.
m, s, o
Suppose 4*c = -4*v + 4, 0 = 5*v + 4*c - 1 - 7. Put 47, v, -1 in decreasing order.
47, v, -1
Suppose 7*u - 3*u = -4*m - 40, -5*m + 5*u - 50 = 0. Let r be (-3)/(6/m*(-10)/(-4)). Suppose -p - 2*o = 11, -5*o = -0*o. Put r, p, -4 in increasing order.
p, -4, r
Let l = -39 - -36. Let a = -93 - -96.03. Let i = l + a. Put -4, 2, i in decreasing order.
2, i, -4
Let d(l) = l**2 + 5*l + 4. Let q be d(-5). Suppose -172*v - 884 + 264 = -141*v. Sort 1, -2, q, v.
v, -2, 1, q
Let p(s) = s**2 + 32*s + 61. Let v be p(-30). Let w be 1/((0 - 2)/(-4)). Put v, w, 6 in descending order.
6, w, v
Let o = 0.6 - 1.6. Let z be (9 + 1)*(-10)/20. Sort z, 2, o in ascending order.
z, o, 2
Let b = 0.169 + -0.569. Put 2/15, -1/3, b in descending order.
2/15, -1/3, b
Let p = 4 - 3. Let v = p + -3. Suppose d - 10 = 3*d. Sort d, 1, v in ascending order.
d, v, 1
Let m = 15 - 11. Suppose -c - m = -5*c. Let p(j) = -3*j + 27. Let r be p(8). Put r, -3, c in ascending order.
-3, c, r
Suppose 3*i + 20 = -i. Let h be (2/(-8))/(6/12)*0. Let m(b) = b**3 - 6*b**2 - 7*b - 3. Let n be m(7). Sort n, h, i in descending order.
h, n, i
Let o be (-12)/16*1 - 461/4. Let y = o + 117. Put -4, y, -1, -3 in increasing order.
-4, -3, -1, y
Let w be (20/60)/(-1 + (2 - 0)). Sort w, 6, -0.1, 2/3 in ascending order.
-0.1, w, 2/3, 6
Suppose -4*k - k = 4*m - 3, -m = k - 1. Suppose 0 = -3*u - j + 20, -8 = -2*u + j - 3. Suppose -x = -u*x + 20. Put x, -2, m in increasing order.
-2, m, x
Let w be 4 - ((-594)/(-63) - 6). Sort w, -0.4, 29.
-0.4, w, 29
Let q = -13.6 + 14. Let v(d) = -3*d - 8. Let o be v(-4). Let r be (6/(-30))/(o/5). Put -2, q, r in decreasing order.
q, r, -2
Let f = -41 + 38. Let t(j) be the second derivative of j**5/20 + 7*j**4/12 + 5*j**3/6 - 2*j**2 + 3*j. Let u be t(-6). Put u, f, -5 in increasing order.
-5, f, u
Let n = -31 - -39/2. Sort -2/9, -2, n, 3/7 in decreasing order.
3/7, -2/9, -2, n
Let k be (1/3)/(-2*4/48). Sort 4, k, -5 in decreasing order.
4, k, -5
Suppose -5*r - 2*o = -7 - 18, r - 2*o = 5. Suppose r*g + 46 = 3*f + 9, 4*f - 41 = 5*g. Let z(i) = i**2 - 4*i - 4. Let v be z(4). Sort v, 4, g.
g, v, 4
Let l(w) = w**3 + 14*w**2 + 4*w - 118. Let k be l(-13). Let i(h) = -h**2 - 2*h - 3. Let x be i(-2). Sort 3, k, -2, x.
x, -2, k, 3
Suppose 0 = -2*b + 5*b + 21. Let r(k) = -k**3 - 5*k**2 + 10*k - 8. Let z be r(b). Suppose 3*d + 2*d = z. Put -4, 3, d in decreasing order.
d, 3, -4
Suppose 0 = 2*o - h + 2, 0 = 24*o - 21*o + 5*h + 29. Let b(m) = -m**3 + 7*m**2 + 8*m + 4. Let k be b(8). Sort o, k, 5 in descending order.
5, k, o
Let y be 6/(-4)*8/(-6). Suppose -3*a + 2 = -13. Suppose -5 = -c, -a - 3 = 3*i - c. Sort y, -2, i.
-2, i, y
Let m(c) = c**2 - 9*c + 13. Let n be m(7). Let i = 306 + -306. Sort -2, 5, n, i in decreasing order.
5, i, n, -2
Let y be 4 + 32/(-12) + 70/(-57). Put 2, y, -0.7 in descending order.
2, y, -0.7
Let g = 0.38 - 0.88. Put -6, 5/2, -3, g in descending order.
5/2, g, -3, -6
Let j = 61.59 - 61. Let y = 0.29 - j. Put 1, -1, y, -3 in descending order.
1, y, -1, -3
Let u = 3.475 - 8.586. Let o = u + 0.111. Put 14, o, -4 in decreasing order.
14, -4, o
Let h = 1.3 - 1.1. Let r be (-4)/2 + 1 - -9. Suppose -4*w + 4 + r = 5*m, -2*m - 3*w + 9 = 0. Put h, m, 2 in ascending order.
m, h, 2
Let c = 0.519 - 0.119. Let b = -0.11 + -3.89. Sort c, b, -0.07 in