- 450 = 5*y - 5*a. Let t = y - -92. Sort -1, 1, t in decreasing order.
1, -1, t
Let k be (-8)/6*-3*1. Let l = -0.114 + -0.886. Put 2, l, k in decreasing order.
k, 2, l
Let k be ((-380)/475)/(4/90). Put -5, k, 0 in descending order.
0, -5, k
Let a(y) = -y**3 + 13*y**2 - 4. Let p be a(13). Let t be -7 + p/(4/(-2)). Sort -3, 5, 2, t in decreasing order.
5, 2, -3, t
Let q = 201 + -202. Let i = 8 + -6. Put 0, q, i in ascending order.
q, 0, i
Let u(m) = -m**2 - 30*m - 21. Let a be u(-5). Put 0, a, -2 in ascending order.
-2, 0, a
Let j = -128 + 126. Sort j, 4, 3, 2 in increasing order.
j, 2, 3, 4
Let g be (-4)/6*(-13 - -4). Suppose -3*a - 9 = -4*l + 3, 2*l - g = 3*a. Suppose 0 = -2*n - 3 - l. Put n, 0, 3 in decreasing order.
3, 0, n
Suppose -76 = 23*s + 39. Let l(f) = -2*f**2 + 2*f + 1. Let x be 10/(-6) - (-6)/9. Let t be l(x). Sort -4, s, t in increasing order.
s, -4, t
Let m = 33 + -97. Let h = 60 + m. Suppose 0 = o - 3*o + 2. Put h, o, 3 in ascending order.
h, o, 3
Let h = 2.22 + -2.72. Sort h, -0.07, 4, 0 in decreasing order.
4, 0, -0.07, h
Let j = -226/3 + 76. Let p = -27 - -24. Put j, 6, p in ascending order.
p, j, 6
Let j = -63.7 - -63.8. Let u(m) = 2*m**3 + m**2 + 3*m - 2. Let c be u(-3). Let v be (-10)/c - (-2)/8. Sort j, v, -3/4 in increasing order.
-3/4, j, v
Suppose 2*l = -l - 15. Let t(p) = -3*p**2 - 2*p + 81. Let v be t(5). Sort 8, l, v.
l, v, 8
Let m = 16/41 - 354/697. Let v = -3.6 - -0.6. Let y = v - -2. Sort y, m, 0.3 in descending order.
0.3, m, y
Let f = 79 - 71. Let v be (81/18 - 4)/(2/f). Sort 3, -1, v in decreasing order.
3, v, -1
Suppose -25 = 5*t - 10*t. Let d be 6/(-4)*(t - (-278)/(-54)). Put d, -5, 1/2, 2/11 in descending order.
1/2, d, 2/11, -5
Let y(n) = -2*n**2 - 4*n - 4. Let x be y(0). Sort -2, 9, x in increasing order.
x, -2, 9
Let a = 4.696 + 0.304. Sort 2/17, -5, a, 8 in ascending order.
-5, 2/17, a, 8
Suppose -5*g + 285 = -3*z, -g + 5 + 358 = -4*z. Sort 3, -3, z in decreasing order.
3, -3, z
Let k(y) = 6*y**2 - 11*y. Let u be k(2). Put -3, 8, u in decreasing order.
8, u, -3
Let j be (0 - 2)/(2 + 0). Let a(m) be the first derivative of m**4/2 - 4*m**3/3 + m**2 - 4. Let s be a(2). Sort 5, j, s in decreasing order.
5, s, j
Let o = 48 + -47. Let r = -7 - 4. Sort -3, o, r in decreasing order.
o, -3, r
Let b = -0.185 + 0.178. Let y = 0.093 - b. Let l = -22/7 + 65/14. Sort y, l, -3 in decreasing order.
l, y, -3
Let y be 15/(15/(-4)) - -13. Sort -3, y, -5, 0.
-5, -3, 0, y
Let r be (-1)/(9/(-6) + (-34)/(-20)). Sort 0, 2, r in decreasing order.
2, 0, r
Suppose 5*k - 33 = 3*t, -7 = -2*k - 10*t + 5*t. Let w(g) = -g + 2. Let m be w(k). Let f(d) = -d**2 + 13*d + 72. Let h be f(17). Put h, m, 1 in descending order.
h, 1, m
Let c(p) = 3*p**2 + 20*p + 19. Let j be c(-1). Sort 5/3, 3, j, -0.3.
-0.3, 5/3, j, 3
Let h be 1744/280 + -5 - 16/20. Put -1, h, 0.1 in ascending order.
-1, 0.1, h
Let d = -65.1 + 70. Let o = 5.1 - d. Sort -4, o, -4/5 in increasing order.
-4, -4/5, o
Let x be (-96)/112 - (-16)/28*-2. Put -22, -32, 3, x in descending order.
3, x, -22, -32
Let s(y) = -y + 6. Let k be s(6). Let r = 0 - 13. Let a be (-2 + 4)*(r - -11). Sort k, -1, a in decreasing order.
k, -1, a
Let l = 7 - 7.09. Let u = 0.09 + l. Sort -1/5, u, -0.3 in decreasing order.
u, -1/5, -0.3
Let y = 12 + -4. Let o = -3 + y. Put -4, 3, o in decreasing order.
o, 3, -4
Let t = -0.17 + 0.13. Let n = -3.96 + t. Let v = 0.05 + -5.05. Sort v, n, 3.
v, n, 3
Let x(a) = -a - 4. Let z be x(-9). Sort 0, 27, z in descending order.
27, z, 0
Let l = 41 + -453/11. Let m(t) = -t + 2. Let q be m(5). Sort q, l, 2 in descending order.
2, l, q
Let h be 6*(2 + -1 + -2). Let k be (-1)/(-2) + h/8. Let o = -0.36 - -0.46. Sort k, o, -0.2.
k, -0.2, o
Let s(w) = -w**3 + w**2 - 2*w - 13. Let o be s(0). Let f = -53/4 - o. Let n = 0.4 - -0.3. Sort -0.2, n, f in descending order.
n, -0.2, f
Let y(r) = r - 5. Let m(l) = 5. Let s(n) = 3*m(n) + 2*y(n). Let w be s(0). Put -12, 2, w, 3 in decreasing order.
w, 3, 2, -12
Let s = -348 - -353. Suppose -6*c + c = -5*z + 20, -3*z + 8 = -c. Sort -5, s, c, -4 in decreasing order.
s, c, -4, -5
Suppose 0 = 13*m - 8*m + 10. Let o be 2 - 0/m - 4. Let f = -2 - -3. Sort 3, f, o in ascending order.
o, f, 3
Let y(r) = 6*r**2 + 0*r**2 + 1 + 0*r + 2*r - 4*r**2. Let w be y(-2). Put w, -1, -5 in descending order.
w, -1, -5
Let r(j) = 8*j - 9. Let g be r(10). Let w = g + -49. Let o be ((-4)/(-5))/(w/55). Sort o, 0.4, -1 in descending order.
o, 0.4, -1
Let s = -0.3 - 8.7. Let q = s + 11. Let z = -6 + 10. Sort q, z, 5.
q, z, 5
Let n(u) = 2*u**3 + 7*u**2 + 6*u + 5. Let c be n(-5). Let d = -60 - c. Let m be (3/15)/(d/(-25)). Sort -1, -0.5, m in descending order.
m, -0.5, -1
Let a = -18 + 14. Suppose 7*q = 5*q + 10. Put a, q, 0, -2 in decreasing order.
q, 0, -2, a
Let u = 58.067 + -58. Let m = u - -0.033. Sort -1.6, -0.2, m in descending order.
m, -0.2, -1.6
Suppose -y - 2*y = 126. Let t be (9/y)/(9/12). Let j = -1 - -1.6. Put j, t, -0.2 in ascending order.
t, -0.2, j
Let f = -1017 + 1064. Sort 4, f, -2.
-2, 4, f
Let k = 16 + -5. Let t = 12 - k. Let q = -0.4 + 1. Sort -0.4, t, q in decreasing order.
t, q, -0.4
Let p = -266 + 1863/7. Put p, -2/15, -1, -4 in ascending order.
-4, -1, -2/15, p
Let t(p) = -2*p + 16. Suppose 4*l - 8*l = -28. Let y be t(l). Suppose -y*k + 10 = -0. Sort 0, k, -4 in ascending order.
-4, 0, k
Let b be (-19 + 3)*61/(-122). Put -5, 5, b, 30 in ascending order.
-5, 5, b, 30
Suppose 17*z - 101 = 188. Sort z, 3, 0, -9.
-9, 0, 3, z
Suppose 31*o - 5 = -h + 27*o, 0 = -2*h - 2*o + 4. Put h, 2, -2, 0 in decreasing order.
2, h, 0, -2
Suppose -u = 12 - 7. Sort 3/5, 5, -0.01, u in decreasing order.
5, 3/5, -0.01, u
Let h = -0.06 + 4.06. Let a be ((-25)/(-24))/((-17)/(-340)). Let r = -1613/78 + a. Sort -3, r, h.
-3, r, h
Let p = 1 + -2. Let w = 1005 + -1003. Put -10, p, w in decreasing order.
w, p, -10
Suppose 5*v + 4*s + 42 = 0, 3*v + 8*s = 6*s - 24. Sort -4, v, 9.
v, -4, 9
Let c(l) = 10*l - 139. Let i be c(14). Put 10, 3, -2, i in decreasing order.
10, 3, i, -2
Let z be 356/(-8) + 2/4. Sort z, -2, -3 in descending order.
-2, -3, z
Let l = 557 - 548. Sort -5, l, -2 in increasing order.
-5, -2, l
Let k be 22/26 - (-2)/13. Sort -3, k, 4 in increasing order.
-3, k, 4
Let r = 1085 - 1085.028. Sort r, 1, 1/5.
r, 1/5, 1
Let k be 2 - ((1 - -2) + 1). Let d be (20/(-12) - 2)*(7 - 10). Sort k, 5, d in descending order.
d, 5, k
Let b = 114 - 110. Suppose 5 = -z + 3. Put z, b, -3 in ascending order.
-3, z, b
Suppose -12 = 4*x + 3*a - 83, -2*x - 5*a = -53. Sort 4, x, 5 in descending order.
x, 5, 4
Let d = 14.2481 + -0.2481. Sort d, -3, -2/7.
-3, -2/7, d
Suppose -5*t - 5*v - 140 = 0, -2*t + 3*v = -0*t + 36. Let m = t - -25. Suppose 3 = 3*p, 5*l = 4*p - 13 - m. Sort -3, -4, l in descending order.
l, -3, -4
Suppose 0*g = 5*g + s - 17, -3*g + 6 = 2*s. Suppose -21 = -f + 4*f. Let z(h) = h**3 + 6*h**2 - 4*h + 20. Let v be z(f). Sort v, 3, g.
v, 3, g
Let k be -3 + 2 - (-226)/280. Let u = 2/35 - k. Let i = -0.12 + -0.08. Sort i, u, -0.04 in descending order.
u, -0.04, i
Let v = 28 + -19. Let j be (v/6)/(6/16) + 1. Suppose 2 = 3*k - 4. Put -5, k, j in decreasing order.
j, k, -5
Let k be (3/6)/(15/6). Suppose 3*s - 5*d = -13, 121*d - 119*d - 7 = 3*s. Sort 2, k, s, -2/15.
s, -2/15, k, 2
Let z = 3.94 - 3.82. Sort z, -2, -2/11, 5 in ascending order.
-2, -2/11, z, 5
Let b(x) = -x**2 - 31*x + 106. Let c be b(-34). Put c, 137, 2 in ascending order.
2, c, 137
Suppose -40 = 26*s - 30*s. Suppose -s*l - 4 = -11*l. Sort -4, -2, 3, l in decreasing order.
l, 3, -2, -4
Let o(w) = -34*w - 197. Let j be o(-6). Sort j, 0, -4 in decreasing order.
j, 0, -4
Let k(b) = -18*b + 131. Let x be k(10). Sort x, 5, 4 in ascending order.
x, 4, 5
Let z be 7/294 + 3/21. Put 3/5, -2/81, z, -1/6 in decreasing order.
3/5, z, -2/81, -1/6
Let t = -5 + 3. Suppose 0 = 2*s + 2*i + 3*i - 14, 0 = 2*i. Let p be 1 - s/(28/(-16)). Put t, -1, p in ascending order.
t, -1, p
Let a be -4 - 0 - 1 - (-4347)/945. Sort a, 2, 4, 1/5.
a, 1/5, 2, 4
Let i be (115/45)/(-23)*9. Suppose 4*t = -t + 5. Let z(n) = n**2 + 5*n - 3. Let o be z(-4). Put t, o, i in ascending order.
o, i, t
Let j = 2.167 - 2.167. Put j, 1/4, -2.7 in ascending order.
-2.7, j, 1/4
Let x = -601/4 + 149. Suppose 4*f - 7*f = -144. Let z be (-5 - -8) + f/(-14). Sort 