1 - -1. Let m = -3 - -7. Sort p, l, m in decreasing order.
m, p, l
Suppose 2*v - 26 = -4*h, 3*h + 3*v = -0*v + 24. Suppose -26 + 11 = h*m. Put 0, m, -2 in descending order.
0, -2, m
Suppose 0 = -d - 2*s - 4 + 2, 5*s = 5*d - 20. Suppose 2*f = -d*z - 10, 13 + 12 = 4*z - 5*f. Sort -3, -1, z, 8 in descending order.
8, z, -1, -3
Let z = -46 + 44. Sort 3, -16, z, 4 in increasing order.
-16, z, 3, 4
Let a(h) = -h + 11. Let y be a(9). Let j be y/((-6)/(-3)) + -5. Let c be 0*((-12)/8 - -2). Put c, -2, j in decreasing order.
c, -2, j
Suppose -55 = 5*f - 3*v, 5*f + 0*v = -2*v - 30. Put f, -5, -2 in decreasing order.
-2, -5, f
Let n(p) = 3*p**3 - p**2 - p + 1. Let r be n(1). Let l(c) = c**3 - 61*c - 25. Let f be l(8). Put f, r, -2, 0 in decreasing order.
r, 0, f, -2
Let k = -1110 - -1115. Sort 3, k, -1.6 in increasing order.
-1.6, 3, k
Let p(c) = -c**2 + 5*c - 4. Let m be p(5). Let x be (-3 - -5) + -3 - 16/(-4). Suppose -x*n + 3*o = 0, 0 = n - 19*o + 21*o - 3. Put n, m, 2 in increasing order.
m, n, 2
Let m = -75 - -109. Suppose 5*u - 9 = -m. Let p be 1/(2/4) - 6. Sort u, 1, p in ascending order.
u, p, 1
Suppose 4*m - m - 15 = 0. Let s be ((-34)/54 + 300/(-8100))/((-2)/(-27)). Sort m, -5, s in descending order.
m, -5, s
Let d = -27 - -30. Suppose -d*j = -0*j + 12. Sort j, 2, -2.
j, -2, 2
Let o = -5 + 10. Suppose -o*d + d + 2*d = 0. Sort d, 4, -5 in increasing order.
-5, d, 4
Let j = -315 + 317. Let m be (-1)/4*-1*2. Put 1, j, 3/5, m in decreasing order.
j, 1, 3/5, m
Let v(t) be the second derivative of -t**4/2 - t**3/6 - t**2/2 - 8*t. Let k be v(1). Sort -4, 5, k in descending order.
5, -4, k
Let z = 157 + -107. Suppose 4*x + 5*f + 58 = 18, -z = 5*x + 2*f. Let q = -4.7 - -5.1. Put q, x, -4 in increasing order.
x, -4, q
Suppose 5*u + 3*x + 58 = 7*x, u = -3*x - 23. Put u, 5, 8 in decreasing order.
8, 5, u
Let g(w) = w**3 + 9*w**2 - 11*w - 14. Suppose -4*r = -19 + 59. Let o be g(r). Suppose -2*u - 20 = -7*u. Sort o, u, 1.
o, 1, u
Let k(p) = 2*p - 7. Let b be k(5). Let u = b - -2. Let y(v) = 2*v + 7. Let o be y(-2). Sort u, -4, o.
-4, o, u
Suppose 4*g = -v - 4 - 0, 3*g - 8 = 2*v. Suppose -n - 3 + g = 0. Let k = -1391 - -1393. Put 5, k, n in descending order.
5, k, n
Let z = -300 - -299.9. Sort z, -4, 2, 1.
-4, z, 1, 2
Let o = 0.9253 + -0.1253. Sort 14, -0.1, o in increasing order.
-0.1, o, 14
Let r = -2189.3 + 2190. Sort r, -2, -3.
-3, -2, r
Let x = 17 + 2. Let g = -19.3 + x. Let k = -1.3 - -4.3. Put 0.1, g, k in descending order.
k, 0.1, g
Let z be (-23)/(506/4) + 63/407. Sort 4, 3, -0.2, z in decreasing order.
4, 3, z, -0.2
Let h = 24 - 20. Suppose -4*x + j + 3*j = -4, h*x + 31 = -3*j. Put 13, -1, x in decreasing order.
13, -1, x
Let j = -8 - -13. Let y = -210.1 + 210. Put y, -0.4, j in ascending order.
-0.4, y, j
Let z(r) = -r**2 + r + 1. Let o be z(0). Suppose 3*u - 2*p + 6*p - 27 = 0, -2*p = -2*u + 4. Let v be ((-4)/10)/(2/(-20)). Put u, o, v in descending order.
u, v, o
Let f be 7/252 + (-2)/(-9). Let o = 1 + -2. Sort o, f, 5 in decreasing order.
5, f, o
Suppose -3*b - 5 = -5*k, 0*b - k = 3*b - 19. Let f = -108 - -107. Sort b, -5, 0, f in increasing order.
-5, f, 0, b
Suppose -5*v - 5 + 10 = 0. Suppose -3*z = -4 - 5. Suppose 0 = k - z*t + 7*t - 3, -5*k - 31 = -3*t. Put v, -3, k in ascending order.
k, -3, v
Suppose 5*t = -3*y + 2, 0*y = 2*y - 3*t + 5. Let o = y - -4. Let g be (148/(-48) - -3)*o. Put g, -1, -3 in descending order.
g, -1, -3
Let u be (-150)/(-476) - (-8)/(-28). Let i = u + -109/238. Let j = -7.2 + 7. Put -4, j, i in decreasing order.
j, i, -4
Let z = 18 + -17. Let v be (1 + z)/((-2)/5). Let u = 9 + -4. Sort u, v, 4.
v, 4, u
Let a(i) be the second derivative of -i**4/12 - i**3 - 2*i**2 + 4*i. Let q be a(-5). Let w be (1 - 2/(-3))/q. Put 1/4, w, -0.4 in increasing order.
-0.4, 1/4, w
Let k be (7 - (-418)/(-60))*-4*1. Put k, -0.02, -5 in decreasing order.
-0.02, k, -5
Let o = 0.05 + 0.25. Let b = 103 - 100.3. Let z = b + o. Sort 2, 1, z in decreasing order.
z, 2, 1
Let w be 7 + -6 + (-2)/(-2). Suppose w*s + 4*t + 16 = s, -s = 2*t + 6. Let p = s + -6. Put -1, -4, p in ascending order.
-4, p, -1
Let u = -705 - -701. Sort -6, 5, u.
-6, u, 5
Suppose -42*m - 9 = -45*m. Sort 13, m, 5 in descending order.
13, 5, m
Let f = -880 - -885. Sort 1/12, f, 0.2 in decreasing order.
f, 0.2, 1/12
Let y = -1338.2 - -1338. Let o(a) be the second derivative of a**5/20 + a**4/2 - 5*a**3/6 + 5*a**2 - 2*a. Let s be o(-7). Sort s, y, 3.
s, y, 3
Let o be 1*2/(-2) + -4. Let l be (-57)/4 - 1 - (-4)/16. Let d be 12/20 + 39/l. Put -4, d, o in descending order.
d, -4, o
Suppose -2*z = -o + 7, -z + o = -2*z - 2. Let k(n) = n**3 + n**2 + n + 6. Let w be k(z). Let q be (18/w)/((-7)/5). Put 3/4, -1/3, q in ascending order.
-1/3, 3/4, q
Let q(x) = -3*x**2 - 15*x + 3. Let a = -8 - -3. Let t be q(a). Let s(n) = 2*n**3 + 2*n**2 - n. Let b be s(-2). Sort b, 4, t in decreasing order.
4, t, b
Let t = 577 - 576.5. Sort -46, -0.7, t, -0.1 in ascending order.
-46, -0.7, -0.1, t
Let r = -9.09 - -0.09. Let u = 9.2 + r. Let k = -0.24 + -3.76. Put -5, k, u in increasing order.
-5, k, u
Let y be 68/7 + (-20)/(-70). Suppose -3*d = b + y, -2*d = b - 3*d - 10. Suppose b*c + 5 + 8 = h, c + 3 = 0. Put -3, h, 2 in increasing order.
-3, h, 2
Let b be (5/10)/(1/244). Suppose 18 = -8*t + b. Put 0, t, -4 in descending order.
t, 0, -4
Let t = -228 - -223. Sort t, 2/9, -14 in ascending order.
-14, t, 2/9
Suppose 5*r + 55 = 4*b, 4*r - 4*b = -52 + 8. Suppose -311*l + 22 = -289*l. Sort l, r, -5, -4 in decreasing order.
l, -4, -5, r
Let s be (2*1/(-2))/1. Suppose 3*g + 3 = 5*w + 15, -2*g + 3*w = -8. Let h = s + g. Put h, -1, 4 in ascending order.
-1, h, 4
Let y(n) = -106*n + 4. Let a be y(0). Let z = -4 + -1. Sort 1, -1, a, z in descending order.
a, 1, -1, z
Let s = 15 - 9. Suppose b + b + s = 0. Let r be 2 + b/((-63)/(-48)). Sort r, -3, 0.4 in increasing order.
-3, r, 0.4
Let f be 1/2*0/(-2). Suppose f = 3*q + 3*q - 18. Suppose q*a - 21 = -6. Put 6, -5, a in ascending order.
-5, a, 6
Let j = -23 + -7. Let g = 36 + j. Let s = -13/5 + 14/5. Put s, g, -2/5 in ascending order.
-2/5, s, g
Let q = 1064.46 - 1065. Sort 2, q, 2/5.
q, 2/5, 2
Let y be (-1)/(-2) - (-21)/(-48). Put 1/7, y, 0, 5/3 in descending order.
5/3, 1/7, y, 0
Let n = 6 - 10. Let d = -118/7 + 1076/63. Sort -0.1, n, d in ascending order.
n, -0.1, d
Let c = -4 + 3.5. Let a = 21.17 - 21.57. Put 4, c, a in descending order.
4, a, c
Let j = 109 + -90. Suppose q = -0*q + 4*g - 21, q + 4*g = j. Put 4, q, -3, 2 in decreasing order.
4, 2, q, -3
Suppose 0 = -4*k + 11 + 9. Let i(q) = q**2 - 12*q + 22. Suppose -18 = n - 3*n. Let c be i(n). Put 2/9, k, c in descending order.
k, 2/9, c
Let z(q) = 2*q**2 - 6. Let v be z(2). Suppose d = -d + v. Sort d, 5, 4 in descending order.
5, 4, d
Let p = 2.26 + -1.56. Sort 4/3, p, -2/5, 5 in descending order.
5, 4/3, p, -2/5
Let t = 2/537 + 1603/2148. Sort t, -0.5, -1, 5 in descending order.
5, t, -0.5, -1
Suppose 5 = 5*o, 13*o - 23 = 5*b + 10*o. Sort 6, -8, b, 4 in ascending order.
-8, b, 4, 6
Let w(g) = -3*g + 15. Let q be w(6). Suppose 0*u = -3*u + 12. Put -4, q, u in increasing order.
-4, q, u
Let w = 6 + -13. Let p be (-77)/w*2/2. Suppose 9 = -5*u - p. Put u, 3, 0 in decreasing order.
3, 0, u
Suppose 5*a = -9 + 24. Suppose 0 = 2*b - b + a*b. Suppose 0 = 3*t - 0 + 12. Sort t, b, -2 in decreasing order.
b, -2, t
Let k be -2*((-12)/8 - -2). Let j be -3 + 4 - (0 + 1). Let u be j + (2 - 2) - 4. Put u, -2, k in decreasing order.
k, -2, u
Let u be 3/(1/19*3) - -1. Suppose -3*s = s + u. Let r = -2 - -5. Sort r, s, 4 in decreasing order.
4, r, s
Let a = -151 - -149. Let l = -5.5 + 0.6. Let t = -0.1 + l. Sort t, 2/9, a.
t, a, 2/9
Suppose 0 = -3*r + 6*r - 12. Let j be (-1 - -2) + (-1180)/(-12). Let q = 99 - j. Sort q, r, -3 in descending order.
r, q, -3
Let t be 1/((2100/(-18))/10). Sort t, 0.2, 5 in decreasing order.
5, 0.2, t
Let i be 2 - -1 - (-192)/(-24). Sort 14, 5, 6, i in decreasing order.
14, 6, 5, i
Let r(p) = 4*p + 148. Let i be r(-37). Put i, 1, 123 in decreasing order.
123, 1, i
Suppose -16 = d - 5*d. Suppose 2*t = -2*c + d*t, -c = -4*t - 12. Sort -0.06, c, 0.1.
c, -0.06, 0.1
Let s(v) = v**3 - 2*v**2 - 3*v - 4. Let o be s(3). Let k(z) = -z**2 - 7*z - 6. Let w be k(-6). Suppose w = y + 2*y. Sort o, 5, y in decreas