der.
0, -2, y, -39
Suppose 0 = 4*j - j - 6. Let o = -47 - -53. Let z be 1/(-2)*o/1. Put z, j, -2 in ascending order.
z, -2, j
Let l = -2.28 + 2.36. Put l, -2/11, 7 in ascending order.
-2/11, l, 7
Let o(l) = l**2 - 4*l - 2. Suppose 3*d + 19 = f, 3*d + 11 = 5*f - 24. Let s be o(f). Suppose -7 = k - 6. Sort 0, k, s in increasing order.
s, k, 0
Let a(u) = u. Let k be a(0). Let l = 349 - 357. Sort k, -4, l in descending order.
k, -4, l
Let t = 7 - -14. Let v = t + -23. Put v, -2/13, -0.12 in descending order.
-0.12, -2/13, v
Let i be 2*301/(-28)*-2. Sort 4, i, 1 in descending order.
i, 4, 1
Let c = -158/5 - -32. Let q(r) = -r**3 + 2*r**2 - 3*r + 2. Let v be q(2). Sort 0, v, c.
v, 0, c
Let q be (-5)/20*(-3)/(-2). Suppose -2*l + 39 = 5*w, 2*w - l - 30 = -w. Suppose -5*r + 4*k = -13, -w = -3*r - 2*k + 4*k. Sort -1/9, r, q.
q, -1/9, r
Let o = 371 + -363. Sort 1, o, -5, 5 in descending order.
o, 5, 1, -5
Let a = -331 - -330. Let p = -2 + 5. Let c = -1 - p. Put c, -3, a in increasing order.
c, -3, a
Let y = 124.4 - 119.4. Let c = 0.22 - -0.08. Sort y, 1/5, c in increasing order.
1/5, c, y
Let j = -41 + 12. Let f = 30 + j. Sort -1/4, f, 5 in descending order.
5, f, -1/4
Let k = -163 - -52. Let p = k + 115. Put p, -3, -0.2, 2/13 in descending order.
p, 2/13, -0.2, -3
Let r = 23 + -28. Let a(i) = -2*i + 16. Let t be a(7). Suppose 2*p + 15 = -5*m, m - 3*m - 6 = -2*p. Sort p, t, r.
r, p, t
Let y be 7 - (-10)/15*-12. Sort -5, 8, y, 1 in increasing order.
-5, y, 1, 8
Let p = 19 - 10. Suppose -39 = -6*h + p. Sort 3, -2, h in increasing order.
-2, 3, h
Let y be 72/20 - 2*(-3)/15. Put y, 5, -18 in descending order.
5, y, -18
Let z = 1 - -1.4. Let l = -2.1 + z. Let m = -3/55 - -167/1045. Sort l, -3, m in decreasing order.
l, m, -3
Suppose -t + 5 = -0*t. Suppose 82 + 28 = 5*l. Suppose -r = t*q + l, 3*r = -q - 4*q - 26. Sort 3, r, 4.
r, 3, 4
Suppose -67*r = -63*r - 8. Suppose -7*h = -9*h + r. Sort h, 5, 0, -5 in decreasing order.
5, h, 0, -5
Let p be 804/(-1540) + 3/5. Let h be 4/3*6/(-22). Let r = h + p. Put r, 0.5, 3 in ascending order.
r, 0.5, 3
Suppose 20*x + 91 = 191. Sort 2, x, 4, 9 in decreasing order.
9, x, 4, 2
Suppose 5*w = m, 2*w + 5*m + 5 + 22 = 0. Let n be w - (-5)/(125/35). Put 3/4, n, -3 in descending order.
3/4, n, -3
Let q = -1.54 - -9.35. Let w = q + 0.19. Let s = 8 - w. Sort 5, -2/9, s in descending order.
5, s, -2/9
Let j(a) = 3*a - 15. Let x(d) = -7*d. Let m be x(-1). Let u be j(m). Put -1, -2/3, u in descending order.
u, -2/3, -1
Let h = -224 + 221. Sort 0.14, -0.2, h in decreasing order.
0.14, -0.2, h
Let i = 298 - 303. Put 0.1, i, -9 in ascending order.
-9, i, 0.1
Let n(v) = v + 2. Let k be n(-2). Suppose 0 = 2*f - 57 + 45. Let u be ((-10)/f)/((-75)/90). Sort k, u, -2 in increasing order.
-2, k, u
Suppose -h + 5 + 4 = 5*d, 0 = -4*h - 2*d + 18. Let n be (-6)/h*2/(-1). Suppose -n*v - 8 = v. Sort 1, v, -0.1 in decreasing order.
1, -0.1, v
Let i = -1.834 - -1.37. Let g = i - 0.036. Sort 3/7, g, 8, 2 in ascending order.
g, 3/7, 2, 8
Suppose 5*w = 2*o + 12, 3*w - o = 2*o + 9. Let h be (w/(-15))/(10/(-45)). Let j = 0.9 + -1. Sort j, h, -11.
-11, j, h
Let s = 686 + -690. Suppose 3*k + q = -1, -2*k - q = q + 2. Put s, -5, 3, k in increasing order.
-5, s, k, 3
Let r(g) = -20*g + 357. Let t be r(18). Put 19, 2, t, -1 in increasing order.
t, -1, 2, 19
Let g = 191 - 194. Put -1, g, 1/2, 3/8 in increasing order.
g, -1, 3/8, 1/2
Suppose i + 1 = t, -5*i - t + 57 = 44. Sort 0.4, 11, i.
0.4, i, 11
Suppose 5*v + 27 = -5*s + 142, 0 = -4*s - 20. Let g be 4/v*(4 - 2). Let o = 0 + -0.3. Put -0.4, o, g in increasing order.
-0.4, o, g
Suppose 0 = f - 8*f + 14. Sort f, -1, 33, 0.
-1, 0, f, 33
Let u = 1.6 + -3.5. Let g = 1.1 - u. Sort -0.1, g, 1/4 in decreasing order.
g, 1/4, -0.1
Suppose 6*f + 18 = 3*f. Let x be 6*3/63*(-14)/18. Put f, x, 4 in increasing order.
f, x, 4
Let d(l) = 11*l + 1. Let p(v) = -15 + 4*v + 15. Let f(q) = -3*d(q) + 8*p(q). Let h be f(-8). Put 2/3, h, -4 in descending order.
h, 2/3, -4
Let a = -278 - -278.05. Sort a, -4, 4 in descending order.
4, a, -4
Let z be (0 + -2)*(-3)/(-2). Suppose -3*y + 13 = w - 5*y, 2*w + y - 1 = 0. Suppose -15 = -w*i - 18. Sort i, z, 4 in increasing order.
z, i, 4
Suppose 8 = -62*c + 66*c. Suppose 0*l = -5*v + c*l + 15, l = -5*v + 15. Sort 0, v, -4.
-4, 0, v
Let q = -0.9 - 0.1. Let b = -27 + 29. Suppose -i = -0*h - h, b*h + 9 = 5*i. Put 1, q, h in decreasing order.
h, 1, q
Let r = 1457 - 1460. Sort 1, r, -24 in ascending order.
-24, r, 1
Suppose q = -4*k + 6*k - 9, -k - q - 3 = 0. Sort k, -2.4, 1.2.
-2.4, 1.2, k
Let w be (-987)/35 - (-2)/10. Let l be (-8)/w + (-4)/14. Suppose 5*n + 4*x - 10 - 1 = 0, -2*x - 2 = 0. Sort n, -1, l in increasing order.
-1, l, n
Let j = 3 - 4. Let g = j + 2. Suppose -7*c + 12 = -2*k - 5*c, 0 = 3*c - 9. Sort -4, g, k in decreasing order.
g, k, -4
Let c be -44 + 41 - 2/((-2)/1). Put -1/5, 0.02, 2/11, c in descending order.
2/11, 0.02, -1/5, c
Let z(a) = 2*a**2 - 25*a + 68. Let o be z(4). Sort -1, 5, -404, o.
-404, -1, o, 5
Let a = 0.078 - -23.922. Let i = a - 24.3. Put 0.5, -0.4, i, -0.1 in descending order.
0.5, -0.1, i, -0.4
Let v(q) = -278*q - 4987. Let t be v(-18). Let p = -1 + 5. Sort -2, t, p, -5 in decreasing order.
t, p, -2, -5
Let g = -40 - -36. Let y = -3/13 - -77/221. Sort -0.5, y, g, 2.
g, -0.5, y, 2
Let w be -2 - -10 - (-25 - -31). Suppose 2*b - 2 = 8. Suppose 0 = -b*a + 12 + 3. Put a, -1, w in descending order.
a, w, -1
Let g be (-30)/25 - (46/60)/(-23). Sort -0.2, -0.3, -1, g in ascending order.
g, -1, -0.3, -0.2
Let f(s) = s + 1. Let v be f(-5). Let z = -602 - -620. Put 5, v, -1, z in increasing order.
v, -1, 5, z
Let g(x) = 5*x + 5. Let n be g(-4). Let f = -10 - n. Suppose 0 = -p + 2*t + 4 - 6, 0 = 3*p + f*t - 16. Put -1, -3, p in decreasing order.
p, -1, -3
Let j be (5 - 259/42)*9/(-14). Sort -11, 5, j in decreasing order.
5, j, -11
Suppose 3*z = 7*z + 4*k - 12, -2*k - 30 = -4*z. Let v be 87/27 + (-2)/9. Suppose 5*s - 25 = z*i - i, -i = -v*s + 13. Put 4, i, 3 in decreasing order.
4, 3, i
Suppose 3*i - 8 = -2. Suppose 2*x - i*h + 4 = -12, 3*x - h = -18. Let v = -4 - -9. Put x, -2/7, v in descending order.
v, -2/7, x
Suppose 3*b = o - 0*b + 2, -4*o = 4*b - 24. Suppose -4*q + 24 = -o*k, 4*k = 3*q - 17 - 6. Put -3, k, 4 in descending order.
4, -3, k
Let u = -1771/8 - -221. Let r(f) = 7*f**2 + 2*f - 1. Let h be r(1). Let n be 2/(h/1 - -1). Put -2, n, u in ascending order.
-2, u, n
Let j = -73.6 + 72. Let a = j + 3.6. Sort 5, 0.7, a in descending order.
5, a, 0.7
Let q = -14.988 - 1.012. Sort 2, q, -0.05 in ascending order.
q, -0.05, 2
Let c = -0.2 + 0.7. Let u = 0.2 - c. Let p = -77.4 - -78.4. Put p, u, -2/19 in ascending order.
u, -2/19, p
Let y be 63/(-14) - (1 + -6). Sort y, -2/3, 3/7 in increasing order.
-2/3, 3/7, y
Let t = 0.0344 - 0.4344. Sort -1/10, t, 0.3, -1/4 in descending order.
0.3, -1/10, -1/4, t
Let y(v) = v**3 - 4*v**2 - 14*v + 17. Let o be y(5). Sort 2, o, 0, -5 in descending order.
2, 0, -5, o
Suppose 1 = -2*x - v + 5, -16 = 4*x - 4*v. Let q be (-7 - x)/(-7 - -8). Let m be (q + 9)/(6/4). Sort -1/3, m, 4.
-1/3, m, 4
Suppose 29*k = 21 + 66. Put -1/2, 0, k, 7/5 in decreasing order.
k, 7/5, 0, -1/2
Suppose 120 = -3*p - 0*p. Let t be (0 - (-3)/4) + (-170)/p. Put t, 0, -1 in descending order.
t, 0, -1
Suppose -5*s = 2*a - 3*s - 4, 12 = 4*a + 5*s. Let u be (a/3)/((-4)/(-6)). Sort 5, 3, u.
u, 3, 5
Let r be ((130/(-12))/13)/(9/(-9)). Let a = -0.04 - 0. Let l be 1 + -4 - (0 + -4). Sort r, l, a in decreasing order.
l, r, a
Let x = 69 - 72. Put x, 5, -9 in ascending order.
-9, x, 5
Suppose 0 = 43*k + 37*k + 66*k - 292. Let z be 3 + 0 - 1 - 1. Let a = 0 + z. Sort k, a, -3 in ascending order.
-3, a, k
Let x = -4.54 + -0.51. Let g = x + 0.05. Sort 0.03, 2/11, g in ascending order.
g, 0.03, 2/11
Suppose -2*q + 11 = -v, 3*q - 36 = 5*v - 2. Put -4, 10, -3, q in ascending order.
-4, -3, q, 10
Let h be (-2)/(-4) - (-3)/(-14). Let y = 17/2 + -121/14. Sort -4, y, h in ascending order.
-4, y, h
Suppose 9*h + 8 = 11*h. Suppose 3*k - 7 + 1 = -h*p, 0 = -3*k + 5*p + 6. Sort 1, k, -2 in decreasing order.
k, 1, -2
Suppose -5*s = 4*v + 140, -5*s - 73*v - 115 = -74*v. Sort 1, s, 2, -3 in decreasing order.
2, 1, -3, s
Let f = -5 + 7. Suppose f*v + v + 5*x = 4, -3*v + 5*x = 16. Let g = -63 - 