p, 4 in decreasing order.
4, p, -1
Suppose -3*p + 22 = 4*z, 4*z - 4*p - 6 - 2 = 0. Let v(j) = -2*j + 3. Let w be v(z). Sort 3, -7, w.
-7, w, 3
Suppose 6 + 12 = 6*t. Put 5, -5, t in descending order.
5, t, -5
Suppose -5 + 9 = 2*g, 4*g = -3*y + 23. Suppose x = 4*o - 1, 2*o - 4*x = 5 - 1. Put -1, o, y in descending order.
y, o, -1
Let b = 34/15 - 472/195. Let o = 5.4 - 5. Sort b, 3, o in increasing order.
b, o, 3
Let t be 0/(-2) - 2/14. Let w = -0.1 + 0.03. Let k = 0.17 + w. Sort k, t, -3/2 in ascending order.
-3/2, t, k
Let h(z) = -z**2 + 4*z - 2. Let j be h(2). Sort 3, j, 4 in increasing order.
j, 3, 4
Let o = 296/453 + 2/151. Sort 0.5, o, -0.2, 5 in increasing order.
-0.2, 0.5, o, 5
Suppose -4*n = -2*z + 4, -3*n + n - 2*z - 14 = 0. Sort 2, n, -1 in decreasing order.
2, -1, n
Let t(w) = w**3 - 6*w**2 + w - 3. Let p be t(6). Suppose -4*x - 15 = -3. Let r = 12 - 12. Put x, r, p in descending order.
p, r, x
Suppose 2*w - w = -10. Let g = 6 + w. Let k(b) = 2*b**2 + b - 1. Let q be k(-2). Sort q, g, -5.
-5, g, q
Let w = 2.2 + -2. Let p = w + 0.2. Suppose -4 = -0*k + 2*k. Put k, p, 4 in decreasing order.
4, p, k
Let o = 78 - 152. Sort 1, -2, o in decreasing order.
1, -2, o
Let f = -0.6 - -0.6. Put -1/2, f, -3 in increasing order.
-3, -1/2, f
Let h = -3.997 + -0.003. Sort 3, 2/9, h in increasing order.
h, 2/9, 3
Suppose -2*h - 3 = -5*h. Let c(d) = -3*d**2 - d + 1. Let f be c(h). Sort -5, f, -1 in descending order.
-1, f, -5
Let a = -4.219 + 0.019. Let d = 29 + -29.8. Let r = d + a. Sort r, 5, -1 in descending order.
5, -1, r
Let t(q) = 2*q - 15. Let y = 9 - -1. Let k be t(y). Sort 3, 2, k in increasing order.
2, 3, k
Let u = 0.075 + -0.125. Sort -2/5, -5/6, -3, u in descending order.
u, -2/5, -5/6, -3
Let o(p) = 17 + p - 29*p**2 - 2*p**3 + 44*p**2 + 3*p**3. Let t be o(-15). Sort t, 5, 0 in decreasing order.
5, t, 0
Let n = -83/3 + 28. Let h = 8.7 - 9. Sort n, h, -4 in increasing order.
-4, h, n
Suppose -3*p + 4 + 2 = 0. Suppose 0 = -4*d + 18 - 2. Let m be (d/36)/(p/(-4)). Put m, 0.2, -1/7 in decreasing order.
0.2, -1/7, m
Suppose -3*b = 3*s + 3, s + 1 = -3*b + 6. Let x = 2 + -4. Put 2, s, x in increasing order.
s, x, 2
Let k = 2/39 + -121/78. Put -3, k, -4/7 in decreasing order.
-4/7, k, -3
Let k be 1/13*(-889)/34. Let p = 89/26 + k. Let q = -140/51 + p. Sort -5, q, -0.3 in ascending order.
-5, q, -0.3
Let q = -2974863437/302940 - -432073/44. Let x = 8545/4545477 + -11/3301. Let k = q - x. Put k, -3/7, 0.3 in ascending order.
-3/7, k, 0.3
Let v = -1.4 + 0.4. Put -0.1, v, 2 in decreasing order.
2, -0.1, v
Suppose 6*v - 3*v - 21 = 0. Put v, -3, -1 in increasing order.
-3, -1, v
Suppose -2 = 2*u - 0*u, -3*u - 15 = -3*o. Let v = -4 + o. Put 3, v, -2 in descending order.
3, v, -2
Suppose 7 = -p + 4*u - 8*u, 4*u = 5*p - 13. Let r = -6 + p. Put -3, 1, r in decreasing order.
1, -3, r
Let z(m) = -5*m**2 + m - 1. Let i be z(1). Let p(y) = y**3 - 5*y**2 - 2*y + 7. Suppose 4*k + 0*k = 20. Let g be p(k). Put i, g, 4 in increasing order.
i, g, 4
Let u(n) be the second derivative of -n**5/20 + n**4/12 - n. Let v be u(-1). Put -4, 0.5, v in increasing order.
-4, 0.5, v
Let c(z) = 2*z**2 - z - 1. Let s be c(-1). Suppose 0 = s*y + 18 + 4. Let q be 1 - y*2/(-18). Sort 3, q, -3 in decreasing order.
3, q, -3
Let j = 34 + -32. Let u(s) = s - 5. Let f be u(0). Let g be -3*(2 - 2 - 1). Put g, j, f in decreasing order.
g, j, f
Let h = 1.1 + -0.9. Let w be -1*1*(-6)/(-3). Sort 0.1, w, h in descending order.
h, 0.1, w
Suppose -4*l = 16, 2*t + 2*l + 2*l + 10 = 0. Suppose t*r = -3 + 6. Let g = 4 - 9. Sort g, r, 4 in ascending order.
g, r, 4
Let p = -0.5 - -0.7. Sort 0.7, -5, p in descending order.
0.7, p, -5
Let x = 45 - 47. Sort -0.3, x, 1.
x, -0.3, 1
Let h(x) = -x**3 + 6*x**2 + 7*x + 6. Let m be h(7). Let r = -2 + m. Sort r, -1, 5 in descending order.
5, r, -1
Suppose 0 = 3*w - 2*h - 15, -2*w + 2*h + 2 + 10 = 0. Sort -2, -1, w, -3 in decreasing order.
w, -1, -2, -3
Suppose 18 = 2*u - 0*u. Suppose -u + 0 = -3*n. Suppose 0*q - 10 = -n*p + q, 2*q - 30 = -4*p. Sort -1/11, p, 6/7 in decreasing order.
p, 6/7, -1/11
Let b(l) = l + 4. Let c be b(-3). Let f be (-63)/49 - (-4)/14. Sort 2, c, f.
f, c, 2
Suppose -4*z - 4*l = -2*z + 18, -27 = 5*z + l. Sort 1, z, -4.
z, -4, 1
Suppose 2 = -5*q + 12. Let f be -2*(8/q - 2). Sort f, 4, -3 in decreasing order.
4, -3, f
Let x = 40 + -40.3. Sort -1, -4, x, -1/5 in descending order.
-1/5, x, -1, -4
Let b(w) = -w**2 + 1. Let d be b(0). Let l be 91/18 - (-4)/24. Let a = l + -5. Sort 2, d, a in ascending order.
a, d, 2
Let q(g) = -g + 3. Let u(l) = 1. Let j(t) = -q(t) - 5*u(t). Let k be j(7). Put -4, k, -2 in descending order.
k, -2, -4
Suppose 9*n = 4 - 13. Let p = -8.4 - -8. Sort p, 1, n.
n, p, 1
Let c be -4 + (8 - 0) + 1. Suppose 0 = -c*l - 23 + 8. Sort 1/6, -2/13, l.
l, -2/13, 1/6
Let k be 6/12 - 11/14. Put k, -1, -0.1 in decreasing order.
-0.1, k, -1
Let n = -7 + 16. Let c be n/12*(-10)/(-6). Let k be 3/(-6)*-4 - 1. Put -0.4, k, c in increasing order.
-0.4, k, c
Let a = -0.08 - -6.08. Let d = 3 - a. Sort -0.4, d, -4.
-4, d, -0.4
Let c = -2.2 - -2.1. Let s(q) = q**2 - 4*q - 3. Let f be s(4). Put c, 0.1, f in descending order.
0.1, c, f
Let n(r) = 4 + 4*r**3 - 11*r**2 + 9*r - 2*r**3 - r**3. Let u be n(10). Let t = u + 4. Sort -3, 4, t.
-3, t, 4
Let r = 3.01 - 0.01. Put 1/3, -2/7, r, -0.5 in descending order.
r, 1/3, -2/7, -0.5
Suppose 15 = -2*z - 5*g, 1 = 2*g + 7. Let m(p) = -8*p**2 + 0 + p**3 + 10 - 7*p - 3*p. Let o be m(9). Put z, 3, o in increasing order.
z, o, 3
Suppose -6 = 2*m, 3*p = 3*m + 2 + 1. Let l be (7 + -2 - -1) + p. Sort -4, -3, l.
-4, -3, l
Let b(u) = -2*u + 1. Let p be b(2). Suppose k = -2*k - 5*r - 15, 4*k + 4*r = -20. Put p, k, 1 in descending order.
1, p, k
Let v = -0.04 + -0.06. Let j = 0.5 + -4.6. Let d = j - 0.9. Put d, v, 5 in decreasing order.
5, v, d
Let i = -0.3 + 0.2. Suppose -n = -p + 3, -3*p = 4*n - 14 - 9. Suppose 0 = 3*c + 6*c - 2*c. Sort c, n, i in decreasing order.
n, c, i
Let d = 48 + -42. Put 0.2, d, 5 in increasing order.
0.2, 5, d
Let g be (-26)/(-10) + (-8)/(-20). Let r = -221 - -1771/8. Sort r, g, 0.1.
0.1, r, g
Suppose -12*b + 14*b - 2 = 0. Suppose t = -3*a - b, 4*t - 5*a + 9 = 22. Put t, 4, -1 in increasing order.
-1, t, 4
Suppose 3*s - 3*f - 319 = 2*f, 0 = -2*s - 5*f + 171. Let x be 77/s - 4/14. Sort x, 0, -2 in descending order.
x, 0, -2
Suppose -110*q + 105*q = 35. Sort -1, 6/5, q in increasing order.
q, -1, 6/5
Let x be (-44)/(-33)*45/12. Put -3, 17, x in descending order.
17, x, -3
Let n = -12 + 2. Let y = n - -10.3. Sort y, 0.1, 0.5.
0.1, y, 0.5
Let x = -8 - -10. Put -6, x, 4 in decreasing order.
4, x, -6
Let d = -0.5 + 0.1. Suppose -2*s = -8 + 6. Put d, s, 0.3 in decreasing order.
s, 0.3, d
Suppose -w + 3*w = -6, -5*d + w = 27. Sort d, -3, -5 in decreasing order.
-3, -5, d
Let r = 0.5 - -0.3. Let s = r - -1.2. Sort -1, s, 1 in ascending order.
-1, 1, s
Let m be -2*((-2)/4 - 0). Let s(r) = -r**2 - 4*r - 2. Let y be s(-2). Sort m, -3, y in decreasing order.
y, m, -3
Let q = -1.01 - -5.01. Put -6, -2, q in descending order.
q, -2, -6
Suppose -m - 6*m = -21. Sort m, 2, 4 in decreasing order.
4, m, 2
Suppose 0*k - 11 = -2*k + 3*y, -5*k - 5*y = 10. Let a(c) = -c**2 + 3*c - 3. Let p be a(2). Let b = -4 + p. Sort -1, b, k.
b, -1, k
Let i(m) = m**2 - m + 2. Let l be i(0). Let b(s) = s**2 + 15*s - 78. Let j be b(-19). Put j, l, 3 in increasing order.
j, l, 3
Let d be 66/14 - (-8)/28. Suppose -b + 2 = -0*b, 4*m - b = -18. Sort m, d, -2 in decreasing order.
d, -2, m
Let l(x) = -x**2 + 4*x - 2. Let n be l(4). Let i = 4 - 8. Sort n, i, 2 in decreasing order.
2, n, i
Let f be ((-255)/(-108))/5 + (-6)/24. Sort 0.1, f, -2/9, -4.
-4, -2/9, 0.1, f
Let t = 42 - 27. Let l = 11 - t. Let h = -1.8 - -2. Sort l, h, 0.1 in descending order.
h, 0.1, l
Suppose 5*a + 12 = -4*x, x + x + 5*a + 16 = 0. Let z be 1 - ((0 - -3) + -1). Put -5, z, x in decreasing order.
x, z, -5
Let p = 1 - -4. Suppose -p*r - 10 = 5*y, 5*r - 4*y + 16 = -6*y. Let c be -2*(1/(-2) - 1). Put 0, r, c in descending order.
c, 0, r
Let o = -74 - -79. Put 2, o, 0, -2/11 in descending order.
o, 2, 0, -2/11
Let y be 1 + -1*(-3)/(-3). Let l = -12 + 16. Sort y, 1/5, l in ascending order.
y, 1/5, l
Let z be -3*((-10)/(-6))/(-1). Let j = 1153/28 - 163/4. Sort z, 0,