c + z = 27, 4 = -2*c - z - 4. Sort c, -18, 0.5 in decreasing order.
0.5, c, -18
Let t(l) = l**2 + 6*l - 9. Let p be t(-7). Let q be 176/340 - p/(-5). Let r be 2 - 6 - 0/2. Put -0.4, q, r in descending order.
q, -0.4, r
Suppose -4*k + 6*k = 6. Sort k, -6, -4, 4 in descending order.
4, k, -4, -6
Let f = 29.96 - 30. Sort f, 1, -5.
-5, f, 1
Let l = 48.2 + -48. Sort l, 5/3, 1, -3/4.
-3/4, l, 1, 5/3
Let i(j) = 2*j**2 - 2*j - 4. Let q be i(4). Suppose -q = -3*n - 2*n. Suppose 8*y + 18 = -y. Sort y, n, 1.
y, 1, n
Let r = 1/91 + 173/819. Let p = 0.235 - 5.205. Let u = p - 0.03. Sort r, u, -2/15.
u, -2/15, r
Let a = -32 - -97/3. Let m = -67 + 66.8. Sort m, -1/3, a in descending order.
a, m, -1/3
Let z(a) = a + 7. Let p be z(-5). Suppose 4*f - p*f = 0. Suppose 8 = -y + 3*y + 3*g, -30 = 5*y - 5*g. Put y, f, 1 in descending order.
1, f, y
Suppose -4*r = r + 15. Let m be r/(-2 + 5) - -1. Let o(d) = d**2 + 2*d - 2. Let s be o(-2). Sort m, 1, s.
s, m, 1
Suppose 2 + 1 = 3*c. Let q be (-12)/10*15/6. Sort -5, c, q.
-5, q, c
Suppose -9 = 3*v - 3. Let n(z) = -6*z - 6. Let i be n(v). Sort 1, -3, i.
-3, 1, i
Let n = 6.7 + -7. Let l = -1 + -3. Let v be 42/28*(-2)/15. Put v, l, n in descending order.
v, n, l
Let u = 20 - 18. Let v(q) = -q**2 - q - 1. Let g be v(-4). Let i = g + 9. Sort u, i, 3 in descending order.
3, u, i
Let a(s) = 11*s**2 - 7*s - 1. Let u(w) = 10*w**2 - 6*w - 1. Let r(c) = -5*a(c) + 6*u(c). Let o be r(-1). Sort -3, o, -2.
-3, -2, o
Suppose -3*o - 6 + 3 = 0. Put 5, o, -5 in ascending order.
-5, o, 5
Suppose -5*f = -4*b - 4*f - 3, 3*f = 4*b + 9. Suppose -5*l - 26 - 44 = b. Let x = l - -9. Put 0.4, x, -0.2 in increasing order.
x, -0.2, 0.4
Let s(a) = a**3 - 5*a**2 + 9*a - 5. Let y be s(3). Sort y, -1/10, -5.
-5, -1/10, y
Suppose 3*f = 5*o - 40 + 2, 3*f = o - 34. Let r be (-2)/(-12) - f/(-12). Put -1/4, 5, r in decreasing order.
5, -1/4, r
Let h(x) = x**2 + 4*x + 5. Let z be h(-4). Suppose 0 = 8*b - 3*b + z. Let f = -59/22 - -5/2. Sort b, 1/2, f in descending order.
1/2, f, b
Let s = -4.836 - 0.164. Sort s, 1, -1/8.
s, -1/8, 1
Let f = -129 - -133. Sort f, -2, 5, -2/5.
-2, -2/5, f, 5
Let w = 0.6 + 3.4. Let c = -1.4 + 0.6. Let q = c - -1.1. Put -3/5, q, w in increasing order.
-3/5, q, w
Let d(z) = -z**2 + 11*z - 10. Let n be d(8). Let y be (12/14)/(2/n). Put 4, 3, y in decreasing order.
y, 4, 3
Let g = -2 + 4. Put -17, 3, g in descending order.
3, g, -17
Let z(v) = -v + 7. Let f be z(8). Sort f, -2, -8.
-8, -2, f
Let r(l) = l**2 - 3*l - 1. Let s be r(3). Let d = -92 + 95. Let g(p) = -p + 8. Let u be g(6). Sort s, d, u.
s, u, d
Let n be ((-12)/(-3) - 0) + -6 - -3. Sort 6, 2, n in decreasing order.
6, 2, n
Let k = -3 + 2. Let v = k - -0.5. Suppose 0 = 2*a - 3*q + 4, -4*a + 4*q - 1 - 3 = 0. Put 2, v, a in increasing order.
v, a, 2
Let w = 0 - -5. Put -5, w, 0, 3 in decreasing order.
w, 3, 0, -5
Suppose 0 = -v + 3*v - 8. Let j = 3 - 0. Suppose -s + 5 - 33 = -5*f, -4*s - 3*f = -3. Sort s, j, v in descending order.
v, j, s
Suppose 1 = -3*f + 16. Suppose 4*s + 3*i - 4 = 1, -4*s + 45 = -f*i. Suppose 0*n + 3*n - 2 = s*u, 5*n + 4*u + 9 = 0. Sort n, 3, 2 in descending order.
3, 2, n
Let y(d) = d - 15. Let r be y(7). Sort -0.3, -0.5, r, -2 in increasing order.
r, -2, -0.5, -0.3
Suppose -5*b - 5*g + 10 = 0, -g + 0*g + 22 = 5*b. Sort b, -1, 3 in decreasing order.
b, 3, -1
Let s = 13 + -10. Put s, 1/4, 4 in descending order.
4, s, 1/4
Let b = -7 - -4. Sort 5, 4, b in increasing order.
b, 4, 5
Let a = 5 - 3.4. Let p = -0.6 - -1. Let z = p + a. Put z, -5, 0 in increasing order.
-5, 0, z
Let l(d) = -2*d**2 - 5*d + 2. Let c be l(0). Sort 1, c, -3 in descending order.
c, 1, -3
Suppose -5*x - 4 = 6. Let y be (4/3)/((-8)/24). Sort y, -5, x in descending order.
x, y, -5
Let p(r) = -r + 6. Let k be p(7). Let i = 1 + k. Suppose -6*a + 13 = 1. Sort a, i, -4.
-4, i, a
Let o = -6 - -11. Let b = 0.72 + -0.12. Let q = b + -5.6. Put -0.4, q, o in descending order.
o, -0.4, q
Let y = 189/2 + -97. Sort -4/7, -2/9, y.
y, -4/7, -2/9
Let b(a) = a**3 + 18*a**2 + 16*a - 20. Let j be b(-17). Sort -5, j, -4 in descending order.
j, -4, -5
Let b = 2 + 2. Let k(g) = -3*g**2 + 12*g - 8. Let q(a) = a**2 - 4*a + 3. Let w(j) = 3*k(j) + 8*q(j). Let y be w(5). Put b, 0, y in increasing order.
y, 0, b
Let v(z) = -6*z - 2. Let n(p) = 12*p + 4. Let q(s) = -6*n(s) - 13*v(s). Let y be q(-1). Put 0, 5, y in ascending order.
y, 0, 5
Let s be ((-4)/5)/(6/(-15)). Let t be (-4 - -2)*(-1 + s). Sort t, 4, -1 in descending order.
4, -1, t
Suppose 5*w + 5*y = 35, 3*w + 5*y - y = 25. Suppose -5*j = -w*j. Suppose 3*s + 3*d = -d + 2, 3*s = 5*d + 11. Put j, s, 1 in decreasing order.
s, 1, j
Let x = -19 - -23. Let t be ((-3)/(-3)*3)/3. Sort t, 0, x in decreasing order.
x, t, 0
Let k = 80 - 76.3. Let h = k - -1.3. Put 3/7, h, 2/7 in descending order.
h, 3/7, 2/7
Let h = 13.6 + -14. Sort h, -3, 0.
-3, h, 0
Let q(c) be the second derivative of -c**3/6 - 3*c**2 + 5*c. Let g be q(-3). Put g, -1, 2 in descending order.
2, -1, g
Suppose -42 = -7*s - 7*s. Sort 6, s, 0.
0, s, 6
Let g = -1.2 + 1.4. Let l = g - -0.3. Put 0.3, 2, l in descending order.
2, l, 0.3
Let i(h) = h - 4. Let x be i(0). Let k = -0.04 + 5.04. Sort -0.1, k, x in descending order.
k, -0.1, x
Let o = 19 - 21. Suppose -38 = -5*b + 42. Let d be b/(-6) - 2/6. Sort 0.3, o, d in descending order.
0.3, o, d
Let s = -19577/4 - -138951/28. Suppose -4*c - 4 = 0, 0 = -y - 4*c - 30 - 42. Let a = s + y. Put 1, -3, a in descending order.
1, a, -3
Let p be (-22)/(-77) - (-10)/14. Suppose 3 = -d - p. Let x = 0.03 + -3.03. Sort x, 2, d in increasing order.
d, x, 2
Let v(y) = y**3 - y**2 - 2. Let j be v(2). Suppose -24 = -q - j*q. Let d be 15/(-10)*q/18. Sort -0.2, d, -1 in descending order.
-0.2, d, -1
Let k be 4/16 + 30/8. Put -9, k, 2/7 in ascending order.
-9, 2/7, k
Let q = 20 + -15. Sort -4, q, 3 in increasing order.
-4, 3, q
Let y(c) = -c - 2. Let o be y(2). Let d = o + -1. Let h(k) = -k + 11. Let w be h(9). Sort d, 4, w.
d, w, 4
Suppose 3*p + 8 = -r, -2*r - 3*p = -2*p - 4. Suppose -r = 3*q - 1. Let y(u) = 3*u**2 - 23*u - 4. Let x be y(8). Sort q, x, 5 in increasing order.
q, x, 5
Let t be 105/12*2/(-60). Let o = t + 125/264. Sort -1, 1, o in increasing order.
-1, o, 1
Let v be 3/((-3)/(-5)) + -2. Suppose -2*x = -x - 9. Put x, -1, v in descending order.
x, v, -1
Let s = -27 + -1. Let t = 26 + s. Sort 2, -0.5, t in decreasing order.
2, -0.5, t
Let f = -7.2 - -7. Let t = f - 0.1. Put -2/21, -3, t in ascending order.
-3, t, -2/21
Let r = -3.92 - 0.08. Let l be (-5)/(-10)*(3 - 2). Sort r, 2/9, l.
r, 2/9, l
Suppose -d - 9 = 4*i, i - 3*i - 6 = 2*d. Let q be 716/2702 - (-6)/(-21). Let t = q + 454/3281. Put t, 0, i in decreasing order.
t, 0, i
Let b = 1.41 + -0.21. Let o = b - 1.2. Put o, 1/7, 1 in descending order.
1, 1/7, o
Let l(u) = -2*u + 3. Let f be l(2). Sort -2, f, -3 in descending order.
f, -2, -3
Let n = -6 - -8. Let i = -4 + 3. Let v = n + i. Sort -4, v, 5 in increasing order.
-4, v, 5
Suppose 4*x - 5*m + 1 = -4, -x = -m + 1. Suppose -w - 2*w + 9 = x, -5*c - w = 12. Let k be (-2)/c - (-22)/(-42). Sort 0.4, 3, k in ascending order.
k, 0.4, 3
Let x be (7 + -1)/((-4)/(-2)). Suppose 0 = -j - 4 + 9. Suppose -j*m + x*a + 18 = 0, 3*m - 10 + 0 = a. Sort -5, m, 2 in ascending order.
-5, 2, m
Let v = -1 - 2. Suppose -5*d + 6 = -4. Suppose 0 = x + d*x. Sort 5, v, x in ascending order.
v, x, 5
Let b be ((-15)/(-6))/(5/(-10)). Put b, 1, 2 in descending order.
2, 1, b
Let c be 4/22 + 32/792. Sort c, -2, -0.3.
-2, -0.3, c
Let v = 11 + -14. Let p = 3 - 2. Put p, 3, v in decreasing order.
3, p, v
Let c = -61 + 241/4. Sort c, 3, -0.3 in descending order.
3, -0.3, c
Suppose 17 = 2*s - 3*k, 3*k = -5*s + 3 + 8. Suppose 0 = 3*w + 12, -7*z + s*w = -3*z - 8. Put -4, -5, z in increasing order.
-5, -4, z
Let l = -0.2 - -1.2. Let i = 17 - 12. Put i, 1/5, l in increasing order.
1/5, l, i
Let g(l) = -7*l - 42. Let y be g(-7). Sort y, 1, -2.
-2, 1, y
Let c = 10 + 5. Suppose -3*p - c = -0. Sort -3, p, 0 in decreasing order.
0, -3, p
Suppose 0 = -x + 5*r + 14 + 2, -5*x = -3*r - 80. Suppose 3*f = 4*c - 2, -c + x = -4*f - 4. Let s = f - -7. Put -1, s, -3 in decreasing order.
s, -1, -3
Let v = -3 + 7. Let i = v - 4. Sort 1/4, i, -2/3 in increasing order.
-2/3, i, 1/4
Let r = 6 + -5.6. Let f be 3/7*(-