.
x, y, -1/8
Suppose -5*b + 45 = -5*k, k + 3 = 2*b + 4*k. Let y = 4 - b. Let o = 0.1 - 5.1. Sort 2/3, o, y.
o, y, 2/3
Let j(g) = g**2 + 1. Let v be j(-2). Let a be 0/(-3) - (-2 + -2). Suppose 2*c - 7*c + 4*f + 35 = 0, 5*f + 28 = c. Sort c, v, a in ascending order.
c, a, v
Let g(r) be the first derivative of -r**3/3 - 5*r**2/2 - 2*r + 1. Let b be g(-4). Suppose 3*u + b*w + 17 = -2*u, 3*u = 3*w - 6. Put -1, u, 0 in ascending order.
u, -1, 0
Let s = 27/25 - 341/200. Let i = -3/8 - s. Put 1/6, i, 3 in descending order.
3, i, 1/6
Let i = -12 - -7. Let a(d) = d - 13. Let y be a(16). Put i, 5, y in decreasing order.
5, y, i
Let k be -5 - -2 - 0/1. Sort 2, k, -4 in descending order.
2, k, -4
Let t(w) = -w + 2. Let q be t(3). Let j(y) = -y**3 - 11*y**2 - 10*y + 3. Let a be j(-10). Let n be 0 - (-4)/(-2 - 0). Put a, q, n in descending order.
a, q, n
Let l = 0.4 - 2.4. Sort -5, 2/7, l in ascending order.
-5, l, 2/7
Let z be (-10)/(-75) - (-2)/(-15). Sort 4, -1, z.
-1, z, 4
Let b = 0.02 - 11.02. Let x = b - -15. Put 2/15, -0.5, x in descending order.
x, 2/15, -0.5
Let y = -0.4 + 0. Sort y, 5, 1/2 in ascending order.
y, 1/2, 5
Suppose -1 = -f + 2*b, -21 = -3*f - 2*b - b. Suppose 0 = -2*i + 3*c, 3*c - 2 = 2*i + c. Sort i, f, -2 in increasing order.
i, -2, f
Let m be 8/16 - 2/16. Let s = -79 - -83.1. Let z = -0.9 - s. Sort 0.5, m, z in decreasing order.
0.5, m, z
Let w = -6.4 - -6.2. Let r = 4 - 1. Let i = -1/13 - -15/26. Put i, w, r in increasing order.
w, i, r
Let t = -3 - -4. Let v = 2 - t. Put 2, v, 3 in decreasing order.
3, 2, v
Suppose -7 = -2*x - 3*z, 0 = 4*x + x + z - 24. Sort 2, -5, x in descending order.
x, 2, -5
Suppose -3*l = -0*l. Let q be 0/(-2 + 6) - 2. Sort q, 4, l.
q, l, 4
Suppose 2*l + 3*p = -3*l + 13, 4*l = p + 7. Let m = -15 + 10. Put -3, l, m in increasing order.
m, -3, l
Let m = 63 - 60. Sort m, 5, -3 in decreasing order.
5, m, -3
Let r be (2 - 3)*(-6)/(-21). Let z be (-4)/(-14) - 45/84. Sort z, -0.5, r in decreasing order.
z, r, -0.5
Let g be ((-10)/6)/(2/6). Let l be 13/3 + (-4)/(-6). Suppose 4 = 4*d - 12. Put l, d, g in ascending order.
g, d, l
Let p(j) = -6*j**3 - j**2. Let d be p(-1). Sort 4, -5, d in increasing order.
-5, 4, d
Let o be ((-3)/(-12))/((-1)/2). Sort 0.01, 0.2, o.
o, 0.01, 0.2
Suppose -3*v - 25 = 5*i, -2*v + 31 = -3*i - 7*v. Put 1, 5, i, -1 in descending order.
5, 1, -1, i
Let i be (3 + -1)*90/(-36). Put i, 7, 3 in decreasing order.
7, 3, i
Let n be -1*0*(-2)/(-6). Suppose 0 = 3*d + f + 4, 5*f + n*f = -5*d - 20. Put 3, d, -5 in increasing order.
-5, d, 3
Suppose q + 4*z = -12, 3*q + 0*z - 16 = z. Suppose 1 = v - 2*u - q, -v + 2 = -u. Suppose 0 = l - 5*l + 20. Sort v, 0, l in decreasing order.
l, 0, v
Let v(h) = h + 1. Let b be v(3). Let i be ((-2)/(-4))/((-2)/b). Sort i, -5, 0 in increasing order.
-5, i, 0
Let a(h) = -h**2 - 6*h + 4. Let t be a(-6). Suppose -2*u - t = -u. Suppose -7 + 19 = 6*x. Sort -3, u, x.
u, -3, x
Let r = -8.4 - -9. Let a = -3.4 - r. Put 0.3, a, -0.4 in increasing order.
a, -0.4, 0.3
Let m be (-81)/(-144)*8/(-6). Put m, -1, -2, 3 in decreasing order.
3, m, -1, -2
Suppose 0*g - 4*o = -4*g, 5*o = -5. Sort g, -41, 5 in descending order.
5, g, -41
Let k = 0.32 - 0.02. Let d = -1.2 - -2. Let q = k - d. Sort -5, q, -3 in decreasing order.
q, -3, -5
Suppose -4*j - 13 - 3 = 0. Put 1, j, 2, -5 in ascending order.
-5, j, 1, 2
Let v = 64 + -63. Suppose 0 = -3*k + k - 2. Sort k, v, -2.
-2, k, v
Suppose -4*t - t = -4*z + 40, -26 = 4*t - 2*z. Put t, -23, -3 in increasing order.
-23, t, -3
Let g be (-19)/(-7) + 2/7. Sort 2, g, -3 in decreasing order.
g, 2, -3
Suppose -9*k + 1 = 325. Put 5, k, 0 in descending order.
5, 0, k
Let n(i) = -i**2 + 9*i - 13. Let v be n(6). Sort v, -4, 0 in descending order.
v, 0, -4
Let l(a) = -a + 8. Let z be l(9). Sort 1, 4, z in increasing order.
z, 1, 4
Let y = 2 - 1. Sort 5, -2, y in ascending order.
-2, y, 5
Let q = -324/5 + 65. Let p(g) = g**3. Let k be p(-1). Sort q, k, 3 in ascending order.
k, q, 3
Suppose -3*c - 2*c + 5 = 0. Suppose -2*y + 5*y - 60 = 0. Let w be (-3)/2*y/(-6). Put -1, c, w in increasing order.
-1, c, w
Let t be 27/21 - 2/7. Let z(u) = u - 9. Let n be z(8). Let r be (-4 - -3)*(t + n). Sort r, 3, 2.
r, 2, 3
Let m be (10/25)/((-6)/620). Let g = m + 42. Sort 1, -5, g in ascending order.
-5, g, 1
Let b = 0.17 - 0.17. Sort b, 4, -5 in increasing order.
-5, b, 4
Let b(m) = m**3 + 4*m**2 - 10*m - 3. Let x be b(-6). Sort x, -2, -4 in decreasing order.
-2, -4, x
Let u(v) = v + 7. Let j be u(-5). Suppose -z + 15 = z + 3*m, 20 = -j*z + 4*m. Let k = z - -1. Put -1, -3, k in ascending order.
-3, -1, k
Let j be 6 + -3 - (0 - 0). Let i be 0/(1 - (2 - j)). Let r be (-17)/(-5) - (-4)/(-10). Put -5, r, i in descending order.
r, i, -5
Let w = 5.081 + -0.121. Let p = 0.04 + w. Put -0.2, -0.03, p in decreasing order.
p, -0.03, -0.2
Let d = 0.36 + -0.66. Let u = -2 + 1.6. Put u, -5, d in increasing order.
-5, u, d
Let r = -3 + 0. Let x be 14/18 - (-4)/18. Put r, -5, x in descending order.
x, r, -5
Let r = -0.05 - 0.15. Sort r, -2/3, -2, -4/7 in ascending order.
-2, -2/3, -4/7, r
Let m be (-5 + (-476)/(-105))*(-2)/(-7). Let b = 0.9 + -1. Put m, 3, b in descending order.
3, b, m
Let o = 38 + -39. Sort -0.5, o, 0 in decreasing order.
0, -0.5, o
Let m = -1 + -3. Let i be 1/(-3) + 116/(-12). Let q be (8/i)/(2/(-5)). Sort q, m, 4 in increasing order.
m, q, 4
Suppose 110 = -3*f + 101. Sort -5, f, 15 in decreasing order.
15, f, -5
Suppose 5*k = 2*y + 2*y + 10, 0 = -k + y + 1. Let i = 51 + -47. Sort i, 2/7, k in increasing order.
2/7, i, k
Let v(x) = -x**2 + 6*x. Let y be v(5). Put -1, y, -2 in decreasing order.
y, -1, -2
Let f = 0 - -0.1. Let x = -28 + 27.9. Let a = x - f. Put 0.3, -3/8, a in decreasing order.
0.3, a, -3/8
Let r = 4 - 9. Let x = -4 + 2. Let z be (-2)/(-4) - x/12. Put 0.5, r, z in descending order.
z, 0.5, r
Let j = 0.14 - 0.07. Let f = j - 3.07. Put -0.2, f, 1/3 in increasing order.
f, -0.2, 1/3
Let n = 20 - 37. Put -5, n, 1 in descending order.
1, -5, n
Suppose -2*u + 3*t + 14 = 2*t, u = 2*t + 4. Suppose 2*v - u = -2*v. Sort v, 0.1, 1.
0.1, 1, v
Suppose -10*j - 88 = 12*j. Sort j, 4, -2, 5.
j, -2, 4, 5
Let f = -13 + 0. Let n = f + 18. Let k = 1 - 0.8. Put n, -0.3, k in ascending order.
-0.3, k, n
Suppose -2*b = -5*d + b + 3, 0 = -2*d - 3*b - 3. Suppose d = -4*i + 17 - 1. Sort 0.2, i, 3 in decreasing order.
i, 3, 0.2
Suppose 8 + 2 = -5*q, q = -4*c - 18. Let g be (12/18)/(c/6). Sort -5, g, 1.
-5, g, 1
Let v = -1 + 0.2. Let n = 3.2 - v. Let w be ((-15)/20)/(6 + 0). Put n, 2/3, w in decreasing order.
n, 2/3, w
Let n = 99 + -892/9. Suppose 20 - 24 = -4*l. Put -1, n, l in descending order.
l, n, -1
Let o be 3 + (-3)/(6/(-2)). Let x be 4/10 - 72/(-20). Suppose 0 = o*g + x - 20. Put 3, -4, g in increasing order.
-4, 3, g
Let r(h) = -h**2 + h - 3. Let f be r(0). Put f, 5, -10 in decreasing order.
5, f, -10
Suppose -f + 10 = 5*a, 0*f = 5*f. Put a, 3, 4 in descending order.
4, 3, a
Let s be 5/15 + (-28)/(-6). Put s, 0, 2 in descending order.
s, 2, 0
Let z = -0.1 - 0.3. Let v = -0.02 - -0.12. Let d = v + 0.1. Put d, z, 5 in ascending order.
z, d, 5
Let o = 1 + 1. Let n be (14/(-2) + 2)*1. Suppose -2*f - 14 = -5*g, -4*g = -5*f + 6*f - 6. Sort o, f, n in descending order.
o, f, n
Let y = 16 + -17. Let i = y + 5. Sort -1/4, -0.1, i in ascending order.
-1/4, -0.1, i
Suppose 3*i = -5*l + 97, -2*l + 44 = -0*l - 4*i. Suppose 2*b = -3*b + l. Let c be (-2)/(-3) + (-7)/(-3). Put c, -1, b in ascending order.
-1, c, b
Let i = -4 + 2. Let q(o) = o**3 - 10*o**2 - 10*o - 14. Let c be q(11). Sort i, c, 5 in increasing order.
c, i, 5
Let q = 535/3562 + 1/274. Let m = 2 + -1.8. Let n = -10 - -6. Sort n, q, m in descending order.
m, q, n
Let j = -104 + 100. Put j, 3, 64 in increasing order.
j, 3, 64
Let l(t) = -t**2 - 11*t - 19. Let z be l(-9). Put 0, 1, z in decreasing order.
1, 0, z
Let r(c) = c**3 - 2*c + 2. Let b be r(2). Let i = 3 - b. Sort 0, -1, i in decreasing order.
0, -1, i
Let u = 0 + -1. Let t = u - -0.4. Let q = -5.6 - t. Put q, 0.3, 3 in increasing order.
q, 0.3, 3
Suppose -d - n - 2*n - 10 = 0, 2*n = -d - 6. Sort d, -8, 0.
-8, 0, d
Let y = -144/7 - -142/7. Put 0.4, -0.02, 4, y in descending order.
4, 0.4, -0.02, y
Let j = 11 - 9. Suppose -3*l - 3*x + 8 = -2*x, j = 2*l + 4*x. Sort 7, 