.
n, 1, j
Suppose 2*i = -3*r + 7, -r + 2 - 1 = i. Put 9, 1, r, 3 in ascending order.
1, 3, r, 9
Let c = 1 + -6. Let i = -4.032 + 0.032. Put c, i, 1/3 in increasing order.
c, i, 1/3
Let s = -26 + 27. Put -2, 4, s in decreasing order.
4, s, -2
Suppose -3*c - 2*a = -10, -2*c - 4*a = -3*a - 6. Suppose 6*d = -12 + 30. Put d, 0, c in increasing order.
0, c, d
Let u(k) = -k**2 + 4*k + 10. Let h be u(5). Put 3, h, 1/2 in decreasing order.
h, 3, 1/2
Suppose 0*n + 22 = 2*c + 5*n, -21 = -5*c - 4*n. Sort c, -2, 0, 4 in decreasing order.
4, c, 0, -2
Let o = 118/45 - 12/5. Put o, 2, -0.5, 5 in decreasing order.
5, 2, o, -0.5
Suppose -2*j - j + 225 = -3*o, 10 = -2*o. Let q be 12/(-10)*j/(-21). Suppose 0 = -y + 2*r + 14, -q*r = -4*y + 33 + 3. Sort y, 1, -5 in decreasing order.
y, 1, -5
Let k = -26 - -31. Sort k, 3, -2 in ascending order.
-2, 3, k
Suppose -d + 8 = -3*d. Let w be 60/27 + d/18. Suppose 0 = -2*v - 3*v - 30. Sort 5, v, w.
v, w, 5
Let k be (2/30)/((-7)/(-21)). Sort 1/3, k, -0.5 in increasing order.
-0.5, k, 1/3
Let m = -0.3 - 0.1. Sort 2/11, 0, m in descending order.
2/11, 0, m
Let o be 636/2613 + 2/(-13). Let g = -250/201 - o. Sort 0, 3, g in increasing order.
g, 0, 3
Let i = 4.6 - 4.3. Let o = -3 + 3.4. Sort 4, i, o.
i, o, 4
Let l be ((-21)/9 - -2)*-3. Suppose 4 = 4*v - 8. Let k = -3.95 - 0.05. Put k, v, l in ascending order.
k, l, v
Suppose 5*d - 3*d = 16. Suppose -4*s - d = -3*o, 4*o + 2 = 2*s + 6. Sort o, -1, 1.
-1, o, 1
Suppose 0 = 4*k + 3 + 1. Let t be 1/k + -4 + 5. Let z = 10 + -12. Put t, z, 3 in increasing order.
z, t, 3
Suppose 5*g + 7*i = 5*i - 35, 25 = -3*g - 2*i. Sort 0, 8, g, 4 in decreasing order.
8, 4, 0, g
Let k = -201 + 197. Let r be 22/(-8) + 1/(-4). Sort r, -2, k in increasing order.
k, r, -2
Let j = 87 + -91. Let t = -0.01 + 0.41. Let k = t - 0.7. Put k, -1/5, j in decreasing order.
-1/5, k, j
Let u = -3 - -3.7. Let p = u + -0.8. Sort p, -5, -4 in increasing order.
-5, -4, p
Suppose -17 = -4*f - 5*j, -f + 3*j = -2*f + 13. Let w = 0 - -4. Put w, 0, f in decreasing order.
w, 0, f
Let a(k) = k - 1. Let l be a(2). Sort l, -7, -1 in decreasing order.
l, -1, -7
Let m = -79 - -82. Sort -1, m, 0.1, 1/11.
-1, 1/11, 0.1, m
Let j be (-24)/(-42)*6/8. Suppose -2*i + 4*r + 8 = 0, i + 4*r + 28 = -2*i. Sort j, -3, i in decreasing order.
j, -3, i
Let o = 14 + -18. Sort o, -5, 9.
-5, o, 9
Suppose -2*a = -5*a + 15. Put a, 3, 1 in ascending order.
1, 3, a
Suppose -5*y = 1 - 6. Suppose -9*o = -7*o - 20. Suppose 2 + o = 3*p. Sort p, y, -1 in increasing order.
-1, y, p
Let x = 0.2 + -0.3. Let r = 3.1 - 2.6. Put 2, r, x in descending order.
2, r, x
Let o = -3.4 + 5.4. Let j = 7 + -6.6. Put o, 1, j in increasing order.
j, 1, o
Suppose 0 = f + 2, -4*s - 3 = -f - 9. Suppose -2*k - 5*n + 5 = 0, 4*k - s = -2*n + 1. Let c be ((-10)/(-6))/(-1)*3. Put 5, k, c in decreasing order.
5, k, c
Let n = 1.5 - 2. Let l = -11.6 + -1.4. Let j = 11 + l. Sort n, j, 0.2.
j, n, 0.2
Let r = -0.67 + 0.17. Sort r, -2, -3 in increasing order.
-3, -2, r
Let d(l) = -l**2 + l + 5. Let p be d(0). Let a = 2 - 7. Sort p, a, -3 in ascending order.
a, -3, p
Let g be ((-1)/2)/(1/10). Suppose -5*h + 1 = -9. Suppose 1 - 3 = -h*x. Sort x, g, -2 in decreasing order.
x, -2, g
Let a = 20 - 25. Put -3, 3, a in decreasing order.
3, -3, a
Let m(u) be the second derivative of u**4/12 - 2*u**2 + 3*u. Suppose -5*f = -4*f - 3. Let l be m(f). Sort l, -1/2, -2/7 in increasing order.
-1/2, -2/7, l
Let c be (-8)/(-24) + (0 - 2/(-3)). Let f = -0.03 + 0.33. Put 0, c, f in increasing order.
0, f, c
Let p be (-4)/8*(1 + -1). Suppose -y + 5 = -2*j, 2*j - 2*y = -p*y - 6. Put 0, j, -3 in descending order.
0, j, -3
Let c = 0.263 - -0.037. Put -1/2, c, 2/9 in descending order.
c, 2/9, -1/2
Let c(d) be the third derivative of d**4/12 + d**2. Let s be c(1). Let a be 5/(195/s)*-3. Put a, 4, -0.1 in descending order.
4, -0.1, a
Let v = 3.471 - 0.471. Let u be (-9)/4 - (-1)/4. Sort u, -4, v.
-4, u, v
Let m be (-6)/1*(-6)/(-40). Sort -1/2, m, -0.1.
m, -1/2, -0.1
Let w = 40 - 40.31. Let s = w - -3.11. Let a = -3 + s. Sort a, 0.5, 3 in decreasing order.
3, 0.5, a
Let q be 2/16*(7 - 1). Sort -0.2, 0, q in increasing order.
-0.2, 0, q
Let j = -0.11 + 0.41. Let l = 8 - 3. Let s be (-2)/7 - 29/(-28). Sort s, j, l in descending order.
l, s, j
Let w = -32 + 36. Let g = 3 + -4. Sort g, -2/13, w in descending order.
w, -2/13, g
Let q = 8 - 6. Let d be (q/3)/((-1)/3). Sort 1, 3, d in decreasing order.
3, 1, d
Suppose 10*q = 7*q + 3. Sort 3, -5, q, -4 in descending order.
3, q, -4, -5
Let x be -4 + 1 + 3 + -3. Put 5, 2, x in increasing order.
x, 2, 5
Suppose -8 = 5*o + 2. Let g(x) = x + 4. Let l be g(-7). Let q = l - o. Sort q, -2, -3 in descending order.
q, -2, -3
Let z be 1/(-3) + 3/9. Suppose 3*g + z = 12. Let n = -10 + g. Sort n, 1, -3 in descending order.
1, -3, n
Let w = 4 - 0. Let u(h) = -3*h + 2. Let s be u(2). Sort 1, s, w.
s, 1, w
Let n = 57 - 58. Let m = -25.8 + 18.1. Let b = -8 - m. Sort b, 0, n in descending order.
0, b, n
Suppose -4*w - 1 = 7. Let r(y) = -y + 14. Let a be r(12). Sort w, -1, a in ascending order.
w, -1, a
Let f = -154.9 + 148. Sort 4, -3, f in ascending order.
f, -3, 4
Let q(i) = -2*i + 4. Let x(s) = -3*s**3 - 2*s - 1. Let u be x(-1). Let o be q(u). Let y = -2 - -2. Sort y, 3, o in decreasing order.
3, y, o
Let q be 1/((-6)/(-8))*3. Put q, -3, -1 in increasing order.
-3, -1, q
Let l = 30 + -25. Sort -2, 2, l, 9 in decreasing order.
9, l, 2, -2
Let g = -163 + 158. Put g, -2/13, -4, 0.2 in ascending order.
g, -4, -2/13, 0.2
Let d = 143.4 + -143. Put d, 2/23, 2/3 in decreasing order.
2/3, d, 2/23
Let r be (3/(-15)*3)/(-3). Let d = -10 + 8.96. Let t = d + 0.04. Sort 1, r, t in ascending order.
t, r, 1
Suppose -8 = -3*h + 7. Sort h, -1/3, 1 in descending order.
h, 1, -1/3
Let g = -15 + 18. Let o be (g - 1)*1/(-2). Let f(i) = i - 1. Let k be f(2). Sort o, 4, k in decreasing order.
4, k, o
Let y(b) = -2*b - 1. Let q be y(2). Let c(z) = -2*z**2 - 12*z - 4. Let j be c(-6). Put q, 0, j in descending order.
0, j, q
Let o = -11 - -14. Suppose -o*j + 8*j = 20. Let x be 4/6 - (-8)/6. Sort -4, j, x.
-4, x, j
Let v = -3 - -4. Let n be 0*(-2 + 3)*v. Let x = 11 - 8. Sort x, 5, n in decreasing order.
5, x, n
Let p = -0.1 - 0. Let r = -0.2 - p. Let c = -2 - -7. Sort r, c, -3/4 in descending order.
c, r, -3/4
Let m(y) = -6*y - 8. Let t be m(-3). Put t, 1, -1, 5 in ascending order.
-1, 1, 5, t
Let h = 6 - 3. Suppose 2*d - w - 29 = -3*d, 0 = -3*w + h. Sort -2, d, 2 in decreasing order.
d, 2, -2
Let m be (-2)/6 - 8/3. Let k(z) = z**3 + 3*z**2 - z + 2. Let c be k(-3). Put c, 3, m in ascending order.
m, 3, c
Suppose 2 = -y + 5. Suppose 0 = -2*v - y*v. Suppose 5*r - a = -9, 0 = 2*r + a + 3*a - 14. Put v, 5, r in descending order.
5, v, r
Let u = -181/3 - -61. Suppose 0*m + m = 4*d + 21, 4*m - 4*d - 24 = 0. Let r be 1/((-8)/(-6) + m). Put 0.1, r, u in increasing order.
0.1, r, u
Suppose -3*h - b = 15, -15 = 3*h - b - 0*b. Let m = 32.9 - 33. Put m, h, -1 in descending order.
m, -1, h
Let y = -0.12 + 0.02. Put 0.3, 1, y in decreasing order.
1, 0.3, y
Let t(s) = s - 1. Let d = 4 - -1. Let r be t(d). Suppose -4*w + 2*q + 2*q = 20, -4*w = 4*q - 4. Put 1, r, w in decreasing order.
r, 1, w
Let w be 14 + -14 - (3 - 0). Sort w, 4, -2 in descending order.
4, -2, w
Let x(q) = -q**2 + q + 1. Let m be x(0). Let r be 0 + (-6)/2 + -2. Put m, r, 3 in ascending order.
r, m, 3
Let v = -3 - -4. Sort 2/3, v, -2/3.
-2/3, 2/3, v
Let w(j) = j**3 + 6*j**2 + 5*j - 3. Let b be w(-5). Sort b, 4, 3 in decreasing order.
4, 3, b
Let b = -3 + 4. Let a(z) = z**3 - z - 1. Let d(p) = 2*p**2 + 3*p + 2. Let s(c) = 3*a(c) + d(c). Let q be s(b). Put -5, q, 3 in ascending order.
-5, 3, q
Let g = -0.9 + -0.1. Let d = -2/529 - 2106/2645. Let c be 9*1/(-5) - -2. Put g, c, d in increasing order.
g, d, c
Suppose -2*d = d + 9. Let z = 81 + -82. Sort 2, d, z.
d, z, 2
Let p be (-17 + 12)*(-1 + (-8)/(-10)). Sort 2, 4, 5, p.
p, 2, 4, 5
Suppose u + 7 = 10. Let o be (-2)/5 + (-135)/(-25). Suppose -7 = 2*g + g + 5*y, -4*y + 24 = -o*g. Put 2, g, u in increasing order.
g, 2, u
Suppose 6*d - 12 = 2*d. Let s be 1*0/(-3 - 1). Put -4, s, d in decreasing order.
d, s, -4
Let y = -1 - -4. Let f = -5852/25 - -234. Let p = -17/100 + f. Sort 1, y, p in descending order.
y, 1, p
Let t(