-1
Let a = 0.08 + -4.08. Let z = a - -4.1. Let w = -3.9 - z. Sort w, 0.5, -1 in decreasing order.
0.5, -1, w
Suppose -5*a = -9*a + 92. Let t = 19 - a. Let i be (-54)/10 - 6/(-15). Put i, t, -1 in ascending order.
i, t, -1
Let l(c) = c + 18. Let u be l(-15). Sort u, 0, -1.
-1, 0, u
Let k(a) = -a**3 + 4*a**2 - a. Let x be k(4). Sort 0, x, -23 in decreasing order.
0, x, -23
Let c be (-16)/(-20)*5/(-2). Suppose 4*y = 2*y. Let a be y/(-1) + (-1 - -1). Put a, -1, c in increasing order.
c, -1, a
Let m(j) = -2*j**2 + 4*j**2 + 2*j**2 + j**3 - 2 + 3*j. Let d be m(-3). Put 0, 5, d in increasing order.
d, 0, 5
Suppose 3 = 2*s + 5. Let k(a) = -3*a - 1. Let y(h) = -10*h - 4. Let l(t) = -7*k(t) + 2*y(t). Let o be l(4). Sort o, s, 0 in ascending order.
s, 0, o
Let h = -0.104 + 5.104. Put 0, 0.4, -4, h in increasing order.
-4, 0, 0.4, h
Let z(i) = i. Let d(h) = 2*h - 6. Let n(y) = -d(y) + z(y). Let k be n(7). Let t(m) = -m**2 + 10*m + 6. Let g be t(11). Put g, k, 1 in increasing order.
g, k, 1
Let f(c) = -c**3 - 7*c**2 + 10*c + 12. Let n be f(-8). Sort 1, 4, n in ascending order.
n, 1, 4
Let u = 0.18 - -0.12. Let q = 2777/52 - 213/4. Sort q, u, 4 in descending order.
4, u, q
Suppose 9 = 2*p + p. Suppose 28 = -3*v - 5*r, -14 - 2 = v + p*r. Sort 0, 1, v in decreasing order.
1, 0, v
Let z be 16/(-6) - 6/(-9). Let j be -5 + 4 + 2/2. Let o = 3 - j. Sort 5, z, o in descending order.
5, o, z
Suppose -3*j + 5 = -7. Let n = -1 - j. Sort -0.3, 3/4, n in increasing order.
n, -0.3, 3/4
Suppose -20 = 4*n + 2*k, -4*k = -5*n - k - 25. Sort 3, -15, n in descending order.
3, n, -15
Let j be (-1 - -1) + 2/4. Let w = 22 + -89/4. Sort -0.2, w, j.
w, -0.2, j
Suppose -28 = 5*g - 8. Let i be ((-10)/(-15))/(g/18). Sort 2, 1, i.
i, 1, 2
Let a = 48616/21 + -2310. Let x = -16/3 + a. Let j = -172/35 - -33/7. Sort x, j, 2 in ascending order.
x, j, 2
Let k(w) = -w**2 - 8*w - 11. Let c be k(-5). Let o = -0.08 - 0.22. Put -0.4, o, c in ascending order.
-0.4, o, c
Suppose -o = -4*o + 3. Suppose 2*j = -5*t, j = 2*t - 8 - 1. Suppose -4*g = -4*s - 12, 2*g = 4*g - 4*s - 8. Sort g, o, j in decreasing order.
g, o, j
Let m(k) = -k**3 - 9*k**2 - 14*k + 2. Let b be m(-7). Put b, 8, -2 in increasing order.
-2, b, 8
Let v = 6 + -7. Let x be 5/(-15) - (-32)/42. Let m = 2 - 2.1. Put v, x, m in increasing order.
v, m, x
Let b be (-2)/1*(-3)/(-6). Suppose m - 2*f - 1 = 0, 0*f = 3*m + 3*f - 21. Sort b, m, 6 in decreasing order.
6, m, b
Let z = 12 + -7. Put -3, 0.2, z in decreasing order.
z, 0.2, -3
Let g be (2 - 0)*7/(-2). Let j be (12/g)/((-6)/21). Let t be (2/(-4) + 1)*j. Put -1, t, -5 in descending order.
t, -1, -5
Suppose -g = 2*i - 4, 0 = 2*g - 0*g - 4*i - 40. Put -5, -1, g, 0 in decreasing order.
g, 0, -1, -5
Suppose 4*o + 0*o + 4 = 4*r, 2*r = -4*o - 16. Let k be -2 + 0 + (-1)/r. Suppose 0 - 10 = -2*u. Sort 0, k, u in descending order.
u, 0, k
Let p = 0.2 - -0.17. Let z = -11 - -11.07. Let t = p - z. Put 0.4, -2, t in decreasing order.
0.4, t, -2
Let o = -0.1 - 0.1. Let i = 425 - 429. Put i, 5, o in ascending order.
i, o, 5
Let j = -3 + 2.9. Suppose 56 = m + 3*m. Let g = -11 + m. Sort j, g, 0 in increasing order.
j, 0, g
Let b = 31 - 31.5. Sort 0, b, 3/16 in descending order.
3/16, 0, b
Let c(q) = -q**3 + 6*q**2 - 4*q - 1. Suppose -a = -1 - 4. Let l be c(a). Suppose -4 = -s - 3*s. Put 0, l, s in descending order.
l, s, 0
Let s = 177/418 + -7/22. Sort 0.3, -8, s in descending order.
0.3, s, -8
Let i = 1/10 - -1/10. Suppose -4*x + 12 = -7*x. Sort i, x, 1 in decreasing order.
1, i, x
Suppose -o + 8 = -5*o. Let s(t) be the second derivative of -t**3/2 - 3*t**2/2 - 2*t. Let a be s(o). Put 5, -1, a in decreasing order.
5, a, -1
Let z = -16 + 11. Let p = -2 + -1. Let b = 0.3 + -0.6. Sort z, p, b.
z, p, b
Let u be (-867)/(-15) - (-3)/5. Let c = u - 58. Put -3/4, -0.1, c in increasing order.
-3/4, -0.1, c
Let g be 2/9*42/28. Put 0.1, -1, -0.4, g in descending order.
g, 0.1, -0.4, -1
Let v(f) = -f**2 - 4*f + 3. Let d = -14 + 10. Let q be v(d). Suppose 12 = q*t - 6*t. Put t, 0, 2 in descending order.
2, 0, t
Let w = 1/92 + -35/46. Let o = 1.1 + 2.9. Let z = o - 6. Sort z, 0.2, w.
z, w, 0.2
Let j = 0.5 + -1. Let a be (8/(-60))/(3/(-18)). Sort j, a, 5 in descending order.
5, a, j
Let r = 0 + 4. Let o be 1/r - (-84)/(-16). Let x = -1/14 + 43/210. Sort o, x, 0.1 in ascending order.
o, 0.1, x
Let o = 5 - 5.07. Let l = o + 0.07. Sort l, -4, 0.1 in decreasing order.
0.1, l, -4
Let z be 4 - (-1 + 2 - -1). Suppose z*o + 26 = 2. Let p be (4/(-3))/((-4)/o). Put p, -1, 2 in decreasing order.
2, -1, p
Let h = 2.2 + -2. Let s = -0.3 - -0.3. Let a = s + h. Sort 5, a, -4 in decreasing order.
5, a, -4
Let b = 1 + -0.5. Let f = -24 + 29. Let u be 3/(-1)*2/(-6). Sort b, u, f in descending order.
f, u, b
Suppose 37 = 5*d - 2*v - 64, d - 4*v - 31 = 0. Put d, -2, -5 in increasing order.
-5, -2, d
Let k = -16 - -11. Sort -1, k, 3 in ascending order.
k, -1, 3
Suppose -2*i + 32 = -6*i. Let d be 1 + i/6 - -1. Put -2/9, -1, d in decreasing order.
d, -2/9, -1
Let c = -6.14 + 6. Let q = c - -0.03. Let w = -4.89 + q. Sort -1, w, -3 in descending order.
-1, -3, w
Let g be ((1 - 3) + 2)/4*-1. Sort -5, 1, g in ascending order.
-5, g, 1
Let j = -49.13 + 49. Sort -4, 3/2, j, -2/15 in ascending order.
-4, -2/15, j, 3/2
Suppose 12 = -4*q - 5*k, 2*q + 0*k - 12 = 2*k. Suppose -q*y + 6*y + w - 23 = 0, 13 = 2*y + w. Put -1, 4, y in decreasing order.
y, 4, -1
Let l(v) = v**3 - v + 2. Let t be l(0). Sort 0, t, 8 in descending order.
8, t, 0
Let x be 1*2*3/(4 - 10). Put 0.1, -2/11, -0.5, x in ascending order.
x, -0.5, -2/11, 0.1
Let r(c) = -c**3 + c**2 - c + 1. Let h be r(0). Sort 11, h, 0 in descending order.
11, h, 0
Let y = -17.9 - -21.9. Sort -1.9, -5, y, -3/5 in decreasing order.
y, -3/5, -1.9, -5
Let n = 6 - 8. Let i = 1 + n. Let x(q) = -4*q. Let k be x(1). Sort i, 5, k in descending order.
5, i, k
Let d be (1/(-2))/(18/(-12)). Suppose -w - 3*w + 21 = 5*x, 0 = 4*w - 3*x - 13. Sort w, d, 5 in decreasing order.
5, w, d
Let f be (-8 + 4)/2 - -8. Sort f, 2, 5 in decreasing order.
f, 5, 2
Let p = 0.4 - 0.3. Let m = -0.51 + 0.01. Let u = m + p. Put u, -5, -3 in decreasing order.
u, -3, -5
Suppose 2*u - 4 = 3*p, 0 = -3*u - 3*p + 1 + 20. Suppose u*s = 11 + 9. Let l be 3/3 + 6 + -2. Put l, s, 3 in descending order.
l, s, 3
Let z = -12 - -19. Let t be (z/28)/(5/(-4)). Sort 5, t, 3.
t, 3, 5
Let o = 0.4 + -4.4. Let b = -3.5 - o. Let g = 2 - 2.4. Put 2/11, b, g in ascending order.
g, 2/11, b
Let m = -29.6 - -25. Let f = 5 + m. Put f, 1/6, 0 in descending order.
f, 1/6, 0
Let f(v) = v**3 + 24*v**2 - 27*v - 47. Let n be f(-25). Let m be (-1 + 2)*(-3 + 0). Put m, -1, n in increasing order.
m, -1, n
Let z be -6 + 8 - (0 - 0). Let w be (2 + z + -3)*5. Sort -2, w, 2 in increasing order.
-2, 2, w
Let c = 2.981 - -0.019. Sort 5, -2/5, c, -6/7 in ascending order.
-6/7, -2/5, c, 5
Let z be (12/10)/((-2)/5). Suppose -3*a = 4*j - 8 - 21, 2*a = 3*j - 9. Suppose x + 3*k - j = 0, 3*x + 4*k + 5 = 10. Put z, x, 2 in ascending order.
z, x, 2
Suppose a = 3*a - 8, 4*a = 2*x + 22. Put 4, x, -1 in descending order.
4, -1, x
Let y = 3 + -5. Let i(r) = -r**3 - 3*r**2 + r + 3. Let o be i(-3). Put o, y, 4 in ascending order.
y, o, 4
Suppose k = 5*k. Suppose 4*u + k*u - 8 = 0. Suppose -8 = -3*d - u. Put d, -3, -4 in decreasing order.
d, -3, -4
Let f be ((-3 - -3) + -2)*2. Let h be (-6)/f - (-9)/(-2). Sort -2, h, 4 in decreasing order.
4, -2, h
Let m be (-14)/2 + 2 + -1. Let d be ((-4)/m)/((-10)/6). Sort 4/3, 2, d.
d, 4/3, 2
Let x = 0.88 - 0.18. Put -4, x, -2 in descending order.
x, -2, -4
Suppose 0 = -5*d - 20, 4*p + 7*d - 4*d = -12. Put 3, 2, p, 5 in ascending order.
p, 2, 3, 5
Let j = -3 - -5. Let q = -1 - j. Sort 1/6, 3, q in descending order.
3, 1/6, q
Let q(b) = b**3 - 8*b**2 + 4. Let c be q(8). Suppose -v + 0 = 3. Sort v, c, 1 in descending order.
c, 1, v
Let y(c) = -3*c - 7*c + c**3 + 0 + c**2 - 1 + 8*c. Let f be y(-2). Let g be (-42)/(-8) + (-3)/12. Sort 4, f, g in descending order.
g, 4, f
Suppose 0 = 4*p, 0 = 4*o - p - 25 + 9. Let x = 68 + -68. Sort -4, x, o in decreasing order.
o, x, -4
Let j = 0.01 + 14.99. Let k = j - 14.9. Put -1/5, k, 4 in descending order.
4, k, -1/5
Let k = 2 + -2. Let q be ((-4)/(-5))/(6/15). Let r = q - 0. Put r, -2, k in descending order.
r, k, -2
