 p in decreasing order.
p, -0.3, -4
Suppose -2*a + 3*k + 8 = -6, 0 = -a + k + 6. Suppose 0*m - 22 = 4*y + m, 5*m = -5*y - 35. Put a, -2, y in decreasing order.
a, -2, y
Let d = -2 + -3. Let t = -0.04 + 0.01. Put d, -3, t in decreasing order.
t, -3, d
Suppose -3*r = -4*t + 11, 4*t - 14 = 2*r - 4. Let k = 0 - t. Let f be (2 + 1 + 2)/(-1). Put k, f, -4 in ascending order.
f, -4, k
Let p be -59 - ((-12)/(-2))/(-2). Let q be (-4)/14 + 152/p. Let o(y) = -y**3 + 6*y**2 + 2*y - 7. Let b be o(6). Sort -4, b, q.
-4, q, b
Suppose 0 = 2*p + 35 - 11. Let f = p - -17. Let t be 3 - 5 - -2 - -2. Sort 4, f, t in descending order.
f, 4, t
Let m = -188 - -2070/11. Put m, 0.3, 7/3, 0.1 in descending order.
7/3, 0.3, m, 0.1
Let l(g) = g**2 - 3*g. Let f be l(3). Suppose -4 = 2*x - 3*n, -2*x + 0*x - n - 4 = f. Let o be x/(2 - -14)*2. Sort o, 3, -2 in increasing order.
-2, o, 3
Let h be 84/(-18) - (-8)/3. Suppose 3*r + 9 = -2*k, -23 = 4*r - 0*k - k. Sort r, 4, h in decreasing order.
4, h, r
Let y = 78 + -56.5. Let i = -22 + y. Let k be 1/(-7)*(-4)/6. Sort 1, k, i in ascending order.
i, k, 1
Let m = 73 + -72.6. Sort -1/4, -5, m in descending order.
m, -1/4, -5
Let q be 4*(35/10 - 3). Suppose -c + 5 = -5*t, 5*c - 4*t + 10 + 7 = 0. Put c, q, -3 in descending order.
q, -3, c
Let u = 8 + -7.7. Let d = -1 + 5. Suppose 0 = h - d*h - 15. Sort h, u, -3 in increasing order.
h, -3, u
Let h(t) = t**3 + 7*t**2 + 7*t + 8. Let q be h(-6). Sort 0, -7, q, -1 in decreasing order.
q, 0, -1, -7
Let t = 81/46 + -6/23. Suppose -4*w = -20, -2*p - 102 = -3*w + 9. Let d = p - -193/4. Put t, d, -0.3 in ascending order.
-0.3, d, t
Let r = 123.05 - 123. Let x be 1/(-1) + (3 - 1). Put x, r, 4 in increasing order.
r, x, 4
Suppose -49 = -y - 48. Sort -1, -2, 0, y in ascending order.
-2, -1, 0, y
Suppose -n + 4 = 0, 23 = 4*g + 5*n - 1. Put g, 2, 0 in descending order.
2, g, 0
Let h = 2 + -12. Let p = h + 1. Let t = -9.2 - p. Put 3, 2/13, t in decreasing order.
3, 2/13, t
Suppose -8*w + 4*l = -4*w, -2*l = -4. Let k = 0.2 - 0.6. Sort -0.1, k, w in descending order.
w, -0.1, k
Let r = 9 + 1. Let a = r + -6. Sort -0.2, -3/2, a in decreasing order.
a, -0.2, -3/2
Let j = 1.9 + -0.8. Let s = -0.1 + j. Let z be 6/15 - (-28)/30. Sort s, -5, z in descending order.
z, s, -5
Suppose -4 = 3*l + 3*k + 5, l = 4*k + 22. Sort -5, 0, l.
-5, 0, l
Let v = 11 - 13. Sort 4, v, -4 in decreasing order.
4, v, -4
Let p(u) = -u - 9. Let x be p(-6). Sort x, -2, -4 in decreasing order.
-2, x, -4
Let j = -21.2 - -3.2. Let q = j + 17. Sort -15, -2/9, q.
-15, q, -2/9
Let g = -8 + 3. Let y = g - -6. Put 0.2, -5, y in descending order.
y, 0.2, -5
Let y(i) = i**3 + 5*i**2 - 6*i - 4. Let b be y(-6). Let k = -12 + 11. Put k, -2, b in decreasing order.
k, -2, b
Let l be ((-1660)/328 - -3) + 2. Let v = l + 110/123. Sort v, -0.4, 4.
-0.4, v, 4
Let q = -17 - -16.5. Let t = 3.3 + -0.3. Sort 0.3, t, q.
q, 0.3, t
Let f = -0.36 - -0.06. Let l = -2.6 + -0.4. Put 4, f, l in increasing order.
l, f, 4
Let t(q) = -3*q**2 + 0*q - 1 - q - q + 5*q**2. Let j be t(-1). Sort j, -3, -5 in decreasing order.
j, -3, -5
Let g = -14 - -15. Suppose -g = -4*l + 15. Sort l, -2, -1.
-2, -1, l
Let x be (0 + 1)*1*0. Sort -0.3, x, 3 in descending order.
3, x, -0.3
Let o = -15 + 11. Put -3, -1, o in decreasing order.
-1, -3, o
Let b = 9 - 12. Let o = b + 2. Suppose 0 = -z + 4*z. Sort -2, z, o in descending order.
z, o, -2
Let v = -0.1 + -0.9. Let c = -0.9 - v. Put 0.2, c, -0.5 in ascending order.
-0.5, c, 0.2
Let s(y) = -y**2 + 6*y + 5. Let n be s(7). Put 0.4, n, 0.3, 1 in decreasing order.
1, 0.4, 0.3, n
Let w(a) = 4*a + 11. Let p be w(-2). Sort p, 2, -3, 0.
-3, 0, 2, p
Let h be ((-24)/9)/(4/(-6)). Put 3, 0.097, h in decreasing order.
h, 3, 0.097
Let w be (-5)/2*(-2)/20. Suppose -19*p = 7*p + 52. Sort -4, p, w in descending order.
w, p, -4
Let j = -86 - -177/2. Sort -4/3, j, 4 in decreasing order.
4, j, -4/3
Let h be (-1 - -1 - -3) + -3. Let g = -1 - h. Let x(p) = p + 1. Let o be x(-5). Sort -2, g, o in decreasing order.
g, -2, o
Let d be (-2 + 2 + 1)/4. Let s = 21.9 + -21.6. Put -3, d, s in increasing order.
-3, d, s
Let z = 0 + 0. Let j be 2 + ((-20)/14 - 0). Let q = -11 + 14. Put q, j, z in descending order.
q, j, z
Let f(j) = -j - 7. Let x be f(-3). Put x, 2, 3 in descending order.
3, 2, x
Let p be (-80)/25 - 1/(-5) - -5. Sort p, 5, 1/3 in decreasing order.
5, p, 1/3
Suppose 2*a + 139 - 145 = 0. Sort a, 1, 0, 11 in increasing order.
0, 1, a, 11
Let k = 47 - 43. Let x = -5 - -14/3. Sort x, k, -2/9 in descending order.
k, -2/9, x
Let a be (-2)/(-2) + (-2)/(-2). Let y be 34/10 - (-2)/(-5). Sort y, a, 1 in descending order.
y, a, 1
Let h = 29 - 30. Sort h, 3, 5 in increasing order.
h, 3, 5
Let m = 0 - -0.2. Let o = m - 0.2. Let b = -0.12 + -0.18. Sort b, o, 5 in increasing order.
b, o, 5
Let b = -0.39 - 1.61. Let p = 2377/5 - 477. Sort -3/8, p, b in ascending order.
b, p, -3/8
Suppose 38*a - 37*a = -3. Let c = 2 + 3. Put c, 6, a in descending order.
6, c, a
Let s = 52 - 37. Let u = s + -17. Put -3, -1, u in decreasing order.
-1, u, -3
Let r = -1 + 5. Sort r, -4, -3.
-4, -3, r
Let a be (4/6)/((-8)/(-12)). Let o = a + -6. Let n(c) = -c - 5. Let i be n(o). Sort 5, -1, i.
-1, i, 5
Let l = -0.9 - -0.2. Sort 5, l, 0 in ascending order.
l, 0, 5
Let k(z) = -z**3 - 4*z**2 - 2*z + 2. Let i be k(-3). Let n be (i/(-4))/(9/(-8)). Suppose 3*b - 3*o + 0*o = 0, 3*b = -o - 12. Sort b, 0, n in decreasing order.
0, n, b
Suppose 0*f = 4*f. Let b = -5 - 0. Sort -2, f, b in descending order.
f, -2, b
Suppose 5*c + 6 + 14 = 5*v, -6 = -2*v. Let f = 33 - 29. Sort c, f, 5 in ascending order.
c, f, 5
Suppose -6*s = -6 + 30. Sort s, 4, 2 in descending order.
4, 2, s
Let x = -0.1 + 0.6. Let z = -0.04 - -2.04. Let c = -68 + 68.1. Put x, z, c in decreasing order.
z, x, c
Let u = 7 + -2. Let p(f) be the second derivative of -f**3/6 - 5*f**2/2 + 4*f. Let s be p(-9). Put u, 1, s in descending order.
u, s, 1
Let l = 4 - 2. Suppose 4*z - 2*z = 8. Suppose 0 = -4*w + 3*n + z, 2*n - n = -3*w + 16. Sort w, -3, l in decreasing order.
w, l, -3
Let n = 3.99 + 0.01. Let i = -1 + n. Put i, -1, 0.4 in increasing order.
-1, 0.4, i
Let o = -12 - -20. Let w = 13 - o. Sort -0.5, w, 0 in ascending order.
-0.5, 0, w
Let n = 4 + -3.8. Suppose k + 5*u = -26, 30 = k - 5*u + 6. Put k, n, 3/5 in decreasing order.
3/5, n, k
Suppose 10 = -2*f + 4*f. Sort -2, 0, f in increasing order.
-2, 0, f
Suppose -3*z + 13 = -2*f, -2*f + z = -0*f + 7. Let q be f/7 + 37/7. Put 3, q, -3 in ascending order.
-3, 3, q
Let a be ((-6)/4)/((-3)/12). Let z be ((-16)/12)/((-2)/a). Suppose 0 = 2*o + o + 12. Sort -1, o, z in ascending order.
o, -1, z
Suppose 4 = 3*j + 13. Sort j, -1, 4.
j, -1, 4
Let k = 0.5 + -0.3. Let g = -3/176 + 725/1232. Sort -1, k, g.
-1, k, g
Let y be 21/(-10) + 3/2. Put -0.4, -2/17, y, -0.2 in increasing order.
y, -0.4, -0.2, -2/17
Let f = 4 + -2. Suppose 5*x - 25 = 0, -6*u - 25 = -f*u - x. Suppose -q = -4*v - 4, 4*q + 0*v - 16 = -2*v. Sort u, q, 3 in descending order.
q, 3, u
Let o = -2/11 + -8/77. Sort -4, 1/11, o, 0.3 in descending order.
0.3, 1/11, o, -4
Let q(o) = 6*o**2 - 2*o + 1. Let c be q(1). Suppose 3*f = -c*p + 2*f, p = 2*f - 11. Suppose -2*r - 4 = -0. Sort p, -4, r.
-4, r, p
Let l be 8/(-4) + (-20)/(-11). Sort 0.4, 0.3, l in decreasing order.
0.4, 0.3, l
Let f = -7.8 - -8.2. Put f, 3, -1/3 in descending order.
3, f, -1/3
Let x(l) = l**3 + 8*l**2 - 10*l - 12. Let d be x(-9). Let j be (-1 - 2/(-4))*0. Suppose j = -u - 1. Sort d, 1, u in decreasing order.
1, u, d
Let g = 49 - 46. Sort 1, 0, g, 18 in decreasing order.
18, g, 1, 0
Let p = -49/106 + -2/53. Sort p, -1, 0 in descending order.
0, p, -1
Let n(o) = 3*o**3 - 3*o**3 - 2*o**3 + 1. Let h be n(1). Sort -2, h, -4.
-4, -2, h
Suppose -5*d + 6 = 4*q + 18, 5*q = 4*d + 26. Sort d, 5, -1 in increasing order.
d, -1, 5
Suppose 0 = 5*m - 19 - 11. Let j be 1*(-2 - (-10)/m). Let s = -10 + 6. Sort j, 0.3, s in decreasing order.
0.3, j, s
Let d = 6 + -15. Let i be 2/(6/d) + 6. Sort 0, -3, i in descending order.
i, 0, -3
Let m(n) = -n**3 - 3*n**2 + 3*n + 7. Let l be m(-2). Put 2, -6, l in increasing order.
-6, l, 2
Let v be 4 - (5 + (3 - -6)). Sort v, -4, 0 in ascending order.
v, -4, 0
Let a(w) = -w**2 - 7*w - 4. Let x be a(-6). Let k be (-18)/6 + (-1)/(-1). Put k, x, 4 i