scending order.
3, b, -2
Let b be (3 + -2)*6/10. Put -3, b, -4 in increasing order.
-4, -3, b
Suppose -7*r + 2 = -9*r. Suppose -f + 5 = 4*f. Let i be 3*1*(-2 + 3). Sort f, r, i in descending order.
i, f, r
Suppose 5*q - 35 = 5*w, -3*w - 3 - 16 = -2*q. Suppose r - 3*r = 6. Let t(l) = -l + 3. Let n be t(5). Sort q, r, n in ascending order.
r, n, q
Let w = -11 + 12. Let m be -2*(w/2 + 2). Put -2, 3, m in ascending order.
m, -2, 3
Suppose -22*b = -21*b + 2. Sort -3, -22, b.
-22, -3, b
Let f = 34 - 29. Put -3/8, f, -0.5 in descending order.
f, -3/8, -0.5
Let p be (-623)/(-406) - 6/4. Let u = -23467/55680 - 5/384. Let z = p + u. Put z, 2/5, 0.3 in decreasing order.
2/5, 0.3, z
Suppose 2*k + v = -11, -4*k - 3*v + 4*v - 19 = 0. Sort 1, -2, k, -3 in decreasing order.
1, -2, -3, k
Let f = -1/50 - -64/75. Let v = f + -31/30. Let y be (-1*3)/((-12)/(-8)). Sort v, y, -2/11.
y, v, -2/11
Let h = 2 + 1. Suppose 10 = -2*c, -3*c - 26 = -h*n + 4. Suppose -4*k - 23 = -3*w + 9, -k = -5*w + 25. Sort k, n, 2 in decreasing order.
n, 2, k
Suppose -4*t = u - 4, 5*t - 4 = 4*u + 1. Put -5, u, -3, 5 in increasing order.
-5, -3, u, 5
Let t = 32 - 27. Sort 3, t, 15 in ascending order.
3, t, 15
Suppose 6*b + 7 = 31. Put b, 3, -3 in descending order.
b, 3, -3
Let v = 0.3 - 0.3. Sort 0.2, v, -4 in ascending order.
-4, v, 0.2
Let j(k) = -k**3 - 10*k**2 + 8. Let x be j(-10). Suppose 5 = -2*f - z, f - z = 4*z - x. Sort f, 5, 3 in decreasing order.
5, 3, f
Let i be (-2)/(((-8)/10)/2). Suppose -2*m + 15 = -5*m. Let u be (6/8)/(4/(-16)). Sort m, i, u in increasing order.
m, u, i
Suppose -4*k + 5 = 5*z - 8, 0 = -k - 4*z + 6. Suppose 4*s = -k*f + 12, 5 = 3*f + 11. Suppose g - s*g = 0. Sort -5, g, 1 in descending order.
1, g, -5
Let k = -0.8 - -6.8. Let t = k - 8. Let q = t - -2. Put 0.4, q, -2 in increasing order.
-2, q, 0.4
Let x = -22 - -33. Put x, -3, -4 in descending order.
x, -3, -4
Suppose 4*j + 7 = -9. Put 4, 1, 3, j in decreasing order.
4, 3, 1, j
Let p = 8 - 11. Let a be 12/117*18/(-12). Put p, a, -0.1 in ascending order.
p, a, -0.1
Suppose 3 = 2*b + 1. Let g = b - -3. Sort g, -0.4, 0.1.
-0.4, 0.1, g
Suppose -3*l - 3 = -5*l - f, -3*f - 6 = l. Put 0, -6, l in decreasing order.
l, 0, -6
Let g = 7.4 + 0.6. Let k = g - 8.5. Sort -4, 4/3, k in descending order.
4/3, k, -4
Let m = 5 - 0. Sort 2, m, -3/7 in decreasing order.
m, 2, -3/7
Suppose 2*b + 3*s - 2 = 0, b + 0 = -3*s - 2. Let j = 4 + -9. Let i be 20/(-50) + (-7)/j. Put 2, b, i in descending order.
b, 2, i
Let h = 1 - 3. Suppose 1 + 4 = a, a = -2*t - 1. Put h, t, 1 in decreasing order.
1, h, t
Suppose 0 = -2*r + 2, -i = -3*i + r + 1. Suppose -o + 4 = i. Let l = o + -4. Sort -4, -5, l.
-5, -4, l
Suppose 0 = 5*c - 2*c. Suppose 7*f + 12 = -16. Put f, c, 1 in descending order.
1, c, f
Let i(g) = -2*g**2 + g - 1. Let s be i(0). Put s, -2, 1 in descending order.
1, s, -2
Suppose 0 = -5*f + 3*f + 8. Let l = 56 - 56.07. Sort l, -0.5, f.
-0.5, l, f
Let x(q) = q**3 + 11*q**2 + 9*q - 10. Let c be x(-10). Put c, -18, -2 in decreasing order.
c, -2, -18
Let w = -9 + 4. Let a = w + 5.4. Let m = 33/7 + -31/7. Put a, 1/8, m in increasing order.
1/8, m, a
Let q = -11 + 6. Let z = 2.7 + -4.7. Sort z, q, 3 in decreasing order.
3, z, q
Let h = -0.2 - -0.1. Let f be (24/(-9))/(-4)*3. Let z be f - (-15)/(-9) - -1. Sort h, -1/3, z in decreasing order.
z, h, -1/3
Let x = 7688 - 7744.27. Let m = 56 + x. Let j = m + -0.03. Put j, 3, 2/11 in descending order.
3, 2/11, j
Let r be (-2 + 0)*(-14)/4. Let a be (r/(-18))/((-4)/8). Let i = a + -31/63. Sort i, -3, 3 in decreasing order.
3, i, -3
Let f = 0.3 + -0.2. Let l = f - 0.4. Suppose -2*w = 3*w. Sort l, w, 1 in increasing order.
l, w, 1
Let j = -7 + 8. Let i = j + -0.6. Sort -3, 0.1, i in ascending order.
-3, 0.1, i
Let j = 37 - 36. Let w = 2 + -3. Put -5, j, w in increasing order.
-5, w, j
Let a(i) = -i**3 - 5*i**2 + 7*i + 7. Let o be a(-6). Put 3, -8, o in decreasing order.
3, o, -8
Let r be -3*(4 + (-44)/12). Put -5, r, 5 in descending order.
5, r, -5
Let a = -52 + 49. Put -0.4, 3/7, -2, a in ascending order.
a, -2, -0.4, 3/7
Let a = 52 - 154/3. Let m = -2.6 - -1.1. Let g = -1.7 - m. Sort 1/5, a, g in increasing order.
g, 1/5, a
Let r = 150 - 148. Sort -1/9, r, -4, 0.1.
-4, -1/9, 0.1, r
Let z(a) = a + 6. Let i be z(-3). Sort -28, 4, i in descending order.
4, i, -28
Let p = 4 - 6. Let x = 16 - 16. Sort x, p, 4 in ascending order.
p, x, 4
Let f = -27 - -32. Sort -2, 2, f in descending order.
f, 2, -2
Let o = -2 - -5. Suppose -3*b - m + 5 = 0, o*m - 8 - 7 = 0. Suppose 5*s - 23 = 2*y + 12, -s + 10 = -y. Put -5, b, s in ascending order.
-5, b, s
Let s = 8 - -2. Let q be 2/s - (-23)/(-65). Sort 0.5, q, 3/8 in descending order.
0.5, 3/8, q
Let r = 0.3 + 0.2. Put -5, -2/23, r in descending order.
r, -2/23, -5
Let d(n) = n**3 - 3*n**2 + 3*n. Let m be d(3). Suppose -m = 2*w - 5*w. Suppose 8 = o - w*o. Sort o, 5, -5 in increasing order.
-5, o, 5
Let f = 1.05 + 0.15. Let c = 1.5 - f. Let u be ((-5)/(-3) - 2)/1. Put u, c, -0.4 in decreasing order.
c, u, -0.4
Let b = -6 - -7. Let y = 1 + 0. Let l be y + (3 - (b + 0)). Sort l, 5, -5 in decreasing order.
5, l, -5
Let z = 9.7 + -6.7. Sort -1/11, -0.4, -1, z in increasing order.
-1, -0.4, -1/11, z
Suppose -2 = x + c, 2*c - 1 = 3*x + 10. Sort -21, -4, x, -1 in ascending order.
-21, -4, x, -1
Suppose 0 = -2*w + 1 - 3. Put -5, 1, w in decreasing order.
1, w, -5
Let b(j) = j**2 - 16*j - 16. Let c be b(17). Sort -2, -4, c, -1 in descending order.
c, -1, -2, -4
Let u = 2748/145 + -535/29. Let j = u - 3/29. Sort j, 0.1, 0.3 in decreasing order.
j, 0.3, 0.1
Suppose -3*d = 16*d + 38. Put d, -1, -5, 33 in descending order.
33, -1, d, -5
Let d = -23 + 38. Sort d, 0, -5.
-5, 0, d
Let x(a) = -5*a**2 - 1. Let l be x(1). Sort -5, 3, l.
l, -5, 3
Let o be (-37)/(-7) + (-4)/14. Sort 1, o, 3, -8.
-8, 1, 3, o
Let f be (4 - 5)/(3/(-15)). Put 0.05, f, 2/3 in increasing order.
0.05, 2/3, f
Let s = 1.9 + -2. Suppose u + 0*u - 10 = -5*f, f - 2*u = 13. Let n = -5 - -1. Sort f, n, s.
n, s, f
Suppose -48*k + 1 = -47*k. Sort 4, 6, k, -1 in increasing order.
-1, k, 4, 6
Let r(a) = 7*a**2 - 11*a - 17. Let b(f) = f**2 - 1. Let v(w) = 6*b(w) - r(w). Let h be v(12). Suppose 2*x + 4 = 6*x. Put -4, x, h in decreasing order.
x, h, -4
Let p = -3 + 2.7. Let b = 1 + 1. Let g = -2 - b. Put p, g, 1 in increasing order.
g, p, 1
Let h = -40 + 40. Put 2, h, 3 in ascending order.
h, 2, 3
Let d be (-7)/9*2/(-7). Suppose 2 = 2*y - 0. Let k be (-4)/(-16) - (-1)/12. Sort k, d, y.
d, k, y
Let z = 1/20 - -1/5. Let m = 2 - 1. Sort 2, m, z in ascending order.
z, m, 2
Let z = 30 - 25. Put z, -4, -2 in descending order.
z, -2, -4
Suppose 4*v = -6 + 14. Suppose -v*g + 1 + 1 = 0. Suppose 0 = -2*n - 10, 5 = 3*i - 3*n - n. Sort i, g, 3 in increasing order.
i, g, 3
Let f(n) = -n + 5. Let r be f(1). Let l = -3.7 + 4. Let t = l - 0.1. Sort 0.1, r, t in decreasing order.
r, t, 0.1
Let y be 8/4 + 351/7. Let r = 52 - y. Let x = 2 - 2.3. Put x, r, 2/5 in decreasing order.
2/5, r, x
Let s = -73 - -72. Put 1/5, -0.2, 0, s in descending order.
1/5, 0, -0.2, s
Let x be (-3)/2*4/(-3). Suppose 0 = -x*m - m + 3. Let t = 6 + -3. Put -2, t, m in ascending order.
-2, m, t
Let s = 18 + -13. Suppose -s*x - 13 = -2*m, -5*x - 5*m - 11 = 9. Let q(i) = 2*i**3 + 3*i**2. Let a be q(-2). Sort 4, x, a in decreasing order.
4, x, a
Let x be 1*((-2)/4 - 0). Put x, 2/3, -5 in decreasing order.
2/3, x, -5
Let b = -3 - -4. Sort b, -3, 4 in decreasing order.
4, b, -3
Let b be 1/1 + -1 + -1. Sort -3, b, 2 in descending order.
2, b, -3
Let a = 30 + -28. Suppose 6 = -4*g + 3*f, 3*g - f - a = -4. Sort 0.2, -0.4, g in decreasing order.
0.2, g, -0.4
Let m(i) = -i**3 - 12*i**2 - 13*i - 30. Let q be m(-11). Sort 5, 2, 3, q in ascending order.
q, 2, 3, 5
Let v be 1 - (3 - 3)/2. Let l be -6 + v + 2 + -2. Let p = -0.5 + 0.3. Sort 1, l, p in increasing order.
l, p, 1
Let j(a) = -a**2 - 10*a - 13. Let u be j(-8). Suppose r + 2 = u*v, 4*r + r - 3*v = 14. Sort r, 8, -4 in ascending order.
-4, r, 8
Suppose -3*n + 3 = -12. Sort -0.4, n, -4/5 in descending order.
n, -0.4, -4/5
Let j = -2.5 - -2. Suppose 2*c + 2*m = 2 - 0, c = m + 7. Suppose 3*u = -3*y - 0*y + 27, -c*u + 6 = -2*y. Sort j, u, -2/3.
-2/3, j, u
Let i = -30 - -30. Put -0.5, i, -0.13, 5 in ascending order.
-0.5, -