 0, x
Let r = 3 + -8. Let p be (0 + -2)/(3/6). Put -2, p, r in decreasing order.
-2, p, r
Let s = 2 + -3/2. Suppose o - 2*o + 2 = 0. Suppose o*r = -5*k - 3, r + r + 13 = 5*k. Sort 5, s, r in ascending order.
r, s, 5
Let q be ((-4)/(-3))/((-1)/(-3)). Let s be q/(-3) - 1/(-3). Sort 2, s, 1 in increasing order.
s, 1, 2
Let s = -0.03 + 2.03. Let u = -1 + 5. Sort u, -1, s in descending order.
u, s, -1
Let q(k) = k**3 + 9*k**2 - k - 4. Let u be q(-9). Suppose 0 = -u*x + 2*x + 15. Sort 4, x, -1 in decreasing order.
x, 4, -1
Let x = 17 - 11. Suppose 2*f + 4 = x. Put -4, 4, f in decreasing order.
4, f, -4
Let q(r) = r**2 - 7*r + 4. Let j be q(6). Let x = 4 - 3.6. Sort x, 1/2, j in descending order.
1/2, x, j
Let x = -7 + 10. Let q(g) = 0*g**2 - 13*g - 5*g**2 + 14 + 6*g**2. Let y be q(12). Sort y, -4, x in ascending order.
-4, y, x
Let j = 0.2 - 0.18. Let x = j - -2.98. Let d = -4 + x. Sort 2, 0, d in decreasing order.
2, 0, d
Let i be (-24)/(-90) - 4/6. Let l = 0.1 - 0. Put l, -1/4, i in descending order.
l, -1/4, i
Let d(p) = -p**2 + 7*p + 3. Let m be d(7). Suppose 0 = 3*g + m*r + r + 13, -5*g - 5*r = 15. Suppose -3*b = -2*b + g. Sort b, -0.1, 4 in descending order.
4, -0.1, b
Let g = -49 + 443/9. Let y = 29 + -31. Let o be (y + 2)/((-4)/2). Put g, o, -3 in decreasing order.
g, o, -3
Let r = 5 - 4. Let z(c) = c**3 - c**2 - 2*c + 3. Let a be z(2). Sort a, r, -4 in decreasing order.
a, r, -4
Let c be (-111)/39 + 6/(-39). Put 10, -2, c in decreasing order.
10, -2, c
Let a(f) be the first derivative of -f**3/3 + 5*f**2 + 10*f - 3. Let g be a(11). Let c = 6 + -1. Sort c, g, -5 in decreasing order.
c, g, -5
Suppose 2*u + 1 = 5. Let d = 2 + -4. Let n be -1 - (-2 - (d - -2)). Put u, n, 5 in decreasing order.
5, u, n
Suppose -2*c + 30 = 3*c. Suppose t = -t + c. Put -2, -4, t in increasing order.
-4, -2, t
Suppose -5*q + 2*o = 0, 5*o + 25 = q + 2. Sort q, -5, 2, -1.
-5, q, -1, 2
Let w = 11 - 7. Let h = w - 2. Let o be (-9)/60 + 9/(-15). Put -3, o, h in decreasing order.
h, o, -3
Suppose -2*m + 0 = -4. Suppose -7 - 3 = -m*j. Let w = -21 - -23. Sort -4, w, j in increasing order.
-4, w, j
Let t = 79/123 - -1/41. Sort t, -6, -3 in increasing order.
-6, -3, t
Let j(k) = -k**3 - 8*k**2 + 9*k - 5. Let a be j(-9). Put 0, 5, a in descending order.
5, 0, a
Let b = 22.3 + -22. Sort b, 0.2, -0.1 in increasing order.
-0.1, 0.2, b
Suppose -3*c - 5*w = 20, 0 = -5*c + w - 2*w - 4. Sort -4, c, 5.
-4, c, 5
Suppose -3 + 17 = 7*c. Sort -0.2, c, -4/5, 2/3 in decreasing order.
c, 2/3, -0.2, -4/5
Let g = -2.1 - -2.3. Sort 1, -2, g in ascending order.
-2, g, 1
Let k be (-1 - -2)*(-2)/2. Let v be 1 - (2 + -1)*k. Suppose -t = -3*t + v. Put t, 3, -5 in decreasing order.
3, t, -5
Suppose -w = 2 - 6. Put w, 25, -5 in increasing order.
-5, w, 25
Suppose -3*y = 4*d + 17, 3*y + 5 + 14 = -5*d. Let s = 6 - 0. Sort s, d, -4 in decreasing order.
s, d, -4
Let h = -1.26 - -1.17. Put 0.3, h, 0 in descending order.
0.3, 0, h
Suppose 25 = -3*f + 5*h, -3*f + 0*h = 2*h + 11. Let r = 106 + -108. Sort r, -1, f in ascending order.
f, r, -1
Let p = 26.1 - 28. Let f = p - -9.9. Sort 1/7, 4, f.
1/7, 4, f
Let l = 3 - 2. Let r be (l + 1)*(-5)/(-2). Put -1, r, -4 in descending order.
r, -1, -4
Let r = 39 - 38.9. Put 0.4, 1, -5, r in descending order.
1, 0.4, r, -5
Let f(k) = 2*k**2 - 2*k - 2. Let g be f(-2). Suppose 0*d = -2*d + u - 7, -u = -3*d - g. Sort 1, d, 0 in ascending order.
d, 0, 1
Let j = -1.2 - -1. Let l = 4/23 + -58/69. Put l, j, 1 in descending order.
1, j, l
Suppose -4*a = -g + 10, -6*a - 4*g - 20 = -2*a. Put a, 5, 4, -5 in descending order.
5, 4, a, -5
Let r be 10/35 - (-80)/(-182). Sort -2, -0.1, r in descending order.
-0.1, r, -2
Let m = -0.2 + 0.18. Let n = m + 5.02. Let u = 0.8 - -2.2. Sort u, n, -0.5 in descending order.
n, u, -0.5
Suppose -57 = -3*q - 3. Suppose f + 3*u + 5 + 5 = 0, -2*f - 5*u - q = 0. Let s be (-10)/4 - 1/(-2). Put 4, f, s in increasing order.
f, s, 4
Let f = 53 - 55. Sort f, -1, 8 in decreasing order.
8, -1, f
Let x be (-1)/5 + 2/5. Let s = 0.24 + 9.76. Let p = s - 6. Put x, -4/7, p in ascending order.
-4/7, x, p
Let n = -21 - -8. Let j = -9 - n. Sort -3, -5, j in decreasing order.
j, -3, -5
Suppose -r - 3*r = 12. Suppose 2*g + 0*g + 6 = -4*d, -3*g = -2*d + 1. Sort 1, r, d in ascending order.
r, d, 1
Suppose -79*u = -81*u - 10. Put -1, 2, u in descending order.
2, -1, u
Let l(g) = g**2 + 8*g - 13. Let a be l(-9). Let o = 45 - 45. Let m(p) = -p**2 - 2*p + 2. Let x be m(-2). Put x, o, a in ascending order.
a, o, x
Let r = -104 + 110. Let f(i) = -4*i + 1. Let c be f(1). Sort r, -5, c in increasing order.
-5, c, r
Let a(k) = 2*k**2 - 19*k + 12. Let r be a(9). Sort 0, -4, r.
-4, 0, r
Let o(b) = -2*b**2 + 2*b - 1. Let s be o(1). Let n = 0.337 - -0.063. Put s, n, 0.2 in decreasing order.
n, 0.2, s
Let u = 2 + -2. Suppose -2 = -v - u*v. Suppose 0 = v*x - 3 - 5. Put x, -1, -4 in decreasing order.
x, -1, -4
Let b = -0.4 + 0.18. Let a = b - -0.12. Let u(z) = z - 9. Let k be u(5). Sort k, 2, a.
k, a, 2
Let t(l) = -l**2 - 5*l. Let i be t(-3). Suppose -s - i + 7 = 0. Let h = 3 + s. Put h, 3, 0 in decreasing order.
h, 3, 0
Suppose w = -4*w + 75. Let y be ((-2)/9)/((-10)/w). Let x(t) = 2*t - 7. Let k be x(6). Sort k, -1/3, y.
-1/3, y, k
Let r = 66 - 69. Suppose 0*x + 3*x = 0, 3*m = 2*x. Suppose m = 2*g - 5*u - 12, -5*u = g - 4*u + 8. Sort r, g, 3 in increasing order.
g, r, 3
Let p = 70 + -71. Put 4, p, -5 in descending order.
4, p, -5
Suppose -5*o + 3 = -2. Put -2/5, -1/24, o in increasing order.
-2/5, -1/24, o
Let j = -22.8 - -32. Let h = j - 9. Put 3, 2/3, h in descending order.
3, 2/3, h
Let o = -5 + 14/3. Put 0, 1, o in decreasing order.
1, 0, o
Let a(l) = 10 + 9*l + 2*l**2 - 2*l**2 + l**2. Let v be a(-8). Put 5, v, 1 in descending order.
5, v, 1
Let g(x) be the first derivative of -x**4/24 + x**2 + 1. Let b(d) be the second derivative of g(d). Let i be b(0). Sort 3, -2, i in decreasing order.
3, i, -2
Let j be (-6 - -8)*(-50)/4. Let c be (-4 - j/7) + 0. Sort c, -0.2, 1/2 in decreasing order.
1/2, -0.2, c
Suppose 0 = -2*a - g - 51, 2*a + 39 = 2*g + g. Let j = a + 29. Put 3, j, 2 in descending order.
j, 3, 2
Suppose 3 = -n - 5*d - 0, 4*n + 5*d = 3. Let m be n/6 - 20/(-12). Sort 3, m, 1 in descending order.
3, m, 1
Let b = 19 - 21.8. Let w = b + 0.6. Let o = -2 - w. Put -0.1, o, 5 in decreasing order.
5, o, -0.1
Let t(q) = q**3 - q**2 - 2. Let o be (3 - -3)*2/6. Let m be t(o). Let h be 46/(-8) + (-1)/4. Sort h, -3, m in descending order.
m, -3, h
Let i be (-17)/36 + (-4)/(-18). Sort 1, i, -2/3, 2/9.
-2/3, i, 2/9, 1
Let v be (0 - 37/56) + (-12)/(-42). Let z = -2 - -2.2. Let c = z - 0.3. Sort -1, v, c in decreasing order.
c, v, -1
Let s = -6 - -11. Let n = 10 - s. Let h be -1 + 3 - 64/28. Sort n, h, 0.1 in descending order.
n, 0.1, h
Let a(c) = c**3 + 7*c**2 + 5*c - 13. Let z(l) = 1. Let m(g) = -a(g) - 6*z(g). Let f be m(-6). Let d = 16/33 + -9/11. Sort -2/5, d, f in decreasing order.
f, d, -2/5
Let n = 39/2 + -19. Let i = 0.2 + 10.8. Let w = 6 - i. Sort 2/3, w, n.
w, n, 2/3
Let f = 9 - 5. Let l = 15 - 11. Suppose -4*t = -h, 2*h + 6 = -2*t - l. Sort f, t, -4.
-4, t, f
Let f(k) = -k**2 - 3*k + 5. Let b be f(-4). Suppose -3*d + 2*j = 4 - 25, -2*d + b = 3*j. Let v = -31 - -32. Sort v, -2, d.
-2, v, d
Suppose 0 = 2*g + 3*s + 23, -g - 8 - 5 = 3*s. Let i = g - -9. Sort i, 2, -2 in increasing order.
-2, i, 2
Let t(y) = -y**3 - 11*y**2 + y + 7. Let p be t(-11). Put -3, 1, p in decreasing order.
1, -3, p
Let v(a) = 4*a**2 + 2*a - 1. Let p be v(1). Let b = 70 + -137/2. Put b, p, -0.4 in increasing order.
-0.4, b, p
Let s = 3.4 - 3.6. Let h = 21.8 - 25. Let o = -3 - h. Put o, 3, s in increasing order.
s, o, 3
Let d = -4.08 + 0.08. Let s = -0.2 + 0.21. Let g = s + -2.01. Sort d, g, 1.
d, g, 1
Let q be (-5)/2*(-17 + 15). Put 4, -5, q in descending order.
q, 4, -5
Let p = 7 + -6.8. Let t = 8 + -6. Sort t, 4, p in ascending order.
p, t, 4
Let i = 10 + -9. Sort -1, 2, i.
-1, i, 2
Let j be ((-8)/5)/((-16)/40). Put 2, j, 0 in decreasing order.
j, 2, 0
Let l = -26 - -26.3. Let z be 4/((-1)/((-1)/3)). Sort 5, z, l in increasing order.
l, z, 5
Let u be -2 + (3 - (1 + 0)). Let o(q) = q - 5. Let y be o(u). Let p(v) = v + 1. Let c be p(0). Put 0, c, y in descending order.
c, 0, y
Let t = -0.7 + -5.6. Let k 