der.
-3, -0.522, -2/7, u, 0.2
Suppose -1864*h = -1888*h - 120. Put 761, -1, h, 1/2, 0.1 in descending order.
761, 1/2, 0.1, -1, h
Let d(n) = -33*n + 262. Let i be d(8). Let c(p) = -2*p + 18. Let x be c(11). Sort -47, 3, x, i.
-47, x, i, 3
Let l = -441/2 + 2209/10. Let y = -4.9 - 1.1. Sort l, -0.5, y, 3/5 in increasing order.
y, -0.5, l, 3/5
Let r(i) = -37*i + 1. Let s(a) = a. Let y(q) = r(q) - 4*s(q). Let m be y(1). Let f be 1/3*(-60)/m. Sort f, -4, 0.7, 0.1.
-4, 0.1, f, 0.7
Let s(u) = u**2 + 166*u + 485. Let x be s(-3). Let b = 74 + 25. Sort 0, b, 1, x in decreasing order.
b, 1, 0, x
Let i be 1/10*6 + (-6)/10. Suppose i = -9*o - 812 - 925. Sort 5, o, -1 in descending order.
5, -1, o
Let p = -1.3749 - -0.8749. Let a be (5 + -3)/((-2)/(-9)). Sort 2, p, 1/6, a.
p, 1/6, 2, a
Suppose 0 = -3*d - 2*q - 73, 3*d + 36 + 43 = -5*q. Let u(l) = 4*l + 7. Let m be u(5). Let w = d + m. Sort -5, 1, w in ascending order.
-5, 1, w
Let p = -960 - -961. Suppose -23*n = -12*n - 7*n. Put p, -48, n, 5 in increasing order.
-48, n, p, 5
Let k(v) = -128*v + 650. Let j be k(5). Sort 11, 4, j, 0 in increasing order.
0, 4, j, 11
Let w(o) = 70*o + 280. Let i be w(-4). Sort 12, i, -5, 3 in ascending order.
-5, i, 3, 12
Let r = 18418 + -18414. Suppose 2*a - 5*t + 4 = 21, 3 = -3*a - 2*t. Sort -1, -5, a, r in descending order.
r, a, -1, -5
Let r = -0.04747 + 0.25247. Put 2, 0.2, 1/2, r, -3 in decreasing order.
2, 1/2, r, 0.2, -3
Let q = -10 + 9.97. Let x = 1137 - 1131. Put q, -4/5, x, 0.5 in ascending order.
-4/5, q, 0.5, x
Let v = 131.3 - 132. Let y(z) = -z**2 - 7*z + 13. Let n be y(2). Put -1/5, 0.3, v, n in ascending order.
n, v, -1/5, 0.3
Let x be 1*(-54)/(-6) - 10. Let u = 0.4 + -0.8. Put 0.7, -2, u, x in ascending order.
-2, x, u, 0.7
Let o be (-280 - -276)*2/(1*-4). Put 5, 4, -2091, o in increasing order.
-2091, o, 4, 5
Let i(c) = c + 11. Let t be i(-5). Suppose 2*u - t*u - 12 = 0. Let y = 1.062 - 0.062. Put u, 1/5, -5, y in increasing order.
-5, u, 1/5, y
Suppose -14*l = 9*l - 25*l. Let j be (-40)/16*7/80. Let f = 3/32 + j. Put l, -1, f in ascending order.
-1, f, l
Suppose 0 = 117*d - 71*d + 241 + 541. Sort 2, -1, d.
d, -1, 2
Let x = -3388 + 3391. Sort 0, -5, x, -4, -26 in decreasing order.
x, 0, -4, -5, -26
Let c = 14.26 + -0.26. Let b = c - 7. Let n(y) = -38*y + 418. Let a be n(11). Put a, 1/2, -2, b in decreasing order.
b, 1/2, a, -2
Let j = 2.1607 - 0.0307. Let f = j - 0.13. Let l be -3 + 6 + -3 + -2. Sort l, -6, 2/21, f in increasing order.
-6, l, 2/21, f
Suppose -12883*b = -12888*b + q - 15, b + 4*q - 18 = 0. Let j be 7/4 - 4/(-16). Suppose -w - 4*s - 16 = w, -j*w = -4*s - 16. Sort w, b, 5 in decreasing order.
5, w, b
Suppose 22*k - 7 = -i + 21*k, i = 3*k - 17. Let o be 235/(-4) - (-3)/(-12). Put -4, i, o in ascending order.
o, -4, i
Let u = -6.6375 - -1.6375. Sort u, -1, 2.13 in descending order.
2.13, -1, u
Let k be 8957/159 - 56 - (-4)/42. Let j = 2.8 - 3. Put j, 4, k in ascending order.
j, k, 4
Let r = 189/41 - 904/205. Put r, 0.1, -1/2, -1, -139 in descending order.
r, 0.1, -1/2, -1, -139
Suppose -4*j - 24 = -3*h - 2*j, -5*h = -4*j - 42. Let r = -0.019 - -0.479. Let a = r + 0.04. Sort 1/9, a, h in ascending order.
1/9, a, h
Let z(r) be the third derivative of -r**6/120 - r**5/12 - 7*r**4/24 - 17*r**3/6 + 6*r**2 - r. Let m be z(-4). Sort 2, 0, m, 4 in decreasing order.
4, 2, 0, m
Let u = -3.26 + 0.26. Let w = -779.5 - -779. Sort -0.4, u, -21, w in increasing order.
-21, u, w, -0.4
Let k be (-9)/(-6)*(-18)/27. Let l = k + 11. Suppose -5*j = -5, -l = -2*g - 5*j + 1. Sort -3, 1, g.
-3, 1, g
Suppose -104*i = -2*x - 93*i - 122, -35 = 3*x + 2*i. Sort 3/10, x, -0.7 in decreasing order.
3/10, -0.7, x
Let d = -0.33722 + 4.33722. Sort d, 0.12, -7/24 in increasing order.
-7/24, 0.12, d
Let t(w) = -w**3 - 10*w**2 - 8*w + 11. Let k be t(-9). Suppose -k*p - 5 = -p. Let m be (-70)/15 - (p - -2). Put -3/5, -2, m in ascending order.
-2, m, -3/5
Let r = -41 - -29. Let f be (-4176)/290 + (-16)/10. Let h be f/3 + 1/(r/8). Sort 4/3, -0.4, h, -0.3 in increasing order.
h, -0.4, -0.3, 4/3
Suppose 0 = q, -5*c = -2*q + 16 - 6. Let i(r) = 4*r**2 - 34*r + 33. Let h be i(7). Sort h, c, -2/17, -0.5.
h, c, -0.5, -2/17
Let s = 113 - 120.42. Let g = 7.4 + s. Let v = 7.8 - 2.8. Put -3, g, v, -0.4 in descending order.
v, g, -0.4, -3
Let b be ((-17)/(-6))/(-29 + 25) - 15/(-40). Put b, -0.4, -1.27, 0.5, 3 in increasing order.
-1.27, -0.4, b, 0.5, 3
Let k be 464/87 + (-2)/(-3) + -1. Let y(g) = g - 2. Let s be y(k). Suppose -3*d - 8 = 2*x, -2*x - 22 = -s*x + 5*d. Put -5, 4, x, 1 in increasing order.
-5, 1, x, 4
Let z = 22383 + -22379. Sort 2/3, 2/9, 3/5, z in increasing order.
2/9, 3/5, 2/3, z
Let l = -587 - -575. Let x be (14/l)/(357/(-102)). Put 0.52, -0.2, x in ascending order.
-0.2, x, 0.52
Let y be (-5)/4 - (-328)/264. Let v be (194/(-220))/(12/5). Let t = v + y. Sort -3, t, -4/7, 1 in decreasing order.
1, t, -4/7, -3
Let r(i) = i**2 - 2*i - 6. Let w be r(6). Suppose -w = -2*z - 4*d, -5*z + 23 = -d - 0*d. Sort -17, z, -4, 4 in increasing order.
-17, -4, 4, z
Suppose 3*a = -5*j + 29, -5*j - 4*a + 28 = -j. Suppose 3*d - 2*x = 15, 0 = -x + j*x + 9. Sort -10, d, 0 in increasing order.
-10, 0, d
Let l = -43.3 - -44.9. Put 2, -4/5, l, 52 in descending order.
52, 2, l, -4/5
Let k = 3.9 + 1.1. Let n = -993889/2054014 - 143/5377. Let i = n + 2/191. Sort -2, 0.5, k, i in decreasing order.
k, 0.5, i, -2
Let y be (-25)/4 + (-5)/(-20). Let j be -1*(-2 + -11 + 13). Sort j, 3, y in increasing order.
y, j, 3
Suppose -2*v - 4 = 3*p, 4*v - 5*v + 1 = 0. Sort -11, -1, 5, p, -4 in decreasing order.
5, -1, p, -4, -11
Suppose -y + 15*q - 1 = 16*q, 0 = 4*y - q - 11. Sort -7, y, -13, -4.
-13, -7, -4, y
Let k(s) = -s**2 - 3*s + 9. Let b be k(-5). Sort 2, 3, -4, b, -8 in descending order.
3, 2, b, -4, -8
Suppose 27*h = 5*z + 28*h - 26, 5*z - 27 = -2*h. Sort 5/3, -1.6, z, 1/3 in descending order.
z, 5/3, 1/3, -1.6
Let z be 15*(-2)/(-6)*3. Suppose 3*o + 12 = z*o. Put o, 3, -40 in descending order.
3, o, -40
Suppose -2*i - 3*d - 14 = 0, -5*i + 4*d - 13 = -1. Let b be 5/20*i + -29. Sort -2, b, 4.
b, -2, 4
Let c = 0.09 + 6.59. Let w = c + -11. Let p = w - -0.32. Sort -0.1, 3, p in increasing order.
p, -0.1, 3
Suppose -n + f + 2 = -5, 0 = -2*n - 3*f - 11. Let w be n/(-5) - (-482)/(-20) - -1. Let t = w + 23. Sort -9, t, -4 in descending order.
t, -4, -9
Let a = 2882 + -2846. Sort -4, a, 10, -5.
-5, -4, 10, a
Let y be (-2 - 0)/6*-15. Suppose 19 = 42*z - 44*z - 3*s, z = -2*s - 14. Put -20, y, 0, z in ascending order.
-20, 0, z, y
Suppose 3*o - 112 + 565 = 0. Suppose 2*i + 123 = 5*g + 178, 44 = -4*g. Put o, 5, i, -1 in descending order.
5, i, -1, o
Suppose 215 = -59*f + 102*f. Put f, -3, -22, 4, 0 in decreasing order.
f, 4, 0, -3, -22
Let v = 1 - -4. Let g = 14705 + -14703. Put v, g, -2 in descending order.
v, g, -2
Let c = 64.3 - 65. Let y = -4.4 + c. Let v = -5.1 - y. Sort -3, 0.4, 1/7, v in descending order.
0.4, 1/7, v, -3
Suppose -1073 = -2*n + 3*o, 4 - 5 = o. Put -3, 5, 0, -5, n in increasing order.
-5, -3, 0, 5, n
Suppose 0 = -r + 92*q - 91*q - 416, 2*r + 5*q + 881 = 0. Put 0, r, 4 in ascending order.
r, 0, 4
Suppose 2*m = 2*p - 27 - 11, m + 5*p = -37. Suppose 2*q - 12 = 5*h, -3*h = -4*q + 11 - 1. Put -3, m, q in decreasing order.
q, -3, m
Let n(o) = -2*o**2 - o + 1. Let d be -1*-2*(-1)/(-2). Let p be n(d). Let y = -2581.6 + 2576.6. Sort p, y, 2, -1 in descending order.
2, -1, p, y
Let o(r) = -72*r - 219. Let k be o(-3). Sort -3/5, -1, k, 0.6, -5 in decreasing order.
0.6, -3/5, -1, k, -5
Let t = -0.03 - -21.03. Let p = -18 + t. Let g = 18.2 + -23.2. Put 6, -2/5, p, g in decreasing order.
6, p, -2/5, g
Let l = 128 - -17. Suppose p + 0*p = -2*j + 30, 0 = 4*p + 3*j - l. Suppose 21*t = 16*t - p. Sort -2/7, -5, 1/2, t.
t, -5, -2/7, 1/2
Suppose -332*z - 1313 + 2641 = 0. Suppose 4*g - 6 = 3*g. Put z, g, -5, 11 in ascending order.
-5, z, g, 11
Suppose -4*c = -13*d + 5, -53*d - 5*c + 12 = -51*d. Sort -1, -7, 2, d, -0.1 in decreasing order.
2, d, -0.1, -1, -7
Let p = -7 + 11. Let q(x) = x**3 + 111*x**2 - 123*x - 1235. Let m be q(-112). Let y(u) = -u - 1. Let f be y(-6). Sort p, f, m.
m, p, f
Let f = -11 - -11.4. Let r = -4 - -6. Let b be (1 - (-375)/(-357))/(1/(-7)). Sort f, b, r in descending order.
r, f, b
Suppose -3*f - f -