Sort 0.3, l, p in decreasing order.
l, 0.3, p
Let z = 76 - 79. Put -8, -2, z in descending order.
-2, z, -8
Let b = -2 + 1. Let x = -0.14 - -3.14. Let q = x - 5. Sort q, b, 0.5.
q, b, 0.5
Let b = -1 + 5. Let p = b + -4. Let z = p + 0.5. Sort 5, z, 1/7.
1/7, z, 5
Let p be ((-2)/21)/((-4)/(-18)). Put 3, 5, p, -2/7 in increasing order.
p, -2/7, 3, 5
Suppose -2*t = 4, 2*m - 2*t + 4*t = 2. Let u = -8 - -6. Let s be u/(-13) - 28/13. Sort -4, s, m.
-4, s, m
Let c = 20.6 + -20.7. Sort -0.5, c, 2, 3.
-0.5, c, 2, 3
Let j = -44 + 45. Sort 3/4, 2, j in descending order.
2, j, 3/4
Suppose 3*f - 4*d = -6*d - 17, 3*f + 5*d = -20. Sort 12, -2, -3, f.
f, -3, -2, 12
Let r(m) = -5*m**2 + 9*m - 3. Let u be r(2). Let a = 0.1 - 0.1. Sort a, 3, u in descending order.
3, a, u
Let s = 57/203 + -4/29. Sort -2, s, -0.4, -2/13 in ascending order.
-2, -0.4, -2/13, s
Let p = -0.09 - -0.59. Let r = -1 - 4. Put r, p, 1 in ascending order.
r, p, 1
Let l = 20 - 20.3. Sort -1/6, l, -4 in increasing order.
-4, l, -1/6
Let g be -1 - (3 - 1 - 3). Sort g, 5, 4 in decreasing order.
5, 4, g
Suppose -33 = 5*k - 8. Suppose z - 2 - 2 = 0. Put k, 2, z in ascending order.
k, 2, z
Let t = -0.82 - -2.12. Put -2, t, 4 in descending order.
4, t, -2
Let n = 0.5 - -1.5. Let j = 3 + 2. Sort j, 3, n in increasing order.
n, 3, j
Let r = -1 - -6. Suppose 0 = 3*l - 2*g + 13, -l + g - 6 = -0*g. Let c be (5/(-80)*20)/((-5)/6). Sort l, c, r in increasing order.
l, c, r
Let a = 112/559 - 2/43. Let n = -190648/155 - -1230. Let q = n - 626/465. Put q, a, -3/5 in increasing order.
q, -3/5, a
Suppose 5*r - 18 = 2*r. Suppose r*p + 25 = p. Suppose -6*c = -3*c - 9. Put c, p, -1 in decreasing order.
c, -1, p
Let w = -80 - -115. Suppose 0 = 4*y - 3*k - 8, -14 = -5*y - 4*k - w. Sort y, -3, 4 in increasing order.
-3, y, 4
Let w(h) = h**3 + 9*h**2 - 9*h + 9. Let x be w(-10). Sort 4, x, -2 in descending order.
4, x, -2
Let g(s) = s**2 + 6*s + 6. Let j be g(-6). Let v = 9 - j. Sort 1, 4, v.
1, v, 4
Suppose h = -3*s + 12, -h - h + 9 = s. Put s, -5, -1 in decreasing order.
s, -1, -5
Let d be (3/(-12))/((-5)/60). Put 5, -3, d in ascending order.
-3, d, 5
Let h = 2 - 4. Let m = 1 + -5. Sort -3, m, h in descending order.
h, -3, m
Let p = -11/5 + 12/5. Let j = -0.1 + -0.4. Put -0.1, p, j in descending order.
p, -0.1, j
Let i = -5 - -10. Sort -3, i, 4 in descending order.
i, 4, -3
Let g be (-1)/2 + (-35)/(-10). Suppose -d - 3*d = 4*b, 0 = -3*b - 4*d. Put b, -1, g in decreasing order.
g, b, -1
Let m be 2/5 + (-2)/5. Let x = -279 + 280. Sort x, m, -4 in decreasing order.
x, m, -4
Let h = 0.2 + -2.2. Sort 4/5, -0.1, h.
h, -0.1, 4/5
Let y be 11/(-2) + 40/10. Sort y, 4, 2/9 in decreasing order.
4, 2/9, y
Let l = -138 + 687/5. Put l, 1/9, 1/4 in decreasing order.
1/4, 1/9, l
Let s = -4 + 0. Let n = -7 - -7. Put s, n, -5 in decreasing order.
n, s, -5
Let y be -5*(-6)/(-60) - -1*1. Sort -1/3, y, 2/13, -1 in decreasing order.
y, 2/13, -1/3, -1
Let j = -52 + 56. Let b(y) be the third derivative of -y**6/60 + y**5/20 - y**4/24 + y**3/3 - y**2. Let u be b(2). Put j, u, 0.2 in descending order.
j, 0.2, u
Suppose 2*k = -v - 9, 3*v = 4*k - k + 9. Let q = 2 - v. Let b = 44 - 46. Sort b, 2, q.
b, 2, q
Let m = 43 - 43. Put 3, -4, m in ascending order.
-4, m, 3
Let y = 2 - -2. Suppose -3*q = -2*n - 9, -2*q - q = -y*n - 9. Let f(h) = -h. Let u be f(-5). Sort n, 3, u.
n, 3, u
Let z be 2/5 - 7/5. Sort z, 3, -2 in ascending order.
-2, z, 3
Let h be 1*(12 + 0)/(-4). Sort h, 6, -4 in ascending order.
-4, h, 6
Let f(k) = -2*k - 12. Let u be f(-9). Suppose u*m = 2*m + 48. Let l be 41/(-60) - m/(-20). Sort 0.1, 0, l in decreasing order.
0.1, 0, l
Suppose 4 = -4*f - 2*i, -4*f = -2*i - 6 - 6. Put f, 4, 3 in increasing order.
f, 3, 4
Let m = 0.7 + -0.9. Suppose -5*g - 25 = 4*x, -4*g - 3 = -2*x + 17. Sort 3, m, x in descending order.
3, x, m
Let f = 0.006 - -0.394. Sort f, 0.2, -2, -3.
-3, -2, 0.2, f
Let p = 136 - 1495/11. Put p, -0.3, 0.02 in ascending order.
-0.3, 0.02, p
Let b be -3 + (-6)/(-4 + 2). Suppose b = -4*i - 2*m - 1 - 1, -i = -5*m + 6. Sort 0, 1, i.
i, 0, 1
Suppose 4*m - 25 = -m + 5*f, -m + 5*f + 17 = 0. Let g = m - 4. Sort -5, 1/4, g in ascending order.
-5, g, 1/4
Suppose 5 = -5*o - 0. Let d = o + -1. Put d, -5, -1 in decreasing order.
-1, d, -5
Let a(d) = -2*d - 10. Let t be a(-8). Let f = 6 - t. Let k = f + 3. Put -3, k, 2 in ascending order.
-3, 2, k
Let o = 37 + -27. Sort -0.2, o, 1 in increasing order.
-0.2, 1, o
Let d(o) = 11*o**2 - 8*o - 8. Let r(j) = -5*j**2 + 4*j + 4. Let t(q) = -6*d(q) - 13*r(q). Let k be t(-3). Sort 5, k, -3.
-3, k, 5
Let h = 6 - 4. Suppose 0 = h*r + k - 1 - 1, -4*r + 10 = -k. Suppose r*m - 7 - 1 = 0. Put 0, -1, m in descending order.
m, 0, -1
Let u be (2 + (-1 - 2))*-4. Sort 0, u, -6 in decreasing order.
u, 0, -6
Let u(g) be the third derivative of g**4/24 + g**3/3 - 4*g**2. Let s be u(2). Let b(y) = -y**2 + 8*y - 9. Let v be b(6). Put s, -5, v in descending order.
s, v, -5
Let t = -7 + 9. Let w = -43 + t. Let v = w + 124/3. Sort -3, v, -1/7 in ascending order.
-3, -1/7, v
Let r be -3*2/6 + -11. Let c = r - -10. Let o be (0 - 4 - -1)*1. Sort c, 2, o in descending order.
2, c, o
Suppose -1 = -4*o - 3*g + 6, 5*o - 5*g - 35 = 0. Sort 0, o, -3.
-3, 0, o
Suppose d - 2*d - 5 = 0. Let u = 7 + 13. Suppose 0*v = 5*v + u. Put v, 4, d in decreasing order.
4, v, d
Let w = 0 + 0. Let j be 8/(2 + (-2 - -1)). Let i be 1/2*1*j. Sort i, 5, w in descending order.
5, i, w
Let j = -102 + 712/7. Let h(x) = -x + 7. Let o be h(7). Sort j, 0.5, o in descending order.
0.5, o, j
Let k be (0 - 10)*(4 + -3)/(-2). Sort k, -5, 0.2, -1 in decreasing order.
k, 0.2, -1, -5
Let b(m) be the first derivative of 7*m**2/2 - 2*m - 6. Let d be b(1). Sort d, 0.4, -0.2 in increasing order.
-0.2, 0.4, d
Suppose 8 - 4 = -r. Sort -3, r, 0.
r, -3, 0
Suppose 0 = -3*l + p + 10 - 3, -4*l + 14 = p. Let z be (4/(-6))/(l/(-18)). Sort -2, 0, z in decreasing order.
z, 0, -2
Suppose j + 8 = 2*j - 4*a, 0 = 3*j - 3*a - 24. Suppose o - j = -o. Sort o, -0.2, 4/5 in ascending order.
-0.2, 4/5, o
Let t = -40 - -58. Let h = t - 13. Put 2, -1/3, h in decreasing order.
h, 2, -1/3
Let q = 15 + -16. Sort -5, q, -0.3.
-5, q, -0.3
Let q = 14 + -71/5. Let b = 11.9 + -12. Put b, -3, q in decreasing order.
b, q, -3
Let j be 12/2*20/(-30). Sort 1, j, -2 in descending order.
1, -2, j
Let s = 35 + -34. Put s, 3, -4 in ascending order.
-4, s, 3
Suppose -4*t + 1 = 5*n - 4, 1 = n. Suppose t = -5*q - 16 - 4. Sort -1, -2, q.
q, -2, -1
Suppose 4*z = -0*z - 332. Let j be (0 + z)/(1*52). Let c = j - -7/4. Put 0, -2/5, c in increasing order.
-2/5, 0, c
Let n = 2 - 2. Suppose n = -0*v - v. Sort 3, v, -2 in increasing order.
-2, v, 3
Suppose 17*d = 34 - 119. Sort d, -2, 4, 6 in ascending order.
d, -2, 4, 6
Let g = 0 + 3. Let s = g + -2.8. Put 3, -0.3, s in ascending order.
-0.3, s, 3
Let y = -14.64 + -0.36. Let w = y + 13. Sort w, 2, -4 in descending order.
2, w, -4
Let s = 0.5 + -0.7. Suppose -g - 3*g + a + 1 = 0, g + 5*a + 26 = 0. Put -2/9, s, g in decreasing order.
s, -2/9, g
Suppose c - 3 = -2*c. Let y be -2 - (c - 3)*1. Let v be 1/(-4) - (-39)/12. Put v, y, 5 in descending order.
5, v, y
Let o = -16 - -16.09. Let r = 0.11 + o. Put -7, 2/3, r in descending order.
2/3, r, -7
Suppose -2*s - 3*t = 15, -4*s - 4*t + 3*t = 5. Sort -1, s, -4 in decreasing order.
s, -1, -4
Suppose 5*d = 2*d + 15. Sort 1, d, -3.
-3, 1, d
Suppose 0 = -3*n - 0 + 6. Let v be ((-10)/(-25))/(n/10). Let w be (-1 - 1)/((-4)/(-6)). Put 3, w, v in decreasing order.
3, v, w
Suppose 12 - 3 = 3*r. Let y(i) = i**2 + 5*i + 2. Suppose 2*o = -4*t - 24, 13 = o - 4*t + 1. Let u be y(o). Put r, 2, u in descending order.
r, 2, u
Let m(k) = -5*k + 5*k + 3*k**2 - 5*k + 0*k**3 + k**3. Let v be m(-4). Suppose v*y = y - 9. Put 4, y, 5 in increasing order.
y, 4, 5
Let z be (-2)/(-6) - 94/(-6). Let o be 1/(-4) + (-76)/z. Let k be 117/(-45) + 2/o. Sort 1, 2, k.
k, 1, 2
Let y be ((-6)/15 - 0)*10. Suppose g - 2*o + 4 = 3*o, o + 16 = 3*g. Suppose 2*h = h + i, -2*h - i = g. Sort -5, y, h in descending order.
h, y, -5
Let q(c) = 3 + c - 2*c - 2. Suppose 7*t + 20 = 12*t. Let z be q(t). Put z, 2, -5 in descending order.
2, z, -5
Let i = 0.14 - -0.06. Let x(b) = -b**3 - 6*b**2 - b - 4. Let t be x(-6). Let m be 1*(t/2 - 4). Sort 2, m, i.
m, i, 2
Let