*s + 12 = -4*a. Let g(v) = -v**2 - 7*v + 4. Let b be g(-7). Let w = b - 6. Put 2, w, a in decreasing order.
2, w, a
Suppose -3*c + 3 = -6. Suppose -4*m = -2*m + 4*l - 8, 0 = c*m - 3*l + 24. Put -5, m, 2 in descending order.
2, m, -5
Suppose 0 = 3*n + 4*t + 45, -t + 5*t = 2*n + 10. Sort 1, 3, n, -4 in increasing order.
n, -4, 1, 3
Let v = -34 + 38. Sort v, 5/3, 0 in increasing order.
0, 5/3, v
Let z(l) = -l**3 + 4*l**2. Let y be z(4). Suppose y = -4*t + p + 13, 4*p - 2*p = -3*t - 4. Let q = 2 + t. Put 3, q, 2 in ascending order.
2, 3, q
Let f be (-18)/(-8) + 2/(-8). Sort -1, -4, f in decreasing order.
f, -1, -4
Suppose d + 0 = 5. Suppose 0 = -d*m + 6*m - 5. Let g be 2*(-8)/28*14/(-4). Sort m, -2, g.
-2, g, m
Let z = 86 - 86. Put -3, -1, z, -6 in decreasing order.
z, -1, -3, -6
Suppose -3*v = 4*h - 146, 105 = 5*h + 4*v - 78. Let y = h - 25. Suppose -5*z - y = 5*g, -2*z = 2 - 4. Sort 5, g, 4 in descending order.
5, 4, g
Let o = 0.03 + -0.23. Let m = 0.8 - -1.2. Suppose k - 7 = -3*s + 4, -3*s - 4*k - 1 = 0. Sort m, s, o in ascending order.
o, m, s
Let a = -19 + 26. Sort a, 0, -2 in ascending order.
-2, 0, a
Suppose 2*o = -5*l + 6*o - 17, 0 = -l + 4*o + 3. Put l, 2, 8 in descending order.
8, 2, l
Let b be 12/16 - 2*(-6)/(-16). Sort -5, -3, b, -2 in decreasing order.
b, -2, -3, -5
Let g(c) = -c + 4. Let s be g(0). Let k = -28 - -30. Put 3, k, s in increasing order.
k, 3, s
Let y = 6 - 5.4. Let r = y + 0.4. Sort 0.4, 4, r in decreasing order.
4, r, 0.4
Let g = -2 + -1. Let y be 71/3 - (g + 6). Let m = y - 20. Sort m, -2, 2/11.
-2, 2/11, m
Suppose -2*c + 5 - 11 = 0. Sort 2, -4, c in descending order.
2, c, -4
Let w = 5 - 5. Put w, -0.1, 1 in descending order.
1, w, -0.1
Let q = -33 + 29. Put 1, 3, q in decreasing order.
3, 1, q
Let y = -9 + 14. Put y, -2, -6 in descending order.
y, -2, -6
Let i = 7 - 7.3. Let x = -13 - -8. Sort -4, x, i in ascending order.
x, -4, i
Let l = 100 - 301/3. Let g = 0.3 + -0.2. Sort -5, l, g in descending order.
g, l, -5
Let d = 15.85 + -16. Let y = -0.11 - d. Sort 5, y, 1 in decreasing order.
5, 1, y
Suppose -4*x + 17 = 13. Sort 3, x, 0, 5 in ascending order.
0, x, 3, 5
Let l = -0.16 - -0.09. Sort 4, l, 0.1.
l, 0.1, 4
Let n = -5 - -9. Suppose x = -x - 4. Sort n, -0.3, x.
x, -0.3, n
Suppose -5*d + 8 = -3*f + f, 4*d + 2*f = 10. Let m be (-2 - -5 - 2)/(-1). Let q = 0 + m. Put d, q, -4 in decreasing order.
d, q, -4
Let l be 134/46 - (0 - -3). Sort l, -4, -0.1 in decreasing order.
l, -0.1, -4
Let p = 27 - 26.8. Put p, 5, -1/6 in descending order.
5, p, -1/6
Suppose 2*v + 2*b - 14 = -2*v, -4*b = 3*v - 8. Suppose 2*n = v*n + 2. Put -5, n, 3 in decreasing order.
3, n, -5
Let y(h) = h**2 + 7*h - 1. Let d be y(-7). Let j be (-2)/(d - -3) + 1. Put j, 0.1, -4 in decreasing order.
0.1, j, -4
Suppose -4*h + 3 = -13. Let v be (0 - 1) + 2 + 1. Let a be 6 + 2*215/(-70). Put v, h, a in increasing order.
a, v, h
Let j(r) = 2*r - 3*r + 3*r + 10. Let d be j(-5). Put -1, d, 3 in descending order.
3, d, -1
Suppose 4*p - 31 = w + 2*w, 3*p = -w + 7. Suppose -3*a + 3*q = 0, 2*a + 3*q = 6*q + 2. Sort a, p, -3 in ascending order.
-3, a, p
Let l = 15 - 18. Let g = -0.3 - -0.7. Sort l, g, -4 in descending order.
g, l, -4
Let d = 5 + -5. Suppose m - 9 = -d*m. Suppose 3*x - 2*i + 6*i = m, -3*x = 5*i - 12. Sort 4, -5, x in increasing order.
-5, x, 4
Let y(b) = b + 1. Let w(t) = -t**2 - 12*t - 15. Let i be w(-11). Let x be y(i). Sort -1, x, 3 in increasing order.
x, -1, 3
Let o(z) = 4*z - 7. Let r(j) = -7*j + 14. Let d(v) = -5*o(v) - 3*r(v). Let k be d(5). Put -0.4, -0.5, k in increasing order.
k, -0.5, -0.4
Let z = 1 - 6. Let r(d) = 3*d**2 + d. Let j be r(-1). Sort z, j, -4.
z, -4, j
Let h(q) = -q**3 - 7*q**2 + 8*q - 1. Let b be h(-8). Sort 3, b, 5 in ascending order.
b, 3, 5
Suppose -x + 0*x = 0. Let k = 0.12 - -4.88. Put k, -5, x in decreasing order.
k, x, -5
Let y = -1.8 + 1.8. Sort 2/7, y, 0.04 in increasing order.
y, 0.04, 2/7
Let o = 6 + -8. Suppose 2*q - j = -10 - 11, 0 = 5*q + 2*j + 75. Let g = q + 18. Put o, g, -3 in decreasing order.
g, o, -3
Let b = -0.4 + 0.2. Let m be 62/22 + (-12)/(-66). Suppose -r + m*r - 10 = 0. Put -1/9, b, r in decreasing order.
r, -1/9, b
Suppose 2 + 1 = -b. Suppose 0 = -3*h - h + 368. Let u be h/22 - 4/22. Sort u, b, 1.
b, 1, u
Let r = 1.23 + -0.23. Put -3, r, -1/2 in descending order.
r, -1/2, -3
Suppose -3*g = 2*z - 7, -5*g + 4*z = z - 18. Let x(i) = 4*i + 3. Let t be x(-1). Put -5, g, t in ascending order.
-5, t, g
Let h = -166 - -166.1. Sort -2/23, h, 0.2, -0.4 in descending order.
0.2, h, -2/23, -0.4
Let w(o) = -o**3 - 10*o**2 + 2. Let x be w(-10). Let b = -2 + x. Suppose -3*q = -3*y - b*q + 6, 0 = 5*q. Put y, 5, 3 in decreasing order.
5, 3, y
Let u be (8 - 1 - 2) + -1. Let k(v) = -v + 4. Let j be k(6). Let s = j - -1. Sort s, 2, u in decreasing order.
u, 2, s
Let x(h) = -12*h + 4. Let f be x(5). Let q be (-1)/(-3) + f/(-12). Suppose -z - q = -2*z. Put 2, -1, z in descending order.
z, 2, -1
Let b be 3 + 0 + -1 + -6. Put 4, 11, b in ascending order.
b, 4, 11
Let w = 0.03 + -5.03. Let z = 0.5 - 2.5. Put w, z, 0.1 in descending order.
0.1, z, w
Let p = 0.1 + -0.3. Let n = -0.5 - p. Let k = n - -0.3. Put k, -0.1, 0.5 in descending order.
0.5, k, -0.1
Let p = -0.07 - 4.93. Let t = p - -7. Sort -0.4, t, -3 in decreasing order.
t, -0.4, -3
Suppose -t - 6 = -0. Sort 2, 1, t in ascending order.
t, 1, 2
Let l(w) = -w**3 - 5*w**2 - 4*w + 1. Let n be l(-4). Let h be -8 - -7 - n*3. Sort h, 2, 5.
h, 2, 5
Let y(r) = -r**2 - 6*r + 5. Let z be y(-6). Let m = z + -10. Sort 1, 5, m in ascending order.
m, 1, 5
Let u = -3.2 - -0.2. Let m = u - -1. Sort -1, m, -4 in decreasing order.
-1, m, -4
Let n be ((-2)/4)/(3/(-30)). Sort -2, 2/3, n in descending order.
n, 2/3, -2
Let a be 10/(-21) - ((-16)/28)/4. Put -0.06, 0.1, a in ascending order.
a, -0.06, 0.1
Let x = 0.3 + -0.1. Let w = 37 + -42. Sort x, w, 1 in decreasing order.
1, x, w
Let x(z) = z**3 - 5*z**2 + 4. Let v be x(5). Sort v, 0, 3.
0, 3, v
Let r = 0.29 + 0.21. Put 5, 4, r in decreasing order.
5, 4, r
Let j = 5 - 4. Let g be 1/1*j*1. Suppose 3*d = 2*h - 4*h - 9, 3*h + g = -2*d. Put 0, -1, d in ascending order.
d, -1, 0
Let m = -1070/7 - -153. Sort m, -1, 4, 2.
-1, m, 2, 4
Let p = -1 + 1. Suppose m + 5*z = -0*z - 5, -3*m - 3*z + 9 = p. Let f be 23/(-5) - 2/m. Sort -1, f, -3 in decreasing order.
-1, -3, f
Let s(u) = u**3 - 7*u**2 + 2*u - 10. Let v be s(7). Sort v, 0, -11 in ascending order.
-11, 0, v
Suppose -4 = 3*h - h. Sort h, 3/2, 0.1.
h, 0.1, 3/2
Let k = -10 - -6. Let n be k/(-18) + (-99)/81. Sort 1/7, 2/3, n.
n, 1/7, 2/3
Let i be (0 - 12/4) + 6. Sort i, 0, -8 in descending order.
i, 0, -8
Let j = -102 - -97. Put -1, -3, -2, j in descending order.
-1, -2, -3, j
Suppose 27 = -6*j + 3. Sort j, 5, -1, -5.
-5, j, -1, 5
Let q be ((-1)/18)/((-4)/(-16)). Sort -2, 3, q, 0.1 in decreasing order.
3, 0.1, q, -2
Let x = -99 + 112. Put x, 0.2, 1/8 in descending order.
x, 0.2, 1/8
Let b = -0.6 - 3.4. Let r = b - -6. Let i = -2.1 + r. Put 5, i, -0.2 in increasing order.
-0.2, i, 5
Let m(a) = -4*a**3 - 2*a**2 - 5*a. Let k(z) = -2*z**3 - z**2 - 2*z. Let n(v) = 7*k(v) - 3*m(v). Let i be n(1). Sort i, -1/3, 0.5 in decreasing order.
0.5, -1/3, i
Let q be 0 + -1 - 28/(-35). Let r(f) = f**3 - 3*f**2 + f. Let n be r(3). Suppose 10 = -2*c - 4*h, 4 = -c - 3*h - 4. Sort c, q, n.
q, c, n
Let f be 2 + -9 - (3 - 5). Suppose 3*j - 4 - 4 = -4*n, 3*j = -12. Put n, 3, f in descending order.
n, 3, f
Let t = 2/3 - 1. Let o be (-4)/8 + 19/2. Suppose 4*q = -3 - o. Put 0, q, t in descending order.
0, t, q
Let g(l) = -3*l + 11. Let c be g(2). Let r(m) = m. Let q be r(-3). Put q, c, 1 in decreasing order.
c, 1, q
Suppose 0*c + 5*c = -u, 3*c = 3*u. Let x = -10 - -14. Put 1, c, x in descending order.
x, 1, c
Let u = 4 - 6. Let h = 2 + u. Sort 0.1, 0.3, h in ascending order.
h, 0.1, 0.3
Let o = 403/1854 + 1/206. Sort o, -3, -3/5 in descending order.
o, -3/5, -3
Let y be -3*4/12*4. Put -1, 4, y in decreasing order.
4, -1, y
Let p = -2 - -7. Sort p, 2, 3 in decreasing order.
p, 3, 2
Let j = -207973 + 105135. Let p = j + 26223491/255. Let k = p + -1/51. Sort 2/9, 4, k in decreasing order.
4, 2/9, k
Let a = -25 - -25.1. Sort a, -1/6, -0.1 in ascending order.
-1/6, -0.1, a
Let t = -1 - -5. Let v be 1/(-2) - 75/(-126).