der.
t, g, -1.8
Suppose -11 = -7*c - 4. Suppose -4*k - x - 36 = 0, -4*x - 4 = -3*x. Let t be 6/(-15) - k/70. Put -5/2, t, c in descending order.
c, t, -5/2
Suppose -3*l - 3*b = -0*b + 15, -3*l + 3*b + 3 = 0. Let r(z) = z**2 - 4*z - 3. Let f = 10 + -6. Let k be r(f). Sort 0, l, k in decreasing order.
0, l, k
Let s = -81/4 + 421/20. Let y = -0.6742 + 0.6442. Sort s, 7, 0.2, y in decreasing order.
7, s, 0.2, y
Suppose 135 = -78*v + 161 + 286. Suppose 0 = -2*b - b. Suppose 0 = -2*w - 2*n - 12, -2 = w + 5*n + 24. Put v, w, b in decreasing order.
v, b, w
Let u(p) = -15*p**2 + 14*p**2 + 13 - 8*p - 4*p. Let t be u(-12). Let i = 9 - t. Sort 3, -1, i in ascending order.
i, -1, 3
Suppose 73*z + 9 = 82*z. Sort 16, -3, 3, z.
-3, z, 3, 16
Let l be (-2)/(-3) + (-380)/30. Let x be (27/54)/((1*2)/l). Put 2, x, -5 in descending order.
2, x, -5
Let m = -22 - 15. Let u = -38 - m. Sort -4, 0.1, u, 2/3.
-4, u, 0.1, 2/3
Suppose 6*l = -20 + 2. Sort 30, l, -5 in ascending order.
-5, l, 30
Let s = -13080 - -12977.97. Let b = 102 + s. Sort 1/5, b, -5 in decreasing order.
1/5, b, -5
Let c(h) = -2*h**2 + 4*h - 1. Suppose -a - 12 = j - 5*j, 4*j - 4*a = 24. Let s be c(j). Put s, 0, -2, -3 in descending order.
0, s, -2, -3
Let t be 0 + (-5)/((-275)/335) + -7. Sort 1, 3.9, t.
t, 1, 3.9
Let i(g) = -13 + 0*g**2 - 2*g**2 + 4*g**2 + 7*g - g**2. Let l be i(-9). Let b = -10 - -11. Put b, -4, l in descending order.
l, b, -4
Let a = 5 - 9. Let m = 37.31 - 32.31. Let h = 0.2 + -8.2. Sort h, a, m in increasing order.
h, a, m
Let y = 0 + -19. Let t = y - -77/4. Let s = -89/20 - -17/4. Sort -2/5, t, s in increasing order.
-2/5, s, t
Let m be 280/7*6*(-1)/5. Let w be ((-3 + 1)/(-42))/(16/m). Sort w, -4, 3/8, -20 in increasing order.
-20, -4, w, 3/8
Let u = 14 - 35. Let v = 33 + u. Suppose i - 2 = -2*z + 7, -4*i + v = 0. Put z, 4, 2 in decreasing order.
4, z, 2
Let a = 0.0312 + -0.1312. Let v(x) = x**2 - 4*x - 6. Let w be v(6). Put -3, w, 3, a in descending order.
w, 3, a, -3
Let t = -426/7 + 61. Let y = 29 + -32.1. Let u = 3.2 + y. Sort u, 0.08, t in decreasing order.
t, u, 0.08
Let w = 680 - 675. Put w, -0.3, 1/41 in increasing order.
-0.3, 1/41, w
Let b = -92 - -89. Suppose 5*y = 5*i - 5, 3*y = -3*i - 2*y - 13. Let g = b - i. Sort g, -1, 5 in ascending order.
g, -1, 5
Let f be 1/6*-3 + 2/4. Sort f, 3, -4, 4 in decreasing order.
4, 3, f, -4
Let u(s) = s**3 - 8*s**2 - 9*s + 4. Let g be u(9). Suppose 6*h - 2*h = 0. Suppose h = 3*l - 5*a + 14, -a = -l - 3 + 1. Put l, g, -4 in increasing order.
-4, l, g
Let h be 144/(-14) - 4/(-14). Let l = h + 15. Suppose 0 = 2*y - 2*o - 2, -9*y - 4*o = -5*y - 44. Sort -5, y, l in decreasing order.
y, l, -5
Let d = -83 - -83.1. Let q = 4 - 12. Let o = -3 - q. Sort o, d, 0.3.
d, 0.3, o
Let m = -10 + 8. Let k be -2 + m + 6 - 2. Let n = 182/225 + -2/225. Put 1/2, n, k in decreasing order.
n, 1/2, k
Let m(d) = -d**2 + 12*d - 8. Let c be m(11). Suppose 0 = v - 0*v - c. Suppose -v*y = 7 + 2. Sort -3/5, 2, y.
y, -3/5, 2
Let t = -0.24 - -4.74. Let w = -4.4 + t. Sort w, -0.5, -0.1 in descending order.
w, -0.1, -0.5
Suppose 4*m + 0*m = 16. Suppose -1 = 5*l + m. Let b(s) = s**3 + s**2 - s - 1. Let f be b(-1). Put 5, f, l in descending order.
5, f, l
Suppose n - 4*q = 68, -4*n - q = 4*q - 230. Suppose -n = 3*v + 2*v. Sort v, 4, -4.
v, -4, 4
Let h = -753 - -701. Sort h, 2, -2, 0 in descending order.
2, 0, -2, h
Let x = -1.05 - -1. Let t = 1.7 + 1.35. Let g = x + t. Sort 0.04, g, -4.
-4, 0.04, g
Suppose 2*k = -2*c + 102, -2*c + 60 = -k - 27. Sort -5, c, 3 in decreasing order.
c, 3, -5
Let t = -3.9932 - 0.0068. Sort 0.3, t, -3/8 in decreasing order.
0.3, -3/8, t
Let o = -201 - -196. Put -1, 1, 0, o in decreasing order.
1, 0, -1, o
Let v = -100 + 103. Sort v, -1, 5/6, 1.
-1, 5/6, 1, v
Let r = 0.986 - -0.014. Sort -3, r, -6.8 in decreasing order.
r, -3, -6.8
Let t = -10 - -5. Let n(c) = 7*c**2 - 14*c + 28. Let k(i) = -i**2 + 1. Let a(w) = -6*k(w) - n(w). Let y be a(11). Put y, t, 5 in decreasing order.
5, y, t
Let h = 285 - 285.1. Put 0.1, -5/3, 5/6, h in ascending order.
-5/3, h, 0.1, 5/6
Suppose 0 = 4*a - 13*a - 36. Suppose 5*n + 2*j - 14 = 0, n - j - 23 = -4*n. Sort n, 5, a in decreasing order.
5, n, a
Suppose 0 = 5*k - 81 + 106. Put -1, 9, k in decreasing order.
9, -1, k
Suppose -1177 = 9*d - 1132. Put 4, d, -81, 1 in ascending order.
-81, d, 1, 4
Let w = 28 + -30. Let t = 268 - 273. Put w, -3, t in decreasing order.
w, -3, t
Let d be 10/(-20) - 26/(-4). Let c be 46/3 + 2/3. Let z be (-3)/((-4)/(c/d)). Sort 0, 3, z.
0, z, 3
Let g = 275 + -164. Let i = -115 + g. Let x = 2 + -2.2. Sort x, i, 0.2.
i, x, 0.2
Let c = -340 - -343. Put c, 2, -0.3 in descending order.
c, 2, -0.3
Let v = -0.0284 - 0.8716. Put -2, v, -0.11 in ascending order.
-2, v, -0.11
Let d be 59/12 - (-21 + 26). Put -0.6, -4/9, -0.1, d in ascending order.
-0.6, -4/9, -0.1, d
Let c = 8 - 7. Suppose -10 = 3*p - c. Suppose -2*m + 24 = -4*k, -5*m = k - 3*k - 20. Sort -2, p, k in descending order.
-2, p, k
Suppose -4*a = -3*a + 4. Suppose 4*r = r - 21. Let u(y) = -y**2 - 6*y + 10. Let o be u(r). Sort o, -2, a in ascending order.
a, -2, o
Let c be ((-5)/(-4)*1)/((-22)/(-264)). Let p(l) be the third derivative of l**6/120 - 4*l**5/15 + 7*l**4/12 + 5*l**3/3 + l**2. Let h be p(c). Sort -4, 0, h.
h, -4, 0
Let s = 330 - 336. Sort 3, 18, s in decreasing order.
18, 3, s
Let b be 0 + (-1)/2 - 962/(-1332). Put -7, 0.3, b, -2 in descending order.
0.3, b, -2, -7
Let u(k) = k**2 + 4*k - 1. Let j be u(-3). Let v be (-5)/(1 - 4 - -4). Put j, -3, 0, v in descending order.
0, -3, j, v
Let f = 38 - 26. Let x be (3/2)/((-27)/f). Suppose -19*p + 14*p = -20. Sort p, x, -5.
-5, x, p
Let m be -2 + (-1 + 11)*(-2)/(-8). Sort 1/8, -66, m.
-66, 1/8, m
Let t = 852 - 881. Sort t, -1, -2 in increasing order.
t, -2, -1
Let i = 28 + -26. Suppose 3*k - 33 + 111 = 3*x, -i*x - k = -55. Sort 4, x, -3 in ascending order.
-3, 4, x
Suppose 0 = 25*t - 306 + 31. Put 4, t, 2, 5 in ascending order.
2, 4, 5, t
Let z = 0.05 - 0.45. Let c = 2.3 + -0.5. Let h = c - 0.8. Sort 1/9, z, h in descending order.
h, 1/9, z
Suppose 4*x - i + 2*i - 4 = 0, -4*i = 2*x + 12. Let j be -1*((-20)/4 + x). Let l be j*(-3 - -2) + 3. Sort 4, -1, l.
-1, l, 4
Suppose 0 = -2*g - 4*x + 20, x - 3*x = 3*g - 14. Sort g, 5, -13 in decreasing order.
5, g, -13
Let d be (-3)/(-2) - 55/(-22). Suppose -2*y = -10 + d. Let w = -15 - -15. Put w, y, -4 in decreasing order.
y, w, -4
Let o(q) = q. Let m be o(-1). Suppose 79*u - 16 - 142 = 0. Put u, 5, -5, m in increasing order.
-5, m, u, 5
Let l = -144 + 143.6. Put 1/8, 5, l in ascending order.
l, 1/8, 5
Suppose 119 + 77 = 4*k. Let d be 2/(-14) + -15*(-7)/k. Put d, 3, 5, -5 in increasing order.
-5, d, 3, 5
Let h(x) = -x**2 - 7*x - 7. Let v be h(-5). Suppose -13 - 53 = -11*o. Let r be (10/o + -1)/((-4)/12). Put 2, v, r in ascending order.
r, 2, v
Let r be (9 - 12) + (-1)/2*0. Sort 1, 2, 4, r.
r, 1, 2, 4
Let p = 60 - 86. Let r = p - -25.5. Sort -11/2, -5, r in ascending order.
-11/2, -5, r
Let p(s) = s + 30. Let r be p(10). Let a be (-5 - (-212)/r)/((-1)/2). Sort 0, a, 6/5 in decreasing order.
6/5, 0, a
Let n = -738.5 + 739. Let k = -0.1 + 0. Sort k, n, -4 in decreasing order.
n, k, -4
Suppose 5*b + m - 22 = 0, -24*m - 19 = -2*b - 21*m. Sort b, 2, -1, -6 in descending order.
b, 2, -1, -6
Let h = -558905/6 - -53096753/570. Let l = -3/95 + h. Let q = -0.5 - -0.3. Sort l, 5, q in descending order.
5, l, q
Let v be (1/(-6))/(6/(-54))*-2. Sort v, 3, -4, -6 in increasing order.
-6, -4, v, 3
Let p = -7.2 + 0.2. Let t = 4738 + -4734. Sort 2, t, p in descending order.
t, 2, p
Suppose 7*l + g - 6 = 5*l, 0 = l - 4*g + 15. Suppose 20 = 4*y + 24. Put -4, l, 4, y in decreasing order.
4, l, y, -4
Let p = 40 + -44. Let z be (-231)/44 - (-3)/p. Let v be (1/(-2) + 0)*-2. Sort v, -4, z in decreasing order.
v, -4, z
Let a = -4.2 - -4.5. Sort 4, 3, a, -1/2.
-1/2, a, 3, 4
Let b = -704 + 703. Sort b, 1, -0.6.
b, -0.6, 1
Let k = -123 + 122. Sort 4, -5/4, k, 0.
-5/4, k, 0, 4
Let o = -3 - -3.09. Let z = 0.31 + o. Let r = -0.25 - -0.34. Sort z, -0.3, r in descending order.
z, r, -0.3
Let j = 0 - 0. Let p(u) = u - 18. Let k be p(16). Put j, k, 2, -4 in descending order.
2, j, k, -4
Let y = -270 + 283. Sort -1, 3, 1, y.
-1, 1, 3, y
Let y = 1.74 - 2.2. Let o = 0.06 + y. Let