-3)*(-2 + 3). Let o be z(k). Sort l, o, 1 in descending order.
1, l, o
Suppose 2*c = -h + 4, h + 25 = 5*c - 4*h. Suppose 0*t + 5*t = 10. Suppose -7*x = -t*x + 5. Sort -3, x, c in ascending order.
-3, x, c
Suppose 3*x + i = -2 + 4, 2*i = 5*x - 7. Sort 4, -4, x.
-4, x, 4
Let i be 10/(-3)*3/(-2). Let v be (-2)/4 - (-14)/4. Let x = i - v. Sort -5, -3, x.
-5, -3, x
Let l = 0.45 - 0.05. Suppose b + 3*p + 3 = -5, b + 2*p = -4. Suppose -3*z + 17 = 5*m, -m = -3*z - z + 15. Sort b, m, l in descending order.
b, m, l
Suppose 4*f = -3*k + 1, -f - k = -5*f + 21. Suppose 3*z = 5*z - 2. Put f, z, -5 in decreasing order.
f, z, -5
Suppose -2*k - k = -9. Suppose 4*z = -5*f - 10, -16 = -0*z + 4*z + 2*f. Put k, z, 5 in descending order.
5, k, z
Suppose 1 = 5*j - 19. Suppose 23 = 4*i + 3*g, -13 = -4*i - 5*g + 20. Suppose -3*z = n + i*z - 16, -4*n + 5*z = 11. Sort j, n, 2 in descending order.
j, 2, n
Suppose -3*n + 5*u - u + 5 = 0, 4*n = -3*u + 15. Let h be ((-8)/5)/1*-5. Let l = 3 - h. Sort l, 1, n in increasing order.
l, 1, n
Suppose 4*v = -v + 65. Suppose v = 3*x + 4*l, 0*x + 3*l - 9 = -3*x. Put 0, x, -5 in descending order.
0, x, -5
Suppose 0 = -5*h - 1 + 6. Put 7, h, -1/3 in descending order.
7, h, -1/3
Suppose 0 = -j - 17 + 19. Put 10, -2, j in ascending order.
-2, j, 10
Let i(v) = -v**3 + 9*v**2 - 10*v + 12. Let y be i(8). Put -5, 2, y, -2 in increasing order.
-5, y, -2, 2
Let f be 52/(-16) - (-1 - 2). Let l be ((-2)/636)/(-1)*-4. Let c = l + 646/795. Sort f, -0.5, c.
-0.5, f, c
Let j = -10 + 14. Sort 0.4, j, 5 in descending order.
5, j, 0.4
Let b = 30 + -33. Sort b, -26, -2.
-26, b, -2
Let m = 76 - 33. Let b = m - 386/9. Sort b, -2, 4 in ascending order.
-2, b, 4
Let c be (-2)/9 - 34/9. Sort 4, c, 5 in descending order.
5, 4, c
Let t = 226 - 226.3. Let r be -2 + 4 - 1 - 0. Sort -1/3, r, t in increasing order.
-1/3, t, r
Suppose 2 = -a - 10. Let p be (-138)/14 + -2*1. Let y = p - a. Put y, -0.3, 0.1 in decreasing order.
y, 0.1, -0.3
Let d(w) be the first derivative of -w**3/3 + 9*w**2/2 - 15*w - 1. Let p be d(7). Sort 0, -3, p.
-3, p, 0
Suppose 4*i - 20 = -i. Sort 9, i, 5.
i, 5, 9
Suppose -13 = 5*b + 12. Let f = 24 + -22. Suppose f*l + 1 = -1. Sort 1, l, b.
b, l, 1
Let t be (0 - 1)/(1/(-4)). Let h be (-141)/(-42) - (-2 + 5). Let y = h + -13/14. Put y, t, 0 in ascending order.
y, 0, t
Suppose -2*y = 7 - 9. Let j be -2 - (-2 + 0 + 2). Sort y, -5, j in ascending order.
-5, j, y
Let v = 30 + -29. Sort 4, v, -4.
-4, v, 4
Let g(k) = 2*k + 12. Let b be g(-6). Sort 1, b, -1 in increasing order.
-1, b, 1
Suppose 3*x = 6*x. Sort -2, -4, x in increasing order.
-4, -2, x
Suppose -63 = -3*a + 4*r, 0*a - a = 4*r - 5. Suppose f + f + 3*h = a, 7 = f + h. Sort 1, 5, f.
1, f, 5
Let y(r) = -r**2 - 6*r. Let d = -16 + 10. Let v be y(d). Put -4, -2, v in decreasing order.
v, -2, -4
Let z = -9 + 9. Sort -1, 1, z in increasing order.
-1, z, 1
Let p = -1535/3762 - -4/209. Let w = -1/9 + p. Let m be 2/16 + -1 + 1. Put m, 0.5, w in decreasing order.
0.5, m, w
Let q = -37 - -32. Put -0.2, 0, q in increasing order.
q, -0.2, 0
Let h = 2 - 2.4. Let y = -0.1 + h. Let s(x) = -2*x - 3. Let l be s(-4). Sort l, 1/2, y in descending order.
l, 1/2, y
Let g = 3.8 + -0.8. Put 2/9, -4, g in decreasing order.
g, 2/9, -4
Let o = -3.9 - -3.8. Put 2, -2/13, o in increasing order.
-2/13, o, 2
Let w be (-9)/15*(2 + -7). Let c(o) = o**w - 1 + 5*o**2 - 5*o - 4*o**2 + 2*o**2 + o. Let n be c(-4). Put n, -2/15, -0.4 in ascending order.
n, -0.4, -2/15
Let n(l) = -l**3 + l**2 + 2*l - 3. Let v be n(2). Let x = -8 + 10. Suppose -x*y + 2 = -0. Sort y, v, 5 in decreasing order.
5, y, v
Let t be 2/(-6)*((-9)/(-6) + -3). Let i = -18 + 18.9. Let c = i - -0.1. Put 0.4, t, c in ascending order.
0.4, t, c
Suppose -4*n = -3*n - 4. Suppose -16 = n*p - 3*t - t, -3*p = t. Sort -3, -2, p in descending order.
p, -2, -3
Let j(o) = -o**3 - 9*o**2 - 2*o - 18. Let d be j(-9). Sort 2, d, -1.
-1, d, 2
Let s = -67 + 64. Sort s, 11, 0 in increasing order.
s, 0, 11
Let m(j) = 2*j**2 + 4*j + 3. Let a be m(-2). Sort -0.1, 0.4, 5, a.
-0.1, 0.4, a, 5
Let v(m) = m**3 - 9*m**2 + 9*m - 7. Let o be v(8). Put -2, -4, -5, o in ascending order.
-5, -4, -2, o
Suppose -5*j + 0 = 20. Let s be 2/(-3) + (-3)/9. Put -5, s, j in decreasing order.
s, j, -5
Let y(o) = -o + 11. Let h be y(7). Suppose -3*k + q - 12 = 0, k + 9*q = h*q - 4. Let v = -0.2 + 0. Sort -1/6, k, v.
k, v, -1/6
Let k = -6 + 10. Suppose k*q = -t + 20, 0*t = -3*t - 4*q + 20. Sort 2, t, 1 in decreasing order.
2, 1, t
Let w(g) = 3*g - 44. Let l be w(16). Let m be (-4)/6*(-4 - -7). Put 5, m, l in descending order.
5, l, m
Let j = -22/3 + 23/3. Sort 3, j, -2.
-2, j, 3
Let m = -4 - -9. Let t be ((-4)/(-5))/(3/(-45)). Let x = t - -8. Sort 2, x, m.
x, 2, m
Let d = 2 + -2. Suppose 0 = -4*j + 24. Let q be 14/4 + 3/j. Put d, -3, q in descending order.
q, d, -3
Let c be 30/(-9)*(-6)/(-4). Sort 2, -4, c in decreasing order.
2, -4, c
Suppose 12 = 5*k - 38. Let r = k - 15. Let q(u) = -u. Let j be q(-3). Sort r, 2, j.
r, 2, j
Suppose 0 = 2*s + 5*q - 27, 0 = 3*s - 4*s + q - 4. Let b be (0 + 0)*1/(-2). Let a(d) = -d**3 + d**2 + d + 1. Let l be a(2). Sort b, s, l in descending order.
s, b, l
Let v = 5 + -5.3. Sort 1, -5, v in descending order.
1, v, -5
Suppose -3*t - 10 = 4*p, 0 = 2*p - 6*p + 8. Suppose 0 = -2*j - j - 15. Put -4, t, j in descending order.
-4, j, t
Let o = -54/5 + 476/45. Sort 3, o, 4.
o, 3, 4
Let p = 34 + -33.6. Sort -1/4, 0.2, p.
-1/4, 0.2, p
Suppose 4*r - 20 = -2*b + b, -3*r + 15 = -3*b. Let w(d) = -d**2 - 9*d + 13. Let m be w(-10). Put m, r, 1 in descending order.
r, m, 1
Let x = 0.05 - -0.85. Let w = x - -2.1. Put w, 0.1, -0.4 in descending order.
w, 0.1, -0.4
Let r(u) = -2*u + 9. Let t be r(6). Let v = 67 + -62. Sort t, v, 2 in increasing order.
t, 2, v
Let w be (-2)/(-16) + 110/16. Put 0, w, -1 in descending order.
w, 0, -1
Let i(g) = 2*g**2 + 2*g - 2. Let p be i(1). Sort p, -2, -4 in descending order.
p, -2, -4
Let d(g) = g**3 + 8*g**2 - g - 3. Let f be d(-8). Suppose 4 = i + 3*i - 2*u, -4*u = 5*i - 18. Sort i, -3, f in decreasing order.
f, i, -3
Suppose -3*u + 5 - 1 = c, 3*c + 2*u = -2. Let y(m) = -m**2 - 4*m. Let l be y(-4). Sort l, -0.4, c in descending order.
l, -0.4, c
Suppose 5*n - 6 = -y + 11, 0 = 5*n + 4*y - 23. Suppose 0 = 2*v + v - 5*p - 43, 35 = 5*v - p. Suppose -u + 3*u + v = 0. Sort u, -5, n in descending order.
n, u, -5
Let a = -14.8 - -11.8. Put -3/8, -0.5, a in increasing order.
a, -0.5, -3/8
Let n be (-2)/(-6) - 56/24. Sort -6, n, 1 in increasing order.
-6, n, 1
Let p be 3/((-6)/14) - -1. Let h be ((-2)/p)/(4/12). Let t be (-3)/15 + -1 + h. Put -5, t, -5/3 in decreasing order.
t, -5/3, -5
Let c(j) = j**2 + 15*j + 26. Let o be c(-13). Let l = -0.05 - 3.95. Put -3, o, l in descending order.
o, -3, l
Let h be (-2 - 6/(-9)) + 1. Let o = -18 - -20. Sort h, 0.3, o in descending order.
o, 0.3, h
Let i = 0.57 + -0.6. Let b = i - -5.03. Sort -0.1, 0.1, b in decreasing order.
b, 0.1, -0.1
Suppose 33 = 3*r - 15. Suppose 3*q = -q - 2*x - 10, 5*x = -q - r. Put q, 4, 5 in decreasing order.
5, 4, q
Suppose 4*n + 24 = -y + 5*y, n = -5*y. Let h(o) = o - 3. Let i be h(5). Sort 1, n, i in descending order.
i, 1, n
Suppose 3*u - 2*l = 1, -2*u + l - 6*l + 26 = 0. Let v be 3/(-9) + (-2)/u. Sort -5, v, 3.
-5, v, 3
Let s(f) = f**2 + 8*f - 8. Let p be s(-9). Suppose -9 = -3*i - 0*i. Let z be i + (-2)/((-4)/(-10)). Put -1, p, z in increasing order.
z, -1, p
Let m = 584/5 - 117. Sort 0.4, m, -8/9 in decreasing order.
0.4, m, -8/9
Let w(f) = -f**2 - 11*f - 1. Let k be w(-11). Let d be (1 - k)/(2/(-3)). Put 5, 4, d in decreasing order.
5, 4, d
Suppose -5*z = 4*i + 35, 5*z + 10 = -5*i + 6*i. Suppose 4*x = -2*v - 4, v + 9 - 28 = 5*x. Sort x, -1, i in descending order.
-1, x, i
Let o(d) = -d**2 - 3*d - 1. Let l be o(-2). Let a = 4 - l. Let w(m) = -m + 4. Let h be w(a). Put h, 2, 4 in ascending order.
h, 2, 4
Let w be (-4)/5*25/(-30). Let b = -2.2 + 4.2. Sort b, 1, w in increasing order.
w, 1, b
Let b = 11 + -16. Let q(n) = -n + 6. Let y be q(5). Sort -3, y, b in decreasing order.
y, -3, b
Let w = -1 + 5. Let h be 2/(3 + -2) - 0. Suppose -3*f + 2*f = c + h, -3*c + 8 = -4*f. Sort w, c, -1.
-1, c, w
Let f = -238 - -105. Let n = 535/4 + f. Let t = -1 + 1. Sort 5, t, n in decreasing order.
5, n, 