. Let v be b(13). Let c be (-10)/4*(-6)/5. Suppose 4*y - 2*y = -q - 4, -q - 5*y - 10 = 0. Sort q, c, v in decreasing order.
c, q, v
Let i = -4 + 11. Suppose -3*o - 20 = h - i*o, -2*h + 4*o = 24. Let b be -3*(1 - (-2)/(-6)). Sort b, 1, h in increasing order.
h, b, 1
Let k(q) be the third derivative of q**5/60 - q**4/12 - 2*q**3/3 - 2*q**2. Let y be k(3). Sort 0.5, -0.3, y in decreasing order.
0.5, -0.3, y
Let d = 7 + -16. Let g = d + 13. Put 3, -0.03, g in increasing order.
-0.03, 3, g
Suppose -2*d + 5 = -3*o, 3*o + 3 = 4*d - 4. Let n(l) = l + 2. Let a = -6 - -2. Let h be n(a). Sort d, h, -3.
-3, h, d
Let r = -3/674 - -661889/4718. Let x be (-12 + -2)*(-8 - 2). Let m = r - x. Sort -4, m, -1 in descending order.
m, -1, -4
Let a be (-8 - -6) + 9/4. Put a, -0.5, -2/7, -1/3 in descending order.
a, -2/7, -1/3, -0.5
Let q be -3 + 21/3 + 2. Let v be q/(-30) + (-16)/(-5). Sort 4, 1, v in descending order.
4, v, 1
Suppose 2*l + 3*l - 85 = 0. Let z = l - 16. Sort 0.3, -4, z in descending order.
z, 0.3, -4
Suppose -2*g = 2*g - 92. Suppose -3 + g = 5*j. Put -4, j, 1 in increasing order.
-4, 1, j
Suppose 19 = -5*b - 6. Sort -7, 2, b in decreasing order.
2, b, -7
Let i(s) = s**3 + s**2 - s + 3. Let o = 3 - 3. Let f be i(o). Suppose 0 = -3*q + 3*d - f, 4*d - 5 = -21. Put 3, q, -2 in ascending order.
q, -2, 3
Suppose -4*r - 1 = -2*d - 3, -4*r + 4*d + 4 = 0. Suppose m + 2 = -2. Sort m, 5, r in decreasing order.
5, r, m
Let r = -13/3 + 5. Suppose -5*y + 28 = l + l, -2*l + y = -4. Sort -1/10, r, l in decreasing order.
l, r, -1/10
Let a be (-26 + 27)/((-1)/(0 + 1)). Sort -5, a, -4, 2 in increasing order.
-5, -4, a, 2
Let p = 4 + -1. Suppose 17 = -p*a + 6*a - 4*g, 5*a + 30 = -5*g. Suppose 5*s = -0*s + 7*s. Sort s, a, -2 in decreasing order.
s, a, -2
Let o = 168 - 187. Put o, -4, -2 in decreasing order.
-2, -4, o
Let u = 5.06 - 0.06. Let j = -6 - -5.9. Let x = 3.2 + -3. Put u, j, x in decreasing order.
u, x, j
Suppose 0 = 69*p - 68*p + 3. Suppose -2 = 5*q + 8. Sort q, p, 2 in ascending order.
p, q, 2
Suppose 3*i + 2*d - 6 = 2, i - 10 = 3*d. Let r = 8 + -7.7. Let u = -0.3 + -2.7. Sort u, r, i in increasing order.
u, r, i
Suppose -5*d - 12 = -d. Let l = 7 - 9. Put l, d, 3 in increasing order.
d, l, 3
Suppose -3*b - 18 = -f + b, -5*f + 2 = 2*b. Put -1, f, 0 in increasing order.
-1, 0, f
Let d = 0.9 - 1. Let i = 2628/791 + 12/113. Let s = i - 79/21. Sort d, 4, s in ascending order.
s, d, 4
Let t = 0.04 - 2.04. Let j(q) = -q + 11. Let z be j(5). Suppose 4*r - 2 - z = 0. Sort r, -1/5, t.
t, -1/5, r
Let g(l) = -l**3 + 6*l**2 - 10*l + 3. Let b be g(3). Sort 5, -4, b in increasing order.
-4, b, 5
Suppose -5*p + 10 = -5*q + 25, 0 = 3*q - 4*p - 13. Put 5, -24, q, 4 in descending order.
5, 4, q, -24
Let g be ((-4)/(-4))/(3 + -2). Let n(k) = -k - 2. Let v be n(0). Let y = 11 - 15. Sort v, g, y.
y, v, g
Let m be 6/9 - (3/9)/(-1). Sort -4, m, 6, 4 in decreasing order.
6, 4, m, -4
Let d = -0.3 - 0.2. Let p be ((-30)/(-5) - 6)/3. Put d, 5, p in decreasing order.
5, p, d
Suppose v - 2 = o - 5, 2*o = -4*v. Sort 4, v, -0.3.
v, -0.3, 4
Suppose -4*r = -19 - 1. Let i be 8/r + -1 + 0. Let m be 47/(-77) + 2/11. Sort i, -2/3, m.
-2/3, m, i
Let t(w) = w - 8. Let d be t(7). Let z be ((-2)/d)/(-4)*-6. Sort z, 0, 6.
0, z, 6
Let l = -6.7 + 3.7. Put l, 0.2, -5 in decreasing order.
0.2, l, -5
Suppose -3*w + 2 = -w - i, -6 = 4*w + 3*i. Let t = w + -1. Put t, 3, 2 in ascending order.
t, 2, 3
Let y(x) = x**2 + 9*x - 3. Let t be y(-9). Suppose -15 = -3*v - 0. Let n(p) = p - 4. Let b be n(6). Sort v, t, b in increasing order.
t, b, v
Let q = -0.2 + 0. Sort q, 0, -2/5 in ascending order.
-2/5, q, 0
Suppose -3*i + 11 + 10 = 0. Let l = 2.1 + 0.9. Sort i, l, 4 in decreasing order.
i, 4, l
Let y(v) = v**3 + 7*v**2 + 9*v - 9. Let u be y(-5). Put -5, 5, u in descending order.
5, u, -5
Suppose -4*l = -2 + 14. Put -6, 4, l in increasing order.
-6, l, 4
Let c(a) be the third derivative of -a**4/24 - 3*a**2. Let k be c(-2). Let d(f) = -f**2 + 3*f + 3. Let n be d(4). Sort 5, k, n in decreasing order.
5, k, n
Suppose -3*b = -0*b + 3. Let l(f) = -f**2 + 5*f - 5. Let i be l(2). Sort -2, i, b in descending order.
i, b, -2
Let p = 0 - -0.5. Let g = 0.1 - 1.1. Let j = 0.2 - 0.7. Sort j, p, g in decreasing order.
p, j, g
Let r = -153 + 768/5. Let y = -4/15 + r. Let j = 20 - 19.6. Put 0, j, y in descending order.
j, y, 0
Suppose 3*a + a = 12. Suppose -a*v - 2 = -x - 0*x, -x = v + 2. Sort 5, 4, v.
v, 4, 5
Let b = 428/3 - 145. Let w = 2 + b. Sort -0.3, 4, w.
w, -0.3, 4
Suppose 4*m + 5*d + 2 + 19 = 0, 26 = m - 5*d. Sort 0, m, 5, 4 in increasing order.
0, m, 4, 5
Suppose -3*a + 5 = 14. Put 1, -2, a in decreasing order.
1, -2, a
Let k be 2/((5/4)/(-5)). Sort k, -7, -3 in ascending order.
k, -7, -3
Suppose -z + 5*z - 16 = 0. Sort -4, 1, z in ascending order.
-4, 1, z
Let n = 10 + -6. Let f = n + -11. Let b = -9 - f. Sort -4, b, 6 in descending order.
6, b, -4
Let f be (-3)/1 - -4 - 1. Suppose -u - 3*c - 2 = 0, f = 3*c - 7*c. Sort u, -1, -5 in decreasing order.
-1, u, -5
Suppose 0*z + 16 = -4*z. Suppose u + 20 = 4*v, -2 = u + 2. Sort z, -5, v in decreasing order.
v, z, -5
Suppose w = -4*w + 20. Put w, -5, -0.5 in descending order.
w, -0.5, -5
Let g be 4/6*(-9)/(-6). Suppose 5*n + g = 21. Suppose -4*x + 5*x + 4 = 0. Put 1, n, x in descending order.
n, 1, x
Let s(m) = m**2 + 4*m - 6. Let r be s(-6). Suppose -3*y - r = -y. Let t = -299/1826 - 3/166. Put 0.3, y, t in decreasing order.
0.3, t, y
Let h = -5.7 - -6. Let m(x) = -3*x + 1. Let g be m(-4). Let k be g*2/(-10) - -3. Sort k, h, -0.1 in decreasing order.
k, h, -0.1
Let z = 0.53 + -4.53. Sort 11/2, z, 2/17.
z, 2/17, 11/2
Let t = -2 - -3. Suppose 28 = -5*z - 12. Let y = z - -3. Put t, y, 3 in decreasing order.
3, t, y
Suppose 17 = 4*h - y, 0 = 4*h - 3*y - 4 - 23. Suppose -m - 3 = -t, -t + 7 = 2*m - 5*m. Sort t, h, -3.
-3, t, h
Suppose -4 = 4*l + 4*c + c, -l - 2*c - 1 = 0. Sort 10, l, 2 in increasing order.
l, 2, 10
Let a = 11 - 17. Put -4, a, -3 in descending order.
-3, -4, a
Let f(d) = d**3 + 9*d**2 + 7*d - 6. Suppose -4*i + 6*w - w = 17, -2*i + 5*w - 1 = 0. Let m be f(i). Sort 5, -1, m in ascending order.
-1, m, 5
Let p(q) = 12 - q + 0*q - 3. Let l be p(4). Let g = l - 2. Put 4, g, 1/2 in descending order.
4, g, 1/2
Suppose -o + 3 = -4*k, -3*o + k - 9 = -2*k. Sort -2, o, 1.
o, -2, 1
Let a = 175/4 + -44. Sort a, 0.5, 0.1, -0.2 in ascending order.
a, -0.2, 0.1, 0.5
Let p(f) = -f**2 + 7*f + 2. Suppose 0 = 31*w - 36*w + 40. Let t be p(w). Sort t, 3, 0.
t, 0, 3
Suppose -5*x = v - 3*v - 16, x = 2*v. Sort 0, -2, x in increasing order.
-2, 0, x
Let q(u) = -u + 3 + u + 7*u - u**2 + 0. Let m be q(7). Sort 5, m, 12.
m, 5, 12
Let o = 2 + 8. Let d = o + -13. Put 0, d, 2 in decreasing order.
2, 0, d
Let s be 4*-1*51/(-12). Suppose -2*g - 4*v + 22 = 0, g = 7*v - 2*v - s. Sort g, -3, 5 in descending order.
5, g, -3
Let a = -102 - -116. Sort -2/3, -4, a, 0.2 in descending order.
a, 0.2, -2/3, -4
Let t = 7 + -6.99. Let p = -1.99 - t. Sort p, 2, 0 in descending order.
2, 0, p
Let q = -14 - -10. Let b = -9 - q. Sort 2, b, -1 in increasing order.
b, -1, 2
Let l(x) = x**3 - 3*x + 1. Let n be l(2). Let i(j) = -j - 5. Let v be i(-5). Suppose -f - f - 8 = v. Sort n, -3/5, f in descending order.
n, -3/5, f
Let p = 15 + -19. Put 5, 2/7, p, -0.9 in decreasing order.
5, 2/7, -0.9, p
Let f = -9.3 - -6.3. Put -0.6, 1, f in descending order.
1, -0.6, f
Let i(f) = f**3 + 7*f**2 + 6*f + 3. Let w be i(-6). Sort 0, w, 5.
0, w, 5
Let k = -0.9 + 6.9. Let a = k - 1. Put a, -0.5, 0.3 in increasing order.
-0.5, 0.3, a
Suppose -1 - 3 = -t. Put -2, 3, t in ascending order.
-2, 3, t
Let k be 2 + 8/(2 - 0). Let d = -3 + k. Let p be 38/10 + d/15. Sort -2, 1, p in descending order.
p, 1, -2
Let v be ((-10)/8)/(2/(-8)). Let o(w) = w - 10. Let l be o(7). Let u = v + l. Sort -2, u, 5 in descending order.
5, u, -2
Let k = 24 - 22. Sort 5, k, -4 in decreasing order.
5, k, -4
Let b = 81 + -84. Put 6, b, -4 in descending order.
6, b, -4
Suppose p = 2 + 3. Suppose p*s = -0*s. Put s, -3, 1 in descending order.
1, s, -3
Suppose -4*d - 7 + 19 = 0. Let t be (2/d)/(1/(-3)). Sort 5, t, 7 in descending order.
7, 5, t
Let f = -0.9 - -0.5. Sort -1/2, 1, f in descending order.
1, f, -1/2
Suppose 93 = 6*w - 3*w. Suppose 4*o + 5*s = -w, 0