a be (-2)/12 - q/(-6). Sort a, 1, 5 in decreasing order.
5, 1, a
Let g = -1 + 12. Let w = g - 8. Suppose -5*y + 4*h - 7 = -2*y, -2*h + 6 = -2*y. Put 0.1, w, y in decreasing order.
w, 0.1, y
Let c = -52.6 - -53. Sort -0.4, c, 5/6 in decreasing order.
5/6, c, -0.4
Let r(x) = -x + 14. Let h be r(12). Let u be (-1 - 0)/(h/(-4)). Put 3, u, -1 in decreasing order.
3, u, -1
Let v(h) be the second derivative of h**3/6 + 7*h**2 - 4*h. Let c be v(-11). Sort 5, c, -1 in decreasing order.
5, c, -1
Let g = -12 - -10. Sort -5, -3, g in increasing order.
-5, -3, g
Suppose -2*f + 5*y - 6 = -f, 5*f - y + 6 = 0. Suppose -6*x - 13 = 2*d - 3*x, d = 5*x. Sort 5, f, d.
d, f, 5
Let m be 6 + -2 + -4 - (-1 + 2). Sort -3, 2, m, -5 in ascending order.
-5, -3, m, 2
Suppose -4*y = 4*q - 24, -3*q = 4*y + y - 30. Sort y, -5, 1, -2 in ascending order.
-5, -2, 1, y
Let o be -2 - (-6 - (-10)/3). Let c = 8/265 + 1221/3445. Let b = c + -33/52. Put b, o, 1/5 in decreasing order.
o, 1/5, b
Let v(a) = -a**2 - 6*a + 2. Let h be v(-6). Suppose 4*w - 3*p + 8 = -p, -p - h = 0. Put 5, w, 1 in decreasing order.
5, 1, w
Let p(m) = 3*m + 16. Let g be p(-7). Let a(w) = -w**3 + w**2 + 4*w - 3. Let z be a(2). Let q(o) = o - 6. Let v be q(6). Put z, g, v in ascending order.
g, v, z
Let g = 0 + 2. Suppose 3*u = -7 - g. Let k be (24/20)/(6/(-20)). Sort k, -2, u in increasing order.
k, u, -2
Let q = -48 + 52. Sort q, 2, 3, -3 in decreasing order.
q, 3, 2, -3
Let o = -13 - -12.97. Let h = -0.13 - o. Sort 4, 2/5, h in decreasing order.
4, 2/5, h
Let x(z) = z**2 - 7*z + 6. Let o be x(4). Let c be ((-5)/15)/(16/o). Put 2, 1/9, c in decreasing order.
2, c, 1/9
Let o = -0.3 + 1.3. Let c = 0.12 + -3.12. Sort o, c, 0.4 in ascending order.
c, 0.4, o
Suppose -20 = 3*d + g, 10*g = 5*d + 5*g. Let c be -2 - (-2 + 0/(-1)). Sort c, d, 5 in descending order.
5, c, d
Let q be (0 + -2)*(-4)/(-2). Suppose 0 = -4*k + 2*k + 16. Suppose 0*g - k = 4*g. Sort q, g, 0.
q, g, 0
Let c = -74 - -29. Let j = c - -49.9. Let t = j + -5. Sort t, -2, 5.
-2, t, 5
Let v = -3 + 1. Let b = 22 - 20. Sort b, v, -1/4 in increasing order.
v, -1/4, b
Suppose -7 = -4*z - 3. Let d(g) = -4*g**3 - g**2 + 2*g - 1. Let w be d(z). Put -1, w, 0 in decreasing order.
0, -1, w
Let t be 2 - (164/52 - 1). Sort 0.5, t, -4.
-4, t, 0.5
Suppose -2 = 5*r - 22. Sort 6, r, -2 in decreasing order.
6, r, -2
Suppose -17 = -z - 4. Let k = -8 + z. Put -3, 0, k in decreasing order.
k, 0, -3
Let f(u) = -u**2 + 5*u - 3. Let b(p) = p**2 - 5*p + 2. Let k(d) = 6*b(d) + 5*f(d). Let s be k(6). Suppose s*j + 10 + 5 = 0. Put 5, j, 3 in increasing order.
j, 3, 5
Let p = -0.08 - 0.42. Let c = 1.2 + -1.3. Put -0.03, p, c in ascending order.
p, c, -0.03
Let s be 4*(0 - (-6)/(-64)). Let m be 1/(-7) + (-22)/(-7). Suppose m*f = -0*f - 12. Sort 2/17, s, f in descending order.
2/17, s, f
Suppose 5*n - 50 + 25 = 0. Put -2/3, -1/4, n in descending order.
n, -1/4, -2/3
Let r = -16 - -12. Let x(w) = w**3 - 10*w**2 - 3. Let s be x(10). Put 4, r, s in descending order.
4, s, r
Let h(b) = 2*b**3 + b**2 + 5*b - 3. Let q be h(3). Let v be 18/q*(-10)/(-4). Put -2, v, -1/7 in descending order.
v, -1/7, -2
Let n(g) = -g**2 - g - 1. Let z be n(0). Let b(y) = -y**3 - 8*y**2 - 11*y + 3. Let q be b(-6). Sort q, 4, z.
q, z, 4
Let j be (-4)/(-20)*3 - 36/(-15). Sort -1, -5, j, 4.
-5, -1, j, 4
Let j be (12/(-27))/(4/(-18)). Suppose -j*t + 12 = t. Put t, 3, -12 in increasing order.
-12, 3, t
Let k = -31 + 33. Let q = 8 + 1. Let l = q - 14. Sort k, 4, l in increasing order.
l, k, 4
Suppose -3*k + 26 + 10 = 0. Suppose -l = -1 + 3. Put k, l, 0 in decreasing order.
k, 0, l
Suppose -8*h = -4*h - 48. Suppose -j - h = 5*j. Sort j, -5, 2 in descending order.
2, j, -5
Let m = 9 + -11. Let l = 6 + -2. Sort l, m, 0.
m, 0, l
Let a = -7 - -7.3. Let o = 7.3 + a. Let k = o - 8. Put -2, -0.2, k in ascending order.
-2, k, -0.2
Let o = 1.06 - 0.06. Let d = -1 - o. Let w = 0.2 + -0.3. Sort d, -3, w in descending order.
w, d, -3
Suppose 0*a = 2*a. Suppose 3*s - 2*s + 3 = -4*l, -2*l - 3*s = -11. Sort a, l, 1 in decreasing order.
1, a, l
Let a(d) = -d**2 + 22*d - 4. Let u be a(22). Put 0, -5, u in decreasing order.
0, u, -5
Suppose 6 = 2*g - 2*n, 7*g - 5*n = 4*g + 17. Let k(j) = -j**2 - 9*j - 10. Let w be k(-7). Sort g, w, 3 in increasing order.
g, 3, w
Let d = -0.46 - 0.04. Put 1, d, 5 in decreasing order.
5, 1, d
Let o(a) = 4*a**2 - 2*a + 1. Let l be o(1). Suppose 7*n - 2*n - 20 = 0. Suppose 0*i - 4*i = 4*f + 16, 2*f - n*i = 4. Sort f, l, 1 in decreasing order.
l, 1, f
Let u = 67/558 - 33/31. Let z = u - 5/9. Let i = -2.99 - 0.01. Sort i, z, -0.2 in descending order.
-0.2, z, i
Let y be 12/5 - (-2)/(-5). Suppose 1 = -3*v + 2*g + 4, -6 = 2*g. Sort -2, y, v in descending order.
y, v, -2
Suppose -13*r - 41 = -28. Sort -4, -13, r.
-13, -4, r
Suppose -1 = -c + 5. Suppose -2*q + 7 = w, 4*w - 4 = -2*q + c. Suppose 4*j + 9 - 5 = 0. Sort j, w, -5.
-5, j, w
Let g = -5.2501 - -0.0301. Let i = 5 + g. Let t = -0.02 - i. Sort 2, t, 5 in descending order.
5, 2, t
Let s = 133 - 137.96. Let b = -5 - s. Let z = -0.54 - b. Sort -3, -0.2, z in increasing order.
-3, z, -0.2
Suppose -4*c + 1 = -3. Let z = 70 + -68. Sort z, 5, c in decreasing order.
5, z, c
Let k(o) = 5*o + 7. Let s be k(-2). Let i be (-5)/10*(-8)/2. Suppose 4*r + 1 - 9 = p, p - 6 = -3*r. Sort s, i, p in increasing order.
s, p, i
Let x = 9.3 - 9. Put 0, -2/11, x in decreasing order.
x, 0, -2/11
Suppose -3*u + 20 = u. Let z(r) = 2*r - 7. Let y be z(u). Sort -4, y, -5 in increasing order.
-5, -4, y
Suppose 9*y + 39 = 4*d + 4*y, -5*y = -3*d + 23. Put -2, 0, d in ascending order.
-2, 0, d
Suppose -3*f = 61 - 37. Suppose n = -0*n + 3*u - 2, 0 = 2*n + 3*u - 14. Sort n, f, -4 in descending order.
n, -4, f
Suppose 2*a = 8 - 0. Suppose -5*g + a*g = -2*n - 11, 3*n + 10 = -5*g. Suppose -k + 3 = -g. Sort k, 5, 3 in ascending order.
3, k, 5
Let j = 0.4 + 0.1. Let c be ((-4)/6)/((-42)/9). Sort -0.1, j, c in decreasing order.
j, c, -0.1
Suppose -5*w - 426 + 401 = 0. Suppose 7 = -4*f - 5. Put 1, f, w in increasing order.
w, f, 1
Let v(j) = -4*j + 4*j - 6 - 6*j**2 + 6*j - j**3. Let n be v(-7). Let z(l) = l**2 - 10*l + 3. Let g be z(10). Put -1, n, g in descending order.
g, n, -1
Let c(n) = -3*n + 16. Let t be c(7). Put -4, -2/11, 1, t in increasing order.
t, -4, -2/11, 1
Let q = 12.07 + -0.07. Let u = q - 7. Let j = u + -7. Sort -2/5, 0.4, j in increasing order.
j, -2/5, 0.4
Let a be 1/(-2) - 18/(-4). Sort 5, 2, a.
2, a, 5
Let i be (-932)/(-24) + 4/6. Let o = -38 + i. Sort 3, o, -5.
-5, o, 3
Suppose -25 = 2*i - 5*q, -2*i - 2*i = -5*q + 25. Put -2, 2, i in descending order.
2, i, -2
Let z be 6 + 0/(-1) + -2. Let n = -3/110 - 157/2310. Sort n, z, 0 in increasing order.
n, 0, z
Let q be ((-24)/32)/(1/4). Let k be q/(-6) + 6/(-4). Put 2, k, 0.2 in increasing order.
k, 0.2, 2
Let v = -5/14 - -3/14. Sort v, -2/3, -0.2 in decreasing order.
v, -0.2, -2/3
Let t = 28 - 27.9. Sort -4, t, -5, 1/7.
-5, -4, t, 1/7
Let c = -34 - -168/5. Let v be (16/(-18))/((-6)/(-9)). Sort 0.1, c, v in decreasing order.
0.1, c, v
Let f be (32/(-80))/((4 - 1) + -2). Put -4, -1, -1/6, f in increasing order.
-4, -1, f, -1/6
Suppose -3*j + 0*j = 12. Let w be (-2)/(-4)*(0 + 8). Put w, j, 2 in decreasing order.
w, 2, j
Suppose -3*f = 9 + 3. Put f, 6, -5 in increasing order.
-5, f, 6
Suppose x - 3*x + 8 = 0. Suppose -x*o = o. Let y be (4 + o)*(-30)/(-24). Sort 0, 1, y in descending order.
y, 1, 0
Let d = 0.05 + -5.05. Let n be (2 + 2)*15/4. Let v be 54/n + (-4)/(-10). Put v, 2, d in increasing order.
d, 2, v
Let y(v) = v**2 - 2. Let m be y(0). Let f = 5 + m. Sort f, 2, -2.
-2, 2, f
Let u = -14 + 19. Put -0.1, u, 2/7 in decreasing order.
u, 2/7, -0.1
Let x(q) = 3*q**2 + q. Suppose 8 = 4*g - 4*m, m + 4*m + 15 = 0. Let r be x(g). Suppose 2*o + f + 7 = 0, 5*f + 6 + r = -o. Put 4, o, -1 in descending order.
4, -1, o
Suppose 4*d = -b - 16, 0*b - 4*b - 4 = -4*d. Let z = 0.4 - 0. Sort d, 3, z in descending order.
3, z, d
Let q = 13 + -12.93. Let c = 4.07 - q. Put 0.2, c, -0.2 in decreasing order.
c, 0.2, -0.2
Suppose -5*a - m = m + 91, 0 = -a + 2*m - 11. Let s = a - -18. Sort -6, 5, s.
-6, s, 5
Let y = 156/5 + -31. Sort 0, -1, y in ascending order.
-1, 0, y
Let k = 11 + -12. Sort 1, 5, k in descending order.
5, 1, k
Suppose g - 4*h = h