-5
Suppose 0 = -4*t - 0*t - 56. Let q = 17 + t. Suppose 2*o - q*z = 0, 0 = -3*o - 0*z + 3*z. Put o, 3, 5 in increasing order.
o, 3, 5
Let b(n) = -20 + 22*n + 4*n**2 + 3*n**2 - 5*n**2 + 0*n**2. Let w be b(-12). Sort 5, 0, w, 2.
0, 2, w, 5
Let s be (-24)/45 - 2/(-6). Let r be 6/9*41/(-82). Sort r, 0.1, s.
r, s, 0.1
Let v(n) = -3*n + 8. Let y be v(11). Let q = y + 25. Suppose 3*m = -m, w = 5*m - 2. Sort 3, w, q in ascending order.
w, q, 3
Let m(g) = g**2 - 14*g - 70. Let l be m(18). Put 4, 1, -22, l in descending order.
4, l, 1, -22
Let d = -202 + 140. Let w = d - -61.6. Sort -0.01, w, 2 in descending order.
2, -0.01, w
Let b = -16233.97 - -18359. Let s = 2113 - b. Let q = -12 - s. Put q, -2/15, 2 in decreasing order.
2, q, -2/15
Suppose 3*h + 3 = -3*z, 3*z - 8*h - 16 = 3. Put -0.07, z, -0.17, 0.5 in decreasing order.
z, 0.5, -0.07, -0.17
Let d = 594 + -598. Put d, 0.3, -3.6, -1/5 in decreasing order.
0.3, -1/5, -3.6, d
Let n(f) = 2*f + 80. Let y be n(-41). Suppose -3*r = -6*r + 3. Sort y, 0, -5, r.
-5, y, 0, r
Let s = 96.2 + -87. Let p = 9.2 - s. Sort -2/7, -5, 3, p in ascending order.
-5, -2/7, p, 3
Let u(y) = -4*y - 202. Let g be u(-51). Suppose -5*o + o = -20. Sort o, g, 3.
g, 3, o
Let p be ((1/1)/1)/1. Let t = 3 - p. Suppose -t*i - 6 - 2 = 0. Sort -5, i, 4 in descending order.
4, i, -5
Suppose 5*y - 21 = -q, 5*y - 6*q + q - 45 = 0. Suppose -y*p - 16 = 2*b, 0 = 5*p - b - 3*b - 2. Sort 3, p, -4.
-4, p, 3
Suppose -l + 5*f = 41, 4*l + 3 = -3*f - 0. Let j(z) = 4*z**2 - 2*z + 1. Let s be j(1). Let k = -4 + s. Sort l, -4, k in ascending order.
l, -4, k
Let c(w) = w**2 + 9*w + 6. Let h be c(-8). Let q(l) = 4*l**2 + 2. Let r be q(h). Let f be (8/12)/((-3)/r). Sort f, 2, -5 in decreasing order.
2, f, -5
Suppose 8 = 3*f + 5, 55 = -n - f. Sort -4, n, 0 in descending order.
0, -4, n
Let j = -0.74 + 0.24. Put -3, 1, j, -0.7 in decreasing order.
1, j, -0.7, -3
Let p = -0.89 + -30.41. Let y = p - -31. Sort -10, y, 4/3 in descending order.
4/3, y, -10
Let g = -0.73 - -5.83. Let f = g + -5. Sort 0.17, f, 0.5 in ascending order.
f, 0.17, 0.5
Let y = -112 + 114. Put y, -9, 7 in descending order.
7, y, -9
Let o be (-2)/4*(4 - 4). Let d be 1 + 3 - (11 + -9 - -7). Put d, 19, o in descending order.
19, o, d
Suppose 31*u = 28*u + 36. Suppose 3 - u = 3*w. Sort w, -5, 1 in descending order.
1, w, -5
Let n = 11.4 - 11.7. Sort n, 0.1, 302 in decreasing order.
302, 0.1, n
Let h be (-1)/7*(3 - 1). Let g = -16 - -27. Let c = g - 11.5. Put h, c, -0.4 in descending order.
h, -0.4, c
Let y be 1/((3/(-18))/((-5)/(-15))). Put 25, y, 1 in descending order.
25, 1, y
Let k = 7 + -27. Let s = -24 - k. Put s, -2/5, 5 in decreasing order.
5, -2/5, s
Let y = -291 + 282. Sort -10, y, 1/7 in ascending order.
-10, y, 1/7
Let g = 3.601 + -0.601. Sort -0.035, g, 0 in descending order.
g, 0, -0.035
Let v be 20/(-50) + (-14)/(-10). Let n(z) = -z**2 + z - 1 - z + 2*z + 2*z**2. Let d be n(v). Put -1/9, d, 0.04 in descending order.
d, 0.04, -1/9
Suppose 77 = -288*k + 299*k. Sort k, -1, -4, -12 in descending order.
k, -1, -4, -12
Let r be ((-12)/(-14))/2 + 324/(-756). Put -4, -5, r in decreasing order.
r, -4, -5
Let k = 234 - 239. Sort -8, k, 1 in increasing order.
-8, k, 1
Let w be (-2)/(-4)*(0 + -3 - 35). Sort w, 2, 5 in decreasing order.
5, 2, w
Suppose 4 = -9*a + 5*a. Put 5, -0.23, a in decreasing order.
5, -0.23, a
Let h = -1393/9 - -155. Sort h, -0.3, -0.2, 4 in increasing order.
-0.3, -0.2, h, 4
Let x be ((-81)/(-18))/((-6)/(-8)) + -4. Sort 65, -1, -4, x.
-4, -1, x, 65
Let r be -1*3/(3/5). Let x = r + -1. Let u(g) = -g**3 - 5*g**2 + 5*g - 5. Let h be u(x). Put h, -6, -1 in ascending order.
-6, -1, h
Let n be 91/21 - (-2)/(-6). Suppose 0 = n*d + 10 + 14. Let z = d + 8. Put -4, -3/4, z in increasing order.
-4, -3/4, z
Let x = 123/2 - 60. Let o = -251/2392 - 9/184. Let v be ((2/(-3))/1)/(-1). Put v, o, x in decreasing order.
x, v, o
Suppose -21*v + 5*v = -8800. Let z = v + -3844/7. Sort 1/8, 3, z, 13.
1/8, z, 3, 13
Let w = 0.94 + 0.36. Let i = 0.06 - -0.24. Let l = w - i. Sort 0.5, l, -2.
-2, 0.5, l
Let c = -4.13 + 0.13. Let s = 6 - -27. Let q = s + -36. Sort q, -1/4, c.
c, q, -1/4
Let p(x) = x**3 - 11*x**2 - 58*x + 226. Let u be p(14). Suppose -2*z = -0*z + 2. Put -11, u, -4, z in ascending order.
-11, -4, z, u
Suppose 2 + 18 = 4*x. Let n(q) = -4*q - 25. Let r be n(-6). Let b = -19 + 14. Put r, b, x in increasing order.
b, r, x
Let f = -1776 - -3553/2. Sort -0.01, 0.02, f in ascending order.
-0.01, 0.02, f
Suppose 26 = g + 4*o + 5, -o - 76 = -3*g. Put -0.3, 3, 4, g in ascending order.
-0.3, 3, 4, g
Let x(p) = p**3 - 8*p**2 - 7*p + 10. Let c be x(9). Suppose -12*d = -10*d - c. Let t be (d/63)/(2/(-3)). Sort -2/3, t, 0.
-2/3, t, 0
Let f = 1533 - 1532. Put 2, f, 0 in descending order.
2, f, 0
Let b = -46 + 49. Sort -1, b, 1.
-1, 1, b
Let r(j) = -j**3 - 38*j**2 - 70*j + 72. Let h be r(-36). Put 2, h, -1, 8 in descending order.
8, 2, h, -1
Suppose -i - 5*q = 0, -5*i = -0*q + 3*q + 22. Suppose -47*b - 1 = -95. Put b, i, 1 in descending order.
b, 1, i
Let l = 1600/9 + -178. Sort -1, -0.03, 1/5, l.
-1, l, -0.03, 1/5
Let g = -3.28 - -3.33. Put -8, g, 0.3 in decreasing order.
0.3, g, -8
Let z = -24.9 - -24.6. Sort -2/3, z, -2/15, -3.
-3, -2/3, z, -2/15
Let i = -1.277 - -27.277. Sort i, -2, 0.1.
-2, 0.1, i
Let v = -811.2 + 811. Let q = -20 - -19.1. Let u = 1 + q. Sort -6, u, v in descending order.
u, v, -6
Let o = -121 - -118. Suppose -q + 4 = -1. Sort 1/4, q, o in decreasing order.
q, 1/4, o
Let b(h) = 5*h + 42. Let s be b(-8). Suppose -2*y - 4 = s*i, -i + y + 7 = 1. Put 3/4, -0.4, -1, i in increasing order.
-1, -0.4, 3/4, i
Let o = -201 - -199. Sort -1/2, 1/9, o, 0.01.
o, -1/2, 0.01, 1/9
Let c(l) = l**3 + l + 4. Let j be c(3). Suppose 22 - j = -2*a. Sort 3, 2, -0.2, a in decreasing order.
a, 3, 2, -0.2
Let r = -0.5 + 0.5. Let c = 0.3 + r. Let v = -51 - -50. Sort c, 0, v.
v, 0, c
Let b = 34987/8 - 4373. Let k = 2 - 3. Put -4, b, k in descending order.
b, k, -4
Let v be (105/140)/((-9)/(-10)). Let n(z) = z**3 - 10*z**2 + 8*z + 4. Let x = -11 - -20. Let w be n(x). Sort v, -0.5, w in increasing order.
w, -0.5, v
Let r = 3 + -3. Let n be -2 - (0 - (r - 0)). Let o be (-7 + 6 - -6)/1. Put o, n, 2 in increasing order.
n, 2, o
Let n(a) = -a**3 + 11*a**2 - 11*a + 14. Let x be n(10). Suppose -x = 31*z - 29*z. Put 1, z, 2, 5 in increasing order.
z, 1, 2, 5
Let k(u) be the first derivative of -3*u**2 + u + 47. Let s be k(-2). Put -1, s, 3 in increasing order.
-1, 3, s
Let a(z) = -z**3 - 5*z**2 - 7*z - 2. Let n be a(-3). Sort -4, -17, -2, n.
-17, -4, -2, n
Let m = -19881 + 19883. Let r = -0.1 + 0.9. Put r, -2, m in decreasing order.
m, r, -2
Suppose 0 = 3*c - 7*c + 8. Suppose i + 1 = 0, -5*i = -2*u + 6*u - 103. Let t be 12/(-10)*90/u. Sort t, c, -12.
-12, t, c
Let q be 13/(-13)*(-2 + -1). Suppose -q*j = -j - 5*u + 21, 2*u - 21 = 5*j. Put 1, 3, j, 2 in increasing order.
j, 1, 2, 3
Suppose 9*o - 14 = 13*o + 2*n, 5*o + 2*n + 19 = 0. Suppose 4*d = -2*h + 20, -3*d - 5*h + 30 = 2*d. Put -6, d, o in ascending order.
-6, o, d
Let x be (-3)/(-6)*(8 + -2). Let f(m) = -m**3 - 10*m**2 + 11*m + 4. Let a be f(-11). Suppose 0 = -5*w + a*w. Sort w, -4, x in increasing order.
-4, w, x
Let v = 280 - 291. Put v, 4, -1 in increasing order.
v, -1, 4
Let y be ((-25)/(-40))/(13 + (-525)/40). Suppose -v + 3 = 3*o + 16, -o = -5*v + 31. Sort y, 0, o, -2 in increasing order.
o, y, -2, 0
Let a = 8.92 - -3.08. Sort a, -5, 5 in ascending order.
-5, 5, a
Let a(s) = -s**2 - 5*s - 2. Let j be a(-3). Let v = 556 - 560. Sort j, -0.06, v in decreasing order.
j, -0.06, v
Suppose -4*y + 8 = 0, 2*o = -5*y + 6*y + 6. Sort 1, o, 3, 11 in descending order.
11, o, 3, 1
Suppose -2*h + w - 21 = 0, 27 = -4*h - 2*w - w. Let r be 30/9*h/(-6). Suppose 5*o + 1 = l - 5, -2*l - 3 = r*o. Put 2/5, 2, o in descending order.
2, 2/5, o
Suppose 49*n + 45 = 34*n. Sort 1/8, 4/27, n, 5/6.
n, 1/8, 4/27, 5/6
Suppose 3*z + 37 + 14 = 3*v, 2*v = 5*z + 70. Suppose 0 = -w - 1 - 0. Sort w, z, -5 in decreasing order.
w, -5, z
Let v(m) = -m**2 + 7*m + 10. Let p be v(8). Suppose -14 = -p*u - 6. Suppose 0 = u*d, -b = -2*d - 1 - 1. Put -2, 0, b in increasing order.
-2, 0, b
Let g be (-3)/(-2) + 154/(-44). Sort -1, g, -20, 5 in ascending order.
-20, g, -1, 5
Let m(z) = -z**3 + 16*z