. Let c be m(-2). Suppose 4*a + c = 14. Let l be 21/14*4/6. Sort -4, a, l in increasing order.
a, -4, l
Let g be -1 + (0 - 2)*(-2)/(-1). Put g, -0.2, 4, 1/2 in decreasing order.
4, 1/2, -0.2, g
Let a(u) = -u + 2. Let c be a(-2). Let n(o) = o**3 - 7*o**2 - 16*o - 13. Let k be n(9). Sort k, c, -1 in ascending order.
-1, c, k
Let o be (134/(-6))/(-2 + 1). Let x = -23 + o. Sort 4, -4, x in ascending order.
-4, x, 4
Suppose 5 = u + 3. Suppose -9 = -u*q - 5. Suppose y = -6 + 1. Put y, q, -3 in ascending order.
y, -3, q
Let r = -22.5 + 22. Put -2, r, 2 in increasing order.
-2, r, 2
Let m(w) = -4*w**2 - w - 2. Let x be m(-1). Let s be (-60)/16 - 1/4. Sort s, -2, x.
x, s, -2
Suppose -5*t + 6 = -3*i, 5*t - 3 = 2*i + 1. Put 0, -3, i in descending order.
0, i, -3
Let f(t) = -7*t - 1. Let k be f(-1). Let m = -3.589 + -0.411. Put 1/3, m, k in increasing order.
m, 1/3, k
Let n = -2 - -2. Let w = n + 3. Put 1, 1/2, w in descending order.
w, 1, 1/2
Let i be (-6)/(-24) + 1/(-4). Sort i, -0.3, 1/3.
-0.3, i, 1/3
Let o = -2 - 2. Let s = o + 6. Put s, 0, 5 in increasing order.
0, s, 5
Suppose 7*t + 30 = -5. Sort t, 4, -3 in descending order.
4, -3, t
Let g be (1 - 0) + (6 - 5). Sort 5, g, -1, -13.
-13, -1, g, 5
Let m = -101/24 - -39/8. Let j be 3*(9/(-3) + 2). Put m, j, 3 in increasing order.
j, m, 3
Suppose 2*o + 3*o = -10. Let m be 2*2*(-1)/4. Sort -4, o, m.
-4, o, m
Let o be 3/((42/(-4))/1). Let y = -49 - -52. Put o, 0.1, y in decreasing order.
y, 0.1, o
Let b = -4 + 6. Let n = 0.4 - 0.3. Put b, n, -1/2 in decreasing order.
b, n, -1/2
Let f be ((-12)/(-9) + -2)*-6. Suppose f*k + k + 15 = 0. Let c be (-2)/(k/15*2). Sort -3, c, 2.
-3, 2, c
Suppose 2*a = 3*m - 16, 2*a - m + 4 + 8 = 0. Let v = 53 - 53. Suppose 3*r = -5*d - 20, 3*d + 5*r + 8 = d. Sort a, v, d in increasing order.
a, d, v
Let r(v) = v**2 + 2*v - 4. Let o be r(-4). Suppose 2*j = -0*j - 4. Let a = j - -1. Sort -2, a, o in decreasing order.
o, a, -2
Suppose a - 10 = -3*l, -2*l - 2 = a - 7. Suppose l*o + 4 = o. Let u = -3 - o. Put u, -1, -5 in decreasing order.
-1, u, -5
Let g = 1 + -6. Let w(r) = -2*r - 2. Let x be w(-3). Sort g, x, 2/9 in increasing order.
g, 2/9, x
Let v be (6 - 7)*(1 + -1). Suppose 0 = 3*u - u - 3*w + 7, 4*w - 4 = v. Put -5, 2, u in increasing order.
-5, u, 2
Let n be (-1)/(2 + -2 - -1). Suppose -q + 4 = q. Sort n, 4, q in increasing order.
n, q, 4
Let i be -1*((-4)/2)/(-1). Let b(c) = -3*c - 1. Let x be b(i). Let w be (-3 - (-13)/6)/(-5). Sort -1, w, x in decreasing order.
x, w, -1
Suppose -3 = -2*l - 5*d + 11, 2*d + 6 = 5*l. Sort 1, -15, l.
-15, 1, l
Let d be ((-36)/8)/((-1)/(-2)). Let j be 12/(-45)*d/6. Put -5, -2/5, j in descending order.
j, -2/5, -5
Suppose -5 + 25 = 5*k. Suppose 3*m - k*q + 17 = 0, -2*m + 5*q = -0*m + 16. Sort 5, 4, m in increasing order.
m, 4, 5
Let q = -59/246 + 3/41. Let g = 1.7 + -0.7. Put g, 5/4, q in descending order.
5/4, g, q
Let y = 1 + 0. Sort y, -7, 0.2 in ascending order.
-7, 0.2, y
Suppose 5*n + 5 = -5*b, 3*n + 5*b = 6*n + 19. Sort -1, 0, 2, n in descending order.
2, 0, -1, n
Let k = -0.6 + 2.6. Let x = k + 0. Let i = -1 + x. Put -3, i, 0.2 in descending order.
i, 0.2, -3
Let q = -18.07 - -18. Suppose -s - 2*s + 11 = h, 5*h = -3*s + 7. Sort q, s, 0.
q, 0, s
Let u = -95 + 94.97. Put -3, -4, 5, u in descending order.
5, u, -3, -4
Let p = 2/129 - -80/387. Put p, 5, 1/4 in descending order.
5, 1/4, p
Suppose 5 = 5*b - 5. Suppose -3*n - 20 = -4*i + 2*n, 0 = -3*n. Put 4, i, b in ascending order.
b, 4, i
Let d = 0.01 - -0.09. Let m be 5/15 + 11/(-15). Let z = -0.2 - 1.8. Sort z, d, m in increasing order.
z, m, d
Let r(c) = -c**3 - 6*c**2 + 2*c + 8. Let w be r(-6). Let o = -1 + 5. Suppose o = f - 4*x, -f + 0*x - 3*x = -4. Put -1, f, w in ascending order.
w, -1, f
Let i = 8 - 6. Let x(u) = -2*u + 89. Let v be x(43). Suppose 1 = -2*a + 3*z, -z = 5*a - 5*z + 13. Sort i, v, a.
a, i, v
Suppose -6 = -z - w, -2*z + w + 60 = 3*z. Let i = 10 - z. Put 2, i, 0 in descending order.
2, 0, i
Let s(l) = 13*l**2 - 1. Let a be s(1). Suppose z = 4*z + a. Let v(x) = 3*x + 5. Let n be v(0). Sort z, -1, n in descending order.
n, -1, z
Let x(f) be the second derivative of -f**4/12 + f**3/3 + 2*f**2 + 7*f. Let n be x(3). Put 5, -4, n in increasing order.
-4, n, 5
Let z = -8 + 2.5. Let a = -5 - z. Let c = -5.5 + a. Sort c, 3/4, 0.1 in descending order.
3/4, 0.1, c
Suppose -i - 1 = 2. Let u(o) = -o**2 - 3*o + 1. Let n be u(i). Let t be -2*(-2)/(-10) + (-6)/10. Sort 0, n, t in decreasing order.
n, 0, t
Let b = 47 - 44. Suppose 2*i = -3*x - 3*i + 9, 4*i = 4*x + 20. Put -4, b, x in decreasing order.
b, x, -4
Let s be (-14)/2 - (-1 + -2). Let p(d) = -d**2 + 4*d + 4. Let g be p(5). Let h(m) = 3*m + 21. Let b be h(-7). Sort s, g, b.
s, g, b
Let q(z) = -z**2 + 5*z. Let t be q(5). Suppose t = -0*i + 3*i. Sort 1/5, i, -2 in decreasing order.
1/5, i, -2
Suppose -2*d + 7 = 1, 0 = 3*g + 2*d - 18. Put 2, g, 1 in decreasing order.
g, 2, 1
Let v be (-55)/20 - 2/8. Sort v, -5, 3 in increasing order.
-5, v, 3
Let k(r) = -3*r + 4. Let n be k(3). Let v = n - -2. Sort v, -1, -5 in ascending order.
-5, v, -1
Let x be 2/(-19) - 485/(-95). Sort 0, x, -4 in ascending order.
-4, 0, x
Let c be (-2)/(-8) + 270/72. Sort 2/3, c, 0.4.
0.4, 2/3, c
Let o = 8 + -7.7. Let w be (-48)/27 - (-5 - -3). Sort -2, w, o in ascending order.
-2, w, o
Let b = 0.7 - 0.3. Let u = -135 + 133. Put -3, u, b in descending order.
b, u, -3
Suppose -b + 2 = 3. Let w(z) = 5*z + 1. Let j be w(b). Put 3, 2, j in decreasing order.
3, 2, j
Suppose t - 5*m = -13, -5*t = -t + 2*m + 8. Let r = 8 + t. Put r, -3, 2 in descending order.
r, 2, -3
Suppose -18 = -m - 10. Put 4, -6, m in decreasing order.
m, 4, -6
Suppose -12*p + 6 = -9*p. Sort 5, 0, p, -8 in increasing order.
-8, 0, p, 5
Let l be 18/(-8) + (-2)/(-8). Let f = -29 - -32. Put 2, f, l in descending order.
f, 2, l
Let i(a) = -2*a + 3. Let g be i(6). Let b = -5 - g. Sort b, 1, -2.
-2, 1, b
Let i be 1*-1*(1 + 0). Let v be 6/(-30) - 72/15. Put 3, v, i in increasing order.
v, i, 3
Suppose -3 = 5*w + b + 24, -b - 12 = 2*w. Put -1, 1, w in increasing order.
w, -1, 1
Let q = 42 + -83/2. Sort 2/5, q, 5 in increasing order.
2/5, q, 5
Let o = 19 + 1. Suppose -a = -3*j - 20 + 7, -5*a - 2*j - o = 0. Let n be (a/(-6))/((-16)/18). Sort 2/5, -0.2, n in decreasing order.
2/5, -0.2, n
Let f = 2.9 - 3.1. Put f, 0.1, 0.5 in descending order.
0.5, 0.1, f
Suppose 4 = -4*f + 3*f. Put -2, f, -5, 5 in descending order.
5, -2, f, -5
Suppose 2*i = -4*q - 14 - 0, -2*q = -5*i + 13. Let j(b) = b**3 - 8*b**2 - 8*b - 3. Let a be j(9). Suppose -r - a = -1. Sort q, r, 2 in decreasing order.
2, q, r
Let m = -1141 - -35374/31. Let k = 22/93 + m. Sort k, 2, 3 in decreasing order.
3, 2, k
Let k = -13 + 15. Sort 15, k, 3 in increasing order.
k, 3, 15
Let h(r) = -r**2 - 2*r + 7. Let k be h(-3). Suppose k*n - 16 + 4 = 0. Sort 1, -5, n in descending order.
n, 1, -5
Let j be 0*(-2)/(2*-1). Let y = -69 + 70. Sort j, -5, y in decreasing order.
y, j, -5
Let l be 2/(-4 + 2)*-4. Let r be 1/(-1)*3*-1. Suppose -4 = r*h + h. Put h, 5, l in increasing order.
h, l, 5
Let u = -35 + 34. Sort 0.1, u, -0.01 in decreasing order.
0.1, -0.01, u
Let q be 3/(-9)*48/8. Sort q, -2/23, 1.
q, -2/23, 1
Let l = 6 + -6.3. Let n(u) be the third derivative of -u**5/60 - 13*u**4/24 + 19*u**3/6 + 2*u**2. Let g be n(-14). Sort l, -1, g in decreasing order.
g, l, -1
Let g = 9 + -7. Suppose -2*i + g + 0 = 0. Let o(a) = a**3 - 5*a**2 - a + 3. Let t be o(5). Sort t, i, 0 in increasing order.
t, 0, i
Let a = -0.17 - -0.07. Sort -2/9, -3, a.
-3, -2/9, a
Suppose 3*z + 3*k - 26 = -2*z, -5*z - 5*k = -30. Put 2, z, 0 in descending order.
z, 2, 0
Let m = 0.3 + -3.3. Let u = m + -2. Put u, 4, 0.2 in increasing order.
u, 0.2, 4
Suppose 0 = 3*s - f - 11, 5*s + 0*s - 3*f - 21 = 0. Put -5, 2, s, -3 in descending order.
s, 2, -3, -5
Suppose -4 = 2*q - 10. Suppose -2*d = -2*b + 4, -d + 0*b - 4 = -q*b. Let w = -3 - 2. Sort d, 4, w in ascending order.
w, d, 4
Let m be (-1)/(-3)*15/20. Sort 0.5, m, 0.05 in decreasing order.
0.5, m, 0.05
Let v = 2 - 2.5. Let j = 6 - 4. Let f = -1.7 + j. Sort f, v, 2/15 in ascending order.
v, 2/15, f
Suppose -2*z = -j - 4*z + 8, 3*j - 44 = -z. Let h be j/(-12) - (-6)/(-9). Sort h, 0, 3 in ascending order.
h, 0, 3
Suppose 2*a = b - 13, -a + 5*