-p*c, -3*c + 15 = -4*b - 19. Let d(f) = f**2 + 7*f + 4. Let i be d(b). Put 1, i, 1/4 in descending order.
i, 1, 1/4
Let t = -8 + 17. Let j = t - 6. Let g be (-2)/6 + (-32)/(-6). Put j, 1, g in ascending order.
1, j, g
Let p = 0.3 - 0.1. Let s = -0.1 + 1.1. Put s, -5, p in descending order.
s, p, -5
Suppose -4*r + 3*r = -275. Let b = -3577/13 + r. Sort b, 0.4, 0.5 in ascending order.
b, 0.4, 0.5
Let f(a) = -2*a + 6. Suppose 3*r - 12 = -2*d - 2*d, -5*r - 32 = -2*d. Let s be f(d). Let b = s - -2. Sort -1, -2, b in descending order.
-1, -2, b
Let f be -2 + 2/2 + 21. Suppose 0 = -0*l + 4*l - f. Let h be (-1)/((1 - -1) + -1). Put 3, l, h in ascending order.
h, 3, l
Let k = -6 - -5.99. Let p = k - -0.51. Sort 0.1, -2, p in decreasing order.
p, 0.1, -2
Let m be ((-6)/2 - -1)/5. Suppose 0 = z - 4*z - 15. Sort z, m, -0.6 in decreasing order.
m, -0.6, z
Suppose -i + 0*i = 4. Let l = -1 + i. Sort 5, -1, l.
l, -1, 5
Let v = -1040/5781 - -46/141. Let q = v - -52/205. Let n = 2.6 - 0.6. Put q, n, 4/5 in decreasing order.
n, 4/5, q
Let r = 0.163 - 4.083. Let v = -0.08 + r. Let j = -6 + 8. Put v, j, -0.1 in ascending order.
v, -0.1, j
Suppose 0 = -3*z + 12, 4*i - 34 = -i - z. Suppose -3*f - 5*m - 2 = 7, -2*f - i = -2*m. Sort 5, 2, f in descending order.
5, 2, f
Suppose 3 + 1 = 2*i. Suppose -4*o + 31 = -k, 0 = -3*k + i*o + 15 - 58. Sort 5, -5, k in decreasing order.
5, -5, k
Suppose h + 24 = 4*l, -3*h + 0*h = 3*l + 12. Let r be 1*3/(-6)*h. Suppose -2*j = -4*t + 8*t - r, -6 = t + 4*j. Sort t, -3, 0.
-3, 0, t
Let v = -215 - -1937/9. Let g be (-6)/27 + (-2)/(-36). Sort -0.4, v, g in ascending order.
-0.4, g, v
Let w = -15 - -20. Sort -4, -1, 1, w in descending order.
w, 1, -1, -4
Let l be (60/(-225))/(1/(-6)). Put 4/3, l, -0.5 in descending order.
l, 4/3, -0.5
Let h be (4/(-3))/(18/198453). Let l = h + 14752. Let w = l - 52. Sort 3, -2/11, w in decreasing order.
3, -2/11, w
Let i(d) = -d**3 + 8*d**2 + 10*d - 10. Let k be i(9). Let c = 0.02 - 0.08. Let w = c + -1.94. Sort w, k, -1/7 in ascending order.
w, k, -1/7
Let l(t) = 2*t**2 - t. Let o be l(-3). Let b be 8/(-12) + o/(-9). Put b, 4, 0 in decreasing order.
4, 0, b
Let z = -14 - -15.6. Let t = 0.6 - z. Let g(p) = p**2 + 2. Let v be g(0). Sort 3/7, t, v.
t, 3/7, v
Let y = -12 - -13. Put -5, 2, y in descending order.
2, y, -5
Let p = 8 - 3. Let i(v) = v**3 - 3*v**2 - 16*v - 2. Let q(l) = -l - 1. Let r(w) = -i(w) + 5*q(w). Let x be r(5). Put 0, x, p in descending order.
p, x, 0
Let c = -1 - -1. Let q be (-27)/33 + 0 + 1. Sort q, 5, c in increasing order.
c, q, 5
Let n = 5 - -2. Let b(f) = f - 7. Let o be b(n). Let l(j) = j**3 + 3*j**2 - 3*j + 3. Let i be l(-4). Sort i, o, 4.
i, o, 4
Let s be 1 - (4 + 0)/(-1). Suppose 0 = -2*k - s - 3. Let v = 25 + -20. Put v, k, -5 in increasing order.
-5, k, v
Let s = 23.02 + -23. Put 1, 1/7, s, -3 in descending order.
1, 1/7, s, -3
Let b = 3.1 + -2. Let y = b - 1. Let c = 7.4 + -7.1. Sort c, y, 3 in descending order.
3, c, y
Let f be 1 - (2 + 3) - -2. Let y = 35 - 34.08. Let o = y + 0.08. Put f, -1, o in increasing order.
f, -1, o
Suppose y - 5*t + 81 = 5*y, -3*t + 15 = 0. Put -4, 3, y in ascending order.
-4, 3, y
Let q = 0 + 4. Let c be (-7)/(-3) + (-2 - -1). Let u(a) = a + 4. Let k be u(-7). Put q, k, c in ascending order.
k, c, q
Let n = 1.3 + -1.3. Let p = n + 0.3. Sort -1, 0.1, p in increasing order.
-1, 0.1, p
Let q be (-18)/2 - (2 + -4). Let s = q - -11. Suppose a + s = -a. Sort 3, 1, a in ascending order.
a, 1, 3
Let h = 2.4 - 3.7. Sort -0.3, h, -0.2, 0.2 in increasing order.
h, -0.3, -0.2, 0.2
Let g be -1 + -4 + 3 + -1. Let m(h) = 8*h - 6. Let v(a) = -a + 1. Let x(z) = m(z) + 5*v(z). Let r be x(1). Put r, g, -4 in decreasing order.
r, g, -4
Let r = -93/2 - -287/6. Let f = -1.1 - -0.1. Put f, 1, r in descending order.
r, 1, f
Let r be (1 - 2) + 6 + 2. Let c = r + -6. Suppose -9 = 5*q - w, 5*w - 12 = -5*q + 3. Put 4, q, c in descending order.
4, c, q
Let w be 2*(1/(-2) + 2). Let y be 156/(-7) - 2/(-7). Let t be (-76)/66 - (-4)/y. Sort w, t, 2/7 in decreasing order.
w, 2/7, t
Let w be 4/6 + 14/6. Suppose 0 = -3*p + 15 - w. Put p, -3, 3 in decreasing order.
p, 3, -3
Let n = 11/6 - 13/6. Sort -0.5, -12, 1/3, n in decreasing order.
1/3, n, -0.5, -12
Let i(l) = 2*l**2 + 2*l - 1. Let z be i(-2). Sort 1, -2, z.
-2, 1, z
Let n(t) = -t**3 + t**2 + 3*t - 1. Let j be n(2). Let h = 2.16 - 2.15. Put j, 4, h in increasing order.
h, j, 4
Suppose 3*p - 9 = 4*f, p - 6 = -p - 4*f. Let c(y) = -2*y - 9. Let b be c(-7). Sort p, 4, b in decreasing order.
b, 4, p
Let d be 3/8*(-28)/42. Sort d, 1/10, 1, -2 in increasing order.
-2, d, 1/10, 1
Let a(m) = -m**3 + m - 1. Let b be a(1). Put 2, b, -0.6 in increasing order.
b, -0.6, 2
Let v = 68 - 68.3. Put v, 1, 8 in ascending order.
v, 1, 8
Let t = 3 + -2. Suppose -2*m = o - 4, -3*o + 5*m + 0 + 1 = 0. Suppose -o*w + 7 = t. Put 5, w, 0 in descending order.
5, w, 0
Let q(n) be the second derivative of n**4/12 + 5*n**3/6 - n**2/2 - 2*n. Let s be q(-4). Sort -1, s, 1 in decreasing order.
1, -1, s
Suppose 0*a + a = 6. Suppose a = -0*o - 3*o. Suppose -3*t - 8 = 7. Sort 1, t, o in decreasing order.
1, o, t
Let s be 2*3/(-6) + -2. Sort 0, s, -1, 3 in descending order.
3, 0, -1, s
Let t be 1/(-3)*(5 + -8). Suppose 17 + t = 6*v. Sort 2, v, 5 in decreasing order.
5, v, 2
Suppose -5*n + 2*m - 16 = 0, 3*m = 2*n + n + 6. Put -1, n, 1, -2 in increasing order.
n, -2, -1, 1
Let z be (2*1)/(1 - 0). Let n = 38 - 43. Sort n, 1, z in decreasing order.
z, 1, n
Let d = 49 + -47. Let p(y) = y**2 + 2*y - 3. Let l be p(-3). Suppose 0 = -4*o + 3*g + 7, l*o = -5*o - 4*g - 30. Sort d, 5, o in descending order.
5, d, o
Let z = -6 - -7. Sort z, 6, -3 in decreasing order.
6, z, -3
Let w(a) = 1 + 0*a + 0 + 7*a**3 - a. Let g be w(1). Let c be 1/(-4) - g/(-60). Sort 0.5, c, -4 in decreasing order.
0.5, c, -4
Let c be (-56)/16 - (-1)/2. Put c, -5, -1, 12 in ascending order.
-5, c, -1, 12
Suppose -f = -2*g + 3, -f - 12 = 5*g + 3*f. Let w(a) = a**3 + a**2 + a + 5. Let b be w(g). Let s = -10 - -7. Put s, -4, b in increasing order.
-4, s, b
Suppose m - 8 = -0*m. Suppose 7*r - 3*r - m = 0. Put -4, 5, r in increasing order.
-4, r, 5
Let c = 175 + -878/5. Let v = -2 + 3. Let n = 1 - v. Sort n, 5, c in decreasing order.
5, n, c
Suppose -7*k + 4 + 3 = 0. Sort -2, k, 4.
-2, k, 4
Let j = -1 + 0. Sort j, 4, 5 in ascending order.
j, 4, 5
Let u = 0.6 - 2.6. Put 3, u, 0 in descending order.
3, 0, u
Let s = -452 - -451.813. Let n = -2.853 + s. Let v = n - -0.04. Sort 4/9, v, -1 in ascending order.
v, -1, 4/9
Let d(l) = 9*l**2 + 2*l + 2. Let a be d(-1). Sort a, 3, -0.5 in decreasing order.
a, 3, -0.5
Let t = -7 + 7. Let v = -4.2 + 4. Sort v, -2, t.
-2, v, t
Let k(z) = -z**3 + 7*z**2 - 5*z - 8. Let j be k(6). Let p be j/12 - (-3 - -2). Let l be -1*2*10/15. Sort 1/6, l, p in increasing order.
l, 1/6, p
Let o = 1/11 + 9/22. Suppose -3*d - 17 = -3*m + 7, 5*d - 3*m = -36. Let j = d + 3. Put 2, j, o in descending order.
2, o, j
Let a = 6 - 4. Let x = -494 - -494.3. Put 3, a, x in increasing order.
x, a, 3
Let q(l) = l + 7. Let y be q(-6). Let w(h) = h**3 + h**2 + h - 1. Let t be w(y). Sort -4, t, -1 in decreasing order.
t, -1, -4
Let t = 32 - 29. Put 3/2, -2/15, -1, t in decreasing order.
t, 3/2, -2/15, -1
Let a(t) = -5*t**2 + t. Let j(h) = -6*h**2 + 2*h - 1. Let v(r) = -5*a(r) + 4*j(r). Let w be v(-3). Suppose -2*l = l - 3. Put -3, l, w in decreasing order.
l, -3, w
Let x be 2*(3*-1 - -1). Let h(k) = -2*k. Let v be h(-2). Put v, x, 3 in ascending order.
x, 3, v
Let z = -115.7 - -116. Suppose -5*b = -0*b. Let x be b + (1 - (-16)/(-10)). Sort z, x, -1 in ascending order.
-1, x, z
Let u = 3 - 1. Let v(s) = -s**2 + 2. Let r be v(2). Let n = 2 + r. Sort n, u, 3 in increasing order.
n, u, 3
Suppose -r + 185 = -2. Let g = -2429/13 + r. Sort -0.5, -0.4, g.
-0.5, -0.4, g
Let s(r) = -r**3 + 13*r**2 - 12*r. Let i be s(12). Let n(x) = -x**3 + 11*x**2 + 13*x - 14. Let u be n(12). Sort i, -4, u.
-4, u, i
Let l = -76 + 82. Put 5, 4, l in increasing order.
4, 5, l
Suppose -2*w = -6 - 0. Let q = 10 - 11. Sort w, q, 4 in descending order.
4, w, q
Suppose -5*h - 17 = -y, 3 = 3*h - 5*y - 0. Let o be (-5)/(-3 - 10/(-2))*2. Sort h, 1, o in decreasing order.
1, h, o
Let x be 12/(-14)*21*2/(-6). Sort x, 2, 0 in increasing orde