 in decreasing order.
7, 2, b
Let i(n) = -n + 10. Let j be i(2). Put 3, j, -3, -1 in ascending order.
-3, -1, 3, j
Let y(j) = -3*j**3 + 2*j - 1. Let d be y(1). Let t = -7 - d. Sort -1, t, 0.
t, -1, 0
Suppose -y + 7 = -2*b, -10 = 3*b + 2*y - 4*y. Let s(z) = z**2 + z + 4. Let w be s(0). Sort b, w, -3.
b, -3, w
Let f = -4 + 3.8. Let g = 0 - 1. Sort -0.3, f, g in descending order.
f, -0.3, g
Let m be 5*(-2 - 14/(-5)). Suppose -s = 2*s - 30. Let u = 12 - s. Put m, u, -4 in descending order.
m, u, -4
Let c = -0.4 + -1.6. Let t = -0.197 - 0.103. Sort c, -0.1, t.
c, t, -0.1
Let d be (-6)/(21/(-6) - -2). Suppose 0 = 5*l + 5*i, 6 = d*l - 5*i - 21. Sort 4, l, -5 in increasing order.
-5, l, 4
Suppose -3 = -2*w + u, -2*u - 7 = -5*w + 1. Suppose 2*d - 28 = -w*d. Put d, -0.1, 0.1 in ascending order.
-0.1, 0.1, d
Let u(q) = 2*q + 7. Let b be u(-4). Suppose 0 = -2*j + 6*j. Put b, 3, j in decreasing order.
3, j, b
Let x be (-8)/60 + (-242)/(-15). Suppose -5*c = 3*j - 16 - 4, -5*j + 4*c - x = 0. Suppose o - 10 = -4*o. Put o, j, -3 in ascending order.
-3, j, o
Let l = 0 - 5. Let r = -0.18 - -2.18. Sort r, -2/17, l.
l, -2/17, r
Suppose 3*d = -d + 4. Sort -2, 2, d in decreasing order.
2, d, -2
Suppose 3*c = 2*m - 19, 0 = -3*c - m - 2*m + 6. Suppose 0 = 5*q + 15 + 5. Sort c, 0, q in decreasing order.
0, c, q
Suppose 3*i + 1 = 37. Suppose 5*b = -i + 2. Sort 1, b, -11 in ascending order.
-11, b, 1
Let x(g) be the second derivative of -g**5/20 + g**4/12 + 4*g**2 + g. Let u be x(0). Let m = u - 13. Put -1/4, m, -2 in descending order.
-1/4, -2, m
Let j = 3 - 2. Suppose j - 3 = -o. Sort -4, 5, o.
-4, o, 5
Let y be (88/(-66))/(8/(-6)). Sort 5, -4, y in decreasing order.
5, y, -4
Let n be (-2 - 0)*8/16. Put n, -7, 3 in descending order.
3, n, -7
Let h be -4 + 3 + 2 + -2. Let n be 2*h/4*2. Let t be (5 + 0)*4/(-10). Sort -5, t, n.
-5, t, n
Suppose -2*o = -5*o. Sort -1, o, -5.
-5, -1, o
Let l be (-2)/(-6)*(4 + 2). Let i be 4*l*(-6)/(-32). Let n = 181/3 - 61. Put i, -1/3, n in ascending order.
n, -1/3, i
Suppose -2*w + 2 - 1 = 3*k, -5*w = 3*k + 2. Let q be 2/((-7)/6 - 8/(-12)). Put w, q, 1 in descending order.
1, w, q
Suppose 3*n - 10 = 5. Sort 6, n, -3.
-3, n, 6
Suppose 4*w - 8 + 16 = 0. Put 0, 1, w in increasing order.
w, 0, 1
Let x(y) = y**2 - 3*y. Let n be x(5). Let o be (-4 - -3)/(2/n). Sort 5, o, 2 in increasing order.
o, 2, 5
Suppose 3*z - 5*p + 24 = 0, -5*p = -3*z - z - 27. Suppose 2*b - 4*g = -0*g + 14, 0 = -5*b - g + 13. Sort 2, b, z in decreasing order.
b, 2, z
Let i = -21 + 26. Sort i, -4, 6 in increasing order.
-4, i, 6
Suppose -4*b = -z - 2*z - 11, 0 = 4*b - 2*z - 14. Sort 3, b, -4 in ascending order.
-4, 3, b
Suppose j + 4 - 2 = 0. Let p = 16 - 12. Let r(s) = -2*s**2 + 10*s - 4. Let t be r(p). Sort t, j, -4.
-4, j, t
Let t = -174.97 - -176. Let b = t - 0.03. Put 2, b, 0.4 in ascending order.
0.4, b, 2
Suppose -l - 5*t + 2 + 2 = 0, -t - 4 = l. Sort l, 2/7, 1/5.
l, 1/5, 2/7
Let v be (-1 + -1)*2 - -2. Let q be v + 1 + -1 + 1. Let m(i) = i**2 - 3*i. Let x be m(3). Sort q, 3, x in ascending order.
q, x, 3
Let q = 72 + -71.49. Let y = q + -0.01. Let g = 1 - 2. Put y, g, -3 in descending order.
y, g, -3
Let d be (-112)/(-5) - 4/10. Let s be 1 - (d/18 - 0). Let l(m) = m - 11. Let r be l(6). Put s, -0.4, r in ascending order.
r, -0.4, s
Let w = 1 + -0.6. Let v = -1 - -2. Let q = v - 1.1. Put w, -1/6, q in descending order.
w, q, -1/6
Let c be 3/(1 + -4) + 3. Suppose 0*y + t + 10 = y, -c*t = -3*y + 26. Suppose -2*d - 16 = -y*d. Sort d, -4, 1 in increasing order.
-4, 1, d
Let v(h) = -6*h**2 - 2*h - 1. Let u be v(-1). Let w = -37 - -38. Suppose 0 = 4*l + 7*z - 5*z + 14, 2*l - z - 3 = 0. Put u, l, w in decreasing order.
w, l, u
Suppose -y = -5*g - 9, -5*g - 11 + 50 = y. Let c be 5/2*y/20. Let r be (1/18)/(3/12). Sort r, 0.3, c in decreasing order.
c, 0.3, r
Let v be (-18)/(-22) + 6/33. Put v, 7, -5 in descending order.
7, v, -5
Let t = 10 + -7. Let p = t + -7. Suppose -5*i + 2*w = -4, 10 = -4*w - w. Put i, -5, p in increasing order.
-5, p, i
Let i = -5.26 - -0.26. Put 5, i, -4 in decreasing order.
5, -4, i
Let k(h) = 8*h - 30. Let g be k(4). Sort -2, 1, g.
-2, 1, g
Let u = 12.6 + -14. Let v = 6.4 + u. Sort -1, 0.2, v in decreasing order.
v, 0.2, -1
Let v(t) = -3*t**3 + 2*t**2 + 2*t. Let a be v(-1). Sort 2, a, 5 in descending order.
5, a, 2
Suppose -31 = -5*z + 3*s - 6*s, 5*z - 27 = -s. Sort z, -4, -7 in ascending order.
-7, -4, z
Let k(l) = l**3 - 12*l**2 + l - 8. Let y be k(12). Let p = -5 - -4.7. Put p, -5, y in descending order.
y, p, -5
Suppose -14 = 3*c + 5*h, 5*c - h - 6 = 4*c. Put 4, -1, c in decreasing order.
4, c, -1
Let r(a) = -a**2 + 13*a + 2. Let b be r(11). Let t = 24 - b. Sort t, 1, 3 in increasing order.
t, 1, 3
Let k = -0.3 - -0.35. Let g = 0.41 + 3.59. Sort g, k, -5 in increasing order.
-5, k, g
Let b = 0.1 + -0.6. Let j(o) = -o + 1. Let z(c) = 7*c - 5. Let v(q) = -6*j(q) - z(q). Let h be v(-2). Put b, h, -1 in descending order.
h, b, -1
Suppose p + 5 = -4*p. Put p, -3, 3, 5 in ascending order.
-3, p, 3, 5
Let h(y) = -10*y**2 - 8*y - 3*y + y + y + 1 - y**3. Let j be ((-18)/4)/((-1)/(-2)). Let v be h(j). Sort v, 0, 2 in descending order.
2, v, 0
Let j = -12.4 - -8.4. Sort j, -0.1, -3, 0.3 in increasing order.
j, -3, -0.1, 0.3
Suppose 3*w = -w + 16. Sort w, -4, 1.
-4, 1, w
Let q be (-3)/1 - 14/(-2). Suppose -5*h - 13 = -i - q, 0 = -4*i - h + 15. Let x be 3/9*(1 + 2). Put x, i, -5 in descending order.
i, x, -5
Let s be 11/(-33) - 0/(-1). Sort -0.5, -3, s, -1/4 in decreasing order.
-1/4, s, -0.5, -3
Let y = -2.4 + 8.4. Sort y, 4, -1 in decreasing order.
y, 4, -1
Let k be 1/((-39)/9 + 4). Put 1, 5, k in descending order.
5, 1, k
Let g be (1/(3/(-45)))/(-1). Suppose 5*z - 3 = 3*a - 0, 0 = -2*a - z - g. Let v be a/4*(-8)/6. Put v, 4, 5 in descending order.
5, 4, v
Let w = 21 + -24. Sort w, 2, -2/9.
w, -2/9, 2
Let x be (-2)/(-3)*6/(-1). Let f = -2 + 2.06. Let n = f + -5.06. Put n, x, 4 in descending order.
4, x, n
Let c = 0.59 - 0.89. Sort -6, c, -2/9.
-6, c, -2/9
Let v = 2 - 5. Let h(a) = -a**3 - 2*a**2 - 2*a - 1. Let q be h(-1). Put q, -1, v in decreasing order.
q, -1, v
Let q = -1 - 0. Let f = -8 - q. Let u = 11 + f. Sort u, -1, -3/7 in decreasing order.
u, -3/7, -1
Let o(d) = d**2 - 5*d - 2. Let r be o(5). Put -4, r, -0.5 in increasing order.
-4, r, -0.5
Let s(h) = -5*h - h - 1 + 2*h + h**2. Let c be s(5). Put c, -2, 3 in descending order.
c, 3, -2
Let r = 0.37 + -0.07. Let a = -0.07 - -5.07. Let u be ((-1)/2)/((-1)/(-2)). Put u, a, r in increasing order.
u, r, a
Let r be (-5)/(-3 + 0 + 2). Let h = 15 - 17. Sort h, r, -5.
-5, h, r
Suppose 4*l = 648 + 232. Let a be (-5)/1*8/l. Put a, 0.1, 4 in descending order.
4, 0.1, a
Suppose 4*r = 6*u - u - 4, 3*u = -2*r + 20. Let z be ((-10)/15)/((-8)/(-60)). Sort z, 8, r.
z, r, 8
Let z(g) = -g + 8. Let a be z(-7). Let y = a + -5. Let k be (-4)/y*10/2. Sort 1, k, -1 in ascending order.
k, -1, 1
Let n = -5 - -4. Sort 3, n, -3.
-3, n, 3
Suppose 4*b + 3*b = 28. Put 0, -11, b in descending order.
b, 0, -11
Let c be (-12)/(-18) - 16/18. Let n = -39.9 + 40. Put c, 0.5, n in decreasing order.
0.5, n, c
Let c = -6 + 5.81. Let r = -0.09 - c. Put 0.5, r, -4/7 in increasing order.
-4/7, r, 0.5
Suppose 9 = -17*r + 20*r. Sort 2, 0, r in descending order.
r, 2, 0
Let f(j) = j**2 + j. Let n be f(-5). Let r = 83/4 - n. Put 1/2, r, -1 in descending order.
r, 1/2, -1
Let v be (4/8 - 0)*4. Suppose w + 2 = -v. Sort 2, 3/7, w in ascending order.
w, 3/7, 2
Let i = -4 - -9. Suppose -9 - 3 = -3*k. Sort i, 3, k in increasing order.
3, k, i
Suppose -3*h = -h - 2. Suppose 4*c - 11 = h. Let a be (-1 - -1)/((-4)/2). Put 4, c, a in descending order.
4, c, a
Let k(a) = -a**2 + a + 1. Suppose -3*c = w + 4, 0 = -2*c + c + w + 4. Let g be k(c). Suppose -2 = -2*x - 4. Put g, x, 5 in descending order.
5, g, x
Suppose -2*x + 4 = -3*a, 3*a - 14 = -3*x + 7. Let h = -11.22 - -0.22. Let z = h - -9. Sort -0.4, z, x in descending order.
x, -0.4, z
Let t = -7.5 - -7.1. Sort 0.5, 2/5, t in descending order.
0.5, 2/5, t
Let j = 3 - 8. Let z be (-1 + 2)*(18 - 5). Sort z, 0, j.
j, 0, z
Let a = 0 + -11. Sort a, 1, 3.
a, 1, 3
Let j(w) = -2 + 3*w**3 - 2*w**2 + 3*w**3 + 3. Suppose 5*l - 3*f = 8 + 12, 13 = -2*l - 3*f. Let p be j(l). Sort 0, p, -3 in descending order.
p, 0