der.
f, 2, 6, 14
Let f be (-6*(-1)/9)/((-3)/(45/(-10))). Put 3, f, 13, 2 in increasing order.
f, 2, 3, 13
Let a(q) = q**3 - 2*q**2 + 3*q - 37. Let y = -306 - -311. Let v be a(y). Put v, -5, 4, -2 in descending order.
v, 4, -2, -5
Let a be 41*(-1)/(-1) - 2. Let k = 37689 + -37684. Sort k, -2, a in ascending order.
-2, k, a
Suppose -t + 5*t = 4*f, 0 = 2*f + 8. Let i be ((-13)/t)/((-33)/12 + 3). Suppose i = 2*p + 45. Put 2/15, 0.4, p, 4 in ascending order.
p, 2/15, 0.4, 4
Let v(f) = 45*f + 138. Let d be v(-3). Let n be (5 + (5 - 12))/((-1)/d). Put -4, n, 4, 0 in descending order.
n, 4, 0, -4
Let b(m) = -m**3 + 20*m**2 - 43*m - 140. Let z be b(17). Let c = 1 - 0. Sort 5, z, 8, c.
z, c, 5, 8
Suppose 0 = y + 4*s, 3*y + 5*s = 5*y. Let p(i) = 2*i**2 + 25*i + 20. Let c be p(-12). Sort y, 2, -4, c in increasing order.
-4, y, 2, c
Let b be (-20)/(-64)*(9 - 5). Let w = 0.0415 - 4.0415. Put w, 1/3, 4, b in decreasing order.
4, b, 1/3, w
Suppose 0 = -l - 3*t - 5, 4*l + 352 = -5*t + 332. Let b = 3 + -4. Let d(a) = -2*a**3 - 1. Let r be d(b). Sort 2, 3, l, r in ascending order.
l, r, 2, 3
Let g = -1512 + 1508. Put 3, -5, g, 23 in decreasing order.
23, 3, g, -5
Suppose 2*g - 44*n = -43*n + 4, -7*g + 5*n = -20. Put -90, g, -77 in increasing order.
-90, -77, g
Let h be ((-4)/(-57))/(2/12*(-103 + 99)). Put 6, h, 183 in increasing order.
h, 6, 183
Let h = 9/83 - 283/1079. Let d = 0.03 + -3.03. Sort d, h, 0.1, 3.1 in decreasing order.
3.1, 0.1, h, d
Let i = 15.331 - 16.331. Sort 17, 5, 2, -2, i in descending order.
17, 5, 2, i, -2
Let m be -5 + -32 + 20 + -112. Sort -5, 4, m, -2.
m, -5, -2, 4
Let m = -0.1 + 0.1. Let g be -26 - -160*(-36)/(-216). Sort -6/5, -5/2, g, m in descending order.
g, m, -6/5, -5/2
Let u(l) = -2*l**2 - 33*l - 25. Let z(c) = -c**2 - 17*c - 12. Let k(i) = -2*u(i) + 5*z(i). Let n be k(-17). Put -4, 0, n, 2 in descending order.
n, 2, 0, -4
Let v be (-3)/18 - 2629/(-7170). Sort -2/11, 4, -4/3, 141, v in ascending order.
-4/3, -2/11, v, 4, 141
Suppose 51*t - 52*t = -90*t. Sort t, -2, 5, 1740, 4.
-2, t, 4, 5, 1740
Let x = 3.77 + 0.23. Let w be (-12)/10 - (-1176)/630*(-4)/(-14). Put w, x, 5, -5 in descending order.
5, x, w, -5
Let u be (-7 + (-105)/(-14))*0/(6 + -5). Suppose 2*z - 4 - 4 = 0. Let t(k) = -k**2 + 13*k - 15. Let x be t(12). Put 6, x, z, u in ascending order.
x, u, z, 6
Suppose 0 = 3*f - 0 + 12. Let u(p) = -p**3 + 34*p**2 - 62*p - 66. Let x be u(32). Sort f, 43, 5, x.
f, x, 5, 43
Let f be (6/10)/(-6 + 124/20). Suppose -3*i = 2*z + 25, -38 - 2 = 5*z + 3*i. Sort -59, f, z.
-59, z, f
Let g = 13514 + -13513. Suppose 8 - 29 = y. Let b = 1/332 + 989/2324. Put b, y, g in ascending order.
y, b, g
Let g = 3388 - 3389. Sort g, 3, -2, 0 in descending order.
3, 0, g, -2
Let i = -12226 + 17370. Sort 0.5, -3, i in descending order.
i, 0.5, -3
Let b be 185/(-65) - 4/26. Let a = -10 - -31. Let k = -17 + a. Sort k, 0, b in ascending order.
b, 0, k
Let y = 2/5127 - 1711/5127. Let r = 4 - 4. Suppose -4 = -g - r. Sort g, 0, y in ascending order.
y, 0, g
Let t = -11 + 11.5. Let u = -6331.9 - -6332. Put u, 11, t in descending order.
11, t, u
Let q = 34004.982 + -34005. Put -1/10, -3, q, 2, 0.05 in ascending order.
-3, -1/10, q, 0.05, 2
Suppose 257*u = 240*u. Let x(i) = -3*i**2 + i + 2. Let s be x(-2). Suppose -4*p + 0*p - 4*o - 20 = 0, -p - 1 = -3*o. Put p, u, s, 3 in increasing order.
s, p, u, 3
Let n be 2/(22/(-165) - (-22)/(-60)) + 0. Sort 65, n, 7, 0 in descending order.
65, 7, 0, n
Let z be (0 + 1)/((13/(-26))/((-254)/(-4))). Sort -5, 0.1, -3, z in descending order.
0.1, -3, -5, z
Suppose -15 = -n - 9*y + 4*y, -4*n + 94 = 3*y. Suppose 4*f + 4 = -0*f - 2*z, 5*z = -4*f - 4. Let i(t) = -14*t - 532. Let r be i(-38). Sort n, r, f.
f, r, n
Let j(s) = s**3 + 44*s**2 + 382*s + 48. Let b be j(-32). Sort b, 1, 0, 2.
0, 1, 2, b
Let w(h) be the first derivative of -h**4/2 + 25*h**3/3 - 9*h**2/2 - 32*h + 84. Let x be w(12). Sort 1, x, 22 in descending order.
22, x, 1
Let y(o) = 2*o**2 + 230*o - 3051. Let i be y(12). Sort 4, 300, -5, 0, i in increasing order.
-5, i, 0, 4, 300
Let c be ((-713)/3720 - (-6)/15) + (-1)/3. Sort -73/5, 3, c.
-73/5, c, 3
Let w = -72555.0509 + 72552. Let t = w + 0.0509. Put -0.09, 2, t, 2/5 in increasing order.
t, -0.09, 2/5, 2
Let j = -96 - -94. Let w = -114 + 114. Sort j, 6, w, -4 in descending order.
6, w, j, -4
Suppose 7*k = -4*k + 814. Let b = k - -28. Let o = b - 98. Sort o, -0.06, 1/4, 0 in increasing order.
-0.06, 0, 1/4, o
Let x = -41 + 39.99. Let d = x - 15.99. Sort -0.1, -2/7, d.
d, -2/7, -0.1
Suppose -8 = f - 2*l, -7*f + 9 = -5*f + l. Suppose 0 = 3*r, 3*r + 2 = -4*z - 10. Put f, z, -14, -2 in descending order.
f, -2, z, -14
Let g = 1854 + -1854.4. Sort 15, g, -1, 3/8 in descending order.
15, 3/8, g, -1
Let g = 690 + -688. Let q = -53 + 54. Sort q, -14, g in increasing order.
-14, q, g
Let z = 638.91 + -645. Let o = 5.99 + z. Sort o, 2, 0, -0.08 in ascending order.
o, -0.08, 0, 2
Let o = -22.58 + 22.68. Sort 2/47, o, 5 in decreasing order.
5, o, 2/47
Let b be (1/2)/((-1)/(-58)). Suppose -79*d + 14 = 5*r - 74*d + 59, 33 = -3*d. Sort r, 5, 4, b in ascending order.
r, 4, 5, b
Suppose -4*y - 2*u = -4*u - 26, 0 = 4*y + 3*u - 1. Suppose 0*h - 3*h - 21 = -3*g, -y*h + 35 = 5*g. Suppose -c + g = 7. Sort c, -1, -5.
-5, -1, c
Let z be 3/9*17 + 8/(-12). Let x = z - -4. Suppose x*j - 35 = 1. Sort 1, j, -7 in decreasing order.
j, 1, -7
Let w be 2/(-7) - (-15)/28. Let q = -23631 - -23627. Put q, 20, 0, w in increasing order.
q, 0, w, 20
Suppose 2*q = 4*t - 116, 5*t = -2 - 3. Let r = 45 + q. Sort r, 2, -0.1 in ascending order.
r, -0.1, 2
Let m = 670 + -669. Let j = -45 + 50. Suppose -5 = 5*s - j*f, 0 + 9 = s + f. Put s, 3, -8, m in ascending order.
-8, m, 3, s
Let t be 1/(72/2) + -34*(-9)/1377. Let p = -0.4 + 0.9. Sort p, 27, t, -2.
-2, t, p, 27
Let v = -65.73422 + -0.09578. Let m = v - -1.53. Let s = m - -64. Sort s, -0.23, -2 in increasing order.
-2, s, -0.23
Suppose -3*n - y - 1699 = 0, 2*n + 44*y = 43*y - 1131. Let w = -550 - n. Sort 0.4, -4, w in descending order.
w, 0.4, -4
Suppose b - 3*r = 13, -b = 97*r - 96*r - 1. Put 3, 2, 14, 0, b in descending order.
14, b, 3, 2, 0
Let r = 2052 + -2057. Sort -291, -0.1, r, 2 in ascending order.
-291, r, -0.1, 2
Let m = 0.68 - -5.42. Let j = -173/145 + -1/145. Put 2/9, m, 5, j in increasing order.
j, 2/9, 5, m
Let b = 46517 + -46518. Let z be 2/(2 + (-12)/5). Put b, z, 0, 44 in descending order.
44, 0, b, z
Let w be 3/(-6)*0/(-18). Put w, -5, -4, -49 in decreasing order.
w, -4, -5, -49
Let d = 2074 - 2068. Sort -9, d, -0.3.
-9, -0.3, d
Let h = 28.08314 - 0.08314. Sort 3/10, h, -4 in decreasing order.
h, 3/10, -4
Let n = 282 - 282.474. Let a = 0.126 - n. Sort 1/5, 2, a in decreasing order.
2, a, 1/5
Let t = -0.0089 + 0.5089. Let f = 0.017 + -0.041. Let a = 0.326 - f. Put 4, a, t in increasing order.
a, t, 4
Suppose 5*x = 4*m + 85, -5*m + 3*m = 0. Suppose -2*p = -4*p + 3*r + 22, -p + 3*r + x = 0. Let y = 0 - 2. Put p, -4, y in decreasing order.
p, y, -4
Suppose 4*t = 3*q + 9*t, -5*q + 4*t = 0. Suppose 0 = -6*j + 3*j + 4*m + 92, 0 = -2*j - 4*m + 28. Suppose j = 59*w - 51*w. Sort -4, q, -2, w in decreasing order.
w, q, -2, -4
Let m be 0*((-14)/4 + 3). Let a(z) = z**2 + 12*z + 29. Let v be a(-4). Sort 24, v, m.
v, m, 24
Let j be ((-10)/(-13))/(92/598). Put j, 0, 27, 0.4 in descending order.
27, j, 0.4, 0
Let p = -5 + 16. Suppose 3*s + l - 29 + 25 = 0, 11 = -3*s - 4*l. Suppose 4*m = -3*w + 26 + 2, m - s*w = -8. Sort -4, m, p.
-4, m, p
Let p(y) = -49*y - 66. Let a(c) = -94*c - 130. Let j(s) = -6*a(s) + 11*p(s). Let r be j(-2). Let o(n) = -n**2 - 2*n + 1. Let l be o(-4). Sort r, l, 3.
l, 3, r
Let p be -8*((-19)/(-2) + -9). Suppose 2*m - 125 = 3*z, 0*z + 196 = 3*m + 4*z. Let b be 6/(-4)*m/(-24). Sort 2, b, p in descending order.
b, 2, p
Let g(f) = f**3 + 2*f**2 + 2*f + 8. Let o be g(-3). Let n be o/(140/(-24))*(-4)/(-36). Sort -0.4, -3, n, -0.3 in decreasing order.
n, -0.3, -0.4, -3
Suppose a + 2 = 3. Let i(y) = -29*y**2 - 13*y - 11. Let j be i(-1). Put 2, j, 0, a in descending order.
2, a, 0, j
Suppose 3*a - 34*g + 39*g - 16 = 0, 3*a - 22 = g. Put -5, a, 3 in ascending order.
-5, 3, a
Let x(t) = 2*t**2 - 2*t. Let u be x(2). Suppose a - u = 2*d, 0*a + 4*d - 2 = -3*a. Suppose 5*c - 13 = -y, 652*y + 4*c - 2 = 