. Put b, s, -5 in descending order.
b, s, -5
Let a(q) = q**3 - 9*q**2 - 4*q + 39. Let c be a(9). Sort 0, c, -5, -2 in increasing order.
-5, -2, 0, c
Suppose -s - 1 - 1 = 0. Let u = -14 + 9. Let j = 11/3 + -52/15. Put u, s, j in decreasing order.
j, s, u
Let s = -1 - -5. Sort 3, s, 1 in decreasing order.
s, 3, 1
Let q = 5 + -3. Suppose 2*i = 5*k + 4 - 3, -5*i = 2*k + 12. Sort i, q, 4 in decreasing order.
4, q, i
Let l = -194 + 197. Let r = -496/1687 + 2/241. Sort l, -5, r in decreasing order.
l, r, -5
Suppose k - 10 - 6 = 0. Let v be (k/(-5))/((-8)/60). Suppose -4*l + 4*q + v = 0, -6*l - 6 = -2*l + 2*q. Sort -1, 0, l in descending order.
l, 0, -1
Let s = 0.059 + -3.979. Let d = 0.08 - s. Sort -1, d, -0.2.
-1, -0.2, d
Let q be (27/24)/((-15)/(-20)). Put 1/2, -10, q in decreasing order.
q, 1/2, -10
Suppose 15 = 5*h - 5*p, h + 2*p = -2*h + 29. Suppose -4*x + 12 = 5*c, 2*x - h*x + 15 = 4*c. Let u = -123 - -120. Put u, -5, c in descending order.
c, u, -5
Let g = -0.05 - -3.05. Sort g, -4, -0.3, -16 in decreasing order.
g, -0.3, -4, -16
Let r = -1 + 6. Let p = 3 - 5. Sort 0, p, r in descending order.
r, 0, p
Let m(u) = 3*u**3 + 10*u**2 - 4. Let s be m(-3). Put 2, -3, s in descending order.
s, 2, -3
Let s = 124 + -119. Let z = -4 + 2. Put s, z, -4 in descending order.
s, z, -4
Let n be -10*((-6)/(-4) - 1). Let j be (n - 0 - 1) + 3. Sort -2, -5, j.
-5, j, -2
Let z = 8 + -10. Let r = z + 7. Let q(k) = k**3 - 2*k**2 + k - 1. Let s be q(2). Sort s, r, -1 in descending order.
r, s, -1
Let g = 7/4 - 39/20. Put 4, g, -1 in ascending order.
-1, g, 4
Let m = 35/4 - 253/28. Suppose 2*b = 3*i - 5, -i = 3*b - 5 - 15. Let p = 61 + -61.3. Put p, i, m in descending order.
i, m, p
Let d(u) = -u**3 + 3*u**2 + u + 7. Let o be d(4). Suppose 2*s = -x - 4 + 6, -3*s - 3 = 0. Let a be 5/x + 6/(-24). Put o, a, 0 in increasing order.
o, 0, a
Let v be 6/39 + 1 + 125/(-52). Put -3, v, 2 in decreasing order.
2, v, -3
Suppose i = -i - 4. Let n be -3 + i*(-3)/(-6). Let k = 8 + n. Sort -1, k, 1.
-1, 1, k
Suppose 4*x + x + 10 = 0. Put -3, x, 5 in increasing order.
-3, x, 5
Let j be (-1 + (-2 - 2))/(-1). Suppose j*r - 2*d = 14, -3*r - 5*d = r + 2. Sort 0, r, -3 in decreasing order.
r, 0, -3
Suppose 5*j + s - 6 = 7, 3*j + 3 = 3*s. Let p be 3 - j - (0 + -1). Let k be (-8)/3 + p - -1. Put k, -2, 0 in descending order.
k, 0, -2
Suppose o - 2 = -1. Put -5, 3/4, o in decreasing order.
o, 3/4, -5
Let t(n) = -n**3 + 6*n**2 - 6*n + 2. Suppose -13 + 3 = -2*z. Let k be t(z). Suppose -2*u = -3*v + 9, 3*u + v = 7*u - 7. Sort k, u, 2 in descending order.
u, 2, k
Suppose 4*q - 2 + 10 = -4*n, 3*q - 4*n - 29 = 0. Put q, 1, -1/3 in descending order.
q, 1, -1/3
Let t = 0.03 - -0.05. Put -1/6, -1/3, t in increasing order.
-1/3, -1/6, t
Suppose -2*l + 20 = 2. Let t be (-6)/l*2/4. Sort 4, t, 4/7.
t, 4/7, 4
Let h = -50 - -52. Let n = -16 - -11. Put -0.2, n, h in decreasing order.
h, -0.2, n
Let j = -66 - -69. Put j, -2, 4, -1 in ascending order.
-2, -1, j, 4
Suppose 0 = 5*l + 5, 4*l + 4 = 2*t - 4*t. Suppose -3*x = -0*x. Suppose -5*z + z - 20 = x. Sort t, 4, z in decreasing order.
4, t, z
Let u(w) = w - 5. Let a be u(4). Let s be 2 - (a - 1 - -2). Suppose -2 = 4*o - 5*y + 12, 4 = s*y. Sort o, 2, -3 in increasing order.
-3, o, 2
Let m = -12 + 16. Let a(z) = -z - 1. Let l be a(-3). Sort l, -1, m in decreasing order.
m, l, -1
Suppose 0 = -4*c + 2*c. Put -3, c, -2 in decreasing order.
c, -2, -3
Let o(f) = -f**3 - 5*f**2 + 5*f + 5. Let a be o(-6). Let c = 7 - a. Let v = 4 - 5. Sort v, c, -2 in increasing order.
c, -2, v
Let l = 3.995 + 0.005. Let c = 0.2 + 0. Let w be (-2)/(-32)*-2 - 0. Put w, c, l in descending order.
l, c, w
Let a(h) = 2*h**2 - 4*h + 2. Let s be a(2). Sort 5, s, 0.23.
0.23, s, 5
Suppose 4*u = -g + 22, g + g + 4*u - 24 = 0. Suppose y + 18 = -y. Let d = -13 - y. Sort 3, d, g in descending order.
3, g, d
Let r = 7.7 + -8. Let x = -0.046 - 44.954. Let p = x + 43. Sort 2, p, r in increasing order.
p, r, 2
Let m(w) = 5*w - 1. Let y be m(1). Suppose -9 = 7*f + 12. Sort f, -2, y.
f, -2, y
Let l be (-48)/64 - (-3)/4. Sort 5, l, -4.
-4, l, 5
Suppose -3*c - 11 - 4 = -p, -5*p = -5*c - 25. Suppose 2*q + 9 + 12 = 5*h, -3*q + 2*h - 15 = p. Sort q, 2, 1.
q, 1, 2
Let t(u) = u**3 - 2*u**2 - 4*u + 3. Let r be t(3). Let c = -6 + 11. Sort r, c, 1 in descending order.
c, 1, r
Let p(t) = -t - 4. Let q be p(-9). Suppose q*u + 2*m = 17, 0 = 5*u + m - 5*m - 41. Put 2, -4, u in decreasing order.
u, 2, -4
Let t(m) = -m**2 + 3*m - 4. Let a be t(3). Let y = -19 + 16. Sort 4, a, y.
a, y, 4
Let t = 23 + -19. Put t, -3, 6 in descending order.
6, t, -3
Let n = -1 - -1.5. Let r be 2 - -2*12/(-4). Put r, n, 2 in decreasing order.
2, n, r
Let v = -0.492 + -0.008. Suppose -6 = -4*b + 2. Let m be 2/12*b*1. Put m, 4, v in increasing order.
v, m, 4
Let z = 12 - 7. Sort -3, z, 2 in decreasing order.
z, 2, -3
Suppose -n + 0*n + 2*w + 4 = 0, 3*n + 3*w - 3 = 0. Let v = 4 - 6. Let z be (12/(-9))/(v/(-6)). Sort -1, n, z in decreasing order.
n, -1, z
Let z = 0.041 + -0.341. Let p = -4.6 + -0.4. Sort -2, z, p in descending order.
z, -2, p
Let i = 36 + -35. Let d = 0.2 + -1.2. Let f = i + d. Put f, -1/11, -2 in increasing order.
-2, -1/11, f
Let b = -0.2 - 3.8. Let q = -5 + 7. Put q, b, 0.2 in decreasing order.
q, 0.2, b
Let z be 26/(-143) - 68/(-11). Suppose 0 = 3*f - z + 3. Put 5, f, 2 in descending order.
5, 2, f
Let j(n) = -n + 5. Let b be j(5). Put -5, b, -3 in increasing order.
-5, -3, b
Let r = -5 + -1.5. Let f = -7 - r. Put -0.2, f, 0 in ascending order.
f, -0.2, 0
Let x = -3 - -4. Let c = 70 - 65. Sort -4, c, x in ascending order.
-4, x, c
Let v = 2.6 - 2.6. Put v, 2, -3 in descending order.
2, v, -3
Let y be (0 + 1)*(2 + -2). Let k(i) = -3*i + 16. Let w be k(6). Put w, 1, y in increasing order.
w, y, 1
Let p = -0.04 - 0.16. Let o = -3.8 - 1.2. Put o, -3/2, p in descending order.
p, -3/2, o
Let s(d) = d**3 + 14*d**2 - 15*d - 3. Let i be s(-15). Sort -1, -2, i in descending order.
-1, -2, i
Suppose 3*n - n = -6. Let v be 3/(n + (0 - -2)). Put v, 0, 1 in increasing order.
v, 0, 1
Suppose 1 = -r + 5. Sort 8, r, 0 in increasing order.
0, r, 8
Let g(l) = -l**3 + 6*l**2 + 6*l + 9. Let o be g(7). Let a be -1 + 2 + o + 0. Put a, 5, 0 in decreasing order.
5, a, 0
Let r be ((-1)/3)/(5/(-45)). Suppose y - r = -2. Sort y, -4, 3 in descending order.
3, y, -4
Let x(q) = q**2 - 2*q + 4. Let h be x(0). Put 5, h, 2, -5 in decreasing order.
5, h, 2, -5
Let g(v) = 4*v - 13. Let q be g(4). Let f(h) = h**2 + 2*h - 1. Let a be f(-2). Let l(i) = -i**3 + i**2 + i - 2. Let x be l(0). Put a, q, x in decreasing order.
q, a, x
Let o be 3/((-2)/(1 - 3)). Suppose -4*q = -l + 13, -3*q + l + o = -4*l. Sort -1/7, 0.1, q.
q, -1/7, 0.1
Let z = 2.5 + -3. Let d = -0.23 + 2.23. Put 3, z, d in ascending order.
z, d, 3
Let i = 29.94 - -0.06. Let r = 32 - i. Put 0, 0.3, r in ascending order.
0, 0.3, r
Let q = 0.5 - 0. Let p = -0.3 + q. Let g = 0.7 - -1.3. Sort g, 4, p.
p, g, 4
Let b(p) = -p**3 + 11*p**2 - 9*p - 8. Let h be b(10). Suppose 0 = -h*m, -4*m - 3 = -3*q + 6. Sort q, -3, -4 in descending order.
q, -3, -4
Let a = -5 + 5. Let o = -0.5 + a. Sort o, -2/5, 1 in decreasing order.
1, -2/5, o
Let h = 111 - 109. Sort h, -8, 1, 1/10 in ascending order.
-8, 1/10, 1, h
Let v(t) = -t**3 - 6*t**2 + 6*t - 5. Let y be v(-7). Let a = 6 - y. Sort 3, 1, a in ascending order.
1, 3, a
Let f = 109 - 109. Sort f, 4, -2, -5 in decreasing order.
4, f, -2, -5
Suppose -3*l + 15 = 0, 4*w - 27 - 6 = -5*l. Let d = w - 1. Sort d, 0.3, -0.1 in decreasing order.
d, 0.3, -0.1
Let k(g) = g**3 - 7*g**2 + 2*g - 1. Suppose 5*b + 5*j = 30, -2*b + 2*j + 12 = -4. Let i be k(b). Let x = -8 + i. Sort 1, x, 4.
1, 4, x
Let j be 29/(-42) + (-2)/12. Let s = -2 - -2.1. Let a = -1.94 - 0.06. Put s, j, a in descending order.
s, j, a
Let z = -11 + 12. Suppose b = 4 - 2. Suppose -2*c - 12 = b*c. Sort -4, c, z.
-4, c, z
Let o = -1.7 + 1.4. Put 5, -3, o in descending order.
5, o, -3
Let r = -2/61 - 100/671. Let y = -3/14 - -26/7. Sort y, r, 0.4 in descending order.
y, 0.4, r
Let n = 34 + -31.9. Let l = -0.1 + n. Let w = -5 + l. Put -1, 2/5, w in decreasing order.
2/5, -1, w
Let c = 1.8 - 4. Let l = c + 0.2. Let q = -1145/6 - -190. Put l, q, 4 in descending order.
4, q, l
Let d = -2 + 6. Suppose 0 + d = -2*x. Sort