ppose 2*t = 4*t + 12. Let x(q) = q + 8. Let p be x(t). Put -4, w, p in increasing order.
-4, p, w
Let d(z) = z**3 + 3*z**2 + 4*z + 3. Let s be d(-2). Suppose 0 = -5*q + 24 + 11. Let m = 2 - q. Put s, m, 1 in increasing order.
m, s, 1
Suppose 2*y - f - 376 = -2*y, -5*y = -3*f - 477. Let w = 1579/17 - y. Put 4, w, 1 in increasing order.
w, 1, 4
Let o = -10 + 10. Let p = -4 + -3. Put p, 1, o in ascending order.
p, o, 1
Suppose 25 = 4*m + 5*a, -2*m - 2*m - 2*a = -22. Let j be ((-8)/6)/(4/(-6)). Let g be (-16)/(-4)*(-1)/j. Sort g, -1, m in decreasing order.
m, -1, g
Let j = -153 + 151. Put -5, -15, j, 5 in increasing order.
-15, -5, j, 5
Suppose 0 = 2*j - 7*j. Sort 1/2, j, -5.
-5, j, 1/2
Let n(q) = q**3 + 3*q**2 + q - 1. Let d be n(-3). Let x be -1*(1/5 + (-32)/10). Put 1, x, d in decreasing order.
x, 1, d
Let r be (-40)/342 + (-2)/19. Let g be 4/6 + 20/6. Put -0.1, g, r in descending order.
g, -0.1, r
Let j(a) = a + 2. Let r be j(-6). Let n(f) = -f - 5. Let w be n(r). Put 5, 4, w in decreasing order.
5, 4, w
Let f be 0*(0/(-1) + 1). Suppose 0 = -s + 1 - f. Sort 5, -1, s.
-1, s, 5
Let j = -11.1 - -11. Sort j, -5, -1/6 in decreasing order.
j, -1/6, -5
Let d = -12965 - -1179796/91. Let q = -1/13 + d. Put -1, -1/9, q in increasing order.
-1, q, -1/9
Let f be (-5)/(-2) - 6/(-4). Suppose -3*i - 14 = -f*y, -y = -2*i - 4*y + 19. Let z(a) = -2*a + 2. Let q be z(i). Sort q, -5, -3 in decreasing order.
q, -3, -5
Let g = -1.1 + 1. Let m = -11 + 12. Sort 2/3, g, m.
g, 2/3, m
Suppose 25 = 5*w - 4*c, 5 = -c - 0. Suppose -j = -5*p - w, 5*j - 5 = -6*p + 2*p. Suppose -5*m + 3 + 17 = 0. Sort m, j, 3 in descending order.
m, 3, j
Suppose -16 = 3*n + n. Let a = -6 + 10. Put n, -3, a in ascending order.
n, -3, a
Let v = 8.4 + -8.3. Put 0.2, 6/7, v in decreasing order.
6/7, 0.2, v
Suppose -u = l + 1, -2*u - 4 = -4*u - 4*l. Put 3, u, -8 in increasing order.
-8, u, 3
Let z be 3/(-15) + 21/(-35)*-1. Let c = -3 - -3.1. Put z, -5, c in increasing order.
-5, c, z
Suppose -2*q = -4*m + 14, -24 = -4*q + m - 6*m. Sort q, 3, -11 in decreasing order.
3, q, -11
Let g = 36 - 40. Sort 0, g, 3 in descending order.
3, 0, g
Suppose 4*g = 3*g - 13. Let i = 8 + g. Sort 2, i, -4 in descending order.
2, -4, i
Let q be (8 - 5)*2/3. Sort -2/23, q, -1.
-1, -2/23, q
Let o = 14 + -9. Let m(b) = -b**3 + 11*b**2 + 12*b - 133. Let g be m(11). Put g, o, 0 in decreasing order.
o, 0, g
Let s be ((-2)/(-6))/((-1)/(-6)). Let k(h) = h**2 - h - 1. Let q be k(3). Let m = 5 - q. Put m, -5, s in ascending order.
-5, m, s
Let n = 16.38 + -0.38. Let z = 15 - n. Put 1/8, z, -4 in increasing order.
-4, z, 1/8
Let r(k) be the first derivative of -k**4/4 + 13*k**3/3 - k**2/2 + 11*k - 5. Let l be r(13). Sort -4, -5, l in ascending order.
-5, -4, l
Let u(s) = s**3 + 5*s**2 - 2*s - 2. Let w be u(-3). Let m = 153/7 - w. Put 1/2, 0.1, m in decreasing order.
1/2, 0.1, m
Let j be -6*2/60*-2. Suppose -3*y - 4*z - 16 = 0, -14 = 2*y - z + 2*z. Let s = 6 + y. Sort s, 0, j in descending order.
j, 0, s
Let y(h) = h + 9. Let s be y(-4). Sort 3, 4, s in ascending order.
3, 4, s
Let f be (-2)/3*(7 + -4). Sort f, 0, -5 in increasing order.
-5, f, 0
Suppose x + 4*w - 5 = 0, x - 2*w + 13 = -2*x. Let k = 2 + 2. Let q be 91/28 - x/k. Sort -6, 2, q in increasing order.
-6, 2, q
Suppose 2*a = a. Suppose a = 4*f + 1 + 11. Let c be f/2*6/9. Put -5, 5, c in decreasing order.
5, c, -5
Let a = -1.2 + 1. Let h = -0.04 + 0.06. Let d = h - 2.02. Put a, 1, d in decreasing order.
1, a, d
Let g = -0.9 - -0.82. Let x = g - -2.08. Let i = x - 2.5. Sort -1/5, i, -2 in increasing order.
-2, i, -1/5
Suppose 5*t - 90 = -13*t. Let l be 4/5*(-10)/(-4). Put l, 1/4, t in descending order.
t, l, 1/4
Let s(z) = -z**3 - 17*z**2 - 32*z - 35. Let r be s(-15). Sort 1, -3, 3, r.
r, -3, 1, 3
Let h = -1/2 - -5/6. Sort h, -1, -2 in descending order.
h, -1, -2
Let w be 3 - -6 - (-1 + 1). Suppose -w + 3 = 2*u - 4*l, 3*l + 8 = -u. Let k be 3/(-6) - (-3)/(-6). Sort 2, k, u in descending order.
2, k, u
Let y = -2 - 6. Let n = 6 + y. Suppose -3*k - 40 = 5*i + 2*k, 0 = 4*i - 5*k - 4. Sort 2, n, i in decreasing order.
2, n, i
Suppose -4*l - 132 = -4*r, -6*r + 12 = -3*r. Put l, 5, 3 in decreasing order.
5, 3, l
Let k = 112 - 112. Sort 2, k, -16, -2 in descending order.
2, k, -2, -16
Let l = -22 - -20. Sort 0.1, 1/3, l.
l, 0.1, 1/3
Suppose -3*c = 5 - 11. Suppose c*w + 7 = -b, -2*w + 5 = -3*w - b. Put 0, -3, w in decreasing order.
0, w, -3
Suppose -4*v + 36 = 4*x, 5*v + 3*x - 6 - 31 = 0. Sort 4, v, -1 in descending order.
v, 4, -1
Let z(h) = 0 + 2*h + 1 + 6 - 4. Let u be z(-3). Let q be 26/8 - (-3)/(-12). Put q, -4, u in increasing order.
-4, u, q
Let p be (-32)/63 + 4/18. Let j = 3.957 + 0.043. Suppose -3*v + 4*c + 9 = 0, -v - 12 = 2*v + 3*c. Sort j, p, v.
v, p, j
Let l = 73 - 73.12. Put l, -0.1, -2/11, 1 in ascending order.
-2/11, l, -0.1, 1
Let a be ((-1 - -3)*-1)/19. Put 1, -5, a, -2/9 in decreasing order.
1, a, -2/9, -5
Suppose -2 - 6 = 2*u. Put u, 5, 4 in descending order.
5, 4, u
Let d be 6 + (0 - (3 - 1)). Let c be 1 + -4 - 35/(-7). Let x = 2 + -1. Sort x, c, d in decreasing order.
d, c, x
Let r be (-2)/30*(-654)/266. Let b = r - 2/95. Sort 0.2, -0.5, b in decreasing order.
0.2, b, -0.5
Suppose 2*c + 5 = 5*x, -2*x + 3*c = -c + 14. Let m = -124 + 124.5. Let p = 1/60 + 11/15. Put m, p, x in ascending order.
m, p, x
Let z = -307/4 - -75. Put 0.4, z, 0.2 in descending order.
0.4, 0.2, z
Suppose -37 = -2*l + 3. Suppose -4*a + 0*i + 2*i + l = 0, 2*i = -a. Suppose a*u = v - 13, 3*v + 0*u + 4*u = -9. Sort 0.4, v, 2/13 in descending order.
v, 0.4, 2/13
Let j(m) = -3*m**3 - m**3 - 1 + 3*m**3 - 3*m - 4*m**2. Let d be j(-2). Let y = 2 - 2. Put -5, y, d in decreasing order.
y, d, -5
Let g = -44 + 39. Let f be 0/2 - (1 + -2). Sort g, f, 0 in ascending order.
g, 0, f
Let k = 0.47 - -0.03. Let g = 0.5 - 0.1. Put g, -0.3, k in decreasing order.
k, g, -0.3
Let j = 15 - 20. Sort 0, -11, -2, j in decreasing order.
0, -2, j, -11
Let j = 257 + -3343/13. Let m be (-1)/(-4) + 4*3/(-8). Sort -3, j, m.
-3, m, j
Let q be 7 - 2 - 2 - 6. Let k be q*(16/(-6) + 2). Sort -3/7, k, -4 in decreasing order.
k, -3/7, -4
Let o = 0.2 + -0.3. Let d = -357 + 357.2. Put -1, d, o in descending order.
d, o, -1
Let u = -8 - -7.5. Let c = u - 1.5. Let z = -0.08 - -2.08. Sort c, 0.1, z in decreasing order.
z, 0.1, c
Let o = 1 - -2. Suppose 3 = -o*z - 3, 3*z = -5*c - 11. Suppose 2*n - 4*n - 10 = 0. Put n, c, 3 in increasing order.
n, c, 3
Let h be ((-32)/40 - (-2)/(-10))*-1. Sort h, 4, -2, 7.
-2, h, 4, 7
Suppose 3*a = -5*q, -4*a = -9*a + 3*q - 34. Put a, 4, 1 in descending order.
4, 1, a
Let z be -2 - (3 + (-52)/8). Put z, 4, -0.15 in decreasing order.
4, z, -0.15
Suppose -5*a - 20 = 5*r, -9 = 3*r - 2*r + 2*a. Let h = -119.8 + 123.8. Let w = -1 - -5/3. Sort w, r, h in decreasing order.
h, r, w
Let f(p) = -19*p - 1. Let g be f(-1). Suppose -n + 6 = -0*q - q, -n - g = 5*q. Suppose -6 = 2*a - 8. Put -1, a, q in decreasing order.
a, -1, q
Let j be 21/(-6) - 27/18. Sort -1, 2, j, -2 in decreasing order.
2, -1, -2, j
Let a(b) = -4*b**2 - 4*b - 1. Let w be a(-5). Let z be w/(-12) - 4 - 4. Sort z, 5/2, 1/4 in decreasing order.
5/2, 1/4, z
Suppose -g - 2*m + 11 = 0, -4*g + 14 = -4*m + 6. Put 0, g, 3 in descending order.
g, 3, 0
Suppose -6 = -5*y + 2*y. Suppose y = 4*l - 10. Suppose -3 - l = -3*t. Put t, -5, -2 in descending order.
t, -2, -5
Let v = -7 - -9. Suppose 4*f + 21 = 3*b, -9 + 3 = -2*b. Sort f, 1, v.
f, 1, v
Let i be (-3)/6 - 10/4. Suppose -2*z + 3*z - 1 = 0. Sort i, z, 2 in increasing order.
i, z, 2
Suppose -d - 6*d - 21 = 0. Put -10, d, 0 in decreasing order.
0, d, -10
Let g(n) = 5 + 8 - 6 + n. Let d be g(-9). Let l be 1/4 - (-1)/(-4). Put l, 2, d in increasing order.
d, l, 2
Let p be 14/21 - 8/(-6). Put 4, p, 0 in increasing order.
0, p, 4
Suppose -4*g = -k - 7 - 7, 2*k + 1 = -g. Let i = -8 + 7. Let c be 8/(-12)*i/k. Sort 0.3, c, 0.4.
c, 0.3, 0.4
Let a = -1.06 + 0.16. Let d = -1 - a. Let f be ((-10)/(-225))/((-1)/(-3)). Sort f, d, 1 in increasing order.
d, f, 1
Let s = 0.12 - 5.12. Let q = 35.1 + -35. Sort q, 3, s in descending order.
3, q, s
Suppose 5*k + 6 = 31. Let a(x) = -x**2 + 8*x + 3. Let c be a(8). Suppose s + 19 = -z - 2*z, -5*s + c*z = k. Sort s, -3, 1.
s, -3, 1
Suppose -2*f - 10 = -2*s, 5*f - 5*s = 