 + 66 = 2*a. Sort 7, -3, a, 5 in decreasing order.
7, 5, a, -3
Let f(g) = g**2 - 11*g - 3. Let k be f(4). Let r = 18 + k. Let q be (0 - 1)/(r/(-52)). Sort 1, q, 1/4 in ascending order.
q, 1/4, 1
Let o = 1.26 + 35.24. Let b = 37 - o. Put b, -1/4, 2, 0 in descending order.
2, b, 0, -1/4
Suppose -8*z + 3*z = -15. Sort -2, 2, -3, z.
-3, -2, 2, z
Suppose -9*c + 7*c - 12 = 0. Let y = -13 + 15. Put y, 4, c in decreasing order.
4, y, c
Let l be -7 + (-11)/(33/(-6)) + -1. Sort 0.4, l, -2 in increasing order.
l, -2, 0.4
Let l = -5 + 10. Let k = l + -5. Let a = 1240 - 1237. Sort k, 1, a in increasing order.
k, 1, a
Let r = 1445 - 1444. Sort -5, -19, 0.4, r in decreasing order.
r, 0.4, -5, -19
Let t be 31/(-6) - -6 - 1. Sort t, 51, -4 in decreasing order.
51, t, -4
Let n = 1.52 - 2.02. Sort 1, 45/7, n in increasing order.
n, 1, 45/7
Suppose -5*w + 35 = -5*j, j - 5*w + 5 = -3*w. Let y(r) = 2*r + 3 + 2*r - 3*r. Let l be y(j). Sort l, 0, 4 in descending order.
4, 0, l
Suppose -2*a - 44*u - 14 = -46*u, -5*a + 3*u - 31 = 0. Put 6, -16, a in descending order.
6, a, -16
Let q(j) = j - 1. Let b(d) = -3*d. Let y(a) = 5*b(a) + 5*q(a). Let u be y(-1). Put 10, 3, u, -5 in increasing order.
-5, 3, u, 10
Suppose 3*x + 0*h = h + 10, 0 = -5*x - 5*h + 10. Suppose 2*j + 5 = -x*j. Let r = -203 - -1424/7. Put 3, r, j in ascending order.
j, r, 3
Suppose -36 = 5*n + 2*p, -4*n + 0*p - 36 = 4*p. Suppose 46 = 39*z - 62*z. Sort n, z, -4 in descending order.
z, -4, n
Let v = -2497 - -2493. Sort -10, 2/3, v, -3/5 in increasing order.
-10, v, -3/5, 2/3
Suppose 2*x = -0*x + 126. Suppose -3*s - n - 31 = 0, -s + 4*s - 3*n = -51. Let v be x/s + 3/12. Sort v, 4, 3 in decreasing order.
4, 3, v
Let c(o) = -o**3 - 4*o**2 + 4*o + 6. Let j be c(-5). Suppose d + 11 = -7*g + j*g, 3*d = 3*g + 3. Sort g, -5/3, -2 in increasing order.
-2, -5/3, g
Suppose 2*b - 6*b - 14 = 2*w, 15 = -5*w. Suppose 2*q + 3*a = -23, 47 = -5*q + 2*a + a. Let n be (6/15)/(22/q). Sort -0.03, b, n in increasing order.
b, n, -0.03
Suppose 2*d - h + 0*h = 2, -4 = -5*d + 3*h. Suppose 12 = -2*c - d. Sort -4, -5, c in descending order.
-4, -5, c
Let c be (20 - 19)*12/(-3). Put c, -20, 1, -3 in decreasing order.
1, -3, c, -20
Let t(y) = 35*y + 252. Let g be t(-6). Sort 4, 0.2, 2/17, g.
2/17, 0.2, 4, g
Let v be 3*(4 - 0 - 7/3). Let h = 1 - 0. Put h, -4, v in descending order.
v, h, -4
Let r = -3/65 - -1/5. Let p = 616 + -609. Let g = -53/40 - -17/10. Put p, g, r in decreasing order.
p, g, r
Let q = -466 - -463. Sort 4, q, -0.1 in descending order.
4, -0.1, q
Let r = 3031 - 3035. Sort r, 5, -96 in descending order.
5, r, -96
Suppose -3*x + 5*x = -5*a + 28, -x = -5*a + 16. Let m(k) = -k**3 + 7*k**2 - 6*k - 5. Let v be m(6). Sort x, v, 3 in decreasing order.
x, 3, v
Let l = 250 + -247. Let b be (0 - (-1 - 0))*-5. Sort l, -1, b in increasing order.
b, -1, l
Let t be 9/68 + 4/34. Put -2/5, t, 1/2 in ascending order.
-2/5, t, 1/2
Let p = 1138 + -597. Put p, 3, 2 in decreasing order.
p, 3, 2
Let p = -33 + 59. Let x = -26.3 + p. Put 1/3, x, -0.5 in descending order.
1/3, x, -0.5
Let n be -1 + (-8)/24*1*-3. Put -3, -173, -5, n in descending order.
n, -3, -5, -173
Let o(v) = 2*v + 18. Let i be o(-11). Let s(a) = 3*a + 12. Let t(z) = 2*z + 11. Let f(u) = i*s(u) + 5*t(u). Let j be f(6). Put -1, 4, j in decreasing order.
4, -1, j
Suppose -3*f = 5*p - 0 + 12, 0 = 5*f + 20. Suppose 5*g = -0*n - 3*n - 4, -2*g - 2*n = p. Let y be -5 + (-7)/((-14)/26). Sort y, 2, g.
g, 2, y
Suppose -3*f - 30 = -15. Suppose 0*n - 2*n - 23 = 5*l, -23 = 5*n + l. Put f, n, -3 in increasing order.
f, n, -3
Suppose 0 = -4*c + 7*c - 198. Let w = -70 + c. Let p = -2 - -2. Put 1, p, w in decreasing order.
1, p, w
Let r = 583/4 + -145. Let k = -36 - -17. Let s = 18.6 + k. Sort -4, s, r.
-4, s, r
Let x = -144 - -84.8. Let n = 65 + x. Let l = n - 6. Put l, -1/4, -9 in increasing order.
-9, -1/4, l
Let t be -2 - 1/(9/(-54)). Sort -93, -5, t.
-93, -5, t
Let m = -262.5 + 263. Let r be (-12)/15*(-5 + 0). Sort -2, r, m in descending order.
r, m, -2
Let t(k) = -k**2 - 3*k - 2. Let a be t(-2). Sort 1, -2, -4, a in decreasing order.
1, a, -2, -4
Suppose -5*r = -3*r + 14. Suppose 7*k - 3*k - 5*c - 9 = 0, -3*c = 3*k. Let m be (1 + k)*(-48)/32. Sort r, m, 4 in ascending order.
r, m, 4
Let m(r) = r**2 + r - 1. Let a(v) = -2*v**2 + v + 8. Let k(u) = a(u) + 4*m(u). Let x be k(-2). Suppose 2 = x*d - 3*d. Sort d, 4, -3 in increasing order.
-3, d, 4
Let u be (-16)/(1 - -3) - 54. Sort 2, -5, u, 1 in decreasing order.
2, 1, -5, u
Let r be -7 + (0 - 40/(-4)). Put r, -4, 2, -2 in decreasing order.
r, 2, -2, -4
Suppose -3*x = -2*c + 18, 2*c = -x + 11 - 1. Let n = -494 + 499. Let k(h) = h - 5. Let z be k(0). Sort n, c, z.
z, n, c
Suppose -47 - 91 = 46*p. Sort -0.2, 0.6, p, -1 in increasing order.
p, -1, -0.2, 0.6
Let j(x) be the second derivative of 2*x**3/3 - 25*x**2/2 + 12*x. Let s be j(6). Sort -4, s, -3 in ascending order.
-4, -3, s
Let f = 195 - 199. Put f, -1, -2/21 in decreasing order.
-2/21, -1, f
Let d be (-11 - -8) + -5*25. Let t be d/(-270) - 4/10. Put 4, -2, t in ascending order.
-2, t, 4
Let o = 258 - 257. Put -1, o, -10 in ascending order.
-10, -1, o
Suppose 13 = 11*k + 2. Put k, 3, 86 in increasing order.
k, 3, 86
Suppose -w = y + 2*w - 15, -5 = y - 2*w. Sort y, 4, 5 in descending order.
5, 4, y
Let s = 0.05 + -0.05. Let j = 118.1422 - 0.1422. Put j, s, 4 in descending order.
j, 4, s
Let q = -216 - -220. Sort -25, 1, q.
-25, 1, q
Let b = 8.01 - 2.01. Sort 0.1, -0.1, b in descending order.
b, 0.1, -0.1
Let z = 207/7 + -1063/35. Sort z, -3, 5, -0.03 in descending order.
5, -0.03, z, -3
Let v = -1109 - -1107. Put 0.2, v, -0.2 in ascending order.
v, -0.2, 0.2
Let y be (-42)/(-63)*(2818/(-12) + -1). Suppose o - 142 = 5*w, 0 = -3*w - w + 12. Let j = o + y. Put 1/4, j, -2/5 in increasing order.
-2/5, j, 1/4
Let a = -6 - -10. Let q(t) be the second derivative of t**4/12 + 2*t**3/3 - 9*t**2 - 57*t. Let z be q(3). Sort z, a, 0.
0, z, a
Let w(y) be the third derivative of -y**4/12 + y**3/2 + 10*y**2. Let h be w(2). Sort -2, h, -5 in increasing order.
-5, -2, h
Let u be (-3)/(-2)*(-4 + 20/6). Let t be 1/2 - 2/(-4). Let z be 2/2*3 - t. Sort u, z, -3 in increasing order.
-3, u, z
Let v = 49 + -42. Let z = -5 + v. Let j(k) = -k**2 - 5*k + 3. Let p be j(-5). Put p, z, 4 in increasing order.
z, p, 4
Let d = 4.08 + -3.98. Let j be (-2)/(-9) + (-16)/(-9). Let a be (9/24)/(3/j). Sort 4, d, a.
d, a, 4
Suppose 0 = -0*s - s - 14. Let y(l) = -l**3 - 15*l**2 - 13*l + 18. Let q be y(s). Sort q, -8, -1 in ascending order.
-8, -1, q
Let n = 0.82 + -0.22. Let t = n - 0.2. Sort -0.04, t, -2.
-2, -0.04, t
Let a be (-4 + -1)*(-90)/(-300). Sort -0.4, a, -0.5, -3/7 in increasing order.
a, -0.5, -3/7, -0.4
Let t = 0.09 + 3.91. Suppose -b + 10 = 15. Let y be (-2 - b) + (-7 + 1 - 2). Sort y, t, -3/5 in decreasing order.
t, -3/5, y
Let k(w) = w + 2. Suppose 12*f - 6 = 15*f. Let j be k(f). Suppose 4*o - 12 = -0*o. Put -2, o, j in descending order.
o, j, -2
Let r = -5 + 3. Let t = 4 + r. Let d = 0 - 4. Sort t, d, 3 in increasing order.
d, t, 3
Suppose -o + 5*o + 4 = 0. Let f = -227 - -225. Let q = -1 - -2. Put o, q, f in descending order.
q, o, f
Let u = 162 + 63. Let p = 4273/19 - u. Let o = 7317/7 + -1045. Put -4, o, p in increasing order.
-4, p, o
Suppose 514 - 530 = -8*g. Sort 5, 1, g, -1 in decreasing order.
5, g, 1, -1
Let k = -2896 - -2897. Let u = 1.5 + -2. Let f = 10 + -19/2. Put f, k, u in increasing order.
u, f, k
Suppose r + 194 = -8*h + 5*h, -227 = 4*h - 5*r. Let k be 3/11*42/h. Put 0.5, k, 0, -35 in ascending order.
-35, k, 0, 0.5
Let r = -19 - -33. Let z = r + -9. Put z, -2, 4 in decreasing order.
z, 4, -2
Let m = -3 + 3.4. Let f = m + 0. Let q = -1.123 + 7.123. Put f, q, 1 in increasing order.
f, 1, q
Let v = 27.6 + -30. Let h = 2.2 + v. Let b be (-1 - 0 - (-6)/8)*-3. Sort 2/7, b, h in ascending order.
h, 2/7, b
Suppose -2*l - 2*r + 4 = 0, 135*l - 4 = 138*l + 5*r. Put 12, l, -3 in decreasing order.
12, l, -3
Let j be (-1)/(-4)*-1*-4. Let u = -130 + 135. Put j, -2, u, -1 in decreasing order.
u, j, -1, -2
Suppose 0 = -o - 5*a + 17, 4*o - 3*a + 24 = 0. Let p(s) = -3*s**2 + s + 2. Let u = 4 - 5. Let t be p(u). Put o, 1, t in descending order.
1, t, o
Let b be (-14)/42 - 4/(-3). Put 5, b, 4, 13 in decreasing