-2*p = 2*d - 14. Sort d, a, -1 in decreasing order.
d, -1, a
Let v(g) = 6*g**2 - 6*g + 1 - 2*g - 2 + g**3. Let w be v(-7). Let n = w - 11. Sort 5, n, 1 in descending order.
5, 1, n
Suppose -2*g + 3*x = 7*x - 38, -3*g + 27 = -4*x. Let j = g + -18. Sort j, -2, 3.
j, -2, 3
Let u = -18 + 18.4. Sort u, -1/7, -0.4 in descending order.
u, -1/7, -0.4
Let x = -0.001 - -2.701. Let w = 0.23 - -0.07. Let b = x + w. Put 2/11, -1, b in increasing order.
-1, 2/11, b
Let i = -67 + 76. Sort i, -2, 4 in descending order.
i, 4, -2
Let j be 15/(-55)*4/(-6). Sort j, -1/4, 0.5 in increasing order.
-1/4, j, 0.5
Let l = -1.63 - 0.37. Put -3, -4, l in ascending order.
-4, -3, l
Let m = 9/4 + -71/28. Put -0.3, m, 0, 2/17 in decreasing order.
2/17, 0, m, -0.3
Let c = 2/15 + 1/5. Sort 3/5, c, -0.04 in increasing order.
-0.04, c, 3/5
Let v = -41 + 45. Sort 11/5, -0.1, v in decreasing order.
v, 11/5, -0.1
Suppose -2*p - p - 4*p = 0. Sort p, 1, 4 in ascending order.
p, 1, 4
Let k = 0.3 - 0.3. Let j = 44 + -43. Put k, 1/5, j in decreasing order.
j, 1/5, k
Let q be -6 - -2 - (1 - 3). Let d = -1 - q. Suppose -d - 3 = -2*k. Sort -5, 0, k in descending order.
k, 0, -5
Suppose 6 - 18 = -4*k. Suppose 0 = 5*t - k*t - 8. Suppose 4*v = 2*m - 10, -2*v + t = 4*m - 2*m. Sort -2, 1, m in ascending order.
-2, 1, m
Suppose -5*k + 25 = -0. Suppose t + 2*f = 4*t - 11, 9 = t + 2*f. Suppose -t = -8*y + 3*y. Sort y, k, 4 in decreasing order.
k, 4, y
Suppose p = 5*p + 2*l + 4, 5*p = -l + 1. Let u be -9*(-3)/(-33) + p. Sort u, 2/3, 3.
u, 2/3, 3
Suppose -6*y = -11*y + 10. Suppose 0 = 6*l - y*l - 20. Put -2, 0.2, l in descending order.
l, 0.2, -2
Let z = 0.9 - 0.4. Let c = 0.9 - z. Sort -4, 0.2, c.
-4, 0.2, c
Let l be (75/(-6))/((-1)/2). Suppose -a + 2*s - 7 = 0, 3*a = 5*s + 8 - l. Let p be (a/7)/(2/(-4)). Sort p, 1, -2/19 in decreasing order.
1, -2/19, p
Suppose -2*r + 6*r - 4 = 0. Let m = -5.825 + -0.075. Let w = m - -0.9. Sort -0.4, r, w.
w, -0.4, r
Let g(f) = -2*f**2 - 15*f - 2. Let a be g(-7). Sort -3, a, 4 in decreasing order.
a, 4, -3
Let i(r) = -r**2 + 6*r - 6. Let b be i(4). Suppose 0 = -4*f + b*o + 2 - 8, -2*f + 3*o - 1 = 0. Put f, -5, 4 in descending order.
4, f, -5
Suppose -9 = 4*x - 1. Let l be (1/x)/(2/(-8)). Suppose -l*c = -5*s - 3*c - 8, 0 = 2*s + 5*c - 6. Sort 1/9, s, 0.5 in descending order.
0.5, 1/9, s
Let t = 58.18 + -58. Put 0.2, -1, -2/23, t in descending order.
0.2, t, -2/23, -1
Let y = -10 + 8. Let a be y/(8/1)*-2. Sort a, -0.3, 1/8 in decreasing order.
a, 1/8, -0.3
Suppose -3*t = -0*t - 12. Let s = -13 + 7. Let j(g) = g + 4. Let h be j(s). Sort h, t, -4 in increasing order.
-4, h, t
Let y = 66.8 - 62.81. Let p = y - -0.01. Let i = -0.1 + 1.1. Put 5, p, i in ascending order.
i, p, 5
Let s = -8 - -3. Suppose -y + 2 = 3. Sort s, y, 1 in descending order.
1, y, s
Let f be 2*(-3)/6*3. Let c be ((-1)/4)/(2 + f). Sort -0.5, c, -0.1 in decreasing order.
c, -0.1, -0.5
Let w(y) = y**3 + 10*y**2 + 8*y - 9. Let m be w(-9). Let g be (2 + m)*1*6. Suppose -4*c = -c - g. Sort -1, 2, c in descending order.
c, 2, -1
Let w be 3 + (0 - -3 - 5). Sort 3/7, w, 2 in decreasing order.
2, w, 3/7
Let j = 0.42 - 0.02. Suppose 2*v - 11 = -5*d, -5*v + 14 = 3*d - 4. Put 5, j, v in ascending order.
j, v, 5
Let d(k) = 2 - 4 - 5*k + 7*k. Let x be d(2). Let u = -3 + x. Put -3, 0, u in descending order.
0, u, -3
Let i = 14 + -5. Suppose s = 2*b - 38, i*s - 4*s = 3*b - 57. Suppose 5*t = -25, -2*x + 0*x + 5*t + b = 0. Sort -0.1, x, 2/3 in decreasing order.
2/3, -0.1, x
Let y = 0.04 - -0.56. Sort -2/9, -1, y in decreasing order.
y, -2/9, -1
Let n be ((-2)/4 + 1)*-2. Let z = 5.063 - 0.063. Put 3, z, n in increasing order.
n, 3, z
Suppose -d - 3*w + 6 = 0, -4*d + 5*w = -3*d + 10. Let p(v) = 5*v**2 - 3*v**2 - v - 2*v + d*v + 1. Let u be p(2). Put u, 2/5, -3/8 in ascending order.
-3/8, 2/5, u
Let f = 12 + -11.8. Let y = 5 - 4.6. Sort 0.1, y, f in descending order.
y, f, 0.1
Suppose z - n = 6, -2*z + 9 = -z - 2*n. Let d(h) = 2*h + 5. Let c be d(-4). Sort c, z, -7.
-7, c, z
Let x = -4.9 + 0.7. Let n = x - -4. Put n, 0.2, 3 in decreasing order.
3, 0.2, n
Let l(r) = r + 16. Let n be (-168)/16 + 1/(-2). Let x be l(n). Put -2, 2, x in descending order.
x, 2, -2
Let w = -15 - -15.5. Sort -4, w, -2/9.
-4, -2/9, w
Let k be (-1 - 0 - 0)*(-3 - -5). Sort k, -4, -3, 20 in decreasing order.
20, k, -3, -4
Suppose -3*h = 3*w + 15, 4*w - 6 = -2*h - 18. Sort w, 4, 2 in decreasing order.
4, 2, w
Let j = 9/70 - 7/10. Sort -6, j, -0.1.
-6, j, -0.1
Let z = -3 - 1. Sort -2/5, z, -1/8 in decreasing order.
-1/8, -2/5, z
Let j = 72 - 71.5. Sort j, 0.2, 0.3 in ascending order.
0.2, 0.3, j
Suppose -4*i = 5*v, -v + 3*v + 3*i = 0. Suppose 5*h + 4*w = -51, w + 1 = h - w. Let f = h - -5. Sort 3, v, f in decreasing order.
3, v, f
Suppose 12 = -4*l - 0*l. Suppose 3*a = -4*s - 40 - 4, 3*a - 44 = 4*s. Let c(y) = -y**3 - 10*y**2 + 10*y - 7. Let o be c(s). Put 5, l, o in descending order.
5, o, l
Let u = 89.33 + -90. Let q = u - 0.03. Let m = q - -0.2. Sort 1/2, 0.1, m in descending order.
1/2, 0.1, m
Let o = -2 + 4. Suppose -d - o*d - 3 = 0. Put 4, d, -5 in decreasing order.
4, d, -5
Let d = -16 - -13. Put d, 4, 1 in descending order.
4, 1, d
Let t = 1.03 + -0.03. Let c = -3 + 2.9. Let r = c - -0.1. Put -0.5, t, r in increasing order.
-0.5, r, t
Let l = 3 + -7. Sort 3, -10, l.
-10, l, 3
Let r be 7 + (-4 - -2)*1. Let h(l) = l**3 + 2*l**2 - l + 3. Let s be 6/21 - 23/7. Let v be h(s). Sort 1, v, r in descending order.
r, 1, v
Suppose 5*n + 12 = 32. Suppose 3*d + 3 + 4 = u, 0 = 4*u - n. Sort d, 0.5, 4.
d, 0.5, 4
Suppose 0 = -2*a + 2*p + 2*p - 4, -3*p + 6 = 0. Let r = a - 5. Sort r, -4, -2/9 in descending order.
-2/9, r, -4
Let d(s) be the third derivative of -s**6/120 + 2*s**5/15 - s**4/3 + 5*s**3/6 + 3*s**2. Let j be d(7). Put j, 5, 0 in decreasing order.
5, 0, j
Let m = -20 - -33. Put -1, -0.2, 1, m in ascending order.
-1, -0.2, 1, m
Let x = 47.6 + -48. Put x, -1/6, -2 in ascending order.
-2, x, -1/6
Let h(s) = s**2 + 6*s - 9. Let c be h(-8). Let u be -5 + (-1 - (-8 + -3)). Sort c, u, 2 in decreasing order.
c, u, 2
Let w = 3 + 0. Let h = 2.94 - w. Let o = -0.34 + h. Sort -2, -2/7, o.
-2, o, -2/7
Let p be 9*(1/3 - 0). Put 0, 2, p in decreasing order.
p, 2, 0
Let x = -1/86 + 175/258. Let d be 8/14*1202/4. Let w = d + -172. Put x, w, 3/4 in decreasing order.
3/4, x, w
Suppose 0 = -4*w + 2 + 2. Let f(g) = 2*g**2 - g**2 - 2*g - 4*g. Let b be f(5). Put -4, w, b in increasing order.
b, -4, w
Let g = -2.4 - -2. Suppose 86 = 5*u - 4*o, -5*u + 77 - 23 = 4*o. Suppose 2*y = 4 - u. Put g, -1, y in decreasing order.
g, -1, y
Let x = 5 + -2. Let w be -2*(x - 9/2). Suppose -s - 5*r = -20, 0*r - 40 = 4*s - 4*r. Sort s, w, 0.
s, 0, w
Let k = 42 - 57. Put 5, -0.2, k in increasing order.
k, -0.2, 5
Let m be (-6)/30 - (-52)/10. Suppose 0 = -b - t + 4, -b = -5*b + 2*t - 14. Sort -2, m, b in ascending order.
-2, b, m
Suppose -2*v - 9 = 2*a - 1, -3*a + 3*v + 18 = 0. Let f be (-51)/45 - (a - 2). Let b = 199/5 + -40. Put b, 0.5, f in descending order.
0.5, f, b
Let w(a) = -a**2 + 12*a + 18. Let x be w(13). Sort -3, x, -1, 2.
-3, -1, 2, x
Suppose -4 = -2*x - 12. Let a = 428/5 + -86. Let b = -9 + 6. Put a, x, b in descending order.
a, b, x
Suppose -4*r = 2*n - n - 13, 0 = -r + n + 7. Sort r, 10, -1 in increasing order.
-1, r, 10
Let w be -1 + -33*(-2)/6. Let j be 10/(-12)*(-3)/w. Put 4, j, 0 in decreasing order.
4, j, 0
Let b = 9 - 9. Put 1, 5, b in ascending order.
b, 1, 5
Let r = 1 + -5. Let s = 0.1 - 3.6. Let w = r - s. Sort 1, 3, w.
w, 1, 3
Let n(f) = f**3 - 4*f**2 - 9*f + 8. Let q be n(6). Suppose q*h - 21*h = 5. Put -4, 3, h in increasing order.
-4, h, 3
Let p be (-1)/13*(7 - 5). Sort 0.2, p, -3 in increasing order.
-3, p, 0.2
Let w = 0.019 - 0.999. Let t = 0.02 - w. Put t, 2, -0.4 in decreasing order.
2, t, -0.4
Suppose 2 = -3*u + 5*u. Put 2, u, 4 in decreasing order.
4, 2, u
Let d be 3*-1*(-8)/6. Suppose -5*m = 3*j - 5*j - 23, 4*m - 3*j = 17. Suppose 16*r - 5 = -69. Sort d, r, m in decreasing order.
m, d, r
Let s = -6.7 + 7. Let c = -0.4 - -0.3. Sort 3/4, c, s in ascending order.
c, s, 3/4
Suppose 6*r - r = 4*x - 34, 3*x - r = 20. Sort 4, -3, x, 2.
-3, 2, 4, x
Let s be 8/(-6) + 4/(-6). Suppose b = -b - 16. Let d = -4 - b. Sort d, 3, s.
s, 3, d
Let h(k) = -k**2 - 10*k +