der.
659, t, -1
Suppose -3*l - 910*n + 907*n = -48, 4*l = -2*n + 76. Sort l, -1, 12 in decreasing order.
l, 12, -1
Let t(p) = -p**2 - 25*p + 966. Let h be t(21). Sort h, 1/839, 4 in ascending order.
h, 1/839, 4
Let r = -0.14 + 0.54. Let c = 387.135 + -391. Let f = -0.135 + c. Sort r, 1/4, f, -3.
f, -3, 1/4, r
Let m be (-10*19/(-380))/(2/36). Put 3, 10, -0.1, m in increasing order.
-0.1, 3, m, 10
Let i be 540/130 + (-2)/13. Let f be -1 - (i + ((-19)/4 - 0)). Put 4, 15, f in descending order.
15, 4, f
Let m(h) = 299*h - 2387. Let d be m(8). Sort d, 3, 0, -381 in ascending order.
-381, 0, 3, d
Let j = -205588.5 - -205587. Let w = -1 - 0. Put w, 4, j in decreasing order.
4, w, j
Let l = 375 - 390. Let s = -480 - -479. Sort 1, l, -4, s.
l, -4, s, 1
Suppose 0 = 2*a - 0*a - f + 2, -2*a - 5*f = 14. Let z = 23/16 - 15/16. Put 2, 0.2, a, z in increasing order.
a, 0.2, z, 2
Suppose 0 = u + u - 50. Let a be u/10 + 4*4/32. Let r be -3 + 10/4 + a/4. Put 1/3, -1, r in decreasing order.
1/3, r, -1
Suppose -1418*l = -1439*l - 21. Put 8, l, 15 in descending order.
15, 8, l
Let t be 12/(-3) + -10 + 7 + 278. Let y = t + -543/2. Let r be (-1)/(4/3 - -1). Put y, -4/5, 3, r in increasing order.
-4/5, y, r, 3
Suppose -5*b + 12 = 2. Let q(p) = p**3 - 5*p**2 - 7*p + 6. Let d be q(6). Put d, b, -2/7, -0.5 in increasing order.
-0.5, -2/7, d, b
Let d be 3 - 3 - (0 - -3). Suppose 1070 = -37*h + 182. Put d, h, -4 in descending order.
d, -4, h
Suppose -2*g - 38 = 4*z, -z - 9 = -2*g + 3*g. Sort 1/5, 3/8, 1/8, z, -3.4 in decreasing order.
3/8, 1/5, 1/8, -3.4, z
Let s = 1.017 + -1.06. Let y = s - -1.003. Let d = -0.04 - y. Put -2/5, d, -0.3 in descending order.
-0.3, -2/5, d
Let o = 21 + -62/3. Let a = -900 + 982.6. Let r = a + -83. Put r, o, 0, 2 in increasing order.
r, 0, o, 2
Let z = 1.27 + -0.17. Let p = z + -43.1. Let m = 41.9 + p. Sort -5, -3/8, m.
-5, -3/8, m
Suppose 8*x - 5 = 3*x. Suppose 0 = -3*v + r + 17, -4*r + 7 = 3. Sort x, 3, v in descending order.
v, 3, x
Let v be (300/2475)/(4/6). Sort 2/5, v, 0.07, -0.02 in ascending order.
-0.02, 0.07, v, 2/5
Let j = 27 + 18. Let l = -4 + 39. Let k = j - l. Sort -3, 0.2, k.
-3, 0.2, k
Suppose -n + 7 = 3*n + 5*a, 4*n - 3*a - 47 = 0. Suppose 3*b - n = 13. Let x be (-4 - 216/(-32)) + (-2)/(-8). Sort 1, x, b in increasing order.
1, x, b
Let h(s) = 44*s**2 + 4*s + 7. Let f be h(-3). Suppose 20*w + 151 = f. Suppose 0*a = -2*a + 8. Put w, 1, a in decreasing order.
w, a, 1
Let s = -7 + 11. Let a(y) = -y**2 - 56*y + 590. Let p(c) = 3*c**3 + 62*c**2 - 22*c - 12. Let t be p(-21). Let i be a(t). Sort i, -4, s in descending order.
i, s, -4
Let i be (599/(-1797))/(14/(-15) - -1). Sort i, -4, -95 in descending order.
-4, i, -95
Let c(x) be the first derivative of -x**2 + 26*x - 24. Let f be c(10). Let i be (-3)/(-2) + -9*(-1)/f. Put -7, 4, i in ascending order.
-7, i, 4
Let l = 52 + -36. Suppose 0 = -4*b + l, 0 = -3*t - 2*b + 7*b - 29. Let g = -106 - -105. Sort 5, t, -6, g.
-6, t, g, 5
Suppose -48 = -43*k + 39*k. Let n be (-9)/(-4)*k/162*3. Let j = -0.38 + -0.02. Put -1, n, j in increasing order.
-1, j, n
Let r = 244.7 - 259. Let c = r - -8.3. Put 0, c, 4, 2 in descending order.
4, 2, 0, c
Let z be 84/39 - 3 - -1. Let h = -554.3 - -486. Let i = h - -68. Put -10, z, i in descending order.
z, i, -10
Suppose 3 = -b + 5. Suppose 4*y + 11 = z, -5*y + 2 = 5*z - 3. Let n = 214 + -219. Sort z, b, 1, n.
n, 1, b, z
Let v = -2191.9 - -2192. Put v, 348, -3/5 in increasing order.
-3/5, v, 348
Let g = -2879 + 2879. Sort 4, -2/15, -4, g.
-4, -2/15, g, 4
Let j be (-257)/1799 + -74*(-2)/252. Put j, -42, -1 in decreasing order.
j, -1, -42
Let f(x) = -2*x. Let z be f(-2). Suppose 0 = z*m + 3*b + 16, -5*b - 11 - 13 = 4*m. Suppose 0 = -3*n - 5*s + 21 - 6, -s = 0. Sort 4, n, m, 1 in descending order.
n, 4, 1, m
Let c = 674 + -507. Suppose 12*z - 143 = -c. Let s be ((-2)/4)/(2/(-28)). Put 1, z, s in descending order.
s, 1, z
Let a = -36.961 + 37. Let t = a + 0.104. Let c = -21.857 - t. Put c, 4, 1/3 in decreasing order.
4, 1/3, c
Let c = -26.03 - -26.2. Let x = c - 0.57. Put -14/9, -1/4, x, 1 in descending order.
1, -1/4, x, -14/9
Suppose 5 = d, -4*l + 0*d - 5*d = -41. Suppose 0 = -2*x - 3*u - 2 + 6, -3*x - 4*u + l = 0. Put 6, x, 2, 3 in decreasing order.
6, 3, 2, x
Let f = -58 + 45. Let i = -12.9 - f. Let r = 2.2 + -2. Sort -0.4, i, r.
-0.4, i, r
Suppose 0 = 1390*p - 1413*p + 16928. Sort 3, p, -1 in increasing order.
-1, 3, p
Let h = -0.14699 + 0.44699. Put -1/10, h, -1, -10, 1 in increasing order.
-10, -1, -1/10, h, 1
Suppose -15*n + 49 - 4 = 0. Suppose -g - n*i - 7 = 0, 3*i + 1 = 4*g - 31. Sort g, 2, -2 in decreasing order.
g, 2, -2
Let f(l) = 2*l**3 + 3*l**2 - 132*l + 29. Let t be f(-9). Sort 22, 15, 5, t.
t, 5, 15, 22
Let r = -57 + 65.1. Let j = 28.3 + -19.2. Let a = r - j. Sort -0.3, 0.03, a.
a, -0.3, 0.03
Suppose -2*g = 3*g + 15. Let k be g/2*((-98)/21 + 5). Let s = 0.05 - -0.45. Sort s, 4, k in decreasing order.
4, s, k
Suppose -31*w + 38*w + 21 = 0. Let j(h) = -24*h - 73. Let x be j(w). Sort -1/22, x, 2 in ascending order.
x, -1/22, 2
Let k = 23693/3 + -7898. Sort -0.075, 2/11, k in decreasing order.
2/11, -0.075, k
Let m = -2238 + 2219. Sort -3/5, -6, m.
m, -6, -3/5
Let z(m) = -3*m - 18. Let i be z(10). Let t = i - -48. Suppose -5*j - 8 = 2, 12 = 2*w - j. Sort w, t, -1 in ascending order.
-1, t, w
Suppose 3*u - 33 = 5*j, -5*j + 1284 = 3*u + 1281. Sort -17, 5, 4, -96, j in decreasing order.
5, 4, j, -17, -96
Suppose -2*l - 6 = 2*i - 2, 3*i + 4*l = -6. Let o be (-44)/154 + (-200)/(-14). Sort 1, 2, i, o in ascending order.
i, 1, 2, o
Let m = 0.69 - 0.29. Let k = 6.9 + 16.1. Let d = k + -22.8. Put 1/4, m, 2/13, d in increasing order.
2/13, d, 1/4, m
Let l(s) = s**2 + 3*s - 5. Let k be l(-4). Let c be (112/6 + (117 - 133))*3/(-4). Sort 0, c, k, -11 in descending order.
0, k, c, -11
Suppose -2*u = 4, 6*o + 5*u - 14 = 8*o. Let x be 40/32 + 23/o. Sort 1/4, 4, x.
x, 1/4, 4
Let v be ((6656/702)/32)/((-2)/(-3)). Put v, 233, 1/3, -0.2 in descending order.
233, v, 1/3, -0.2
Suppose 153*v - 333 = -180. Sort -4, 41, -1, v, -9 in descending order.
41, v, -1, -4, -9
Suppose 0 = -3*z + 5*g + 29, -17*z + 20*z - g - 13 = 0. Suppose 3*i - z = -3*q, 2*q + 15 = -5*i + 7*q. Put -2, i, -13, 6 in decreasing order.
6, i, -2, -13
Let x be ((-22)/(-33))/((12/(-144))/((-1)/4)). Put -3, 0.5, -169, 1, x in increasing order.
-169, -3, 0.5, 1, x
Let s(n) = -n**2 + 5*n - 24. Let l be s(6). Let g be (-15)/2*(-3)/l. Sort -2/33, g, 4 in descending order.
4, -2/33, g
Suppose -2*q - 7 = -5*z, 7*z = 3*q + 4*z + 6. Sort q, 22, 3, -4 in ascending order.
-4, q, 3, 22
Let a(z) = 4*z**2 - 41*z + 4. Let o be a(0). Let k be -1 - 1*2 - 1. Let x be 8/(-24) + (-5)/3. Put k, o, 3, x in descending order.
o, 3, x, k
Let u(o) = 2*o**3 + 3*o**2 - 3*o - 3. Suppose -5*t + 4*n = 18, -3*t - 2*n + n = 4. Let h be u(t). Put 5, 3, h in increasing order.
h, 3, 5
Suppose -42*p = -40*p. Suppose -4*l + p*l = -6*l. Sort -0.3, 0.3, -1/5, l in ascending order.
-0.3, -1/5, l, 0.3
Let z = 8108 - 8113. Put z, 9, -4, -2 in ascending order.
z, -4, -2, 9
Let o be 4/(-6)*1/(-3). Let m = -807.5 - 11.5. Let k = 816 + m. Sort o, -4, 2/7, k in decreasing order.
2/7, o, k, -4
Let i(a) = -817*a + 9801. Let k be i(12). Sort k, -5, 189, -4, 0 in descending order.
189, 0, k, -4, -5
Suppose -2*s = -4*a - 6*s + 12, 5*s = -5. Let p = 6440 - 6440.18. Put 0.3, p, a, -0.5 in ascending order.
-0.5, p, 0.3, a
Let a be 996/132 - (15/(-33) + 1). Suppose -23 = 4*c - a. Put 30, 2, 5, c in ascending order.
c, 2, 5, 30
Let a = -426 - -160. Let j = a + 271. Put -5, j, 4, -4 in ascending order.
-5, -4, 4, j
Suppose 20*h = -5*c + 17*h + 117, -5*c - 5*h = -125. Let w = c - 21. Sort w, 0.5, 0.4, -3.
-3, w, 0.4, 0.5
Let k = 4384 + -4385. Suppose 3*d = -2*f + 5, -15 = 3*f - 0. Let w(t) = t**3 - 6*t**2 + 6*t. Let o be w(d). Put k, 4, o, -3 in descending order.
o, 4, k, -3
Let p = 13588 - 13588. Put -5, p, -6, 3, 2 in ascending order.
-6, -5, p, 2, 3
Let m = -12362 + 12357. Sort 2, 11/4, 0.1, -2/15, m.
m, -2/15, 0.1, 2, 11/4
Let i be (5 - 4)/((-17)/17). Suppose 2*q - 4*y = 14, 19 = 2*q - 5*q - 2*y. Let w = 1 - 0. Sort i, w, 2, q.
q, i, w, 2
Suppose 0 + 3 = 3*x. Let c be (-7)/5 + 2/5. Suppose 0 = -49*s + 101*s - 58*s. Sort x, c, s, -9 in ascending order.
-9