in increasing order.
q, n, a
Let l = 0.1371 + -0.0371. Sort 0, l, 1/3, -1 in decreasing order.
1/3, l, 0, -1
Suppose 3 + 0 = x. Suppose 0 = 7*n + n + 64. Let h be n/(-1) + -4 - -1. Sort 0, h, x.
0, x, h
Let i = -431 - -435. Put -2, 23, 0, i in descending order.
23, i, 0, -2
Let l be 2/((1/4)/(4/(-8))). Sort -29, l, 4 in increasing order.
-29, l, 4
Suppose 11 = 5*t - 14, 3*t = 5*r + 40. Let w be (-1)/(-3)*(r - (-28)/2). Put 4, w, -1, 0 in decreasing order.
4, w, 0, -1
Suppose u + 1 = g + 3, -4*u = -5*g - 8. Suppose u*r - 2 = 8. Sort -5, r, 1, 7 in descending order.
7, r, 1, -5
Suppose -24 + 52 = 14*t. Suppose 2*v - t = -0. Let i(o) = -o**2 + o + 2. Let w be i(2). Put -2, v, w in descending order.
v, w, -2
Let s = -3141/130 + 318/13. Sort s, -4, 5, 0.
-4, 0, s, 5
Let j be 0 - 0 - (-68)/(-1). Let y = j + 72. Put -2, -5, y in decreasing order.
y, -2, -5
Let w(g) = -2*g**2 - 6*g + 11. Let a be w(3). Put a, 0, 3 in increasing order.
a, 0, 3
Let g(b) = 9*b - 4. Let x be g(-3). Let t = 29 + x. Let i(c) = c**3 + 11*c**2 + c + 16. Let w be i(-11). Put w, -5, t in ascending order.
-5, t, w
Let c = -669 + 668. Sort 12, c, 0 in decreasing order.
12, 0, c
Let q(b) = -2*b - 4. Let p be q(2). Suppose 5*g - 23 - 2 = 0. Sort -2, g, p in increasing order.
p, -2, g
Suppose 5*y = -4*p + 29, 47 + 14 = 5*y - 4*p. Suppose -y*k - 10 = k. Let v be (-33)/12 - (-1)/(-4). Sort 0, v, k in descending order.
0, k, v
Let w = -2046 - -2150. Put 0, w, 4 in descending order.
w, 4, 0
Let y(w) = w**3 + 6*w**2 - 9*w - 17. Let k be y(-7). Let f be 20/36*k - -1. Put -6, 1/7, f in decreasing order.
1/7, f, -6
Let n(i) = -i - 23. Let a be n(-18). Sort -1, -8, a, 0.
-8, a, -1, 0
Suppose 67 + 148 = 5*f. Let k = f + -40. Let u(x) = -2*x - 4. Let d be u(-3). Put k, 5, d in decreasing order.
5, k, d
Let d = 111 + -106. Suppose -5*u = -8*u - 3. Let w be ((-4)/3)/((-3)/9). Sort u, w, d.
u, w, d
Let l = -389 - -389.2. Sort 46, 1, l in descending order.
46, 1, l
Suppose 0 = 3*p + 2*u + 5 - 1, -3*p + u = 7. Suppose -5*o = -2*t - 29, -44 = 8*t - 4*t + 4*o. Sort t, -4, p in descending order.
p, -4, t
Suppose 0 = -18*m + 60*m - 210. Sort m, 3, 0, 4 in descending order.
m, 4, 3, 0
Let p = -631.8 - -632. Sort -0.4, -174, p, -0.5 in descending order.
p, -0.4, -0.5, -174
Suppose -3*k = b - 5 - 2, 5 = 5*k. Suppose b*h + 0 = j - 8, -3 = -h - j. Sort h, 2, -4 in decreasing order.
2, h, -4
Let f = 0.03 - 2.03. Let i be 1/(5/(-8)*(-14)/(-35)). Put 0.5, f, i in descending order.
0.5, f, i
Let y = 0.3 + -0.8. Let t be 5/(0*15/(-45) + (6 - 0)). Sort t, 1/8, y in increasing order.
y, 1/8, t
Suppose -10*m + 12*m + 8 = g, -3*g = -4*m - 14. Let j be 2/8*1 - 1. Let k = -0.1 + -0.2. Put g, k, j in descending order.
k, j, g
Let d = -5 + 8. Suppose -4*g + 2*g = 5*t - 4, 4*g - 8 = 4*t. Let l(w) = -w**3 - 13*w**2 + 14*w + 4. Let f be l(-14). Put d, f, t in decreasing order.
f, d, t
Let q be (10/(-25))/((-14)/(-10)). Sort -2/5, 0.3, q in ascending order.
-2/5, q, 0.3
Suppose 2 = 8*d - 6. Suppose 0 = 6*w - w + 10. Let b = 2 + -2. Sort d, w, b.
w, b, d
Let a = -39.61 - -40. Let k = -2.61 - a. Sort k, 5, 1, 2/15.
k, 2/15, 1, 5
Let o(t) = -t**3 + 2*t**2 - 6*t - 9. Let m be o(-1). Suppose -w + 1 = -2*w. Sort -13, w, 3, m in ascending order.
-13, w, m, 3
Let g(a) = 9*a + 14. Let d be g(-2). Sort d, 0, 1 in descending order.
1, 0, d
Let g(r) = 13 + 8*r - 3*r - 3*r. Let q be g(-7). Let d(o) = 3*o**3 + o**2 + 2*o + 1. Let v be d(q). Sort 4, v, 1.
v, 1, 4
Suppose -23 = -5*u - 18. Put -4, u, 0.2, -6 in decreasing order.
u, 0.2, -4, -6
Suppose -250*k = -y - 251*k + 6, -2*y + 4*k = -6. Sort y, 1/3, 2, 2/5.
1/3, 2/5, 2, y
Let a be (5/(-3))/((-26)/(-78)). Put 52, a, -0.3, -1/7 in ascending order.
a, -0.3, -1/7, 52
Suppose 10*z - 15 = 15*z. Let l be 2/z + 25/15. Let d = -1 + 0. Sort d, 5, l in increasing order.
d, l, 5
Suppose 3*b - 7 = 5. Suppose b*k - 18 = -2*i, i - 8 = -5. Put 13, -2, k in decreasing order.
13, k, -2
Suppose -4*p + 2*c - 2 = 0, 0 = -4*p + 19*c - 15*c - 12. Sort -6, -3, p, -1.
-6, -3, -1, p
Let i(k) = -2*k + 11. Let y be i(7). Put -1, y, 0, 5 in decreasing order.
5, 0, -1, y
Let n = 2 + -5. Let z = n - 1. Let o = -1336 + 1338. Put o, z, -2/3 in ascending order.
z, -2/3, o
Suppose -76 = 164*t - 145*t. Sort -60, 1/2, t.
-60, t, 1/2
Let i = -32.3 - -33.3. Sort 19, i, 4 in ascending order.
i, 4, 19
Suppose 5*l - 9 = 6*l. Let q be (30/l - -3) + 0. Let x = 5 + -5.1. Sort x, 3/2, q in increasing order.
q, x, 3/2
Suppose -2*p = -t + 1, 4*t + 4*p + 65 - 9 = 0. Let y be (t/(-27))/((-1)/(-3)). Put -1, -5, y in decreasing order.
y, -1, -5
Let a = -1 - 2. Suppose 5*z - 4*r + 6 = 0, -32 + 12 = -5*r. Let w be z/6*a*-5. Sort 4, 2, w in decreasing order.
w, 4, 2
Let y be 18/(-2) - -6*(-6)/(-12). Sort -5, 0, y in descending order.
0, -5, y
Suppose 0 = 5*p + 20, -4*p - 32 = -5*l + 19. Suppose 2*f = -3 + l. Put 3, f, 4 in ascending order.
f, 3, 4
Let k = 4.2 + 22.8. Let v = k - 22. Sort v, 1, -0.1 in decreasing order.
v, 1, -0.1
Let l = -703 - -701. Put l, 0, -0.25, 3 in descending order.
3, 0, -0.25, l
Let d = 0.03 - -2.97. Let h be (-20)/6 + 95/(-57). Sort 0, d, h in ascending order.
h, 0, d
Let x be 7*-1 - (-9 - -5). Let a = 607 - 609. Sort a, 3, x.
x, a, 3
Let c(a) be the third derivative of a**5/60 - 2*a**2 + 13. Let w be c(2). Sort w, -5, -4 in decreasing order.
w, -4, -5
Suppose -n + 4 = 3*n, 5*r - 2 = 3*n. Let g be (r + 1 + (-4)/4)*-1. Sort g, 3, -6.
-6, g, 3
Let c = 6 + 3. Let a = -1 + c. Let o be (10/(-6))/((-20)/a). Put 1, 4/5, o in descending order.
1, 4/5, o
Let v = -310.38 + 310. Sort -0.1, v, -1 in ascending order.
-1, v, -0.1
Let k = 0.05 - -2.95. Let c = -2161 - -2161. Sort -7, k, c in decreasing order.
k, c, -7
Let m be (-1 + 2)*(-9)/3. Let h = 3711/29432 - 4/3679. Sort h, -1, m in ascending order.
m, -1, h
Let b be (7/2 - 2)/(42/(-112)). Let y(p) = -p**2 + 6*p - 6. Let g be y(4). Suppose -x - 4*x = 0. Sort x, b, g.
b, x, g
Let g be 5*1*(-2 - -3). Let k be -1 + 3 + 3 - 0. Suppose g*m + 4*r = 2*m - 15, 3*r = k*m + 25. Put 4, 5, m in ascending order.
m, 4, 5
Let o = 7.5 + -0.5. Let n = -69 - -68. Let m be -3 + 0/(-1) + (-3)/n. Put m, 1/4, o in increasing order.
m, 1/4, o
Let g be 81/6*12/215. Let a = 2/43 + g. Let c(k) = -k**2 - 2. Let x be c(-1). Sort a, x, -1/7 in descending order.
a, -1/7, x
Let m be (10*(-14)/(-140))/(2/(-14)). Put -3, m, 9, 0.1 in increasing order.
m, -3, 0.1, 9
Let s be 2/(-4) - 15/(-2). Let u be (0 + 1)/s - 0. Let y be 14/35*25/(-80). Sort -1, u, y in descending order.
u, y, -1
Suppose -2*k - 3 = 2*q - 11, 2*q - 10 = -3*k. Let c be -3 - (-1)/(0 - 1). Sort c, -16, q in increasing order.
-16, c, q
Suppose -2*p - 129 = t, -5*t + p + 6 - 629 = 0. Put -4, t, 5, -3 in ascending order.
t, -4, -3, 5
Suppose 0 = q + q - 5*c + 11, 4*c = q + 1. Let i = 8 + q. Let z(w) = w**3 + 38*w**2 + 106*w + 35. Let l be z(-35). Sort l, i, -3 in decreasing order.
l, -3, i
Suppose -29 = -58*h + 203. Sort h, -3, 9, -1/2 in increasing order.
-3, -1/2, h, 9
Suppose 6 = o + 4. Put 3, o, -4 in descending order.
3, o, -4
Suppose -w = -5*w - 16. Suppose 4*q - 5 = 3*q. Sort q, w, 0 in decreasing order.
q, 0, w
Let m be (-2*(-522)/(-24))/(-6) - 6. Put -5, -4, m, 0.09 in decreasing order.
m, 0.09, -4, -5
Let q = -3 + 7. Suppose q*x + 4*w + 32 = 0, -2*w = x + w + 16. Let l be 4 - ((-16)/4 - x). Sort l, -6, 5 in descending order.
5, l, -6
Let c = -7 + 7.08. Let v = c + -1.08. Let i = 2 - v. Sort 2/5, -4/7, i.
-4/7, 2/5, i
Let a = 594.1 + -594. Put -44, a, 1/6 in decreasing order.
1/6, a, -44
Let q = 2.9 - 6.9. Let p = -1.5 + 2. Let w = 12 + -12. Sort q, p, w.
q, w, p
Let k be (-304)/(-88) - 6/(-11). Sort 7, 10, k in descending order.
10, 7, k
Let o be 0/(-1 + 2) - 0. Suppose 5*d + o*d = -i + 34, 3*d = -i + 26. Suppose -53 = -2*j - 43. Put j, i, 3 in descending order.
i, j, 3
Let u be (-4)/6 - (-126)/27. Suppose 2*r - 12 = u*z - 0*z, 5*r + 2*z = -18. Sort 5, r, -1 in descending order.
5, -1, r
Let h = 150.9 + -19.9. Let q = 133 - h. Put 1/6, -4, q in ascending order.
-4, 1/6, q
Let j = 1 + -1. Let p be (21/12 - (-1)/(-4))/6. Sort 0.1, j, p in increasing order.
j, 0.1, p
Suppose 3 = -g - 2. Let a = -4 + 6. Suppose -18 = -6*p - 12. Sort g, p, a in decreasing order.
a, p, g
Suppose h + 20 = -3*g, h + 35 = -h - 5*g. Put h, 13, 4 in inc