der.
2/5, i, l
Suppose l - 5 = -4*l. Put l, -5, 8 in decreasing order.
8, l, -5
Let l = 2 + -2. Let w = -1 - -5. Let h = 582 - 13388/23. Sort w, l, h in descending order.
w, l, h
Suppose 0 = i + 2*p - 10, 2*i - 5*p = -10 - 6. Let k = 0 + -8. Let m(g) = -g - 4. Let v be m(k). Sort v, i, -3.
-3, i, v
Let p(y) = -y**2 + 3*y. Let w be p(3). Suppose w = -4*f + 5*k + 24, 4*k + 20 = f + 3*f. Let o be -2 - (-2 + 1 + -1). Sort f, o, 4 in descending order.
4, f, o
Let f = 11233603/160153 + -2/22879. Let b = f - 70. Sort 0.2, -1, b in descending order.
0.2, b, -1
Let t = -10 + -81. Sort 1/6, -0.5, t in decreasing order.
1/6, -0.5, t
Let a = -49 - -47. Suppose -17 = -5*i + 13. Suppose -4*s + 3*v - 4 = 0, -2*s + i*v - v = 2. Sort -5, s, a.
-5, a, s
Let g = -1 + 4. Let l = 0.09 - -4.91. Sort 1/6, l, g in increasing order.
1/6, g, l
Let w = -12 + 6. Let u(a) = -a**2 - 15*a + 3. Let n be u(-15). Put n, 0, w in descending order.
n, 0, w
Suppose -4*d + 4*h = 28, -4*d + 11 = 3*h + 74. Let g be (-3)/(-5)*8/d. Put 1/11, -10, g in decreasing order.
1/11, g, -10
Let z = 6 + -15. Let w = 9 + z. Put -5, 4, w in descending order.
4, w, -5
Let f = 2 - 2. Sort f, 2, -3 in decreasing order.
2, f, -3
Suppose 4*z - 2 = -26. Let a be -4*(-1 - z/8). Suppose 2*f = -6 - 4. Sort a, 3, f.
f, a, 3
Let u = -25/7 + -27/14. Let q = u - -6. Sort 0.2, q, 5 in descending order.
5, q, 0.2
Let o(m) = m + 1. Let p be o(0). Suppose 1 = b, b + 2*b - 3 = -2*y. Sort -1, y, p in ascending order.
-1, y, p
Let v = -0.74 - 0.26. Sort -7/3, -4, v in increasing order.
-4, -7/3, v
Suppose -t + 4*h = 6, -2*t - 4*h = -9 - 3. Let m be 2/(-4) + t/(-4). Let g be 2/(2/4*-1). Sort m, g, -3 in descending order.
m, -3, g
Let p(u) = -u**3 + 9*u**2 - 4. Let k be p(9). Let v be 20/8*k/(-5). Sort 3, -1/8, v in descending order.
3, v, -1/8
Let y = 2.1 - -2.9. Sort -0.2, y, -1.
-1, -0.2, y
Suppose h = 2*h + t - 31, 2*t = 5*h - 162. Let m be h/18 + (6 - 8). Let u = 0 - -2. Put -0.1, u, m in decreasing order.
u, -0.1, m
Let t(i) = -i + 36. Let u be t(0). Suppose -4*x + 5*a - u = a, 2*x + 30 = 5*a. Suppose -3*f = -3*c - 3, 5*f - 6 = 4*c - 3. Sort x, f, -2.
x, -2, f
Suppose -f = -0*z + 5*z + 8, -9 = 4*f - 3*z. Suppose 0 = -3*w + 2*d - 25, 3*w - 5*w + 10 = 4*d. Sort -4, w, f in increasing order.
w, -4, f
Let i = 2 + -1. Put 0.1, i, -1/2 in increasing order.
-1/2, 0.1, i
Let i(n) = n**2 - 20*n + 20. Let z be i(19). Let y be (-4)/2 + 5 + 1. Suppose -2*g = -0*a - 2*a + 2, -y*g = 2*a - 20. Sort z, a, 3 in descending order.
a, 3, z
Suppose 3*p + 4*t = -0*p + 11, -5*p + 4*t - 3 = 0. Let r = -3 + 1. Sort -1, p, r.
r, -1, p
Suppose 3*x = 2*q - 41 - 5, -x = 2*q - 62. Suppose -4*c - 4*v - q = -v, -4*v = 4*c + 32. Put -3, c, -4 in decreasing order.
-3, -4, c
Let l(p) = -p + 5. Let w be l(7). Put w, 5, -5 in decreasing order.
5, w, -5
Let r = -0.3 + 0.2. Let j = 14 - 20. Let p be 1 + -2 - 5/j. Sort p, r, 1 in descending order.
1, r, p
Let y be (5/2)/(2/4). Suppose 0 = m - y, 8 + 14 = b + 5*m. Put 6, b, 0 in descending order.
6, 0, b
Let k = -1.1 - -1. Let q = k - 0.7. Let f = 1 + q. Put f, -5, -4/7 in ascending order.
-5, -4/7, f
Let s = -0.5 - -0.1. Let j = s + 2.2. Let p = 0.2 + j. Sort 0.1, p, -1/8 in decreasing order.
p, 0.1, -1/8
Let b = 34 + -36. Sort 4, 1/3, b.
b, 1/3, 4
Suppose -3*d + 14 = 3*x - 4, 0 = -2*x + 5*d - 2. Sort 0, x, 2, -5 in descending order.
x, 2, 0, -5
Let y = -2552/9 - -284. Put 0.5, y, -0.1 in ascending order.
-0.1, y, 0.5
Let v = 4 + -4. Let s = -0.54 + -4.06. Let k = s - -5. Put k, 1, v in decreasing order.
1, k, v
Let o be (-6)/(-10) - 2/(-5). Put -7, o, -5 in decreasing order.
o, -5, -7
Let r = 1.08 + -0.08. Sort 1/6, -0.2, r in decreasing order.
r, 1/6, -0.2
Suppose 4*n - p = -13, p + 1 = n + 5. Sort n, -0.4, -0.5.
n, -0.5, -0.4
Let x = 9 - 10. Put 4, -2, x, -1/29 in decreasing order.
4, -1/29, x, -2
Let g = 0.21 + -2.21. Let b = 3.6 - 4. Sort g, b, 5 in decreasing order.
5, b, g
Let w(m) be the second derivative of m**5/20 + m**4/12 - m**3/6 + 2*m**2 - m. Let p be w(0). Sort 2, p, -5 in increasing order.
-5, 2, p
Let g(i) = 2*i**3 + 6*i**2 + 7*i + 2. Let u be g(-2). Let t be (-1 - (-12)/10)/(-1). Sort 2/9, u, t in decreasing order.
2/9, t, u
Suppose -4*h + 27 = 3*u + 8, 5*u = -2*h + 27. Let y = 964/5 + -194. Sort -0.4, h, y.
y, -0.4, h
Let r(q) = q**3 - 2*q**2 - q + 4. Let t be r(3). Suppose 6*k = k - t. Let g = -11 + 10. Sort -3, g, k in descending order.
g, k, -3
Let k = -16 - -13. Let x = k - 0. Sort x, -1, 4.
x, -1, 4
Let n be -2 + 0 + (1 - -1). Sort 1, 5, n in ascending order.
n, 1, 5
Let s be 5*((-48)/20 - -3). Sort -3, -8, s in descending order.
s, -3, -8
Let t = 284/685 - 2/137. Suppose -4 = -4*h + 12. Let b(w) = w**2 - 3*w + 1. Let x be b(h). Put t, 1/5, x in decreasing order.
x, t, 1/5
Let b = 823/2216 + 1/277. Put b, -1, 2, 5 in increasing order.
-1, b, 2, 5
Let q = 10 + -8. Let w = 1 + q. Put w, -0.3, 0.3 in descending order.
w, 0.3, -0.3
Suppose -3*f = 3*h - 21, -17 + 4 = h - 4*f. Suppose a - 4 = 5*i + 5*a, 3*a - 16 = i. Sort h, -5, i in ascending order.
-5, i, h
Let o = 0.28 - -0.02. Sort o, -4, -1.
-4, -1, o
Suppose -5*l - 6 = -3*y, 5*y - 2 = 4*y. Let c = -0.42 - -4.42. Sort l, -4, c in increasing order.
-4, l, c
Suppose 0*o = -o - 1. Let r = -1 + o. Put 5, 0, r in increasing order.
r, 0, 5
Suppose -30 = 4*v - y + 22, 4*y + 32 = -4*v. Let l be 0 + 1*v/3. Let h(p) = -p - 1. Let d be h(l). Put -3, d, 5 in decreasing order.
5, d, -3
Let s = 6/11 - 40/33. Put s, 0.01, -0.1, 0.3 in ascending order.
s, -0.1, 0.01, 0.3
Suppose 2*d - 26 = -4*g, 3*d + 22 = 4*g + d. Let l(x) = -x**2 + 5*x + 5. Let q be l(g). Sort q, 4, -0.3 in increasing order.
q, -0.3, 4
Let t = 13/44 + -6/11. Let o = -29.1 - -24. Let h = 0.1 + o. Put 0.4, t, h in ascending order.
h, t, 0.4
Let w = 0.8 + 0.2. Sort -0.5, w, 0.3 in increasing order.
-0.5, 0.3, w
Suppose 0 = -0*j + 3*j + 15. Let p(l) = l**3 - 6*l**2 + 7*l - 7. Let i be p(5). Suppose i = n - 1. Put j, n, 1 in increasing order.
j, 1, n
Suppose -13*g + 12 = -g. Sort 4, -5, g in decreasing order.
4, g, -5
Let l be 1 + (8/(-3) - -2). Let z = -7 - -13. Let h = z + -4. Sort -0.1, h, l.
-0.1, l, h
Let g(r) = r**2 + 8*r + 11. Let s be g(-5). Put s, 4, 3, 0 in ascending order.
s, 0, 3, 4
Let g(v) = -4*v**3 + v + 1. Let m be g(-1). Let p(w) = -2*w - 4. Let x be p(-3). Suppose 0 = x*l - 7*l. Put -4, l, m in decreasing order.
m, l, -4
Let p(z) = z**3 - 11*z**2 + 12*z + 2. Let o be p(10). Suppose 0*l = -2*l + j + 18, 3*l - o = 4*j. Let v = l - 13. Sort v, 5, -4.
-4, v, 5
Suppose 5*i = 2*i. Suppose 4*d - 4*m = -i*d + 16, m - 11 = -4*d. Let n be 10/4 - 3/2. Sort d, -1, n in increasing order.
-1, n, d
Let z = 18 + -16. Sort z, 4, 1.
1, z, 4
Suppose -i - 6 = d, -i + 1 + 3 = 0. Put -7, -2, d in increasing order.
d, -7, -2
Suppose 0 = 5*t - t. Let k be -10*(-3)/9*15/10. Put -3, t, k in decreasing order.
k, t, -3
Let s = 16 - 23. Let g = s + 3. Put 1, g, -3 in descending order.
1, -3, g
Suppose 5*f = -f + 18. Let a(i) = -i**3 - 4*i**2 - 2*i. Let z be a(-3). Sort 0, f, z in decreasing order.
f, 0, z
Let z = 1 - 2. Let x = -5 - -5. Suppose -2*r + 8 = -x*r, -2 = -3*g - 2*r. Put z, g, -4 in increasing order.
-4, g, z
Let t be (-34)/(-6) - -4*8/(-48). Sort t, 6, -5.
-5, t, 6
Let v(s) = 42*s**3 + s**2 - 2*s + 1. Let y be v(1). Suppose 2*t + y = 5*t. Let d be 22/6 + t/(-21). Sort 0.2, 1/8, d in descending order.
d, 0.2, 1/8
Suppose 0 = -0*g + 2*g - 8. Suppose 0*x - g*x = -4. Suppose -3*s + 7*s - 20 = 5*n, 2*s + n = -4. Sort x, -2, s in increasing order.
-2, s, x
Let j = -56/645 - 2/43. Sort 1, 5, j in decreasing order.
5, 1, j
Let c be (12/(-21))/((-2)/7). Suppose -4*f + m + 25 = 0, 4*m = c*f - 50 + 20. Let b be 14/10 + (-8)/20. Put -1, b, f in ascending order.
-1, b, f
Let b = 1 - -1. Let t = -3 + 2. Let n = t - -0.6. Sort b, n, -0.5 in descending order.
b, n, -0.5
Let k = 40 + -29. Suppose 0 = v + 3, -v = -4*i - 2*v - k. Let c be 12/2*1/(-2). Put i, -4, c in decreasing order.
i, c, -4
Let i = -60 - -64. Put 22, -3, i, 2 in increasing order.
-3, 2, i, 22
Suppose 4 = -3*h - 4*j, -4*j - 16 = -2*h - 2*j. Sort -5, 1, 2, h in increasing order.
-5, 1, 2, h
Let i = -19 + 13. Let l = -10 - i. Suppose -135*a + 132*a + 6 = 0. Put l, a, -2 in decreasing order.
a, -2, l
Suppose 11 = 4*z - 0*o - o, 