 l, -6 in increasing order.
-6, l, p
Let f = -11 + 14. Suppose 0 = -3*z - 0 + 3. Sort f, z, -3 in decreasing order.
f, z, -3
Let r(j) = -11*j + 50. Let z be r(5). Put -35, 5, z in decreasing order.
5, z, -35
Suppose 6 = 2*u - i - 0, 0 = -2*u - 5*i - 6. Sort 6, -3, u in increasing order.
-3, u, 6
Let n be 1 - 1/3*0. Let m(v) = -v**2 - 6*v - 2. Let t be m(-6). Put 3, n, t in decreasing order.
3, n, t
Let s be 2/6 - 154/(-33). Sort -8, s, 2 in increasing order.
-8, 2, s
Let l = -11 + 11. Suppose -u + 3*d + 13 = 0, -d - 2*d - 17 = -5*u. Sort 4, u, l.
l, u, 4
Let o = 2.7 + -3.2. Suppose g - 6*g = -15. Let d be 3/(-8)*8/(-30). Sort d, g, o in ascending order.
o, d, g
Suppose -51*n + 53*n = 32. Put n, 5, -1, 4 in decreasing order.
n, 5, 4, -1
Let o = 245.2 + -245. Let g = 3 + -3. Let a = 18/77 - 32/231. Put o, a, g in descending order.
o, a, g
Let i = 16 - 11. Let y(s) = s**2 - 5*s + 4. Let o be y(4). Suppose o = 5*k - 20 - 0. Put i, k, -3 in increasing order.
-3, k, i
Let h(q) = -q**3 - 4*q**2 + 7*q + 10. Let c be h(-5). Sort -2, -3, c.
-3, -2, c
Suppose 2*y + 5*q - 21 = 0, -2*y = q - 3*q. Let j be (-10)/(-3*10/(-15)). Sort y, 2, j in descending order.
y, 2, j
Suppose 0*x = 5*h - 3*x - 17, 5*h + 2*x = -3. Sort h, 2, 6 in descending order.
6, 2, h
Let j be 2*(6/4 + 0). Let v be 5*(16/10 - 1). Suppose 0 = -u + 1 + v. Put u, j, -5 in descending order.
u, j, -5
Let r = 21 + -18. Suppose 5*v - 10 = 3*k, 4*v - 2 = r*v. Sort 0.5, -0.3, k in descending order.
0.5, k, -0.3
Let k(a) = a**2 + a + 13. Let t be k(0). Let p = 10 - t. Sort -1, p, -5 in ascending order.
-5, p, -1
Suppose k = 4 - 2, -2*j = -k - 2. Suppose 0 = 5*m + 20, 5*v = -2*m + 3 - 36. Let i be 23/5 - 6/(-15). Sort v, j, i.
v, j, i
Let j = 16 - 14. Put j, -3, 5 in increasing order.
-3, j, 5
Let z = 2.8 - 2.63. Let i = z + -0.07. Put -0.2, 0.2, i in increasing order.
-0.2, i, 0.2
Let x be (-3)/5 + 4/5. Let b = -1.9 - -1.5. Sort x, 1/7, b.
b, 1/7, x
Suppose -5*v + 45 = -0*v. Suppose -v - 3 = 3*d. Let r be (-3)/2*4/(-3). Sort r, 3, d in decreasing order.
3, r, d
Let s = 18 - 13. Suppose 4 + s = 3*f. Suppose 0*y = f*y - 3. Put -2, -5, y in decreasing order.
y, -2, -5
Suppose 0 = -2*d + 8. Suppose -4*l = z + 8, -5*l - 3*z = -d*z + 1. Sort 0, l, 2 in decreasing order.
2, 0, l
Let o = -1 - 5. Let q(d) = -d**3 - 6*d**2 - 1. Let i be q(o). Let y = 5 - 4. Put i, y, 5 in decreasing order.
5, y, i
Let t = 10 - 6. Let k be (14/8)/(2/8). Suppose 0 = k*r - t*r - 9. Sort r, 1, 4.
1, r, 4
Suppose 3*r = -0*r - 111. Let t = r + 221/6. Let n = -3 - -8. Put 2/5, n, t in increasing order.
t, 2/5, n
Let w = -0.21 - -0.11. Let k = w + 1.1. Put k, 2/7, -0.2 in descending order.
k, 2/7, -0.2
Suppose 7*g - 2*g + 10 = 0. Let o be (-6)/g*1/(-7). Let i = 69 - 64. Sort o, i, -3 in descending order.
i, o, -3
Let k = -22 + 23. Put -4, 4, k, -3 in increasing order.
-4, -3, k, 4
Let x = -2.2 + 12.2. Let m = 10 - x. Put -1, 0.1, m in decreasing order.
0.1, m, -1
Suppose 6*j = 7*j - 1. Let n = j - 0. Put 3, 8, n in ascending order.
n, 3, 8
Let l = -6 - -11. Let c be (-1*1)/((-1)/2). Let v be c/3 - 8/21. Sort -1, l, v.
-1, v, l
Let s = -1 - -1.05. Let x = 0.17 - 0.22. Let t = s + x. Put 2, t, -3 in decreasing order.
2, t, -3
Suppose -w + 11*w = -10. Put w, -4, 0, 6 in descending order.
6, 0, w, -4
Suppose 0 = -o - 4*w + 13, -w + 1 - 9 = -o. Sort -2, -5, o in descending order.
o, -2, -5
Let v = -1 - -1.3. Let b be (-2)/6 + 380/6. Let x be (4/(-10))/(b/(-35)). Sort v, -0.5, x in increasing order.
-0.5, x, v
Let i = 12 - 27. Let v be i/(-10)*4/(-21). Let y be (3 + -1)/(-1*17). Sort 1/2, v, y in decreasing order.
1/2, y, v
Let c = 0.12 + 0.08. Let t(i) = i**3 + i**2 - 4*i - 3. Let f be t(-2). Let j be ((-2)/(-4))/((-6)/(-8)). Sort f, j, c in increasing order.
c, j, f
Let d = 61 + -65. Let g = -3.4 - -0.4. Sort g, d, 2/7 in increasing order.
d, g, 2/7
Let o(t) be the second derivative of -t**3/6 - 7*t**2/2 - 2*t. Let b be o(-4). Sort -2, b, 1.
b, -2, 1
Suppose -5*x - 30 = 5*k, 5*k + 3*x = 10*k - 10. Let s = 0 + 4. Sort k, s, 2.
k, 2, s
Suppose 3*a + 19 = 4. Suppose 2 = -m + 5*n - 7, -7 = 3*m - 5*n. Put a, m, -4 in increasing order.
a, -4, m
Suppose -2*l = -0*l - 24. Let k be (((-6)/(-1))/3)/l. Put 3/4, 1/3, k in decreasing order.
3/4, 1/3, k
Let u = -4.2 - -0.2. Sort u, 5, -2/5.
u, -2/5, 5
Let i = 105 - 109. Sort i, 5, 0.1, 1/3 in increasing order.
i, 0.1, 1/3, 5
Suppose 0 = -4*u + 3*g + 25, u = 4*u - g - 15. Suppose u = -7*r + 3*r. Sort -4, r, 1.
-4, r, 1
Let a = -12 + 20. Suppose 20 = -0*s - 5*s, -4*l - 5*s - a = 0. Let f(c) = -2*c - 5. Let b be f(-5). Put 2, b, l in ascending order.
2, l, b
Let u(v) = -v**2 - 9*v - 8. Let t be u(-8). Suppose -2*i = i - 6. Suppose -i*s = -6 - t. Sort 4, -3, s in descending order.
4, s, -3
Suppose 0 = -2*m + 7*m - 10. Suppose -7*a + 27 = -2*a - 2*g, 4*a + 2*g = 36. Suppose -5*d = 4*v + 22 - 0, 5*d = v - a. Put v, -4, m in decreasing order.
m, v, -4
Let o be (-2)/(-4) + (-35)/(-10). Sort -4, -5, o in increasing order.
-5, -4, o
Let r be (6/4)/((-6)/(-16)). Suppose a + r*a - 5 = 0. Let d(s) = -s - 3. Let x be d(-8). Put x, a, 3 in ascending order.
a, 3, x
Suppose 5*f - 11 = -1. Suppose -2*v + 5*m = 2 - 1, f*v + 2*m = 6. Sort -1/4, v, 2/13 in descending order.
v, 2/13, -1/4
Let s be 5/(-7) + 2 - 1. Let j = -6 - -6.1. Sort 5, s, j.
j, s, 5
Let v = -134 + 667/5. Put -3, -11, v, 3/7 in descending order.
3/7, v, -3, -11
Let d be ((-4)/156)/((-2)/(-10)). Let w = 6/13 + d. Sort -2, w, 3 in decreasing order.
3, w, -2
Let u = 1.1 + 3.9. Let q = -4 + -5. Let a = q + u. Sort a, -5, 1 in increasing order.
-5, a, 1
Let j = 0.2 + 3.8. Let d = -29.6 - -30. Put 1, d, j in increasing order.
d, 1, j
Suppose 10 + 32 = -3*d. Let f = -20 - d. Sort -2, 5, f in ascending order.
f, -2, 5
Let l(i) = -i**3 + 8*i**2 + 8*i + 6. Let h be l(9). Sort 1, h, 9 in decreasing order.
9, 1, h
Let l = 0.07 - -0.13. Suppose 0*y = -3*y + q + 14, -y + q = -4. Sort 3, y, l.
l, 3, y
Let v = 1/40 - -73/280. Sort v, -2/7, -2/5.
-2/5, -2/7, v
Let r be (1 + (3 - 3))/(-2). Put r, -0.2, 2 in descending order.
2, -0.2, r
Suppose 4*h - 2*h - 48 = 0. Sort -3, 5, h.
-3, 5, h
Let r = -1 - 2. Let o be 3 + 1 + (r - -1). Sort 4, o, -5.
-5, o, 4
Suppose -5*p - 7 = -3*g, -g + p = 4*g + 3. Sort -3, g, 2, 3 in increasing order.
-3, g, 2, 3
Suppose 2*b + f = -0*b - 12, 18 = -2*b - 4*f. Let j = 9 + b. Suppose 0*a + 4*a = -j*o + 4, o - 5 = 3*a. Put -4, a, -5 in descending order.
a, -4, -5
Let t be 1/3*(3 + 3). Suppose t*b = -a - b - 5, a - 3 = b. Let h(v) = v**2 - 11*v - 27. Let r be h(13). Sort 5, a, r in decreasing order.
5, a, r
Let n = 1.1 - -0.9. Sort 1/3, 4, -1/18, n in increasing order.
-1/18, 1/3, n, 4
Let z(f) = -f**2 - 11*f - 14. Let l be z(-10). Let y = 7 + -4. Sort l, y, 4 in ascending order.
l, y, 4
Let n be (-2 + (-10)/(-4))*20. Suppose -2*q - n = -3*l + 6, -2*l + 4*q = -16. Sort 2, l, 3 in decreasing order.
l, 3, 2
Let c = 43 - 43. Sort 5, -2, c, 4.
-2, c, 4, 5
Let v = -22 + 26. Put 1, v, 0.4 in ascending order.
0.4, 1, v
Let o(i) = 3*i. Let h be o(-1). Let v(p) = p + 3. Let a be v(-3). Let c be (2 + -2)/(-1 - a). Sort h, -4, c in ascending order.
-4, h, c
Let s(t) = -t**3 - t**2 + 15. Let i be s(0). Suppose 5*a + i = 0, 2*q + 17 = -2*q - 3*a. Sort q, -4, -5 in descending order.
q, -4, -5
Suppose -4*n + 10 = -m - 7, 5*n = m + 20. Suppose -c - 8 = 4*t, -3 - 12 = t - n*c. Put 0.3, t, 0.2 in descending order.
0.3, 0.2, t
Let f(p) = -p**3 - 7*p**2 - 3. Let c be f(-7). Let k = -22 + 26. Sort k, c, 5 in descending order.
5, k, c
Let b = -14 + 7. Let f = 2 + b. Let x(i) = -i**2 + 6*i - 6. Let g be x(4). Put g, f, -2 in increasing order.
f, -2, g
Suppose -3*g - s - 252 = 2*s, -3*g - 256 = 2*s. Let d be g/(-20) + (-2)/5. Sort -4, d, -2 in decreasing order.
d, -2, -4
Let p = 13 + -9. Suppose a = 3*q + 7, -2*a + p*a = 8. Put q, 5, -0.4 in decreasing order.
5, -0.4, q
Let b = 0.05 + -0.55. Let y be 486/172*1/5. Let h = -3/86 - y. Sort b, h, -1 in increasing order.
-1, h, b
Let b = -0.99 - -0.49. Sort 0.2, 1/10, b in decreasing order.
0.2, 1/10, b
Let s be 0 + 0/(-2) - 5. Sort 5, 4, 0, s in ascending order.
s, 0, 4, 5
Let k = 3 + 1. Let b = k + -4.2. Put -5, b, 4 in descending order.
4, b, -5
Let y(m) = -m**2 - m - 3. Let o be y(0). Let r be (-17)/(-4) + (-4)/1