der.
k, z, 0
Let f = -13.5 - -13. Sort 1/7, f, 2/11, 1/3 in decreasing order.
1/3, 2/11, 1/7, f
Suppose -w - 20 = -4*x, 9 = -5*w - 2*x - 3. Sort -7, w, 5 in increasing order.
-7, w, 5
Let y = 20 - 17. Sort 2, y, -9 in ascending order.
-9, 2, y
Let f = 1 + 1. Let y = -52/7 + 51/7. Put y, -0.1, f in decreasing order.
f, -0.1, y
Let n(g) = g + 10. Let f be n(-8). Let q(p) = -p**2 - p - 4. Let i be q(0). Put i, f, 0 in ascending order.
i, 0, f
Suppose 0 = -0*k + 3*k + 5*u + 31, 5*k + 2*u + 20 = 0. Put k, -3, 5 in ascending order.
-3, k, 5
Let d = -0.17 + -0.53. Let j = -0.6 - d. Put j, -0.1, 3/8 in ascending order.
-0.1, j, 3/8
Suppose h + 4*z + 6 = 0, 1 = -3*z - 8. Let y be (5 - 2)/((-117)/h). Sort -5, 1/7, y.
-5, y, 1/7
Suppose 0*c - 10 = -2*c. Let t(l) = -2*l. Let k be t(2). Let w be (k/2)/((-2)/(-4)). Sort 3, w, c in ascending order.
w, 3, c
Suppose 2*t - 5*s + 25 = 0, -3*t + 0*s + 3*s - 24 = 0. Sort t, -0.4, 0.3, -2.
t, -2, -0.4, 0.3
Let y(q) = -q + 5. Let l be y(12). Let j be 3/(-2) - l/14. Sort 1, j, 3 in decreasing order.
3, 1, j
Let m = 32/3 + -163/15. Let c = -13.8 + 17. Let i = 0.2 - c. Sort m, 5, i in descending order.
5, m, i
Let d = -4 + 9. Suppose 4 = -2*f - 2. Let o(r) = -r**3 - 2*r**2 + 4*r + 1. Let u be o(f). Put u, 4/9, d in decreasing order.
d, 4/9, u
Let p = -2/33 - -109/165. Sort p, -0.4, 1/10 in decreasing order.
p, 1/10, -0.4
Let b = 5 + -8. Let t = -1 - -4. Suppose 0 = -5*r + 6*q - q - 15, -2*q = -3*r - 8. Put t, r, b in descending order.
t, r, b
Let v be 4/25*(-10)/(-52). Let x = v - -57/260. Put 0.1, x, -0.2 in decreasing order.
x, 0.1, -0.2
Let a = 9/10 + -11/10. Sort -0.4, 3, -4, a.
-4, -0.4, a, 3
Let x = 13 - 14. Let r = -1.4 - x. Sort -5, r, 4.
-5, r, 4
Let f = 0.53 - -7.87. Let r = f + -8. Sort -0.4, r, -5/2 in ascending order.
-5/2, -0.4, r
Let s = -2/139 + -542/973. Suppose -4*m + 16 = -j + 5*j, -2*m + 7 = 3*j. Suppose t + 8 = 5*h - 3*h, -2 = 3*t + m*h. Sort s, t, 2 in ascending order.
t, s, 2
Let n = 343714/65 - 5286. Let r = n + -30/13. Sort 2/3, r, -3 in decreasing order.
2/3, r, -3
Suppose -5*g + 19 = -k, -k = 2*k - 5*g + 27. Sort 5, k, -2.
k, -2, 5
Suppose -4*b - w - 6 + 19 = 0, -w + 1 = 0. Let c = 150 - 151. Sort 1, b, c in increasing order.
c, 1, b
Let i = -5 - -4.6. Let w = -11.8 + 12. Sort i, -1, w in descending order.
w, i, -1
Suppose 4*m - 2*a = -10, 5*m + 2*a + a + 29 = 0. Let i be 4 + (2 - 4 - 0). Sort m, -0.3, i in decreasing order.
i, -0.3, m
Let w be (-6)/(-2 - (2 - 2)). Sort 1, w, -2.
-2, 1, w
Let q = -20 + 19.5. Sort -1, 7, q in descending order.
7, q, -1
Let c(h) = -2*h - 3. Let m be c(-2). Let p = -0.5 + 0.49. Let v = 3.01 + p. Put v, m, -2 in decreasing order.
v, m, -2
Let q = 16 - 16. Put 3, 4, q in increasing order.
q, 3, 4
Let z(a) be the third derivative of -a**6/120 + 2*a**5/15 - 3*a**4/8 + 5*a**3/3 - 3*a**2. Let g be z(7). Sort g, -2, 2 in descending order.
2, -2, g
Let h(x) = -4*x - 7. Let r be h(-6). Suppose u = 2*o + 4*u + r, 0 = 2*o + 2*u + 12. Put 0, 4, o in increasing order.
o, 0, 4
Suppose 11*q = 8*q + 9. Put 9, -2, q in descending order.
9, q, -2
Let p be 1 + -2 + (-13)/13. Sort -1, 0, p in decreasing order.
0, -1, p
Let z = 6.4 + -7. Let g = z + 0.4. Let u = 192 - 1342/7. Sort u, g, 0.
g, 0, u
Let t = 0.06 - 0.06. Let o = -4 + 4.1. Let c = o + -0.3. Put c, 1/11, t in decreasing order.
1/11, t, c
Suppose -13 = -4*t - 3*y, -t - 5*y + 20 = 4. Sort 2, -6, t in increasing order.
-6, t, 2
Let s = 1.93 + 0.07. Let a = 41.9 - 40. Let t = a - s. Sort t, 3, 2/5 in decreasing order.
3, 2/5, t
Let x be (-9)/(-11) - (-4)/22. Suppose -x = j + 4. Let l(d) = -d**3 - 3*d**2 + 5*d + 2. Let g be l(-4). Sort j, g, 4 in decreasing order.
4, g, j
Let s be 4/(-3)*(-9)/6. Suppose 5 = -s*r + 3. Let b be (r - 1)*(-1 + 0). Sort b, -2, 4 in increasing order.
-2, b, 4
Let x = 1.9 - -0.1. Let p = -0.12 - -0.33. Let k = p - 0.01. Sort -4/9, k, x.
-4/9, k, x
Let v = -18/7 - -61/21. Let i(g) = g**3 - 3*g**2 - 5*g + 3. Let d be i(4). Put 0.4, v, d in ascending order.
d, v, 0.4
Suppose u - 12 = -f + 4*f, 3 = -3*u - 4*f. Sort 5, u, 0 in descending order.
5, u, 0
Let t = -0.14 - 0.26. Sort 0.3, t, -6 in decreasing order.
0.3, t, -6
Suppose 0 = -3*i - 6, 0 = -5*v + i - 4*i - 6. Let w be -1 - 1 - 4/4. Put w, -2, v in decreasing order.
v, -2, w
Let h = -8 + 11.2. Let r = h + -0.2. Let p = 0 + r. Sort p, 2, 0.5.
0.5, 2, p
Let t = 9 - 4. Let z = -5 - -3. Let o = 1.1 - 1.4. Put z, t, o in increasing order.
z, o, t
Suppose -29 = -5*k - f, -11 - 10 = -k - 4*f. Let y = -38 + 33. Put y, 2, k in decreasing order.
k, 2, y
Suppose -11 = -5*g + 3*i, -4*g = -5*i + 2 - 3. Suppose 2*u = 2*a - g*a, -3*a = 5*u - 2. Sort -6, a, 0.4 in ascending order.
-6, a, 0.4
Let i = -0.02 - 0.28. Let t = i + -1.7. Put -0.3, t, 4 in decreasing order.
4, -0.3, t
Let p be -2 + 0 - 0 - -2. Let t be (1 - -2)*(1 + p). Let c be (2/(-3))/(t/18). Put 3, c, -5 in increasing order.
-5, c, 3
Let p(f) = f - 5. Let i be p(5). Let l = 0 - -5. Suppose 0 = -3*g + 2 - 11. Sort g, l, i in increasing order.
g, i, l
Let b = -15 - -14. Let y be 6*3/(-6)*b. Put y, 1, -1 in ascending order.
-1, 1, y
Let c(l) = l + 2. Let w be c(-2). Let j be 3 + 3/(-6)*(-1 + 1). Suppose r - j*r + 10 = w. Put -3, r, -4 in descending order.
r, -3, -4
Let f(v) = v**2 + 9*v + 9. Let u = -16 - -10. Let q be f(u). Let p = 6 + q. Put p, 5, 0 in decreasing order.
5, 0, p
Let n be 1/1 - 285/144. Let y = -473/48 + n. Let x = y + 11. Sort x, -5, 2/11.
-5, x, 2/11
Suppose -1 = 5*b - 0*o - o, -3 = 4*b - 3*o. Let f = b + 3. Sort -4, 5, f in decreasing order.
5, f, -4
Let y(u) = u**3 - 7*u**2 - 6*u - 3. Let m be y(8). Let z = -15 + m. Let q = -2.95 - 0.05. Put 3/8, z, q in increasing order.
q, z, 3/8
Suppose -2*o - o = 0. Suppose -2*r - 4*h = o, 2*r + 2*h - 8 = 5*r. Let x be (-5)/2 - 4/8. Put r, x, 4 in descending order.
4, r, x
Let o = -2 - 0. Suppose -2*r + 12 = 4*m, -5*m - 4*r + 12 = -0*m. Put o, m, -5 in increasing order.
-5, o, m
Let v(q) = q + 12. Let y be v(-8). Sort 5, -1, y.
-1, y, 5
Suppose 3*a - a + 4*d = 36, 4*a - 60 = -5*d. Let u = a - 12. Let b be (3/2)/((-1)/u). Put 5, 0, b in descending order.
5, b, 0
Let l(j) = 2*j**2 - j - 1. Let p(h) = h**3 + 2*h**2 - 2*h + 2. Let q be p(-3). Let c be l(q). Sort 3, 1, c in decreasing order.
3, c, 1
Let z be (8 - 5) + -5*2. Sort 0, z, 4 in decreasing order.
4, 0, z
Let s = -5 - -1. Let o = s - -6. Put -4, o, -2/7 in decreasing order.
o, -2/7, -4
Suppose -6*i = -3*i. Suppose i = -5*q + 10 - 5. Sort 0.1, q, -0.5 in increasing order.
-0.5, 0.1, q
Let i = 3 + -6. Suppose 0 = 5*s - 5*r - 4 + 19, 3*r = 3. Sort 1, s, i.
i, s, 1
Let i be 0/2*5/5. Put -2, i, -4 in decreasing order.
i, -2, -4
Let o = 299 - 3885/13. Put o, -6, -1/3 in decreasing order.
o, -1/3, -6
Let k = -35 - -32. Let f = -1342/7 + 192. Put f, 6, k in descending order.
6, f, k
Let h = 39 - 50. Sort 3/7, 0.1, 5, h in increasing order.
h, 0.1, 3/7, 5
Let s be 0*(0 - 1)/1. Let p(j) = -j - 4. Let y be p(-6). Put s, y, -4 in ascending order.
-4, s, y
Let a be 0 + (0 + -1)*7. Let h = -12 - a. Let d = 5 + h. Sort -2, d, 1 in descending order.
1, d, -2
Let d(l) = -l - 11. Let g be d(-14). Suppose 0 = j - r + 3, j + 2*r + 3 = -r. Sort j, 0, g in descending order.
g, 0, j
Let v = -0.18 + -7.82. Let c = v - -8.2. Put -3, c, 3 in descending order.
3, c, -3
Let u = 28 + -23. Let q = 0 + 1. Let t = 0 + q. Sort u, -4, t in descending order.
u, t, -4
Let q = 0.04 - -0.26. Let b = -0.3 + q. Suppose -3*o - 4*o - 7 = 0. Put b, 2/7, o in descending order.
2/7, b, o
Let g be ((1 + 0)*-3)/1. Suppose -23 = 3*q + 4*i, -3*i + 2*i - 10 = 5*q. Put g, 5, q in descending order.
5, q, g
Let s(z) = -2*z + 6. Let k(d) = -d. Let r be k(-4). Let a be s(r). Put a, 1, -5 in descending order.
1, a, -5
Let c be (-2)/7 + 216/266. Let m = c + -1/38. Sort -5, 0.2, m in decreasing order.
m, 0.2, -5
Let f(i) = -i**2 - 4*i + 2. Suppose 0 = -b - 3*b - 16. Let v be f(b). Let t be v - 2/20*26. Put 0, 4, t in increasing order.
t, 0, 4
Suppose 4 = -2*c + c + 3*h, 4*h = 4. Suppose 4 = r + r. Put -2, r, c in decreasing order.
r, c, -2
Let j = 2 - 2. Let q = -12 + 4. Let v = -8.3 - q. Put j, -1/4, v in descending order.
j, -1/4, v
Let v be (1 + 2)*6/(-9). Sort v, -5, 4, 8 in increasing order.
-5, v, 4, 8
Let m = 0.4 + -0.2. Let p = -1.5 - 