 = -g**2 - 5*g - 6. Let q be r(-4). Put p, 0, q in ascending order.
q, 0, p
Let g = 153.8 - 131. Let h = 23 - g. Put h, -0.1, 1/3 in increasing order.
-0.1, h, 1/3
Let o be 12/(-6*5/(-40)). Put o, 5, 4 in descending order.
o, 5, 4
Let i be ((-1)/3)/((-3)/45). Suppose 4*r - i + 1 = 0. Sort r, -2, -3 in descending order.
r, -2, -3
Let x = 7 - 7.4. Sort 2, x, 1 in decreasing order.
2, 1, x
Let d = 0.096 - -0.304. Sort d, 20, -4 in decreasing order.
20, d, -4
Let n be (-6)/(-4)*(0 + 2). Suppose -5*v = -5*q + 8 - n, q + v = 5. Let d = -2 + q. Sort -1, 2, d in descending order.
2, d, -1
Let p = 14 + -7. Suppose 2*r + 3*x + 3 = 8, -p = -r - 3*x. Sort r, -3/5, 0.1 in decreasing order.
0.1, -3/5, r
Let h = 13 + -23. Let w = -26 + 19. Let c = w - h. Sort -1, 2, c.
-1, 2, c
Suppose 2*m + 3 = -d, 4 = m - 4*d + 1. Let h be (-5)/m*(3 - 4). Sort -1, h, -4.
h, -4, -1
Let h = -0.9 + 1. Let t = 51 - 46. Sort 0.5, t, h in increasing order.
h, 0.5, t
Suppose -5*p + 43 = -a, 2 + 19 = 3*p - 3*a. Let f be (0 + -1)*(-7 + p). Sort -3, f, 3 in decreasing order.
3, f, -3
Let l = -4 - -4.2. Let j(f) = f**2 + 11*f - 12. Let p be j(-12). Sort -1/6, l, p in ascending order.
-1/6, p, l
Suppose 0 = 5*d - 0*d + g + 5, 0 = -2*g - 10. Let c be -4 + (2*1)/2. Suppose 2 = -2*o - 4*j, -o + 5*j - 3 + 2 = 0. Put d, c, o in ascending order.
c, o, d
Let l = 472/5 + -94. Sort 1, 2, l in decreasing order.
2, 1, l
Suppose 0 = -2*b, -2*b = 2*x - 5*b + 4. Suppose -5 = -4*h + 11. Sort h, x, -5 in increasing order.
-5, x, h
Let c = 0.3 - 0.3. Let u = c - 0.4. Sort -4, u, 4/3 in increasing order.
-4, u, 4/3
Let r = -21 + 25. Sort -2, 0.4, r in descending order.
r, 0.4, -2
Let s = -16 + 16.94. Let t = -0.06 - s. Let k be -4 - (1*-2 + 0). Sort -5, k, t in ascending order.
-5, k, t
Let i = 53 - 50. Sort 5, 8, i in increasing order.
i, 5, 8
Let q be -4 + (-30)/(-4) + -4. Put 0.1, 5, q in descending order.
5, 0.1, q
Suppose 2*p + p = -12. Let r be (1*-2)/(-3 - -4). Let h = r - -7. Put p, h, 1 in ascending order.
p, 1, h
Let z = -54 + 52. Put -3/8, z, -1/2, -5 in increasing order.
-5, z, -1/2, -3/8
Let p be ((-13)/(-4) + -3)*6*2. Sort 18, 1, 4, p in decreasing order.
18, 4, p, 1
Suppose 5*m + 3*l - 33 = -l, 2*m - 4*l - 2 = 0. Suppose 3*u - 4 = 8. Put m, -2, u in ascending order.
-2, u, m
Let a(u) = -5*u + 2. Let z(p) = 4*p - 3. Let s(c) = 2*a(c) + 3*z(c). Let d be s(7). Let o be 0 + 3/d*0. Sort 1, -1, o in ascending order.
-1, o, 1
Let w be 2*(-1)/(-50)*-2. Let t be (-38)/(-9) + (5 - 9). Put t, w, 0.3 in increasing order.
w, t, 0.3
Suppose 5*l - 6 = -31. Let x be (24/5)/(l/(-25)). Suppose -4*s - 4 + x = 4*m, -5*s + 2*m = -4. Put s, -3, -1 in descending order.
s, -1, -3
Let u be (-2)/((4/1)/(-8)). Suppose 2 = m + u. Sort 5, m, 2 in decreasing order.
5, 2, m
Let v(d) be the second derivative of d**3/3 - 13*d**2/2 + 6*d. Let z be v(9). Sort 4, z, -4.
-4, 4, z
Let u(j) = -2*j. Let m be u(-1). Put 5, -5, m in increasing order.
-5, m, 5
Suppose i = 3*i + 8. Sort i, -2/13, 2 in decreasing order.
2, -2/13, i
Suppose -3*k + 19 = 7. Put k, 5, -1 in descending order.
5, k, -1
Let k be 7/1 + (-4 - -2). Suppose k*r - 23 = -3*z, 0 = 2*r - 4*r - 2*z + 10. Suppose 16 = r*j, l - 3*j + 10 = -j. Put l, -1, 4 in decreasing order.
4, -1, l
Let o = -29 - -29.1. Sort -8, o, -3 in decreasing order.
o, -3, -8
Let b be 3 + (-3)/(6/14). Put -1/4, -1, -3, b in descending order.
-1/4, -1, -3, b
Let m be 4/26 + (-3305)/(-65) + -2. Sort 5, m, 1 in ascending order.
1, 5, m
Let o be (-10)/25 + 13/(-5). Let d = -2 - o. Let a = -89 - -92. Put a, 5, d in decreasing order.
5, a, d
Let t(v) = -v**2 - v + 5. Let r be t(0). Let u be ((-3)/2)/(12/16). Let n be 8/12*(-60)/8. Sort n, r, u in descending order.
r, u, n
Let p = 5 - 9. Put -5, -2/9, p in decreasing order.
-2/9, p, -5
Let h(l) = l - 5. Let g be h(3). Sort g, 2, 0 in decreasing order.
2, 0, g
Let p = -28 - -22. Put 3, p, -1 in descending order.
3, -1, p
Suppose -2*q - 12 = -6*q. Let o(b) = b**3 - 2*b**2 + 1. Let n be o(2). Put q, n, -2 in increasing order.
-2, n, q
Suppose -3*h + 3*h + 7*h = 0. Sort -1, 3, h, 2 in increasing order.
-1, h, 2, 3
Let b be (-406)/(-105) + (-6)/(-45). Sort b, 5, -1 in ascending order.
-1, b, 5
Let n = -7 + 7. Suppose n = -2*a + 4. Sort -2, -1, a.
-2, -1, a
Suppose 0 = -0*n + 5*n. Let j be n/(4*(-2)/4). Sort j, 5, -3 in decreasing order.
5, j, -3
Let l(h) = -h**3 - 15*h**2 + 4. Let y be l(-15). Let w be (30/(-20))/(2/y). Sort 3, w, -4 in increasing order.
-4, w, 3
Suppose y - 2 - 1 = 0. Let g be 0/(-2) - 5/y. Let n = -3 - -2. Put -2, g, n in ascending order.
-2, g, n
Let o(d) = -d + 2. Let s be o(7). Put s, -2, 0 in ascending order.
s, -2, 0
Let t(w) = w**3 - 13*w**2 - 5. Let a be t(13). Let g(s) = s**3 - 4*s**2 - 3*s - 7. Let q be g(5). Sort q, a, -1 in decreasing order.
q, -1, a
Let y = 0.02 + 0.38. Let l be (-1910)/2628 - 4/(-8). Let a = l + 1/219. Sort a, y, -1.
-1, a, y
Suppose -3*q + 4*b - 16 = 0, 2*q - 5*q + 2*b - 14 = 0. Let l(s) = -s**3 - 5*s**2 - 4*s. Let i be l(q). Put i, 4, 3 in ascending order.
i, 3, 4
Let h = -1.28 - 0.12. Let u = h + -3.6. Sort 0.4, -0.3, u in ascending order.
u, -0.3, 0.4
Let w = -197 - -194. Let b = 5 + -2. Sort b, 2, w in decreasing order.
b, 2, w
Suppose -3*x - 3 - 14 = 2*h, 4*h + 23 = 5*x. Let n be (-2)/(h/((-105)/(-6))). Put 4, n, -5 in ascending order.
-5, 4, n
Let m(l) = l - 6. Let j be m(7). Let w(v) = -4*v + 2. Let i be w(j). Suppose -2 = -2*q + q. Sort q, i, -3 in descending order.
q, i, -3
Suppose -6 + 9 = t. Put 0.4, 1, t in ascending order.
0.4, 1, t
Let a(k) = -6 - 4 - k + 3. Let m be a(-7). Let w = 2 + -3. Put m, w, -5 in ascending order.
-5, w, m
Let c = 0.032 + 0.178. Let p = -1.11 + c. Put -0.3, 0, p in ascending order.
p, -0.3, 0
Let w = -0.2 + -2.8. Let p = 1 + w. Let n = 8.7 + -9. Put 0.5, p, n in ascending order.
p, n, 0.5
Let h = 408/485 - 4/97. Put -1/6, 1/4, h, -0.1 in ascending order.
-1/6, -0.1, 1/4, h
Suppose -4*l = 4*f + 20, 0*l = -4*l + 5*f + 7. Let z(h) = -h**2 + 2*h + 3. Let c be z(l). Put c, 3, -4 in increasing order.
c, -4, 3
Let f(s) = s**2 - 14*s - 6. Let x be f(14). Let l be ((-1)/x)/(2/(-4)). Sort 1, l, -11 in increasing order.
-11, l, 1
Let o(d) = d**2 + 10*d - 9. Let s be o(-11). Let g be (-4)/2 - -6 - s. Put g, 0, -4 in decreasing order.
g, 0, -4
Let i be ((-1)/2*(-17 - -13))/8. Put i, 1/6, -0.1 in ascending order.
-0.1, 1/6, i
Suppose 5*p = 3*r - r - 19, r - p - 8 = 0. Sort r, 5, 2/21 in ascending order.
2/21, 5, r
Let u = -2 + 2. Let v be u/(-2)*3/9. Let p = -11 - -7. Put v, p, 1 in increasing order.
p, v, 1
Let t be 1/((3/(-5))/3). Suppose -5*k = -5 - 5. Sort k, t, -0.3.
t, -0.3, k
Let k(s) = 20*s - 7. Suppose 0*x - 85 = 5*x. Let d(a) = -7*a + 2. Let c(q) = x*d(q) - 6*k(q). Let o be c(7). Put 5, -5, o in descending order.
5, o, -5
Suppose -10 = q + 4*x, 3*x = 2*q - 0 - 2. Let k be (-6)/27 + (-41)/18. Sort k, 2, q in increasing order.
k, q, 2
Suppose b - 2*o + 1 = -6, -14 = 5*b - 3*o. Let j be 3 + (-2 - b) - 0. Suppose z + j = -3. Sort z, 2, 5 in ascending order.
z, 2, 5
Let u = 5 + -2. Suppose -u*s + 7*s - 20 = 0. Sort -1, s, 4 in decreasing order.
s, 4, -1
Let y = 24 - 28. Sort -5, 2, y.
-5, y, 2
Let j(u) = u**2 + 5*u + 2. Let t be j(-2). Put -2, t, 5 in descending order.
5, -2, t
Let l(f) = -f**3 - 5*f**2 + 1. Let m be l(-5). Suppose 2*n - 3 = -m. Sort n, -2, -1 in descending order.
n, -1, -2
Suppose h + 8*l - 4*l = 14, -5*h - 3*l + 19 = 0. Let a be (2 - 0 - h) + 1. Let q(d) = d**2 - 5*d - 2. Let g be q(5). Sort 4, a, g.
g, a, 4
Let i = -0.39 + 0.34. Sort -6/7, 1/2, i.
-6/7, i, 1/2
Let i = 3.5 + 20.5. Sort 2/15, i, 0.4 in decreasing order.
i, 0.4, 2/15
Suppose -6*a + 5*i = -2*a + 13, i + 5 = -3*a. Sort 2, 1, a, -0.5 in descending order.
2, 1, -0.5, a
Let j be (((-14)/4 - -3)*-2)/1. Let l(g) = -g**3 + 6*g**2 + 6*g + 9. Let u be l(7). Suppose 3 = -u*c - 3. Put c, 1/3, j in increasing order.
c, 1/3, j
Let m be (-8)/(-21) - 2/3. Let i = -0.32 + -0.18. Sort i, 6, m in decreasing order.
6, m, i
Let v = 139 - 83. Let o be v/(-90) + 18/81. Sort -0.3, o, 1 in descending order.
1, -0.3, o
Let n = -1.2 + 1.5. Suppose 2*x + 9 = 5*x. Sort x, n, 0.2 in descending order.
x, n, 0.2
Let k = -3.7 + -0.3. Put 1/3, 1/9, k in decreasing order.
1/3, 1/9, k
Suppose 4 + 0 = -n - 5*i, i = -3*n + 