9 + -781. Sort y, 5, 3 in increasing order.
3, 5, y
Let v = 10 + -16. Let x(g) = g**3 + 6*g**2 - 2*g - 6. Let o be x(v). Let p(k) = -k**3 - 5*k**2 - 5. Let t be p(-5). Sort 1, o, t in decreasing order.
o, 1, t
Suppose -4*o + 29 = 3*t, -t + o - 7 = -o. Suppose -1 = 5*w + t*m, 4*m = -2*w - w + 6. Sort 15, w, -4.
-4, w, 15
Suppose 0 = -4*i - i + 100. Let v be (-5)/(-400)*8*2. Sort -3, v, i in increasing order.
-3, v, i
Let p = 37 + 1. Let d = 33 - p. Put -2, d, 10 in ascending order.
d, -2, 10
Let q = 38 + -32. Let x = 15 - q. Suppose -13*l + 12 = -x*l. Put -2, l, -5 in increasing order.
-5, -2, l
Let j = -2 + 16. Suppose 4*a - n + j = 0, -a + n - 18 = 4*a. Sort -2, a, 0, -3 in decreasing order.
0, -2, -3, a
Suppose -4*k - 2 = -4*a + 14, -3*a + k + 20 = 0. Let h = a - 6. Let u = -200 - -204. Sort -6, u, h in decreasing order.
u, h, -6
Suppose o + 0*x = -x - 1, o - 2 = -4*x. Let z = 3 - 1. Let u be 0/((z - -1) + -1). Sort o, u, 5 in increasing order.
o, u, 5
Let f = -63 + 66.5. Sort -3/8, 1, f.
-3/8, 1, f
Let s = 0.06 - -2.94. Let k = -2.06 - -2. Let i be (4/(-6))/(((-88)/6)/4). Sort k, i, s in ascending order.
k, i, s
Let q = -571/3 + 190. Sort q, -0.3, 2/3, 152.
q, -0.3, 2/3, 152
Let i be -1 + (-3 + -2)*-1. Let o(s) = -s**2 + 16*s + 31. Let t be o(18). Sort i, 8, t.
t, i, 8
Suppose 0 = -11*d + 2*d. Suppose d = -2*r - 4. Sort 0, r, 2.
r, 0, 2
Let q(v) = -v**2 - 18*v + 14. Let l be q(-19). Put -6, 3, l in increasing order.
-6, l, 3
Suppose n + 0*n - 2*k = -1, -2*k = -3*n - 7. Let c be (-5 - -4)*n/15. Sort 1, -9, c in descending order.
1, c, -9
Let h = 17 + -5. Let i be (32/(-2))/4*1. Sort h, 1, i in decreasing order.
h, 1, i
Let l = 548/3 - 6034/33. Put -0.33, -1/2, l, -3 in increasing order.
-3, -1/2, -0.33, l
Let v(g) = -4*g + 20 + g + 6*g. Let s be v(-17). Sort s, 4, 0, -2 in ascending order.
s, -2, 0, 4
Let t = 46 - 46. Sort t, 4, -0.37 in descending order.
4, t, -0.37
Let b = -0.2 + 0.7. Let s = 778 + -775. Put b, s, -2.1 in descending order.
s, b, -2.1
Let y = -15 - -44. Suppose 27*g - 2 = y*g. Put 1, -3, g in increasing order.
-3, g, 1
Suppose -8*o + 13*o = 20. Suppose 3*f - 49 = -o. Let t = 11 - f. Sort t, -5, 5 in descending order.
5, t, -5
Let g = -81.5 + -21.5. Put -3, -2/9, g in descending order.
-2/9, -3, g
Let g be 0 + 3/6*-14. Suppose -2 = -h - 4. Put g, 0, h in decreasing order.
0, h, g
Let q = 51 - 19. Let o = q - 32.4. Put o, 4/9, 0.5 in descending order.
0.5, 4/9, o
Let x = -1.573 - -1.373. Put -5, 5/6, -2, x in increasing order.
-5, -2, x, 5/6
Let i(n) = -n**3 - 6*n**2 - 7*n + 2. Let z(p) = p - 9. Let o be ((-40)/(-32))/(1/4). Let f be z(o). Let v be i(f). Put -5, v, 0 in descending order.
0, v, -5
Suppose o + 19*q = 20*q - 17, -16 = -4*q. Put o, -4, 1 in decreasing order.
1, -4, o
Let m = 97 - 102. Put 2/7, 0.4, -1, m in ascending order.
m, -1, 2/7, 0.4
Suppose -2*y - 13 = -1. Let z be 0*3*(-1)/y. Sort z, -5, 4.
-5, z, 4
Let p = -0.9 - -10.9. Let a = 10.1 - p. Suppose -4 = -l - l. Put l, -1/2, a in descending order.
l, a, -1/2
Suppose -4*y - 7*z = -4*z + 30, 5*z + 17 = -3*y. Sort 19, y, 5 in decreasing order.
19, 5, y
Let a = 261 + -151. Let g = a + -107. Put 0.3, -2/3, g in descending order.
g, 0.3, -2/3
Let n be (-16)/(-57)*(-4)/(-24)*9. Sort -3, -2, n in increasing order.
-3, -2, n
Let j be (-1)/((1 - 0)/(-1)). Suppose -3*a + x - 4 - 5 = 0, -6 = -3*a - 4*x. Let g = 105 - 109. Sort a, g, j in increasing order.
g, a, j
Let z = 0.71 - -2.29. Let j = 19 - 17.9. Let c = -0.8 + j. Put -2/11, z, c in ascending order.
-2/11, c, z
Suppose 0 = -12*c + 44 - 56. Sort 0, 3, -3, c in descending order.
3, 0, c, -3
Suppose 59*j - 288 = 63*j. Let z be 4/3 + -1 - (-114)/j. Let s = 0 - 3. Sort z, s, -5.
-5, s, z
Let p be (((-8)/12)/(2/3))/(-1). Suppose 24*z = 25*z + p. Put z, 3, 5 in ascending order.
z, 3, 5
Let k = -25 + 36. Suppose -3*q = 4 + k, 5*q = 5*a - 30. Suppose -4*m - 12 = 2*c, 0 = m + 5*c + 7 - 13. Put m, a, 4 in decreasing order.
4, a, m
Suppose -4*g + 0*g + 16 = 0. Let t(z) = -3*z**3 + 10*z**2 + z + 14 + g*z**3 + 0*z**3. Let i be t(-10). Put i, -4, 2 in increasing order.
-4, 2, i
Let c(j) = 13 - 2*j - 1 + 26. Let t be c(20). Suppose 4*v - v = -3*n + 3, 0 = 3*v - 15. Sort n, 5, t in descending order.
5, t, n
Suppose 12*r - 16*r = -8. Let b = 13.3 - 14. Let l = 0.4 + b. Sort -2/5, r, l in decreasing order.
r, l, -2/5
Suppose -f = -4*j - 15, j = -j - 10. Let v(u) = u**3 + 4*u**2 - 6*u - 1. Let c be v(f). Sort -5, 2, -7, c in descending order.
c, 2, -5, -7
Let v be -6 + (-15)/(-20)*4. Let b = -3 + -2. Let c = 3 + b. Sort 5, v, c in increasing order.
v, c, 5
Suppose -5*c + 4*l - 2 = 5*l, -4*l = 2*c - 10. Sort c, 5, 13, 2 in ascending order.
c, 2, 5, 13
Let i(m) = -m**3 - 8*m**2 + 10*m + 6. Let b be i(-9). Suppose -13*g - 20 = -15*g - 2*y, 4*g - 5*y = 40. Sort -2, g, b in decreasing order.
g, -2, b
Let j(o) be the third derivative of 0 - 3*o**2 + 1/8*o**4 + 0*o + 13/6*o**3. Let i be j(-6). Put -2, i, -2/3 in decreasing order.
-2/3, -2, i
Let q = 35 + -35. Suppose 7 + 13 = -5*y. Suppose 0 = -3*n - 5*c - 5, 4*n - 4*c = -3*c + 24. Sort n, q, y in decreasing order.
n, q, y
Suppose 0 = -2*r + 11 - 7. Suppose 0 = 2*x - 5*q - 9, -2 = x - 3*x - 2*q. Suppose -5*o - 5*h = -5, x*o - 2 = 7*h - 3*h. Put r, o, 6 in increasing order.
o, r, 6
Let i = -3 + 5. Let s = 0.028 - -0.042. Let l = 0.47 - s. Put l, i, -2/7 in descending order.
i, l, -2/7
Let p(u) = -7*u - 8. Let s be p(-6). Suppose 38*r = s*r + 24. Sort 4, r, -2 in increasing order.
-2, 4, r
Let y = 123 + -127. Sort 0, 38, 1, y.
y, 0, 1, 38
Suppose 3*x = 10 - 22. Let w = -1 - x. Put w, -4, -14 in decreasing order.
w, -4, -14
Let r = 110.128 + -110. Sort 0.5, r, -2/9 in descending order.
0.5, r, -2/9
Let h(v) = -20*v**2 + 2*v + 1. Let l be h(-1). Let x be 7/l + (-1 - -2). Put -3, 0.3, x, -2 in increasing order.
-3, -2, 0.3, x
Let w(m) = 2*m. Let u be w(-7). Let n be (-1)/(-2 + u/(-6)). Let g be (-16)/(-4) + (-5)/(-10)*-2. Put -2, g, n in ascending order.
n, -2, g
Let p be 1/2 + -1 + 52/56. Let q = -0.02 - -0.05. Let w = -2.97 - q. Put p, 2, w in descending order.
2, p, w
Let g = 2.54 + 10.96. Let u = g + -13.48. Let m = 2/53 + 202/265. Sort u, -3, m.
-3, u, m
Suppose 3*h = h. Let k = -113 + 112. Sort h, k, -6.
-6, k, h
Suppose -3*t - 25 = -2*h + 2*t, -3*h - 3*t + 6 = 0. Let d = 4 - h. Sort -3, 3, d, 1 in increasing order.
-3, d, 1, 3
Let h = 19 + -13. Let a = -35 + 20.4. Let i = -9.6 - a. Sort h, -0.3, i.
-0.3, i, h
Suppose -4*q + 12 = -4*r, -5*q - 3*r - 3 = -2. Suppose -2*l + 6 = -3*l. Let c = l - -3. Sort 6, q, c in decreasing order.
6, q, c
Let f(c) = 27*c + 248. Let n be f(-9). Sort 2/5, 2/13, 2/3, n.
2/13, 2/5, 2/3, n
Suppose 0 = -4*c + 5*s + 48, 5*c = s + s + 60. Let p = -4 + 2. Let o be (p + -1 + 1)*-2. Sort -3, o, c in increasing order.
-3, o, c
Let j = 218.8 - 239. Let o = j + 20. Put -2, o, 0 in descending order.
0, o, -2
Let a = 3 - 2.6. Let u = 0.6 - a. Let s = 132 + -129. Put u, s, 3/7 in ascending order.
u, 3/7, s
Let p = -557/5 - -112. Let a = -88.8 - -89.5. Put a, 1, p, -5 in ascending order.
-5, p, a, 1
Let d = 224.1 + -215. Let n = 9.3 - d. Let w = 2 - 7. Put n, -1/2, w in descending order.
n, -1/2, w
Let x = -3 - 0. Suppose 82 = -3*m - 4*i, 2*m + m + 81 = -3*i. Let c = m + 24. Sort x, 0.1, c.
x, c, 0.1
Suppose -y = y - 10. Let g = -3519 + 3516. Sort g, 2, 0, y in descending order.
y, 2, 0, g
Let g be (-1)/(-3) - (50/(-15))/(-10). Suppose 7 = -7*a - g*a. Suppose -4*o + s + 3 - 11 = 0, -6 = 3*o + 2*s. Put o, a, 1/8 in decreasing order.
1/8, a, o
Let l = 244 - 241. Let j be 3 + -2 - (-1)/(-1). Put j, l, -1 in descending order.
l, j, -1
Let y be 4/((-32)/8)*-1. Sort 5, 0, y, -20 in increasing order.
-20, 0, y, 5
Suppose -2*j - 57 = -5*j. Suppose 3*b = 4*c - 35, 3*b - 5*c = 2*b - j. Put -1, 1/6, b in decreasing order.
1/6, -1, b
Suppose -33*v = -89*v. Sort -2, v, -1, -4.
-4, -2, -1, v
Let s = -17 - -8. Let g be (-12)/s + -1 + -2. Let t = -4 - -8. Put g, -5/4, t in decreasing order.
t, -5/4, g
Let t be (72/45)/((-4)/(-30)). Let a be -13 + (0 - 0 - 0). Let c = a + t. Put c, -3, 1 in decreasing order.
1, c, -3
Let t = 42 - 45. Let j = -78 + 73. Sort 1/3, j, t in ascending order.
j, t, 1/3
Let y = 1 - 4. Let b = -22 - -25. Suppose -b*a - 2*o = -2*a + 6, -3*o - 4 = -a. Put a, 0, y