 2 in decreasing order.
t, 2, -4
Let p(f) = f - 2. Let j be p(7). Suppose -28 = z - j*y, 5*z + 13 = 2*y - 12. Sort -5, 0, z in descending order.
0, z, -5
Let q(f) = f - 3. Let j be q(3). Let c = 5 + -3. Let t be (c - -1) + 54/(-15). Sort j, t, 3 in increasing order.
t, j, 3
Let x be -2*((-9)/2 + 1). Suppose h - 2 = 2*v, -4*v = -4*h - 0*v. Sort h, 5, x.
h, 5, x
Let d(q) = -q**3 - 2*q**2 + 2. Let b be d(-2). Let r be (-1 - 9)*b/(-5). Let i(h) = h**3 + 2*h**2 + 2*h + 1. Let v be i(-1). Put -3, v, r in increasing order.
-3, v, r
Suppose 0*p - 9 = -3*r + p, 3*p = -3*r + 21. Let w = 2 - r. Let m = w - -4. Put m, 4, -4 in decreasing order.
4, m, -4
Let c = 7.8 + -2.8. Put 1/5, c, -2 in descending order.
c, 1/5, -2
Let v = 15 - 15. Let d = 5 - 0. Sort v, d, -0.5 in descending order.
d, v, -0.5
Let o = 16.2 + -15. Let c = o - 0.2. Let q = -1 + 1.3. Put c, 1/3, q in decreasing order.
c, 1/3, q
Let b(g) = -g**2 - g + 1. Let c be b(1). Let y be (-1)/((1/(-5))/c). Let t = -3 - y. Put -2, -1, t in ascending order.
-2, -1, t
Let t = 5.6 - -1.4. Let d = -2 + t. Sort -4/7, 1/8, d in ascending order.
-4/7, 1/8, d
Let t(o) = -o**2 + 2*o + 3. Let f be t(3). Sort f, -5, 1.
-5, f, 1
Let k(i) = -i**3 + i. Let w(s) = -5*s**3 - 5*s**2 + 5*s + 4. Let g(j) = 6*k(j) - w(j). Let c be g(5). Put c, -5, -1 in descending order.
c, -1, -5
Suppose -k + 3*k - 14 = 4*n, 2*n + 2 = -4*k. Sort 4, n, 1 in increasing order.
n, 1, 4
Let q be 3/(-11)*(-6)/(-9). Let p = -60 + 57.3. Let v = -3 - p. Sort -2/7, q, v in descending order.
q, -2/7, v
Let o(t) = 3*t**3 + 2*t**2 - 1. Let a be o(-1). Put 6, a, -3 in decreasing order.
6, a, -3
Let i = 60 - 64. Put 3, i, 2 in increasing order.
i, 2, 3
Suppose 3*c = 4*x + 31, -c - 4*c = 4*x - 9. Suppose -26 = 4*w + c*d, -2*w - 5*d - 10 - 8 = 0. Let v = -6 + 4. Put v, 0.5, w in decreasing order.
0.5, v, w
Suppose -9*i - 3 = -8*i. Put -1, 2, i in increasing order.
i, -1, 2
Let b be 1/(-2) + (-18)/(-12). Let w = 2 - b. Suppose i + 5*a + 29 = 0, 4*i + 11 = 2*a - a. Put 2, i, w in descending order.
2, w, i
Let a(u) = u**2 + 9*u + 4. Let x(w) = -w**2 - 8*w - 4. Let g(m) = 2*a(m) + 3*x(m). Let o be g(-5). Let p be 11/13 + o + -2. Sort 0, p, 5 in decreasing order.
5, 0, p
Suppose -3*x + x - 4*r = -32, 3*r - 21 = -x. Let p be ((-20)/x)/((-4)/(-6)). Put -4, p, 0 in ascending order.
p, -4, 0
Let v(f) = -f + 15. Let m be v(6). Suppose -3*n - 12 + m = 0. Sort -3, 5, n in ascending order.
-3, n, 5
Let a = 4 + 0. Suppose 0*r + 5*r - 10 = 0. Suppose -4*o = -c - 5, o + r*o - 2*c = 0. Sort o, a, 5 in ascending order.
o, a, 5
Let r be (1 + 47)*6/4. Let a = r - 218/3. Put -5, a, -1 in descending order.
a, -1, -5
Suppose 0 = -4*q + 1 - 37. Let s(c) = -c**2 - 10*c - 7. Let r be s(q). Let p = -0.1 - 2.9. Sort -1, p, r in descending order.
r, -1, p
Let a = -1.9 - 0.1. Let m(q) = -q**3 - 8*q**2 - 6*q + 8. Let k be m(-7). Suppose -19 = -4*u + k. Sort u, a, -0.2 in descending order.
u, -0.2, a
Let u be 1/2*(-2)/1. Put -2/7, -2/11, u in descending order.
-2/11, -2/7, u
Let k(h) = -h**3 - 4*h**2 - 2*h - 3. Let z be k(-4). Suppose z*i + 0 = 5. Put i, -1, 0 in descending order.
i, 0, -1
Suppose 5*t + p - 8 = 0, -2*t + t = p. Put 4, t, -2 in increasing order.
-2, t, 4
Let f = -4 - -7. Suppose 0*y = -2*d + 4*y - 14, 5*y = 10. Sort -1, f, d.
d, -1, f
Let z = 1.4 - 1.1. Put 5, z, -1 in descending order.
5, z, -1
Let q(j) be the first derivative of -2*j - 2/3*j**3 - 2*j**2 - 1. Let a be q(-2). Sort 2/9, 1/8, a in decreasing order.
2/9, 1/8, a
Suppose -1 + 9 = 2*g. Put 3/5, -1/9, g in descending order.
g, 3/5, -1/9
Let r(j) = -3*j - 7. Let i be r(-4). Suppose 3*u + 6 = -9. Put -1, i, u in increasing order.
u, -1, i
Let u(o) = 1 - 6 + 7*o - 3 - o**2. Let g be u(6). Let a = -2 - -3. Put 3, g, a in decreasing order.
3, a, g
Let m = -1 - -4. Let h = -0.07 + -1.93. Put -5/2, h, m in ascending order.
-5/2, h, m
Let o(f) = -f + 3. Let u be o(0). Let b be 7/(-3) - 14/(-42). Put -5, b, u in increasing order.
-5, b, u
Let s(w) = -w**2 - 2*w + 4. Let o be s(-3). Let y be o/(-4) - (-212)/44. Let a = y + -19/4. Sort a, -0.1, -2/5.
-2/5, a, -0.1
Let v = 0.03 + 0.37. Suppose -8 = 2*m - 0*m. Let j be m/126*(-1 + -2). Sort j, -2/7, v.
-2/7, j, v
Let x = -103/214 + -2/107. Sort x, -1, 2, -5.
-5, -1, x, 2
Let v(a) = -a**3 - 8*a**2 - 8*a - 4. Let m be v(-7). Let c(t) = -2*t**3 - t**2 + t - 1. Let i be c(1). Put m, 2, i in ascending order.
i, 2, m
Suppose 8*v = 3*v - 3*h - 17, 4*v - 4 = 2*h. Sort v, -4, 1 in decreasing order.
1, v, -4
Suppose 3*i + w = -w - 5, 0 = -5*i + 5*w + 25. Put i, 4, -11 in descending order.
4, i, -11
Let p(o) be the second derivative of -o**5/10 - o**4/6 + o**3/6 - o**2 + 2*o. Let z be p(-2). Sort 5, z, 3 in descending order.
5, z, 3
Let f = -30 + 33. Put f, -4, 2 in descending order.
f, 2, -4
Let k = 31 - 33. Sort 2, k, -3.
-3, k, 2
Suppose -3*m = 5*x + 20, -3*x - 4*m + 0*m = 23. Sort 6, x, 1 in increasing order.
x, 1, 6
Let u = -1 + 3. Suppose -2*q - u*q - 8 = 0. Let j = 2 - 3. Sort 0.3, j, q in increasing order.
q, j, 0.3
Let w = 325/4 + -82. Let d = 130.09 + -134. Let x = d + -0.09. Sort x, -2/5, w in ascending order.
x, w, -2/5
Let l(a) = -a**3 - 6*a**2 - 5*a - 31. Let n be l(-6). Put -4/11, -1/9, n in decreasing order.
-1/9, -4/11, n
Let q(n) = n - 19. Let f be q(24). Sort -2, f, 1/3.
-2, 1/3, f
Suppose -2*c = -4 + 12. Suppose 4*q + 2*z = 16, -3*q = -z + 4*z - 9. Suppose -u - 4*b + q = -6*u, -u = -2*b + 1. Sort -3, c, u in decreasing order.
u, -3, c
Let z = -0.18 - 4.82. Put z, 2, -1/6 in decreasing order.
2, -1/6, z
Let c be 0/(-4*2/(-8)). Put -14, c, -2 in increasing order.
-14, -2, c
Let n = 12 + -12.1. Sort 0.1, -5, n in descending order.
0.1, n, -5
Let g = 0.24 + -0.04. Put g, -1, 0.5 in decreasing order.
0.5, g, -1
Suppose 5 = w + 1. Put -3, w, 3 in descending order.
w, 3, -3
Let m = 15.4 - 15. Sort 1, -0.2, -4, m in increasing order.
-4, -0.2, m, 1
Suppose -2*z - 4 = 5*i - 27, 0 = 5*i - 5. Let f be 51/z - (-2)/(-3). Suppose 2*h + 2*h = 0. Sort h, f, -1 in ascending order.
-1, h, f
Let f = -5/2 + 3. Put 2, f, -8 in decreasing order.
2, f, -8
Let l = -40 + 36. Sort l, -0.1, -2 in decreasing order.
-0.1, -2, l
Let p = 0.17 + -0.08. Let i = p - -0.31. Sort -1, 0, i.
-1, 0, i
Let y = 24 - 24. Put -5, -1, y in increasing order.
-5, -1, y
Let t = 87 - 82. Sort t, -13, 1 in ascending order.
-13, 1, t
Suppose 8*v - 4*o + 1 = 3*v, 4*v + 5*o - 32 = 0. Sort 1, 4, v, -5.
-5, 1, v, 4
Let m = -52.7 - -53. Put 4, -0.05, m in descending order.
4, m, -0.05
Let x be 2/(-6) - 3 - -2. Let j = 5.3 - 8.3. Sort x, j, -5 in decreasing order.
x, j, -5
Let o = 9.7 - 10. Let p = 44 + -175/4. Sort p, o, 3 in decreasing order.
3, p, o
Let x = 0.07 - 0.27. Let b be (1 - 1) + (-4)/(-18). Let v be 4/(-3) - (-3)/3. Sort x, b, v.
v, x, b
Let q = -0.5 - 2.5. Let a = 0 + q. Let k = 8 + a. Sort 4/5, 2/11, k.
2/11, 4/5, k
Suppose 2*b + s - 10 = 6*s, 0 = 4*s + 16. Sort -1, -4, b in decreasing order.
-1, -4, b
Suppose -3 = -2*f + 1. Suppose 0 = f*k - 5*k + 12. Sort k, -6, 2 in increasing order.
-6, 2, k
Suppose 0*b = 5*b + 35. Suppose 3*i + 6 = i. Let j = i - b. Put 3, j, -2 in increasing order.
-2, 3, j
Suppose t = -3*t - 12. Put 14, -2, t in decreasing order.
14, -2, t
Let a be (1 + -7)/((-27)/18). Let w(f) = f**2 - f - 7. Let t be w(a). Suppose -p + 1 = 5*j, -4*p - j + 4 = 3*j. Sort -5, t, p in ascending order.
-5, p, t
Let o be (2/4)/(21/(-42)). Put -3, o, -31 in ascending order.
-31, -3, o
Suppose -2*f = -13 + 5. Let g = -77 - -82. Put f, g, -4 in descending order.
g, f, -4
Let b = 4 + 9. Let o = -12.5 + b. Sort 0.03, o, 2/7 in ascending order.
0.03, 2/7, o
Let h be 0 - 3 - (-4 + (4 - 7)). Put -14, -4, h in increasing order.
-14, -4, h
Let a(c) = 3*c + 3. Let d be a(-2). Suppose 5*x = -5*b, -3*x + 4 = -2*b - 16. Let y be 64/(-24) + b/(-6). Sort -4, y, d.
-4, d, y
Suppose -4*h - 8 = -f, -3*h - 2*f - 10 = 2*h. Sort h, 3, -3, 1 in ascending order.
-3, h, 1, 3
Let c(m) = m**2 + 4*m + 2. Let w be c(-1). Put w, 9, 5 in increasing order.
w, 5, 9
Let w = 233 + -227.92. Let i = 0.08 - w. Sort 0.5, 1/6, i in ascending order.
i, 1/6, 0.5
Suppose -2 + 0 = -t. Put -1, t, 5 in descending order.
5, t, -1
Let z = 130 - -27. Let q = 1097/7 - z. Let g = 6 - 11. Sort -1, g, q in increasing order.
g, -1, q
Suppose -u -