7*h + 20. Let g be n(-7). Suppose t - 3*z = 8, 2*t - 7*z + 3*z - 12 = 0. Let b be (-2)/(-4) + (-1)/(-2). Sort b, t, g.
g, b, t
Suppose 3 = 3*i + 12. Put 4, 1, i in ascending order.
i, 1, 4
Let t be (-11 - (-1 + 1)) + 2. Let w = t - -4. Let i = -56 + 60. Sort i, w, 3 in descending order.
i, 3, w
Let a = 71 + -47. Put a, 2, -3/5 in decreasing order.
a, 2, -3/5
Let y(v) = -v - 3. Let s be y(-6). Put 4, 3/5, s in ascending order.
3/5, s, 4
Let a = -133 - -667/5. Let k = -5 + 11. Let i = -5.9 + k. Sort a, -3, i in decreasing order.
a, i, -3
Let r(k) = -k - 12. Let f be r(0). Let q = -7 - f. Put q, 7, 1 in decreasing order.
7, q, 1
Let k = -1 - 4. Let i = -93.1 - -90.1. Put k, i, 5 in decreasing order.
5, i, k
Let l = 14597/15750 + 2/1125. Let s = -79/266 - 5/38. Let u = l + s. Sort -2, 3, u.
-2, u, 3
Let f be (-10)/(-12) + 4/(-12). Let x = -0.1 - -0.3. Let v = -0.4 + 5.4. Put x, f, v in ascending order.
x, f, v
Suppose -2*r + 3*m - 10 = 0, 0 = -4*r + 3*m - 11 - 3. Put r, -3, -4 in descending order.
r, -3, -4
Suppose -b - 2 = 4*n - 6*n, -2*b + 2*n = 0. Sort -1, b, 3 in ascending order.
-1, b, 3
Let g be 1 + (17 + 2 - 1). Suppose -g = 4*x + 1. Put 1, -2, x in ascending order.
x, -2, 1
Let j = 12.8 - -0.2. Let b = 7.8 - -0.2. Let z = b - j. Sort 3, z, -3/4 in decreasing order.
3, -3/4, z
Let j be (-119)/49 + 6/14. Let m = -6 - -10. Let q(w) = 6*w**3 + w**2 + w + 1. Let x be q(-1). Put x, m, j in descending order.
m, j, x
Let q = 20 + -19. Sort q, -9, -4 in decreasing order.
q, -4, -9
Let u be 2/4*64/(-56). Let o = 20 + -22. Suppose -17 = 2*l - 3*p, 3*l + 19 = 2*l + 5*p. Sort o, u, l in ascending order.
l, o, u
Suppose -5*x + 0 = 10. Let j(f) = 9*f**2 + f - 2. Let h be j(1). Let o = h - 13. Sort o, -3, x.
o, -3, x
Let v(j) = -j**2 + 7*j - 2. Let l be v(6). Let p be ((-2)/10)/(2/5). Let i = 1.1 - 0.1. Sort l, i, p.
p, i, l
Suppose -2*b = -0*b - 20. Suppose 2*l - 3*y = b, 6*y - 2*y = -8. Let a = 0.7 - -0.3. Put l, 2/13, a in ascending order.
2/13, a, l
Suppose 0 = 4*u + 9 + 7. Sort u, -5, 1.
-5, u, 1
Suppose -2*h = 4*h - 42. Put -4, -1, h in decreasing order.
h, -1, -4
Let y = 41 - 41.5. Put 0.4, y, 46 in increasing order.
y, 0.4, 46
Let a = 12 - 12.3. Let n = -5.06 + 0.06. Let z = -3 - n. Sort z, a, -4.
-4, a, z
Let z(u) = u**3 + u**2 + 2*u - 3. Let a be z(3). Suppose i + 2*j - a - 71 = 0, -4*i - 2*j = -434. Let t = i + -755/7. Put t, 1, 3 in decreasing order.
3, 1, t
Let t(f) = -f + 3. Let d be t(1). Let p be (d/1)/(-6)*15. Sort 1, p, -2 in decreasing order.
1, -2, p
Let g = -91 - -94. Let y = -4 - -4. Sort 1, g, y in descending order.
g, 1, y
Suppose -2*b = 4*p, -2*b + b + 5 = -3*p. Suppose 5*l = b*l. Suppose 2*j - 2*g + 6 = j, 4 = -2*j + 2*g. Put j, 5, l in decreasing order.
5, j, l
Suppose 0 = 3*g - a + 15, 20 = -4*g + a + 1. Let y(z) = z - 3. Let f be y(4). Sort g, f, -3 in decreasing order.
f, -3, g
Suppose 0*f + 4*f + 11 = -w, 0 = w + 2*f + 5. Let j = w + 4. Sort -1, j, -4 in ascending order.
-4, -1, j
Let z = 3.1 - 1.5. Let b = -0.4 - z. Let p = -5.8 - -0.8. Sort 2, b, p in decreasing order.
2, b, p
Suppose -5 = -2*v - 3. Let h be 1 + 2*1/2. Suppose -h + 11 = 3*r. Put 4, r, v in ascending order.
v, r, 4
Let l(a) = -a - 2. Let n be l(-7). Suppose 0 = 5*o + n*j - 5, 0 = -o - 2*j - j - 7. Put -4, -2, o in descending order.
o, -2, -4
Let y be (9 + -3)/((-6)/(-4)). Put -4, 2, y in increasing order.
-4, 2, y
Suppose -y - 40 = -5*y + 4*m, -35 = -2*y - m. Let x be 12/y*(-10)/4. Let n be (((-20)/(-3))/5)/x. Sort 4/5, n, 0 in decreasing order.
4/5, 0, n
Let r = -135.3 + 136. Sort r, 0.2, 2, 0.3 in ascending order.
0.2, 0.3, r, 2
Let s = 9.2 - 9. Let p = -0.36 - -0.3. Sort s, -5, p in ascending order.
-5, p, s
Suppose 0 = 3*p - 0 - 12. Suppose 352 = p*i + 2*m, -m = -4*i + i + 259. Let w be i/27 - (-2)/(-9). Put -2, -5, w in descending order.
w, -2, -5
Let z = 0 + -1. Let m = 11 - 8. Sort 2, z, m in decreasing order.
m, 2, z
Let t be (20/7)/(6/(-14)). Let v = -134/21 - t. Let g = 7 + -6.6. Sort 1, g, v in decreasing order.
1, g, v
Let g = -112 + 109. Sort 2, g, -1.
g, -1, 2
Let h = -128 - -1406/11. Put -1, h, 3/2, -4 in ascending order.
-4, -1, h, 3/2
Let c = 3 - 3.5. Let g = -1.73 - -0.73. Sort 1, c, g in descending order.
1, c, g
Let i = -11.5 - -1.5. Let j = i + 9. Sort j, 6, 1/2.
j, 1/2, 6
Let c = -11 - -17. Sort -0.1, -0.2, c in decreasing order.
c, -0.1, -0.2
Let n be (6/(-9))/(3/27). Sort 2, n, -2 in ascending order.
n, -2, 2
Let l = -2 - -3. Suppose -3 = -h + u, -4*u + l = -h - 2. Sort -1, -3, h in ascending order.
-3, -1, h
Let g = -3.06 + 0.06. Let n = g - -3.5. Put -0.1, 4, n in increasing order.
-0.1, n, 4
Let s be (1 + -2)/(3/3). Let g(t) = t**3 + 9*t**2 - 10*t - 5. Let q be g(-10). Let p be ((1 - 0)*q)/(-1). Sort s, -4, p in descending order.
p, s, -4
Suppose -4*s + 5*d - 121 = 0, 2*s + 2*s - 4*d = -116. Let m be (-6)/(-7)*(-112)/s. Suppose 5*p - 17 = -2. Sort p, -3/8, m in descending order.
m, p, -3/8
Let j = 222 - 220. Let p(t) = 2*t + 3. Let a be p(-2). Sort a, -3, j in increasing order.
-3, a, j
Suppose 0*v - 8 = 4*v. Sort v, 5, -3 in descending order.
5, v, -3
Let y(a) = -a + 7. Let m be y(12). Let l(w) = w**2 + 3*w - 4. Let n be l(-4). Suppose -q + 21 = 5*i, -15 = i - n*i + 5*q. Sort m, i, -3 in decreasing order.
i, -3, m
Let b = 21 + -21. Suppose 2*w - w + 3 = b. Sort -1, w, 0.
w, -1, 0
Suppose -g + 1 = 0, y + 2*g - 6 = -g. Put y, -0.4, 4 in descending order.
4, y, -0.4
Suppose 6 - 15 = -3*x, -5*x - 9 = -2*y. Suppose 5*n - 5*q = 20, n + 2*q + y = 5*n. Sort 3/2, 1/4, n in decreasing order.
n, 3/2, 1/4
Suppose 0 = 5*t - 0*t - 15. Suppose 2*h + 21 = -h. Put -1, h, t in descending order.
t, -1, h
Let y = 39 + -28. Suppose y = 2*z + 5*m, 2*z - 4*m + 0 = 2. Let w = 0.2 - 0.2. Put -3, w, z in decreasing order.
z, w, -3
Let q = -1 - -6. Suppose -4*j - 1 - 16 = -q*r, j - 2 = 0. Suppose 0 = 3*d - b + 11, 17 - 2 = d - r*b. Put 1/4, 2, d in decreasing order.
2, 1/4, d
Suppose 6*a = 3*a - 2*t + 8, 0 = a - 2*t. Let k be a + (-4 - (-1 + 1)). Let l(j) = -j**2 - j - 3. Let w be l(0). Sort w, 2, k.
w, k, 2
Suppose -z + 5*a + 4 = 0, -4*z + 4*a = -2*z - 8. Put 0.1, 0, -0.3, z in decreasing order.
z, 0.1, 0, -0.3
Suppose 3*v + 8 = -4*w + v, -v = 0. Let t = -6 + 8. Put t, 1, w in decreasing order.
t, 1, w
Let k(i) = i**2 + 6*i - 2. Let y(u) = -7*u**2 - 3*u - 2. Let c be y(-1). Let l be k(c). Put 0.5, l, 3 in ascending order.
l, 0.5, 3
Let w = 6 + -5.8. Let r = -0.1 + -0.1. Put r, -2, w in decreasing order.
w, r, -2
Let w be (-33)/28 - (-3)/4. Let y = -19 + 19.4. Let u = -2 + 2. Sort y, u, w in descending order.
y, u, w
Let x be 0 - ((-9)/(-3) - 5). Suppose -5*r - 5 = 5*q, -x*q = 5*r - 3 + 20. Sort -3, r, -4 in decreasing order.
-3, -4, r
Let m(h) be the third derivative of 1/6*h**3 + h**2 + 0*h**5 + 0 - 1/12*h**4 + 1/60*h**6 + 0*h. Let k be m(1). Put k, 5, 2 in descending order.
5, 2, k
Let a = 1.9 + 4.1. Let r = 5 - a. Sort -2, -0.2, r in increasing order.
-2, r, -0.2
Suppose 20 = 4*c - 2*k, 2*c + 2*c = -3*k. Sort c, 0, -1 in ascending order.
-1, 0, c
Let w be ((-4)/3)/(20/(-45)). Sort 9, -4, w in decreasing order.
9, w, -4
Suppose 8 = -n - 3*c + 3, 0 = -2*c - 2. Put 2, 4, n in increasing order.
n, 2, 4
Suppose 0 = g + 4*g + 15. Let i be (-2)/4 - (3 + g). Sort -4, -2/9, i.
-4, i, -2/9
Let u = 0.487 + -0.087. Sort 0.03, -2/17, u in increasing order.
-2/17, 0.03, u
Let j(w) = w**3 + 9*w**2 - 9*w + 12. Let v be j(-10). Sort v, 0, -1 in decreasing order.
v, 0, -1
Suppose 99 = -3*n + 84. Sort 2, n, -2, -4.
n, -4, -2, 2
Suppose -3*a + 3*s - 17 = -2*a, -a = 4*s - 11. Sort -3, a, -7.
-7, a, -3
Let s = 2.8 - 3. Put 0.2, s, -9 in descending order.
0.2, s, -9
Let p(z) = z**3 - 4*z**2 - 7*z + 5. Let r be p(5). Sort r, 5, -6 in increasing order.
-6, r, 5
Let m(b) = -b**2 + 3*b + 2. Let s be m(3). Let r = -3 - s. Sort r, 4, 2 in descending order.
4, 2, r
Let k be -3 + -1 + 2 + 8. Suppose 3 = -3*d + k, 0 = 2*v + 3*d - 11. Let g be 0 + 3 + (-58)/18. Put v, -4, g in decreasing order.
v, g, -4
Let c be 9/(-3) + 10 + -2. Sort c, -2/7, 4 in increasing order.
-2/7, 4, c
Suppose -10*x = -12*x + 10. Put 1, 4, x, 0 in decreasing order.
x, 4, 1, 0
Suppose 38 - 13 = 5*c. Suppose 0 = 5*k - 25, 12*s + 16 = 15*s + 2*k. Sort s, -2, c in decreasing order.
c, s, -2
Let t be (-1*3)/((