-1, l in descending order.
0, -1, l
Let q be ((-6)/8)/(3/2). Let x = 1.2 - 0.2. Let u = -0.5 + x. Put q, -3, u in decreasing order.
u, q, -3
Let v(g) be the first derivative of -g**3/3 + 5*g**2/2 + 8*g + 2. Let m be v(6). Let u = -13 + 10. Put u, 5, m in ascending order.
u, m, 5
Let g = -2.03 + 0.03. Let v(z) = 10*z**2 - 16*z - 5. Let a be v(2). Put a, -0.3, g in descending order.
a, -0.3, g
Suppose -1 + 25 = 4*b. Let m(i) = -i**2 + 6*i + 2. Let q be m(b). Sort 0, -3, q in decreasing order.
q, 0, -3
Let l be (-2)/6 + (-15)/9. Let m be -4 - l/(1 + 0). Let x = -7.2 + 7. Sort -0.5, m, x in descending order.
x, -0.5, m
Let w(x) = 2*x + 28. Let b be w(-15). Sort 2, b, 1, -3.
-3, b, 1, 2
Let c = -0.6 + -4.4. Put 17, c, 0 in decreasing order.
17, 0, c
Suppose 0 = -2*w + 2*y - 9 - 9, -w - 5*y + 15 = 0. Let n = -8 + 4. Let d be -1 - 1 - 7/(-7). Put n, d, w in decreasing order.
d, n, w
Let j be 112/20 + 4/10. Let a be j/(-4)*(8 + -10). Let w be (-42)/8 - 1/(-4). Sort 5, w, a.
w, a, 5
Let f = -2 - -3. Let o = -253 - -2279/9. Put f, 0, o in descending order.
f, o, 0
Let x = 31 - 33. Put 0.5, -1/8, x, -0.5 in descending order.
0.5, -1/8, -0.5, x
Suppose -4*q - t + 9 = 0, -q + 10 + 5 = -4*t. Suppose 2*u - 7*u + p - 14 = 0, -q*p + 20 = -4*u. Put u, -3, -1 in decreasing order.
-1, u, -3
Suppose 5*y - 17 = -4*x, 3*y = 3*x - 6 - 0. Let z(u) = 6*u + 23. Let m be z(-4). Sort 5, y, m in ascending order.
m, y, 5
Let n(w) = -w**2 + 9*w - 8. Let u = 17 - 9. Let a be n(u). Sort 5, a, 2.
a, 2, 5
Let o(x) = -x**3 - 2*x**2 + x - 2. Let p be o(-3). Sort -1, 5, p in decreasing order.
5, p, -1
Let a = 0.15 + -4.15. Sort -9, -0.1, a in decreasing order.
-0.1, a, -9
Let q = 11 + -8. Suppose 3*t + 3*y - 1 = 5, 0 = 3*t - 2*y - 21. Put -3, q, t in ascending order.
-3, q, t
Suppose 15 = f + 4*f. Put f, -2, 5 in increasing order.
-2, f, 5
Let a(d) = d**2 - 3*d. Let h be a(4). Let c be (-4 - (1 + -2)) + 5. Sort h, c, -1.
-1, c, h
Let c be (-3 - -5)*(0 + 1). Suppose -c*i - m - 6 = 0, -4*i + 2*m - 6*m = 16. Sort 4, 5, i in descending order.
5, 4, i
Let w(k) = -4*k + 1. Let u be w(3). Let g = u - -8. Sort -5, 2, g.
-5, g, 2
Suppose b = -0*b + s - 12, s + 9 = -2*b. Sort -4, b, -5.
b, -5, -4
Let y(v) = -v + 8. Let s be y(8). Let f = -69 + 73. Sort s, 3, f in descending order.
f, 3, s
Let v(h) be the first derivative of -3*h**4/4 - h**3/3 - h**2/2 + h - 1. Let u be v(1). Put u, 2/13, 1 in ascending order.
u, 2/13, 1
Suppose -z + 159 - 158 = 0. Sort 3, z, 2 in descending order.
3, 2, z
Let t = -7 - -9. Suppose -2*k - 1 = 4*o + 5, -t*o - 15 = -3*k. Let c = 3 - k. Sort c, -6, -4 in descending order.
c, -4, -6
Let r = 7 - 7. Sort -1, r, -2 in decreasing order.
r, -1, -2
Suppose -2*j + 0*i + 4 = 4*i, 0 = -3*i + 3. Suppose -a - 5*u = 3*a - 59, a - 17 = u. Suppose -2*d + 6 = a. Sort 4, j, d in decreasing order.
4, j, d
Let c = -21 + 21. Sort -3, c, 2 in increasing order.
-3, c, 2
Let x = 8.8 + 6.2. Put -3/8, 5, x in ascending order.
-3/8, 5, x
Suppose -6*q = -6*q + 11*q. Put 5, 4, q in decreasing order.
5, 4, q
Suppose -6*v = -3*v - 9. Let l(n) = -7*n + 2. Let x be l(-2). Let f be (-3)/9 + x/3. Sort f, -3, v.
-3, v, f
Let h = 1/46 + 83/414. Sort -1, -4, h in decreasing order.
h, -1, -4
Let n = -1 + 1.08. Let x = n + 0.02. Let h = -2 + 6. Sort x, -4/3, h in descending order.
h, x, -4/3
Suppose 5*l = 2*p + 23, -p = 2*l - 6*l + 16. Suppose 0*q - 10 = 2*q. Put -2, p, q in decreasing order.
-2, p, q
Let j = -10 + 10. Suppose x + 0*x - 3 = j. Let m be 1 - 3 - (0 + -1). Sort 2, x, m in ascending order.
m, 2, x
Suppose -u - 4 = 1. Put 9, -4, u in descending order.
9, -4, u
Let k = 98 + -102. Sort k, -3/7, 0.4 in decreasing order.
0.4, -3/7, k
Suppose 2*n + 2 = -4*h, -h = -4*n + 5*n + 1. Suppose -5*v = -4*k + 58, -2 = 3*v - 5*k + 25. Let i be ((-2*6)/3)/v. Sort i, -0.1, n in descending order.
i, -0.1, n
Let k = 17/792 + 3/88. Put -4/5, k, -2/5 in decreasing order.
k, -2/5, -4/5
Let h = -1.94 - 0.26. Let j = 2 + h. Sort -0.6, j, -1/3 in increasing order.
-0.6, -1/3, j
Let z = -0.7 + 0.9. Let j = 3 - 3. Suppose 2*y - 7 = 3*y - o, -y - o = -3. Put y, z, j in descending order.
z, j, y
Let n be (-4)/(-3) - 4/6. Let q be (2/(-5))/(((-88)/(-5))/8). Put -2, q, n in descending order.
n, q, -2
Let l = -6 - -10. Let w = -2.8 + -1.3. Let p = w + 0.1. Sort -0.1, l, p in ascending order.
p, -0.1, l
Suppose -k + 2*h - 13 = -2*h, 5 = -5*k + 5*h. Let p = 0 - k. Let j be 1 - 2/(-1*2). Sort 1, p, j.
p, 1, j
Suppose 0 = -4*m + 12, 2*n + 3*m + 4 = -3. Let z(g) = -g**2 - 9*g - 12. Let c be z(n). Suppose -2*s + 1 = -3. Sort -2, s, c in decreasing order.
s, -2, c
Let z(b) = b**3 + 35*b**2 + 2*b + 74. Let k be z(-35). Put k, -15, 5, -5 in decreasing order.
5, k, -5, -15
Let g be (0 - 3)/(1 - 4). Suppose -4*c = -0*c + 20. Put c, 7, g in ascending order.
c, g, 7
Let k be 0 - 1 - (-6)/(-4). Let j be 6423/(-63) - (-6)/21. Let z = 103 + j. Sort -5, k, z in decreasing order.
z, k, -5
Suppose 2*t + 3*i = 5 + 3, -4*i + 26 = -5*t. Let q(l) = l**2 - 1. Let h be q(0). Put t, 3, h in descending order.
3, h, t
Let u = -6 + 8. Let d = u + -3. Put 0.4, d, 0.5 in descending order.
0.5, 0.4, d
Let p = -4.87 - 0.13. Let r = 0 - -5. Put 0.4, r, p in decreasing order.
r, 0.4, p
Suppose -4*r + 8 + 0 = 0. Let l(m) be the second derivative of m**5/20 - m**4/4 - m**3/3 + 3*m**2/2 + m. Let y be l(r). Sort 0.4, 1, y in increasing order.
y, 0.4, 1
Let v(r) = -2*r - 6. Let s be v(-4). Let k be (2 + -1)*-3 + s. Put k, 1, 1/2 in decreasing order.
1, 1/2, k
Let j be ((-1)/(-2))/((-2)/(-10)). Let n = 19/10 - j. Let z = -19/15 - n. Sort -2/11, z, 0 in increasing order.
z, -2/11, 0
Suppose -5*v = -1 - 4, 5*b = 5*v - 20. Suppose -a = p + 2*a + 1, -4*a = 2*p. Put p, b, 4/5 in ascending order.
b, 4/5, p
Let i(j) = -j**3 - 5*j**2 + 15*j + 1. Let h be i(-7). Sort -1, h, -5, 4 in increasing order.
h, -5, -1, 4
Let b be (-2)/(-9) + (-60)/27. Put 0, b, -1, -10 in descending order.
0, -1, b, -10
Let l = -5/9 - -2/9. Let y be (10/15)/((-14)/6). Sort y, -0.2, l in descending order.
-0.2, y, l
Let p = 123 + -117. Put 3, p, 1 in decreasing order.
p, 3, 1
Let o = 0.29 - -0.01. Let z = o + -0.3. Let h = -3 + z. Put 2, h, 0.2 in increasing order.
h, 0.2, 2
Let q be (-8)/(-4) + (-6)/2. Let s be -3 - (-3 + 2) - q. Let l be 44/52 + (-2 - s). Sort l, 2, -0.5 in descending order.
2, l, -0.5
Suppose -2*t + 6*k - k = 8, 2*k = 4. Let i(y) = -y**3 - 4*y**2 + 7*y + 8. Let n be i(-5). Sort n, t, -4 in decreasing order.
t, n, -4
Let z be ((-2)/(-5))/((-1)/(-5)). Suppose 6*j + 15 = j. Sort j, 1, z in descending order.
z, 1, j
Suppose -2 - 14 = -t. Let f be 4/t - 2/8. Sort 4, f, -2 in descending order.
4, f, -2
Let c = 2663/5 + -30127/45. Let q = 17 - 154. Let d = q - c. Put d, -0.2, 3 in decreasing order.
3, d, -0.2
Let v(m) = -m**2 - 9*m + 6. Let k be v(-7). Let u = k + -11. Let l be (-6)/u + 5/3. Sort -4, l, 0 in ascending order.
-4, 0, l
Let i = 3 - 8/3. Sort 2, i, 0.2 in ascending order.
0.2, i, 2
Let x = 6.4 - 6.8. Let v be 26/(-42) + 2/6. Put x, v, 5 in descending order.
5, v, x
Let n(f) = f**3 + 5*f**2 - f - 3. Let q be n(-5). Suppose 5*d - 15 = -p, 0*d + 4*d + q = 2*p. Let j be (-4)/6 - 28/12. Sort d, 4, j in ascending order.
j, d, 4
Let t = 151/9 - 247/12. Let l = 17/4 + t. Put l, 0.1, -1 in descending order.
l, 0.1, -1
Let y = -1.4 + 1.9. Put y, -1/5, -2/3 in ascending order.
-2/3, -1/5, y
Let o = 1 + 1. Let d(v) = -1 + 4*v + v**2 - 3 + 0*v**2. Let l be d(-5). Sort 5, o, l in descending order.
5, o, l
Let g be 1/(-6) - 1/(-3). Let v(x) = x + 3. Let p be (-1)/(-2) - 36/8. Let h be v(p). Sort h, 0.5, g in descending order.
0.5, g, h
Suppose -5*j - 2*z + 11 + 7 = 0, 0 = -j - 2*z + 10. Let d be (-6)/(j/(1 + 0)). Sort d, 2, -1 in decreasing order.
2, -1, d
Let y(w) = w**3 - 12*w**2 - 14*w + 6. Let v be y(13). Let l be -1*(-6 - (4 + v)). Put l, 2/3, -2 in ascending order.
-2, 2/3, l
Suppose 4*i + 11 = -5. Suppose 3*x = -2*x + 20, -3*b = 5*x - 5. Sort i, 4, b in decreasing order.
4, i, b
Let k = -147.1 - -147. Put 1/4, -0.01, -3/2, k in ascending order.
-3/2, k, -0.01, 1/4
Let y be 147*(10/(-8))/5. Let f = y - -37. Let w be 72/(-2772)*3/(6/(-14)). Put f, -5/6, w in ascending order.
-5/6, w, f
Let i(o) = -o**2 - o + 1. Let k be i(1). Let g = -9 - -7. Put k, g, -4 in descending order