 in descending order.
n, 4, 3
Let d = 0.1 + -5.1. Let h = -1 - -6. Let z = 2 - h. Put 0.1, d, z in increasing order.
d, z, 0.1
Let n(y) = -y**3 + 10*y**2 - 10*y + 7. Let p be n(9). Let v be 1*-1 + 4 + p. Suppose -2*m - m - 12 = 0. Put v, 5, m in ascending order.
m, v, 5
Let r = 3 - 3.5. Suppose 3*x - 5 = -2*b, 1 + 2 = 3*x. Suppose 4*l - t = 6, -2*t = 5*l - 0*l - b. Sort l, 0.1, r in ascending order.
r, 0.1, l
Let g be (-12)/28 + (-342)/(-14). Let p be (g/21)/((-2)/(-7)). Put p, 2/7, 1 in decreasing order.
p, 1, 2/7
Suppose -14 = r - 0*h - 5*h, -4*r - 3*h = 10. Sort -2, r, 3 in ascending order.
r, -2, 3
Let a = -13.3 + 12. Sort a, 3, -2/7 in ascending order.
a, -2/7, 3
Let b(l) = 9*l**3 - 2*l**2 + 2*l - 1. Let k be b(1). Suppose 0 = 11*u - k*u - 21. Let o = u - 10. Sort 4, o, 2.
o, 2, 4
Suppose 4*q - 21 = -5*y + 5*q, 5*q + 5 = 5*y. Let c be 1 + 0 + -1*6. Sort y, c, -2.
c, -2, y
Let i = 0.5 + 0.4. Let l = -1.4 + i. Let w be 4/14 + (-2 - -2). Sort w, l, -4.
-4, l, w
Let r(c) = c**2 - 6*c. Let b = -1 - -6. Let o be r(b). Suppose 3*y - 3*z - 6 = -2*y, 2*y - 2*z = 0. Put y, o, -3 in decreasing order.
y, -3, o
Let o = -18 + 18.4. Put o, -3, 30 in decreasing order.
30, o, -3
Suppose -16*t + 1 = 49. Sort t, -2, -14 in descending order.
-2, t, -14
Let u = 153 + -147. Put 11, 0.1, u in decreasing order.
11, u, 0.1
Let d = 61/35 - 8/5. Let f = -2 - -3. Put f, d, -2/21 in descending order.
f, d, -2/21
Let c = 0 + 0. Let h = -4 + 6. Suppose 0 = -5*a + 3*v - 37, -a + c*a + h*v - 13 = 0. Put -0.5, -4/3, a in descending order.
-0.5, -4/3, a
Suppose -y = -5*w - 3*y, -5*w - 3*y = 0. Suppose -2*d + 16 = 2*v - w*d, 0 = -5*v + 3*d + 40. Let c be (-1)/(-4) - 34/v. Sort 5, -1, c in decreasing order.
5, -1, c
Let g = -1 + 9. Let c = g - 38/5. Sort c, -1, 6 in decreasing order.
6, c, -1
Let r be 26/8 + 15/20. Sort -0.3, 0, 0.6, r in descending order.
r, 0.6, 0, -0.3
Let m = -42 - -41. Sort -4, 1/4, m, 4 in decreasing order.
4, 1/4, m, -4
Let f = -0.1 + 0.1. Let v = 0.5 - f. Let n = 4 - 3. Sort v, n, 3.
v, n, 3
Let u(t) = t**2 + 15. Let s be u(0). Suppose 3*a - 4 + 1 = 0, -5*a = 5*w + s. Let f = 1 - 2. Put 4, f, w in decreasing order.
4, f, w
Suppose 4 = 4*u - 8. Suppose u*g + 4 + 2 = 0. Suppose 4 = 2*i, -3*m = -2*m + 2*i - 8. Sort 1, m, g in increasing order.
g, 1, m
Let p = -25/6 + 14/3. Put -0.2, 3/5, p in ascending order.
-0.2, p, 3/5
Let a = -7 - -9. Let t be 48/45 - 2/3. Let w = t + 7/20. Put 0.5, w, a in ascending order.
0.5, w, a
Suppose 3*d + 10 = -2*d. Let l be (d/(-6))/((-2)/(-12)). Sort l, -1, -2.
-2, -1, l
Let d = -54 - -53. Sort -4, d, -3 in decreasing order.
d, -3, -4
Suppose 11*q - 7*q - 16 = 0. Sort q, -14, 5 in increasing order.
-14, q, 5
Let v(t) = -3*t**2 + t - 1. Let c(k) = 4*k**2 - 2*k + 2. Let p(b) = 4*c(b) + 5*v(b). Let h be p(2). Put 4, h, 0 in descending order.
4, h, 0
Let r be (20/35)/((-1)/(-7)). Let z be (3/(-2))/(3/(-4)). Suppose -33 = 5*a + 2*q, z*q - 6*q = a + 21. Sort a, -2, r.
a, -2, r
Suppose 22 = 4*w + 2*y + 2, 0 = -4*w - y + 20. Suppose 0 = 14*l + l + 75. Sort w, -4, l in descending order.
w, -4, l
Let g be ((-30)/18)/(2/(-6)). Let q be (-45)/g + 6/2. Put 1, -2, q in descending order.
1, -2, q
Let u(n) = -n**3 + 14*n**2 - 12*n - 9. Let q be u(13). Put -1, 1, 33, q in decreasing order.
33, q, 1, -1
Let p(y) = -y**3 + 2. Let i be p(2). Sort i, 2, -5.
i, -5, 2
Let z = -2/21 - 5/21. Let g = 30.8 + -28. Let i = -3 + g. Sort z, i, 0.5 in ascending order.
z, i, 0.5
Let u(h) = 9*h**2 + 4*h + 2. Let c be u(-2). Let y(t) = 5*t + 9*t + c*t**2 + 15 - 29*t**2. Let w be y(-13). Put w, -5, 5 in decreasing order.
5, w, -5
Let n = -2 + 5. Let h(b) = -b**3 + 3*b**2 - 1. Let a be h(n). Sort -5, a, 2 in descending order.
2, a, -5
Let v(q) = q**3 + 5*q**2 - 6*q + 2. Let j = -15 - -9. Let l be v(j). Suppose 5*h = -5*s - 3 - 2, -5*h = -l*s - 23. Put s, 1, -1 in ascending order.
s, -1, 1
Let k = 26 - 25. Sort -0.3, k, -1/3 in ascending order.
-1/3, -0.3, k
Suppose -20 = 4*r, 0*u + 5*u + 5*r + 30 = 0. Put u, 5, 2, -3 in decreasing order.
5, 2, u, -3
Suppose 0*d = 5*n - 4*d - 56, 4*d = -16. Put n, -3, -1 in ascending order.
-3, -1, n
Let q = -13.6 - -16. Let v = q + -0.4. Let i = -1.5 + v. Sort 3/2, -0.2, i in descending order.
3/2, i, -0.2
Let l = 0.12 + -0.72. Sort -1/2, 0.1, l.
l, -1/2, 0.1
Let b be (-6)/(-2)*8/(-6). Suppose 0 = -5*y + 5, -2*x - 3*x - 3*y + 733 = 0. Let p be (-4)/(-30) - x/(-30). Put p, -3, b in descending order.
p, -3, b
Let v be (-2 + -2 - 0) + (-441)/(-49). Let i = -1 + -3. Sort i, 4, v in increasing order.
i, 4, v
Let h = -6 - -10. Let o be (-2 - -6)/(h/10). Let f be 6/o + 2/5. Sort -2, -3, f in decreasing order.
f, -2, -3
Let m(q) = -q**2 + 7*q + 2. Let d be m(8). Let a be 2/11 - d/(-33). Put 1, a, -2 in increasing order.
-2, a, 1
Let v(w) = -w**2 + 12*w + 8. Let n be v(13). Sort n, 5, 4, -9 in ascending order.
-9, n, 4, 5
Let l = 9.9 + -10. Sort 3/7, -0.6, l in ascending order.
-0.6, l, 3/7
Let f(s) = -2*s - 1. Let k be f(2). Suppose -4*i = 40*h - 45*h + 25, -2*h + 5*i + 27 = 0. Sort -4, k, h in decreasing order.
h, -4, k
Let q be (-9)/(-10) - (-2 + 5/2). Let o be ((-6)/(-15))/(12/10). Sort q, -3, o in descending order.
q, o, -3
Suppose 0 = -5*v - 5 - 10. Let y = v - -1. Sort 2, y, 0 in descending order.
2, 0, y
Let q = -3.3 - -4.3. Put 0.5, 2, q in descending order.
2, q, 0.5
Let q(u) = -u - 4. Let c be q(-5). Let h = 3 - c. Sort -1, 5, h in increasing order.
-1, h, 5
Let b be (-2 + (-3)/(-3))*-27. Let u be 3/(b/(-6))*-6. Sort 1, 0, u.
0, 1, u
Let h = 8 + -8. Sort 4/7, -2/19, h, -0.4.
-0.4, -2/19, h, 4/7
Let i be 6/(-5)*(-10)/(-4). Let c(v) = -v**2 + 11*v - 4. Let d be c(11). Sort d, i, 0 in ascending order.
d, i, 0
Let n = 20 + -153. Let b be n/9 + (-2)/9. Let k be 3/(b/(-2))*1. Sort -1, 2, k in ascending order.
-1, k, 2
Let d = 4.49 + -1.49. Sort d, 0.5, 2/9 in decreasing order.
d, 0.5, 2/9
Let z(q) = 2*q + 4. Let c be z(3). Sort 1, c, 2 in descending order.
c, 2, 1
Let y = 10 - 6. Sort y, -0.2, -2/3 in decreasing order.
y, -0.2, -2/3
Let h = 2.9 + -3. Let z = 9.5 + -9. Let v = z - 0.7. Sort h, 2, v in decreasing order.
2, h, v
Let l(w) = 8*w**3 - 5*w**2 + 17*w + 17. Let c(y) = -3*y**3 + 2*y**2 - 6*y - 6. Let a(m) = 11*c(m) + 4*l(m). Let b be a(3). Sort -2, b, 0 in decreasing order.
0, b, -2
Let j be (0/(-2))/(-2 + 3). Suppose -k = 4*k - 25. Let f(g) = -g**3 - g**2 + 2*g + 1. Let l be f(-2). Sort j, l, k.
j, l, k
Suppose 0 = -5*v - 8 - 2. Let n = -11 - -7. Put n, 5, v in descending order.
5, v, n
Let s = 7 - 5. Suppose 3*x - s*i - 5 = 2*i, 3*x - 3*i = 3. Let z be x/2 + 11/2. Put z, -1, 0 in descending order.
z, 0, -1
Let m(c) = -c - 2. Let t be m(-6). Sort 0, 3, t in decreasing order.
t, 3, 0
Let c = 1 + 2. Suppose -c*p + p = -4. Let b(r) = -r**3 - 5*r**2 - r - 5. Let n be b(-5). Sort 3, p, n in ascending order.
n, p, 3
Let v(i) = -i - 1. Let d be v(-13). Let y = -9 + d. Put y, 1, -1 in decreasing order.
y, 1, -1
Let q = 0.2 + 3.8. Let f = 5 - q. Put -1/5, f, 2 in decreasing order.
2, f, -1/5
Let a be (-2 + 9/3)/(-1). Suppose 11*j + 1 = 56. Put a, -2, j in decreasing order.
j, a, -2
Suppose 1 = -g - 0*g. Let d(i) = i - 11. Let u be d(6). Let a be (-4)/(-6)*-1*-6. Sort a, u, g in descending order.
a, g, u
Let t = -9 - -5. Put 3, 4, t, 1 in decreasing order.
4, 3, 1, t
Suppose -3*n + 2 = 11. Put 4, 5, n in descending order.
5, 4, n
Let u = 6.5 - 5. Let x = u + -1. Sort x, 4, -0.1.
-0.1, x, 4
Suppose 0 = 2*m + 7*m. Put 1, 3, 4, m in increasing order.
m, 1, 3, 4
Let s be 3 + (0 - (0 - -3)). Suppose -2*l = -5*l. Suppose s = -2*o + 6*o + 4, 4*g - 2*o - 22 = l. Put -4, -3, g in increasing order.
-4, -3, g
Let q = 20 - 16. Sort q, 1, 0, -3 in decreasing order.
q, 1, 0, -3
Let m = -6 - -4. Let z = -0.8 - -14.8. Let r = -10 + z. Sort 0.2, r, m in decreasing order.
r, 0.2, m
Let m be -4 + 145/21 - 3. Put 3, 0, m in ascending order.
m, 0, 3
Let w(m) = -m**3 - 6*m**2 + 6*m - 10. Let x be w(-7). Suppose 2 = -o - 0*o. Put x, 2, o in decreasing order.
2, o, x
Suppose 9*i = 6*i + 12. Put -1, i, -1/5 in ascending order.
-1, -1/5, i
Let i = -3 - -7. Suppose 2*z + a + 3 = -2*a, -3 = -3*a. Sort z, i, -5.
-5, z, i
Suppose 2*l + k = -1, 5*l - k - 14 = 2*k. Let g(s) = s**2 - 9*s + 6. Let b be g(5). Let a = 11 + b. Sort a, -5, l in descending order.
