der.
12, 11, c
Suppose 0 = w + 4*t + 10, 3*w - 10 - 4 = -t. Let k(a) = a - 3. Let y be k(w). Let h(v) = v**2 + 21*v + 20. Let j be h(-20). Sort y, j, 5 in descending order.
5, y, j
Let u = -38 + 43. Suppose u = j + 7. Let b(d) = 3*d + 5. Let i be b(j). Put 3/5, 6, i in decreasing order.
6, 3/5, i
Let b = -324 + 327. Sort -4, b, -5, -86 in decreasing order.
b, -4, -5, -86
Let f = 61 + -5. Let l = f + -68. Sort -3, 1, l.
l, -3, 1
Let z = -41 - 28. Let s = z - -74. Sort -7, -3, s.
-7, -3, s
Let q be (-6)/(-10)*(-24)/18. Let d = 874 + -889. Sort q, -3, d.
d, -3, q
Let z = 114 - 113. Let r = 2.9 - -0.1. Let k = -49/495 + -2/165. Sort r, z, k.
k, z, r
Let w(z) = -2*z - 13. Suppose 0*q + 1 = -3*q - 5*t, 4*q + 36 = 2*t. Let o be w(q). Let g be o*0/((-16)/(-4)). Put -5, g, 4 in decreasing order.
4, g, -5
Let k(h) = -h**2 - 3*h + 27. Let v be k(4). Let a be (0/(-3))/(-1 + 3). Put 4, a, v in increasing order.
v, a, 4
Let m = 2893 + -2889. Let b = -3 + 2.5. Put m, -2/11, b, 0.5 in increasing order.
b, -2/11, 0.5, m
Suppose 0 = -6*g - 9 + 21. Suppose g*p - 11*p = -36. Sort 3, p, -3 in increasing order.
-3, 3, p
Let c(f) = 91*f + 7. Let k be c(0). Sort k, 3, 12 in increasing order.
3, k, 12
Let c = 45.29 - 45. Let a = c + -1.29. Sort -0.1, -5/3, a in descending order.
-0.1, a, -5/3
Let a be (-2)/9 + (64/(-18))/2. Suppose -3*p - 40 = p. Let j = 6 + p. Sort j, 4, a in increasing order.
j, a, 4
Let u = -3.31 - -1.31. Let f = 20 - 15.5. Let z = f + 0.5. Put 4, u, z in decreasing order.
z, 4, u
Let u = 0.8 - 4.8. Let i = u - -1. Let p = 1 - 1.2. Sort p, 0.5, i in descending order.
0.5, p, i
Let x = -58 + 73. Put 5, -3, -4, x in descending order.
x, 5, -3, -4
Let x(q) = -4*q - 9*q**2 - 3*q + q**3 - 9 - 3*q + 13. Let b be x(10). Let i = 1 - 1.4. Sort i, -0.1, b in ascending order.
i, -0.1, b
Suppose 0 = -127*m + 134*m - 14. Sort -2, m, 1.
-2, 1, m
Let d = -0.47 + -0.03. Suppose x = 5, 4*p + 3*x = -8 + 35. Put -15, d, 0.3, p in decreasing order.
p, 0.3, d, -15
Let n = -109 - -107. Sort -6, -19, n in decreasing order.
n, -6, -19
Let t = 173.7 - 174. Sort t, 3, 4, 1.
t, 1, 3, 4
Let f = 144 - 140. Suppose 0 = 2*u + 3*z + 2, f = -2*u - 2*u - 4*z. Sort -2, 5, u, 13 in increasing order.
-2, u, 5, 13
Let s be (-5 - (-44)/8)/(5/2). Let g be (8/(-160))/((-6)/(-16)). Put s, g, 3/5 in ascending order.
g, s, 3/5
Let x = 69 - 66. Suppose -5*s - 20 = -4*f, 4*s - 2*f = f - 15. Suppose s = 4*n + g + 12, n + n = -g - 6. Put x, -4, n in ascending order.
-4, n, x
Let y be (-8)/10 + 1107/615. Let l be 78/(-42) - 2/14. Put l, -1, -5, y in increasing order.
-5, l, -1, y
Let h = -0.359 - -16.259. Let i = h - 1.9. Let c = -19 + i. Put -1/2, 2/5, c in increasing order.
c, -1/2, 2/5
Let o = -33.9 + 34.4. Sort -1/8, o, 22, -0.4 in increasing order.
-0.4, -1/8, o, 22
Let b(j) = -j**2 - j - 1. Suppose 0 = 4*m + m. Let v be b(m). Sort -4, -2, v in increasing order.
-4, -2, v
Let i be 9/4 + 2/(-8). Let b be 79290/(-324)*(-8)/(-10). Let r = b + 196. Sort i, r, 3 in decreasing order.
3, i, r
Let i = 0.968 - 0.64. Let v = i - 0.038. Let w = 0.79 - v. Sort -3/2, w, 0.3 in descending order.
w, 0.3, -3/2
Suppose 4 + 8 = -4*x. Let n be (-52)/(-8) + 1/(-2). Suppose 2*k + n = -4*p, 2*p + 1 = 5*k - 8*k. Put k, x, 0.5 in decreasing order.
k, 0.5, x
Let j = -143/2 - -64. Let c = j - -8. Put 4/7, 0.3, c in descending order.
4/7, c, 0.3
Suppose 5*h + 3*v = 3 - 21, -3*h = 3*v + 12. Put 4, 1, -30, h in descending order.
4, 1, h, -30
Let w be (-2 - (-1)/1)/(-1). Suppose -5*u - 3*r - 50 = 0, -2*u + 5*r + 7 = -4. Sort u, 3, -2, w in increasing order.
u, -2, w, 3
Suppose 9*u - 20 = 11*u. Sort 3, 2, u.
u, 2, 3
Let u be (84/35)/((-9)/(-30)). Suppose d + u + 1 = -3*c, -2*c = -5*d - 11. Sort -2, d, 3, 1 in decreasing order.
3, 1, -2, d
Let f be ((-7)/(-21) - (-8)/(-6)) + -3. Sort -0.028, f, 3 in decreasing order.
3, -0.028, f
Let u(w) = w - 2. Let x be u(-4). Let a = -2224 - -2226. Put -1, a, x, 0 in increasing order.
x, -1, 0, a
Let s(i) = -i**3 + 39*i**2 - 76*i + 78. Let l be s(37). Suppose 0 = -4*c - 0*c. Sort -5, 2, l, c in decreasing order.
l, 2, c, -5
Let b = 32 - 27. Sort -2, b, 0, -7.3.
-7.3, -2, 0, b
Let n be (12/10)/(2/20). Let z = 70 + -119. Let w = -48.9 - z. Put w, n, -0.5 in decreasing order.
n, w, -0.5
Let f = 15.1 - 16. Let s = f + -0.1. Let z = -46 + 42. Put s, -5, z in decreasing order.
s, z, -5
Let v = 7 - 5. Let p be (-6 - -4)/(1/1). Let i(b) = -b**3 + 3*b**2 + 3*b + 3. Let a be i(4). Put a, p, v in decreasing order.
v, a, p
Let s be -2 + 2 - (-3)/7. Let r = 114 - 56. Let q = r + -172/3. Sort s, q, 1/2 in decreasing order.
q, 1/2, s
Suppose -4*x - 8 = -4*w + w, -w = 0. Let s be (-7)/2 + (-3)/(-6). Put 5, x, s in descending order.
5, x, s
Suppose -3*x = -x. Suppose t + 0 - 1 = x. Let i = -0.49 - 0.01. Put i, 2, t in ascending order.
i, t, 2
Let v = 1582342/3817 - 4560/11. Let t = -708/2429 + v. Put 2, t, 0.2 in increasing order.
t, 0.2, 2
Let d = 14 + -4. Let p = -7 + d. Let w(x) = -x**2 - x. Let i be w(1). Put 0.1, p, i in ascending order.
i, 0.1, p
Let f = -679.43 - -688. Let b = f - -0.43. Let g = 11 - 6. Sort g, b, -3.
-3, g, b
Let k = 35.54 - 0.54. Let z = k + -34.7. Let n be (1 - 0) + (-12)/9. Sort -4/3, z, n in descending order.
z, n, -4/3
Let l = 1343 + -1341. Put 0.2, 7, l, -0.13 in ascending order.
-0.13, 0.2, l, 7
Suppose 261 = -y + 2*b, -3*b + 656 + 393 = -4*y. Sort y, -2/5, -0.3, 1/3 in ascending order.
y, -2/5, -0.3, 1/3
Let d(o) = o**3 + 5*o**2 + 2*o + 8. Let y be 324/(-63) - 1/(-7). Let r be d(y). Sort -1, 6, r in decreasing order.
6, -1, r
Let p = 7 - 11. Let g be -1 + ((-8)/(-5) - 2) - -1. Put g, -0.5, p in descending order.
g, -0.5, p
Let d = 6 + -7. Let m be -1 + 9/((-3)/d). Suppose -7*u + 9*u - 6 = 0. Sort m, -1, u.
-1, m, u
Let y = 69/8 + -17/2. Let g = 120.1 - 120.1. Put -3, g, y in descending order.
y, g, -3
Let w be -85*(-36)/10*2/6. Let a be w/15 + (-1)/(-5). Let t be 0/2*(-2 + 1). Put t, a, -3 in increasing order.
-3, t, a
Suppose i - 20 + 25 = 0, -5*d + 5*i + 200 = 0. Sort 0, d, 3 in decreasing order.
d, 3, 0
Suppose 4 = o + 1. Let r(j) = -138*j - 5386. Let i be r(-39). Let n(m) = -m**3 + 3*m**2 - 3*m + 2. Let x be n(2). Sort o, x, i in increasing order.
i, x, o
Let g(n) = -3*n + 1. Let i be g(-1). Let m = -26 + 26. Suppose m*o - 4 = 4*o. Sort o, -5, i in descending order.
i, o, -5
Let q = -5.3 + 26.3. Let n = q + -20.8. Let y = 3.92 + 0.08. Put -1/8, n, y in decreasing order.
y, n, -1/8
Let b = 0.11 - -3.69. Let p = -34.2 - b. Let d = p - -36. Put 4, d, 2/3 in increasing order.
d, 2/3, 4
Let k be (-2)/(-1)*(-4)/(40/55). Put k, -8, 4 in descending order.
4, -8, k
Suppose -2*b = -2 - 4. Suppose m - 6*m = -2*h - 269, 2*m + 5*h - 96 = 0. Let v = -58 + m. Put b, v, -2 in increasing order.
v, -2, b
Let c = -122 - -92. Let q = c - -30. Put 0.1, q, 3, -6 in ascending order.
-6, q, 0.1, 3
Let n = -142 - -150.91. Let q = n - -0.09. Let i = -11 + q. Put i, 1, -3 in increasing order.
-3, i, 1
Let d be ((-224)/16)/(-2 + 0). Let z = d - 3. Put 2, z, -5 in decreasing order.
z, 2, -5
Let z = 4268 - 4256. Let a be (-2)/(-10) - (-9)/5. Sort z, 0, a, 4 in decreasing order.
z, 4, a, 0
Let o = -1289/9 - -143. Put -79, o, 3 in increasing order.
-79, o, 3
Suppose -3*c = 2*c + 45. Let v(q) = q**2 + 9*q + 1. Let d be v(c). Sort d, -0.2, 1.1.
-0.2, d, 1.1
Let s(a) = -a**2 - 7*a - 2. Let h be s(-6). Suppose -k = -h*k + 3. Suppose -85*j + 81*j + 32 = 0. Sort j, 5, k in decreasing order.
j, 5, k
Suppose 3*x - 7*x - 5*t = -14, 22 = 3*x - 2*t. Sort -10, -5, -4, x.
-10, -5, -4, x
Let j(y) = y + 3. Let b be j(-2). Let w = 0 + b. Let m be (-7 + 7)/(2/1). Put -4, m, w in decreasing order.
w, m, -4
Suppose 3*q + 3*x + 9 = 0, -q + 0*q + x = 3. Suppose -9 = -4*r + 3. Let w = -14 - -14. Put q, w, r in increasing order.
q, w, r
Suppose 6 = 5*x - 4. Suppose -2 = x*t + 4*n, -2*t + 12 = t + n. Put t, -1, 0 in decreasing order.
t, 0, -1
Suppose 3*m + m = 4*n + 16, 2*n = -4*m - 8. Let b be 4/2 - (-1)/1. Sort b, -0.4, m in decreasing order.
b, m, -0.4
Suppose -9*a - 20 = -4*a. Let i be ((-1 - -6) + 0)*6/(-10). Put 1, a, 3, i in descending order.
3, 1, i, a
Let j = 15 + 7. Let w be (-4)/3*(-3)/j. Let f be -3 + (-69)/(-28) - (-4)/16. Sort w, -3, f in descending order.
w, f, -3
Let z = -882 + 878. Suppose 0*l = 5*l