d(-4). Put -3, 4, q, -4 in increasing order.
-4, -3, q, 4
Let z be 134 + 2 + (-360)/30. Sort z, 1/9, -3.
-3, 1/9, z
Let a be 60*20/350 - (-4)/7. Sort 1, 0, a, 115 in descending order.
115, a, 1, 0
Suppose 0 = -13*r + 5*r + 8. Sort r, -3, 0.
-3, 0, r
Let n = 532 + -532. Let g(d) = -2*d**2 + 3*d - 2. Let c be g(2). Sort c, 10, -3, n.
c, -3, n, 10
Suppose 0 = 4*q - 44 - 104. Let x = q + -36. Sort x, -2, -3, -5 in descending order.
x, -2, -3, -5
Let k = 208.91 - 227. Let c = k - -1.89. Let q = 16 + c. Sort q, 0.4, 2 in increasing order.
q, 0.4, 2
Let p = 31 + -12.3. Let w = p + -19. Put 1/3, -4/5, w, 0.1 in increasing order.
-4/5, w, 0.1, 1/3
Let d be 96/30*(-1 - 16/(-18)). Let u = -2/15 - d. Sort 1, u, 4 in ascending order.
u, 1, 4
Let m(c) = c - 18. Let u be m(20). Let p be (-4 - -3)*(2 - 0). Put 3, 1, p, u in descending order.
3, u, 1, p
Let h(c) = -c**3 - 2*c**2 + 22*c - 11. Let q be h(-6). Suppose -4*t = z - 18, -2*t + 4*z - 4 = -t. Sort q, t, -2 in increasing order.
-2, q, t
Let l = -7.09 - -7. Let r = l + 1.09. Put 0, -4, r in decreasing order.
r, 0, -4
Suppose 0 + 3 = 5*r + 18. Let o be 0 + 3*2/3. Put 1, r, o, 0 in increasing order.
r, 0, 1, o
Let r(z) = 2*z**2 - 7*z + 4. Let n be r(3). Let y be 6/(15/(-5)) + n. Sort 2, y, 1, 3.
y, 1, 2, 3
Let k(i) = 2*i**2 + i + 1. Let v(p) = -p**2 - 1. Let d(c) = 2*k(c) + 3*v(c). Let t be d(-3). Suppose -11 + 2 = 3*w. Sort t, w, 0.
w, 0, t
Let b be (-1 + 2)/(5 + 140/(-30)). Suppose -u - 4*x = -17, 4*u - 6*x = -2*x + 8. Sort b, u, -3, -2.
-3, -2, b, u
Suppose -3*y - 6 = 3*w, 2*w - 3*y = -12 - 17. Sort 4, -67, -5, w.
-67, w, -5, 4
Let r = 0.1807 + 0.8193. Sort 1/11, 36, r in decreasing order.
36, r, 1/11
Let f = 5669 - 5669.06. Let d = -2.1 + 0.1. Sort f, 2, d, 0.5 in descending order.
2, 0.5, f, d
Let n = 0.9 - -0.1. Let p be ((-3)/7)/(10/(-35)). Sort p, -0.4, n in descending order.
p, n, -0.4
Suppose -2*n + 5*o + 9 + 9 = 0, 0 = 3*n - 3*o - 18. Suppose 4*v = 5 - 1. Put n, 5, v in decreasing order.
5, n, v
Suppose -u - 4*u = -3*j - 7, -2*j = -5*u + 3. Suppose -5*a + 13 = -2*o, -26*a + 21*a - 4*o + 19 = 0. Put a, 9, j in descending order.
9, a, j
Let n = -980 - -982. Put -5, n, -38 in ascending order.
-38, -5, n
Let d = -164 - -161. Let l = 8 + d. Sort -4, 2, l, 4 in decreasing order.
l, 4, 2, -4
Suppose -2*d + 16 = 6. Let l(q) = -8 + 2*q + 0*q + 13. Let s be l(-3). Sort d, s, -5 in descending order.
d, s, -5
Let c be -1*(-5 - 0) - 0. Suppose -2*l + 0*f - c*f + 8 = 0, -3*l + 2*f + 12 = 0. Put l, 0, -1 in decreasing order.
l, 0, -1
Let q = 568 - 575. Sort -0.3, q, 0, 5.
q, -0.3, 0, 5
Let y = 239 + -258. Sort 3, -5, -2, y in decreasing order.
3, -2, -5, y
Let v = -0.1 - 0.1. Let x = 742 - 743. Sort v, 2/5, x in ascending order.
x, v, 2/5
Suppose 15*n - 4*g = 18*n + 12, 3*g = -5*n - 20. Sort 19, n, 0, 3 in descending order.
19, 3, 0, n
Suppose 2*d + 12 = 30. Suppose q = -13 + d. Let v be q + (-3 - -3)/3. Sort v, 2, 0.2.
v, 0.2, 2
Let k be 6*(-637)/(-476) - 8. Put -0.2, -4, k, -1/4 in ascending order.
-4, -1/4, -0.2, k
Let v be (-1)/1 - (-9)/10. Let r = 19 + -19.5. Let q = -695/2812 - 2/703. Sort v, r, q in increasing order.
r, q, v
Let o be (-19)/(-57) - 52/48. Let b be 3/(-8)*(-4)/(-9). Put b, o, 1/4 in ascending order.
o, b, 1/4
Let m(w) be the second derivative of -w**3/6 - 5*w**2/2 + 4*w. Let k be m(-8). Suppose -4*d + 31 = 4*i + 7, 2 = -i + k*d. Sort 0.1, -4, i in increasing order.
-4, 0.1, i
Suppose 7 + 2 = 3*i. Let h = i - 1. Suppose 6*s - h*s = -2*w + 14, -3*w - 14 = -s. Put 3, s, -1 in ascending order.
-1, 3, s
Let a = 0.2 + 1.8. Let t = 2 - a. Let i(g) = -g**2 - 11*g + 15. Let h be i(-12). Sort t, h, -1/3.
-1/3, t, h
Let q(a) = 2*a - 11. Let g be q(10). Let h be ((-24)/g)/((-10)/15) + -3. Sort -3, -5, 4, h.
-5, -3, h, 4
Let g be (2/(-1))/(-3 - (-22)/6). Let v be (-2 + (-5)/g)/(2/6). Put -2, v, -36 in ascending order.
-36, -2, v
Let f = 0 + 2. Suppose -v = 4*g + 19, g + 123 = -2*v + 113. Put v, f, 0 in decreasing order.
f, 0, v
Let p = -675.8 + 676. Sort -2/45, p, -9, -2/5 in descending order.
p, -2/45, -2/5, -9
Let g be (3/(-12))/((-2)/32). Sort 1, g, 22 in decreasing order.
22, g, 1
Let w(l) = 10*l**2 - 172*l + 24. Let v be w(17). Suppose o + o = 2. Let y be 2 - (-1 + o + -1). Put v, y, 1 in descending order.
y, 1, v
Suppose 40*l - 53*l + 663 = 0. Sort l, 3, -2, -1 in descending order.
l, 3, -1, -2
Let j(y) = y + 8. Let b be j(-5). Suppose -b = -3*t + 6*t. Sort 0, t, 5 in increasing order.
t, 0, 5
Let h(y) = y**2 + 7*y + 37. Let p(w) = w. Let u(b) = h(b) + 6*p(b). Let v be u(-9). Sort v, 0, 36 in decreasing order.
36, v, 0
Let r(a) = -a**2 + 11*a - 11. Let t be r(10). Let p(g) = -g**2 - 7*g - 5. Let j be p(-6). Let l be (-3)/6*j*-6. Sort -6, l, t.
-6, t, l
Let n = -31 - -33. Suppose 0 = -n*c - 3*c. Suppose -3*v - 2*v - 25 = c. Put v, 2, -6 in increasing order.
-6, v, 2
Suppose n = 2*n + 5*t - 30, -4 = -2*n + 4*t. Let o(m) = m**2 - 12*m + 11. Let s be o(n). Let w = 5 + s. Sort 2, 3, w in ascending order.
w, 2, 3
Let l = -23 + 24. Let i = -0.24 + 4.24. Sort -0.09, l, i in decreasing order.
i, l, -0.09
Let s = -0.041 - 0.359. Put -3, s, -2.4 in descending order.
s, -2.4, -3
Let x be 3/((-14)/126*9). Let z = -13 + 8. Sort -36, z, x in decreasing order.
x, z, -36
Suppose 25 = 3*t + 2*z, 0 = -4*t - 33*z + 35*z + 52. Sort 0, 0.4, t in ascending order.
0, 0.4, t
Let n(x) = -x - 8. Let z = 2 + -6. Let i(u) = -u**3 - 2*u**2 + 9*u - 1. Let s be i(z). Let b be n(s). Put 6, b, -5 in decreasing order.
6, b, -5
Let i(f) = 12*f + 109. Let o be i(-9). Suppose -2*c = v - 4, c + 4*v - 13 = 3. Put o, c, -8 in increasing order.
-8, c, o
Let r = -3.7 + -1.3. Let x(s) = -2*s + 14. Let t be x(5). Put r, t, 0.3 in descending order.
t, 0.3, r
Suppose -2*l - 4 = -8. Let w be (l/4)/(165/132). Sort 1, w, 0.3.
0.3, w, 1
Let s = -544 - -541. Put -2, -33, 2, s in descending order.
2, -2, s, -33
Let s(j) = -8*j + 21*j - 5 + 13 - j**2. Let t be s(13). Suppose 0 + t = 2*z. Put z, 0, 2/7 in decreasing order.
z, 2/7, 0
Let f = -22.944 + -0.056. Let w = -26 - f. Put w, -1/5, 13 in decreasing order.
13, -1/5, w
Let b = 490.3 - 490. Sort b, 6, -7/3 in increasing order.
-7/3, b, 6
Let r(l) = -l**2 + 13*l - 6. Let x be r(12). Sort x, 5, -12 in decreasing order.
x, 5, -12
Let x(k) = k**3 - 7*k**2 + 12*k - 1. Let y be x(4). Let p be 90/27*y/((-15)/27). Sort 0.4, 1, p, 0.5 in decreasing order.
p, 1, 0.5, 0.4
Let s = -24.59 + 26.6. Let i = s + -0.01. Let q = 0.4 - 0.1. Sort -0.2, q, i.
-0.2, q, i
Suppose 2*d + 6 = -5*a + 2, -a + 8 = -4*d. Suppose -q - j = j + 3, q + 5 = -4*j. Sort 4, q, a.
q, a, 4
Let u = 20 + -17. Let a be (-8)/(-18)*(-21)/14. Put u, -0.4, -3, a in decreasing order.
u, -0.4, a, -3
Suppose 2*t = 6*t + 5*r + 7, -4*r - 20 = -4*t. Let q = -1911 - -1908. Put q, t, -2 in descending order.
t, -2, q
Let n(b) = 2*b - 14. Let q be n(15). Let p = q - 18. Let x be (2/6)/(2/6). Sort x, -3, p.
-3, p, x
Let n = -353.67 + 354. Sort -0.3, -1/3, n.
-1/3, -0.3, n
Suppose 15 = -4*i - 1. Let s be 2/(-2)*i/4. Let f be s/(((-6)/2)/(-3)). Put f, 4, 2 in decreasing order.
4, 2, f
Suppose i + 70 = -5*y, -y + 74 = -4*i - 164. Let s be (1*-1)/((-140)/i). Put s, -2/11, 3/4 in descending order.
3/4, -2/11, s
Suppose -5*r = -5*g + 20, 2*r = r + 5*g + 16. Let h be 30/9 - (-3)/r. Let o = 12 + -12. Put o, h, -5 in increasing order.
-5, o, h
Suppose -3*l = -5*l. Suppose 3*s - 4 = 2. Let k = 3 + s. Sort l, k, -4 in ascending order.
-4, l, k
Let j(c) = c - 7. Let o be j(11). Let h be (o/(-18))/((-2)/18). Suppose 2*s = 7 + 5. Sort s, h, -1 in decreasing order.
s, h, -1
Let t(d) = 2*d**2 - 2*d - 12. Let x be t(4). Let f be (-36)/135*(-10)/x. Let k = -0.2 + -0.8. Sort f, k, 3/4 in ascending order.
k, f, 3/4
Let f = 3.941 - -0.059. Sort f, -2/9, 9/5, 3.
-2/9, 9/5, 3, f
Suppose 50*r - 52*r + 2 = 0. Let b = 5 + -2. Put -8, b, r in decreasing order.
b, r, -8
Let q(v) = -v**3 + 9*v**2 + v - 6. Let m be q(9). Suppose -4*x + 3*d = -13, -6*d + 46 = m*x - d. Suppose -x = 2*z - 9. Sort -3, -5, z in descending order.
z, -3, -5
Let j = 1.0093 - 0.0093. Let y = 6 - 6.3. Sort y, 2/7, j in decreasing order.
j, 2/7, y
Let c be 0 - (-5 - (-36)/8). Let a = 5 - 10. Put 1, a, c in ascending order.
a, c, 1
Let q(y) = 3*y + 2. Let t be q(-4). Let c be t/(-4)*9/(-15). Let p = 164 + -