2, -1, p
Let u(m) = -2*m**2 - 2*m + 1. Let j be u(1). Let y = j - 2. Put -4, y, 2 in decreasing order.
2, -4, y
Suppose 0 = 5*q + 2*y - 5*y - 17, 0 = -5*q + y + 19. Suppose -4*u - 3*r + 9 = 0, 0*u = u - r - q. Suppose 3*w = w - 2. Sort 2/17, u, w in descending order.
u, 2/17, w
Let l = -6 + -4. Let u = -0.04 - -2.04. Sort u, -2, l in ascending order.
l, -2, u
Suppose 5*h = -i + 5*i + 21, 0 = 2*i + 8. Put 2, h, 4 in descending order.
4, 2, h
Suppose 8*u - 12 = 4*u. Sort 5, u, 6 in descending order.
6, 5, u
Let a be (-4)/(-18) + 26/126. Suppose -15*r + 9*r + 24 = 0. Put r, 3, a in increasing order.
a, 3, r
Let y be 3/(-18)*6/8. Sort -5, -3, y.
-5, -3, y
Let y(h) = -1 - h**2 - 2*h - 3*h + 0*h. Let l be 10/2*(-2 - -1). Let q be y(l). Sort q, -5, -3 in increasing order.
-5, -3, q
Let k = -0.3 + -0.5. Let p = -0.3 - k. Let o = 0.2 - p. Sort -5, -5/3, o in ascending order.
-5, -5/3, o
Let t(k) = k + 18. Let d be t(-14). Sort -4, -43, d.
-43, -4, d
Suppose 0 = -3*l + 2*i - 5 + 3, l - 5*i - 8 = 0. Let o be -3 + 6 + 0*1/2. Sort 0, l, o in descending order.
o, 0, l
Let y(c) = -c + 5. Let w be y(5). Let s = 29 + -25. Sort w, s, -1.
-1, w, s
Let u be 2/4*(-12)/(-30). Sort -0.5, u, 1 in increasing order.
-0.5, u, 1
Let z(q) = q**2 + 9*q + 16. Let f be z(-7). Put -1, f, -3 in decreasing order.
f, -1, -3
Let r = -5 - -1. Let c = r + 5. Suppose 5 + 4 = 3*t. Sort c, 0, t in ascending order.
0, c, t
Let q = -6 - -4. Suppose -5*n - 4 = 3*i + 11, 5*n - 3*i = 15. Suppose 1 = a - n. Put -1/2, q, a in descending order.
a, -1/2, q
Let t(s) be the third derivative of -1/24*s**4 + 0*s + 0 + 1/6*s**3 - s**2. Let x be t(-3). Sort -3, x, -1.
-3, -1, x
Let t = 3 + -2.9. Let a = 487/12 + -121/3. Put a, 2/3, t in decreasing order.
2/3, a, t
Let a = -4 + 4. Suppose 2*o - 20 = -2*h, -o + 4 = -2*h + 12. Let g be h/(-8)*(-2)/(-3). Sort a, g, 0.3.
g, a, 0.3
Let w(g) = g**3 - g**2 - 12*g - 1. Let p be w(4). Put 1/2, 4, 0.1, p in ascending order.
p, 0.1, 1/2, 4
Suppose -2*c - 35 = 5*c. Sort -2, 28, c.
c, -2, 28
Suppose 5*u + 2*y = -0*y + 5, 0 = -5*y. Let c be 4*(28/(-16) + 1). Suppose -10 = -2*w + 4*r, -5 = -4*w + 3*w + r. Put u, w, c in decreasing order.
w, u, c
Suppose -c = -2*c + 2*l + 2, c = 5*l + 11. Sort 0, -3, -5, c in decreasing order.
0, -3, c, -5
Let m = 0 + -5. Suppose 4 = -2*t + 2. Put t, 3, m in descending order.
3, t, m
Let m = -0.3 - -0.1. Let a = m + -0.2. Let p = -0.2 - -0.2. Put -0.3, p, a in decreasing order.
p, -0.3, a
Let q = 0.05 + 0.15. Let u = q + 0.8. Sort -1, 5, u in increasing order.
-1, u, 5
Let i = 0.3 + -0.3. Let m = 3.5 + i. Let l = 3 - m. Sort 0.4, 2/15, l in descending order.
0.4, 2/15, l
Let o be (-18)/4 - 1/(-2). Sort -5, 12, -3, o in decreasing order.
12, -3, o, -5
Let p(w) = -w**3 - 4*w**2 - 5*w - 2. Let f be p(-3). Let a be (-34)/8 - (-1)/f. Let q(g) = g**2 + 21*g + 3. Let z be q(-21). Sort 0, a, z in increasing order.
a, 0, z
Let h be (1/(-2))/((-2)/16). Suppose 40 = 13*o - 5*o. Sort o, h, -1 in decreasing order.
o, h, -1
Let u = -4 + 9. Let l = 0 + u. Put 3, -4, l in descending order.
l, 3, -4
Let g = -0.5 + 2.5. Let i = -6 + 5.5. Sort 4, g, i in decreasing order.
4, g, i
Suppose 4*c = -4*l - 20, -l = -c - 0 + 3. Let s be (c/2)/(2/(-4)). Suppose k = -2*g + 9, 0 = -4*g - 7 + 27. Sort s, k, -2 in increasing order.
-2, k, s
Let b be (-2 + 0)*3/(-2). Sort b, 1, 5 in descending order.
5, b, 1
Suppose -4*j - 2*j = -6. Sort -4, 0.1, j, -0.5.
-4, -0.5, 0.1, j
Suppose 0 = -0*s - 5*s - 3*t + 36, 18 = 2*s + 3*t. Let g = -1 - -4. Suppose x = 4*l - s*l + 3, -4*x - 21 = -g*l. Put l, 2, -2 in decreasing order.
l, 2, -2
Suppose -3*x = 0, w - 2*x = -6*x + 2. Suppose -2 = w*r + 2. Sort 3, r, 1 in decreasing order.
3, 1, r
Let r(u) be the third derivative of u**6/120 + u**5/60 - u**4/24 + u**3/3 + u**2. Let s be r(0). Put 5, s, 2/9 in ascending order.
2/9, s, 5
Let g = 0.66 - 0.16. Put g, -0.5, 1 in descending order.
1, g, -0.5
Let d = -1/63 - -5/21. Let l = -16 + 16.1. Suppose -5*k + k = 4. Put k, d, l in descending order.
d, l, k
Let a = 0.2 + -7.6. Let u = 7 + a. Put 3, u, -4 in ascending order.
-4, u, 3
Suppose 5*p - 100 + 30 = 0. Let i be 4/p - (-99)/21. Let v be 15/(-4) + 2 - -1. Sort -0.2, i, v in descending order.
i, -0.2, v
Let z = 15.05 + -15. Let d = -2.05 + z. Put 4/5, d, -7 in descending order.
4/5, d, -7
Let u = -0.1 - -0.3. Suppose 0 = 5*i - 25, 5*d - 2*i = i + 10. Sort d, 0, u in decreasing order.
d, u, 0
Let z = 115.89 + -116. Sort -2, z, -0.1.
-2, z, -0.1
Let v = -1/5 + 2/35. Let w = -95165/64 - -1487. Let i = 119/192 + w. Sort i, 0, v in increasing order.
v, 0, i
Let h = -12.6 + 12. Let x = 0.9 + h. Let s = -0.01 - -4.01. Put x, 0.03, s in ascending order.
0.03, x, s
Let f = 76 + -77. Sort 0, 3, 1, f in ascending order.
f, 0, 1, 3
Let l(v) = -v**3 + 3*v**2 + 3*v + 5. Let y be l(4). Let r = 8 - 6. Let p = 2 + r. Put y, -4, p in ascending order.
-4, y, p
Let h = -158 - -163. Put 2, -2, 33, h in descending order.
33, h, 2, -2
Let r be (18/12 + (-18)/4)/(-1). Let h(i) = -6*i**2 - i. Let v be h(-1). Sort -1, r, v.
v, -1, r
Let s be 3 + 11/(-4) - 1. Put -0.1, -0.13, s in increasing order.
s, -0.13, -0.1
Suppose -a - 3*i + 61 = -i, -4*i - 16 = 0. Suppose 3*r - a = -27. Let y be -1 + 62/r + -3. Sort 3, y, 0.2 in increasing order.
0.2, y, 3
Suppose 0 = -b + 2*c - 2, c + 9 = -2*b - 0*c. Sort -0.8, b, 2/3, 0.4.
b, -0.8, 0.4, 2/3
Let y(s) = s**3 + 7*s**2 + s + 4. Let w = 6 - 13. Let g be y(w). Sort 3, 4, g.
g, 3, 4
Let i = -37 - -39. Sort 3, i, 0, -4.
-4, 0, i, 3
Let m(x) = -x**3 + x**2 + 2*x - 1. Let y be m(2). Let i(r) = -5*r**2 + r + 1. Let d be i(y). Put 3, 0, d in descending order.
3, 0, d
Let m(l) = l**2 + 2*l - 2. Let i be (1 - -11) + -3 + 1. Suppose -p - 4*p = i. Let z be m(p). Sort 0, 3, z in decreasing order.
3, 0, z
Suppose -5*v - 10 = -5*c, 3*v + 14 = c - 2*v. Put -2, c, -4 in ascending order.
-4, -2, c
Let l = -0.102 + -0.398. Sort -2, l, 5 in descending order.
5, l, -2
Let l = 32.1 - 35. Let y = l - 0.1. Sort y, -2/5, 0.3 in increasing order.
y, -2/5, 0.3
Suppose 0 = i + 3*j - 6 - 13, 4*i = -3*j + 31. Let q = -41 - -42. Sort -3, i, q.
-3, q, i
Let d = -34/77 + 8/11. Sort -3, d, 5, -1/4.
-3, -1/4, d, 5
Suppose 0 = -s + 5*w - 5, -4*s - 3*w + 0 = -3. Put 5, s, 1/4 in decreasing order.
5, 1/4, s
Let q = 103/2 + -49. Put 3/4, q, 2/5 in decreasing order.
q, 3/4, 2/5
Let w = 53.9 - 54. Sort -1, w, -6 in decreasing order.
w, -1, -6
Suppose -h + 2*g - 3*g = -2, -h = -g - 6. Let p be (-1)/12*6/h. Put 0.5, -0.4, p in ascending order.
-0.4, p, 0.5
Let j = -35/2 + 241/14. Let d = -2.99 + -0.01. Let i = d - -7. Sort j, 1, i in descending order.
i, 1, j
Suppose -13*o + 185 = -8*o. Let r = 627/17 - o. Let b = -6 - -10. Sort r, b, 1/2 in increasing order.
r, 1/2, b
Let j(v) = 5*v**2 + 3*v + 2. Let p be j(-1). Suppose 1 = p*g - 3, 4*r - g + 1 = 0. Let n = -0.4 + 0.2. Sort 4, r, n in descending order.
4, r, n
Suppose q - 3*f - 5 = f, -3*q + 5*f = -1. Let d(z) = z + 8. Let o be d(-9). Sort -5, q, o in increasing order.
-5, q, o
Let c = 7 + 1.3. Let k = -8 + c. Let i = -0.8 - -0.5. Sort 3, k, i.
i, k, 3
Let w(y) = -y - 13. Let v be w(-9). Sort 0, 10, v in decreasing order.
10, 0, v
Let v(x) = -2*x**2 + 9*x. Let i be v(4). Suppose -4*a + 2*u - 14 = 3*u, 5*u - 14 = a. Put -1, i, a in increasing order.
a, -1, i
Suppose -6*m + 2*m = 8. Let z be m/3 - 13/3. Put 5, z, -4 in decreasing order.
5, -4, z
Let a = 2/31 + -43/186. Let l = 36 - 36.2. Put a, 5, l in ascending order.
l, a, 5
Let m(j) = j**3 - 3*j**2 - 2*j + 4. Let t be m(3). Let k be (-4)/12 + (-39)/(-9). Sort t, 5, k in descending order.
5, k, t
Let j = -752/1905 + -2/381. Put 1/7, 0.5, j, 0.4 in decreasing order.
0.5, 0.4, 1/7, j
Let y(o) = o**2 + 8*o + 4. Let q be y(-7). Suppose -d + 3 = -1. Sort q, -5, d in decreasing order.
d, q, -5
Let d = 33.1 + -33. Put 0.2, d, 4 in descending order.
4, 0.2, d
Suppose 3*w - 6 = -0. Suppose -4*x - 8 = -h, -17*h = -4*x - 21*h - 8. Sort -1, x, w in ascending order.
x, -1, w
Let h = 4 + 0. Let o be (-6)/((-4)/(-2) + 0). Let g be 0/(-1 - 0/o). Sort h, g, -1 in increasing order.
-1, g, h
Let c = 0.2 + 0.1. Let f = -1/19 + 97/38. Put -2/11, f, c in decreasing order.
f, c, -2/11
Let i be (-249650)/(-8) - 3/(-4). Let v = i + -345047/11. Let b = -161 - v. Sort 3, b, -2 in de