40)/15 - 1*o. Put -3, -1/5, x in descending order.
x, -1/5, -3
Suppose -3*i + 30 = -b - 6, -3*b = i + 58. Let j be 0 - (3 - (-60)/b). Sort 4, j, -0.3.
-0.3, j, 4
Suppose 0 = -2*q - 2 - 4. Let j(n) = n**2 - 15*n - 4. Let m be j(15). Sort m, 3, q.
m, q, 3
Let x = -3 - 1. Let g be 134/(-68) - (-2)/x. Let p = g - -167/102. Sort 0.2, 0, p in decreasing order.
0.2, 0, p
Suppose 4*o - 6*o - 10 = 0. Let k be (-3)/(-6)*-2 + 6. Suppose 5*w - n = 4*n + k, -3*w + 5*n + 13 = 0. Put o, w, 2 in ascending order.
o, w, 2
Suppose -3*h + 5*h + 6 = 0. Let v be -17*(-4)/(16/(-20)). Let w be 2 + h - 75/v. Put 0.1, 3, w in descending order.
3, 0.1, w
Let u = 9 - 3. Let j(x) = -x**3 + 7*x**2 - 6*x - 1. Let f be j(u). Put -2, f, 2 in increasing order.
-2, f, 2
Let i(w) = -w**3 + 5*w**2 + 7*w - 1. Let c be i(7). Let q be ((-4)/c)/(4/20). Sort q, -1, -3.
-3, -1, q
Let m(l) = 4*l - 26. Let z be m(7). Sort 3, z, 4 in increasing order.
z, 3, 4
Suppose 5*t - 20 = t, -3*q + 22 = -t. Let u(z) = 0*z - q + z + 3. Let b be u(7). Put 2, -1/4, b in ascending order.
-1/4, b, 2
Let i = -0.1 - -0.2. Let b = -5 + 9. Put i, b, 0.2 in descending order.
b, 0.2, i
Suppose -5*r - 2 + 1 = -4*l, -2*r = -5*l + 14. Put l, 0, -4, -1 in descending order.
l, 0, -1, -4
Suppose 5 + 3 = 2*g. Let s be ((-4)/6)/(-2)*-1. Let p be 122/18 + -3 - 4. Put s, g, p in decreasing order.
g, p, s
Let z = 5 - 10. Sort -4, z, 1/3.
z, -4, 1/3
Let q(t) = -2*t + 6. Let p be q(-7). Suppose -p = 4*l + l. Let h = l - -3. Sort 4, h, 2.
h, 2, 4
Let j = 6 - 7.4. Let f = -1 - j. Sort 0.5, f, -4 in decreasing order.
0.5, f, -4
Let o(y) = -y**2 - 9*y - 8. Let n be o(-8). Suppose n = -4*u + 2*u + 8. Sort u, -2/3, -1 in increasing order.
-1, -2/3, u
Let o = 22 - 19. Let g = 29 + 3. Let p be (-108)/g + o/1. Put 0.4, p, -4 in descending order.
0.4, p, -4
Suppose -3 = -3*c + 3*o, -o - 4 + 13 = c. Let z = 4 - 0. Suppose -2*u = 2*k + 4, -3*u + 26 = -z*k - k. Put c, k, 3 in decreasing order.
c, 3, k
Suppose -v + 6*v - 60 = 0. Let m = -13 + v. Sort -5, -4, m in increasing order.
-5, -4, m
Let x = 7 - 7. Let r = x + 5. Sort r, 0, -1.
-1, 0, r
Let o = 77 + -382/5. Let a be (-633)/(-21)*(2 - 0). Let z = a - 60. Put z, o, 5 in increasing order.
z, o, 5
Let u(k) be the second derivative of k**4/6 + k**2/2 - k. Let d be u(1). Suppose -4*z - 13 = v, z + 3*z + d = v. Put v, 4, 1 in increasing order.
v, 1, 4
Let n(l) = l - 9. Let h be n(7). Suppose -3*x + 26 = 8. Suppose -8 = -2*w, p = 6*p - w - x. Sort h, p, -3 in descending order.
p, h, -3
Let q(u) = -u - 21. Let x be q(-19). Put 2, x, 4, -3 in descending order.
4, 2, x, -3
Suppose -2*t + 2 + 0 = 0. Suppose 0 - 5 = 5*w. Let a = -3 + w. Sort a, t, 0 in descending order.
t, 0, a
Let n be (-99)/(-21) + 2/7. Let r = -2 + -1. Sort 3, r, n in decreasing order.
n, 3, r
Suppose -2*i = i - 5*w + 8, 28 = 4*i + 3*w. Sort 5, i, 2.
2, i, 5
Suppose -61 = -9*n - 16. Suppose 0 = -2*c + 5*c. Suppose -3*k = -c*k + 3. Sort -5, n, k in descending order.
n, k, -5
Let a = -230/19 - -12. Put a, -0.05, -3 in descending order.
-0.05, a, -3
Suppose -14*s = 34 - 6. Sort s, -5, -1.
-5, s, -1
Let k = 15 + -16. Put k, -2, 0 in increasing order.
-2, k, 0
Suppose 11 = -5*r + 2*o - 6*o, -5*r + 2*o = -13. Let u = 8 - 6. Let d be 7 + 1/(-1)*2. Put u, d, r in decreasing order.
d, u, r
Let l = 77 - 86. Put l, -1, -2/5 in descending order.
-2/5, -1, l
Suppose -2*q + 5*q = 12. Sort q, -4, 2 in decreasing order.
q, 2, -4
Suppose 4*f = 2*f + 10. Suppose 0 = g - 2*g - f. Put g, 1, -1 in descending order.
1, -1, g
Let h = 5 + -2. Put -4, 4, h in decreasing order.
4, h, -4
Let m(j) = -j - 3. Let b be m(2). Sort 5, -2, b.
b, -2, 5
Let m = -3.91 + -0.09. Let y be ((-54)/(-126))/((-2)/(-4) + -2). Sort y, -4/9, m in increasing order.
m, -4/9, y
Let z(x) = -x**3 + 5*x**2 + x - 4. Let d be z(5). Suppose -4*t - 9 = -d. Let a be (-1)/2*(39 + -49). Put t, a, 2 in decreasing order.
a, 2, t
Suppose 0 = -0*o + 3*o. Let k(u) = -u - 3. Let s be k(o). Sort s, -1, 4 in ascending order.
s, -1, 4
Let t be -2*(1 - 1 - 4). Suppose t = 5*x - 7. Suppose 5*a = -x*c + 34, 7*c = 2*c + 5*a - 10. Sort c, -1, -5 in decreasing order.
c, -1, -5
Suppose 13 = o - 4*y, 4*o - 30 = -y + 5. Suppose -5*t + 15 = 3*s, -t = 5*s + 2*t - o. Sort -1, 5, s.
-1, s, 5
Let i = 0.18 - -7.82. Let g = i + -5. Let r = -0.8 + -0.2. Put r, -0.3, g in decreasing order.
g, -0.3, r
Let q be -3 - (-3)/(-12)*4. Sort q, -5, 6 in decreasing order.
6, q, -5
Suppose -9 - 6 = -5*q. Put 48, 5, q in decreasing order.
48, 5, q
Let i = 0.04 + 0.01. Let x = 0.15 + i. Sort x, 0.4, 4/9.
x, 0.4, 4/9
Suppose -14*x + 20*x + 6 = 0. Sort x, 0, -5, -4 in descending order.
0, x, -4, -5
Let k = 171/56 + -21/8. Let j = 42 - 44. Sort -1/5, k, j.
j, -1/5, k
Let w be 3 - 7/((-7)/(-6)). Let s be w*(-2 - -5)/(-3). Suppose s*r - 8 = 7*r. Sort 1, 0, r in descending order.
1, 0, r
Let r(p) = -2*p**2 - 2*p + 2. Let y = -4 + 2. Let v be r(y). Put 1, v, -7 in decreasing order.
1, v, -7
Suppose 3*i + 6 = 6*i. Suppose -u + 3 = -i. Let q = -1 - 4. Sort u, q, -3 in ascending order.
q, -3, u
Let k(q) = -q + 4. Let w be k(4). Suppose f = 4*l - 5, w*f = -5*l - 2*f - 10. Put -4, -7, l in ascending order.
-7, -4, l
Let q = 0.14 - 0.34. Sort q, -1/6, 0.5.
q, -1/6, 0.5
Let u(z) = z**3 - z**2 - 2*z + 2. Let b be u(2). Let f be ((-30)/24)/(b/8). Let v(j) = -2*j + 8. Let r be v(6). Put r, f, 5 in ascending order.
f, r, 5
Let f = 0.9 - -0.1. Let a = 0.048 - -28.952. Let k = -32 + a. Put k, 2, f in increasing order.
k, f, 2
Let v be (-1)/(-2 - -4 - 1). Sort -5, v, 3 in ascending order.
-5, v, 3
Let g = -5 + 8. Let a = 0.1 - 5.1. Let c = a + g. Put 5, 0, c in descending order.
5, 0, c
Suppose -2*r - d + 4 = -1, 5*r = 4*d + 32. Suppose y = u + 8, r*y + 3*u + 1 = -2. Put -4, y, 4 in increasing order.
-4, y, 4
Let m = -0.4 + 5.4. Let p = 0.01 - -0.29. Sort p, -3, m.
-3, p, m
Let l = -10 + 9.76. Let h = l - -0.04. Let u = 53/36 + -5/4. Sort h, 3, u in descending order.
3, u, h
Let y = 13 + -7. Suppose 0*h + y*h = 6. Put h, 4, 7 in decreasing order.
7, 4, h
Suppose 7*q - 4*q - 15 = 0. Put -3, -4, q in ascending order.
-4, -3, q
Let o(k) = 2*k**2 - 2*k - 13. Let t be o(3). Put 1, t, -4 in decreasing order.
1, t, -4
Suppose 0 = -2*b - 0*b - 10. Let d(w) = w - 1. Let r be d(1). Sort 1, r, b in ascending order.
b, r, 1
Suppose 0 = 3*y + t - 3, -y = t + t + 4. Suppose -5*x = -2*x + 4*g + 6, 5*x - y*g = 16. Suppose -9*c = -4*c + 15. Sort -2, c, x in descending order.
x, -2, c
Let k be 12 + -1 - 2 - 1. Suppose 25 = -k*w + 3*w. Let f be 2/(-4)*w + -2. Sort f, 3/4, -3 in ascending order.
-3, f, 3/4
Let q = 13 - 9. Let c = 2 + -1. Sort -2, q, c.
-2, c, q
Let m be (10/(-8))/(2/(-32)). Suppose 30 = 5*k - 5*c, -4*c + 0 = m. Suppose 0 = 3*v - 4*q + 5*q + 8, -3*q - 8 = 5*v. Put k, 4, v in descending order.
4, k, v
Suppose -6*s = s - 2*s. Sort -10, 3, s, 2 in ascending order.
-10, s, 2, 3
Let l(q) = q**3 + 8*q**2 + 13*q + 7. Let m be l(-6). Put -1, m, -2, -6 in decreasing order.
m, -1, -2, -6
Let j be 0 + 0 + 1 + 2. Suppose m + 0*m = -5*f + 20, 4*m = 5*f - 20. Sort j, 1, m in descending order.
j, 1, m
Suppose k = -d + 1, -k = -5*d - 0*k + 11. Let h(w) = -2*w**2 + 8*w - 4. Let v be h(4). Sort d, 3, v in descending order.
3, d, v
Let j(s) = -s**3 - 9*s**2 - 8*s + 4. Let n be j(-8). Put -2, n, 0 in increasing order.
-2, 0, n
Let n(t) = t**2 + 11*t + 27. Let d be n(-7). Sort d, 3, 0, 5 in increasing order.
d, 0, 3, 5
Let y = -13.33 + 0.33. Let f = y + 18. Put -1/10, -3, f in ascending order.
-3, -1/10, f
Suppose -4*a + 5*z + 7 = 0, -a - 2*a = -2*z - 7. Let s(f) = -5*f**2. Let u be s(-1). Sort u, 0, a.
u, 0, a
Let k = 16.5 + -16.2. Let r = -16 + 23. Put -1/3, k, r in decreasing order.
r, k, -1/3
Suppose -m - t - 1 = 2*t, -3*t + 1 = -m. Let d = -287 - -287. Put m, d, 5 in increasing order.
m, d, 5
Let z = 19/3 - 6. Put z, 4, -7 in decreasing order.
4, z, -7
Let v be 5/2*36/(-30). Put 4, v, -14, 0 in descending order.
4, 0, v, -14
Let w = 3.7 + -3. Let u = w + 0.3. Suppose -4*b + 5*c = 4 - 30, 0 = -3*b + 5*c + 22. Sort b, u, 5 in decreasing order.
5, b, u
Let d = 93 - 91. Put 1, d, -3, 0.2 in ascending order.
-3, 0.2, 1, d
Suppose 2 + 2 = -3*o - 4*n, 2*o - 4 = -n. Put -5, 3, o in ascending order.
-5, 3, o
Suppose 5*b + 7 = -103. Let f = -23 - b. Suppose 7 = -5*z