4 - 11. Put l, s, y in decreasing order.
l, y, s
Let i be -1*(18/(-2))/1. Put i, 5, -2 in decreasing order.
i, 5, -2
Suppose 0 = 3*p + g - 1, -4*g = -4*p + 8*p - 4. Suppose -u - 3*h - 2*h + 19 = 0, 9 = -u + 2*h. Let c = u - 4. Sort -3, c, p in decreasing order.
p, -3, c
Let q be (-34)/(-10) - 4/10. Let v(u) = u**3 + 6*u**2 + 4*u - 6. Let h be v(-5). Let m be 1/(((-3)/12)/h). Put m, q, 1 in increasing order.
1, q, m
Let d = -47 + 28. Let y = -14 - d. Put 0, 4, y in increasing order.
0, 4, y
Suppose -4*a - 14 = 6. Put -3, a, 2 in decreasing order.
2, -3, a
Let j(s) = 4*s - 27. Let w be j(11). Let r = 12 - w. Sort -4, 5, r.
r, -4, 5
Let a = -4 + 5. Let s = 0.4 - 0.1. Put 0.5, s, a in ascending order.
s, 0.5, a
Let f = -8 - -3. Let u be 2/(0 - -2)*2. Let y be -4 + u - (-24)/11. Put y, -0.2, f in decreasing order.
y, -0.2, f
Let l be 2/(-12) - (-68)/(-24). Sort 5, l, 0 in descending order.
5, 0, l
Suppose -15 = -5*f + 5*a, 5*f + 3*a + 0 - 15 = 0. Put -2, 1/2, f, -4 in descending order.
f, 1/2, -2, -4
Suppose -3*i - 2*i = 0. Suppose -2*p + 0*p = i. Suppose 0 = 11*j - 5*j + 18. Sort j, p, 3 in decreasing order.
3, p, j
Let m = 4.4 - 4. Let p = -27 + 190/7. Sort m, 2, p.
p, m, 2
Let i = -5 + 7. Suppose 2*t + 3*p = -i*t + 6, 4*t - 4*p - 20 = 0. Suppose 0 = 2*l - t*l - 2. Sort -4, 4, l in descending order.
4, l, -4
Let t = 24 - 25. Sort 0, t, 1 in decreasing order.
1, 0, t
Suppose -4*o = 4*f + 20, 2*f = 3 - 7. Let p(w) = w**2 + 3*w - 2. Let q be p(-4). Put o, -1, q in increasing order.
o, -1, q
Let q = -0.5 - -0.5. Put -1/6, q, -1/2 in decreasing order.
q, -1/6, -1/2
Let a = -8 + 6. Let l(u) = -u**2 - 3*u + 2. Let p be l(a). Suppose h - 4*q = 1, 5*q + 1 = -4. Sort 3, h, p.
h, 3, p
Suppose -4*y - 9 = -2*u + 7, 0 = -2*y - 8. Let r(i) = -i - 1. Let b be r(u). Sort b, -2, 4 in descending order.
4, b, -2
Let y = -6 - -11. Let w = y + -3. Put -0.2, w, 3/5 in ascending order.
-0.2, 3/5, w
Let c = -97 - -95. Sort c, -0.3, -1/6 in ascending order.
c, -0.3, -1/6
Let j(l) = -6*l. Let h be j(3). Let n be (-22)/h + (-6)/27. Let y be 0 - (n - (1 + -1)). Put y, 4, -2 in decreasing order.
4, y, -2
Suppose 3 = 3*y - 2*y. Suppose 0 = -4*v + 7*v + y*i - 12, v = 5*i - 14. Sort -3, v, -1 in decreasing order.
v, -1, -3
Let k = -87 + 83. Sort -2/9, k, 0.1 in descending order.
0.1, -2/9, k
Suppose -l + 4 = -2*l - 3*g, -5*g = -5*l + 20. Suppose 3*c - l = -8. Sort 0, -1, c.
c, -1, 0
Let z = 64 - 131/2. Suppose 0*i = -4*i + 40. Suppose 5 = 3*m - i. Put 0.3, m, z in descending order.
m, 0.3, z
Suppose -4*a + 2*s = -12, 2*a - 8 = s + s. Suppose -4*w + 10 = a. Suppose -11*y - 20 = 2. Sort y, -4, w.
-4, y, w
Let t(v) = 2*v - 4. Let g be t(3). Let n be (-51)/(-12) + g/(-8). Put n, -2, 1 in descending order.
n, 1, -2
Let l = -74 - -66. Put 3, l, -5 in increasing order.
l, -5, 3
Let q be 4/1 - 32/8. Suppose -8*g + q*g = -40. Let a = -3 + -3. Sort 2/11, g, a in descending order.
g, 2/11, a
Let v = 0 + 7. Let y = 5 - v. Sort -4, 5, y.
-4, y, 5
Suppose 2*f - 2 = f. Suppose -5*q + 25 = -5*n, 2*n - 15 = -3*q - 0*n. Suppose 0 = q*j - 2*a, a + f + 5 = -j. Put 0.2, j, -3 in decreasing order.
0.2, j, -3
Suppose 5*d + 0*d - 12 = -3*h, -2*d = -3*h + 12. Let c(w) = w**2 - 10*w - 11. Let q be c(12). Let m = q + -15. Sort -1, h, m in ascending order.
m, -1, h
Let i be 24/(-135) + 2/5. Let b = 24.2 + -22. Let r = b + -0.2. Put i, r, -2/13 in increasing order.
-2/13, i, r
Let x = -46 - -47. Let h(g) = g**3 - g**2 + g. Let v(a) = -5*a**3 - a**2 - 4*a + 2. Let f(t) = 4*h(t) + v(t). Let n be f(-5). Sort 5, x, n.
x, n, 5
Let m = 7 + -11. Let y be (-1 - -2)*-1*m. Suppose -y*p = -5*p - 5. Put p, 5, 2 in decreasing order.
5, 2, p
Let v = -2 - -6. Sort v, 3/2, 2 in decreasing order.
v, 2, 3/2
Let p = -26.9 + 28. Let d = -5.1 + p. Let r = 0 - -0.3. Sort 3, d, r in increasing order.
d, r, 3
Suppose 4*z = f + 9, 5*z - 3 = 2*f + 6. Suppose x - 2*h = -f*x + 16, -5*h - 16 = -4*x. Put -4, x, 3 in descending order.
x, 3, -4
Let n be ((-20)/(-6))/((-2)/3). Suppose 5*d + 6 = -4*y, 2*y + 3*d + 4 = -0. Let j = 2 + -3. Sort j, n, y.
n, j, y
Let x be (0 + 5)/1 + 0. Suppose i + 4*d + 27 = 4*i, -x*i + 37 = -4*d. Sort -4, i, 0 in decreasing order.
i, 0, -4
Let f(t) = -t**3 - 15*t**2 + t + 11. Let z be f(-15). Put 2/5, z, -2/17 in decreasing order.
2/5, -2/17, z
Suppose 2 = -v, -8 = 5*r + 5*v - v. Let f = 4 + r. Sort -0.2, -5, f in decreasing order.
f, -0.2, -5
Let c = -4.66 - 0.14. Let i = -1.8 - c. Put i, 4, 2 in increasing order.
2, i, 4
Let j = 7.6 - 8. Put j, -2, 5 in increasing order.
-2, j, 5
Let i(b) = -b**3 + 11*b**2 + 13*b - 6. Let p be i(12). Let l(g) = 2*g - 14. Let t be l(p). Let w = 5 - 1. Sort t, 0, w in increasing order.
t, 0, w
Let r = 3 + -4. Let a = r + 3. Suppose -3*j + 37 - 25 = 0. Sort j, -3, a in decreasing order.
j, a, -3
Let v be ((-1614)/(-24))/(5/(-4)). Let r = v - -54. Put 1, r, 3 in decreasing order.
3, 1, r
Let y be 1 - (-2)/((-2)/(-3)). Let u be (4/(1 - 3))/1. Let n be u/(-2) - y/8. Sort -3/2, -2/5, n in ascending order.
-3/2, -2/5, n
Let r be (-82)/152 - (-1)/1. Let v = 4146/19 - 218. Let o = r - v. Put o, -1/2, 2 in descending order.
2, o, -1/2
Suppose 0 = -2*c - 5*p - 20, 0 = 4*c + c - 4*p + 17. Let d(k) = -k**2 - 6*k. Let x be d(c). Suppose 0*s + 4*s = 12. Sort s, 1, x in descending order.
x, s, 1
Let g = 169 + -170. Sort 0.1, 0.3, g in decreasing order.
0.3, 0.1, g
Let a = 3.8 + -4. Let i = 6 + -7. Let l = -1.4 + 1. Sort i, a, l in ascending order.
i, l, a
Let o be (-6)/4 - 1/2. Let m be (2/o)/(2/(-8)). Let z = 2039/13 - 157. Sort -3/5, m, z in descending order.
m, z, -3/5
Let s = -61 + 56. Let u = -0.5 - -0.9. Sort u, 0, s.
s, 0, u
Suppose -7 = -2*i - 1. Put 5, i, -5 in descending order.
5, i, -5
Let f be -3 + 14/(-4)*-2. Put -1, f, 1, -3 in descending order.
f, 1, -1, -3
Let i = 37 + -32. Put -0.1, i, -1/23, 0.3 in decreasing order.
i, 0.3, -1/23, -0.1
Let x = -3 - -3. Suppose j + 2 + 2 = x. Put j, -5, 4 in decreasing order.
4, j, -5
Let p(y) = y - 1. Suppose 4*l - 2*l = 3*m - 12, -3*m + l = -9. Let i be p(m). Sort -4, i, 4 in decreasing order.
4, i, -4
Suppose 4 - 1 = r. Suppose -o + 2*x + 4 = -1, 4*o + r*x + 2 = 0. Sort -1, 0, o in descending order.
o, 0, -1
Suppose 4*k + 111 = -3*f, -5*k + 0*f - 134 = -f. Let w be 6/k - (-29)/9. Put -4, -1, w in descending order.
w, -1, -4
Let l = -2 - 4. Let p be 4/6 - (-40)/l. Let d = 7 + p. Put 0, d, -1 in ascending order.
-1, 0, d
Suppose -2*g + 2 = 2*v, -3*g + g - 4 = 5*v. Sort 5, 7, 2, v in ascending order.
v, 2, 5, 7
Suppose 0 = -2*y - 0*y - 6. Let z be (-4)/(-3)*(-3)/(-1). Suppose -2*g - 6 - z = 0. Sort g, 0, y.
g, y, 0
Suppose 5 = -u + 8. Suppose 0*x = 3*x - 3*c + 18, 3 = u*c. Let m = -9 - -8. Sort x, 0, m in decreasing order.
0, m, x
Suppose -6*k - 52 = -19*k. Sort k, 43, 3 in increasing order.
3, k, 43
Let k = 23 - 27.2. Let z = 1.2 + k. Sort 0.1, 5/4, z in increasing order.
z, 0.1, 5/4
Let w = -3.5 + 0.5. Let j = 11.5 - 15. Let c = j - w. Put c, 5, -0.4 in descending order.
5, -0.4, c
Suppose -19 = -5*z + 11. Suppose -z = u - 9. Let f = -6 + 11. Put f, u, -4 in ascending order.
-4, u, f
Suppose k + 2*k + 3 = g, 2*g - 3 = 3*k. Let y = -3 + -2. Sort k, y, 5 in descending order.
5, k, y
Let y = -11 - -8. Suppose 3*z = 2*g + g, 3*z = 9. Suppose 4*b - 1 + g = -s, -2 = s. Put y, b, -5 in decreasing order.
b, y, -5
Let u = -25 + 21. Sort u, 3, -9 in descending order.
3, u, -9
Suppose -4*b + 19 = y, -b = -5*y - 5*b + 31. Suppose y*n = 5*n - 6. Suppose -c = n*c - 4. Sort 2, c, 5 in increasing order.
c, 2, 5
Suppose 10*f = 8*f + 6. Sort f, -10, -4 in decreasing order.
f, -4, -10
Let u(q) = q + 1. Let j be u(1). Let h be ((-1)/j*-4)/2. Let b = -58 - -54. Sort b, -3, h.
b, -3, h
Suppose 2*j = d - 1, d + 3*j + j = 7. Suppose 0*r = -d*r + 9. Let a be -2*((-9)/2)/9. Sort a, r, -1 in increasing order.
-1, a, r
Let p = -6 + 3. Let s = 9.7 - 12. Let g = s - -1.8. Put g, -2, p in ascending order.
p, -2, g
Let k = -10 + 10.4. Let s = 0.49 - -0.01. Put s, 3, k in increasing order.
k, s, 3
Let a(v) = -v + 5. Suppose -2*s + 8 = 4*k, -2*s = 3*k - 12 + 4. Let f be a(s). Put 4, f, -5 in ascending order.
-5, f, 4
Let d(f) = f**3 + 3*f**2 - 4. Let a be d(-3). Let u be ((-2)/a*0)/1. Put u, -4, 1 in descending order.
1, u, -4
Let n = -5 - -15. Let d be (-1)/(2*1/n). 