 s - 6 - 1 = 0. Sort z, i, -3 in increasing order.
-3, i, z
Let h = -0.9 - -1.2. Put h, -6, -0.4 in decreasing order.
h, -0.4, -6
Suppose -3*j = 3*n, n - 5*n + 4 = 0. Suppose 0 = 5*f - i - 25, 0 = -3*f + 2*i - 4*i + 15. Sort f, -2, j in decreasing order.
f, j, -2
Let j = 29 - 48. Let h = j - -15. Put h, 2, -13 in decreasing order.
2, h, -13
Let r(o) be the third derivative of o**4/24 + o**3/3 + o**2. Let v be r(2). Suppose -4*f = 22 - 6. Sort v, f, -1 in decreasing order.
v, -1, f
Let d = 9 - 1. Suppose -4*t - d = 12. Let f(z) = z - 1. Let h be f(-1). Sort h, t, 4 in descending order.
4, h, t
Let z = -11 - -14. Sort 5, -5, -4, z.
-5, -4, z, 5
Let d = -0.2 - 0.8. Let l be 30 + (3/3 - 1). Let i be 4/14 + l/(-56). Put 5, i, d in decreasing order.
5, i, d
Let j = 168/85 + -20/17. Let w = -0.03 - -0.73. Sort j, w, -3.
-3, w, j
Let v = 38 + -187/5. Let c be (-3)/2*(-8)/3. Suppose c*d - 3*x + 0 - 3 = 0, -1 = x. Sort v, d, 0.3 in descending order.
v, 0.3, d
Let a(o) = -o**3 - 12*o**2 + 15*o + 24. Let x be a(-13). Let v be 5/2*(-1 + -1). Sort 3, x, v in descending order.
3, x, v
Suppose r = 3*r - 34. Suppose 5*t = 2*q + r, -4*t - q + 8 = -3. Put 2, t, -5 in decreasing order.
t, 2, -5
Let p = 0 + 3. Suppose -4*y = -5*l + 18, 4*l - 9 = 2*y + p. Suppose -3*i + 8*i - 45 = -5*z, l*i = -4*z + 26. Sort -1, -4, z in increasing order.
-4, -1, z
Let b(x) = -x**2 + 10*x + 10. Let f be b(11). Let o = 18 - 13. Put 2, o, f in ascending order.
f, 2, o
Suppose 0 = -a - 1, 4*b + a = 6*b - 9. Suppose 0 = -2*u + 2*x + 4, 0 = -5*u - 4*x - 2 + 3. Sort b, u, -3.
-3, u, b
Let z(i) = -2*i**2 + 8*i - 12. Let n be z(3). Sort -5, n, 1 in decreasing order.
1, -5, n
Let y(x) = -x**3 - 4*x**2 + 4*x - 6. Let i be y(-5). Sort 2, 5, i, 4 in descending order.
5, 4, 2, i
Suppose -6*d = -9 - 27. Put 2, 5, -2, d in descending order.
d, 5, 2, -2
Let h = -7 - -2. Put h, -3, 0.1 in increasing order.
h, -3, 0.1
Let k = 19 + -14. Suppose 0 = -3*l + p - k - 9, -3*l = -5*p + 10. Sort -1, l, -2/5 in ascending order.
l, -1, -2/5
Let r(n) = -4*n - 13. Let b(u) = -3*u - 12. Let s(v) = -5*b(v) + 4*r(v). Let j be s(6). Put j, 1, -5 in decreasing order.
j, 1, -5
Let x = 98 + -96. Put 3, 1, x in decreasing order.
3, x, 1
Let m = 0.1 + -0.17. Let p = -0.07 - m. Sort p, 3, 2 in descending order.
3, 2, p
Suppose z + 2*d + 2*d = -25, 2*z = -3*d - 25. Let c(l) = 2*l - 19. Let y be c(8). Put y, -4, z in decreasing order.
y, -4, z
Suppose -p + 3*p - w + 1 = 0, 5*p + 2 = 2*w. Suppose c - 10 = -9. Let r = -238/3 + 712/9. Put p, r, c in decreasing order.
c, p, r
Let b = 36 + -54. Let l = b + 17.68. Let j = l - -0.02. Put j, 0.5, 4 in descending order.
4, 0.5, j
Suppose s = 3*l - 0*l + 17, -3*l = 5*s + 5. Sort -2, 4, 0, l in descending order.
4, 0, -2, l
Let v(w) = -w**2 + 9*w + 6. Let u be v(7). Let t be ((-8)/(-10))/((-4)/u). Sort t, 5, -1.
t, -1, 5
Let h = 2 + -2. Let k = -0.5 + h. Put k, 0.3, 0.2 in increasing order.
k, 0.2, 0.3
Let n be (4 - (-10)/75) + -4. Sort n, 3, -6/5 in increasing order.
-6/5, n, 3
Let l be (2/(-3))/2*3. Let i = -0.5 - -0.3. Let g = 0.3 + i. Sort 3, l, g.
l, g, 3
Let y be (2 + 0)/((-2)/2). Suppose -4*w - 16 = -5*b, -5*b + 3*w + 4 = 2*w. Let a = 1 + b. Put 3, y, a in descending order.
3, a, y
Let t = -32 + 51. Suppose -5*z - t = -h, -4*h = 2*z + z - 7. Let n = -14 + 10. Put z, -3/5, n in decreasing order.
-3/5, z, n
Suppose -2*a - 10 = 4*d, 0*d = 3*d. Let z = 1 - 2. Let g be z/(-3 - (-20)/6). Sort a, -4, g.
a, -4, g
Let g = -16 + 22. Sort -5, g, 1/12, 3 in ascending order.
-5, 1/12, 3, g
Let z = 12.2 - 12. Let c = -2 + 5. Put z, c, -0.3 in ascending order.
-0.3, z, c
Let h = -3/91 - 155/819. Sort 3/7, h, 0.02, 0.4.
h, 0.02, 0.4, 3/7
Let n be (-2*3)/(3/(-2)). Suppose -t - 12 = -5*t. Suppose -4*k + 2 = t*s, -k = -4*k - s - 1. Sort n, 5, k in descending order.
5, n, k
Suppose 0 = -11*l + 28 - 17. Suppose -b + 3 = -1. Put l, -0.1, b in descending order.
b, l, -0.1
Let f be 0*(21/(-6) - -3). Sort 4, f, 0.5.
f, 0.5, 4
Let x = -2 - -1.5. Let s = 17 - 21. Sort 1, s, x.
s, x, 1
Let y(q) = -q**2 + 6*q - 1. Let a be y(4). Sort 3, 2, a in ascending order.
2, 3, a
Let k = 4 - -1. Suppose -34 = -11*x - 122. Suppose -2*s + 3*m = -1 + 2, 3 = -2*s + m. Put x, s, k in increasing order.
x, s, k
Let g = 0.04 - -0.26. Sort g, -4, 1/7 in decreasing order.
g, 1/7, -4
Let z = 1.4 + -0.5. Let j = -0.5 + z. Put j, 0.5, 2 in increasing order.
j, 0.5, 2
Let g be (10/(-6))/(3/(0 - 9)). Sort g, -3, -24, 0 in increasing order.
-24, -3, 0, g
Suppose 0 = -5*m - 5*c, m + 18 = -4*m + c. Sort m, -5, 3, -4 in ascending order.
-5, -4, m, 3
Let d = -37 + 405/11. Put d, -1, -1/10, 0.1 in decreasing order.
0.1, -1/10, d, -1
Let q(a) = 4*a - 36. Let g be q(6). Put g, 1, 5, 2 in descending order.
5, 2, 1, g
Let h be ((-26)/14 + 2)*-30 - -4. Let z = -0.1 + 0.2. Sort 0.3, z, h in increasing order.
h, z, 0.3
Let x be 2 + (6*-1)/2. Let z be 1/(x + 6 + 0). Sort -0.2, z, -2 in descending order.
z, -0.2, -2
Let g = 11 - 16. Let v be (-788)/(-4092) + (-4)/22. Let x = 11/62 - v. Put x, 2/21, g in descending order.
x, 2/21, g
Let x = -0.3 - -0.7. Let t = -50.3 - -48. Let d = t - -0.3. Sort d, -1/2, x in decreasing order.
x, -1/2, d
Let v = -47 + 38. Put -0.2, 3/8, -3, v in decreasing order.
3/8, -0.2, -3, v
Let h be (-2)/((2/(-20))/(-1)). Let n = 17 + h. Sort -5, 4, n.
-5, n, 4
Let c be (2 - 69/6)*-2. Suppose -j = 3*u - 0*j + 13, -5*u - 3*j = c. Put 2, -4, u in ascending order.
u, -4, 2
Let o be 8/(-10)*(-10)/44. Put -2, o, 4 in increasing order.
-2, o, 4
Suppose -6 = -o + 4*o. Sort o, -3, 0 in decreasing order.
0, o, -3
Suppose -2*p = p + 12. Let j = 5 + -1. Put j, p, -2 in increasing order.
p, -2, j
Suppose 3*j - 21 = -0. Let y = -13 + j. Let l = -9 - y. Put -4, l, -1 in decreasing order.
-1, l, -4
Let j be (-30)/(-8) + (-17 - -13). Put -0.5, 8/9, j in ascending order.
-0.5, j, 8/9
Suppose 0 = -k, -2*d + 13 = -d + 5*k. Suppose -3*v + d - 1 = 0. Put v, -1, 2 in decreasing order.
v, 2, -1
Let z be (10/4)/(-5)*-2. Let p be 2 - 4 - -1 - 3. Let o = 3 - 0. Sort o, z, p in decreasing order.
o, z, p
Let h = 23 + -15. Suppose 0*x + 5*x + k = 11, -2*k + h = 3*x. Sort 4, 3, x in increasing order.
x, 3, 4
Let p be (-68)/18 + 8/(-36). Put -1, p, -6 in decreasing order.
-1, p, -6
Let r = 40 + -163/4. Sort -1/3, -0.4, r in descending order.
-1/3, -0.4, r
Suppose 8 = i + 9*n - 14*n, -2*n - 4 = 0. Put 3, i, 4, -4 in increasing order.
-4, i, 3, 4
Let a be ((-2)/6)/((-62)/12). Let f = -15.1 - -15. Put -3, a, f in descending order.
a, f, -3
Let a = 14 - 18. Sort a, -3/4, 1 in descending order.
1, -3/4, a
Let h(l) = -l - 10. Let p be h(-12). Suppose -2*k - p*k + 16 = 0. Put -5, k, 5 in descending order.
5, k, -5
Let q(g) = 11*g**2 + 27*g - 19. Let k(z) = -5*z**2 - 13*z + 9. Let b(s) = 13*k(s) + 6*q(s). Let u be b(7). Put u, -1, 2 in decreasing order.
u, 2, -1
Let f = 0.08 - -0.12. Put 5/2, f, 5 in ascending order.
f, 5/2, 5
Suppose -6*d = -d - 15. Let z(w) = -w**3 + 4*w**2 - 4*w + 4. Let x be z(d). Put x, 3, 4 in ascending order.
x, 3, 4
Suppose 4*g = r - 5*r, 3*g + r = -6. Suppose -2*m + 5*m - 15 = 0. Put g, m, 4 in decreasing order.
m, 4, g
Let r(n) = 24*n**3 - 4*n**2 + 3*n - 1. Let l be r(2). Let w = 1269/7 - l. Sort -0.2, w, 0 in ascending order.
-0.2, 0, w
Let w = -76 + 72. Suppose -2*q + 6*o - 24 = 2*o, 4*q - 3*o + 33 = 0. Let b be (2/q)/((-2)/6). Sort w, b, 3.
w, b, 3
Let f be (-2)/4*(-12)/6. Put -1, f, 4 in ascending order.
-1, f, 4
Let s = -38/21 - -452/273. Put 0.4, s, 2, 5 in decreasing order.
5, 2, 0.4, s
Suppose 2*c - 1 - 1 = 0, 0 = -5*f + 4*c + 6. Suppose 3 = -s - 0. Put f, s, -2 in increasing order.
s, -2, f
Let j = -1/240 + -473/1680. Sort -2/3, -3, j, 2/5 in ascending order.
-3, -2/3, j, 2/5
Let h(d) = -d**2 + 6*d - 4. Let t be h(3). Suppose -13 = 5*c - n + t*n, -3*c + 5*n + 7 = 0. Sort 1, c, 3.
c, 1, 3
Let q be 1/(-2)*15/(-6). Let n = q - 23/28. Let j = -2/7 - 1/21. Put n, j, -1 in descending order.
n, j, -1
Suppose 13*m - 11*m = 4. Sort -3/7, 2/5, m in decreasing order.
m, 2/5, -3/7
Suppose 2*r - 5 = -3*p, 2*p - 12 = r + 2*r. Let b = -25 + 20. Sort -3, b, r in descending order.
r, -3, b
Let q be (-534)/(-20)*(-1)/174. Let n = 3/29 + q. Let p = n - -1/4. Sort 3/2, 2, p in descending order.
2, 3/2, p
Let l = -0.076 - -28.076. Sort 1, -2