, y
Let d = 21 + -22. Put -3, d, 1, 2/41 in decreasing order.
1, 2/41, d, -3
Let x(a) = 10 + 0 + 6*a**2 - 5*a**2 + 9*a. Let o be x(-7). Suppose -4*u + 10 - 2 = g, 0 = -4*g. Put -1, o, u in ascending order.
o, -1, u
Suppose 5*s + 2*w - 2 = 0, -w - w = 3*s + 2. Let c(n) = 4*n - 3. Let x be c(s). Let h be 3*(-2)/(-3)*1. Sort h, x, 1 in increasing order.
1, h, x
Suppose -i = -4*i. Let k(t) = -t**2 + 2*t + 1. Let c be k(i). Sort 0, c, -1 in ascending order.
-1, 0, c
Let y = -1 + 5. Let o(j) = -j**2 + 2*j - 2. Suppose h = -0*h - i, 2*h + i - 3 = 0. Let k be o(h). Sort -1, y, k in descending order.
y, -1, k
Let r = -5 - -7. Let c be 0 - (-15)/3 - r. Suppose 3*i - c + 0 = 0. Sort i, 0, 2/7.
0, 2/7, i
Suppose -5*a - 182 = -532. Suppose a = 3*b - 8*b. Let g be b/4 - (4 - 6). Sort -2, -0.1, g.
-2, g, -0.1
Let w be 1/(-3) + 28/3. Put 0.4, w, 0 in descending order.
w, 0.4, 0
Let q(n) = 2*n - 6. Let z be q(6). Let h = z + -2. Let l = -1 + 0. Put l, h, -4 in ascending order.
-4, l, h
Let n(p) = p**3 + 3*p**2 - 2*p - 1. Let d be n(-4). Let a = 8 + d. Sort -0.1, a, -0.5 in ascending order.
a, -0.5, -0.1
Suppose 0 = -3*f - 2*h + h + 9, 2*f - 3*h = 6. Let m = 2 + -1. Let b be 2/((2*4)/m). Put -2, f, b in descending order.
f, b, -2
Let a = -576 + 12098/21. Sort -5, a, 0.4.
-5, a, 0.4
Let v be 0 + 2/(-13) + 0. Put -4, 0.2, v in increasing order.
-4, v, 0.2
Suppose 5*t = -4*h + 12, 0 = 2*t + 2*t + 5*h - 6. Let v(u) = -u**3 + 8*u**2 + 13*u - 13. Let b be v(9). Let g = b - 22. Put -1, g, t in descending order.
t, g, -1
Let h = 7.2 - 9.2. Put h, 0.5, 2, 4 in decreasing order.
4, 2, 0.5, h
Suppose -5*b - 7 = 3. Put b, -4, 11 in descending order.
11, b, -4
Suppose -2*t + 5 - 1 = 0. Let g(k) = k**2 - 4*k - 1. Let q be g(0). Sort -2, q, t in decreasing order.
t, q, -2
Let r be (13 + -3)*(52/(-20) + 3). Sort -3, r, -8 in ascending order.
-8, -3, r
Let m = -190 - -190.2. Let b = -3 + 3.1. Sort 1/4, m, b.
b, m, 1/4
Let m be 1016/(-2898) + (-4)/(-18). Let h = m - 1/69. Sort -4, 2/7, h in increasing order.
-4, h, 2/7
Suppose -5*m + 26 = -0*m - 2*f, -3*f + 11 = 5*m. Put m, 0, -4 in increasing order.
-4, 0, m
Suppose 0 = t + 5*n - 10, -4 = 3*t - n - n. Let o be t/1 - (-10)/(-12). Sort 0.4, 3, o in ascending order.
o, 0.4, 3
Let i be 4/6*(-1 + 6/(-12)). Let s be (5 - 2)*(-2 - -1). Sort s, i, 5 in decreasing order.
5, i, s
Let m(r) = -2*r**2 - r + 1. Let a be m(1). Suppose 2*j - 4*c = 5 - 21, 4*c = -j - 14. Put j, a, 3 in increasing order.
j, a, 3
Let t(v) = -2*v - 17. Let m be t(-11). Let y be (30/12)/(2/(-4)). Suppose 0 = 2*n + 4*s - 10, -2*n + 3 = s - 4. Put y, n, m in decreasing order.
m, n, y
Let g be -63 - (8 + -2 - 3). Let y be -4*(1 - (-63)/g). Put -3, y, 0 in ascending order.
-3, y, 0
Let b = 0.09 + 3.91. Let u = b + -4. Let l = -139 + 1109/8. Sort l, u, -1 in descending order.
u, l, -1
Let c be 2*21/6 + 0. Let m = -4 + c. Sort -5, m, 4 in increasing order.
-5, m, 4
Let h(y) = 6*y + 35. Let q be h(-6). Sort -5, q, -4, 8 in increasing order.
-5, -4, q, 8
Let o = -13.1 + 13. Put -1, 3, o in decreasing order.
3, o, -1
Let p = 58 + -60. Put 0, p, 2 in increasing order.
p, 0, 2
Let a = 1 - -8.6. Let y = a - 10. Put y, 0.3, -1/2 in descending order.
0.3, y, -1/2
Suppose -5*t + 5 + 10 = 0. Suppose 2*d + t = 5*d. Sort d, -2, -4.
-4, -2, d
Let u(w) = -w**2 - 5*w. Let h be u(-3). Suppose 0 = q + h - 1. Sort -3, 2, q in decreasing order.
2, -3, q
Let q = -70 + 65. Put -2, -7, q, 2 in descending order.
2, -2, q, -7
Suppose 3*x + 8 = -43. Let f = x + 14. Put f, -0.4, -0.1 in decreasing order.
-0.1, -0.4, f
Let k(o) = o**3 + 0*o**3 - o**2 - 4*o + 0 + 2 + 1. Let t be k(2). Sort 3, t, -5 in ascending order.
-5, t, 3
Let u = 6.5 - 6. Let y = 65/4 + -16. Sort y, 0, u in ascending order.
0, y, u
Let i = 0.2 + 0. Let q(n) = n**3 + 9*n**2 + 7*n - 5. Let b = -1 - 7. Let x be q(b). Put x, i, 0.1 in decreasing order.
x, i, 0.1
Let x be (-1)/2*(-24)/20. Let y = 0.042 - 2.342. Let s = 2 + y. Sort 1, x, s in increasing order.
s, x, 1
Let t(z) = -z**2 + 6*z - 2. Let p be t(6). Let c(k) = -k**2 - 10*k + 1. Let a be c(0). Put p, a, -5 in decreasing order.
a, p, -5
Let x = 1 - 2. Let l be (-1)/(-2*(-3)/(-12)). Suppose -l + 10 = 4*r. Sort -3, x, r in increasing order.
-3, x, r
Let f be ((-2)/5)/((-38)/10). Let c = 13.77 - -0.23. Let j = 13.8 - c. Sort j, f, -0.4 in increasing order.
-0.4, j, f
Let k(w) = -w**2 - 9*w. Let j be k(-8). Suppose n + 3*n + j = 0. Suppose l = -d, 5*l + 0*l - 16 = -d. Put n, -1, d in decreasing order.
-1, n, d
Let a = 2 - -3. Suppose 1 = o, -5*k + 4*o + 16 = a*o. Put 3/5, k, 0.4 in decreasing order.
k, 3/5, 0.4
Let z = -9 + 7. Suppose -n = 4*a - 15, 5*a - 11 = -5*n + a. Sort z, 0.2, n.
z, n, 0.2
Let p be (7 + -8)/(2/6). Put p, 3/2, 17, 0 in increasing order.
p, 0, 3/2, 17
Suppose -4*v + 2 - 18 = 0. Let c(h) = h + 3. Let f be c(-7). Let t be (0 - f)*1/1. Sort -3, t, v in descending order.
t, -3, v
Suppose 23 + 7 = 5*l. Let q = 1 - l. Let k be 23/5 + (-2)/q. Sort 0, k, 1/5.
0, 1/5, k
Let o(q) = q**3 + 7*q**2 + 7*q + 3. Let y be o(-6). Sort -5, y, 5, 2.
-5, y, 2, 5
Suppose 2*w - 14 = -3*p, 2*w + 2*w = p. Put p, 2, -12 in ascending order.
-12, 2, p
Let b = -0.07 + 3.07. Let y = -0.4 - 3.6. Let z = 5.6 - 0.6. Sort y, b, z in increasing order.
y, b, z
Suppose -1 - 24 = 4*d + z, -2*d + 4*z + 10 = 0. Sort 0, -3, d, -1 in increasing order.
d, -3, -1, 0
Let m = -5 + 8. Suppose 0 = 34*x - 29*x + 25. Put m, -4, x in decreasing order.
m, -4, x
Let t = 19/3 + -212/33. Let c(i) be the first derivative of -i**4/4 + 5*i**3/3 + 3*i**2 - 2. Let r be c(6). Sort t, 2/3, r.
t, r, 2/3
Let y = -3 - -2. Let n(r) = r**3 - 7*r**2 + r - 4. Let l be n(7). Suppose 2*s - l = 3*s - b, 0 = 2*s + b - 3. Put y, s, -5 in decreasing order.
s, y, -5
Let x = -18/7 + 43/14. Suppose -4*n + 18 + 18 = 3*i, 2*i - 23 = -3*n. Let c be (1/2)/((-52)/i). Sort c, x, -3/4 in ascending order.
-3/4, c, x
Suppose -4*n + 34 = 14. Put n, 0, -3 in decreasing order.
n, 0, -3
Let j be (-8)/(-10) - -116*7/(-840). Sort -4, j, -0.3, 7/2 in descending order.
7/2, j, -0.3, -4
Let s = -796/77 - -120/11. Let f = -0.7 - -0.3. Put s, f, 5 in descending order.
5, s, f
Let n be (0 + -6)/(9/6). Let v be (0 - -3)*(-5)/15. Put v, 5, n in descending order.
5, v, n
Let n = -4 + -1. Let p(f) = f**3 + 4*f**2 - 5*f - 3. Let x be p(n). Let d = 1 - x. Put -1, d, -2 in decreasing order.
d, -1, -2
Suppose -2*c = -8*c - 24. Sort 0, c, 3, -10 in descending order.
3, 0, c, -10
Let y = 1.76 - -0.14. Let q = 6.9 - y. Sort q, -4, 0.5 in ascending order.
-4, 0.5, q
Suppose 3*x + 4*c - 32 = 0, 2*x - 22 = -x - 2*c. Put -5, -3, 1, x in descending order.
x, 1, -3, -5
Let b = 0.085 - -0.425. Let j = 0.11 - b. Sort j, -0.3, 0.5 in descending order.
0.5, -0.3, j
Let u be (-3)/84*(-8)/3. Sort -0.5, 0, u.
-0.5, 0, u
Let y = 15 + -20. Let d = 8 + y. Sort -1, d, 4.
-1, d, 4
Let a be 2 - -3 - 2/2. Put a, 2, 0 in descending order.
a, 2, 0
Let p = 54 + -50. Suppose -4*s + 3*b = 14, -2*s + 2*b - 9 = -3. Let u be s - (1 - 2 - 1). Sort u, p, -5 in increasing order.
-5, u, p
Suppose 0 = -2*w + 4*w + 8. Let x = -5 + 3. Let z be (1 + (-5 - x))/(-2). Sort w, 3, z in increasing order.
w, z, 3
Let i(x) = 2*x**2 - 2. Let s be i(2). Suppose -s*d = -3*d - 9. Sort d, 0, -1 in decreasing order.
d, 0, -1
Suppose 3*t = 5 + 4, 0 = 5*f + 5*t - 25. Suppose 3*h = -u - 1 - 1, -5*h - 5 = 0. Let c be -2*u/f*-2. Put 0, c, -5 in descending order.
c, 0, -5
Let x be ((-2)/5)/((-1)/(-5)). Let q(g) = g**3 - 5*g**2 - 2*g + 6. Let d be q(5). Put 4, d, x in descending order.
4, x, d
Suppose 4*v - 20 = 8*v. Put v, -1, 2 in decreasing order.
2, -1, v
Let i(s) = s**3 + 4*s**2 + s + 3. Let u be i(-4). Let t be (u - 3) + 9/2. Sort 4, t, 2/9 in ascending order.
2/9, t, 4
Let x(b) = -b**3 - 8*b**2 - b - 8. Let w be x(-8). Put 4, -5, w in increasing order.
-5, w, 4
Suppose i + 1 + 3 = 0. Suppose g + 0 = 4. Put g, i, 3 in descending order.
g, 3, i
Suppose 4*w = 10 - 54. Let u = w - -15. Let i(j) = j**3 + 3. Let x be i(0). Sort x, 1, u in increasing order.
1, x, u
Let j(d) = -d**3 + 8*d**2 - 2*d + 13. Let z be j(8). Put 2/5, 0.6, z in ascending order.
z, 2/5, 0.6
Let x = -29.2 + 29. Sort -4, x, 0.2 in ascending order.
-4, x, 0.2
Let o = 2 - 0. Suppose 0*b = 2*b + 8. Let q = -3 - b. Put q, -1, o in descending order.