p, u in decreasing order.
5, u, p, -3
Suppose 5*j - 5*y = 0, 0 = -3*j + 5*y - 15 + 7. Put j, -3, 10 in increasing order.
-3, j, 10
Let d = -68 - -71. Put -4, -13, d in ascending order.
-13, -4, d
Let p = -292 - -297. Put p, -1.8, 3 in ascending order.
-1.8, 3, p
Suppose -30 = 4*g - 10. Put g, -3, 3, -38 in decreasing order.
3, -3, g, -38
Suppose 888 = -23*y + 934. Sort y, -14, -2 in ascending order.
-14, -2, y
Let q be (-2 - -1) + (-20)/4. Let k(n) = n**2 + 261*n + 2. Let c be k(0). Put 0, q, -5, c in increasing order.
q, -5, 0, c
Let j be 6/((-1)/(-4 + (-9)/(-2))). Sort -5, 13, j in increasing order.
-5, j, 13
Suppose -5*f - 9 - 1 = 0. Let r be (-4 + 13/3)*-21. Let q(w) = w**3 + 8*w**2 + 9*w + 9. Let n be q(r). Sort f, -4, n in ascending order.
n, -4, f
Let i be 5/15 + 2/(-1). Let y(n) = 4*n + 23. Suppose -31 = 3*g + 5*k, -3*g - 39 = 2*g + 2*k. Let p be y(g). Sort i, p, -0.3 in descending order.
-0.3, i, p
Let y(d) = -d - 23. Let c be y(-16). Put c, -9, -5, -3 in decreasing order.
-3, -5, c, -9
Let d = -30 + 8. Let j = -22.12 - d. Let k = j - -0.12. Sort k, 10, -5 in decreasing order.
10, k, -5
Let z = 0.149 + 0.501. Put 1, 0.2, z in increasing order.
0.2, z, 1
Let z = 9 - 8.8. Let m be (-15)/10 - 3/(-30). Let n = 19/10 + m. Put n, z, 0 in increasing order.
0, z, n
Suppose 15 - 25 = -5*g. Let t = 18 + -25. Let v = g + t. Put 1, -2, v in decreasing order.
1, -2, v
Let a be 22/8 + (-2)/(-8). Let x = 40 - 44. Sort x, a, 4 in descending order.
4, a, x
Suppose 0 = x - 8 + 6. Sort x, -4, 17, -1 in increasing order.
-4, -1, x, 17
Let x = -130 + 134. Let v = 63 - 37. Let a be v/15 - 4/10. Put 1, a, x in decreasing order.
x, a, 1
Suppose 0 = -4*y + h + 12, -3*h + 16 = -2*y - 8*h. Suppose 7 = 2*r + z, -5*r + y*z = -22 - 9. Sort 1, r, -46.
-46, 1, r
Suppose -4*d - 5*p + 8 = 0, 4*d + 0*d - 3*p + 24 = 0. Let l be 1/d - 35/3. Let u = 129 + -124. Put l, 0, u in ascending order.
l, 0, u
Suppose -5 = 4*o - 37. Let y be 22/o - 6/(-24). Suppose -i - 6 = -y*i. Sort i, 0.4, -4.
-4, 0.4, i
Suppose 5*i - 45 = -170. Let j be (54/15)/((-10)/i). Put j, 2, 5, 1 in descending order.
j, 5, 2, 1
Let u = -3 - -1. Let z = 0.02 - -2.88. Put u, -0.1, z in ascending order.
u, -0.1, z
Suppose -30 = -2*d + 3*q + 2*q, -5*d + q = -52. Let p = 8 - 11. Put d, -1, p in descending order.
d, -1, p
Let y = -735 + 731. Put 0.3, -3/7, y, 5 in descending order.
5, 0.3, -3/7, y
Let g(k) = -k**2 + 4*k - 2. Let i be g(5). Suppose -2*m - 5*r + 25 = -m, -r = -5. Suppose -l + m*l - 1 = 0. Sort i, l, -3 in increasing order.
i, -3, l
Suppose 0 = 7*j + 154 - 147. Sort j, -1/3, -0.2, -8 in decreasing order.
-0.2, -1/3, j, -8
Suppose 0 = -5*p - 5*f + 55, 4*f + 0*f - 8 = 0. Let g be (-1 - (-33)/p)/(4/6). Sort -6, g, 1 in ascending order.
-6, 1, g
Let x(a) = a. Suppose r = 3 - 7. Let w be x(r). Sort w, 0, -3, 5 in decreasing order.
5, 0, -3, w
Let c = -45 + 42. Let k = 0.034 - 6.034. Sort -2/5, 2/5, k, c in ascending order.
k, c, -2/5, 2/5
Let f = 19 - 14. Suppose 0 = -o + f*g - 25, 4*o + 25 = -2*g + 7*g. Put o, 2, -5 in descending order.
2, o, -5
Let l(p) be the second derivative of p**3/6 - p. Let h be l(-2). Suppose -2*f = -2*i, i - 5*i = -f. Sort f, 2/3, h in decreasing order.
2/3, f, h
Suppose 0 = -3*l + 5*l - i + 1, -3*i = -5*l. Sort l, 0, -40, 1 in increasing order.
-40, l, 0, 1
Let k = 3 - 2.5. Let m = -3875 + 42624/11. Sort k, -4, m.
-4, m, k
Let r = 26.065 + -0.065. Let q = -25 + r. Sort q, -5, 3, -0.1 in ascending order.
-5, -0.1, q, 3
Let c be 2/(-4) + (-3)/(-2). Let b = -0.0999 - 1.7001. Sort c, 2, b in decreasing order.
2, c, b
Let z = -5601 - -61617/11. Let r be 0/(((-9)/3)/3). Sort -5, z, r, 2/9 in increasing order.
-5, r, 2/9, z
Let v be -8 + (-1243)/(-88) - (-4 + 10). Put -1/24, v, -17 in descending order.
v, -1/24, -17
Let n be ((-12)/(-30))/((-8)/145). Let p = n - -8. Sort 0, p, -2 in decreasing order.
p, 0, -2
Suppose 2 = -d - d, -2*c + 5*d = -13. Let w be 1/(c/(-12) - 0). Sort -1, 3, w.
w, -1, 3
Let p = -1143.2 + 1144. Sort -0.4, p, 32.
-0.4, p, 32
Let z = -2238/5 + 448. Let q = -8 - -4. Sort 0, z, q in ascending order.
q, 0, z
Let a(p) = 7*p**3 - p**2 - 2*p + 1. Suppose -2*y - 5 = 3*r - 4*y, -3*y + 15 = 3*r. Let w be a(r). Put w, 4, -1 in descending order.
w, 4, -1
Let c be (-14 - -11)*(-2 - -1). Suppose 4*p = g + 11, 3*p + 7*g - c*g = 13. Sort p, -3, -4, 10.
-4, -3, p, 10
Let d(c) be the first derivative of c**4/4 - 4*c**3/3 - 6*c**2 - 5*c - 16. Let k be d(6). Sort k, -1, 4, 0.1.
k, -1, 0.1, 4
Let z = -300 + 299. Put -3, 1, z, -7 in decreasing order.
1, z, -3, -7
Let b be 13/(-65) - (-11)/5. Suppose -5 = -0*v + 5*v + b*s, -3*s = -5*v + 20. Put -1, 0, v in descending order.
v, 0, -1
Let p be 1 + (-63)/(-57) - 2. Let t(a) = 1 + 0*a**2 + a**2 - 3 - 3*a - 3. Let d be t(0). Put p, 0.14, d in descending order.
0.14, p, d
Let f(g) = g**3 + 3*g**2 + 5*g + 16. Let h be f(-3). Sort -4, -9, 4, h.
-9, -4, h, 4
Let v be (4/5)/((-2)/(-15)). Let w be (-40)/(-36)*-3*(-36)/24. Put -5, w, v, -3 in descending order.
v, w, -3, -5
Suppose 5*l + 92 = 62. Let w(g) = g**3 + 5*g**2 - 7*g - 1. Let x be w(l). Sort x, -3, 2, 1 in increasing order.
-3, 1, 2, x
Let b = -5.4 + 5. Let o = 0.07 + -0.07. Let n = 0.4 + o. Sort -2, n, b in ascending order.
-2, b, n
Let h = -22 + 22.066. Let v = h - -25.934. Let w = v - 23. Sort 4, w, -3 in ascending order.
-3, w, 4
Let s = -20 - -26. Let a = s + -8. Sort -4, -7, a.
-7, -4, a
Let o(g) = -g**3 - 7*g**2 - g - 2. Let a be o(-7). Let u = a - 11. Let x be 1/((-2 - u)/(-16)). Sort -0.1, -0.03, x in descending order.
-0.03, -0.1, x
Let a = 0.05 + -2.05. Let c = 1140 - 1135. Put 1/4, c, 0.5, a in descending order.
c, 0.5, 1/4, a
Let b = 36 + -34. Suppose -b*w = -2*q + 6, 3*q - 1 = -3*w + 4*q. Sort w, -10, -5 in descending order.
w, -5, -10
Let l(k) = -k**2 - 11*k - 8. Let p be l(-10). Suppose -5*n + p*n = 6. Sort -7, -5, n.
-7, -5, n
Let s be -5 - 6 - 32/(-4). Sort -2, s, 1, 6.
s, -2, 1, 6
Let c(q) = q + 5. Suppose -5*h + 2*h = -18. Suppose 36 = -h*d - 0. Let v be c(d). Sort 1, v, 0.
v, 0, 1
Let u(m) = 16*m + 2*m**2 - 15*m - m**2 - 1. Suppose 2*i - 7*i + 20 = 0, i = -3*w + 10. Let c be u(w). Sort c, 6, 3 in increasing order.
3, c, 6
Suppose 0 = 3*z + v - 27, 0 = -5*z - 0*v + 3*v + 45. Let h be (-43)/z - (-6)/(-27). Let y(m) = -m - 3. Let g be y(0). Put h, 0, g in increasing order.
h, g, 0
Let b(x) = -x**3 + 2*x**2 + 2*x + 2. Let a be (-10)/(-15) - (-6)/(-9). Suppose 0 = 4*w - z - 13, 5*z + a = -3*w + 4. Let m be b(w). Sort 5, m, 2.
m, 2, 5
Suppose 9 + 3 = 6*k. Let y = -1.3 - -0.3. Suppose -2*c - 4*c = 0. Sort k, y, c.
y, c, k
Let y = 6.4 + -6. Let z = -212 - -216. Sort y, 1, z in increasing order.
y, 1, z
Let p = -2.8 - -6.8. Let j = 10/2671 - -889403/10684. Let t = -84 + j. Put -3/5, p, t in descending order.
p, -3/5, t
Let v = -26.47 + -0.03. Let b = v - -26. Let g be (-6)/(-9)*(-18)/8. Put g, 1/2, b in decreasing order.
1/2, b, g
Let t be 2*(4 - 22/4). Let s(u) = u**2 + 4*u + 7. Let q be s(t). Sort q, 0, 12 in descending order.
12, q, 0
Let r = 0.6 + -0.3. Let y = -4.8 - 3.4. Let p = 8 + y. Sort p, r, -0.1 in descending order.
r, -0.1, p
Suppose 9 + 3 = 4*w. Let n(q) = 6*q. Let y(o) = 17*o - 1. Let p(k) = -11*n(k) + 4*y(k). Let d be p(0). Put d, -2, w in ascending order.
d, -2, w
Let o = 1/2909171036 - 845518560733199/3476459388020. Let t = -3/239 - o. Let p = 244 - t. Sort p, -3, -0.3 in ascending order.
-3, -0.3, p
Let q = -5 - -10. Let j be (-3 + 2)*1/11. Sort -4, q, j, -0.4.
-4, -0.4, j, q
Let b = -194 + 193. Put b, 0.1, 0.023 in ascending order.
b, 0.023, 0.1
Suppose 8*p = -9*p - 85. Sort p, -1, 0, 1 in descending order.
1, 0, -1, p
Let b = -1092 - -1089. Let v(u) = -u**2 + 6*u + 11. Let m be v(8). Sort -2, m, b in decreasing order.
-2, b, m
Let a be ((-44)/26)/(-2) + -1065 + 1064. Let b = -7 + 2. Put -2/5, b, 2, a in increasing order.
b, -2/5, a, 2
Let s = 95/5116 - -1110577/1355740. Let o = 2/53 - s. Sort o, 1/5, -0.1 in descending order.
1/5, -0.1, o
Suppose -4*g = -0*g - 12. Suppose 1 = n + g*p + 7, 5*n - 18 = p. Suppose 0*i = n*i - 9. Put 2, 6/7, i in ascending order.
6/7, 2, i
Let z = 0 - -2. Suppose t - 18 = 3*t - 5*p, 4*t + 10 = -3*p. Let k(j) = 20*j + 123. Let n be k(-6). Sort t, z, n in descending order.
n, z, t
Suppose 0 = t + 3 + 1. Let m = t - -3.