 in ascending order.
q, x, 1/6
Suppose 7*n = 2*n + 5*j - 35, 5*n + 23 = j. Let c = -6 - -4. Sort 3, c, n in ascending order.
n, c, 3
Suppose -4*i = 8 - 4. Let k = -5 - -3. Suppose 2*s - 3 = 5. Sort k, s, i in descending order.
s, i, k
Let t(d) = 2*d**3 - 3*d - 3. Let f be t(-2). Put 1, 0, f in increasing order.
f, 0, 1
Let v = 11/12 - 2/3. Sort -0.5, -2/5, -1/4, v in decreasing order.
v, -1/4, -2/5, -0.5
Let t = -3 + -2. Suppose o + 1 = f + 2, -f - 6 = 4*o. Put f, t, -1 in decreasing order.
-1, f, t
Suppose -h + 3*h = 0. Suppose -20 = -4*l - h*l. Put l, -4, 4 in descending order.
l, 4, -4
Let d = -5 + 4. Sort d, 0.5, 1.
d, 0.5, 1
Let c = 0.2 + -5.2. Let h = 0.092 - 0.492. Sort h, 0.1, c.
c, h, 0.1
Let h = 6.1 - 5.2. Sort -2, 2, h.
-2, h, 2
Let q = 1586/9 - 176. Put 0, q, -3/2 in descending order.
q, 0, -3/2
Suppose -p = -3*t + 17, 3*t + 7 + 1 = -4*p. Let r(q) = q - 7. Let f(k) = k - 7. Let d(b) = t*r(b) - 3*f(b). Let l be d(6). Put 3, l, 4 in decreasing order.
4, 3, l
Let n(l) = l**3 + 8*l**2 + 18. Let h be n(-8). Suppose -a + 5*a = x - h, 4*x - a - 12 = 0. Sort 6, x, 1 in decreasing order.
6, x, 1
Let a(o) = -o**3 + 4*o**2 + o + 1. Let n be a(2). Suppose n = -3*h + u, -4*h + u - 13 = 2. Let q be -1*2/h*2. Put -2, 0, q in decreasing order.
q, 0, -2
Suppose 0 = -2*f - 2 - 6, 4*f = y - 23. Let k = y - 4. Sort 4, k, 1.
1, k, 4
Let m(j) be the first derivative of -j**2 + j - 5. Let r be m(-2). Sort r, 3/4, -0.4.
-0.4, 3/4, r
Let d = 47/9 - 5. Sort d, -5, -3/2 in increasing order.
-5, -3/2, d
Let m be 4/26 + ((-132)/13 - -5). Suppose 0*z - z + 3 = -2*c, 0 = -c - 4*z + 12. Sort -2, c, m.
m, -2, c
Let w = 0.2 - -3.8. Put -1, -2, w in increasing order.
-2, -1, w
Suppose -16 = -4*b + 8*b. Put 5, b, -3 in descending order.
5, -3, b
Let h = -2 + -1. Let w = 1.9 - 2. Let a = -33 + 129/4. Sort h, w, a.
h, a, w
Let g = 15/2 - 6. Sort 0.3, g, -8, -4 in decreasing order.
g, 0.3, -4, -8
Let h = 16 + -28. Let c be (h/(-15))/((-2)/10). Sort -1, c, 4 in decreasing order.
4, -1, c
Let x = -3.742 - -0.042. Let r = 4 + x. Let u = 0.7 - 3.7. Sort r, 0.5, u in decreasing order.
0.5, r, u
Let m = -1 - 17. Let j be (60/m)/((-4)/(-6)). Sort j, -3, -4 in descending order.
-3, -4, j
Let u = 3 + -4. Let r = 0 + u. Let x = 0 - -0.2. Put x, r, -4 in increasing order.
-4, r, x
Let g(s) = 5*s + 1. Let i be g(-1). Suppose -f - 2*b - 3*b = -24, -5*b - 96 = -4*f. Suppose -4*w = -5*c + f, 5*w - w + 20 = 4*c. Put w, i, 4 in ascending order.
i, w, 4
Let y be (0 - 0) + (-1)/(-5). Sort y, -2, 5/3 in descending order.
5/3, y, -2
Let s = 65 + -65. Sort -1, 12, s in decreasing order.
12, s, -1
Suppose n = -2*x - 0*x + 25, x + 3*n - 10 = 0. Suppose 2*q + d = -x + 4, q - d + 3 = 0. Put q, -1, 2 in descending order.
2, -1, q
Let x be ((-20)/(-2))/(4/10). Let f be (8/(-5))/((-10)/x). Let k = -3 + 5. Sort -0.5, f, k.
-0.5, k, f
Let r = -40 + 40.3. Let k = 4 - 3.7. Let w = -0.8 + k. Put -2/7, r, w in decreasing order.
r, -2/7, w
Suppose 35 = x - k - 2*k, -5 = k. Suppose n + 3*c + 14 = -0, 0 = -5*n - 5*c - x. Let l be (0 - 0)*1 - 4. Put n, l, -2 in ascending order.
l, -2, n
Let i = 1.6 + -12.6. Let c = i - -10.6. Sort c, -0.2, 2/3 in ascending order.
c, -0.2, 2/3
Suppose -3*m + 4*m = 2. Let f = 2 + -3. Suppose 0 = -l - 5*o - 10, -3*l - 26 = 2*l + o. Sort f, l, m in increasing order.
l, f, m
Let q = 16.7 - 17. Let p = 1 - 1.5. Let v = p - q. Sort v, -3, 0.
-3, v, 0
Let k be (3 - 7)*3/4. Let z(v) = -v**3 - v + 6. Let u be z(0). Suppose -u*b + b = 5. Put k, b, 4 in descending order.
4, b, k
Let a = 29 - 24. Put -0.1, a, -1 in ascending order.
-1, -0.1, a
Suppose 5 + 10 = 3*c. Let x be 10*(1 + (-7)/c). Let p = 1 - -3. Sort -1, p, x in increasing order.
x, -1, p
Suppose 4*z + 10 = 4*y + 38, -12 = 4*y. Suppose -z*j = -j - 6. Put 1, j, 3 in descending order.
3, j, 1
Let z = -306/7 - -44. Sort 0.2, z, 1/7 in descending order.
z, 0.2, 1/7
Let f = -3.1 - -2.7. Sort f, 2, 0 in descending order.
2, 0, f
Suppose a = o + 1, -o - 16 = -5*a - 3. Suppose h = n + 4*h + 10, o*n + 5*h = -18. Sort -2, 2/11, n in decreasing order.
2/11, -2, n
Let g(h) = h**2 + 9*h + 5. Let x be g(-9). Sort x, -3, -1.
-3, -1, x
Let p = -0.06 - -6.06. Let j = 6.3 - p. Let r = 0.5 - j. Sort 1/2, -2, r.
-2, r, 1/2
Let a = 3 + 6. Suppose 0 - a = 3*s - 4*v, -4*s + 4*v - 12 = 0. Let l = -2.9 + -1.1. Sort 5, s, l in ascending order.
l, s, 5
Let l(w) = -w**2 - 7*w - 9. Let y be l(-6). Sort 6, 5, y in descending order.
6, 5, y
Suppose -6 = -3*k + 6. Let m = -1 + 2. Put m, -5, k in ascending order.
-5, m, k
Suppose 0 = -6*o - 0*o + 12. Suppose 2*i = -2*i. Put -3, o, i in descending order.
o, i, -3
Let u(b) = b - 14. Let y be u(6). Let r = y + 13. Let c be ((-2)/4*-4)/2. Put c, r, -3 in decreasing order.
r, c, -3
Let w be ((-2)/(-16))/(12/(-16)). Let j = -3.92 - 0.08. Put w, j, 2/7 in decreasing order.
2/7, w, j
Suppose 3*s = 5*c + 50, 5*s - 11 = 3*c + 7*s. Sort -2, 1, c in increasing order.
c, -2, 1
Suppose -2*d + 1 = 5*k - 0, -11 = 4*d - 3*k. Suppose -h + 6 = h. Put d, -5, h in ascending order.
-5, d, h
Suppose -f - 4*o + 2*o + 10 = 0, -f - 5*o + 22 = 0. Suppose f*v - 5 = 3*y, 0*y - 3*y + 5 = -4*v. Put 4, -2, v in descending order.
4, -2, v
Let r = 0.24 - 0.04. Put -2, -2/17, r in descending order.
r, -2/17, -2
Let t be 43/(-15) + 24/(-72) - -4. Let k = 0 + -3. Put k, t, 3 in ascending order.
k, t, 3
Suppose 6*g - 5*g + 12*g = 0. Suppose 0 = 5*k + 7 - 2. Sort g, 4, k.
k, g, 4
Let z be (0 - 4)/((-22)/(-5)). Let o = -53/22 - z. Put 1, 3/5, o in decreasing order.
1, 3/5, o
Let a be (-1 - -1) + -2 + 7. Let m = -13 + a. Put m, 1, -3 in increasing order.
m, -3, 1
Suppose 0 = 2*k + 2 - 8. Suppose -6 - 6 = k*p. Let u = p - -4. Put 2, u, -5 in descending order.
2, u, -5
Let v be (2 - 0) + (-24)/6. Let p(y) = -y + 1. Let f be p(-4). Sort v, f, -3 in descending order.
f, v, -3
Let q = -6 + 11. Let f(d) = 4*d**2 - 1. Let m be f(-1). Let i = -1.8 + 2. Put q, i, m in ascending order.
i, m, q
Let c = -101 - -100.7. Sort -0.5, 5, -5, c.
-5, -0.5, c, 5
Suppose 5*a + 5*l - 2*l = 26, 5*l - 30 = -5*a. Sort -8, -3, 1, a in ascending order.
-8, -3, 1, a
Suppose 3*b + 0 = -5*p + 3, p = 0. Suppose -3*h = -0*h + 6. Put h, b, 0 in ascending order.
h, 0, b
Let u be 2/(-1) - (-10 + -2). Suppose -4*o + 4*i = i + 20, 2*i = o + u. Put -1, -2/5, o in ascending order.
o, -1, -2/5
Suppose 7 = w + 3. Let o = -3 - -8. Sort w, -2, o in decreasing order.
o, w, -2
Let a(q) = 2*q - 29. Let n be a(15). Sort -4, 0, n, 8 in descending order.
8, n, 0, -4
Let w = -0.06 + 4.06. Put 0.05, w, 1 in descending order.
w, 1, 0.05
Suppose -2*w - 7 = 1. Let g be 0 + 2/4*-2. Sort -2, g, w in ascending order.
w, -2, g
Let r = -11 + 13. Sort r, -0.1, 0.3 in ascending order.
-0.1, 0.3, r
Let w(v) = -v + 3. Let c be w(-5). Suppose -2*h = 5 - 1. Sort c, -1, h in increasing order.
h, -1, c
Suppose -4*f + 2*n = 4*n + 8, -5*n + 13 = -f. Let v(m) = m**3 - 4*m**2 + 2*m + 2. Let a be v(3). Sort f, 0, a in increasing order.
f, a, 0
Let y be 156/10 + 10/25. Suppose -2*x + 46 - y = 4*d, d - 10 = -x. Sort d, -2, 4.
-2, 4, d
Let c(r) = r**2. Let q be c(2). Sort 0.4, -3, -5, q in descending order.
q, 0.4, -3, -5
Let n = -8.7 + 1.7. Let d = n - -11. Let v = d - 4.2. Put 1, 2/7, v in increasing order.
v, 2/7, 1
Let t = 12 - 11.5. Sort 1, -6, t in decreasing order.
1, t, -6
Let o(z) = 4*z**2 + 2*z + 1. Let p be o(-1). Suppose 5*v + 8 = 18. Let g = 18 - 22. Put p, v, g in decreasing order.
p, v, g
Suppose -5*k - 10 = 4*w, 4*w = -2*k - k - 14. Let c(d) = -8*d - 51. Let s be c(-7). Put -3, k, s in decreasing order.
s, k, -3
Suppose -6 = 3*f - 18. Put 1, f, -5 in decreasing order.
f, 1, -5
Let a(i) = i**3 - 11*i**2 + 3. Let b be a(11). Suppose f = -b*f + 4. Put f, -2, 4 in decreasing order.
4, f, -2
Let y(t) = -t**2 + 3*t - 5. Let n be y(2). Suppose -4*u - 4*m = -3*m + 18, -2 = m. Sort 5, u, n.
u, n, 5
Let n = 48 - 32. Let o = n + -16. Sort 1/5, o, 9.
o, 1/5, 9
Let x(q) = -q**3 + 2*q**2 + q + 1. Let d be x(2). Suppose -3*b = -5*w + 19, -3*b - w - 4 = d. Sort 0, -1, b.
b, -1, 0
Suppose -p + g = 3, -10 + 32 = p + 4*g. Suppose -15 + 5 = -p*s. Let w(f) = -2*f + 9. Let v be w(7). Sort s, v, -3 in descending order.
s, -3, v
Let c = 1.32 - 0.32. Sort -4/5, -0.2, c in increasing order.
-4/5, -0.2, c
Suppose 14 = 4*c + l, -3