der.
k, -2, -6
Suppose 3*u + 4 = j - 0, -4 = 5*u + j. Suppose -2*a = 2*p - 6, 7*p - 2*p + 1 = 3*a. Sort -3, p, u in increasing order.
-3, u, p
Let d = -2 - -2. Let a(z) = z**3 - z**2 + z + 1. Let m be a(d). Let p be -2 + (-1 - -4 - 1). Sort m, 5, p in decreasing order.
5, m, p
Let d = 0.3 + -0.1. Let v = 3.2 - d. Let p = -3.5 + v. Put 0.3, p, -0.4 in ascending order.
p, -0.4, 0.3
Let d = 7 + -6.7. Let p = -0.4 - -0.9. Let k be (-3)/(-6)*4/6. Put p, k, d in descending order.
p, k, d
Let x be (6 + 0)/(3/2). Suppose -4*a = -x - 4, -4*f = -2*a. Suppose 3*d - 17 = o, -o - 9 = 5*d - 6*d. Sort -1, d, f in descending order.
d, f, -1
Let y = 28 + -26. Put y, -3, -4 in descending order.
y, -3, -4
Let t be (-17 + 1)/4 - -7. Sort 0, -1, t, -5 in ascending order.
-5, -1, 0, t
Let x = -4 - -3.9. Sort -2, -13, x in decreasing order.
x, -2, -13
Suppose -y - 2*y = 84. Let f be -2 - 136/y - 3. Sort -0.2, -2, f.
-2, -0.2, f
Suppose 4*k + 42 - 58 = 0. Put k, -2, 1, -1 in decreasing order.
k, 1, -1, -2
Let k = 13 + -9. Suppose 4*n = -2*u + 4*u, -k*n + 12 = 4*u. Let s be 1/(-1*(-2)/6). Sort -3, s, u in descending order.
s, u, -3
Let q = -4.78 + -0.22. Sort 2/7, 2, q, 0.1.
q, 0.1, 2/7, 2
Let x = -0.16 - 0.24. Sort 2/7, x, -5.
-5, x, 2/7
Suppose 30 - 36 = 3*k. Sort k, 2, 1 in increasing order.
k, 1, 2
Let r be 2/2*(-3)/(-5). Let y = 104/9 + -12. Let b = 17/18 + y. Sort b, r, 1 in descending order.
1, r, b
Let k = 5 + -6. Let i = k + 0.7. Sort i, 1, 0 in decreasing order.
1, 0, i
Let a(k) = k**2 - 8*k + 9. Let j be a(7). Suppose j*v - 2*h = -10, 2*v - 6*v - h - 20 = 0. Let q = -8 - -13. Put q, 1/6, v in descending order.
q, 1/6, v
Let c(h) = -3*h**2 + 1. Let r be c(1). Suppose -10 = -3*j + 35. Suppose 5*v + 3*m = -9, 0 = -m + 6*m + j. Put v, 2, r in ascending order.
r, v, 2
Let g be 2 + 0 - (-30 + 0). Let t be (-2)/(-7) - g/210. Let o = -0.6 - 1.4. Sort t, -0.5, o in descending order.
t, -0.5, o
Let a = -0.06 + 0.56. Let u = 0.01 - 0.11. Sort u, 4/3, a.
u, a, 4/3
Suppose -v = -2*z, 5*v + 8*z - 4*z = -28. Suppose 0*h + 13 = -d - 4*h, 5*d + h = 11. Sort d, 4, v in decreasing order.
4, d, v
Let p(i) = 8*i + 14. Let t be p(-2). Sort -4, t, 1, 0 in descending order.
1, 0, t, -4
Let a = -31.8 + 32. Sort -1/6, a, 3/5.
-1/6, a, 3/5
Let i = -11 + 6. Suppose -4*n + 0*n + 8 = 4*c, 10 = 2*c - n. Suppose -4*v - 25 = -9. Sort c, i, v in decreasing order.
c, v, i
Suppose 10*f + f + 11 = 0. Put -3, f, 6, -4 in decreasing order.
6, f, -3, -4
Let b be 44/16 + (-1)/(-4). Suppose 0*s + 12 = -2*s - 3*u, 16 = 4*s - 4*u. Let d = -1 - s. Put b, 4, d in descending order.
4, b, d
Let b = -4 + 6. Let n = 1 + 3. Let l be 2/(-8) + (-1)/(-4). Put n, b, l in descending order.
n, b, l
Let n be 2/(-4)*12*1/(-4). Put -6, n, 0.3, -4 in descending order.
n, 0.3, -4, -6
Let g be 0/((0 - -1) + -2). Suppose -9 = 4*a - x - g, -3*a + 4*x - 23 = 0. Let u(y) = -y**2 - 11*y - 15. Let j be u(-10). Sort 3, a, j in decreasing order.
3, a, j
Let k be (-2 - -5)/((-9)/(-12)). Let m = 5 + -2. Sort m, -2, k in increasing order.
-2, m, k
Let w(v) = -v + 8. Let q be w(4). Let j(s) = 5*s - 17. Let l be j(4). Sort -6, q, l in descending order.
q, l, -6
Let r(x) = -x**3 + 20*x**2 - 34*x - 35. Let o be r(18). Suppose 2*k + 0*z - z = -8, -3*z + 12 = 0. Let w = -3 - k. Put o, w, 0 in decreasing order.
o, 0, w
Let w = 6.5 - 1.5. Let f = 2096/9 - 694/3. Let j = -20/9 + f. Sort -2, w, j.
-2, j, w
Let i = 0.022 + -7.022. Put -4/5, i, 3 in descending order.
3, -4/5, i
Suppose 3*l = -6, 0 = 2*s - 2*l + 3*l + 14. Let m = s + 3. Sort m, 1, 2.
m, 1, 2
Suppose -15 = -4*b - 5*v + 4, 5*b - 4*v + 7 = 0. Suppose a + 1 + b = 0. Sort a, -4, 5 in decreasing order.
5, a, -4
Let f be 3 + 3 + -5 + -1. Sort 1, 3, f in descending order.
3, 1, f
Let g be (1 + 0)/(30/10). Put g, 20, -4 in ascending order.
-4, g, 20
Suppose 2*l = 6 - 0. Let c be (-237)/(-9) + 4/(-12). Suppose -o = -5*d + c, l*d - 18 = -d - 2*o. Sort -4, d, 2 in increasing order.
-4, 2, d
Suppose 3*b + 80 = 4*p - 154, 5*p + 390 = -5*b. Let z be ((-6)/(-9))/((-4)/b). Suppose 3*q + 2 = -z. Put 4, 1, q in increasing order.
q, 1, 4
Let l = 0.5 - 0. Let o = -7 - -7.2. Let k = o - 1.2. Sort l, k, 5 in descending order.
5, l, k
Let f = -0.02 - 1.98. Let y = f - -3. Put -0.1, 3, y in decreasing order.
3, y, -0.1
Let x = -0.04 - -3.04. Let c = x - 2.7. Sort c, 0.1, 3.
0.1, c, 3
Suppose -5*i + 12 = -13. Suppose 13 = i*p - 7. Suppose -3*x - p = -x. Put x, 5, 2 in decreasing order.
5, 2, x
Suppose 0 = 5*f - 2*f - 18. Suppose 4*z + 5*x + 9 = 0, -3*z - 5*x - f = -2*z. Let k = 3 + -2. Put 5, k, z in decreasing order.
5, k, z
Let r = -0.211 + -0.289. Put -1, r, 0.5 in decreasing order.
0.5, r, -1
Let f = -25 + 37. Suppose 2*a = -a + f. Sort a, -1, 1 in decreasing order.
a, 1, -1
Let b = 1 + -2. Let w be 2/b*(-1)/2. Let k = 1 + 3. Sort w, -2, k in increasing order.
-2, w, k
Let k be (12/9)/((-4)/(-18)). Let f be 9/k*-2 + 200. Let i = -1375/7 + f. Put 2, 0.4, i in descending order.
2, i, 0.4
Let a = 1 - 1. Suppose 4*y - 8 = 6*y. Put y, a, -3 in ascending order.
y, -3, a
Let r(o) = 0*o - 3 + 2*o - o + 5. Let w be 18/4*4/(-3). Let m be r(w). Sort m, 5, -3 in increasing order.
m, -3, 5
Suppose 3*j - 18 + 6 = 0. Let w = j + -3. Put w, -2, -4 in decreasing order.
w, -2, -4
Suppose -9 = 3*f - 0*f, 0 = 4*g + 4*f + 16. Let p(a) = -a**2 + 1. Let h be p(g). Put -2, h, 1 in descending order.
1, h, -2
Suppose 5*v - 3*x = -7*x - 26, v - 3*x - 10 = 0. Let q = -3 + 2. Put v, 3, q in descending order.
3, q, v
Let n = -93 + 94. Put n, -1, 2, -3 in increasing order.
-3, -1, n, 2
Let g = 9 + -4. Let x be (-3 - (-1 + 0))/g. Sort 3/2, x, -0.1 in increasing order.
x, -0.1, 3/2
Let o = -0.5 + 0.2. Let g = o - -0.7. Sort -2/3, -3, g in decreasing order.
g, -2/3, -3
Let n = -739/209 + 62/19. Let o = -37/55 - n. Sort o, 5, 3/4 in ascending order.
o, 3/4, 5
Let z be 0/(-3*(-4 + 5)). Sort 5, -2, z in increasing order.
-2, z, 5
Let z = 1.91 + -1.8. Let y = -2.89 - z. Let r be (-3 - -3) + 2/(-10). Sort r, -0.1, y in ascending order.
y, r, -0.1
Suppose 3*o - 5*a = 2*o - 3, -4*a + 44 = -4*o. Let v = o - -8. Let f = -5 - -3. Sort 0, v, f.
v, f, 0
Let i = -262 + 163. Let l be (-2)/(-5) + i/60. Sort 0.4, -5, l.
-5, l, 0.4
Let u = -37.5 - -37. Sort u, 5, -3 in ascending order.
-3, u, 5
Let i = -0.3 - 4.7. Sort -1/2, 4, -3/2, i.
i, -3/2, -1/2, 4
Let d = -1 + -2. Let c(n) be the first derivative of n**3/3 + 3*n**2 - 7*n + 1. Let p be c(-7). Sort p, d, 2 in ascending order.
d, p, 2
Let w(z) = -5*z**2. Let t be w(1). Suppose -k + 6 - 4 = 0. Suppose 6*v - k = 4*v. Sort 5, v, t in ascending order.
t, v, 5
Suppose d + 0 - 11 = 0. Put -3, 2, d, -1 in descending order.
d, 2, -1, -3
Suppose 5*d + 4*v = 7, -v = 2*d - 2*v - 8. Suppose -j + d*w + 0 = -9, 4*j = -2*w + 8. Sort -4, j, 0.3 in increasing order.
-4, 0.3, j
Suppose -5*o - 5*a + 25 = 0, 2*o - 5*a - 2 = 8. Put 6, -5, o, 2 in ascending order.
-5, 2, o, 6
Suppose -f - f - 2 = 0. Suppose -3*b - 5*l = -2 + 5, 5*b - 26 = 2*l. Let i be (-2 - f)*12/b. Sort 4, i, -2.
i, -2, 4
Let z(b) = -b**3 + 2*b**2 - 2*b + 1. Let n be z(2). Suppose -k - k + 3*c = -4, 5*c - 25 = -3*k. Suppose 3*d + k = -7. Sort d, 1, n in decreasing order.
1, n, d
Let y be 4 + (2 - 52/8). Sort -0.1, 0.4, y in decreasing order.
0.4, -0.1, y
Let a = 8 + -11. Sort 6/11, a, -0.3 in increasing order.
a, -0.3, 6/11
Let z = -2.7 - -1.6. Let t = z + 1.8. Let p = t + -0.7. Sort -2/7, p, -3 in descending order.
p, -2/7, -3
Let t(m) = 3*m + 12. Let d be t(-4). Suppose 0*s + 2*a = -4*s, 0 = -2*a - 4. Sort d, -1, s in descending order.
s, d, -1
Let v be 26 + (1 + 3)/(-2). Suppose -1 - v = -5*d. Put 0, -4, d in decreasing order.
d, 0, -4
Let f be (-48)/(-22) - -2 - 2*2. Put 0.21, 1/2, -1, f in decreasing order.
1/2, 0.21, f, -1
Let z be (-7)/((-3)/6*1). Suppose -6 = -5*j + z. Put -3, 1, j in decreasing order.
j, 1, -3
Let a be (5/(-10))/((-2)/12). Sort a, 1, 2 in descending order.
a, 2, 1
Let q = -7 + -2. Let s be 6/(-4) - ((-9)/(-6))/3. Put s, q, 1 in ascending order.
q, s, 1
Suppose i = s - 7, -7*s + 2*s = -4*i - 32. Let x = 1 - 0.5. Sort x, i, -0.2 in decreasing order.
x, -0.2, i
Let g = -6/19 - -118/133. Put g, 10, -2, -2/7 in decreasing order.
10, g, -2/7, -2
Let g = -212/1045 + 2/95. Let j = -1.8 + 4.8. Sort g, -0.3, j in increasing or