se 3*v - 6*v - 12 = 0. Put 4, x, v in decreasing order.
4, x, v
Let l(r) = r**2 + 2*r + 2. Let b be l(-2). Suppose -2*v + 6*v - 3*n = -18, 5*n = -2*v + 4. Let i be 8*(-3)/(-3 + v). Sort -2, b, i in increasing order.
-2, b, i
Let d = 1 - 0.7. Let q = 108 - 107.5. Put q, d, -0.5 in decreasing order.
q, d, -0.5
Let w(k) = 6*k + 2*k - 3*k + 9 - k**2. Let q be w(7). Let u = q - -1. Sort -5, 1, u.
-5, u, 1
Let b be (0 - (1 - 3))*(-15)/10. Sort b, 9, -4.
-4, b, 9
Let a be ((-12)/8)/((-6)/20). Let o = -9 + 5. Put 1, a, o in ascending order.
o, 1, a
Let x(b) = 2*b**2 - 13*b - 1. Let v(d) = -d**2 + 12*d. Let p(k) = 3*v(k) + 2*x(k). Let g be p(-10). Sort g, -1, 4 in increasing order.
g, -1, 4
Let l be (-5 - 91/(-21))/((-4)/(-6)). Suppose 0 = -4*p + r - 4*r + 29, -11 = -4*p + 3*r. Sort l, 3, p in ascending order.
l, 3, p
Suppose -3 = -3*a + 3. Suppose -a*f - f + 9 = 0. Let x = 6 + -9. Sort x, f, 1 in ascending order.
x, 1, f
Let z(s) = s**2 - s. Let u(h) = -7*h**2 + 11*h + 6. Let k(m) = u(m) + 6*z(m). Let c be k(6). Sort 0.5, c, -0.5 in increasing order.
-0.5, c, 0.5
Let k be (3 + 0)*16/6. Let g be (-9)/21 - (-96)/28. Put 1, k, g in decreasing order.
k, g, 1
Let r = 5 + -2. Let n(h) = 8*h - 28. Let j be n(3). Sort j, r, -0.3 in descending order.
r, -0.3, j
Let f = 1/2 - 1/6. Sort -2/15, f, 1.4, 0.1.
-2/15, 0.1, f, 1.4
Let w(k) = -4*k**3 + 2*k**2 - 4*k + 3. Let a be w(1). Sort -1, 10, 2, a in descending order.
10, 2, -1, a
Suppose -w - 15 = -3*q, 5*q - 2*q + 3*w - 15 = 0. Suppose -3*b + 4*b = -1. Sort -4, q, b in decreasing order.
q, b, -4
Let k be 6/4 + (-3)/6. Let p = 2 - -1. Sort k, p, -2.
-2, k, p
Let q be (-2802)/(-10) - 2/10. Let n = q - 1964/7. Sort -4, n, 1.
-4, n, 1
Let s = -14 - -14. Let o be (s + 1)/((-16)/24). Let i = 1 - 1. Sort i, o, -2/11 in increasing order.
o, -2/11, i
Let o be -1*(-2 + 4 - -1). Let r(w) = 2*w - 2. Let f be r(2). Suppose f*v + 2*v = 0. Sort v, o, 2 in decreasing order.
2, v, o
Let g = -8 - -9. Let s = g + 0. Sort s, -3/2, -0.6 in increasing order.
-3/2, -0.6, s
Let o = 31.3 + -36. Let l = -0.7 - o. Let b = -0.27 + -0.03. Sort -2, b, l in decreasing order.
l, b, -2
Let s = 67 + -66. Sort s, 2/7, 3 in decreasing order.
3, s, 2/7
Let x be 5/(-1)*(-4)/10. Put x, 5, 6, 4 in descending order.
6, 5, 4, x
Suppose 5*l - 6 = -21. Let x be -1*3 + 26 + -18. Sort l, x, -5 in increasing order.
-5, l, x
Let n = -3.92 + -0.08. Let b = -48 + 47.6. Sort b, 1, n in descending order.
1, b, n
Let l = 56 + -282/5. Let o(z) = -z**3 + 8*z**2 + z - 6. Let m be o(8). Let d = 0 + 0. Put m, d, l in increasing order.
l, d, m
Let r = -0.08 + -3.92. Let q = 9 + r. Put -3/5, q, 0.5 in ascending order.
-3/5, 0.5, q
Let f = -2 + 2. Suppose m + 4*m - 1 = t, 2*t = -4*m + 12. Sort f, 4, m in increasing order.
f, m, 4
Let y = 70 - 70.3. Sort 0.2, y, 5, 3 in decreasing order.
5, 3, 0.2, y
Let y be (-6)/21*(-14)/2. Let g = -3 - y. Let s be 4 - (-4)/(-6)*3. Put 3, g, s in ascending order.
g, s, 3
Let o(d) = d**3 + 6*d**2 + 4. Let n be o(-6). Suppose l = 5 + 5. Suppose 0 = -4*k - k - l. Sort 5, k, n in decreasing order.
5, n, k
Let r = 192 - 197. Suppose 2*m - 20 = -4*k, 0 = -5*m - 0*k + k - 5. Sort 2/7, r, m in increasing order.
r, m, 2/7
Suppose 0 = 5*z - 3*z - 6. Suppose -z*a + 22 = c, -16 - 20 = -3*c - 3*a. Let l = c + -2. Put 2, l, -2 in decreasing order.
l, 2, -2
Let l(t) = -t**2 + 4*t + 6. Let h be l(5). Suppose -4*q = -2*z + 30, 0*z + q = -z. Sort -3, h, z in descending order.
z, h, -3
Let c = -117.9 + 118. Let z = -4.3 - -4. Sort c, -0.5, z.
-0.5, z, c
Let k = -0.1 + -4.9. Let z = -1.5 - -7.7. Let m = 6 - z. Sort k, -0.3, m in ascending order.
k, -0.3, m
Let d(f) = f**3 - 3*f**2 + 2*f - 3. Let z be d(3). Let o = -1 + 2. Let i = 2 - o. Sort -5, z, i.
-5, i, z
Let z = -62 + 61.92. Sort 1, -3/8, z in decreasing order.
1, z, -3/8
Let v = -16 - -23.2. Let o = 7 - v. Sort 2, o, -0.1 in decreasing order.
2, -0.1, o
Let j = -99 + 103. Sort -1/5, -0.4, j, 2 in descending order.
j, 2, -1/5, -0.4
Let y = 0.03 - -3.97. Let t = y + -3.6. Put t, 0, -2 in increasing order.
-2, 0, t
Let t = 0.1 + 0.9. Let b = t - 1.1. Sort -2/15, -1/2, b in ascending order.
-1/2, -2/15, b
Suppose 0*h + 6 = -h. Let b be 0 - (-3 - h)*1. Sort -4, 3, b in descending order.
3, b, -4
Let u = -8 + -2. Let h = u - -14. Let i be (-3)/(-5)*(h + 1). Sort -2, -0.5, i in ascending order.
-2, -0.5, i
Suppose f + 36 = 3*f. Suppose 4*b = f - 6. Suppose -b*k + 0*k = -3. Put -5, k, 4 in decreasing order.
4, k, -5
Let k = 26 - 26. Put -4, 0.1, k in increasing order.
-4, k, 0.1
Let d be -8*(1 + -7) + 0. Suppose 0 = -4*s + 4*q + d, -2*q + q - 32 = -3*s. Let u be (-1)/1*(-5)/s. Sort 0, u, -0.2 in decreasing order.
u, 0, -0.2
Let m = -3 - -7. Put 3, -2, m in increasing order.
-2, 3, m
Let x = -4.1 - -0.1. Let a = -1.6 + 2. Let l = 8/7 - 41/42. Put x, a, l in decreasing order.
a, l, x
Let i(g) = g**3 + 4*g**2 - 4*g + 5. Let x be i(-5). Let p(d) = 8*d + 7. Let q be p(-4). Let t = q + 22. Sort t, 2, x in decreasing order.
2, x, t
Let t be 2/(4 + -2 + -4). Suppose s = 2*s + 11. Let z = s - -6. Sort -4, t, z.
z, -4, t
Let c(j) = j**3 - 4*j**2 + 3*j. Let r be c(3). Let t(m) = -m**2 - 12*m - 9. Let f be t(-11). Sort r, f, -4 in ascending order.
-4, r, f
Suppose 5 = -0*o + o. Suppose d - 15 = -2*d. Let y be ((-6)/d)/((-8)/20). Sort y, o, -4 in descending order.
o, y, -4
Let v be 4*69/48 - 3/4. Let d be ((-3)/(-2))/((-1)/2). Put d, v, 0 in decreasing order.
v, 0, d
Let v be (-2)/(-4) - 73/2. Let j = -16 - v. Suppose j = 3*k + 2*k. Sort 3, k, 1 in descending order.
k, 3, 1
Let q = -0.4 + -2.6. Let b = 4 - 4. Let c = b + -5. Sort c, 1, q.
c, q, 1
Let u be 8/6*(-6)/(-4). Suppose -2 + 10 = -u*a. Sort 1, a, 2 in descending order.
2, 1, a
Suppose -5*j = -4*j - 4. Put j, 5, -2 in ascending order.
-2, j, 5
Suppose -3*q + 7 - 1 = 0. Let r = -1 + 3. Let x = 7 - r. Sort q, -5, x.
-5, q, x
Let u = 42 - 379/9. Put -3, u, -0.2 in descending order.
u, -0.2, -3
Let t(l) = l**3 + 12*l**2 - 12*l + 8. Let s be t(-13). Suppose 0 = 4*v - 3*i + 5, 2*v + i = -2*v + 7. Sort s, -3, v in decreasing order.
v, -3, s
Let t = 10.3 + -12. Let d = -2 - t. Put d, 1/5, 4/5 in ascending order.
d, 1/5, 4/5
Let a be (-8)/28 - 32/(-63). Sort 4, 0.2, a in descending order.
4, a, 0.2
Let h be -2 + 4 + 2 + 4/(-4). Sort h, 2, 0 in ascending order.
0, 2, h
Let t be (12/(-99))/(-1)*27/(-18). Put 0.5, -0.18, t in descending order.
0.5, -0.18, t
Let y(d) = d + 1. Let w be y(5). Let l(v) = v - 9. Let m be l(w). Put 2/3, m, 3 in descending order.
3, 2/3, m
Suppose -5*m + 4*u + 10 + 11 = 0, 12 = -3*u. Let p = -2 - -4. Sort m, p, -5 in decreasing order.
p, m, -5
Suppose -12*u + 2*u - 30 = 0. Sort -1, 1/4, -12, u.
-12, u, -1, 1/4
Let z be (-1)/((-6)/33)*2. Let x = -6 - 3. Let l = x + z. Sort -0.3, 3, l in descending order.
3, l, -0.3
Let g = 16.9 - -0.1. Sort 2, g, -1 in increasing order.
-1, 2, g
Let d(u) = u**2 - 10*u + 12. Let b be d(8). Put 0, 4, b in increasing order.
b, 0, 4
Let p = 0.15 - 5.15. Put p, -0.1, 0.2 in ascending order.
p, -0.1, 0.2
Let x be 4 - 0 - (4 + -49)/(-5). Sort 0, x, -18, -3 in ascending order.
-18, x, -3, 0
Let m be 1 + -2*(-3)/2. Suppose -41 = -5*t - 2*h - 10, 0 = -4*t - 4*h + 32. Let k = 0 + t. Sort 0, m, k in descending order.
k, m, 0
Let j = 5 + -9. Let h(c) = 4*c - 4. Let t be h(4). Let i = t - 8. Sort i, -5, j in increasing order.
-5, j, i
Let a = -43 + 42. Sort 4/23, a, -0.3.
a, -0.3, 4/23
Let g = 0 + 5. Sort -1, g, -4/7, -5.
-5, -1, -4/7, g
Let z = 32 - 97/3. Let d(t) = 2*t**3 - 5*t - 6. Let l be d(-5). Let k = -2539/11 - l. Put k, z, 1/4 in decreasing order.
1/4, k, z
Let p(o) = o + 31. Let m be p(-25). Sort 2, 0, m in increasing order.
0, 2, m
Let d(g) = -g**3 + 9*g**2 - 7*g - 6. Let k be d(8). Let l be (k/1)/(2 + -5). Sort -2/5, 4, l in decreasing order.
4, -2/5, l
Suppose -k = 3*k - 3*z - 20, -3*k + 5*z = -26. Suppose -k*c = 2*c - 8. Suppose 6*j + 31 = j - 2*a, 3*j = 5*a. Sort c, 5, j in decreasing order.
5, c, j
Let q = -59 + 64. Sort -4, 1, q, 8 in descending order.
8, q, 1, -4
Suppose 2*l = 3*h - 17, -3*h + 14 = -5*l - 15. Sort 1, -3, l.
l, -3, 1
Let i = -0.45 - -0.41. Sort 0.4, i, 5 in increasing order.
i, 0.4, 5
Let u be (-9 + 6)/(0 + -1). Let c = 11 + -15. Let d be 2*-1 - (-1 - c). Sort u, d, 4 in increasing order.
d, 