3
Let u(d) = 2*d**2 - 7*d - 17. Let g be u(5). Sort 3, 0, g in increasing order.
g, 0, 3
Let x = 1 - 2. Suppose 8*c - 6 = 11*c. Sort x, c, 3 in decreasing order.
3, x, c
Let j(m) = -m + 15. Let s be j(12). Put 0, 2, -2, s in increasing order.
-2, 0, 2, s
Let o be (-738)/(-20)*12/(-9). Let x = o + 49. Sort 5, x, -1/2 in increasing order.
-1/2, x, 5
Let m(d) = d**2 - 6*d + 1. Let r(f) = -f**2 + 6*f - 1. Let k(v) = 6*m(v) + 7*r(v). Let j be k(5). Sort j, 0, -2 in descending order.
j, 0, -2
Suppose 2*y = 3*a - 15, 4*y + 3*a + a = 0. Let u(w) = -w + 7. Let t be u(4). Suppose -t*v - 10 = 2*v. Sort 1, v, y in decreasing order.
1, v, y
Suppose -3*y + 0*y + o + 17 = 0, 16 = 2*y - 3*o. Suppose -z - l + 0*l = 9, -y*z + l - 21 = 0. Sort z, 1, 5 in descending order.
5, 1, z
Let o(j) = -3*j**2 - j**3 - 4 + 5*j - 3 + 7. Let h be o(-4). Put h, 4, 5 in ascending order.
h, 4, 5
Let u = -30 - -57. Let m = -20 + u. Put 5, m, -2 in decreasing order.
m, 5, -2
Let a = 93/5 - 847/45. Let i = 0.6 - 1. Let u = 0.1 - i. Put 3, a, u in increasing order.
a, u, 3
Let h(s) = -s**2 + 9*s - 7. Let z be h(8). Suppose 0 = q - 3*q + 2, 4*n - 17 = 3*q. Let d = -10 + 14. Sort z, n, d.
z, d, n
Let v be (15/20)/((-2)/8). Let p(o) be the first derivative of o**2/2 - 1. Let h be p(v). Put 1, h, 3 in descending order.
3, 1, h
Let l be (1 - -1 - -1)*4/(-3). Let g = -3 + 2. Put g, 0, l in decreasing order.
0, g, l
Let v be 12/(-9)*6*1/(-2). Sort 11, 3, v in ascending order.
3, v, 11
Let m = -0.18 + -10.82. Let a = m + 11.1. Let p = -0.2 - -1.2. Sort a, p, 0.
0, a, p
Let w be (1/(-3))/((-3)/9). Let o = -2 - w. Suppose 4*q = 10 - 26, -4*z = -3*q - 28. Sort o, z, 3 in increasing order.
o, 3, z
Let k be (-24)/(-30) + (1 - (-2 + 4)). Put 5, k, 2, 1/9 in decreasing order.
5, 2, 1/9, k
Let a be 2/(0 + 3 - (-14)/(-4)). Put 1, -3, a, 0 in decreasing order.
1, 0, -3, a
Let n = -0.5 - -0.8. Sort n, 3, -8 in increasing order.
-8, n, 3
Let z(j) = -2*j**3 + 6*j**2 - 2*j - 2. Let a be z(3). Sort a, 2, -4.
a, -4, 2
Let l be 18/4 + 3/(-6). Let f(i) = -4*i + 2 - 2*i**2 + i + 3*i**2. Let m be f(3). Sort l, m, -4 in decreasing order.
l, m, -4
Let i = -7 + 6.2. Let g = 213 - 212. Put i, g, -3 in descending order.
g, i, -3
Let b be (-4)/(-18) + (-21)/(-27). Suppose -5*n = 4 + 1. Put n, 3, b in ascending order.
n, b, 3
Suppose -3*j + 8 = j, -b - 1 = j. Suppose 4*i - 3 = -3*g + 11, -2*i = -4*g - 18. Sort -2, b, i in ascending order.
b, -2, i
Suppose 3*u - 11 = -4*o, -11 = 3*o - 5*u + 17. Suppose 2*j + 18 = 5*l + 3*j, -4*j + 27 = 5*l. Sort l, o, 0 in increasing order.
o, 0, l
Suppose 4*v - 28 = -8. Suppose 0 = 4*i - 9*i. Put v, i, 2 in decreasing order.
v, 2, i
Let u(d) = -d**2 + 16*d + 18. Let n be u(17). Put n, -4, -1, 8 in descending order.
8, n, -1, -4
Suppose -4*q + 5*q + 8 = 3*v, -2*v + 2*q = 0. Suppose -v = -2*t - 12. Let a = 0 + -5. Sort t, 0, a.
a, t, 0
Suppose -28*a + 23*a - 10 = 0. Put a, 2, 3, 5 in descending order.
5, 3, 2, a
Let g = 14 - 2. Suppose 5*h + n - g = -n, 5*h = 4*n + 36. Suppose 9 = 5*u - 16. Sort h, u, 0.
0, h, u
Let x = -9.8 + 11. Let g = -0.6 + 0.4. Let p = g + x. Sort p, -4, -0.4 in descending order.
p, -0.4, -4
Let o = 12 - 11. Let i = 6 - 2. Let h = i - 7. Sort -1, h, o in decreasing order.
o, -1, h
Let u = -14.3 - -14.6. Sort 5/4, 7, u, 4 in decreasing order.
7, 4, 5/4, u
Let j = 34 + -13. Let d be (12/j)/(6/21). Sort d, 0, 5.
0, d, 5
Let p = 2 - 0. Let y be 1 - ((-6)/p + 0). Suppose 3*j = 2*j - y. Sort 2, 4, j in decreasing order.
4, 2, j
Let s be (19/(-95) - (-4)/(-5))*0. Put 1, s, -3 in increasing order.
-3, s, 1
Let u be 1 + 2/(1/1). Suppose -25 = -2*f - 3*f + v, 2*v + 22 = u*f. Sort f, 1, 3/4 in decreasing order.
f, 1, 3/4
Let a(o) = -o**2 - 3*o - 1. Let m be a(-1). Suppose -2*y - j = -2 - 0, -5*j - m = -y. Let q be 3 + 9/((-45)/20) - -5. Put q, y, -4 in descending order.
q, y, -4
Suppose -2*a = -0*a - 16. Let j be (-2)/((-2)/a*2). Put 5, j, -4 in ascending order.
-4, j, 5
Let n be 16/(-14) - 1*-1. Let o = 4 + 0. Sort 0, n, o in decreasing order.
o, 0, n
Suppose 0*y + 6*y = 0. Suppose y = t + 3*t. Sort -1, -2, t.
-2, -1, t
Let s be (-4)/(-14) - 120/(-21). Suppose 0*u + s = -3*u. Put -3, u, 4 in decreasing order.
4, u, -3
Let i = -70.1 + 67. Let o = i - -3. Let j = 13 - 9. Sort j, o, -5 in increasing order.
-5, o, j
Suppose -5*s = 5*p - 30, 2*p - 5*s = 6*p - 26. Suppose 5*w - p*m + 26 = -6, -2*m - 36 = 4*w. Let n be (-6)/(-8)*(-16)/(-12). Put w, n, 2 in decreasing order.
2, n, w
Let x = 19 + -23. Put 4, -1, x in descending order.
4, -1, x
Let p = -0.04 - 0.96. Sort p, -5, 5 in decreasing order.
5, p, -5
Suppose 5*m - 23 = 67. Suppose 4*h - 37 = 5*q, -3*q - 3*h - m = -4*h. Put -4, q, -3 in decreasing order.
-3, -4, q
Let y be 1*(-1 - 2/(-2)). Let p be (-6 + y)*(-10)/4. Suppose -6*f + f = p. Put -1, f, -5 in decreasing order.
-1, f, -5
Let w be 37086/4680 + (-1)/(-4). Let h = 108/13 - w. Let m be 2/(-7) - (-1)/28. Put m, h, -0.4 in decreasing order.
h, m, -0.4
Suppose -4*j + 18 = -5*d, 6*j + 2*d = 4*j. Let u(r) = -r + 2. Let q be u(j). Sort 6, 4, q.
q, 4, 6
Let z = 4.4 - 9.8. Let l = z - -5. Let r = -0.9 - -0.6. Put l, r, 2/3 in descending order.
2/3, r, l
Let t = -36 + 32. Let k(x) = 3*x - 6. Let z(d) = -7*d + 12. Let l(y) = -5*k(y) - 2*z(y). Let w be l(7). Sort t, w, 0 in descending order.
0, w, t
Let y = -3 + 3.1. Let v = -0.5 - 6.5. Let o = 6 + v. Sort o, y, 4 in ascending order.
o, y, 4
Let v be (-26)/(-14) + (-2 - -1). Let l(r) = -r + 1. Suppose -5*q + 0*q = 2*m, 0 = -3*q - 5*m. Let d be l(q). Put v, -2, d in decreasing order.
d, v, -2
Suppose 0 = -14*k + 37 + 5. Sort -4, -0.2, k in increasing order.
-4, -0.2, k
Suppose 0 = 5*m - 5 - 0. Let b(w) = w + 15. Let k be b(-10). Put 0, m, k in descending order.
k, m, 0
Let w = -46 - -45.7. Let a(z) = -z**2 - 3*z. Let m be a(-3). Put w, m, -5 in decreasing order.
m, w, -5
Let u be (2 + -1)/((-2)/(-8)). Let c(b) = b**2 + 4*b - 5. Let q(y) = y**2 + 5*y - 6. Let v(h) = u*c(h) - 3*q(h). Let p be v(0). Sort p, 1, 5.
p, 1, 5
Let g(t) = t**3 + 8*t**2 + 6*t + 8. Let w be g(-7). Suppose -2*b - w = -5. Suppose -5*v + 0*v + 15 = 0. Sort b, -3, v.
b, -3, v
Let r be (-6)/(-15) - (-2)/(-5). Let n be 3 + 5/((-5)/(-2)). Let p = -4 + n. Put -1, p, r in descending order.
p, r, -1
Let a be 28 + ((-24)/(-3))/2. Suppose 2 = 2*j - 4, 0 = 4*i - 4*j + a. Put -2, i, -3 in descending order.
-2, -3, i
Suppose 4*n - 8 = 2*i + 4, 3*i - 5*n + 13 = 0. Suppose 2*f + 4*u = -2*f - 20, 3*f - i*u + 15 = 0. Put 5, -1/2, f in decreasing order.
5, -1/2, f
Let t be (0/(-3) + 1)/(-5 + 4). Let c be (-21)/4 + 2/8. Put 1, t, c in ascending order.
c, t, 1
Let u = 0.3 + 0.3. Let d = u - 0.9. Sort d, -2, -0.5.
-2, -0.5, d
Let t = 5.4 + 0.6. Sort 3, 0.5, t.
0.5, 3, t
Let x = -0.62 - -0.42. Sort x, -1/2, 3 in increasing order.
-1/2, x, 3
Suppose 20 = j + 3*j. Suppose -22 = j*p - 7. Put 3, 2, p in descending order.
3, 2, p
Let q be (-12)/(-7) + (1 - 3). Let w = 5 + -10. Sort -0.4, w, q in ascending order.
w, -0.4, q
Suppose 2 = -2*q - 0. Suppose 0*f - 3*f = -4*v + 4, -4*f + 2*v - 2 = 0. Put q, -2, f in decreasing order.
f, q, -2
Let c(x) = -x - 3. Let z(p) = -p**2 - 2*p - 4. Let w be z(-3). Let f be c(w). Put 0.2, f, -1/3 in ascending order.
-1/3, 0.2, f
Let f be (-1)/2*(3 - 3). Put -0.2, f, -3 in descending order.
f, -0.2, -3
Suppose 4*y = -5*z + 3*y + 19, 0 = -z + 3*y - 9. Put 0, -1, z in ascending order.
-1, 0, z
Let r(n) = -n**2 + 11*n - 1. Let p be r(11). Sort p, -5, 4 in ascending order.
-5, p, 4
Let f = -9 - 1. Sort -3, 3, f.
f, -3, 3
Let k = -2 + 2.5. Suppose 5*q + 2*p = -11, 0 = 2*q + 3*p - 8*p + 16. Let b = -5/7 - -3/7. Put k, q, b in increasing order.
q, b, k
Let o be 18/(-8) + (-1)/(-4). Let n be 1 - (2 - (o + -2)). Suppose 4*y + z - 16 = 0, y - 4*y = 4*z - 25. Sort -1, n, y in ascending order.
n, -1, y
Let u be -2*((-2)/(-1))/4. Let q = -50 + 52. Put q, u, -5 in decreasing order.
q, u, -5
Let j = 25 - 23. Suppose 0 = -j*h + 4 - 2. Sort 3, -4, h in descending order.
3, h, -4
Suppose 5*s + 5*c = 0, -5*s + 3*c + 28 = -s. Let a(p) = -p**3 + 4*p**2 + 12*p + 3. Let x be a(6). Put s, x, -2 in increasing order.
-2, x, s
Let u(l) = 2*l**2 - 9*l. Let r be ((-24)/(-20))/(1/5). Let w be u(r). Let n be 8/(-6) + 6/w. Sort n, -3, -5 in decreasing order.
n, -3, -5
Suppose 3*k -