-4)/2 - (0 - g). Put l, 4, -1 in decreasing order.
4, -1, l
Let s = -0.07 - -4.07. Let i be (4*1/13)/2. Sort s, 3, i in ascending order.
i, 3, s
Let s = -6 - -9. Let i = 8 - s. Put i, -2/3, -2 in decreasing order.
i, -2/3, -2
Let x be ((-2)/2 + 2)/2. Let r be -2*(4 + (-81)/21). Sort r, -5, x.
-5, r, x
Let i = 3.5 - -0.5. Let z = 1 - 0.9. Sort 3, z, i in descending order.
i, 3, z
Suppose 10 = -2*d - 3*d. Let g(l) = l**2 + 4*l - 3. Let y be g(-5). Let k be ((-2)/4)/(1/y). Sort d, -4, k in decreasing order.
k, d, -4
Suppose -r + 3 = 8. Suppose -3*i = -i - 6. Sort -4, i, r in decreasing order.
i, -4, r
Let n(m) = -m - 4. Let z be n(0). Put 3, 0, z in increasing order.
z, 0, 3
Let j be (-1)/2*(1 - -1). Let u be j/(-2) + 0/(-6). Sort 0.1, u, 2/13 in descending order.
u, 2/13, 0.1
Let r = 44 + -49. Put r, 3, 7, -3 in decreasing order.
7, 3, -3, r
Let x(r) = r**3 + 1. Let g(t) = 5*t**3 + 6*t**2 - 4*t + 3. Let k(v) = -g(v) + 6*x(v). Let z be k(5). Put -5, z, 3 in decreasing order.
3, z, -5
Let b = -9 + 10. Sort -1, 0, b in descending order.
b, 0, -1
Suppose m = 4*m - 3*d - 6, 0 = 3*d. Sort -1/6, m, 0, 2/5.
-1/6, 0, 2/5, m
Let k = -13.6 - -14. Sort -3, 4, k, -0.3.
-3, -0.3, k, 4
Let m(x) = 3*x + 2. Let p be m(2). Suppose -5*t - 4*i = 11, 3*t + 2*i = i - p. Put t, -1/3, -4 in increasing order.
-4, t, -1/3
Let j = 14 + -18. Sort -1/2, j, -3 in increasing order.
j, -3, -1/2
Suppose -10*g + 13 = 3. Put -3, g, 0 in decreasing order.
g, 0, -3
Let z = 257/3 + -86. Sort -1/5, -0.02, z.
z, -1/5, -0.02
Suppose 0 = 3*l + 3*p + 6, 4*l - 8*l + 3*p - 15 = 0. Suppose 0 = -4*y - 3*a - 0*a + 7, -4*y + 22 = -2*a. Put l, y, 2 in increasing order.
l, 2, y
Let a be -2*(-2)/(-66)*3. Let i = -4.47 - 0.03. Let v = -0.5 - i. Put v, -2, a in descending order.
v, a, -2
Let f be ((-3)/(-9))/((-5)/(-30)). Let t be -2*((-1)/(-2) + 1). Sort -5, t, f.
-5, t, f
Let t = -22.4 + 20. Let k = -0.4 - t. Put k, 0, -2/3 in descending order.
k, 0, -2/3
Suppose -5*j - 22 = n, -n = 2*n - j - 14. Let x be (n/(9/15))/(-1). Put x, 5, 0 in descending order.
5, 0, x
Suppose -5*y + y = -32. Sort -3, 3, y in descending order.
y, 3, -3
Suppose -2*c = -13 + 3. Suppose -9*i + 17 = -19. Sort 0, c, i in descending order.
c, i, 0
Let r = -1/288 - 859/1440. Sort r, -1/5, -0.1.
r, -1/5, -0.1
Let u = -18 - -13. Let c be -6 + 0/(-1 + -2). Sort 5, c, u in increasing order.
c, u, 5
Let q be 4*14/2 + -3. Suppose -t - q = 4*t. Put -4, 1, t in ascending order.
t, -4, 1
Let m = 79 - 79.2. Sort -13, m, 0.4 in ascending order.
-13, m, 0.4
Let r(q) = -q + 2. Let j be r(4). Suppose 0 = -4*f - 8 + 20. Suppose 0 = u - f*u. Sort -5, j, u.
-5, j, u
Let f = -3.6 - -3. Let v = -52 + 51.6. Let l = f + v. Sort -2/5, 3/7, l.
l, -2/5, 3/7
Let h be ((-24)/(-45))/((-12)/(-10)). Let j = -25/36 + h. Suppose -5*i = -5*w - 35, 0*w - 2*w + 6 = 3*i. Sort 2, i, j in descending order.
i, 2, j
Suppose -15 - 5 = -5*v. Let d be (v/(-30))/(5/25). Put -4, -6/7, d in descending order.
d, -6/7, -4
Let y be (-2)/(-8) - (-30)/72. Put -0.1, y, -3/2 in descending order.
y, -0.1, -3/2
Suppose -5*j + 3*j - 2 = 0. Suppose 4*r - y = 2*r, 0 = -y - 2. Let v = r - j. Sort -2, 4, v.
-2, v, 4
Let o = 19 - 13. Let b = o - 1. Sort b, -3/5, 0.4.
-3/5, 0.4, b
Let v = 10 - 5. Let u = 45.5 - 45. Put -0.5, u, v in decreasing order.
v, u, -0.5
Let h be 96/15 - 4/10. Let t = -3 + h. Suppose 5*u - 24 = 3*v, v = -4*v - u - 12. Put v, t, -4 in ascending order.
-4, v, t
Let m = 259/6 + -43. Let d = 0.5 + 0.1. Let l = 4.4 + d. Put -5, l, m in ascending order.
-5, m, l
Let r = 1/9 + 2/63. Sort r, 3/5, -2/9 in descending order.
3/5, r, -2/9
Let w be ((-4)/(-3))/(1/3). Suppose -2*j - 19 = -5*s - 5*j, -15 = -3*s - 3*j. Sort w, s, -2.
-2, s, w
Let w = -4/3 - -11/6. Put 0, w, -1 in ascending order.
-1, 0, w
Suppose -3*x - 2*q = -5, q - 5 = 2*q. Let y = 7 - 7. Sort -5, x, y in decreasing order.
x, y, -5
Suppose -5*j = 4*o - 22, 2*o - 2*j + 0 = 2. Sort 7, o, -5 in ascending order.
-5, o, 7
Let s = -0.19 - -0.49. Suppose -3*p - 5*r + 12 = -r, 2*r - 6 = 4*p. Put s, p, 0.2 in descending order.
s, 0.2, p
Let r be (6/(-32))/1*4. Let f = -177 + 178. Sort 5, r, f.
r, f, 5
Suppose 3*l + 0*m - 44 = 5*m, -3*l - 4*m = -8. Suppose -10*u = -l*u - 6. Suppose 4*j + 20 = -7*f + 3*f, -j + 5*f + 25 = 0. Sort j, u, -3 in ascending order.
-3, j, u
Suppose 0 = w + 6 - 2. Sort w, 0, 7.
w, 0, 7
Let s be 8/20 - (-86)/10. Let y be -5 + (-3)/s*-3. Let m be y/(-16) + (-26)/(-24). Sort m, 2, -0.4 in descending order.
2, m, -0.4
Let p = -12.4 - -7.4. Put p, -24, 0.2 in decreasing order.
0.2, p, -24
Let p be -10*(13/5 - 3). Put p, -3, 3 in increasing order.
-3, 3, p
Suppose 5*r = 5*y + 20, -2*y = 5*r - 1 - 5. Let i be 5*((-1 - y) + 0). Put 2, -6, i in decreasing order.
i, 2, -6
Let y = 40 - 57. Let c = y + 13. Let v be 1/3 - (-2)/(-2). Put c, -5, v in decreasing order.
v, c, -5
Let a = 5.01 - 0.01. Sort -0.1, a, -0.3.
-0.3, -0.1, a
Let a(y) = -y**3 + 2*y**2 - 3*y + 3. Let b be a(2). Let n = -6 - -8. Sort b, n, 1 in increasing order.
b, 1, n
Let o be (-5)/10*(-2)/8. Sort -0.4, 0.1, o in descending order.
o, 0.1, -0.4
Let l = 0.29 - -0.11. Put l, -0.3, -11, 2/9 in ascending order.
-11, -0.3, 2/9, l
Let l(y) = -y - 1. Suppose -s + 2*n = 4*n + 15, -10 = 3*s - n. Let a be l(s). Let f = -9/8 + 71/56. Sort f, -3, a.
-3, f, a
Let u = 94 + -845/9. Let c(i) = -i**3 + 6*i**2 - 3*i - 5. Let z be c(5). Sort u, z, -2/13.
-2/13, u, z
Let w = -9 + 24. Suppose -2*b = 2*j, 2*b = 2*j - 7*j - w. Suppose -b*n - 6 = 3*l, -3*l + 2*n - 10 = 2*l. Sort -3, l, -1.
-3, l, -1
Let y(g) = 2*g - 1 - 3*g + 0. Let r be y(-3). Let o = -2 + -1. Sort o, r, -4 in descending order.
r, o, -4
Let f = 115/3 - 347/9. Let u = -1.2 + 1.5. Sort -1, u, f.
-1, f, u
Let l be 3/(-9) + (-2)/(-6). Suppose -5*m + 25 = l, 3*p - 22 = -2*m - 0. Let t be (-2)/(4/(-2))*-3. Sort t, p, -2 in descending order.
p, -2, t
Let m = 463/7 - 66. Sort m, -4, -0.5, -6 in descending order.
m, -0.5, -4, -6
Let y = 5 + -5.2. Let f = y + -3.8. Put 0.2, 1/6, f in descending order.
0.2, 1/6, f
Let r be 2/3*3/2. Let g = -3 - r. Let a be 1/(-4) - (-3)/(-4). Sort a, 0, g in descending order.
0, a, g
Let s be (36/30)/(4/(-10)). Sort -5, s, -1 in ascending order.
-5, s, -1
Let x be 2/(-5) - 34/(-10). Sort 0, 4, x, 5.
0, x, 4, 5
Let t = -12 - -12. Let k = -1 + t. Sort -3, k, -4 in decreasing order.
k, -3, -4
Suppose 3 = j + 4. Let x = j + 2. Let g be (x*(-2)/20)/(-1). Put g, -0.2, 5 in decreasing order.
5, g, -0.2
Let c = -55.27 - -55. Let s = c + -0.23. Put -1/4, s, 2/7 in descending order.
2/7, -1/4, s
Let r(k) = -k**2 - 7*k + 4. Let h(n) be the third derivative of n**4/24 - 13*n**3/6 + 3*n**2. Let t be h(6). Let l be r(t). Sort -3, -4, l.
-4, -3, l
Let x = 55 + -35. Suppose 4*d - x = -0*d. Suppose -3*p + 6*p - 9 = 0. Sort p, 1, d in decreasing order.
d, p, 1
Suppose -2*f = -f + 3, 0 = -3*a + f + 3. Sort 1, 3, -2, a in decreasing order.
3, 1, a, -2
Let r be 2/(-4)*-5*(-40)/(-25). Put -0.5, r, -2, 0.5 in ascending order.
-2, -0.5, 0.5, r
Suppose -5*t = -d + 15, 2*t - 3*t - 3 = -5*d. Put d, 6, 1, 2 in increasing order.
d, 1, 2, 6
Let t = 0.5 + -3.5. Let l = 2004/11 - 182. Sort 2, t, l in descending order.
2, l, t
Let t(u) = -u**2. Let x be t(1). Put x, -0.3, -0.1 in descending order.
-0.1, -0.3, x
Suppose -16 = -x - 3*x. Suppose -5*j = -j - x. Put 0, j, 5 in increasing order.
0, j, 5
Let x = -18 + 37. Suppose -5*y + 29 = 3*l, -y + l - 5 = -2*l. Suppose 4*v + x = -h - y*h, 0 = -v + 2*h + 5. Put 2, v, 0 in decreasing order.
2, 0, v
Let c = -14.046 + -0.054. Let k = -16 - c. Let i = 2 + k. Sort 1, i, 2 in descending order.
2, 1, i
Let w be 2/(-8) + 1/4. Suppose 0 = v - w - 1. Sort -5, v, 5.
-5, v, 5
Suppose 3*o + 0 = -6. Suppose l - 3*l = -6. Sort 5, o, l in decreasing order.
5, l, o
Let n(t) = t + 9. Let s be n(-8). Let r(a) be the first derivative of a**3/3 - 4*a**2 + 9*a + 1. Let w be r(6). Put w, s, 5 in descending order.
5, s, w
Let d(z) = 3*z + 5. Let t be 4 + 1*(-21)/3. Let k be d(t). Sort 1, -10, k in descending order.
1, k, -10
Let v(l) = l**3 + 18*l**2 - l - 22. Let g be v(-18). Sort g, 5, -2.
g, -2, 5
Let s = 5 + -5. Let x be 5/(-1)*-1 + s. Suppose 4*p - x*p = 4. Sort 4, 1, p in decreasing order.
4, 1, p
Let u = 0.24 - 0.09. Let z = u - -0.05. Sort z, 0.3, -2/9.
-2/9, z, 0.3
Let 