ding order.
4, -2, r
Let d be (-3)/(-12) - 6/8. Let b be (14/10 - 1)/(-1). Let t = -8.2 + 8. Sort d, b, t in ascending order.
d, b, t
Let f be (0/(0 - 2))/2. Let k(b) = -b**2 + 7*b - 7. Let u be k(6). Sort u, f, 4 in increasing order.
u, f, 4
Suppose 0 = -3*j + 39 - 12. Let p be (-4)/((-4)/(-2)) - 2. Put j, p, 5 in ascending order.
p, 5, j
Let u(k) = k + 9. Let l be u(0). Let d be (-2)/l - (-100)/45. Put d, -5, -4 in increasing order.
-5, -4, d
Let v(i) = i**3 - 6*i**2 - 7*i - 2. Let d be v(7). Let z be (-5 - -6)/(-2 - -3). Sort d, 3, z.
d, z, 3
Suppose -4*d = -6*d + 3*f - 5, 0 = -f + 1. Suppose -g = g + 4. Sort d, 3, g in descending order.
3, d, g
Let g be 8/(-3) + (-3)/9. Sort 5, -5, g in increasing order.
-5, g, 5
Suppose 5*f + 15 = 5*x - 0*f, 0 = 5*x - 3*f - 15. Put -3/5, 0.02, 1/7, x in descending order.
x, 1/7, 0.02, -3/5
Let q = 2 - 0. Let f = -2 + q. Let l be ((-1)/4*-2)/2. Sort -2/3, l, f.
-2/3, f, l
Suppose -2 = -2*q + 6. Suppose -2*a = q*n + 2 - 8, -n = -a + 6. Put 0, -6, a in descending order.
a, 0, -6
Let a = 0.52 - 0.5. Let p = -0.2 + 0. Sort a, 3/5, p.
p, a, 3/5
Let g = -0.65 - -3.55. Let x = -3 + g. Let i = 15 + -17. Put i, x, 3/2 in decreasing order.
3/2, x, i
Let j be 78/4 - (-1)/2. Put 0, j, 2 in increasing order.
0, 2, j
Let f(x) be the third derivative of x**5/60 + x**4/6 - x**3/6 + 4*x**2. Let y be f(-3). Sort 1, y, 5.
y, 1, 5
Let b = -106/11 + 1422/143. Let j = 9788 + -636253/65. Let v = j + b. Sort 4, 2/9, v.
v, 2/9, 4
Let g = 2.6 - 3. Suppose 5*s + 2 = 7*s. Sort 0.3, s, g.
g, 0.3, s
Let n be (-5)/((-50)/(-12))*5/(-3). Sort 4, n, 5.
n, 4, 5
Suppose 0 = -i - 5 + 6. Sort 6, i, 2.
i, 2, 6
Suppose -4*o + 50 = -2*o. Suppose 0 = -t - 3*t - 12, -o = -2*j + 5*t. Suppose 20 = -j*r, -3*r = b - 8*r - 20. Put b, 1, -3 in decreasing order.
1, b, -3
Suppose -2*b + 17 = -5*j + 4, 0 = 3*b + 5*j + 18. Let w(d) = 3*d**2 + 2*d + 1. Let q be w(b). Sort -5, q, 3.
-5, q, 3
Suppose 4*a - 6 = 6. Suppose -i - a*i = 0. Suppose -2*q - q - 12 = i. Sort -2, -1, q.
q, -2, -1
Let p be 6/(-8) + (-7)/112*4. Sort 1, -5, p, 0 in decreasing order.
1, 0, p, -5
Let h = 2.1 - 11.1. Let b = h + 14. Let o = -4.82 - 0.18. Sort b, o, 3 in decreasing order.
b, 3, o
Let c = 10 - 8.6. Let l = 0.9 - c. Let s = 3 + -3.1. Sort l, -2, s.
-2, l, s
Suppose 18 = 5*z + 3. Sort 0.4, z, -1/8, 5 in ascending order.
-1/8, 0.4, z, 5
Suppose 3*t = 3*x + 24, -t - 2 = x - 0. Suppose 6*w - 8 = 2*w. Put w, 0, t in ascending order.
0, w, t
Suppose i + 6 = 4*c, -4*i + 1 = c - 9. Let o be 2 + -2 + -4 + c. Let v(y) = 2*y. Let r be v(o). Put r, -1/5, -2 in increasing order.
r, -2, -1/5
Let t = 0.503 + -0.003. Put 5, 0.1, t in increasing order.
0.1, t, 5
Let o = -0.16 - -0.86. Let v = 0.9 - o. Sort v, -0.1, -3 in decreasing order.
v, -0.1, -3
Let p(i) = i**2 - 6*i - 5. Suppose -d - 5 = -11. Let k be p(d). Suppose -5*z + 22 = 4*r, 3*z + 5 = 3*r + 2. Sort 0, z, k in descending order.
z, 0, k
Let q(b) = -b - 8. Let k be q(-7). Let h be 3 + (k - (5 + -3)). Put h, 1, -4 in increasing order.
-4, h, 1
Let x(q) = 2*q**2 + 5*q - 13. Let n be x(-4). Suppose 3*c - 5*c = 4. Sort n, 1, c in ascending order.
c, n, 1
Let s be 1 - 0 - 4 - -4. Let j(t) = t - 12. Let a be j(7). Let i(f) = f**2 - 5*f - 1. Let z be i(6). Put z, a, s in increasing order.
a, s, z
Suppose -6 - 6 = -2*f. Sort -3, f, -2 in decreasing order.
f, -2, -3
Let j = -1.1 - -0.1. Let l(c) = c**2 - 2*c - 3. Let d be l(2). Sort j, -2/13, d.
d, j, -2/13
Let r be (-144)/45 - 2/(-10). Let b = r - -8. Suppose 5 = o + 2. Sort o, b, 2 in ascending order.
2, o, b
Suppose 2*y = -2 - 8. Sort y, 3, -4 in ascending order.
y, -4, 3
Suppose -4*d = 5*g - 8, g - d = -6*d + 10. Let w be 1 + (1 - 0/(-2)). Put w, g, -5 in increasing order.
-5, g, w
Let w = 8.16 + -0.16. Let x = w + -7.9. Let q = 180 + -1622/9. Put x, 2, q in ascending order.
q, x, 2
Suppose 0 = -20*b + 8*b + 12. Put -10, 5, b in decreasing order.
5, b, -10
Let a be 8/2*(-3)/(-6). Sort a, -3, 0.3 in descending order.
a, 0.3, -3
Let f be 8/(-6)*(-21)/(-14). Put -0.5, f, -0.4 in ascending order.
f, -0.5, -0.4
Let i = 0 + -8. Sort i, -4, 5.
i, -4, 5
Let v = 2 - -1. Let g = -4 + 3. Let h = g - v. Sort -5, -3, h.
-5, h, -3
Let z(x) = x - 9. Let y be z(11). Suppose -k + 3*r = 0, 4*k + k - y*r = -13. Put -1, k, -4 in descending order.
-1, k, -4
Let u = -1/18 + -13/90. Put -0.3, -5, u in descending order.
u, -0.3, -5
Let o = -1.3 + -1.2. Let s = o - -2. Let h = -0.5 + s. Sort h, -2, -0.1 in increasing order.
-2, h, -0.1
Suppose 5*y + 23 = 13. Sort y, 5, -17.
-17, y, 5
Let b = 1 - -1. Suppose b*y - 6 = 4*t, 0 = -4*t + 5*t + 4*y - 12. Sort -0.5, -1, t in decreasing order.
t, -0.5, -1
Let m = 3.1 - 2.9. Let x be ((-2)/4)/(11/(-4)). Put 1/2, m, x in decreasing order.
1/2, m, x
Let y = 0.13 - -0.27. Sort -5, 2/7, y.
-5, 2/7, y
Suppose 4*m + 4 - 7 = 3*a, 0 = 4*a + 2*m + 4. Suppose 8 = 2*d + 4. Let r(v) = -v - 2. Let w be r(-5). Put a, d, w in decreasing order.
w, d, a
Suppose 16*t - 10 = 11*t. Sort 5, 3, t in increasing order.
t, 3, 5
Let p = 11.06 + -0.06. Let m = 8 - p. Let j = 0 - 0.2. Sort m, 1, j in decreasing order.
1, j, m
Let j = -2.6 + 3.6. Put -1/2, 0.3, j in descending order.
j, 0.3, -1/2
Let v = 28/69 - -6/23. Put v, -1/7, 0.5, -0.1 in decreasing order.
v, 0.5, -0.1, -1/7
Let v = -0.52 + 0.35. Let t = v - -0.07. Put -2, t, -1/9 in increasing order.
-2, -1/9, t
Let r be (-5 + 5)/(1 + 0). Suppose o - 5*o = -8. Put 1/4, o, r in descending order.
o, 1/4, r
Let r(z) = z**3 + 7*z**2 + 6*z + 5. Let k be r(-6). Let o = 5 + 0. Suppose -3*t - 18 = -5*t + o*c, -4*t + 12 = 2*c. Put k, t, -4 in increasing order.
-4, t, k
Let k = -1 - 4. Let m(l) be the first derivative of l**2/2 + l + 3. Let y be m(3). Sort y, k, 2.
k, 2, y
Suppose -i - i = 2. Put 0.1, 4, i in decreasing order.
4, 0.1, i
Let a(u) = 8*u**2. Let f be a(-1). Suppose r + 3*r + 19 = 3*s, 4*s + f = -3*r. Sort 3, s, -4 in decreasing order.
3, s, -4
Let r = 0 - 0. Let u = r + 0. Let y = -0.6 - 0.4. Sort -2, u, y in ascending order.
-2, y, u
Let k = -52 + 35. Let y = k - -19. Put 1/2, -5, y in decreasing order.
y, 1/2, -5
Let u = -8 + -3. Let n = 12 + u. Suppose m + 3 + 0 = 0. Put m, 0, n in descending order.
n, 0, m
Suppose 2*t - 9 = h - 0*t, -3*h - 2*t = -13. Put -4, -2, h in ascending order.
-4, -2, h
Let s = 0.52 - -0.08. Let v = 2 + -1.7. Sort 1/12, s, v in descending order.
s, v, 1/12
Let u = -58.8 - -65. Let q = u - 1.2. Sort q, 2/5, 4/7 in increasing order.
2/5, 4/7, q
Let y be (-2)/8 - 27/(-12). Sort 5, -1, y in descending order.
5, y, -1
Let y = -0.87 + 1. Sort 0.3, y, -0.3.
-0.3, y, 0.3
Let r = 0.064 + 0.036. Let k be 6/(-8) + 2/8. Put k, -0.1, r in descending order.
r, -0.1, k
Let f = -0.99 + 4.99. Put 2, 1/2, -3/2, f in ascending order.
-3/2, 1/2, 2, f
Let n = 278.5 + -279. Let i = 7 + -2. Sort -4, i, n.
-4, n, i
Suppose -5*c + 2*i = -4*c - 3, 0 = 2*c - i. Put -3, 1, c, -2 in decreasing order.
1, c, -2, -3
Let s(f) = f**2 + 8*f - 3. Let z be s(-8). Let u be 0/1 + 6/1. Suppose 5*m - 10 = 5*t, 2*m - 10 - u = -4*t. Put t, 4, z in increasing order.
z, t, 4
Let g(a) = a**3 + 7*a**2 - 8*a + 5. Let m be 54/(-7) - 2/7. Let v be g(m). Suppose -d - 2*d - 4*y = 3, -2*y = -4*d - 4. Sort -2, d, v in descending order.
v, d, -2
Let k(p) = p**2 + 5*p - 2. Let d be k(-6). Let y = 0 + -1. Let v(g) = g**2 + 2*g + 1. Let q be v(y). Sort 5, q, d.
q, d, 5
Let c = 10 - 14. Sort c, 4, -2/7 in decreasing order.
4, -2/7, c
Suppose -2*q = 3 - 23. Let r(o) = 4*o**2 - o + 1. Let c be r(1). Suppose q = -c*g - f, 2*g + 4*f = g - 10. Sort 0, -3, g.
-3, g, 0
Suppose 0*r - 2*r - 4 = 0. Suppose -2*u + 4*l + 0 = -2, 6 = -3*l. Let c = r - u. Put c, 5, -3 in decreasing order.
5, c, -3
Let z = -4 + 7. Let p be (-1)/(-2 + (-9)/(-5)). Put p, z, -1 in descending order.
p, z, -1
Suppose 2*h + 8 = -2*h. Suppose 3*a - 5*o = -2*a - 10, 5*o = -5*a + 10. Let u be a/(0 - -2*1). Put 4, h, u in ascending order.
h, u, 4
Suppose -3 = -2*a + 1. Let g be (-4)/32*-4*a. Let x = -5 + 10. Put g, x, 4 in decreasing order.
x, 4, g
Let f = 4.2 + -6.2. Let l = 56 + -170/3. Sort f, -0.1, l.
f, l, -0.1
Let r = -97 + 100. Put 1/4, r, -0.3, -3 in decreasing order.
r, 1/4, -0.3, -3
Let t(v) = v + 3. Let m be t(-4). Let z = -1/2 - m. Put -5, z, 0.3 in decreasing order.
z, 0.3, -5
Let t be (3 - 1)*30