 = -w - 0, -4*m = -3*w - 15. Sort -2, -1, m in decreasing order.
m, -1, -2
Suppose k - 7 = -63. Let c be (-2)/k + 2/8. Let l = -19 + 21. Sort 4, c, l in increasing order.
c, l, 4
Let q = -0.6 + 3.4. Let c = 1.2 + q. Let g = 9 + -13. Sort g, -1, c.
g, -1, c
Let t be 3 - (2 + (-3)/1). Suppose 3*i + 27 = 3*j, -2*j + 4*i = -0*j - 16. Suppose t*w - j = 6*w. Put w, 2, -1 in decreasing order.
2, -1, w
Let h(m) = m**3 + 11*m**2 + 20*m + 13. Let a be h(-9). Put a, 0, 3 in decreasing order.
3, 0, a
Suppose 5*h - 5*n - 65 = -0*n, -4*h = -2*n - 46. Let c = h - 8. Let d = c + -6. Put 0.5, d, -5 in descending order.
0.5, d, -5
Let a = -0.07 + -0.43. Let w = 0 + -2/9. Sort a, w, 5.
a, w, 5
Let w = 7 - 12. Let n = -8.4 - -8. Let b = -0.1 - n. Put w, 3, b in increasing order.
w, b, 3
Let j be (-9)/(-6) + (-1)/2. Let m = -8 - -8.1. Let z = 0.14 + -0.64. Sort m, j, z.
z, m, j
Suppose -11 - 1 = 4*s + 4*b, -6 = 3*s + 2*b. Put -1, s, -6 in descending order.
s, -1, -6
Let q be 4/(-3)*6/(-4). Suppose -q*v = 3*v. Let l be (-12)/(-7) + (-12)/(-42). Sort -1, v, l in descending order.
l, v, -1
Let y = -102 - -101. Put 0, 4, 5, y in descending order.
5, 4, 0, y
Let j = 0.33 - -0.07. Let v = 0.3 - -0.1. Let k = j - v. Sort k, 2, -0.5.
-0.5, k, 2
Let k = -6.02 - -6. Let g = k + -11.98. Let u = 7 + g. Sort 2/9, 1/8, u in descending order.
2/9, 1/8, u
Let o(b) = -9*b**2 - b**3 + b + 9 + 0*b + 2. Let q be (1*-6)/(2/3). Let l be o(q). Sort 4, l, -5 in ascending order.
-5, l, 4
Let h = -8 - -5. Suppose d = 2*x - 5, 6*x - 8 = x + 4*d. Sort x, -2, h.
h, -2, x
Suppose 4 = 2*u - 0*u. Let n be 9/u + 1/2. Let k(i) = i**3 - 6*i**2 + 5*i - 2. Let x be k(n). Put 2, x, -5 in descending order.
2, x, -5
Let y = 5 + -10. Suppose 4*d + 2 = 5*d. Suppose 5*v = 2*g - 9 - 14, d*g = v + 3. Put y, 1, g in descending order.
1, g, y
Let t(g) = g**2 + 8*g + 14. Let h be t(-5). Sort 5, 3, h, 2 in decreasing order.
5, 3, 2, h
Let t(i) be the third derivative of i**6/120 + i**5/20 - i**4/24 - i**3/6 - i**2. Let b be t(-3). Put 5, b, 3 in decreasing order.
5, 3, b
Suppose -3*l + l + 6 = 0. Let y(q) = -q**3 + 3*q**2 + q + 3. Let z be y(l). Sort 0, z, -0.3 in descending order.
z, 0, -0.3
Let g = 7 - 2. Suppose 0 = -2*f + g*v - 0 - 1, 3*v - 3 = 0. Suppose f*o + 16 = 6*o. Put 0, o, -3 in ascending order.
-3, 0, o
Suppose 3*g = 9 - 3. Let p be (4 - 7)*g/3. Sort 1, p, -5 in descending order.
1, p, -5
Let d(a) = 3*a**2 + 2*a - 1. Let l = 6 + -5. Let g be d(l). Sort -3, -1, g in decreasing order.
g, -1, -3
Let h(t) = -t - 8. Let j be h(-5). Put j, 4, 2 in descending order.
4, 2, j
Let p = -5 + 4. Let b be 8/34*p/(-2). Suppose 3 = l + 7. Put b, l, -3/2 in ascending order.
l, -3/2, b
Suppose 11*s - s + 10 = 0. Put s, 1/2, -6, 0 in increasing order.
-6, s, 0, 1/2
Let d(l) = -l + 2. Let w be d(6). Suppose 5*f - 2*g + 0*g = 3, 0 = -2*f + 3*g + 10. Suppose -j = -6*j + 10, j - 22 = -4*h. Sort w, f, h.
w, f, h
Suppose 14*q = 39 + 3. Let g be (-2 + 1)/(2/10). Put g, q, 5 in decreasing order.
5, q, g
Let w be (-19)/7 + 4/(-14). Let i be (1/w)/((-14)/5910). Let x = 141 - i. Sort -2, -3, x.
-3, -2, x
Suppose 14*v - 5*v = -27. Sort 9, v, 1 in ascending order.
v, 1, 9
Let y = -4.11 + 0.11. Let v = y - -1. Sort 2/7, 2, v in descending order.
2, 2/7, v
Suppose 0 = 4*g + 14 + 6. Let y = 238/9 - 26. Sort g, y, 5 in decreasing order.
5, y, g
Let x = -0.09 - 0.11. Suppose -l + 5*l - 4 = 0. Let o = -0.3 - -0.2. Sort o, x, l.
x, o, l
Suppose -2*d - 10 = -6*d - 2*y, -4*d = -3*y - 5. Let u(i) = -i**2 - 3*i + 3. Let x be u(-3). Suppose -x*m + 1 = 4. Sort m, d, 5.
m, d, 5
Let k = -19.7 + 20. Put -0.3, k, -5, 2 in decreasing order.
2, k, -0.3, -5
Let h = -1208.93 - -1191. Let r = 18 + h. Put r, 0, 3 in increasing order.
0, r, 3
Let l = 9 + 21. Suppose 10 = -28*f + l*f. Put 1, f, -4 in descending order.
f, 1, -4
Let q = 0 + 0. Suppose -14 = -4*r - 5*j - 5, r = 5*j - 29. Sort q, 4, r.
r, q, 4
Let o = -50 + 50.27. Let a = -0.03 - o. Let x(i) = i - 6. Let q be x(5). Put 5, a, q in descending order.
5, a, q
Let k(h) = 2*h + 1. Let y(w) = -11*w - 7. Let a(s) = 34*k(s) + 6*y(s). Let u be a(6). Put u, 3, 5 in decreasing order.
5, u, 3
Let f(c) = c**3 + 8*c**2 + 6*c - 3. Suppose 2*d = w - 3*d - 3, -5*w - 33 = -d. Let x be f(w). Put -5, x, 1 in decreasing order.
x, 1, -5
Suppose -9*a - 20 = -4*a. Sort a, 5, -3 in decreasing order.
5, -3, a
Let w be 6 + 1 - (-7)/((-21)/12). Put w, -3, 5, 10 in increasing order.
-3, w, 5, 10
Let z = 2.979 - -0.021. Let j be -37*(0 - (-21)/(-9)). Let x = j - 87. Put -3, z, x in decreasing order.
z, x, -3
Let w = -0.6 + 2.6. Let r = -3/124 + -197/2108. Sort w, 5, r in descending order.
5, w, r
Suppose 0 = -3*i + 2*i - 2. Put i, 6, -5 in decreasing order.
6, i, -5
Let f = 1 - 3. Let q be (-9)/2 - 1/f. Let d = -2/3 + 1/3. Put -0.2, q, d in descending order.
-0.2, d, q
Let a = -6.4 - -7. Let o = -0.1 + a. Let q be 3 - 0 - (-4)/(-2). Put q, o, 4 in increasing order.
o, q, 4
Let i be (-4 - -4)/(-2 + 0). Suppose 0 = 2*r - i - 2. Sort 4, r, 3 in increasing order.
r, 3, 4
Let y = 115 + -115.05. Put 0.09, y, -2, 2/7 in ascending order.
-2, y, 0.09, 2/7
Let g = 8 - 3. Let q be (-4 - 36/(-8))*(0 - 2). Sort 0, g, q in descending order.
g, 0, q
Let a = -6.9 + 12.9. Put 2, 3, a in increasing order.
2, 3, a
Let f(g) = 6*g + 12. Let h be f(-2). Sort h, -1, -4 in descending order.
h, -1, -4
Let a(r) = -r - 1. Let m = 7 + -3. Let n be a(m). Suppose 4*k + 17 = o, -3*o = -2*k - o - 16. Sort 4, k, n in decreasing order.
4, k, n
Let b = 8.3 + -8. Let a = b - 1.3. Let s = 871 - 870. Put s, 0.4, a in descending order.
s, 0.4, a
Suppose 3*t - 5*p + 22 = 0, t + 2*p - 5*p = -10. Sort 3, t, 2 in descending order.
3, 2, t
Suppose 2*y + y + 5 = 2*i, 0 = -y + 3. Suppose -i - 13 = 5*b. Sort 1, 5, b.
b, 1, 5
Let f = -5 - -4.2. Let g = f - -0.4. Put 1, g, 4/5 in descending order.
1, 4/5, g
Let d = -4/7 - -48/35. Let y = -0.05 + 0.02. Let v = 5.03 + y. Sort d, -0.3, v.
-0.3, d, v
Let u = 32 + -37. Let s = -236 - -4010/17. Sort s, 3/4, u.
u, s, 3/4
Suppose -d - 5*x = -29, 2 = d - x - 3. Sort 2, d, -4.
-4, 2, d
Let v be -3 + 4 - (-9)/3. Suppose 2*i = u + 3 - 5, -3*u - v*i = 4. Let p be (u + 0 + 1)*-3. Put 0.2, 5, p in increasing order.
p, 0.2, 5
Let y = -12 + 8. Let a be (0 + 2)/(y/10). Let j be 2/(-2)*4/2. Put j, 2, a in ascending order.
a, j, 2
Let c be 2/((24/20)/3). Sort -5, c, 1.
-5, 1, c
Let s = 0.071 + 4.929. Sort -4, -1/4, 4, s.
-4, -1/4, 4, s
Let s be (-2 - 3/(-1)) + -7. Let m(i) = i**2 + 7*i + 7. Let b be m(s). Put 0, -2, b in descending order.
b, 0, -2
Let n(y) = y**2 + 19*y + 63. Let i be n(-4). Let p be (1 - 2) + (-8)/2. Put 0, p, i in increasing order.
p, 0, i
Suppose 3*p + 14 = -5*z - 13, 4*p = z - 13. Let r be (-10)/(-4) + 3/(-6). Put r, -4, z in ascending order.
-4, z, r
Let z be ((-120)/(-140))/(2/(-14)). Sort 3, 1, z.
z, 1, 3
Let q = 229 - 231. Suppose -4*b + b + 6 = 0. Sort 0, q, b in descending order.
b, 0, q
Let l be (6/(-4) + 1)*(1 + -1). Put l, -4, -5, 6 in increasing order.
-5, -4, l, 6
Let k(i) be the first derivative of -i**2/2 - 4*i - 7. Let s be k(-3). Sort s, 2, -2 in increasing order.
-2, s, 2
Let w = -1.4 - -8.4. Let k = -5 + w. Sort 2/9, -4, k in decreasing order.
k, 2/9, -4
Let t(z) = z**2 - 13. Let i be t(3). Suppose 0 = -3*x + 3 + 3. Sort x, 5, i in decreasing order.
5, x, i
Let p = 0.05 + -0.45. Let d = -0.1 - 4.9. Let z = d + 10. Put p, -2/3, z in decreasing order.
z, p, -2/3
Suppose -z = 2*d - 1, 0*z + 2 = -5*d - z. Sort 1, -6, d, 4 in decreasing order.
4, 1, d, -6
Let t = 8 - 5. Let v = 1 + t. Let a = 3.5 - v. Put -0.3, a, -4 in decreasing order.
-0.3, a, -4
Let b(l) = 6 + l**3 + 10*l**2 + 5*l**2 - 9*l**2 + l. Let g be b(-6). Put -2, -5, g in increasing order.
-5, -2, g
Let x(z) = -z + 4. Let o be x(0). Put 2, o, 2/5 in descending order.
o, 2, 2/5
Let a be 6/(-21) - (-10)/(-14). Let g(d) = -1 - d + 0 + 2 - 3. Let b be g(2). Put b, 1, a in decreasing order.
1, a, b
Let t = 44 + -43. Sort -4, t, 0, 2 in decreasing order.
2, t, 0, -4
Suppose -4*v - 4 = 5*u, u = -3*v - u + 4. Suppose t = -5*n - 15, v*n = -5*t + 7 + 2. Put 4, -11, t in descending order.
t, 4, -11
Let a = 0.06 + -0.56. Let h = 2.1 + -0.1. Let g = h + -4. Sort g, a, -1 in descending order.
a, -1, g
Let c = -78 + 75. Sort c, -7, -2, 0 in ascending order