creasing order.
4, 0, d
Suppose 3*v + 22 = 4*p, -5*p = -v - 0*p - 22. Let w = 2 + v. Sort w, 3, -5.
-5, w, 3
Suppose 3*c - 2*l = -13, -4*l + 3 = 2*c - 15. Let y = -4 - -2. Sort 1, c, y in decreasing order.
1, c, y
Let g = 0 - 1. Let o = 1/2134 + 245407/6402. Let h = 38 - o. Sort g, h, -4 in ascending order.
-4, g, h
Suppose -1 = 2*f - 3. Sort f, -4, -2, -7 in descending order.
f, -2, -4, -7
Let g = -25/126 - -2/63. Sort -1/2, g, -1.
-1, -1/2, g
Let r = 0 - 0. Let x be (0 - r) + (-2 - -3). Let w = 7 + -11. Sort -5, x, w in descending order.
x, w, -5
Let v = 21 - 23. Put 3, v, 1, 5 in ascending order.
v, 1, 3, 5
Let l = -0.8 - -0.1. Let m = 0 + -0.8. Let v = l - m. Sort v, -1, 1.
-1, v, 1
Let z be 12/(-8) + (-2)/4. Let k be (0 - 0) + 1 - z. Let d(v) = v**3 - 6*v**2 - 1. Let f be d(6). Put f, k, 1 in decreasing order.
k, 1, f
Let k be -2 - (-2 - (-3)/(-1)). Suppose -k*n - 5*d + 1 = 28, -4*n - 1 = -5*d. Let g = -7.45 - -2.45. Sort g, n, 2/5 in ascending order.
g, n, 2/5
Let s = 16 + -10. Suppose -3*y + 15 = -s*y. Suppose 20*x + 3 + 57 = 0. Put y, -1, x in increasing order.
y, x, -1
Suppose -m - 204 = 2*m + 5*s, -s + 76 = -m. Let x = m - -48. Let b be 65/x - 2/5. Sort -1, b, -4 in decreasing order.
-1, b, -4
Let g = 6 - 16. Let s be 4/(3/(3/14)). Sort g, 5, s in ascending order.
g, s, 5
Let y = -8 - -8.4. Sort y, 1/3, -1/2 in increasing order.
-1/2, 1/3, y
Let g(c) = -c**2 - 3*c + 5. Let q be g(-5). Sort 21, 5, q, 0.
q, 0, 5, 21
Let s = 5.3 + -5. Let u = 0.1 - -7.9. Let r = 5 - u. Sort -0.2, r, s.
r, -0.2, s
Let r = -16 - -18. Let z(p) = 2*p**3 - 5*p**2 + 3*p - 2. Let q be z(3). Let c = q - 11. Sort r, c, 3 in descending order.
c, 3, r
Let i(m) = 2*m + 2. Let k be i(-2). Let w = -6 - -10. Sort 5, k, w in descending order.
5, w, k
Let x = 2.98 - 3. Let k = -0.42 - x. Let v = k + 0.7. Put v, 1, 0 in decreasing order.
1, v, 0
Let c(h) = h + 1. Let s be c(-5). Let g(w) = w**3 + 5*w**2 + 5*w - 1. Let p be g(s). Suppose 40*u - 56 = 26*u. Sort u, 1, p in decreasing order.
u, 1, p
Let r = 3.98 + -4. Let g = r + -0.38. Sort -1/3, -1, g.
-1, g, -1/3
Let w(n) = n**3 + 5*n**2 + 6*n + 5. Let u be w(-4). Let d = -2 + 3. Let k be d/(1/4*2). Put u, 5, k in decreasing order.
5, k, u
Let v = 38/5 - 112/15. Let z = -8 + 7.7. Sort v, z, -0.1 in descending order.
v, -0.1, z
Let v be 4/8*(0 - -6). Sort 2, v, 5.
2, v, 5
Suppose -4*o - 4*z + 44 = 0, -o - 2*z + 5*z = -3. Suppose -4*u - 62 = 5*y, -y - o = u + 4. Let j be 2/10 - 48/y. Put 1, -4/3, j in descending order.
j, 1, -4/3
Let a = -0.29 + 0.09. Let j be (4/50)/(1/5). Sort a, 1/2, j in decreasing order.
1/2, j, a
Let n(q) = -q**2 - 6*q - 3. Let z be n(-5). Put z, -7, -3 in ascending order.
-7, -3, z
Let o be (12/(-10))/(8/(-20)). Suppose v = 2*l + o*l - 1, -5*l - 5*v + 25 = 0. Let k = -3.8 - -0.8. Sort k, l, 1/6 in ascending order.
k, 1/6, l
Let l = -3 + 1. Let h = -3 + 2. Let w = 1.2 + h. Sort 4, w, l in ascending order.
l, w, 4
Let a = 96 - 381/4. Let t = -172 - -171. Sort a, -1/6, t in increasing order.
t, -1/6, a
Let r = -3 - -3. Suppose k = -3*y + 10, -2*y + r*y - 4 = -2*k. Sort k, 5, -2 in increasing order.
-2, k, 5
Let b = 94 - 4. Suppose 5*r - b = 3*r. Suppose 3*c + 15 = -3*p + r, -c = -3*p + 10. Sort c, 2, 0 in increasing order.
0, 2, c
Suppose 3*w = -4*d - 7, 0*w - 2*w - 2*d = 6. Suppose p - 2 = 2. Put p, -3, w in increasing order.
w, -3, p
Let s be 16/(-28) + (-38)/(-91). Put s, 0.2, 0.1 in increasing order.
s, 0.1, 0.2
Suppose -2*f - 2 = 4*c + 4, -5*c - 5*f + 5 = 0. Let z be (-2 - -2)/(c/2). Let w = 7 - 4. Put w, z, -1 in ascending order.
-1, z, w
Let u = -9 + 5. Sort u, -1, -0.2.
u, -1, -0.2
Let h(x) = x - 6 + 2 + 5. Let q(v) = v + 3. Let k be q(-7). Let l be h(k). Sort -2, 3, l in decreasing order.
3, -2, l
Let c = 0.02 - 4.02. Let o = c + 5. Let z = 2 - o. Put z, 2/11, -1 in descending order.
z, 2/11, -1
Let i(j) = j**2 - 8*j + 9. Let q be i(7). Let n(w) = 2*w**3 - 3*w**2 + w - 1. Let x be n(q). Suppose x = 4*u - 3. Sort -3, u, 4.
-3, u, 4
Let x be -1 + 2/(1 + 1). Suppose 5*z = 34 - 9, -5*k + 4*z = 35. Put k, x, 1 in decreasing order.
1, x, k
Let h(o) = -3*o**3 - 4*o**2 + 4*o - 3. Let v(k) = 4*k**3 + 5*k**2 - 5*k + 4. Let l(b) = 5*h(b) + 4*v(b). Let c be l(-1). Suppose 4 = g - c. Sort 0, -1, g.
-1, 0, g
Let v be (-1 - 2) + (-3 - 3) + 5. Sort 0, v, 3 in increasing order.
v, 0, 3
Suppose -4*u - 5*n = -8, u = -5*n + 2*n + 9. Sort -0.4, u, -4, -0.2 in descending order.
-0.2, -0.4, u, -4
Let u = 8 + -12. Let n(o) = o**3 - 9*o**2 + 8*o - 2. Let c be n(8). Let i be (1 - -1) + (c - -2). Sort -3, u, i in descending order.
i, -3, u
Let y(s) = -s + 7. Let p be y(-9). Let g = p + -26. Let d be (-2)/(-3) + g/18. Sort 0.5, d, -3.
-3, d, 0.5
Let d be (-96)/9 - 5/15. Sort d, -1, 3.
d, -1, 3
Let u(c) = -c**2 + 14*c + 13. Suppose 9*k = 4*k + 75. Let d be u(k). Sort d, -3, 3 in descending order.
3, d, -3
Let h(m) = m**3 - 4*m**2 - 2*m - 5. Let x be h(5). Let v = x - -6. Suppose -t - 3*t - v = 0. Sort t, -2, 3 in ascending order.
t, -2, 3
Let n = -25 - -22. Sort 0, n, 1 in decreasing order.
1, 0, n
Let m(n) = -n**3 + 5*n**2 + 3*n + 20. Let i be m(6). Let b = 4 - -6. Suppose 4*j - 9*j - b = 0. Put -3, j, i in increasing order.
-3, j, i
Let y(d) = d**2 - 4*d - 3. Let t be y(5). Sort 5, 3, t in increasing order.
t, 3, 5
Let x(j) be the second derivative of -j**5/20 + j**4/4 + j**3/2 - 2*j**2 + 3*j. Let t be x(3). Sort 3, t, -3 in decreasing order.
t, 3, -3
Let n = -1 + 2. Put n, 6, 5 in descending order.
6, 5, n
Let v(j) = 10*j**2 + 13*j - 4. Let n(g) = -3*g**2 - 4*g + 1. Let x(c) = 7*n(c) + 2*v(c). Let u be x(-1). Sort u, 2, 3.
u, 2, 3
Let f = 5.5 - 6. Let k = 15 + -11. Let g = 4.01 - k. Sort g, 0.4, f.
f, g, 0.4
Suppose 0 = -3*k + 2*k + 4*w - 13, -22 = 4*k - w. Suppose -n - 2*n = 0. Sort k, 1, n.
k, n, 1
Let u = -2.2 - -0.2. Let i = -467 + 4201/9. Sort 2, i, u in descending order.
2, i, u
Let m = 0.149 + -1.149. Sort -3, 4, m, 2 in increasing order.
-3, m, 2, 4
Suppose 0 = -0*w - 2*w. Let r = 8 + -1. Put -1, r, w in ascending order.
-1, w, r
Let q be (-4)/(-3)*(-6)/(-4). Let z = -5 - -3. Put z, 5, q in ascending order.
z, q, 5
Let t = -2 + 6. Suppose 5*n + 3 = 4*p, -n - 21 = t*n + 2*p. Put n, -9, -5 in decreasing order.
n, -5, -9
Suppose -2*p + 1 = 4*w - 5, 0 = -2*w - 5*p + 23. Put -3, w, 3 in ascending order.
-3, w, 3
Let a = -20 - -16. Sort 7, -5, a in decreasing order.
7, a, -5
Let t(d) = -12*d**2 + 6*d - d - 4 + 11*d**2. Let i be t(3). Put i, 3, -5 in ascending order.
-5, i, 3
Let m(b) be the second derivative of b**3/6 - 7*b**2 - 3*b. Let d be m(10). Sort 5, d, -3 in descending order.
5, -3, d
Let a = 1 - -2. Suppose 90 = -4*b + 22*b. Sort a, b, 2 in ascending order.
2, a, b
Let s = 3 - 9. Let u(q) = q + 4. Let c be u(s). Put c, 1, 4 in increasing order.
c, 1, 4
Let z be (2/(-4))/((-5)/10). Suppose -k - 3*l + 11 = 28, 4*k - 5*l - 17 = 0. Put k, z, 4 in ascending order.
k, z, 4
Suppose -6*j + 20 = -j. Suppose -4*d - j*l - 24 = -0*d, -26 = 4*d + 3*l. Let s be 52/(-16) + (-2)/d. Sort 4, s, 1 in decreasing order.
4, 1, s
Let f(x) = x**3 - 4*x**2 + x + 10. Let b be f(3). Let h = 2 - 7. Put h, b, -10 in decreasing order.
b, h, -10
Suppose -z = -2 + 11. Let j = z + 13. Let v = -16 + 18. Sort v, 3, j in decreasing order.
j, 3, v
Suppose 0 = 4*a - 2 - 2. Let t be (-2)/a - 4/(-2). Let l be 10/(-8) + 1/4. Sort -2, t, l in descending order.
t, l, -2
Suppose 0 = 3*l - 4*z - z - 16, -3*z - 6 = -3*l. Let t be 64/(-24)*l/2. Sort -1, t, -2 in increasing order.
-2, -1, t
Let l = -0.85 + -0.15. Let v = l + -0.2. Put -1, 2, v in descending order.
2, -1, v
Let j = -5 - -4.6. Let t = -12 - -11.8. Put t, j, -5 in increasing order.
-5, j, t
Suppose -4*s - 13 = 5*z - 0*z, -2*z + 5 = 5*s. Sort 0, 2, s in decreasing order.
s, 2, 0
Let s = -0.134 - -0.034. Put -7, -0.4, s in descending order.
s, -0.4, -7
Let v(y) = -y**3 - 3*y**2 - y - 3. Let d be v(-3). Suppose d = 2*z - z - 9. Suppose 0 = -4*p + 8, -c - z = -4*p - p. Sort -3, c, -4 in decreasing order.
c, -3, -4
Let q be (-23)/3 + 3/(-9). Put 0, q, 1/7, 0.2 in ascending order.
q, 0, 1/7, 0.2
Let p = -4 - -7. Suppose -p*c = -c. Let v be (6/(-21))/(1/(-7)). Sort -4, c, v.
-4, c, v
Let i(u) = -u**2 + 9*u - 9. Let b be i(8). Let x(z) = -2*z**2 + z - 1. Let q be x(1). Put -3, b, q in increasing