der.
y, 0.3, -3/193, -2
Let r = -23954 - -24085. Sort r, -3, 2, -12 in ascending order.
-12, -3, 2, r
Let o be ((-32)/(-5))/((4/80)/(11/44)). Sort 1, o, -92.
-92, 1, o
Let c be (-4)/((-11)/(-308)*-14). Suppose -4*a + 2*u = 16, -3*a - 3*u - 18 = 3. Sort 3, c, a in ascending order.
a, 3, c
Suppose m - 8 = -p - 1, 3*m = -p + 11. Let q = 3067 - 3070. Sort m, q, 3 in increasing order.
q, m, 3
Let q be (13 - 12)/(1/3). Let r(f) be the third derivative of f**5/60 + f**4/3 + 3*f**3/2 - 2*f**2. Let k be r(-7). Put k, q, -5 in increasing order.
-5, k, q
Suppose 0*c = -2*c + 16. Suppose b - 2*f = 0, -3*b + 2*f + 0*f = c. Let w = 2871.5 - 2871. Put -5, b, w in ascending order.
-5, b, w
Let w(z) = 24*z - 910. Let r be w(38). Sort -0.2, -3, r, -2/5, 3 in decreasing order.
3, r, -0.2, -2/5, -3
Let b = 17850 + -17859. Let v = -13 + 15. Sort b, v, -3 in increasing order.
b, -3, v
Let i = -7874.6 - -7875. Sort 3/4, 14, 1/5, i in descending order.
14, 3/4, i, 1/5
Let v = 12904 + -51613/4. Sort 2/69, 12/23, 0.4, v.
2/69, 0.4, 12/23, v
Let n(v) = v**2 - 6*v - 13. Let q be n(7). Let a be (-408)/q + 3 + 0. Suppose 73*s - a*s + 10 = 0. Sort 5, -2, s, -1 in ascending order.
s, -2, -1, 5
Let w(j) = j + 4. Let i be w(-9). Suppose -14*l + 264 = -240. Suppose -l*c = -17*c + 19. Put -1/4, i, c, 4/5 in increasing order.
i, c, -1/4, 4/5
Let k be 33/(-44) - (-31)/52. Let r = -11899/21 + 1636/3. Let s = r + 21. Put s, 1, -5, k in descending order.
1, k, s, -5
Let q = -1.1185 + 1.0935. Sort 1, q, 34.
q, 1, 34
Let o = 35702 - 35704. Let l = -2 + 9. Put 2, 3, o, l in increasing order.
o, 2, 3, l
Let k = -218 - -411. Let j = k + -195. Suppose -3*f + 4*r - 7 = -4, 4*r + 12 = 0. Sort j, 1, f in ascending order.
f, j, 1
Let n = -534 + 544. Let o be -2*(307/n + (-15)/75). Put -2/7, o, 0.5 in decreasing order.
0.5, -2/7, o
Let j = 15.2 - -50.8. Let l = j - 19. Let c = l - 50. Put c, -4, 2, 1 in descending order.
2, 1, c, -4
Let i = -0.71 + -45.29. Let o = -49.7 + 3.7. Let g = o - i. Sort g, 3/5, -1/3 in ascending order.
-1/3, g, 3/5
Let c = 6973.98 - 6974. Sort 0.5, 0.07, -0.3, 4/7, c.
-0.3, c, 0.07, 0.5, 4/7
Let d be 1*(-10)/4*2. Suppose j + 4*j + 5*p - 55 = 0, 4*p - 44 = -0*p. Put -3, d, 0.23, j in descending order.
0.23, j, -3, d
Let u = 299853 - 299858. Suppose 3*k - 10 = k. Suppose 25 = 5*l - 5*n, -2*l = -0*l - k*n - 16. Put 5, l, u in descending order.
5, l, u
Let u = 0.049 + -35.049. Let z = 637 + -607. Let w = u + z. Put 5, w, -1 in descending order.
5, -1, w
Let i be (-5)/2*4/(-5). Suppose -3*y + 56 = 50. Suppose -4*o + 4*x = -28, -o - 3*x = y*o - 9. Sort i, 4, o in descending order.
o, 4, i
Suppose -11*d = -0*d - 88. Suppose -d = 53*a - 45*a. Let z be -3 + a - (-4 - -3 - -2). Put z, 7, 4, -4 in decreasing order.
7, 4, -4, z
Let t = 9439 - 9373. Put -1, -5, t in increasing order.
-5, -1, t
Let c(l) = -l**2 - l + 41. Let g be c(6). Let r be (-6)/(-10)*3 + g. Put 1.8, r, -3/2 in decreasing order.
1.8, r, -3/2
Let d = -0.04542 + -565.85458. Let a = -566 - d. Put -6/49, 0.5, a, 1/5 in descending order.
0.5, 1/5, a, -6/49
Let o = 21617 + -21614. Suppose s = 5*w - 3*s + 36, -5*w = s + 16. Sort -2, w, -5, o.
-5, w, -2, o
Let b = -226 - -218. Let l(x) = x**3 + 47*x**2 + 131*x - 46. Let r be l(-44). Sort -5, -3, r, b.
b, -5, -3, r
Suppose -27 + 7 = 2*v + 4*a, a = -3. Suppose -3*o = -g + 17, -o + g = -g + 14. Let u be 1144/(-308)*14/o. Sort v, u, 4.
v, 4, u
Let x be (3/(3/4))/(-14 + 26 - 13). Put -1, x, 4, -10, 13 in ascending order.
-10, x, -1, 4, 13
Let u = -3201.1 - -3201. Sort 0, u, 0.2, -4/3, -14 in decreasing order.
0.2, 0, u, -4/3, -14
Let n(f) = 217*f**2 + 1736*f + 15. Let y be n(-8). Sort y, 0, 10, -3 in ascending order.
-3, 0, 10, y
Suppose -4*y + 1 = -11. Suppose -c = -f - 11, -f + y*c - 6 - 3 = 0. Let u be -4 + 10 - f/(-3). Put u, -5, 1, -1 in decreasing order.
u, 1, -1, -5
Let n = -0.74 + 1.06. Suppose b - 68*u + 65*u = 0, -4*b = 5*u. Sort -1, n, b in increasing order.
-1, b, n
Suppose 15 = -5*q, -7*f = -4*f + 2*q. Let i(z) = -157*z**3 + 2*z**2 - 3*z + 1. Let b be i(1). Sort f, b, 1.
b, 1, f
Let q(r) be the third derivative of -r**6/120 + r**5/30 + 7*r**4/24 - 8*r**3/3 - 57*r**2. Let p be q(3). Put -1, -8, p in descending order.
-1, p, -8
Suppose 2*l - 26 = 4*t, l + 29 = -t + 6*l. Let m be 4*(-1 + 118/56) + t. Let v = -0.02 - 0.28. Put m, v, 0.1 in decreasing order.
m, 0.1, v
Let j = 18 - 13. Let m = -5 + j. Let q be -13*45/(-195) + (-18)/3. Put 4, m, q in decreasing order.
4, m, q
Let j = 14806 - 14929. Sort j, 5, 15, 0.4 in decreasing order.
15, 5, 0.4, j
Let k be (57/(-15) - -2)*(425 - 420). Sort -4, 4, k, -7, -1 in descending order.
4, -1, -4, -7, k
Suppose 104*p - 144 = 116*p. Let t be (-9)/6 - (p - -9). Put t, 2, -51 in descending order.
2, t, -51
Let o(f) = 3*f**2 - 97*f + 212. Let s be o(30). Sort 3, -5, 9, 0, s in decreasing order.
9, 3, s, 0, -5
Let d = 3476 - 3516. Sort d, 5/6, 0.4, -2, -1 in ascending order.
d, -2, -1, 0.4, 5/6
Let p = 11988 - 191809/16. Sort -0.1, -176, p in decreasing order.
p, -0.1, -176
Suppose 2*m + 0*m + 8 = 0. Let p be 10414/861 - 12/126. Sort p, m, -10 in descending order.
p, m, -10
Suppose -l = 2*m + 66, -3*l = -0 - 6. Sort 0.1, 3/7, -4/5, m in increasing order.
m, -4/5, 0.1, 3/7
Let p = 0.4 + -3.4. Let u = 32416 + -32418. Sort u, 0.5, 1/3, p in descending order.
0.5, 1/3, u, p
Let c = -263.7 - 43.3. Let p = 309 + c. Sort 6, p, -0.1, 0.5 in descending order.
6, p, 0.5, -0.1
Suppose 3*y + t = 14 - 2, 3*t = y - 14. Let v be (25 - -83)/4 - 14. Put v, y, 1 in increasing order.
1, y, v
Let k = -52 + 56. Let c(u) = 18*u - 71. Let t be c(k). Put -6, t, -4/7 in increasing order.
-6, -4/7, t
Let r = -2.4 - -2.9. Suppose 0 = -2*z - 3*t - 40, z - 3*t + 10 = -7*t. Sort r, 5, z in ascending order.
z, r, 5
Let s = -679/234 - -91/18. Let n be 80/(-26)*(219/84 - 2). Let a = n + s. Put a, -1/2, -4, -3 in descending order.
a, -1/2, -3, -4
Let m = -1.9466 + 1.91. Let l = -0.0366 - m. Put 1/6, 0.04, l in descending order.
1/6, 0.04, l
Let r = 2417.9 + -2418. Put r, -1/3, 8, -1/55 in ascending order.
-1/3, r, -1/55, 8
Let z = 4.28 + 1.34. Let p = z + -105.62. Sort 3, p, -1/3, -1/2.
p, -1/2, -1/3, 3
Suppose 0 = 5*l - 5*m - 145, -4*l - 3*m = -m - 86. Suppose -l = -z - 3*z. Let a = -33.485 - -33.485. Sort 4, -4, z, a.
-4, a, 4, z
Let k be (1 + -5)*(-2 + 3). Suppose 3*g = -i - 16, i + 4*g + 15 = -6. Suppose -d = -5*d + 28. Put i, k, d in descending order.
d, i, k
Let r = -0.6823 - -0.5823. Put -10, r, -1, 5, 30 in descending order.
30, 5, r, -1, -10
Let y be (-645)/1050*(-8)/(-12). Let n = y - 9/35. Let x = -0.4 - -1.6. Put n, -2, x in decreasing order.
x, n, -2
Let f(b) = b**3 + 9*b**2 + 12*b - 8. Suppose -c + 0*c + 5*m = 11, 4 = 4*m. Let d be (-5 - (-1)/3)/((-4)/c). Let a be f(d). Sort 0, a, 4 in increasing order.
0, 4, a
Let i = -0.1 + -0.2. Let u = -947 + 666. Let a = u + 284. Sort i, 2/3, -1/6, a in decreasing order.
a, 2/3, -1/6, i
Let i = 495 + -467.14. Let b = i + -28. Let u = b - 0.06. Sort u, -0.5, -1.
-1, -0.5, u
Let n = 3079.1 + -3079. Let c = 3.94 - -0.06. Let u = c + 1. Sort 2, n, u, 3 in decreasing order.
u, 3, 2, n
Let o = 5261 - 5257. Sort -132, 0, o in ascending order.
-132, 0, o
Let i be (-80)/18 + 3276/(-2106). Put i, 32, 1 in increasing order.
i, 1, 32
Suppose 0 = 3*h + 3, -15*p - 3*h - 18 = -20*p. Sort p, -4, 5, -1, 495 in increasing order.
-4, -1, p, 5, 495
Let v(r) = -68*r + 473. Let y be v(7). Let j be 37/7 + 2/(-7). Sort -1, y, -5, j.
-5, y, -1, j
Let m = 573/4 + -146. Let t = 3 + m. Let y(u) = -9*u - 35. Let b be y(-4). Sort -0.3, t, b in descending order.
b, t, -0.3
Let t be ((-516816)/11037)/(-8) + -6. Let m = t - 2/283. Sort m, 2, -4, -5 in increasing order.
-5, -4, m, 2
Suppose -2*b + 25 = x, 12*x - 15*x = -3*b + 24. Put b, -3, -83 in decreasing order.
b, -3, -83
Let u(f) = f**3 + 13*f**2 - f - 10. Let v be u(-13). Let q be 0 + v - (0 - -3). Let a = 211 - 210. Put q, -1/4, a, 0.3 in decreasing order.
a, 0.3, q, -1/4
Suppose 3*b - 2*w - 524 = -132, -2*w - 258 = -2*b. Let a = b + -128. Let f be (-2)/5 + 51/15. Sort f, 1, a.
1, f, a
Let y be (125/(-15) + 9)/(2/15). Let k = -12 + 10. Let w be 39/(-65) - k/y. Sort 2/7, w, -4 in decreasing order.
2/7, w, -4
Suppose -8 = -5*j + n, 94*j - 93*j + 8 = 5*n. Sort 4, 3, 11, -5, j in desce