t s = -24 + 19. Put 0, m, s in decreasing order.
m, 0, s
Let z = -0.306 + 5.306. Put 1, z, 13 in increasing order.
1, z, 13
Let b = -0.5 - 0.1. Suppose 4*y - p + 6 = 0, p + 25 = 27. Put -1/4, b, y in ascending order.
y, b, -1/4
Let p = -33.8 - 10.2. Let t = -45.9 - p. Let b = -2 - t. Sort -5, b, 0 in decreasing order.
0, b, -5
Suppose -17 = 5*k - 12. Sort -9, 3, k.
-9, k, 3
Let m(f) = -8*f + 97. Let z be m(11). Put -4, 0.4, z, -0.1 in decreasing order.
z, 0.4, -0.1, -4
Let m(z) = z**3 - 8*z**2 + 8*z - 9. Suppose 0 = 2*n - 5*n + 21. Let f be m(n). Suppose -2*c + 0 = 4, -4*c + 7 = -3*v. Put v, f, -3 in descending order.
f, -3, v
Let m = 8 - 11. Let k be 21/6 + m/(-6). Let v = 3 - k. Sort v, 5, -5 in descending order.
5, v, -5
Let r(m) = -m**3 + m**2 - m + 1. Let a be r(1). Suppose 7*x = 3*x + 2*b + 8, 20 = 3*x + 2*b. Suppose -2*o + o - x = 0. Sort -6, a, o in descending order.
a, o, -6
Let m = -0.7 + 5.7. Suppose 0 = -3*s + 4*x - 5 - 3, -x + 2 = s. Put s, m, -1 in descending order.
m, s, -1
Let v = 33 + 4. Put -1, 4, v, 5 in descending order.
v, 5, 4, -1
Suppose 5*p + 75 = 3*l, -5*l - 2*p = -0*p - 94. Suppose 2*q + 1 - 11 = 4*i, i - 5*q - l = 0. Sort 3, 1, i in ascending order.
i, 1, 3
Let a = 9.4 + -8.83. Let p = 12.9 + -13.07. Let c = p + a. Put -1/3, 0.1, c in increasing order.
-1/3, 0.1, c
Let l = 3.76 - -0.24. Let n = 0.073 + 0.927. Sort l, 1/4, n in increasing order.
1/4, n, l
Let l be ((-3)/2)/((-12)/64). Suppose 4*q = l*q. Let s = 4409/13 - 339. Put s, 3, q in decreasing order.
3, s, q
Suppose 2*l - 2*b = 0, -127*l + 126*l - b + 10 = 0. Put 35, 3, 2, l in increasing order.
2, 3, l, 35
Let b be (-2)/(3*(-8)/36). Suppose 0*y + 17 = -b*y - t, -y + 4*t = -3. Sort 4, 1, y in decreasing order.
4, 1, y
Let u = 0.06 + -0.36. Let n = 1/12 + -7/12. Sort 3, u, n in descending order.
3, u, n
Suppose 4*m - 20 = 5*z - z, 5 = m. Suppose z*x = 3*x + 9. Sort x, 0, 3 in decreasing order.
3, 0, x
Let x = 9 + -6. Suppose 29 = t + r - 6*r, x*r = -2*t - 7. Sort -1, t, 3, 1 in decreasing order.
t, 3, 1, -1
Let z be 109 + (8/(-20) - 6/(-15)). Let h = z - 113. Put 5, 11, h, -1 in descending order.
11, 5, -1, h
Let y = -13 - -18. Let s be y/(-20)*1 - 26/(-8). Suppose -3*d - 1 = -4. Sort s, d, 2 in increasing order.
d, 2, s
Let u be 0 - (-5 - (-8)/1). Sort -5, 26, 5, u in decreasing order.
26, 5, u, -5
Let r(t) be the second derivative of -1/20*t**5 + 0 + 5/6*t**3 - t**2 - 5/12*t**4 - t. Let o be r(-6). Sort 2, o, -1 in increasing order.
-1, 2, o
Let g = -0.62 - -7.12. Put -1, g, 1/5, 1/3 in descending order.
g, 1/3, 1/5, -1
Suppose 0 = -2*x - 20 + 6. Let k = x + 6. Sort k, -19, 1.
-19, k, 1
Suppose 16*b = 4*o + 11*b - 27, b + 12 = 3*o. Let f = 7 + -10. Let m be (-2 - f)/((-2)/(-18)). Sort 4, o, m in descending order.
m, 4, o
Let g(w) = -w**3 - 18*w**2 - 2*w - 33. Let v be g(-18). Sort 2, -8, -2, v.
-8, -2, 2, v
Suppose 3*m + 6*b = 8*b - 11, -m - 4*b = -15. Suppose -1 = -5*y + 4. Put y, m, 0 in increasing order.
m, 0, y
Let p(x) = -2*x**2 + 33*x - 122. Let z be p(7). Sort -2/15, z, -3/4 in descending order.
z, -2/15, -3/4
Let s = -0.02 + 0.42. Let r be (4 - 14)/80 + 9/(-56). Put r, 1, -4, s in decreasing order.
1, s, r, -4
Let y be (-4 - -4 - -5)*1/(-2). Sort y, 0, -1/4.
y, -1/4, 0
Let p(i) = 3*i**2 + 28*i + 5. Suppose 55 = -5*v - 5*y, 0 = -3*v + 4*v + 5*y + 19. Let t be p(v). Let n be (-13)/4 - (-1)/4. Put t, n, 4 in descending order.
4, n, t
Let k = 1079 - 1084. Sort 1, 2, k in decreasing order.
2, 1, k
Let o = -35 - -30. Let x(f) = f**2 + 10*f + 9. Let v be (-3)/6*(16 + 2). Let b be x(v). Sort b, o, -3 in increasing order.
o, -3, b
Suppose -2*n = -6*n + 4. Let p be n/(1*3/(-33)). Sort 2, 0, p in decreasing order.
2, 0, p
Suppose -4*w = -11 - 9. Suppose -16 = -x + w*x. Let v = -8 - -10. Put x, 4, v in decreasing order.
4, v, x
Let g be 1*-1*(-24)/(-280)*7. Sort 18/5, g, -2 in increasing order.
-2, g, 18/5
Suppose 5*p = 4*j + 3*p + 16, -3*j - 4*p = 12. Sort j, -2, -5, 0 in descending order.
0, -2, j, -5
Let z = -1369 - -5471/4. Let n = 7.3 - 8. Let u = -5.7 - n. Put z, u, -11 in increasing order.
-11, u, z
Suppose 16 + 32 - 7 = -41*x. Let i = -4 + 6. Sort 4, i, 5, x in ascending order.
x, i, 4, 5
Let g be 3/6*102/85. Sort g, 0.3, 3, -0.3 in descending order.
3, g, 0.3, -0.3
Let o be 34/(-14) - 11/(231/9). Sort 2/5, o, 0.2 in decreasing order.
2/5, 0.2, o
Let p(h) = -h**2 - 55*h - 51. Let v be p(-54). Sort -56, v, -5 in descending order.
v, -5, -56
Let u = -0.9777 + -0.0223. Sort -0.5, -2/15, -104, u.
-104, u, -0.5, -2/15
Let c be -1 + 12/54*3. Sort -2/3, 5, 0.1, c in decreasing order.
5, 0.1, c, -2/3
Suppose -k = -f, 28*k - 4*f = 25*k + 4. Put 12, k, -1 in decreasing order.
12, -1, k
Suppose -a + 6 = -5*c, a = -3*a + 5*c - 36. Let r = a - -23. Suppose 3*g = 6*g - r. Sort 0, g, -5.
-5, 0, g
Suppose 6*l - 40 = 7*l. Let a = l + 43. Sort a, -4, 0, 1 in ascending order.
-4, 0, 1, a
Suppose 1 = -c + 2. Suppose 3*b + 1 = -8. Put c, -2, b in ascending order.
b, -2, c
Suppose 3*m - 4*m = -3. Suppose m*p - 1 = 2*p, -2*f + 3*p + 33 = 0. Let x be (-3)/(-24)*f/(-3). Sort x, 0.2, 2.
x, 0.2, 2
Let s = -13 - -9. Let k = -902 + 902.15. Sort 0.5, k, s, 2 in ascending order.
s, k, 0.5, 2
Let g be -110*(-1)/(-4)*6. Let h = g - -657/4. Let w = -0.58 + 0.18. Put -4, w, h in increasing order.
-4, h, w
Suppose 0 = -3*n + 3*y + 9, -5*n - y + 7 = 2*y. Let v = -1323 + 1319. Put -24, v, n in ascending order.
-24, v, n
Suppose 121*x = 143*x - 66. Sort x, 46, -1 in increasing order.
-1, x, 46
Suppose 2*u + 36 = 2*b, 1 = -3*u - 5*b - 37. Let l = -16 - u. Let w(j) = -j**3 - 7*j**2 + 9*j + 7. Let c be w(-8). Sort 1, l, c in increasing order.
c, l, 1
Let i be (-4)/10 - (-771348)/(-1980). Let f = i - -390. Sort f, 2/5, -2 in descending order.
2/5, f, -2
Let g = -0.53 + 0.03. Let q = 0.43 + -0.03. Let x be (-3040)/220 - (-16 + 2). Put q, g, x in increasing order.
g, x, q
Suppose 23 = -13*z - 16. Sort z, 4, -9.
-9, z, 4
Let s(h) = -h**2 - 7*h - 6. Let v be s(-6). Put -7, 1, v in decreasing order.
1, v, -7
Let w(o) = -3*o - 1. Let x(k) = 0*k - 12*k + 3 + 4*k - 5. Let u(g) = 11*w(g) - 4*x(g). Let s be u(-4). Put s, -2/17, -2/3 in ascending order.
-2/3, -2/17, s
Suppose 14 = -m + 12. Let w = m - -1. Suppose -2*b + 2 = -3*r - 0, -5*b = 2*r + 14. Put w, r, 3 in decreasing order.
3, w, r
Let q = -93 - -95. Let f = -68 - -139/2. Sort 0.1, f, q in descending order.
q, f, 0.1
Let n = -289 + 289. Sort -2, 5, n, -0.11.
-2, -0.11, n, 5
Suppose -2*h - 1 = 5. Let o be 1/(-10)*(5 + -1 + 2). Sort -5/2, -1/5, h, o in ascending order.
h, -5/2, o, -1/5
Let x = 24 - 29. Suppose 1 = -2*a - 3*c + 8, -11 = -3*a - 5*c. Sort 0.3, x, a in descending order.
a, 0.3, x
Let m(j) = -j**3 - 8*j**2 - 7*j - 1. Suppose -2*y = -4*y - 5*k - 15, 4*y + 16 = 4*k. Let f be (4 - (-55)/y)/1. Let o be m(f). Sort 0.1, 2, o in ascending order.
o, 0.1, 2
Let x be 896/160 + (-9)/15. Sort 2, -9, 4, x.
-9, 2, 4, x
Let d = -52 + 51.58. Let h = d - -4.42. Put 6, h, 0.2 in descending order.
6, h, 0.2
Let s be 9/12*(12/4)/3. Sort 0.132, s, -1/6 in decreasing order.
s, 0.132, -1/6
Let t = -579 + 599. Sort 0, -3, t, -4.
-4, -3, 0, t
Let x = 690 - 880. Put x, 5, -2 in descending order.
5, -2, x
Suppose -5*f - 20*l + 4 = -18*l, 4*f + 5*l + 7 = 0. Put -5, f, 65, 4 in ascending order.
-5, f, 4, 65
Let g = 7 + -8. Let y = g + 6. Suppose 0 = -3*x + n - 4*n + 15, n = 1. Sort x, y, 3 in decreasing order.
y, x, 3
Let h = 46 + -33. Sort 3/7, -1/4, h in descending order.
h, 3/7, -1/4
Suppose 0 = z + 4*a - 1, 2*a - 1 = -z + 6. Let p be (z - 1)*1/3. Suppose 5*s - 5*u = 35, -17 = -3*s - 4*u + 3*u. Sort 2, s, p in decreasing order.
s, p, 2
Let o be 9 - 10 - 6/(-5). Let d(f) = f**3 - 6*f**2 + 6*f + 2. Let y be d(5). Let l = -4 + y. Put o, l, -3 in ascending order.
-3, o, l
Let g(k) = -11*k - 129. Let m be g(-10). Sort 0.5, -2/7, 2/11, m in ascending order.
m, -2/7, 2/11, 0.5
Let l be 4/26 + 216/(-52). Put l, 5, -1 in decreasing order.
5, -1, l
Let f = 1.1 - 0.5. Let c = f - 0.8. Let l = 4 - 4.4. Sort -1/10, l, c in ascending order.
l, c, -1/10
Let i be 2/4 - 162/(-12). Let k = -0.344 - 1.656. Put k, i, -0.2, 2 in ascending order.
k, -0.2, 2, i
Let y = 5.04 + -1.04. Sort -1/7, -1, y, 0.51.
-1, -1/7, 0.51, y
Let f = 44 - 42. Suppose -5*l - f*k = 15, 2*k + 8 = -4*l - 