-1, p, 6
Let p = -0.8 + 1. Let f(g) be the second derivative of g**3/6 + 5*g**2 + 2*g. Let n be f(-5). Put 5/4, n, p in descending order.
n, 5/4, p
Let q = -5 - -5.2. Let n = -63.6 - -64. Put -4, n, q in decreasing order.
n, q, -4
Let s = 1251/7 - 179. Sort 0, -1, -10, s.
-10, -1, s, 0
Let o be (-11)/3 + 4/6. Suppose -5*g + 5*z + 35 = 0, 4*z + 13 + 3 = 2*g. Let w(b) = -b + 2. Let p be w(g). Sort p, o, 2 in ascending order.
p, o, 2
Suppose -3*r + 3 = -0*r. Let g be (12/30)/(1/15). Let k be 5 - g - 4*-1. Put -2, r, k in increasing order.
-2, r, k
Let q be (-2)/(-40)*-2*-4. Put q, -4, -0.1 in decreasing order.
q, -0.1, -4
Suppose 5*k - 33 = -3. Suppose 0 = -2*j + k*j - 68. Suppose 3*m + j = -0*m + w, -5*m = -4*w + 40. Sort -1, m, 3/4.
m, -1, 3/4
Let y(j) = -j**3 + 11*j**2 + 11*j + 16. Let r = 10 - -2. Let i be y(r). Sort i, -2, -5.
-5, -2, i
Let j = 14 - 9. Sort 3, 1, j.
1, 3, j
Let n be (-1 - (-7)/6) + 925/(-222). Sort 5, n, -1, 1 in descending order.
5, 1, -1, n
Let m = -12.2 + -1.8. Let g = m + 11. Put 0.4, 2/13, g in descending order.
0.4, 2/13, g
Let g = 14.6 + -15. Put -3, g, 2/7 in increasing order.
-3, g, 2/7
Suppose 0 = -i + 2*k - 8, 4*i = i - 2*k - 8. Let r be 27/5 - i/(-10). Suppose 7 = -4*j + 3. Sort j, -2, r in decreasing order.
r, j, -2
Let j = -136 + 138. Sort -5, -1, j, 3 in descending order.
3, j, -1, -5
Let x = -5 - -11. Suppose x = -g - 2*g. Suppose v = 3*v + 2. Put 1, v, g in decreasing order.
1, v, g
Suppose -q = 3*v + 2*v + 11, -5*v - 12 = 2*q. Let g be (11 + -9)*(-12)/(-2). Suppose -2*t - 2*t = g. Put q, t, 0 in ascending order.
t, q, 0
Let s be (-3)/(1 - (-3 + 3)). Sort -4, s, 4.
-4, s, 4
Let r = 11.05 + -11. Let y = -0.05 - r. Let f = y + 5.1. Sort -2, -4, f in increasing order.
-4, -2, f
Let i = -2.4 + 2.2. Put 0.3, i, 0 in ascending order.
i, 0, 0.3
Suppose 0 = -k + 2*k. Let o(z) = 3*z**2 - 26*z + 18. Let v be o(8). Put k, v, 3 in ascending order.
k, v, 3
Let h = 52 + -52. Sort h, -2, 6 in ascending order.
-2, h, 6
Suppose -10*r = -r + 36. Suppose 0 = -h - 2*h + 5*u - 7, -h + 2*u - 3 = 0. Let l be h*6/2 + r. Put 2, l, -2 in descending order.
2, l, -2
Let j = 28 - 24. Sort -2, j, 1, -3 in increasing order.
-3, -2, 1, j
Let h = 3031/13 + -233. Let m = 2 - 4. Put h, m, -1/4 in descending order.
h, -1/4, m
Suppose 4*n - 4*u = -5*u, 0 = -n - 2*u. Suppose 0*d - d + 2 = n. Put -5, d, 0 in descending order.
d, 0, -5
Let m be 90/25 + 2/5. Let a be 0 - 3*(-3 + m). Sort a, 1, -1 in ascending order.
a, -1, 1
Let u(z) = z**3 + 4*z**2 + 2*z - 2. Let o(c) = -c - 2. Let a be o(0). Let r be u(a). Let d = r - 0. Sort d, 5, -4 in increasing order.
-4, d, 5
Let b = -0.23 - -4.23. Put -0.1, b, 2 in ascending order.
-0.1, 2, b
Suppose 6*p + 4 = 7*p. Sort 2, 1, p in increasing order.
1, 2, p
Let v = 9 - 12. Sort -0.4, v, 0.
v, -0.4, 0
Let y = -0.27 + 0.27. Let s = -8 - -8.8. Let k = s + -0.3. Put k, y, 1/4 in descending order.
k, 1/4, y
Let r = -0.25 - -0.45. Let w be (3/4)/(3/2). Put r, -5, w in increasing order.
-5, r, w
Let g be 5/10 + 1/(-2). Suppose 0 = 2*o + 2*d - g*d - 2, -o = -3*d - 1. Let i = 3 - 8. Sort 0, o, i in increasing order.
i, 0, o
Suppose -4*z + z - 2*j + 4 = 0, -5*j = -z + 24. Suppose -3*r - z - 8 = 0. Suppose 0 = l - 5. Put l, r, 4 in descending order.
l, 4, r
Let m be 36/63*7/3. Sort m, 5, -3/7 in decreasing order.
5, m, -3/7
Let i = 6 - 5. Put i, -2, 5 in increasing order.
-2, i, 5
Let s = 24 - 20. Sort s, -4, -6 in descending order.
s, -4, -6
Let b = -0.15 + 8.15. Let p = b - 8.1. Let c = -112 - -781/7. Put c, p, 0.1 in ascending order.
c, p, 0.1
Let i = -2.4 + 3.4. Put 3, -3, i in ascending order.
-3, i, 3
Let p = 6 - -23. Suppose 0 = 4*g - 5*z - p, -4*g - 11 + 0 = 3*z. Put -1, g, 0 in increasing order.
-1, 0, g
Let f be ((-18)/(-10))/(-3)*-15. Let y = 14 - f. Put y, 3, -0.2 in increasing order.
-0.2, 3, y
Let m(v) = v - 2. Suppose 12 = 3*b + 4*c - c, -2*c = -5*b - 8. Let d be m(b). Sort d, 2, -1 in increasing order.
d, -1, 2
Let c be ((-2)/4)/(1/2). Suppose 0 = 17*z + 79 - 45. Sort z, c, 1.
z, c, 1
Let t = -2.1 + 4.1. Let n = 259/2169 + -2/241. Put n, 3/5, t in descending order.
t, 3/5, n
Let b be 3*(60/(-9))/(-5). Suppose -2 = 2*f + b. Sort 3, 1, f in decreasing order.
3, 1, f
Suppose 6*f = f + 5, 4*w = -4*f + 16. Let q = 1 - -2. Suppose -5 = 2*k - q. Put w, -5, k in descending order.
w, k, -5
Let c = -32.3 + 31. Let v = c - 3.7. Sort -1/5, v, -1/7 in ascending order.
v, -1/5, -1/7
Let m = -7 + 2. Let a = -5 - m. Let r = -1 - 2. Sort a, -2, r.
r, -2, a
Let m be 0/(-5 + 0 + 3). Let y = 8 + -3. Let f be y/30*-1*2. Sort 0.5, m, f in increasing order.
f, m, 0.5
Let y = -6 - -14. Let i be 6/(-8) - (-30)/y. Put 4, i, -3 in decreasing order.
4, i, -3
Let n = -4.79 + 0.79. Put n, 0.5, -0.1 in descending order.
0.5, -0.1, n
Let a = 207 + -215. Sort 7, a, 0 in ascending order.
a, 0, 7
Let t = -82 - -87. Sort -2/3, -2, t in decreasing order.
t, -2/3, -2
Suppose -h = 5*q + 9, 3*q + 1 + 4 = -h. Suppose 0*f + h = f. Suppose -4*l + 3*t = 3 - 5, 3*l - t - 4 = 0. Put 3, l, f in ascending order.
f, l, 3
Suppose -7*m - 5 - 9 = 0. Sort m, 2, -5.
-5, m, 2
Suppose 0 = -5*p - 11 + 71. Let t be p/3 + 2 + -2. Put -5, 5, t in ascending order.
-5, t, 5
Let o(w) = -w**2 - 14*w - 23. Let j be o(-12). Sort -6, j, 2, -3.
-6, -3, j, 2
Let w = 3.6 - 3.4. Sort 3, w, 22 in decreasing order.
22, 3, w
Let b = 0.059 - 0.159. Sort 4/7, -5, 4, b.
-5, b, 4/7, 4
Let z = 0.2 - -1.8. Let m = 49.1 + -47. Let a = m - z. Sort -1/7, a, -0.5 in descending order.
a, -1/7, -0.5
Let p = -1.1 - -0.8. Let u be (-3 + 2)*1 + 3. Put u, p, 5 in increasing order.
p, u, 5
Let m = 58/5 - 12. Let t be 21/(-14)*(-1)/6. Put t, -2/9, m in ascending order.
m, -2/9, t
Let r be (1 - 1)*(-1)/1. Suppose r = -4*j + 16, -2*x - 2*j = -x - 13. Let v = 0 + 4. Put x, v, -1 in descending order.
x, v, -1
Let r(c) = -c - 1. Let a(u) = u + 6. Let v(t) = -2*a(t) - 4*r(t). Let f be v(6). Sort f, 2, 0.
0, 2, f
Let h be 2*-1*(-1)/2. Suppose 3*l = -58 + 55. Sort h, 4, l in decreasing order.
4, h, l
Let v = 9.2 - 6. Let b = v - 0.2. Sort 4, 0, b in descending order.
4, b, 0
Let z(s) = -s**2 - 13*s - 1. Let d be z(-13). Let o be -1 - -2 - -10 - 2. Suppose 3*b - o = -0*b. Sort b, d, -3 in increasing order.
-3, d, b
Let n = 2/15 + 1/30. Put n, 3/10, 0.4 in ascending order.
n, 3/10, 0.4
Suppose k + 2*t - 3 + 2 = 0, 5*k + 13 = -4*t. Sort 3, k, -1, 4 in descending order.
4, 3, -1, k
Let d = -10 + 61/6. Let j = 462 + -2309/5. Put d, 10, j in descending order.
10, j, d
Suppose -6*v = -2 + 2. Sort v, -1, -3.
-3, -1, v
Suppose -2 = -3*h + 4, 4*h = -4*r - 8. Sort 2, r, 3.
r, 2, 3
Let z = -5.3 + 1.7. Let y = 4 + z. Sort -0.2, 2, y.
-0.2, y, 2
Let j(t) be the first derivative of t**2 - 5*t + 2. Let b be j(5). Let p be (-6)/30 + (-4)/b. Sort -3, 0, p in increasing order.
-3, p, 0
Let u(q) = -q**3 - q**2 - 20. Let x be u(0). Let k be 8/x - 34/(-10). Let w(v) = v**3 + 6*v**2 + 6*v + 7. Let f be w(-5). Sort k, 0, f in increasing order.
0, f, k
Suppose -3*k - 3*x = k, 2*k + 4*x - 10 = 0. Sort 0.4, k, 15 in increasing order.
k, 0.4, 15
Let v = -392/99 - -34/9. Put v, -2, 0.3 in descending order.
0.3, v, -2
Let d be (-6)/(-4)*(-20)/(-6). Suppose d*i = 6*i + 1. Let g = -6 - -4. Sort i, -3, g in descending order.
i, g, -3
Suppose z - 4*z - y = -9, -2*z - 4 = 4*y. Put z, -12, 0 in decreasing order.
z, 0, -12
Let u(i) = i**3 + 3*i**2 - 5*i - 3. Let k be u(-3). Suppose 3*s - 2*q = -5*q - 9, 4*s + q = -k. Let h = -3 + 2. Sort s, h, 3 in increasing order.
s, h, 3
Let q = 12 - 11.8. Sort 4, q, -0.12 in increasing order.
-0.12, q, 4
Let v = -5 + 14. Let c be v/5 + (-9 - -7). Sort -1/3, c, -0.1 in decreasing order.
-0.1, c, -1/3
Let r = -70 - -66. Sort r, -1/4, 2 in decreasing order.
2, -1/4, r
Let b(w) = w + 1. Let x be b(1). Sort x, -5, -4.
-5, -4, x
Suppose 2 = 3*x - x. Put x, 0, -5, -3 in increasing order.
-5, -3, 0, x
Suppose 8 - 20 = -4*v. Let y be (-2 - -1)*15/v. Sort -2, y, -3.
y, -3, -2
Let p = -0.015 - -0.415. Suppose 3*z + z = 2*i + 18, 2*z - 11 = -i. Let s = 9/2 + -59/14. Sort s, z, p in descending order.
z, p, s
Suppose -4 = -2*f - 8. Let t be 2*20/8*-1. Put f, 7, t in increasing order.
t, f, 7
Let u = 4 + -4. Put 12, -3, u in decreasing order.
12, u, -3
Let o(n) = -n**2 - 6*n - 3. Suppose 4*m + 1 + 15 = 0. Let 