.
n, x, 2
Suppose 6 - 15 = 3*s. Let n = -1 + 5. Put n, -1, s in increasing order.
s, -1, n
Let z = 3 - 1. Suppose 3*w + z*i = 9, -4*w = w + 2*i - 11. Sort w, 3, -1 in descending order.
3, w, -1
Let t = 9.08 - 9. Let h = -0.33 - 0.05. Let p = t + h. Put -1/2, 1/7, p in ascending order.
-1/2, p, 1/7
Let q be (8/(-3))/(-2)*3. Let v = -713 - -712. Put q, -3, v in ascending order.
-3, v, q
Let x = -4.83 - 0.17. Put 0.3, 9, x in decreasing order.
9, 0.3, x
Let j = 38 - 34. Put -4, j, 3 in ascending order.
-4, 3, j
Let d = -3.8 - -4. Let t = 24.2 - 22. Let a = d - t. Sort a, -5, 0.3 in ascending order.
-5, a, 0.3
Let f = -3.04 - -0.04. Let m = f + 3.5. Let q = -874/33 + 80/3. Put -1/3, m, q in decreasing order.
m, q, -1/3
Let n be (-4 - -1) + 2*-1. Let h(b) = -b**2 - 17*b - 3. Let p be h(-17). Put n, 4, p in decreasing order.
4, p, n
Let x = -6 + 9. Let s = 6.1 + -6. Sort -1, x, s in descending order.
x, s, -1
Let y(r) = 0 - r**2 + 0*r**2 + r + 4. Let c be y(3). Let i = -919/136 + 55/8. Put 2/9, c, i in descending order.
2/9, i, c
Let p be 2/11 - (-10)/11*2. Put -2, p, -28 in descending order.
p, -2, -28
Suppose 3*b + 14 = -1. Let m = 16.91 - 17. Let o = 2.09 + m. Put b, o, 0 in descending order.
o, 0, b
Suppose -4*c + 0*c = 0. Suppose -4*m = 3*z - c*m + 7, 0 = -2*z - 3*m - 6. Suppose 0 - 5 = -l. Put l, z, -3 in decreasing order.
l, z, -3
Suppose 0 = 3*f + c - 12, 0 = -3*f + 7*c - 2*c + 12. Suppose t + 0*t - 4 = 0. Let d = t - f. Put 2, -5, d in ascending order.
-5, d, 2
Let j = 61 - 63. Sort 3, 2, 0, j in descending order.
3, 2, 0, j
Let q = 1 - -3. Let b = 29 - 26. Put b, 5, q in descending order.
5, q, b
Let y = -0.26 + -1.74. Sort y, 0, 4 in increasing order.
y, 0, 4
Suppose -4*p = 55 - 7. Let s = 17 + p. Let w(f) = -f**2 + 3*f - 1. Let v be w(3). Sort v, s, 1 in ascending order.
v, 1, s
Suppose 0*x - 2*x - 14 = -2*h, h = 3*x + 15. Suppose 0*t + t + 17 = h*m, t - 4*m + 21 = 0. Let n be 23/t - (-6)/10. Put 3, -5, n in decreasing order.
3, n, -5
Let m = 15 + -23. Sort m, 4, -3, -5 in ascending order.
m, -5, -3, 4
Let a be 26/7 + (-2)/(-7). Suppose -5*p = a*r - 26, p + 6*r = 3*r + 14. Sort p, -1, -2/5 in descending order.
p, -2/5, -1
Suppose -1 = -3*x + 8. Let g(p) = p - 2. Let r be g(1). Put x, r, -3 in ascending order.
-3, r, x
Suppose -3*t = 3*l + 2*t - 1, 3*l - 8 = 2*t. Sort -6, l, 3 in decreasing order.
3, l, -6
Let y(k) = -k**3 + 7*k**2 + k - 5. Let u be y(7). Let x = -8 + 11. Suppose 0 = 2*m + x*q - 4*q - 5, -q - 5 = -m. Sort m, 1, u in ascending order.
m, 1, u
Suppose m - 12 = -2*m. Suppose 0*o = -m*o + 4. Suppose 3*i - 17 + 5 = 0. Put -3, i, o in decreasing order.
i, o, -3
Suppose 0*t - 4*t - 2*l + 24 = 0, t = 5*l - 16. Suppose -x + 5*x = -t. Let f be 1/((-2)/8 + 0). Put f, x, 2 in ascending order.
f, x, 2
Let a = -1 - -0.9. Let f = a + -4.9. Let v = 25/138 + -8/23. Put f, v, 1/6 in ascending order.
f, v, 1/6
Let j = -2 - -1.5. Suppose -o - 14 = -2*g, 4*g + o - 49 = -15. Let x be (g/(-78))/((-10)/15). Sort 0.4, x, j in descending order.
0.4, x, j
Let i = 20.029 - 0.029. Let b = -19 + i. Sort b, -1/7, -3 in increasing order.
-3, -1/7, b
Suppose 70 = -23*z + 9*z. Sort -1, 5, 11, z.
z, -1, 5, 11
Let c be (-3)/(-14) - (-6)/21. Let s = -12 + 7. Sort -0.3, s, c.
s, -0.3, c
Let l = -0.52 - 0.18. Let o = -0.3 - l. Let u = 1504/63 + -214/9. Put u, o, -3 in decreasing order.
o, u, -3
Let m(q) = q**2 - 4*q - 4. Suppose z + 3*i = 20, 5*z - i + 6*i = 50. Let d be m(z). Put -2, 3, d in increasing order.
-2, d, 3
Let f = 19 - 16. Let b = 8 - 2. Suppose 5*x = -2*l + 7, 0 = x - 0*l + 5*l - b. Sort f, -3, x in decreasing order.
f, x, -3
Let y(w) = -w**2 + 7*w + 1. Let d be y(7). Let s(o) = -o**3 - 2*o**2 + 6*o + 5. Let r be s(-3). Put r, -1, d in decreasing order.
d, -1, r
Let b = 1 - 3. Let a be 1 + (5 - (5 + b)). Sort -4, a, -3 in descending order.
a, -3, -4
Let m = -0.03 + 5.03. Sort -2/11, 0, m, -2 in descending order.
m, 0, -2/11, -2
Let l(n) = n - 3. Let z be l(7). Sort z, 3, 1.
1, 3, z
Suppose u = 2*u - 30. Suppose -4*f + u = -5*k - 15, 3*f = -3*k. Put 2, k, -1 in descending order.
2, -1, k
Let y = -0.1 + 0.1. Let o = 0.1 - y. Put o, -4, -5 in ascending order.
-5, -4, o
Let t = -2.5 - -2.1. Put -0.3, t, -1 in ascending order.
-1, t, -0.3
Suppose 4*t + 7 + 5 = 0. Put t, 4, 7 in decreasing order.
7, 4, t
Suppose -11*q = -21*q + 580. Put -1, q, 4 in descending order.
q, 4, -1
Let q(j) = -3*j - 18. Let t be q(-7). Sort t, 0.4, -3.
-3, 0.4, t
Let d = -2 - -2.4. Sort d, -2/3, 3.
-2/3, d, 3
Let f = -1.4 - 0.6. Sort 1/9, 0, f in ascending order.
f, 0, 1/9
Let a = -8 - -5. Let n be (-56)/(-24) - 2/6. Let x be n - 0 - (1 - 0). Sort x, a, -4 in decreasing order.
x, a, -4
Let x = -0.539 + 0.539. Let b = 1.1 + 0.1. Put -1/5, x, b in descending order.
b, x, -1/5
Suppose 23 = 2*o - 5*g - 10, 2*o + 17 = -5*g. Let l be -3*(-1)/15*o. Let h = -0.2 - 0.8. Sort l, 0, h in increasing order.
h, 0, l
Suppose 0 = k + 4*k + 25. Put -2, -4, 3, k in increasing order.
k, -4, -2, 3
Suppose 0 = -5*s - 8 - 7. Let a(k) = k**2 - 8*k + 2. Let d be a(8). Let l = d + s. Put -5, l, 4 in descending order.
4, l, -5
Let h be ((-2)/(-10)*-6)/(1/5). Sort 4, h, 5, 0.
h, 0, 4, 5
Let l = 0 + -4. Sort l, -3, 4 in descending order.
4, -3, l
Let c = -0.1 - -0.2. Let m = c - 0.1. Let i = -0.2 + m. Put -0.4, 2, i in decreasing order.
2, i, -0.4
Suppose 4*d - 12 = -o, 5*d - 22 = -2*o - o. Let g = 0 + 1. Sort 2, o, g in increasing order.
g, 2, o
Let g(k) = -2*k + 4. Let c be g(4). Put 0, c, -3 in descending order.
0, -3, c
Suppose -40 + 28 = -3*z. Sort z, 5, 6.
z, 5, 6
Let v be (-1)/(-3 - 44/(-16)). Let a be (-4)/3 + 1/3. Let z be a/3 + 22/30. Put v, 1, z in increasing order.
z, 1, v
Let w = -0.2 + -0.3. Suppose -5*c + 8 = s - 17, -4*c - 3*s = -20. Sort 0.1, w, c in increasing order.
w, 0.1, c
Let i be 20/6 - (-1)/(-3). Suppose -k - 9 = i*s, -2*k - 3 = 3*s + 3. Put 0, s, -1 in decreasing order.
0, -1, s
Let n(h) = h**2 + 14*h + 2. Let g be n(-14). Suppose -4*p = p. Sort g, p, -2.
-2, p, g
Let s(o) be the first derivative of o**4 - o**2 - o + 1. Let f be s(-1). Let r be 5/(-2)*6/3. Put f, 4, r in decreasing order.
4, f, r
Let i be 34/(-187) - 4/(-22). Suppose 0 = -3*t - 4 - 8. Put t, i, -2 in descending order.
i, -2, t
Let r = 863/117 - 65/9. Let c be (-2)/(-6) + 4/(-3). Put c, r, 1 in descending order.
1, r, c
Let p = -5.2 - -5. Let i = 1.3 + -4.3. Put p, i, 0.5 in decreasing order.
0.5, p, i
Let b = -4 - -3. Let h = -7 + 4. Let j be (1/2)/(h/(-30)). Put -5, b, j in descending order.
j, b, -5
Let t = 10 - 10.3. Sort t, 2/5, 2.
t, 2/5, 2
Let s be (6 + -3)*(-1)/3. Sort 3, 2, 6, s.
s, 2, 3, 6
Let s = 0.3 + -0.7. Let v = -2 - -5. Sort v, s, 5 in decreasing order.
5, v, s
Let z(x) = 0*x + x + x. Let o be z(1). Let a = 72 + -74. Put 2/7, o, a in descending order.
o, 2/7, a
Let o be (-4)/(-22) - (-24)/(-11). Sort o, -4, -5 in descending order.
o, -4, -5
Let c = 23 + -23. Sort c, 0.3, -8 in ascending order.
-8, c, 0.3
Let n = -25 - -56. Put 3, 4, n, 5 in descending order.
n, 5, 4, 3
Let t = -72 - -71.5. Let q = -7 + 10. Sort 0, q, t in ascending order.
t, 0, q
Let p = 8.5 + -9. Let g = p - -0.7. Suppose 4*k - 6 = -2*l, 0*l + 3 = 5*l + 4*k. Sort g, l, -1/6 in ascending order.
l, -1/6, g
Let n = -2 - 1. Let u = n - -4. Suppose f + 2 = -f. Sort f, -3, u.
-3, f, u
Let d = 97 - 96.8. Put 0, 0.5, d in descending order.
0.5, d, 0
Let r = -18 + 16. Put -16, r, 5 in descending order.
5, r, -16
Let r = -8 - -3. Let b = -4 - r. Let f = -3 + 3.1. Put f, b, 0.3 in decreasing order.
b, 0.3, f
Suppose -4*h = 4*h. Let z = -3 + 1. Let v be 1*(-2 + (-2 - z)). Put v, 5, h in descending order.
5, h, v
Let v be -1 + (-4)/(2/1). Let b be (-1)/(4 - 4 - 1). Put v, b, -5 in descending order.
b, v, -5
Let t be ((-1)/(-3))/(7/5). Let x = 4/7 - t. Let b = 2 + -7. Sort x, -0.2, b in descending order.
x, -0.2, b
Suppose 6*b - 3*b + 7 = u, 3*u + 3 = b. Sort 4, 1, 5, b in descending order.
5, 4, 1, b
Let n = -0.16 + 0.16. Let a = 9 + -5. Put n, -3, a in increasing order.
-3, n, a
Let g be ((-5)/5)/(1 + 0). Suppose 0 = -2*n - n - 6. Let f be 1 + (0/(-2))/n. Put f, -2, g in descending order.
f, g, -2
Let v(x) be the first derivative of x**3/3 + 5*x**2/2 - 4*x - 3. Let u(j) = -2*j**2 + 5*j - 2. Let z be u(3). Let m be v(z). Put 3, m, -1 in 