7*k**2 + 5. Let q be s(6). Sort q, -2, 4 in increasing order.
-2, q, 4
Suppose -v + 12 = -4*v. Let n be (-2)/5 + v/(-10). Sort 1, n, -5 in decreasing order.
1, n, -5
Let l = 5.2 + -5. Let c = 1 - 2. Let b be 6/8*1/(-3). Put l, b, c in descending order.
l, b, c
Let m(q) = 3*q**2 + 2*q - 1. Let h be m(1). Suppose 9 = -h*u - 11. Let v = 3 + 1. Sort -3, v, u in ascending order.
u, -3, v
Let z be (-1686)/(-34)*(-2)/72. Let i = 3/68 + z. Sort 1, 0.1, i in ascending order.
i, 0.1, 1
Let w(k) = -k**3 + 4*k**2 + 4*k - 1. Let m be w(3). Let s = 5 - 1. Suppose s*r = 2*f - 3*f - 25, 0 = -5*r + f - m. Put -3, 2, r in increasing order.
r, -3, 2
Let i(a) = -10*a - 2. Let n be i(2). Let v = n - -43/2. Sort 3/2, v, -3 in decreasing order.
3/2, v, -3
Let w(t) = -5*t - 3. Let z be w(-2). Put 4, z, 0 in ascending order.
0, 4, z
Let h(v) = v**3 - 2*v**2 - 3*v + 3. Let y be h(3). Suppose 0*r = -x - 2*r + 10, 4*r = 16. Let c(q) = q + 6. Let p be c(-5). Put x, p, y in descending order.
y, x, p
Let p = 0.5 + -0.3. Let v = 0.2 - p. Let c(x) = 2*x - 2. Let h be c(2). Put v, -5, h in descending order.
h, v, -5
Let j = 118 + -123. Put -22, j, 4 in decreasing order.
4, j, -22
Suppose 4*q = 7*q + 3. Put 5, q, -5 in descending order.
5, q, -5
Let p = 0 - 1. Let h(u) = u**3 + 6*u**2 - 8*u - 4. Let j be h(-7). Suppose -j*g = 1 + 8. Put 5, g, p in descending order.
5, p, g
Suppose 0*m - 7*m = 28. Put 24, m, 0.2 in ascending order.
m, 0.2, 24
Suppose 4*w + 3 = -5. Suppose g - 7 = -2. Sort g, w, 2.
w, 2, g
Let n = 2 - 2. Let c be (12/15 - n)/2. Let f = 155 - 1081/7. Sort f, -2, c in descending order.
f, c, -2
Let v be 15/(-20) + -1 + 2. Put 1, v, -0.6 in decreasing order.
1, v, -0.6
Let b = 1.7 + -1.06. Let p = 0.14 - b. Sort 3, p, -0.1 in descending order.
3, -0.1, p
Suppose 5*w - 15 = 35. Let b = 14 - w. Sort b, -5, 5.
-5, b, 5
Suppose -4*f + 3*f - 8 = 0. Let y be (0 - 3)*8/f. Sort -4, y, 7 in ascending order.
-4, y, 7
Let s(r) = r**2 - r + 11. Let d(m) = -m - 1. Let v be d(-1). Let k be s(v). Suppose 0 = 3*l - k - 4. Sort -2, l, 2/5 in ascending order.
-2, 2/5, l
Suppose 6*i - i - 45 = 0. Let u = i + -11. Sort -3, u, 3/2 in increasing order.
-3, u, 3/2
Let c be 161/(-5) + (-20)/25. Sort -4, 4, c in decreasing order.
4, -4, c
Let j = 9 + -9. Let f = -2 - j. Let r = f + 6. Put -0.5, -5/2, r in ascending order.
-5/2, -0.5, r
Let v(b) = -4*b - 1. Let y be v(-1). Let t be 1/y*(-6)/14. Sort 3, 2/13, t in ascending order.
t, 2/13, 3
Let t be (0 + -25)/((-4)/4). Suppose q - t = -5*h, 3*q - 17 = -2. Put h, 5, -1 in decreasing order.
5, h, -1
Let u be -2*(-1 - (-6)/4). Let w = -1 + 1.1. Let q = -5 + 5.4. Sort u, q, w in ascending order.
u, w, q
Let c be (-8 + 7)*10/(-2). Suppose z - 5 = -4*z. Sort z, -3, c in descending order.
c, z, -3
Let n = 0.9 - 0.6. Let v = -7 + 22/3. Put n, -2, v in decreasing order.
v, n, -2
Let p = -5 + 2. Let d = 3.96 - -0.04. Sort 3/7, p, d in decreasing order.
d, 3/7, p
Suppose -8 = -d + 5*d. Let q(w) = w**2 - w - 1. Let c be q(d). Suppose 0*r + 10 = -5*r. Put r, c, 0 in descending order.
c, 0, r
Suppose -4*o = -o - 3. Put -2, -0.4, -0.1, o in descending order.
o, -0.1, -0.4, -2
Let p = 2 + -1.9. Let b = 0.17 - 0.57. Sort b, 2/3, p.
b, p, 2/3
Let t(h) = -h**2 + 10*h - 5. Let o be t(10). Sort 4, o, 5 in increasing order.
o, 4, 5
Let y be ((-2)/6)/(1/(60/(-25))). Put -1/23, 0.5, -0.3, y in descending order.
y, 0.5, -1/23, -0.3
Let s = 11 - 15. Let z = 0 - 4. Let j = -6 - z. Sort s, 0.5, j in increasing order.
s, j, 0.5
Let r be (1 + (-1)/4 - 0)*1. Put -2, 5, 0.4, r in descending order.
5, r, 0.4, -2
Let s = 198.5 - 199. Sort -1, s, 8 in increasing order.
-1, s, 8
Let t be -4 - 0/(-1) - 2. Let x be 1 + (3 - 11 - -3). Sort x, 5, t in decreasing order.
5, x, t
Let u(d) = -d**2 - 2*d. Let s be u(-3). Let w be 4/(-14) + (-110)/154. Sort -2/9, w, s in descending order.
-2/9, w, s
Let r = -1 + 7. Let q = 0 + 7. Let n = q - r. Sort -2, 3, n.
-2, n, 3
Let k(s) = -s**3 - 11*s**2 - s - 13. Let b be k(-11). Sort b, 1, -3, 11.
-3, b, 1, 11
Suppose 3*t = -2*i + 3 + 1, 0 = 4*t + i - 7. Suppose y - 2*r = 15, t*y = -2*y - r + 15. Put y, -4, -5 in decreasing order.
y, -4, -5
Suppose -b = -3*b + 2. Let g be ((-10)/(-6))/(b/(-3)). Suppose -5 = -v - 1. Sort 2, v, g.
g, 2, v
Let f be 2/(-12) + 205/(-30). Sort -5, f, -4 in decreasing order.
-4, -5, f
Let x = 1 + -2. Let v = x + 0. Suppose 5*s = z - 8, -15 = 5*z + 3*s + 1. Sort v, z, 1 in decreasing order.
1, v, z
Let o(z) = z + 7. Let u be o(-6). Suppose -3*t + 0*t - 4*k - 8 = 0, 5 = -t + k. Let i be 2/(-2 - (-10)/4). Put t, u, i in ascending order.
t, u, i
Let u(d) = -d - 4. Let i = 10 - 15. Let a be u(i). Let x be 1*3/(a + -4). Sort -2, x, 4 in descending order.
4, x, -2
Let h = -19 - -19.2. Put 2, h, 1 in ascending order.
h, 1, 2
Let s = 34.5 - 30.5. Let w = -0.9 + -0.1. Put w, 1, s in descending order.
s, 1, w
Let o(p) = p**2 + 7*p + 5. Let y be o(-6). Sort -2, y, -13 in increasing order.
-13, -2, y
Let a be -2*((-3)/6 + (-2 - -2)). Put 2/11, a, -0.3, -1/7 in decreasing order.
a, 2/11, -1/7, -0.3
Let b = 0.04 - -5.96. Let w = -10 + b. Suppose -6 = -4*h + 14. Sort 1/10, h, w in descending order.
h, 1/10, w
Suppose -r - 12 = q, -2*q - 78 + 21 = 5*r. Sort -1, -3, r in descending order.
-1, -3, r
Let w be (1/(-2))/(3/9). Let s = w - -2. Sort 1/4, 0.02, s in descending order.
s, 1/4, 0.02
Let l be ((-30)/9)/((-2)/3). Suppose -3*x - 4 = x - 5*w, -3*w = -12. Put 1, x, l in increasing order.
1, x, l
Let s = 4.88 - -0.12. Let g = 0.7 + -5.7. Sort -3, g, s in increasing order.
g, -3, s
Let c = 8 - 10. Let r be (-3)/12*(-1)/c. Put r, -2/17, -0.07 in descending order.
-0.07, -2/17, r
Suppose -i - 4*d = -3*i - 18, -5*d = 5*i - 15. Let q be 3*(1 - 8/(-12)). Suppose 0*k - k + q = 0. Sort k, -4, i.
-4, i, k
Let y(f) = 4*f + 2*f - 5*f. Let v be y(1). Sort -4, -5, v in descending order.
v, -4, -5
Let h = -8 + 13. Let i = 7 - h. Put 4, i, -4/5 in ascending order.
-4/5, i, 4
Let w be 1 - ((-18)/15 - -3). Sort -5, w, 0.5.
-5, w, 0.5
Let t = -114.6 + 114. Put 2/9, t, -5 in descending order.
2/9, t, -5
Let c(a) = -2*a + 27. Let i be c(13). Sort -1, 4, i.
-1, i, 4
Let v(p) = -p**3 - 5*p**2 + 6*p + 5. Let k be v(-6). Let l = -0.9 - -4.9. Let u = l - 9. Sort u, -0.4, k.
u, -0.4, k
Suppose -4*y + 0 + 8 = 0. Let r(t) = t**3 - 2*t**2 + t + 4. Let w be r(3). Let h = w + -11. Sort 0, y, h in descending order.
h, y, 0
Let l = 11 - 3. Suppose -m = -3*m + 3*o + 1, 4*o = 4*m - l. Suppose -5*j - m*f - 30 = 0, -5*j - 18 = 3*f - 2*f. Sort -0.3, 0.3, j in descending order.
0.3, -0.3, j
Let t = 3/2 - 13/10. Put t, 0.5, 2/9 in increasing order.
t, 2/9, 0.5
Let l = 16.5 + -16. Let v = 1 + -2. Let d = v + l. Put d, 3, -0.3 in decreasing order.
3, -0.3, d
Let o be 64/(-12) + (-2)/(-6). Sort -4, 4, o in descending order.
4, -4, o
Let y be (-2)/(-8) + (-21)/(-12). Suppose -y*u + 8 = g, 5 = g + u - 1. Sort -5, 2, g in decreasing order.
g, 2, -5
Let m = -16.2 - -6.8. Let z = m + 9. Put 2, z, -1/5 in decreasing order.
2, -1/5, z
Let v = -0.03 + -1.97. Suppose -9 = -b + 3*c, 2*b - 2*c = -b + 6. Let w be (-1 - b) + 7/4. Put 1/2, v, w in descending order.
w, 1/2, v
Let v = 70 + -33. Let h be 22/(-20)*(1 + -35). Let x = h - v. Put 0.3, -4, x in increasing order.
-4, 0.3, x
Let q = 3 + -3.6. Let p = 12 + -13.1. Let i = p - q. Sort 2/7, -0.1, i.
i, -0.1, 2/7
Suppose 28 - 32 = -2*r. Put 0, r, -4, 3 in descending order.
3, r, 0, -4
Let s be (-7)/28 - 22/(-24). Sort -2/13, 3, s in descending order.
3, s, -2/13
Suppose -3 + 1 = -2*j. Let s be -6*3/9*j. Let y = -12 - -9. Sort s, -5, y in descending order.
s, y, -5
Let l(c) = 2*c + 6. Let t be l(-5). Sort -10, 4, t in ascending order.
-10, t, 4
Let s(y) = y**2 + y - 11. Let h be s(2). Put 2, 5, h, 1 in decreasing order.
5, 2, 1, h
Let q = -68.4 + 109.3. Let y = q - 44.97. Let p = -0.07 - y. Put 1/2, 3, p in increasing order.
1/2, 3, p
Let g = 95.9 - 96. Sort -2, 0.1, g.
-2, g, 0.1
Suppose -5*l - 2*h + 609 = 153, 255 = 3*l - 5*h. Let x = l - 992/11. Let j = 10/33 - -4/11. Put 2/5, x, j in decreasing order.
j, 2/5, x
Suppose -3 = 5*j - 18. Let f be (-2)/4*(j + -11). Sort 1, -0.4, f in ascending order.
-0.4, 1, f
Let t = -7 - -11. Sort t, -10, -2 in increasing order.
-10, -2, t
Let i be -3*(10/(-3) - -4). Let u be i - ((3 - 4) + -2). Let