 = k - 3. Put 0, x, -2 in descending order.
x, 0, -2
Suppose -q + 6 = 3. Sort 2, 0, q in ascending order.
0, 2, q
Let p = -8 - -6. Let r be p/(-4) - (-10)/(-36). Sort 0.3, r, 5.
r, 0.3, 5
Let s = 32 + -15. Let x = -13 + s. Sort 2, -2/15, x.
-2/15, 2, x
Suppose u - 6*u = 5*n, -u + 4*n = 0. Let t be 2 - 3/((-3)/(-4)). Let d(m) = m. Let v be d(4). Put v, t, u in increasing order.
t, u, v
Suppose 6*f - f - 15 = 0. Sort f, -0.05, 2 in descending order.
f, 2, -0.05
Suppose 0 = 16*k - 12*k - 8. Sort -4, 6, k in ascending order.
-4, k, 6
Suppose -o - 10 = -i + 5, -5*o + 5 = 3*i. Let g be -3 + (-39)/9*-3. Suppose 4*m - g = i. Sort 0, -5, m.
-5, 0, m
Suppose -5*a = -0*a. Let z = -2 - -6. Suppose -5*t = 27 - 42. Put t, z, a in descending order.
z, t, a
Let g = 4/115 - -194/1035. Let z = 0.27 + 0.13. Sort z, 4, g.
g, z, 4
Let p = 5 + -7. Let f = 1 - -3. Put p, f, 3 in descending order.
f, 3, p
Suppose -32 = 8*p - 0*p. Sort -5, p, 0 in descending order.
0, p, -5
Let a = 133 - 132. Sort 0.12, 5/3, 2/7, a.
0.12, 2/7, a, 5/3
Let k be 2/(-3) - 40/(-42). Sort 0.5, k, 2, 1 in ascending order.
k, 0.5, 1, 2
Suppose -j = -4 + 7. Let w = -6 - -8. Put -0.1, j, w in decreasing order.
w, -0.1, j
Let o = 12 + -17. Let m be o/(-10) + 70/4. Suppose -m = -2*j + 4*p, 12 = j - 0*j - 3*p. Put j, -0.2, -4 in ascending order.
-4, -0.2, j
Let x = 9.71 - 10.7. Let m = x - 0.01. Sort -2/5, -1/6, m in descending order.
-1/6, -2/5, m
Suppose 0 = -3*c - v - 4*v + 26, -2*c + 34 = -5*v. Let q = c - 7. Let l be (-172)/36 - (-4)/(-18). Sort l, q, -2.
l, -2, q
Let q = -856/3933 + -2/437. Sort 0, q, -1/8.
q, -1/8, 0
Suppose -z - 3*g = -0*z + 5, -3*z - 3*g = 3. Let q be (1 - z)/(1/1). Suppose -5*k - 17 = -4*a, q = -3*k + 1 - 4. Put -3/2, 5, a in decreasing order.
5, a, -3/2
Let m = -792/4979 + 2/383. Put 4, -20, m in ascending order.
-20, m, 4
Let a = 2379/8 + -297. Sort 0.5, a, 0.05 in descending order.
0.5, a, 0.05
Let w = 0.1 + 3.9. Let y = -6.2 + 1.9. Let q = 4 + y. Sort w, 1, q in ascending order.
q, 1, w
Let d = 103 + -105. Sort -3, 0, 1, d in descending order.
1, 0, d, -3
Let m = 355 - 5327/15. Put 1, m, 0, 0.2 in descending order.
1, 0.2, 0, m
Let j(g) = g - 6. Let l be j(6). Put -2, -5, l in descending order.
l, -2, -5
Let y be (93*7/14)/((-2)/4). Sort -4, y, 4 in increasing order.
y, -4, 4
Let d(o) be the first derivative of -o**2/2 - 6*o + 1. Let n be d(-5). Suppose -12 - 8 = 4*l. Put 2, l, n in decreasing order.
2, n, l
Let n = 3 - 5. Suppose 3*f = f. Let s be 4 - 0 - (f + 0). Put n, 3, s in descending order.
s, 3, n
Let p = 11 + -9. Suppose p*w + 3 + 3 = 0. Sort 4, w, 0 in descending order.
4, 0, w
Let v = 0.15 - -6.85. Let g = 2 - v. Sort -0.1, g, -2/11 in increasing order.
g, -2/11, -0.1
Let x = -0.976 - -1.01. Sort 1/3, x, 3 in descending order.
3, 1/3, x
Let n(m) = -m**2 + 8*m - 4. Let y be n(7). Let b be -1 - -1 - 0/(-4). Suppose b = 3*c + 6 + 9. Sort -2, c, y in decreasing order.
y, -2, c
Let c = -19 + 5. Let i = c - -16. Put -2, i, 4 in ascending order.
-2, i, 4
Let m(k) = k**3 + 2*k**2. Let s be m(-2). Put 11, -5, s in decreasing order.
11, s, -5
Let l = 2 + 1. Put 5, 17, l, -3 in decreasing order.
17, 5, l, -3
Let v be (-3)/5 - 0/(-11). Put -1.1, -2/3, v in decreasing order.
v, -2/3, -1.1
Let m = -16 - -20. Sort m, 1, -2/11, -2 in increasing order.
-2, -2/11, 1, m
Let n(m) = m**2 + 5*m + 2. Let p be n(-5). Let x be 3/p - (-1)/2. Suppose 5*o = -o + 5*o. Put 4, x, o in decreasing order.
4, x, o
Let y = 6.7 - 3. Let t = -0.3 - y. Let n = 2 - 2. Put n, t, -1/8 in increasing order.
t, -1/8, n
Suppose 0*a - 4*n - 5 = a, -2*a + 40 = -2*n. Let u be (2/(-45))/(3/a). Sort 5, u, 0.5 in ascending order.
u, 0.5, 5
Suppose 11 = 3*l - 2*m, 2*m + 6 = 5*m. Suppose 1 - l = -k. Put k, 0, -1 in descending order.
k, 0, -1
Let q(t) be the second derivative of t**5/20 - 5*t**4/12 + 3*t**2/2 - t. Let x be q(5). Put -2, x, 4 in descending order.
4, x, -2
Let z be -1 + -5 - ((0 - 2) + 1). Let s(u) = u**3 - 2*u**2 + 2*u - 2. Let v be s(2). Put z, 4, v in decreasing order.
4, v, z
Let b = -44 - -44.1. Put b, 3/4, 3 in decreasing order.
3, 3/4, b
Let q = -1.8 + 1.6. Sort q, -2/9, -0.01.
-2/9, q, -0.01
Let b = -0.1 + -7.9. Let m = -12 - b. Sort 3, 1/4, m.
m, 1/4, 3
Let t = -117.7 + 118. Put -2, -1, t, 2 in ascending order.
-2, -1, t, 2
Suppose 2*a = -o + 3, -5*o + a - 4*a = 13. Sort 1, -4, o in descending order.
1, -4, o
Let w(r) = -1. Let t(q) = -q + 3. Let f(z) = t(z) + w(z). Let a be f(6). Let h = -8 + 6. Put a, h, 3 in descending order.
3, h, a
Let t = 0 - 0.2. Let g be (-2)/4 - (-2)/(-20). Sort -3/2, g, t in descending order.
t, g, -3/2
Suppose 0 = -3*z - 10 + 25. Let a be (-1 + 1)*3/(-6). Let y be (1 - a - 1)/(-1). Put y, z, -4 in increasing order.
-4, y, z
Suppose -5*c + 2*c + 2*b = -2, -4*c = -4*b. Let l(x) = 2 - 1 + x - c. Let q be l(5). Sort 5, -3, q in decreasing order.
5, q, -3
Let i be ((-3)/2)/((-1)/(-12)). Let x be -7*(i/(-7))/3. Let k be 4/6 - 2/x. Put k, -1, -5 in decreasing order.
k, -1, -5
Let l = 722/5 - 144. Sort l, 0, 1/4, 4/5 in decreasing order.
4/5, l, 1/4, 0
Let x = 9.497 + -0.097. Let j = x - 9. Put 0.04, j, 0.5 in ascending order.
0.04, j, 0.5
Suppose 0*d = -2*d - 10. Sort d, -4, -23.
-23, d, -4
Suppose -j + 5*d = -11, 3*d - 1 = -j - 6. Sort -2, j, 5.
-2, j, 5
Suppose -5*j = -20 + 5. Suppose 4*r - 3*q = 31, -7*q = 3*r - 2*q + 13. Put -3, j, r in increasing order.
-3, j, r
Let j = -1 - 0. Let g(f) = f**2 - 2 - 44*f + 38*f - 1. Let d be g(6). Sort d, j, 5 in descending order.
5, j, d
Suppose 2*c = -2*j - 8, -3*c = -4*j - 0 - 2. Put -4, 0, c, -5 in increasing order.
-5, -4, c, 0
Let w be ((-14)/21)/((-1)/6). Suppose 4*r + 2*x - w = 2*r, 2*r - 14 = 3*x. Put -3, 1, r in descending order.
r, 1, -3
Let r(z) = z + 7. Let j be r(-3). Let k(l) = l - 8. Let o be k(7). Let x = 3 - 3. Put x, j, o in descending order.
j, x, o
Let h be (1 - 2)*(-1 - -3). Put -5, -1, h in descending order.
-1, h, -5
Suppose 2*j = -2*k, -12*k + 10*k - 1 = j. Put -3, -6, 3, k in increasing order.
-6, -3, k, 3
Let l = -123/4 - -31. Suppose -3*d = -1 + 7. Sort d, l, -1/6 in descending order.
l, -1/6, d
Suppose -2*y = -5*u - 41, 0 = 2*u + 4 + 6. Suppose -k - y = -3*k. Put -1, k, 5 in ascending order.
-1, k, 5
Let r = -1 + 5. Let j = 3 + r. Suppose -3*z + 8 = -s, 0 = z - 3*z - 5*s + 11. Put -4, z, j in increasing order.
-4, z, j
Let l(q) = q**3 - 17*q**2 + q - 18. Let z be l(17). Sort 3, 1, -5, z in decreasing order.
3, 1, z, -5
Suppose 3*r - 36 = -3*l, l + l + 5*r = 39. Let p(w) = -w + 7. Let g be p(l). Sort g, 5, -3.
-3, g, 5
Let b = 11 - 7. Suppose -2*o = 4*g - b - 0, -4*g = -3*o + 16. Let c = 1 + g. Sort c, 4, 2 in ascending order.
c, 2, 4
Let q = -3.39 - -0.39. Sort q, -0.5, -1.8 in descending order.
-0.5, -1.8, q
Suppose y + 17 = -5*f + 2*y, 2 = -2*f + 2*y. Let b = 1.3 - 6.3. Let h = b + 4.6. Put f, h, 0 in decreasing order.
0, h, f
Let u(z) = z + 1. Let r be u(3). Let p = 12 - 23. Let i be p/(-4) + (-1)/(-4). Put i, 5, r in increasing order.
i, r, 5
Suppose 6 = -2*c + 5*d - 18, -4 = -2*d. Put c, -5, 0.3 in decreasing order.
0.3, -5, c
Let w = -15 + 10. Sort -3, w, 2 in decreasing order.
2, -3, w
Let c(w) = w**3 + w**2 - 4. Let o be c(0). Suppose -18 = -2*r - 4*y, 14 = -6*r + 4*r + 4*y. Sort o, 3, r.
o, r, 3
Let p = -10 - -13. Put p, 1, 5, -4 in increasing order.
-4, 1, p, 5
Let z = -12 + 8. Let h be (3 + (-6 - -4))*0. Sort z, -1/10, h.
z, -1/10, h
Let u(k) = k**2 + 8*k + 12. Let a be u(-8). Suppose -5*g - a = -2. Let j = g - 1. Put j, -4, 2 in decreasing order.
2, j, -4
Suppose 4*c - 2 = 5*c. Sort -5, 54, c in decreasing order.
54, c, -5
Let t be (2/4)/(2/(-12)). Suppose -2*a = 2*a. Suppose a = -4*g + 3 + 17. Sort g, 0, t in descending order.
g, 0, t
Let t = 6 - 5. Let x(y) = -y + 4. Let h be x(0). Put h, 5, t in increasing order.
t, h, 5
Suppose -66 = 2*b + 9*b. Put 5, b, 2, 4 in descending order.
5, 4, 2, b
Let r = 75 - 74. Put 2, r, 3, -3 in increasing order.
-3, r, 2, 3
Let u = -0.0124 - 40.1876. Let y = 37 + u. Let d = -0.2 - y. Sort 1/3, d, 4 in decreasing order.
4, d, 1/3
Let b = 29 + -32. Let w = -255 + 1788/7. Let l = -5 - -4. Sort l, b, w in decreasing order.
w, l, b
Let p = -0.056 - 0.144. Sort 0.6, 3/4, p.
p, 0.6, 3/4
Let w(a) = 2*a + 8. Let h(y) = -2*y - 9. Let v(t) = -4*h(t) - 5*w(t)