der.
z, w, -1, -3
Suppose -4*a + 4*v + 108 = 0, v - 29 = 8*a - 9*a. Sort a, 22, -7 in decreasing order.
a, 22, -7
Suppose 470*f - 464*f = 810. Suppose -f*z = -143*z - 16. Sort -4, 3, -1, z in descending order.
3, -1, z, -4
Suppose 4*q - 27 = q. Let l be 99/6 + q/6. Let o = 2513 - 2515. Sort 0.2, l, o.
o, 0.2, l
Let u(w) = 8*w - 32. Let x be u(-22). Let o = x + 417/2. Sort o, -2/9, -5, 1/5.
-5, -2/9, 1/5, o
Let c = -14 + 14.3. Put 3, c, 2284 in descending order.
2284, 3, c
Let i = -471 + 471.198. Let z = -0.102 - i. Sort z, 0.4, 0.047 in ascending order.
z, 0.047, 0.4
Let k = -0.0296 - 0.0714. Sort -2, k, 1/8.
-2, k, 1/8
Let m(b) = b**2 - 16*b - 11. Let a(y) = y. Let j(g) = -5*a(g) + m(g). Let i be j(18). Let h = 75 + i. Sort -3, 0, h.
-3, 0, h
Let b be (-8)/228 - 9728/(-30324). Put b, 2, -0.09, 1/6, -8 in increasing order.
-8, -0.09, 1/6, b, 2
Let c = -4464 - -4461. Let y(r) = -r**3 + 6*r**2 + 5*r + 7. Let i be y(7). Sort i, c, 2 in decreasing order.
2, c, i
Let j = -64 + 59. Let w = 42 - 13. Let d = -29 + w. Sort j, d, 8 in descending order.
8, d, j
Suppose -4*o - w = 0, w + 2*w = -3*o. Let d = 563 - 555. Suppose -5*s = -h + 12, -4*h - 32 = 4*s - 8. Sort d, o, s, -1 in decreasing order.
d, o, -1, s
Suppose -8*t + 8 - 80 = 0. Sort 6, 2, 5, t in decreasing order.
6, 5, 2, t
Let d = 16 - 15.8. Suppose 4*n + 2*u = -2, 4*n + 16*u + 32 = 8*u. Suppose -3*v + 5*v + 6 = 0. Sort v, -0.5, d, n in ascending order.
v, -0.5, d, n
Let y = 1901 + -1897. Sort 0.3, y, 2212.
0.3, y, 2212
Let l = -11 - -12. Let t(z) = 32*z + 7. Let x be t(1). Let j be 2/6 + 0 + (-7)/x. Sort l, -0.2, j, -0.3 in ascending order.
-0.3, -0.2, j, l
Let b = -182 + 254. Let y be 8 - (b/5 - 6). Put 8, 2/5, -3, y in decreasing order.
8, 2/5, y, -3
Let p = -179 - -223. Let z = p - 49. Put z, -3, -1, -80 in descending order.
-1, -3, z, -80
Let n(j) = j**2 + 8*j + 7. Let d be n(-6). Suppose 3*t + 82 = 10. Let v = 31 + t. Sort 5, d, v.
d, 5, v
Let z = 1.18 - 4.78. Let f = -47.1 - -43. Let a = f - z. Sort 3/5, a, -2/7 in decreasing order.
3/5, -2/7, a
Suppose -3*j - 8*i + 4*i = 2, -j - 4 = 2*i. Let u be ((-236)/(-33) - j) + (-8)/6. Sort 4, -2/5, -0.2, u in ascending order.
-2/5, -0.2, u, 4
Let h = -1438.15 - -2510.24. Let j = h + -1066. Let s = j - 6. Sort s, 1, 2.
s, 1, 2
Let j = -3470 - -3474. Sort j, 13, -4, 2 in descending order.
13, j, 2, -4
Let l = 32 + -23. Let v(b) = 2*b**3 + 108*b**2 + 39*b + 2104. Let o be v(-54). Put 4, l, -4, o in descending order.
l, 4, o, -4
Let s = -12425 + 12428. Put -5, 1, -32, 2, s in descending order.
s, 2, 1, -5, -32
Let q = -0.258 + 0.158. Let v = -1 + 1.02. Let g = 2/7989 - -15968/39945. Sort q, v, g.
q, v, g
Let c = 520 - 674. Let b = -150 - c. Put 35, b, -1 in descending order.
35, b, -1
Suppose 2*s - 1 = s. Let z = -2 + s. Let j(l) = l**2 - 20*l + 20. Let w be j(19). Put w, 0, z in descending order.
w, 0, z
Let t = -296.67 - -298. Let g = t + -0.33. Sort g, 0.2, 2, -1.1 in increasing order.
-1.1, 0.2, g, 2
Let b be (5 + -1)*75/(-60). Suppose r = -2*r + 39. Let p = -12 + r. Sort 5, b, p in ascending order.
b, p, 5
Let o be 19/(-3) + 12/2. Suppose -804*p + 25 = -799*p. Sort p, o, 13 in descending order.
13, p, o
Let h(x) = x**3 - 3*x**2 + 2*x - 1. Let i be h(3). Let l be ((-10)/3)/((2660/(-114))/7). Put i, -6, l, 6 in decreasing order.
6, i, l, -6
Let c = 80 - 19. Let u = c - 30. Let i = 35 - u. Put i, 1, 0.08, -2/9 in descending order.
i, 1, 0.08, -2/9
Let n be 1 - (-4 + 42/9). Let z = -31.2 - -231.2. Let k = 194 - z. Sort k, n, -0.2 in ascending order.
k, -0.2, n
Let c = 27 - 12. Let f be ((-5)/c)/1*1. Let n = 64 + -64.5. Put 2, n, f, 0 in descending order.
2, 0, f, n
Let r = 383 + -282. Let m = r - 105. Sort 5, -3, m, -2 in ascending order.
m, -3, -2, 5
Let m(g) = 145*g + 752. Let s be m(-5). Let t(u) = u**3 - 3*u**2 + 2. Let x be t(3). Suppose -5*p = -p + 4. Sort x, p, 5, s in ascending order.
p, x, 5, s
Let u = 5352 - 5346.934. Let z = u + -0.066. Sort -4, z, 0.1, -2.
-4, -2, 0.1, z
Let d = 1930 + -25088/13. Sort 1/9, 2.4, d, 2/7.
1/9, d, 2/7, 2.4
Suppose -q = -j - 103, 4*q - j = 111 + 283. Put q, 0, 2 in descending order.
q, 2, 0
Let u(z) = -2*z**2 - 3*z. Let f be u(-2). Let j = 12953 - 12949. Sort 0, f, j, -4 in increasing order.
-4, f, 0, j
Let v = 4208 - 4212. Put 0.1, v, 288, -5 in ascending order.
-5, v, 0.1, 288
Let u be 15/(-6)*(-24)/(-20). Let m(q) = q**3 + 18*q**2 - 2*q - 32. Let j be m(-18). Sort u, 25, -1, j in decreasing order.
25, j, -1, u
Let d = 19685 - 59054/3. Sort 19, -4, 0.2, d, -0.02.
-4, -0.02, 0.2, d, 19
Let c be 62/(-3) - 4/(-6). Let i be -2 + 45/c + (-1)/(-4). Let h = -62 + 54. Sort 0, h, i in descending order.
0, i, h
Suppose -3*b = -0*b - 18. Suppose 4*j + b = 26. Let v be 46/(-23) - (-1 - -3). Sort 1, j, v in decreasing order.
j, 1, v
Let f = -9457/113772 - 2/9481. Let l be -5*2*26/3. Let h = 86 + l. Sort 0, h, f, -2.
-2, h, f, 0
Let i = -279 - -134. Let s = 164 + i. Sort -1, 5, s in ascending order.
-1, 5, s
Suppose 149*q - 150*q = 2*x - 11, -4*q + 2*x = 26. Let o = -0.2 - -0.15. Sort q, -2/3, o, 0.2 in ascending order.
q, -2/3, o, 0.2
Suppose 181 + 68 = -71*j - 35. Sort j, 8, 20, -2/3, -1/4.
j, -2/3, -1/4, 8, 20
Let p = -1788 - -1792. Put -4, -1, 53, 2, p in ascending order.
-4, -1, 2, p, 53
Let t(i) = -i**2 - 8*i - 9. Let k be t(-6). Suppose -97 = -5*p + 53. Let o = -31 + p. Sort o, -2, k in ascending order.
-2, o, k
Let c = 12.3 - -9.3. Let y = 4.4 + c. Let r = y - 24. Sort 0.5, r, 0.2 in descending order.
r, 0.5, 0.2
Let k = -73.147 + 0.147. Let v = 72 + k. Sort v, 12/13, 0.3.
v, 0.3, 12/13
Let l be ((-9)/(-21))/((-22)/(-154)). Put -7, 0, 5, l, -2 in descending order.
5, l, 0, -2, -7
Let c = 17355 - 17359. Sort -3, -1, 1, c.
c, -3, -1, 1
Suppose 82*o = 16*o - 474 + 78. Sort o, 0, 141 in ascending order.
o, 0, 141
Let s = 2695 + -8260/3. Sort -4, s, -0.5 in decreasing order.
-0.5, -4, s
Let p = -382 - -271. Let d = p - -116. Sort 4, d, -5, -2.
-5, -2, 4, d
Let p = 0.077 - 2.077. Let s = 229 - 228.7. Put p, 4, s in ascending order.
p, s, 4
Let p(b) = -7*b - 28. Let u be p(-4). Suppose 4*i - 3 - 9 = u. Suppose -i*h + 7*h + 20 = 0, -5*h - 25 = -2*f. Sort 0.2, 1/3, f.
f, 0.2, 1/3
Let b(w) = -9*w**2 - 25*w + 175. Let f be b(-6). Sort 4, f, -14/15, -1/2.
-14/15, -1/2, f, 4
Let a = -30 + 30.2. Let q be (6/2)/((-77)/14). Sort q, -1, a.
-1, q, a
Let i(g) = 24*g + 4. Let z be i(10). Let c = -1224/5 + z. Let h = -688/3 + 230. Sort -1/7, c, h.
c, -1/7, h
Suppose 44 - 39 = 31*g + 36. Let w = 4 + -6. Put w, g, -22 in descending order.
g, w, -22
Let m be (10/35)/(4 + (-48)/21). Let g = -229 - -1599/7. Put g, m, 2/5, -5 in increasing order.
-5, g, m, 2/5
Let r(i) = 223*i - 1782. Let k be r(8). Put k, 6, 8, 0 in descending order.
8, 6, k, 0
Let o(d) = d**3 + 21*d**2 - 20*d - 797. Let i be o(-20). Suppose -3*z = -13 + 1. Sort i, -9, 1, z in ascending order.
-9, 1, i, z
Let o = 57697 + -57700. Let k(x) = x**2 + 8*x - 1. Let j be k(-6). Sort j, o, 6, 4.
j, o, 4, 6
Let s(o) = 14*o + 80. Let h be s(-6). Suppose 7 = -4*t - 9. Let d = t + 2. Sort h, 5, d, 0.
h, d, 0, 5
Let t = -1/594993 + 1190003/10114881. Let q = -3 - -6. Put q, t, 0.1, 8/19 in descending order.
q, 8/19, t, 0.1
Let w = -131 - -82. Let o = 48 + w. Let l be (-6)/4*(-9 - -7). Sort l, 5, o in ascending order.
o, l, 5
Let m(f) = -402*f + 10061. Let w be m(25). Suppose -2*v = -0*v + 16. Put v, w, 1 in ascending order.
v, 1, w
Let y be (-4)/(-14) + 16/(-7). Let n be (10 - 8 - (-1 + -3)) + -5. Suppose -17 = -8*h - n. Sort h, y, -1 in ascending order.
y, -1, h
Suppose 0 = -82*k - 149*k + 38*k + 386. Sort k, 20, 4 in increasing order.
k, 4, 20
Let k be 2/(-7) - ((-208)/(-56) + -4). Suppose k = -4*s + 94 - 6. Sort s, -5, -2, 5 in ascending order.
-5, -2, 5, s
Suppose 5*w + 72 + 108 = 0. Let r be (-8)/w + (-184)/(-9). Let h = 21 - r. Sort 3, h, -3.
-3, h, 3
Suppose 218*n + 17 = 201*n. Suppose -7 = -3*a - 19. Sort 1, n, a, 29.
a, n, 1, 29
Let l be (-4)/(-6)*-3*1. Suppose 0 = 18*m - 16*m - 2. Let i = -8692 + 8697. Put m, l, i, 2 in increasing order.
l, m, 2, i
Suppose 9 = -3*w + 3*k, 3*k + 5 = -5*w + 6*k. Suppose w*u - 138 = -5*q, -29 = -q - 0*q + u. Let x be q + 4/((-4)/(-1)). Sort x, 5, 2.
2, 5, x
Let a = 7.03 + -7. Let t = 114 - 116.03. Let w = a + t. Put -1/3, w, 2 in descendin