*y. Put y, -4, -5, a in decreasing order.
y, a, -4, -5
Suppose -4*n = 4*l, -2*n + 10 = 3*l - n. Sort 0, -1, l in ascending order.
-1, 0, l
Let m(l) = l**2 - 54*l + 289. Let x be m(6). Put -18, x, 4 in ascending order.
-18, x, 4
Let k = -452 + 451.9. Sort k, -2, 64, 4/5 in descending order.
64, 4/5, k, -2
Let d(x) = 7*x - 36. Let i be d(8). Suppose i*f = -44 - 36. Sort f, -1/4, 0.06 in decreasing order.
0.06, -1/4, f
Suppose -2*u - 3*v - 2*v = -6, -5*u + 2*v - 14 = 0. Sort -0.1, -18, u, -0.5 in decreasing order.
-0.1, -0.5, u, -18
Let s = -8 + 34. Let j = s + -21. Let p(q) = q**3 - 6*q**2 + 2. Let l be p(6). Put j, l, -10 in decreasing order.
j, l, -10
Let q(x) = x**2 + x - 8. Let i be q(0). Put i, 1, -2 in decreasing order.
1, -2, i
Let x(g) = 2*g**2 - 16*g + 70. Let s be x(5). Sort 4, 5, 0, s in descending order.
s, 5, 4, 0
Suppose -10*p + 16*p + 12 = 0. Let c be -4*p/8 + (-15)/13. Let m = -2 + 3. Sort c, m, -4/5 in descending order.
m, c, -4/5
Let p = 370 + -372. Let c(r) = -2*r + 29. Let b be c(13). Sort b, p, 1, 0 in ascending order.
p, 0, 1, b
Suppose -1 = -3*q - 4. Suppose 30 = 5*r + 2*m, 5*m - 17 = 56*r - 54*r. Put 1, r, q in decreasing order.
r, 1, q
Let p(q) = -6*q**2 + 1. Let t be p(-1). Let z = 1.8 - 8.8. Let x = 5 + z. Sort t, x, 1.
t, x, 1
Let m be (-76)/133*14/(-92). Put 1/7, 10, m in descending order.
10, 1/7, m
Suppose 24 = 4*z + 4*d - 12, 0 = 2*z + 5*d - 30. Suppose 7*q = z*q. Suppose q = -0*b - 7*b + 28. Put b, 5, -12 in increasing order.
-12, b, 5
Let r(d) = -d**2 - 11*d + 14. Let x be r(-12). Suppose 0 = -2*l + x*v + 4, l = -2*l + 2*v + 9. Suppose -2*q + l*q = 0. Sort -5, 2, q in decreasing order.
2, q, -5
Suppose -991*h - 60 = -1006*h. Suppose 4*x = 11 + 1. Let a be (-3 + x)/(1*2). Sort 5, h, a in decreasing order.
5, h, a
Let g = 0.03 - -0.57. Let w = -1.4 - g. Let r = w - 1. Sort -1, r, -0.5.
r, -1, -0.5
Let l = -13 + 53/4. Sort -0.3, -0.052, l.
-0.3, -0.052, l
Let j(a) = 4*a**2 - 21*a - 51. Let x be j(7). Sort x, -2/21, -3, -102.
-102, -3, x, -2/21
Let c(i) = -i - 8. Let r be c(-8). Suppose -3*d + 2 = 2*g, g + r*g - 12 = 4*d. Sort -7, g, -5 in ascending order.
-7, -5, g
Let m(t) = -3*t - 76. Let s be m(-8). Sort 2, s, 4 in decreasing order.
4, 2, s
Let c = -0.3372 - -4.3372. Suppose 0 = 3*f + 2 + 10. Put c, f, 2 in increasing order.
f, 2, c
Let i(n) = 2*n**3 - 2*n + 3. Let h be i(2). Let k = h + -10. Let j be (28/(-35))/(2/k). Sort -3, j, 2 in ascending order.
-3, j, 2
Let s be -1 - -1 - 2/5. Suppose 4*k - 2*o - 14 = 0, 5*k = -8*o + 7*o + 7. Let b be (-126)/(-81)*k*(-9)/(-21). Put b, -5/4, s in decreasing order.
b, s, -5/4
Let l = -0.76 + 2.76. Put l, -20/11, 5 in ascending order.
-20/11, l, 5
Let r(n) = n**3 - 4*n**2 + 4*n - 13. Let q be r(4). Suppose -3*z = q*f, 4*z + 44 = 5*f - 1. Sort z, -3, -4 in decreasing order.
-3, -4, z
Suppose 32*d - 755 = 685. Sort d, -1, -2 in decreasing order.
d, -1, -2
Let f = 0.1 + -0.2. Let i = -107.9 - -103. Let v = f + i. Sort -0.5, v, -0.1 in descending order.
-0.1, -0.5, v
Suppose 738*p - 734*p - 88 = 0. Suppose 5*x = 6 - 136. Let c = p + x. Sort 5, c, 4 in decreasing order.
5, 4, c
Let x(z) be the first derivative of z**2/2 + 10*z + 24. Let m be x(-10). Suppose j + 3*j - 4 = 0. Put m, 3, j in decreasing order.
3, j, m
Suppose 14*p = 332 + 1250. Let x = -115 + p. Sort x, 4, 7 in descending order.
7, 4, x
Let k be -18 - -18 - (-3 + 2). Put k, 0.6, -5 in descending order.
k, 0.6, -5
Let r(i) = -i**3 - 11*i**2 - i - 11. Let v be 42/(-4) - 3/6. Let n be r(v). Sort 0.2, 1/4, n in ascending order.
n, 0.2, 1/4
Let x = -45 - -45. Suppose 5*u = 4*r - 7 - 24, -2*r + 14 = -2*u. Put x, r, 5 in increasing order.
x, r, 5
Let q = 154 + -152. Put q, -1, -0.4 in ascending order.
-1, -0.4, q
Suppose 51*q = -44 - 58. Put 10, q, -13 in descending order.
10, q, -13
Let k = -13 + 27. Let c be 4/k + 72/42. Sort c, -2/7, -3.
-3, -2/7, c
Let b = -155 + 140. Let g be 12/b + (-1)/5. Let a(d) = -4*d**2 - 1. Let s be a(1). Put s, 5, g in descending order.
5, g, s
Let b be (-15)/6*(-6)/15*3. Sort b, 219, -5 in descending order.
219, b, -5
Suppose -5*j - 25 = -0*j. Suppose 12*n - 45 = 27. Suppose 0 = 3*o + 2*m + n, -5*o - 3*m = -5*m - 6. Put 2, j, o in decreasing order.
2, o, j
Let x be 10/(-105)*7/(-3). Let p = 2.9 + -0.9. Let v = 3 - p. Put v, -0.1, x in ascending order.
-0.1, x, v
Let t be (2 + (-39)/26)*1/6. Put t, 5, 0 in descending order.
5, t, 0
Let q(a) = -17*a - 217. Let k be q(-13). Sort k, 1, -1/52 in decreasing order.
k, 1, -1/52
Let h = 22 - 18. Put -5, 1, h, 0 in ascending order.
-5, 0, 1, h
Let y(w) = -w**2 - 2*w + 33. Let u be y(5). Sort -4, -10, 11, u.
-10, -4, u, 11
Let m = -2741/24 + 349/3. Let a = m + -263/120. Let r = 0.029 + -0.029. Put a, r, 0.4 in decreasing order.
0.4, r, a
Suppose -2*q + 86 = -2*y + 18, -y - 46 = 2*q. Let h = -41 - y. Put 4, h, 40 in ascending order.
h, 4, 40
Let g be (-122)/18 - 14/63. Let z = -14 - g. Let l = z + 5. Put l, 0, 1 in decreasing order.
1, 0, l
Let f be 2*((-21)/(-6) + -1). Let q(p) = -p**3 - 12*p**2 - 19*p - 3. Let g be q(-10). Put f, 4, g in increasing order.
g, 4, f
Let k = -2.1 + 2. Let r = -0.1 - k. Let n = -22945.6 - -22946. Put 5, r, n in decreasing order.
5, n, r
Let a = -2.3 + 2. Let u = 207 - 203. Sort a, -4, u in descending order.
u, a, -4
Let l be ((-4)/72)/((-50)/165). Let v = l + 5/12. Let t = -0.74 - -0.8. Sort 2/11, v, t.
t, 2/11, v
Suppose -7*q + 36 = 2*q. Suppose -b = 3*d - 15 - 3, -q*d + 4 = -2*b. Sort -7, 1, b.
-7, 1, b
Suppose -6*m + 2*m + 24 = 0. Put -3, m, 2 in increasing order.
-3, 2, m
Suppose 124*y - 130*y - 30 = 0. Let f be -9*(1 - (-2)/(-3)). Sort f, 3, y, -4 in decreasing order.
3, f, -4, y
Suppose 45 = -0*n - 3*n. Let c = n + 17. Suppose -14 = -0*h - c*h. Sort h, 0, -5 in decreasing order.
h, 0, -5
Let p be (5 - 2)/(0 - -1). Suppose g + 22*z = 23*z, -32 = -5*g - 3*z. Sort -2, p, g in decreasing order.
g, p, -2
Let x = 116/5 - 24. Let a = -21 + 18. Let q = -1.1 - -1. Put a, q, x in descending order.
q, x, a
Suppose -2*n = 4*u + 14, -3*u + n + n = 0. Sort u, 1/5, 1/7 in ascending order.
u, 1/7, 1/5
Let j(c) = c**2 + 39*c - 37. Let l be j(-40). Put 0, -4, l, 9 in descending order.
9, l, 0, -4
Let g = 0 + 0.1. Let h be ((-84)/189)/((-196)/(-126)). Put 7, g, h in increasing order.
h, g, 7
Let h = -2.44 + 7.44. Put h, -9, -0.5 in increasing order.
-9, -0.5, h
Let r = 833 - 833.04. Sort 7, r, -0.3, -0.1 in decreasing order.
7, r, -0.1, -0.3
Let j = 154 - 159. Let x = -5 + -2. Let o = x - -4. Sort j, o, 7 in decreasing order.
7, o, j
Let b(m) be the first derivative of -7*m**2/2 + m + 17. Let v be b(-1). Let t = -3 - 1. Sort t, 1, v.
t, 1, v
Let n = 5 + -1. Let m be 6/1*n/(-2). Let w = 26 + -27. Put m, -5, w in descending order.
w, -5, m
Let i = -16 + -8. Let r = i + 26. Sort -4, -5, -1, r.
-5, -4, -1, r
Suppose -3*c + 2 = m, -2*c = -3*m - c - 4. Let q = -154 + 156. Sort m, 1/2, q in increasing order.
m, 1/2, q
Suppose -5 = -10*b - 65. Sort b, -0.5, 0.03 in descending order.
0.03, -0.5, b
Let o = 72.102 - 72. Let a = o - 0.302. Put a, 1, 2/3 in increasing order.
a, 2/3, 1
Let n(x) = 33*x**2 - x + 1. Let d be n(1). Suppose 12*k = 9*k + d. Sort -2, k, -3, 5.
-3, -2, 5, k
Let i = -1507 + 1512. Sort i, -1/8, 3, -2.
-2, -1/8, 3, i
Let y = 1.64 + -2.34. Sort 2/3, -0.5, y, 2/9.
y, -0.5, 2/9, 2/3
Let s be (1/20*4)/((-10)/(-50)). Put -27, s, -2 in increasing order.
-27, -2, s
Let a = -2.26 - -1.26. Sort a, 49, 2 in ascending order.
a, 2, 49
Let a(h) = -h**2 + 6*h - 6. Let k be a(4). Let j = 4 - k. Sort -3/2, -2, j.
-2, -3/2, j
Let a(w) = -w**3 - 3*w**2 + 4*w + 14. Let r be a(-3). Sort -67, 0, r, 1 in increasing order.
-67, 0, 1, r
Let w = 23 + -21. Let k be ((-2)/24)/(4/((-32)/w)). Let j = -0.3 - 0.2. Sort k, -1/11, j.
j, -1/11, k
Let i be 0*((-65)/10 + 6). Sort 4, i, 3, 16.
i, 3, 4, 16
Suppose 7 = d + 3*m, -2*d - 3*d - 2*m + 22 = 0. Suppose -d*b + b + h = 5, 3*b + 5*h - 25 = 0. Sort -4, 2, b in increasing order.
-4, b, 2
Let j be ((-51)/(-6))/((-1)/(-6)). Suppose -j = 2*z - 19. Let p be 1/3*12/z. Put 2, p, -0.4 in descending order.
2, p, -0.4
Suppose 2*c - 9*p + 12*p - 6 = 0, -2*p = 0. Sort -4, 0, c, 5 in descending order.
5, c, 0, -4
Let y = -93 + 653/7. Put -0.4, y, 1/22, -2 in decreasing order.
y, 1/22, -0.4, -2
Suppose -1282*m + 1269*m