15 + n/(-165). Put -4, p, 1 in descending order.
1, p, -4
Let w = -91 - -85. Sort 6, w, -4 in descending order.
6, -4, w
Let y(t) = -t**2 + 9*t - 6. Let m be y(7). Let s be (-92)/(-32) - 3/(-24). Sort -4, s, m in ascending order.
-4, s, m
Let f be -4*(-2)/((-24)/(-9)). Suppose -z + 2*g + 19 = -3*g, 3*z - f = -3*g. Let x = 4 + -3. Put -3, z, x in increasing order.
-3, x, z
Let x = -48 + 143/3. Put -3, x, 0 in increasing order.
-3, x, 0
Suppose 3*y - 1 - 2 = 0. Let o be 6/4*(-8)/(-4). Suppose 7*x = o*x + 16. Put x, y, -3 in ascending order.
-3, y, x
Let g be -4*(-2)/6*-3. Let z be (2/4)/((-10)/g). Let m = -568/7 + 81. Sort 1, z, m in ascending order.
m, z, 1
Let n = -5 + 4. Sort 0, -4, 3, n.
-4, n, 0, 3
Let u = -3.39 - -0.39. Let p = 4 - 5. Sort -0.5, p, u in increasing order.
u, p, -0.5
Let m be ((-12)/14)/((-1088)/280). Let p = 1/34 + m. Sort -1, -2/3, p in descending order.
p, -2/3, -1
Let c = 9 + -8.6. Sort -2/7, c, -8, -4 in ascending order.
-8, -4, -2/7, c
Let m be (16/(-40))/((-18)/(-10)). Put -3, 0.08, m in decreasing order.
0.08, m, -3
Let b be -1*(-35 + 0) + 1. Suppose -11 = 5*g - b. Suppose -21 = g*f - 6. Put 5, f, 4 in descending order.
5, 4, f
Let i(s) = 4*s + 25. Let b be i(-6). Suppose 4*u + 25 = -u + 5*k, -2*u + 5*k = 13. Sort b, -3, u.
u, -3, b
Let k = -1/34 + -42/17. Let o = 0.22 - 2.12. Let y = -1.4 - o. Put k, y, -5/6 in decreasing order.
y, -5/6, k
Let j(q) = 2*q**2 - 6*q + 5. Let d be j(3). Sort -5, d, 0.
-5, 0, d
Let j = 1 - 1. Suppose -9 + 21 = 2*y. Suppose y*i - 20 = 2*i. Sort -2, i, j in decreasing order.
i, j, -2
Suppose 10*v + 23 + 7 = 0. Put 3, 1, v, -3/4 in decreasing order.
3, 1, -3/4, v
Let l = 0.2 - 10.2. Let i = l - -10.06. Sort 0.2, i, -2/7 in descending order.
0.2, i, -2/7
Let n = -2 - 0. Let a(w) = w**3 + 5*w**2 + 6*w + 5. Let p be a(-4). Sort -1, n, p.
p, n, -1
Let f = 9 - 4. Let n = 5 + -8. Let x = 0.06 - 0.56. Sort n, f, x in descending order.
f, x, n
Let k = 1100/3899 - -2/557. Let p = 0.5 - -1.5. Let d = p + -5. Put d, k, 0.4 in decreasing order.
0.4, k, d
Let y(u) = -u**3 - u**2 + u + 5. Let z be y(0). Suppose 2*a + 17 = z*x, -3*a + 4*x = -0*a + 15. Sort 3, a, -5 in descending order.
3, a, -5
Let q = 8 + -5. Sort -1/8, 0, q in descending order.
q, 0, -1/8
Let q = -3/356 - 5681/1780. Let t = -122/35 - q. Sort 0.4, t, 6 in decreasing order.
6, 0.4, t
Let s be 1*(-2 - 1)/(-21). Let w = 0.03 - 3.03. Let l = w + 3.2. Put s, 3/5, l in decreasing order.
3/5, l, s
Let a = 3 - 1. Let p(c) = -c**2 + 4. Let r be p(0). Let i = -25 - -30. Put i, a, r in descending order.
i, r, a
Let t(f) = f**2 + 2*f - 6. Let k be t(-4). Let m = 1 - -3. Sort m, -3, k in decreasing order.
m, k, -3
Let r be (-2)/(-1 + (-1)/(-2)). Suppose 0 = -3*c - 2*a - 1, -2*c + r = a + 3. Put c, 1, 0 in descending order.
c, 1, 0
Let c be (4/4)/(5/(10*-1)). Put 4, c, -4, -1 in decreasing order.
4, -1, c, -4
Suppose 4*g = -52 + 84. Sort -2, -1, g, 0.
-2, -1, 0, g
Suppose 4*n + 5 = d - 4*d, 4*d = 5*n + 45. Put 2/7, 2/9, n in increasing order.
n, 2/9, 2/7
Let r(i) = i**3 - 7*i**2 + 7*i + 9. Let m(z) = 4*z**3 - 21*z**2 + 20*z + 28. Let l(v) = 2*m(v) - 7*r(v). Let c be l(-8). Put -3, c, -4 in ascending order.
-4, -3, c
Let o = 31908 - 160563/5. Let x = 204 + o. Put 0.1, 3, x in decreasing order.
3, 0.1, x
Let f = 11 - 9. Let o = -0.1 - -3.1. Let z = f - o. Put -2, z, -2/3 in descending order.
-2/3, z, -2
Let s = -6 - -6.3. Let t be -2*2 - 132/(-30). Put t, s, 2 in decreasing order.
2, t, s
Let t(w) = w**2 - 2*w - 3. Let g be t(4). Sort -5, 3, 4, g in decreasing order.
g, 4, 3, -5
Suppose -i + 8 = -7. Let v = 11 - i. Suppose 4*d + 28 = 5*o, -3*o = 2*o - 20. Sort d, v, -3 in descending order.
d, -3, v
Let r be (-15)/25 + (-2)/(-5). Put r, 5/6, 1 in decreasing order.
1, 5/6, r
Suppose z + y + 3 = 0, -2*z - y + 3*y = -14. Suppose -f = 3*c - 3, 2*f - z = 5*c + 4. Let m(v) = 2*v - 3. Let s be m(3). Sort s, c, -1 in decreasing order.
s, c, -1
Suppose 4*l - 4*h = 20, -4*l - 2*h - 15 = -7*l. Suppose -32 = l*t - 7*x + 3*x, -4*t - 5*x - 1 = 0. Let b be 9/6*(-4)/6. Sort t, 4, b in decreasing order.
4, b, t
Let h = -9 + 11. Suppose -3*k = k, 16 = 4*a - 3*k. Sort h, a, -4/5 in increasing order.
-4/5, h, a
Suppose -3*l + 39 = 3*s + 15, s = l + 2. Suppose 2*w - 35 = -s*j, 2*j - w - 1 - 4 = 0. Suppose j*q - 28 = -p, 6*p = -3*q + 4*p + 21. Sort 4, -4, q.
-4, 4, q
Suppose -2*i - 3*i = -2*i. Let s = 0 - -2. Sort i, s, -2/9 in decreasing order.
s, i, -2/9
Let v(a) = a**3 - 7*a**2 + 10*a + 7. Let u be v(5). Suppose -g - 3*m + 5 = -2*g, 0 = -4*g - 4*m - 52. Let l = g + u. Sort 0, -1, l in descending order.
0, -1, l
Suppose -x + 3*g - 9 = 1, 5*g = x + 14. Sort x, 11, 5 in ascending order.
x, 5, 11
Let o = 8 + -7.7. Sort o, -2, -2/7.
-2, -2/7, o
Let x = 6 + 3. Let q = x - 9.4. Sort q, -0.5, -0.1.
-0.5, q, -0.1
Let w(y) = y**2 - 11*y - 21. Let u be w(13). Sort 0, 1, u, -6 in descending order.
u, 1, 0, -6
Let m(f) = -f - 5. Let v be m(0). Sort 4, -2/3, v, -0.2.
v, -2/3, -0.2, 4
Let d = 18 + -8. Let g = 0 + -7. Let q = g + d. Sort 1/2, 0.1, q in increasing order.
0.1, 1/2, q
Let d = 0.6 - 0.1. Let j = d + -0.4. Put 3/2, -0.2, j in increasing order.
-0.2, j, 3/2
Let q(l) = -l**2 + l + 3. Let y be q(0). Suppose -y*k = 3*g + 15, -11 = 4*k + g - 6*g. Suppose h + 15 = 4*h. Put -1, h, k in decreasing order.
h, -1, k
Suppose 4*l - 3*d = 2*d - 10, -10 = 2*l - 5*d. Suppose 2*g + 3*g + 25 = l. Put -1, g, -4 in ascending order.
g, -4, -1
Let g = 40.4 - 40. Sort 0.1, 1/8, g in increasing order.
0.1, 1/8, g
Let y = -19 + 13. Let b = y - -3. Sort 4, b, -1/5.
b, -1/5, 4
Suppose 30 = 6*b - 3*b. Let n = -12 + b. Let l = -3.8 - 1.2. Sort n, l, 5 in descending order.
5, n, l
Let z = -182/123 + 6/41. Let m = -11/6 - z. Sort 0.5, m, -9.
-9, m, 0.5
Let h(y) = y**3 - 12*y**2 + y - 15. Let x be h(12). Put 5, 3, x in increasing order.
x, 3, 5
Suppose -4 + 28 = 4*k. Suppose 2*i = -0*x + 3*x + k, -5*i + 15 = -4*x. Sort 0, i, -4.
-4, 0, i
Suppose 8 = -3*n - n. Let d(t) = t**3 + t**2 + t + 2. Let z be d(n). Let r(o) = o**3 + 3*o**2 + 3*o + 2. Let m be r(-2). Put z, m, -1 in descending order.
m, -1, z
Let u be -18*2/(-4) - 1. Let b(v) = v**3 - 8*v**2 - v + 8. Let m be b(u). Let p be 10*((-6)/(-4) + -1). Sort p, m, 1 in decreasing order.
p, 1, m
Suppose -h - 3 - 1 = 0. Let b be -4*2/4*-2. Let q be b/(-20) - (-18)/40. Sort h, 4, q.
h, q, 4
Let o = 17/12 - 5/3. Sort -2, 1/7, o in decreasing order.
1/7, o, -2
Let t = -118/3 - -39. Let k be (0 + 1)/((-5)/(-10)). Sort t, k, -2 in increasing order.
-2, t, k
Let m = 27 - 35. Sort 0.5, 3, m.
m, 0.5, 3
Suppose 2*t - 2*u - 14 = 2*u, -t - 11 = 4*u. Let q be (-8)/(-5)*10/4. Put t, q, -3 in ascending order.
-3, t, q
Let b = -19 - -94/5. Let l = 5 + -6. Put l, b, 5 in descending order.
5, b, l
Let y = -0.5 + 0.8. Let b = 0.087 + -0.517. Let c = b + 0.03. Put c, y, -0.2 in decreasing order.
y, -0.2, c
Let w = 1.2 + -1.3. Let c be (-4)/14 + 32/63. Let z = 162/95 - 21/19. Put z, c, w in decreasing order.
z, c, w
Let d be (1 - 2)/(5/25). Put -1, d, 4 in increasing order.
d, -1, 4
Suppose 3*a + 6*z = 2*z + 7, -5*z = a - 6. Let b(m) = 2*m**2 - 48*m - 3. Let g be b(24). Sort -1, a, g.
g, -1, a
Let h = 0 - -2. Put h, 5, 4, -5 in decreasing order.
5, 4, h, -5
Let z = 12.2 - 8.2. Sort 0.3, z, 1/4, -0.3 in descending order.
z, 0.3, 1/4, -0.3
Let v(d) = d**3 + 8*d**2 + 8*d + 7. Let y be v(-7). Suppose -5*t + 2*z - 26 = -y*t, z - 15 = 3*t. Suppose 7*f + 20 = 3*f. Put f, 0, t in ascending order.
f, t, 0
Suppose -30*w + 25*w = 5. Sort -7, w, -4, 5.
-7, -4, w, 5
Let y = -8 - -8.04. Let u = y - -0.06. Put 0.5, u, 1 in ascending order.
u, 0.5, 1
Let t = 5 - 8. Let f = 4.2 - 0.2. Let v = -4.4 + f. Sort t, 0.4, v.
t, v, 0.4
Let m = 101 - 101.5. Let l(j) = -j**3 - 6*j**2 - 2*j - 7. Let i be l(-6). Sort -1/5, i, m.
m, -1/5, i
Let z = -0.03 - -0.32. Let k = z + 0.01. Let a = -177 + 174. Put -1, k, a in increasing order.
a, -1, k
Let l be 1/((-1)/(-1) + -2). Suppose -4*q - 5 = 15. Suppose 7*i = 13 + 8. Put i, q, l in ascending order.
q, l, i
Let z = 1.3 + -2.2. Let b = z - 1.1. Suppose 0 = -m + 6*m - 20. Sort b, m, 4/7 in decreasing order.
m, 4/7, b
Suppose 0 = 4*m + 23 + 1. Let i = m + 3. Let z = -2 - 2. Sort 5, z, i.
z, i, 5
Let n(x) = x - 7. Let z be n(9). Suppose 0 = 3*v - 5*v + z. Let j(q)