. Suppose -m + 3*m = -10. Let c be ((0 - -2) + -3)*m. Sort c, -2, t in ascending order.
-2, t, c
Let y be 4/5 + 308/(-110). Put 1, 5, y, 4 in increasing order.
y, 1, 4, 5
Let t = -1.29 + -1.66. Let k = t - -3. Let c(h) = 2*h**2 - 37*h + 20. Let w be c(18). Sort -2, k, w in decreasing order.
w, k, -2
Let q = -9.44 - -12.452. Let f = 0.012 - q. Let g = 0.25 - 0.2. Put g, f, -1/3 in ascending order.
f, -1/3, g
Let b be (5 + 18/(-4))/((-1)/2). Let x(i) = -7*i - 9. Let p(f) = -3*f - 4. Let j(l) = 9*p(l) - 4*x(l). Let c be j(-3). Put c, b, -2 in ascending order.
c, -2, b
Suppose 2*h + 1 = -5*k, -5*h = -2*k + 6 + 11. Suppose -66 = 5*j - 21. Sort h, 5, 2, j.
j, h, 2, 5
Suppose 3*o - 10 = -2*p + 5*o, 5*o = 20. Suppose -p = 9*s + 9. Put -1, s, -6 in ascending order.
-6, s, -1
Let r be (288/(-12))/(-6) - (-24)/(-3). Put r, -28, 1 in decreasing order.
1, r, -28
Let v = 34.2 + -34. Let i = -5.09 - -0.09. Put v, 0.03, i in increasing order.
i, 0.03, v
Let x(f) = f**2 - f + 5. Suppose 5*u - 12 = 3. Let q be x(u). Let i(w) = w - 8. Let j be i(q). Sort j, -1, -4.
-4, -1, j
Suppose -2*c + 2 = -q - 2, -4*c - 5*q + 8 = 0. Put 6, c, 4, 1 in decreasing order.
6, 4, c, 1
Let z(j) = 3*j**3 - 1. Let w be z(1). Let v = 5 - w. Let a = 4.347 - -0.653. Put a, -0.5, v in descending order.
a, v, -0.5
Let m be (2 + 20/8)*-6. Let v = -33 - m. Let s = -4 - -7. Sort 5, s, v in descending order.
5, s, v
Suppose -s = -3 - 1. Suppose -67*p = -76*p + 45. Suppose g = -p*d + 30, -s*g - 3*d + 15 = -4*d. Sort 10, 4, g in descending order.
10, g, 4
Suppose -159 = -12*f - 41*f. Sort f, -0.9, -0.7 in ascending order.
-0.9, -0.7, f
Let z = 16/7 + -13/7. Let o = -248.5 - -248. Put -0.1, o, z in descending order.
z, -0.1, o
Let l be -1 + -21 + 2 - -1. Let m = -657 - -653. Sort m, l, 1.
l, m, 1
Let i be (1 - 4/8) + (-1)/8. Sort 1/2, -2/15, i in decreasing order.
1/2, i, -2/15
Let z = 270 - 269.9. Put -36, 2/9, z in descending order.
2/9, z, -36
Let q = 140 - 140. Sort 1, 7, q, -1 in decreasing order.
7, 1, q, -1
Let r be 3/(-1)*(5 - 6). Let q = 34 + -33. Sort -1, -5, r, q.
-5, -1, q, r
Let z = 734 + -736. Let y = -7 - -3. Put y, z, -2/5 in decreasing order.
-2/5, z, y
Let a be ((-2)/10)/(10/20). Let g(p) = p**3 + 6*p**2 - 9*p - 9. Let v be g(-7). Let n = 3.5 - -0.5. Sort v, a, n in decreasing order.
v, n, a
Suppose 5*d = 2*z - 8, d - 3*d = -2*z + 8. Suppose 5*w + 3*l + 19 = d, 0*w + 4*w - 7 = 5*l. Let g be (2/9)/(2 - (-102)/(-54)). Sort 3, g, w.
w, g, 3
Let a = 21 - 19.2. Let f = -1403/5580 - -2/1395. Put 5, a, f in ascending order.
f, a, 5
Suppose 17 - 27 = -10*d. Put 3, -5, d, -20 in descending order.
3, d, -5, -20
Let c = 41 - 40. Let t = c + -7. Sort -5, t, -3, 5 in descending order.
5, -3, -5, t
Let o = -4.8 - -4.8. Let y = 0.3 + -0.6. Sort o, 4, y in ascending order.
y, o, 4
Let x be (-42)/9*(-72)/14. Let t = x + -25. Let u be (-2 + (-24)/(-9))*3. Sort t, 8, u in descending order.
8, u, t
Let n = 746 - 743. Put 2, -24, n, 4 in increasing order.
-24, 2, n, 4
Suppose 145 = f + 4*f. Suppose v + 5*z - 11 = 0, 3*z + f = -5*v - z. Let x(n) = -n - 14. Let w be x(v). Put w, 2, -7 in ascending order.
-7, w, 2
Let w(q) = 3*q + 2. Let n be w(-2). Let h be 174/(-145)*(-3 - 4/(-3)). Sort h, n, 6 in decreasing order.
6, h, n
Suppose 5*m - 3 = 17. Suppose 8*t - 3 = 45. Sort m, t, -2.
-2, m, t
Let b = -8.2 - -8.7. Sort 4, 1, 28, b in descending order.
28, 4, 1, b
Suppose 3*n = 5*s - 2, 4*n = 2*s - 259 + 261. Let c = 10 + -6. Suppose 13 = -k - j - c*j, 2*j = -2*k - 2. Put k, n, -2 in descending order.
k, n, -2
Suppose 12 = -3*y - 4*s - 7, 3*s + 18 = -3*y. Let c = -7 - y. Suppose -5*h + 10 = -2*d, 0 = -2*h - 4*d - d - 25. Put c, h, 5 in decreasing order.
5, h, c
Let h = -54.05 + 54. Put 3, 0.4, 2/21, h in increasing order.
h, 2/21, 0.4, 3
Suppose -185*r + 9 = -194*r. Let x = -13 + 19. Suppose -3*k = -x + 3. Sort r, k, -4 in increasing order.
-4, r, k
Suppose -5*s = -a - 11 - 1, 15 = 2*s + 3*a. Suppose -5*o + o = -5*n + 5, -4*o + 35 = s*n. Suppose -n = -q - 0. Sort 4, q, -1 in increasing order.
-1, 4, q
Let s = -0.3 - -5.3. Let t = -14318 + 14320. Sort t, s, -5.
-5, t, s
Suppose -3 = -f + 2. Suppose -25*n - 23 = 127. Sort f, -4, n, -2.
n, -4, -2, f
Let u(y) = -y**3 + 7*y**2 - y + 6. Let n be u(7). Let l(d) = -d**3 + d**2 + 2*d. Let a be l(2). Suppose a*c = 2*c - 10. Sort n, c, 3/5 in descending order.
c, 3/5, n
Suppose 0 = 5*j - 8 - 2. Suppose -4*x = 0, -j*x + 10 = 2*f + x. Let r be 2 - (3 - (2 - 0)). Sort f, 24, r in decreasing order.
24, f, r
Suppose -4*l = -4*u + 4, 3*u = -3*l + l + 18. Sort 2, l, 0, -3.
-3, 0, 2, l
Let i = -5 + 5. Let h = -0.13 + 11.13. Let v = h - 10.7. Put 2/5, v, i in decreasing order.
2/5, v, i
Let v be (2 - 1)*(6 + 1). Let w = 17 - v. Put -1, w, -2 in ascending order.
-2, -1, w
Let u = 0.1 - 1.1. Let j = -3.6127 + 0.6127. Sort 4, u, j, 3/4.
j, u, 3/4, 4
Suppose 2*u + 16 = 2*b, 1 + 10 = -2*u + b. Put -2, 0, u, 35 in increasing order.
u, -2, 0, 35
Suppose 87*k + 372 = 56*k. Put k, 6, -4 in decreasing order.
6, -4, k
Let s(r) = 2*r**3 + 12*r**2 + 7*r + 40. Let y be s(-6). Sort y, 3, 1, 79 in increasing order.
y, 1, 3, 79
Suppose 0 = -4*v + 5*m + 14 + 11, -3*v + 5*m = -20. Sort -4, 2, 3, v in descending order.
v, 3, 2, -4
Let q = -14.33 - -14.43. Sort 2/15, q, -0.2, -5 in increasing order.
-5, -0.2, q, 2/15
Suppose 6*g - 5*b = 2*g, g + 5*b = 25. Let u be (-2)/(-4)*(-5 + g). Suppose -5*v + 2*w = 0, 5*v = -5*w - u*w + 35. Put v, 1, -4 in increasing order.
-4, 1, v
Suppose 0 = 28*h - 23*h - 345. Let u = 66 - h. Sort 2/11, u, 2/15 in descending order.
2/11, 2/15, u
Let z = 0 + -2. Let j be 6/(-4)*((-20)/(-15) - 2). Let b(y) = -y + 3. Let g be b(7). Put z, g, j in decreasing order.
j, z, g
Suppose -5*v + 18 = -o, -7 = 4*o - 4*v + 1. Suppose 8*w + 30 = 3*w. Let f be (-2)/3*w/4. Sort o, -4, f in ascending order.
-4, f, o
Let t be 21/(-14) + (-186)/(-4). Let v(n) = -n**3 - 10*n**2 - 17*n - 4. Let x be v(-8). Suppose k = -x*k - t. Sort 4, 0, k in increasing order.
k, 0, 4
Suppose -5*w = 5*p + 25, -2*w + 5*p = 3*w - 15. Let y(r) be the first derivative of 2*r**2 + 96. Let i be y(w). Put -5, i, 3 in increasing order.
-5, i, 3
Let g(d) = -d**3 - 9*d**2 - 10*d + 22. Let u be g(-7). Put u, -4, 5, 3 in increasing order.
u, -4, 3, 5
Let v be 1/((-2 + 0)/(-4)). Let d(t) = t + 0*t - 7 + 0*t. Let m be d(6). Sort -4, v, m in increasing order.
-4, m, v
Let v = 148 + -148.3. Put 0, v, 0.03, 1/5 in increasing order.
v, 0, 0.03, 1/5
Let t(v) be the first derivative of v**2/2 + 1. Let o be t(-1). Suppose 0 = 5*d + 20, -n + 5*d - 4*d + 7 = 0. Put n, 5, o in descending order.
5, n, o
Suppose 20 = 4*q, 5*f - q + 6*q - 20 = 0. Suppose -27 = -5*g - 7. Sort g, f, -2.
-2, f, g
Let y = 1 - 0.9. Let r = -0.9 - y. Let i = 9.007 - 8.507. Put 3, r, i in ascending order.
r, i, 3
Let y(g) = -g**2 - 6*g + 2. Let q be y(-5). Let a be (-55)/65 + 2/(-13). Put a, q, -2 in ascending order.
-2, a, q
Let y(s) = -2*s**3 - 48*s**2 - s - 22. Let u be y(-24). Let k be ((-22)/(-4) + -2)*u. Put k, 5, -4, 1 in increasing order.
-4, 1, 5, k
Suppose -2*y + 34*r = 39*r + 14, -2*y + 5*r = -6. Put 12, y, -4, 3 in ascending order.
-4, y, 3, 12
Let u = -566 + 565.8. Sort -4, u, 3, -1/4 in ascending order.
-4, -1/4, u, 3
Let z = 0.061 + -0.261. Put 5, z, -0.3, -4/3 in descending order.
5, z, -0.3, -4/3
Let i = 271 + -267. Let m = -10 - -36. Let r be (-1)/(-1) + m/(-18). Sort i, -3, r in decreasing order.
i, r, -3
Suppose 2*q = -5*o - 1, -2*q + 8 = -27*o + 23*o. Sort o, 18, 5, 0 in ascending order.
o, 0, 5, 18
Let j = -25 + 6. Let y = -46 - j. Let i = y - -21. Put i, 0, -0.2 in ascending order.
i, -0.2, 0
Let w(j) = 2*j - 8. Let x be w(-8). Let m = 13 + x. Put m, -1, 1 in increasing order.
m, -1, 1
Let h be 8*(21/18 + (-95)/57). Put h, -2/7, -2/5, -7 in decreasing order.
-2/7, -2/5, h, -7
Let d = -45.49 - 0.51. Let l = d - -43. Sort -2, l, 2 in ascending order.
l, -2, 2
Let u be 8/60 - (-215)/75. Suppose -4*g - 46 = -5*i - 9, 0 = -3*i - 5*g. Let p be i/((-8)/(-2) - 3). Put 1, u, p in decreasing order.
p, u, 1
Let z = 195.9 - 196. Sort z, -4, -0.5 in descending order.
z, -0.5, -4
Suppose 0 = -2*g - f - 7, -4*g + g - 43 = -5*f. Put 2, -1, g, -2 in descending order.
2, -1, -2, g
Let j be (42/4)/(4 - 95/20). Let a(l) = l - 2. Let k be a(-1). So