2 + 4 + r + -3. Put 5, -5, b in increasing order.
-5, b, 5
Let a(b) = b**3 + 9*b**2 + 4*b + 20. Let v be a(-9). Let h be v/18 - 1/9. Sort 1.3, h, 0.4.
h, 0.4, 1.3
Let h be (2/(-7))/((-6)/14). Let x be (-1 - 0)*2/4. Sort 5, h, x.
x, h, 5
Suppose 0 = 5*m + 7 + 13. Let t(x) = 3*x. Let q be t(1). Suppose q*p = -p. Sort -6, m, p in descending order.
p, m, -6
Let t(c) = 3*c**3 - 2*c**2 + 2*c - 1. Let o be t(1). Suppose 3*i - 9 = -l, l + 2*i = -l + o. Sort l, 0, -9 in decreasing order.
0, l, -9
Let z = 586 - 585.7. Let u(c) = -c + 3. Let v(f) = f - 3. Let k(x) = -3*u(x) - 4*v(x). Let h be k(2). Put h, z, -2 in decreasing order.
h, z, -2
Let o be (-8)/(-6)*861/(-14). Let n = 85 + o. Put -1/2, -2/11, n, -2 in descending order.
n, -2/11, -1/2, -2
Let p be 16/(-3756)*2/4. Let o = 5624/4695 - p. Let f = 0.55 - 4.55. Sort o, f, 1.
f, 1, o
Let f be (-12 - (-244)/20)*-3. Put -4, 0.1, f, -1.3 in descending order.
0.1, f, -1.3, -4
Suppose 0 = 123*c + 227*c - 590 + 2340. Let r be (-2)/8 + 6/(-8). Sort 3, r, c, 1 in decreasing order.
3, 1, r, c
Let n be 10/8*(-1 - -5). Suppose -3*i + 12 = -i. Let k be 2/i - 20/(-12). Put n, k, -4 in descending order.
n, k, -4
Suppose 0 = -9*c + 10 + 26. Sort 0, 5, -6, c in decreasing order.
5, c, 0, -6
Suppose -g - 4 = g. Let n be 112/(-6) - 1/3. Let w = 26 + n. Put w, -5, g in decreasing order.
w, g, -5
Suppose -j - 5 = 0, -11*k + 108 = -10*k + j. Sort -4, k, 2 in decreasing order.
k, 2, -4
Suppose 62 = 8*q - 18. Suppose -25 = 5*l - q. Put l, -4, -1/12, -0.2 in decreasing order.
-1/12, -0.2, l, -4
Let x be (-2)/(-24) + (-70)/6*8/(-32). Let l = 6 + -10. Sort -3, l, x, -1 in descending order.
x, -1, -3, l
Let h = -2.22 - 1.78. Put 2, 5, h, 3/2 in increasing order.
h, 3/2, 2, 5
Let v be 2 - (-4)/(-2) - -2. Let d be 4 + -3 + (v - -1). Suppose -3*z - 5*w - 15 + 3 = 0, 0 = -z - w - 4. Sort 0, z, d in increasing order.
z, 0, d
Let u be 1*(-2 + 1 + -2). Let o(q) = -2*q - 15. Let r be o(-10). Let v = -4 + 3. Put r, u, v in decreasing order.
r, v, u
Suppose 58 = 2*b - 20. Let r be (-13)/(b/18) - -1. Sort r, 2, -2.
r, -2, 2
Suppose 0*w = 4*w - 4*t, -w - 8 = -3*t. Suppose -2*b - 4*a + 0 = -16, -3*b - a + w = 0. Sort -15, b, -2.
-15, -2, b
Let h be ((-15)/10)/(((-3)/6)/(-1)). Sort -26, 4, h, -1.
-26, h, -1, 4
Let x be 8/(-286) + 2/(-13). Let n = 0.681 + 0.219. Put x, n, -3 in ascending order.
-3, x, n
Let f be (40/25 + -2)*(-60)/8. Put 1, 4, f, -12 in increasing order.
-12, 1, f, 4
Let o be ((-2541)/(-63))/(2/(-2)). Let j = 41 + o. Put 1/4, 4, j, 5/3 in increasing order.
1/4, j, 5/3, 4
Let a = -109 - -108. Let j be ((-5)/3 + 1)*-3. Sort -3, a, j in ascending order.
-3, a, j
Suppose 4 = -n - 2*k, -n + 3*n = 3*k - 1. Suppose -2*f - 7 = -13. Suppose -f*u + 2 = 5*y + 4, 0 = -3*u - 12. Sort -4, n, y in decreasing order.
y, n, -4
Let j = 23 - 18. Let w be -1*(-18)/(-6)*4/6. Put -0.3, j, w in ascending order.
w, -0.3, j
Let s = 891 + -894. Sort s, -0.08, -1/6, 2 in descending order.
2, -0.08, -1/6, s
Let f(v) = v + 4. Let a be f(8). Suppose -17*c = -20*c + a. Let b = 200/7 + -29. Put -0.3, c, b in increasing order.
b, -0.3, c
Let r(y) = 5*y**3 - y - 3. Let l be r(2). Let v = -39 + l. Put -11, v, -3, 3 in descending order.
3, -3, v, -11
Suppose -5*z - 153 + 128 = 0. Sort 0, -58, z, -2 in decreasing order.
0, -2, z, -58
Let c = 0.4 - -1.1. Let s = c - -0.5. Let x be 1/6*(1 - -1). Sort x, -3, s in increasing order.
-3, x, s
Suppose -4*q + 2 = 5*t, -7 = 5*t + 3. Suppose -q = 2*n + 7. Sort n, -2, -8, 2.
-8, n, -2, 2
Let i be 6 + 28/(-4) + -2 + 4. Sort 4, i, 0, 3.
0, i, 3, 4
Suppose 9 = -14*j + 11*j. Let v(p) = -58*p**2 + 2 - 5*p + 3 + 59*p**2. Let a be v(5). Sort a, 3, j.
j, 3, a
Let u = 14831/12 + -1235. Let o = 5/12 - u. Let n = 110 + -879/8. Put o, n, 0 in increasing order.
o, 0, n
Let m(l) = 2*l - 13. Let x be m(3). Let j(q) = q**3 + 7*q**2 - 8*q + 8. Let w be j(-8). Sort 3, -3, x, w in descending order.
w, 3, -3, x
Let j = -0.211 + 0.17. Sort 1, j, -2 in ascending order.
-2, j, 1
Suppose 2*a + 48 - 56 = 0. Put 2, 3, -3, a in ascending order.
-3, 2, 3, a
Suppose 0*w = w + 5*n - 16, -2*w + n - 1 = 0. Sort w, -3, -68 in decreasing order.
w, -3, -68
Suppose -3 + 1 = 2*y. Suppose 29 = 6*f - 13. Sort f, -4, y in decreasing order.
f, y, -4
Let q(w) = w**3 - 14*w**2 + 24*w. Let g be q(12). Let f = g + -4. Sort f, 1, 4 in decreasing order.
4, 1, f
Let z(v) = 2*v + 91. Let u be z(0). Let i = u - 817/9. Let w(q) = q - 8. Let f be w(8). Put f, 5, i in increasing order.
f, i, 5
Let m be (10 + 38/(-4))*-2. Let k be 1/(1/5 - 0). Sort m, -17, k in increasing order.
-17, m, k
Suppose 3*m = 5*m + 12. Let p(l) = 3*l + 12. Let u be p(m). Suppose -v - 4*v - 10 = 0. Put v, u, 5 in increasing order.
u, v, 5
Suppose 419 - 404 = 3*d. Sort 3, 22, d, 3/4 in increasing order.
3/4, 3, d, 22
Let q be 12/(-5 + 1) + 105/49. Let n(s) = s**2 + 4*s + 4. Let z be n(-4). Sort 0.5, z, 2, q in descending order.
z, 2, 0.5, q
Suppose 0*v = -2*v. Let c be (-4 - 2)*(-15)/(-6) - -10. Let s = -1 - 0. Put v, c, s in descending order.
v, s, c
Suppose -36*h + 12 = -33*h. Let q = 15 - 10. Sort 0, q, h in decreasing order.
q, h, 0
Let x = 591 + -586. Put x, -1, -6/13, 1/2 in decreasing order.
x, 1/2, -6/13, -1
Let q = 4.32 + -4.19. Sort -6, q, 1 in decreasing order.
1, q, -6
Suppose -t = -812 + 178. Let g be (-6)/8 - t/(-856). Let w = g - 205/963. Sort 2/3, w, 4 in increasing order.
w, 2/3, 4
Suppose -5*o = -112 + 32. Suppose 2*k - q = -3 + o, -2*q = 2*k - 16. Suppose -3*c + 4*s + s = -5, 0 = 4*c - 5*s. Sort k, 3, c in increasing order.
c, 3, k
Let d(l) = 2*l**2 - l + 3. Let b be d(3). Suppose 4*v - o = 53 - 10, v = 3*o + 8. Let z = v - b. Sort 2, 0, z in ascending order.
z, 0, 2
Let k = -1506 + 1501. Let b = -6.6 - 1.4. Let t = -5 - b. Sort k, t, 3/4 in decreasing order.
t, 3/4, k
Let b(m) = -m**2 - 2*m + 1. Let x be b(1). Suppose -4*r + 3*s = 19, -3*r - 3*s + 5*s = 14. Let i be (-1)/(2*9/72*(-5 + 1)). Put r, i, x in ascending order.
r, x, i
Suppose n = -0*p + 4*p - 6, -5*n + 5*p - 30 = 0. Let s = n + 4. Let d be ((-5)/s)/5*4. Sort -5, d, 6.
-5, d, 6
Let s be (-504)/896*(-4)/(-6). Sort -0.1, -4, s, 3/2 in descending order.
3/2, -0.1, s, -4
Let t(s) = s**2. Let d(p) = -p**2 - p - 6. Let n(g) = d(g) + 4*t(g). Let o be n(3). Let v = o + -15. Put -5, -1, v in decreasing order.
v, -1, -5
Let j be -2*(5 + 2) - 2. Let c be ((-6)/4)/((-12)/j). Let b = 7 + c. Sort 0, b, -5 in descending order.
b, 0, -5
Let p = 0.8 - 1.3. Let u = -31 + 127/4. Put p, u, 2 in ascending order.
p, u, 2
Suppose -12 = -5*j + 8. Suppose -j*u = u. Let r be 3 - (4 - 0) - 3. Sort u, 3, r in ascending order.
r, u, 3
Let q = -1.3 + 1.7. Let f = -7.21 + 7.31. Sort 17, f, q in decreasing order.
17, q, f
Let b(g) = -g**2 - 12*g - 34. Let w be b(-7). Let z = 0.05 + 0.05. Sort w, z, -0.2, -0.1 in descending order.
w, z, -0.1, -0.2
Suppose 0 = -0*f - 2*f + 2. Let s = 2 - 2. Suppose -3*a - a = s. Put f, a, -1 in decreasing order.
f, a, -1
Let j = 290 - 286. Sort -4, j, -16 in increasing order.
-16, -4, j
Let k(b) = b + 10. Let r(d) = d**3 + 4*d**2 + d + 6. Let y be r(-4). Let f be (y/4)/((-2)/20). Let x be k(f). Put 2/15, x, 1/3 in decreasing order.
x, 1/3, 2/15
Let v(w) = -4*w - 3. Let h be 0 + -3 + 3/3. Let a be v(h). Sort a, -2, 6 in decreasing order.
6, a, -2
Let g be ((-20)/(-18) - 2)*(-21)/(-28). Suppose 5*b - 9 - 12 = r, 0 = 3*b - 5*r + 5. Put g, b, 0.4 in decreasing order.
b, 0.4, g
Let u(m) = -m. Let c be u(1). Suppose -5*b = -2*b - 15. Suppose 3*f - 4 = -0*g - b*g, -f + 2 = 2*g. Put g, 4, c in increasing order.
c, g, 4
Suppose -1 = -5*d - 4*q, 2*d - q - 3 = -0*q. Suppose 0 = 4*l - 3*u - 25, -2*l - 5*u - 5 = 2. Put d, l, -2, -3 in ascending order.
-3, -2, d, l
Let s(j) = j + 43. Let y be s(26). Suppose -5*o + 74 - y = 0. Sort 0, 3, o in increasing order.
0, o, 3
Suppose 5*b = -4 - 1. Let a be -3*(-4)/(-8)*(-10)/3. Sort 3, a, b in descending order.
a, 3, b
Suppose 12*n - 103 = 17. Suppose 8 = 2*p - n*p. Put 0.1, 1/4, p in decreasing order.
1/4, 0.1, p
Suppose 3*h = -2*h + 5*f - 5, 5*h - 4*f = -9. Let v be (-1*2 + 7)*(h - -4). Sort 2, -20, v.
-20, v, 2
Let u be 1/1 + 11 - -2. Let r = 19 - 29. Let o = u + r. Sort 1, 5, o.
1, o, 5
Suppose 2*z - 62 = 4*p, 0 = 3*p - 5*p - 3*z - 11. Let t = p - -16. Suppose 8 = -5*q + t. Sort 8, -2, 