se 3*j + 2 = -16. Sort -4, j, 4 in increasing order.
j, -4, 4
Suppose 2*c = 6*a - 3*a + 8, -6 = 3*a. Sort -0.2, c, -4 in decreasing order.
c, -0.2, -4
Let v(p) = 5*p - 47. Let l be v(9). Suppose -5*x + 2*x + 9 = 0. Put 1, x, l in ascending order.
l, 1, x
Let d(y) = y**3 - 5*y**2 - 6*y - 5. Let k be d(6). Put -3, k, -1 in decreasing order.
-1, -3, k
Let m be 1 - (3 + (8/(-4) - 0)). Suppose -5*k = z + 1 - 12, -3*k - 7 = 4*z. Put k, m, -3 in decreasing order.
k, m, -3
Let z be (-10)/(-6) - 2/(-6). Suppose -z*n = -5*c - 5, n + 25 = -4*n. Sort 0, c, 1.
c, 0, 1
Suppose 11*q + 196 = 53. Put -3, q, 4 in decreasing order.
4, -3, q
Let v be ((-15)/12)/((-1)/1). Let f = -0.03 - 4.77. Let s = f + -0.2. Sort -4, v, s in decreasing order.
v, -4, s
Let c(o) = -3*o**2 + o. Let t be c(-1). Let v(f) = f + 16. Let b be v(-7). Suppose j - b = -12. Put -1, j, t in descending order.
-1, j, t
Suppose -8 = 2*u + 2*a, 2 = u - 2*a - 0*a. Let y(i) = i + 1. Let b(s) = 8*s - 4. Let m(f) = -b(f) + 6*y(f). Let n be m(5). Sort u, -5, n in decreasing order.
n, u, -5
Let t be (-7)/3 - 8/12. Let m(k) = -k**3 - 6*k**2 + 2. Let b be m(-6). Suppose 4*r + b - 1 = -5*h, -2*r = -4*h - 6. Sort t, -1, r in decreasing order.
r, -1, t
Let t be (-44)/112 - 2/(-7). Let n = t - -71/140. Let w = -0.2 + 0.3. Put n, w, -1 in decreasing order.
n, w, -1
Let x(b) = -4*b - 59. Let w be x(-14). Let m be 3/9 + (-1)/3. Sort m, 4, w.
w, m, 4
Let b(p) = p - 13. Let l be b(13). Suppose g + 2*s = -g, 5*s - 25 = 0. Let m(d) = d. Let x be m(-2). Sort x, g, l in ascending order.
g, x, l
Let i = 0.13 + -5.13. Let c = -12 + 17. Let v = c - 8. Sort v, i, 0.4 in descending order.
0.4, v, i
Let d = -1.5 - -7.5. Let l = 7 - d. Sort l, -3, 2 in descending order.
2, l, -3
Suppose -2*p - 4 = 2*p, 10 = 3*a - p. Suppose 0 = 5*w - 17 - a. Put 0, w, -3 in decreasing order.
w, 0, -3
Suppose 80 = -2*c - 6*c. Sort 0, 5, c.
c, 0, 5
Suppose -2*s + 3*u - 1 = 0, 6*s - 1 = 3*s + 2*u. Put 16, -2, s in descending order.
16, s, -2
Let p(o) = -o**2 - 10. Let r be p(0). Let y be 4/r + 24/(-15). Sort 4, -1, y in ascending order.
y, -1, 4
Suppose -2*n + 1 = -v, 2*v = -n - 3*v - 16. Suppose 5*x - t = x + 4, 2*x - 5*t = -16. Suppose -3*g = -s - x*g, 3*g + 28 = -4*s. Put n, 3, s in descending order.
3, n, s
Suppose 2*c - c = 0. Let u(a) = a**3 + a**2 - a + 5. Let w be u(c). Sort -0.1, w, -0.2 in increasing order.
-0.2, -0.1, w
Let q = -22 - -24. Put q, -22, -1 in decreasing order.
q, -1, -22
Suppose -2*h + 3*i + 12 = 0, 2*h + i - 8 = 2*i. Let o = 1 - 0. Sort -1, o, h in ascending order.
-1, o, h
Let p = 5 - 3. Suppose f + 1 = 2*s - 4*s, -3*f - 2*s + 5 = 0. Sort p, f, -2 in ascending order.
-2, p, f
Let z be (2/4)/((-3)/(-24)). Suppose -2*d + 4*d - z = 0, -5*b = 5*d - 25. Sort 2, -4, b in increasing order.
-4, 2, b
Let c = -1 - -1. Let a = -16.3 - 1.7. Let z = 19 + a. Sort 5, c, z in ascending order.
c, z, 5
Let f be 82/26 - (-3)/(-1). Put 2/19, f, -2/15 in decreasing order.
f, 2/19, -2/15
Suppose -2*d + 11 = 5. Suppose 2*a - 14 + 34 = 0. Let z = a - -5. Sort z, d, 1 in increasing order.
z, 1, d
Let r = -27 + 79/3. Sort 5/6, r, 2/17 in ascending order.
r, 2/17, 5/6
Suppose -5 = d - 8. Sort 0, -6, d, -3 in ascending order.
-6, -3, 0, d
Let q(r) = -r. Let m(i) = i**2 + 4*i + 8. Let d(f) = -m(f) + 4*q(f). Let y be d(-6). Suppose l = 1 + y. Sort l, -4/3, -2/7.
-4/3, -2/7, l
Suppose o = -2*t, 10 = 5*t + 4*o + 4. Let w(x) = -x**2 + 14*x + 17. Let p be w(15). Sort p, t, 4 in decreasing order.
4, p, t
Let r be -1*(-1)/(1/10). Let q = 7 - r. Put -5, q, 3 in increasing order.
-5, q, 3
Let b(u) = u + 1. Let v be b(9). Suppose -2 - v = 3*p. Suppose 0 = -0*z + z - 1. Sort p, z, 3.
p, z, 3
Suppose 11*s = 7*s - 8. Let w(h) = h**2 - 5*h - 2. Let r be w(6). Suppose -5*b - 2 = -3*a, 3*b + 3*a - 14 = r. Sort -5, s, b in decreasing order.
b, s, -5
Let s = 29 - -7. Let a be (-8)/s - 2/(-9). Suppose 0 = -5*c - 0*c - 15. Put a, c, 3 in decreasing order.
3, a, c
Let n be -6*(2/(-3) + 0). Let z(d) = -d**2 - 5. Let l be z(0). Let g = 3 + l. Sort n, g, -3 in decreasing order.
n, g, -3
Let d(a) = a**3 + 10*a**2 - 11*a - 4. Let o be d(-11). Sort o, 1, 0 in descending order.
1, 0, o
Let r = -0.046 + -2.954. Sort 1/21, r, -0.3.
r, -0.3, 1/21
Let w(x) = -x**2 + 3*x + 3. Let s be w(3). Let a be (-18)/3*(-2)/(-3). Let y(p) = p**3 + 5*p**2 + 5*p. Let i be y(a). Put -3, s, i in descending order.
s, -3, i
Suppose 3*o + 3 + 0 = 0. Sort 4, -4, o, -15 in increasing order.
-15, -4, o, 4
Let k(u) = -7*u + 2. Let i be k(2). Let o = 17 + i. Sort 3, -2, o in ascending order.
-2, 3, o
Suppose 0 = 3*v - 5*h - 9 - 5, v = 3*h + 10. Sort 5, v, 11 in descending order.
11, 5, v
Let a = 79/2 - 1347/34. Let b = 6.082 - 0.082. Sort b, -4, a.
-4, a, b
Let q be ((-8)/(-96) - (-4)/6)/(-3). Suppose 2*w + 6 = 4*w. Suppose -w*j - 12 = 0, 3*h - 2*j = -5*j. Put q, 5, h in decreasing order.
5, h, q
Let p(i) = i + 8. Let g be p(-6). Suppose n = y - g, -y - 10 = -5*n - 0*n. Put 4, -2, y in ascending order.
-2, 4, y
Let a(t) = -3*t**2 + 2*t - 1. Let g be a(1). Sort g, 4, -0.3, -2/17 in decreasing order.
4, -2/17, -0.3, g
Suppose 4*p + 41 = 25. Sort -3, -1, p in descending order.
-1, -3, p
Let k be 4/3 - ((-140)/75 - -3). Let s = 0.2 - -0.8. Sort k, s, 1/4 in decreasing order.
s, 1/4, k
Let g = 0.3 - 0.1. Let k(f) = -3*f - 1 + 3 - 1 + 1 + f**2. Let c be k(2). Put -0.2, g, c in decreasing order.
g, c, -0.2
Let l = 1181/6 + -196. Sort -5, -0.1, l.
-5, -0.1, l
Let m be 60/(-15) - (-1 + 1). Put -1, 4, -3, m in decreasing order.
4, -1, -3, m
Let g = 22 - 21.6. Let p be 1/2*-4*2. Let q = -5/3 - -4/3. Sort g, q, p in decreasing order.
g, q, p
Suppose 2*u = -0*u + 4. Suppose -5*b + 3*b + u = 0. Let p = 4.63 - -0.37. Put b, -4, p in descending order.
p, b, -4
Let z be (-1)/3 - (-28)/12. Suppose 3*r - z*t + 4 = 0, 5*r + 10 = -3*t - 3. Put 5, 4, r in descending order.
5, 4, r
Let z = -1.04 - -1.04. Sort -0.3, -14, z.
-14, -0.3, z
Let v = -0.79 - -0.24. Let l = v - -0.05. Let n be 2/(-8)*-1*2. Put n, l, -2/9 in decreasing order.
n, -2/9, l
Let k = 66 - 66.5. Sort -2/7, k, 2/25.
k, -2/7, 2/25
Let m = -22.5 - -24. Put 1/7, m, -4/3, -2 in decreasing order.
m, 1/7, -4/3, -2
Let y be (9/6)/((-1)/4*3). Sort y, 1, -4, -3 in decreasing order.
1, y, -3, -4
Let x = 8 + -5. Suppose 5*h - 2 - x = 0. Put h, 5, 3 in ascending order.
h, 3, 5
Let k be 4/(12/21) - 2. Let u = -44 + 68. Suppose -2*l + 3*l + k*v = -10, 5*l = v - u. Sort 4, l, -3 in increasing order.
l, -3, 4
Suppose -y - 8 = -5*y. Suppose 2*u + y = -0*u. Put -5, u, -0.5 in descending order.
-0.5, u, -5
Let f(r) = -r**2 - 8*r - 4. Let h be f(-8). Let j(w) = -w - 5. Let u be j(h). Sort -3, -5, u in decreasing order.
u, -3, -5
Let w = -542 - -3788/7. Let k be (2 + 1)/(-1) + 0. Sort k, 2, w.
k, w, 2
Suppose 4*o - 3*o + 5*y - 9 = 0, 2*o - 10 = -2*y. Let n(r) = -5*r. Let x be n(-4). Suppose 4*f - x = 0, -4*d = 3*f - f + 10. Sort 0, o, d in decreasing order.
o, 0, d
Let v = 5 + -6. Let n = v - -0.9. Sort n, 2, 0.2 in descending order.
2, 0.2, n
Let t be (-2 - 2)*(-2)/4. Let d be t/(4*(-2)/20). Sort d, 4, 1.
d, 1, 4
Let u be 39/(-12) - 1/(-4). Let p(h) = -3*h**2 + 15*h - 20. Let c(a) = -a**2 + 5*a - 7. Let o(j) = -17*c(j) + 6*p(j). Let n be o(3). Sort u, n, -2.
u, -2, n
Suppose 0 = 2*b + 3*b - 20. Let k = 59 - 63. Sort -1, b, k in ascending order.
k, -1, b
Let o(z) = 2*z - 3. Let p = 4 - 2. Let w be o(p). Sort 2, -1, w in descending order.
2, w, -1
Let c(u) = 2*u - 3. Let t(f) = f - 1. Let a(z) = -3*c(z) + 5*t(z). Let m be a(8). Sort m, 2, 0 in ascending order.
m, 0, 2
Let f be (1/(-1))/(13/(-52)). Sort f, 3, -1.
-1, 3, f
Let n = -32 + 37. Sort -3, n, -11, 0 in decreasing order.
n, 0, -3, -11
Suppose 0 = p + 2*p - 48. Suppose 0*d = -2*d - x + 4, d - 4*x = -p. Sort -4, 1, d.
-4, d, 1
Let w = -7 - -6. Put -2, w, 3 in decreasing order.
3, w, -2
Let x be (5 - 2) + (1 - -1). Sort -7, 1, -3, x in ascending order.
-7, -3, 1, x
Let w = 16 + -16.42. Let x = w - -0.02. Put -1, x, -0.2 in ascending order.
-1, x, -0.2
Let j = -2.2 + 0.6. Let z = -1.7 - j. Put 5, -0.2, z in decreasing order.
5, z, -0.2
Suppose 0 = 3*a + a + 8. Suppose 3 = 6*r - 7*r. Sort a, r, 2 in ascending order.
r, a, 2
Let y = -153 + 155. Let p(k) = -k**3 - 3*k**2 + 1. Let o be p(-2). Sort y, o, -4 in descending or