order.
-2/11, 3, t
Suppose 4*b + 4 = 12. Let w(c) = -2*c**2 + c**3 + 4*c - 4*c. Let y be w(b). Sort y, -3, 1 in decreasing order.
1, y, -3
Let g be (-20)/(-6)*(-27)/18. Put -1, -3, g in increasing order.
g, -3, -1
Let i(d) = 4 - 4*d**2 + 4*d**3 - 3*d**3 + 1 + 1 - 7*d. Let j be i(5). Sort 4, 6, j in decreasing order.
6, 4, j
Suppose 20 = -4*z + 4. Put 0.3, z, -0.5, -6 in descending order.
0.3, -0.5, z, -6
Suppose 4*v - 11 - 5 = 0. Sort -2, -1, 3, v in descending order.
v, 3, -1, -2
Let x(a) = a**2 - 3*a - 7. Let t be x(5). Suppose 5*f - 13 = -3. Suppose -2*b + 0*b = 0. Sort b, t, f.
b, f, t
Let a = 25 - 22. Sort -3, -0.12, a in decreasing order.
a, -0.12, -3
Let m = 1.14 - 0.14. Let f = 12 - 7. Let v = f - 2. Sort m, v, -1/6 in ascending order.
-1/6, m, v
Let x(s) = s + 2*s**3 - 2*s + 0*s**2 - 2*s**2 - 2 - 3*s**3. Let g be x(-2). Let k = 7 + -7.3. Put g, k, 3/4 in descending order.
3/4, g, k
Let l = -151 + 153. Sort l, -2/3, 11/3.
-2/3, l, 11/3
Let r = -10 - -9. Let f(d) = 3*d + 1. Let n be f(r). Sort -3, -4, n in decreasing order.
n, -3, -4
Let r = 10 - 12. Sort 5, -0.3, -1/5, r in decreasing order.
5, -1/5, -0.3, r
Let l be 564/9*5/560. Let u = l - -3/28. Sort -0.3, -0.1, u in decreasing order.
u, -0.1, -0.3
Let y(s) = -s**2 - 5*s - 2. Let z be y(-2). Sort z, 5, 3 in ascending order.
3, z, 5
Suppose 0 = 3*s - 9 - 6. Suppose 0 = -s*g - d - 8, -8 = 2*g - d - d. Sort -4, g, -2/5 in increasing order.
-4, g, -2/5
Suppose 0 = -5*q - 11 + 1. Let j = -36 + 33. Put -4, q, j in descending order.
q, j, -4
Let f be (-90)/80*2/(-3). Put 1/2, f, 5, -0.03 in descending order.
5, f, 1/2, -0.03
Let q be (0 - -1 - 0)/(-1). Let h = -16 + 21. Suppose -3*w - 19 = n, -36 + 7 = n + 5*w. Put n, h, q in descending order.
h, q, n
Let b(o) = -o**3 + 9*o**2 + 24*o - 18. Let u be b(11). Sort 3, -5, u, -2 in ascending order.
-5, -2, 3, u
Let j = 0.063 + 0.337. Sort -1/5, j, 0, -0.4 in ascending order.
-0.4, -1/5, 0, j
Suppose -25 = -4*a + 3. Suppose a*v = 6*v. Put v, -4, 8 in decreasing order.
8, v, -4
Let v be (-1)/(-2 + 1/1). Suppose -11 - v = -4*s. Let w = -1 - 2. Sort w, 0, s in descending order.
s, 0, w
Let z be 2/8 - 21/(-12). Let x(o) = 5 - z*o**2 + o**2 - 4*o**3 + 3*o**3. Let d be x(0). Put 1, -1, d in decreasing order.
d, 1, -1
Let g = 2.983 - -0.017. Let z = 9.4 + -9. Sort -0.06, g, z.
-0.06, z, g
Let r = 0.48 + 0.02. Let l = r - 0.3. Put l, 2/9, -1/6 in increasing order.
-1/6, l, 2/9
Let a(g) = g**2 - g + 2. Let k be a(0). Suppose 0 = -u - k*i + 3*i - 14, -29 = u - 4*i. Put -4, 0, u in decreasing order.
0, -4, u
Suppose -9 = -p - 2*p. Let y(g) = -1 + 3 + 0*g + g**3 - g - 3. Let l be y(-1). Put l, -3, p in decreasing order.
p, l, -3
Let o be (-2)/10 + 78/15. Suppose j - 2*j = -h - 5, 0 = o*h - 2*j + 16. Let y be (-6)/(-70) + 2/(-7). Sort h, y, -1 in decreasing order.
y, -1, h
Suppose 0 = 3*h + 1 + 5. Let w = -1 - -1. Let j(r) = r**2 + 2*r - 1. Let x be j(-3). Sort x, h, w in increasing order.
h, w, x
Let v = 13 + -15. Put -11, v, 1 in increasing order.
-11, v, 1
Suppose 0 = -5*m + 3*m + 4*n, -4*m + 3*n = 0. Sort 5, m, 3 in decreasing order.
5, 3, m
Suppose -3*z - 35 = -g, -4*z - g - 4 = 45. Put -1, z, 3 in decreasing order.
3, -1, z
Let i = -27 - -28. Let u = 1 + -6. Let r = 3 + u. Put 1/2, r, i in increasing order.
r, 1/2, i
Let t = 2 + -2.1. Let y be 2/(-6) - 56/(-6). Let v be ((-9)/(-21))/(y/(-6)). Put t, 2/3, v in ascending order.
v, t, 2/3
Let c(n) = -n**2 - 7*n - 6. Let x be c(-5). Let d = -8 + x. Suppose 0 = -0*r + r - z - 1, -3*r = z - 11. Sort 2, d, r in increasing order.
d, 2, r
Suppose 18 = -0*g - 3*g. Let z be (-90)/567*g/10. Put -1, z, -0.2 in increasing order.
-1, -0.2, z
Let i = 19/2 + -37/4. Put i, 0.7, 0 in ascending order.
0, i, 0.7
Let o = -0.04 + 1.24. Let k = o + -1.6. Sort k, -5, 0.4.
-5, k, 0.4
Let r be 1 + 6 + 2/(-1). Suppose -m = r*f - 15, -2*m - 3 = 2*f - 17. Sort f, 4, -2 in descending order.
4, f, -2
Let g(n) = -n**3 + 8*n**2 - n + 8. Let i be g(8). Sort i, 1, -0.4 in ascending order.
-0.4, i, 1
Suppose -r - 5*w = 22, w = 2*r - w - 4. Let a be (-1)/(r/(-3) - 1). Suppose -4*h + 12 = -7*h. Put -1, a, h in increasing order.
h, -1, a
Let j(v) = v**2 - v. Let m be j(1). Suppose l = 14 - 5. Let p be (-2 - (-30)/l)*3. Put m, p, 3 in increasing order.
m, 3, p
Let c be 4/(-6)*(-9)/(-6). Let o(q) = q**3 - 2*q**2 + q. Let h be o(2). Sort -5, c, h.
-5, c, h
Let j(m) = m. Let v be j(1). Let b be 0 - (v - 1) - -4. Suppose b*f = 3*o - 16, -3*o + 6*f + 8 = 4*f. Sort -5, 4, o in descending order.
4, o, -5
Let w(l) = 4*l**2 + 3*l + 2. Let u be w(-2). Let m be (-2)/(-4)*-2 - -3. Suppose 0 = -3*g + a - 9, 4*g - m*a = -3*a - u. Sort -1, 5, g in increasing order.
g, -1, 5
Suppose 5*k + 5*n = -40, -6*n + n = 4*k + 35. Suppose -2*q = 3*u - 11, -5*q + 5*u - 6 = 4. Sort k, q, -3 in descending order.
q, -3, k
Let h be (2 - -3) + 0/2. Put h, -5, -1 in increasing order.
-5, -1, h
Let y = 17 - 19. Sort 2, 0, y.
y, 0, 2
Let h be -1 + 4 - (-3 + 0). Suppose p = h*p - 15. Let v(o) = -o**2 + 3*o - 3. Let u be v(p). Sort 5, 2, u in decreasing order.
5, 2, u
Let q(c) = -c**3 - 5*c**2 - 7*c - 10. Let j be q(-4). Let d be 1/2 + 10/4. Suppose d*x = -4*f - 22, -x + 2 = 4*x - 3*f. Sort 5, j, x in increasing order.
x, j, 5
Let z = 2 + -1. Suppose 5*y - 48 = -2*b, -y + 4*y - b = 31. Suppose -6*a + y = -a. Put a, -1, z in decreasing order.
a, z, -1
Let x be 4/(-12) - (-5)/(-45). Put -2/5, x, 4 in decreasing order.
4, -2/5, x
Let o be 0 - ((-5)/2)/((-11)/(-22)). Put -3, -13, o in descending order.
o, -3, -13
Suppose 4*k = 3*a - 24, -3*a + 17 = -3*k - a. Let f = 3 - k. Let z(w) = -w**2 + 5*w + 1. Let y be z(f). Sort y, 2, -3 in descending order.
2, -3, y
Let j = -5.02 - -5. Let m = -99/371 - 1/53. Sort m, j, 0.3 in decreasing order.
0.3, j, m
Let k be -3 + (-12)/10*15/2. Sort -3, k, -1, 1 in increasing order.
k, -3, -1, 1
Let a = 10 - 9. Put -3/4, 2/5, a in decreasing order.
a, 2/5, -3/4
Let y(g) = 2*g**2 + 2*g. Let i be y(-2). Let q(v) = v**3 + 4*v**2 - 2*v - 5. Let w be q(-4). Sort w, 1, i in descending order.
i, w, 1
Suppose -2*b - 10 - 3 = -s, 3*b = -s - 7. Let z = -6 - -10. Suppose 2*f = -0*h - h + 2, 0 = 4*f - 2*h + 4. Put z, s, f in decreasing order.
s, z, f
Let x = -0.25 + 0.3. Let z = -128 - -130. Sort 0.2, z, x.
x, 0.2, z
Let a(h) = h**2 + 6*h - 5. Let u(o) = -o**3 - 3*o**2 - 7. Let q be u(-3). Let v be a(q). Put -4, 3, v in decreasing order.
3, v, -4
Let h(o) = -o**2 + 8*o - 9. Let b be h(6). Let k be 3/6*(2 + -2). Suppose 0 = -2*x - i, k*x + b*i = -x. Sort 2, x, 5 in increasing order.
x, 2, 5
Let k(b) = -b**2 - 5*b - 2. Suppose 5*o - 5 = -2*x - 15, 5 = -x + 3*o. Let h be k(x). Put 2, h, 0 in increasing order.
h, 0, 2
Let t be (4 - 13) + 1 + 3. Put t, 5, 13 in decreasing order.
13, 5, t
Let u = 7 + -4. Suppose -21 = -u*j - 2*y, 0*y = j + 4*y - 17. Put -0.1, j, 0.4 in increasing order.
-0.1, 0.4, j
Suppose 2*k - 7 = -p, -3*k + 13 = -0*k + 4*p. Suppose 23*z - 16 = 19*z. Suppose -a - z*o = k*a, -a - 15 = -4*o. Sort -0.1, a, -2 in decreasing order.
-0.1, -2, a
Suppose 3*g = -17 + 2. Let k(r) = r**2 + 5*r + 2. Let f be k(g). Suppose -f*j - 3*j + 20 = 0. Sort 1, 2, j in ascending order.
1, 2, j
Suppose -3*n - 8 = -5*x - 0*n, 0 = 3*x - 5*n + 8. Let z = -0.2 + -0.3. Put z, -0.2, x in descending order.
x, -0.2, z
Suppose 4*i - 6 = i. Let y(v) = -4*v**3 + 4*v**2 - 5*v. Let c be y(1). Put c, -2, i in decreasing order.
i, -2, c
Suppose 12*p - 114 = 18*p. Sort 5, p, 1 in ascending order.
p, 1, 5
Let g = 7.2 - 7.2. Suppose 6*c - c = 15. Let f = c + -8. Put f, -0.3, g in decreasing order.
g, -0.3, f
Let t = 2 + 0. Suppose 3*c = -0*c + 30. Suppose l - 2 = 0, 4*i + l = -2*l - c. Put -2, t, i in descending order.
t, -2, i
Let p = 45766187/285642 + 1/31738. Let y = 160 - p. Put 4, -2/3, y in ascending order.
-2/3, y, 4
Suppose 0 = -s - v + 5, 0*s + 8 = s + 4*v. Suppose -k + 3*w = 5, -2*k = -0*k - 4*w + s. Suppose 0 = -4*d + 18 + 2. Sort d, k, 1.
1, k, d
Let t be 0 - 2/(4/5) - -1. Sort 1, -5, 1/2, t in descending order.
1, 1/2, t, -5
Let b = -28 - -26.01. Let a = b + -0.01. Put a, -1, 4 in descending order.
4, -1, a
Let m = -0.15 + 0.25. Sort -0.5, -10, m in descending order.
m, -0.5, -10
Let b(l) = l**3 - 10*l**2 + 11*l - 21. Let y be b(9). Suppose -8*g - 10 = q - 3*g, 2*q + 2 = -4*g