 2. Sort p, o, d in increasing order.
p, d, o
Let r(i) = -i**2 - 25*i + 5. Let u be r(-25). Sort -1/2, -0.4, 1/5, u in increasing order.
-1/2, -0.4, 1/5, u
Let k(c) = -3*c. Let z be k(1). Sort 3, 4, z in decreasing order.
4, 3, z
Let y(q) = 8 + 2*q + 10 - 17. Let v be y(1). Let p = -4 - -3. Sort v, 0, p.
p, 0, v
Let v = -0.4 + -1.6. Sort -2/5, 3/2, v in descending order.
3/2, -2/5, v
Let t = -0.281 - 0.019. Put t, -0.2, 13/5 in descending order.
13/5, -0.2, t
Let g be (102/(-255))/((-2)/(-10)). Let f = -2 + 1. Put f, g, 1 in ascending order.
g, f, 1
Let v = 20.3 - 20. Let h be 4/18*3/2. Sort -5, v, h in descending order.
h, v, -5
Suppose 4*l + 2 - 6 = 0. Put l, 0, 5 in decreasing order.
5, l, 0
Let l(d) = -d**3 + 3*d**2 + 5*d - 1. Let j be 2/(-4)*-2*4. Let n be l(j). Suppose -p = 5 - n. Sort 0.2, p, 1.
p, 0.2, 1
Let c = -2 + 1. Let p = 4 - 3. Sort 4, c, p in descending order.
4, p, c
Suppose -3*y = -4*y - 5*i + 9, 3 = y + 2*i. Suppose -2*g + x = 3, 4*g + 5*x - 3*x + 26 = 0. Let f = g - -2. Sort f, y, -5 in decreasing order.
y, f, -5
Suppose -5*a - 8 - 12 = 0. Let c be (-5)/(-4) - 3/(-4). Sort c, -5, a in decreasing order.
c, a, -5
Let k(w) = w**3 + 3*w**2 + w. Let i be k(-3). Let f = -3 - i. Sort -2, f, -4.
-4, -2, f
Let c = 94 + -94.3. Put 4, 2, 4/7, c in decreasing order.
4, 2, 4/7, c
Let h = -1 + 0.9. Let n = -11.4 + 7.5. Let t = h + n. Sort t, 3, 5 in descending order.
5, 3, t
Let t(h) = 3 + h**2 - 3*h**2 + 5*h + 0 - h**3 - 3*h. Let m be t(-2). Sort 0, 4, m.
m, 0, 4
Suppose -3*q + 8 = -2*q. Suppose -4*p = -0*j - 2*j - q, 3*j - 16 = -p. Let z = 3 - 5. Sort -3, z, j in increasing order.
-3, z, j
Let m = -91.4 + 91. Let h = -63 + 57.6. Let k = -5 - h. Sort 1, k, m in decreasing order.
1, k, m
Let m(j) = j**2 - j**2 + 5*j + j**2 - 3. Let t be m(-6). Suppose -2*h = 4*s - t*h + 21, 3*h = s + 8. Sort -2, -1, s in descending order.
-1, -2, s
Let m be 54/15*15/(-6). Sort m, -1, -2.
m, -2, -1
Suppose -13*i - 4 = -17*i. Sort i, 4, 0 in decreasing order.
4, i, 0
Let d = -48 - 22. Let m = d - -421/6. Sort -0.4, 4, m in ascending order.
-0.4, m, 4
Let h = -68 + 67. Sort -3, h, -0.5, 1.
-3, h, -0.5, 1
Let c = 21 + -20. Put -1/6, -2/5, c, 0.5 in decreasing order.
c, 0.5, -1/6, -2/5
Let p = 79/3 - 27. Sort 0.1, p, -2 in descending order.
0.1, p, -2
Let a be 2/(-5) + 17/5. Let j(l) = -l**3 + 2*l**2 - 2*l + 2. Let x be j(a). Let w = -8 - x. Sort -3, w, 4.
-3, 4, w
Let q = -0.21 + -3.79. Sort 0.12, q, -5 in decreasing order.
0.12, q, -5
Let d be ((-4)/(-3))/((-4)/4). Let q = 7 + -7.3. Let z = -0.8 - q. Put z, d, 2/13 in ascending order.
d, z, 2/13
Let d = -3 - -15. Suppose -3*q - 2*q + 2*j + d = 0, 2*j = 8. Put q, 1, 0 in ascending order.
0, 1, q
Let z(s) = s**3 - 4*s**2 - 7*s. Let q(n) = n**2 + 2*n. Let l(y) = -7*q(y) - 2*z(y). Let c be l(2). Let p be (c/(-45))/((-2)/(-3)). Sort -4, 3, p.
-4, p, 3
Let x be 4/30 - (-3)/(-9). Let j(f) = -f**3 - 8*f**2 - 8*f + 1. Let b be j(-7). Let g be (b/14)/(50/35). Sort g, x, -3 in descending order.
g, x, -3
Let n = -30 + 17. Let m = n - -8. Sort 2, 4, m in decreasing order.
4, 2, m
Let f = -3 - 0. Let a = 38 - 5. Suppose 5*y + a = -4*t, -t + 8 = y - 3*y. Put f, -5, t in ascending order.
-5, f, t
Let y = -3.1 + 3. Let g = 0.4 - -4.6. Sort y, -2/3, g in descending order.
g, y, -2/3
Let g = -12 - -17. Sort g, 7, -0.5 in descending order.
7, g, -0.5
Suppose -5*p - 1 + 17 = -3*g, -2*g - 5*p + 6 = 0. Sort g, 5, -5 in decreasing order.
5, g, -5
Suppose 5*n + 4*d = -13, n + 5*d + 11 = -0*n. Let x = 92 - 62. Let w = 30 - x. Put n, w, 2 in descending order.
2, w, n
Let w(h) = h**3 + 3*h**2 - 1. Let s be w(-3). Let o be (2/(-4))/((-43)/(-430)). Sort 4, o, s in descending order.
4, s, o
Let b be (-26)/12 + 2/3. Let c be ((-3)/18)/(0 - 1). Put c, 0.1, b in decreasing order.
c, 0.1, b
Let u = -33 - -33.76. Let i = 0.26 - u. Sort i, -0.2, -2 in increasing order.
-2, i, -0.2
Let r(v) = 23*v + 1. Let o be r(-2). Let x be 2 - (-3)/(o/33). Sort x, 2, 0.1 in decreasing order.
2, 0.1, x
Let x = 18 - 13. Suppose x*t - 21 = -3*s + s, s = 2*t - 3. Sort -3, 1, s in decreasing order.
s, 1, -3
Let u(p) = 3*p - 1. Let y be u(1). Let g = 17.93 - 18. Let n = g - 0.23. Sort 0.5, n, y in descending order.
y, 0.5, n
Let c(w) = w**2 - 4*w - 2. Let m be c(-4). Let b be (3/1)/((-405)/m). Put b, 0.07, -5 in descending order.
0.07, b, -5
Let p be (-1 + 1)/(-2 - 0). Suppose p = 5*n - 2*f, -f = -0*f. Let k(v) = v - 4. Let u be k(9). Sort u, n, 1 in descending order.
u, 1, n
Suppose 2*v + 2 = v. Put -0.5, 6, v in ascending order.
v, -0.5, 6
Suppose -4*l + 5*o = 2*o + 21, o = -l. Sort -4, l, -5 in descending order.
l, -4, -5
Let w be 1/(((-3)/(-4))/(-3)). Let i(h) be the first derivative of h**3/3 + 5*h**2/2 + 3*h - 1. Let z be i(w). Put 1, z, 4 in descending order.
4, 1, z
Let d = 29 + -17. Let t be 10/d + 3/6. Sort 0.2, -4, t in descending order.
t, 0.2, -4
Suppose 5 - 3 = 5*h - 3*l, 0 = 2*h - 2*l. Sort -5, 3, h in decreasing order.
3, h, -5
Let w = -0.05 + -6.95. Sort 1/2, 1/5, w in descending order.
1/2, 1/5, w
Suppose -4*f + 2 = -2*x, -f + 13 = -4*x - 5. Put -10, f, -3 in ascending order.
-10, -3, f
Let z = -3.93 - 0.07. Let k = -0.02 + 2.52. Let q = k + -2. Put q, 1/3, z in decreasing order.
q, 1/3, z
Let y(l) = -l. Let f be y(-1). Suppose 0*i = -2*i. Suppose 2*v - v + 2 = i. Sort -1, v, f in descending order.
f, -1, v
Let b be ((-6)/(-9))/(30/(-10745)). Let v = 239 + b. Let i = 2.6 - 3. Put 6, v, i in descending order.
6, v, i
Let k(u) = -2*u - 1. Let n be k(1). Suppose 5*p + 2*v = 3, 3*p = -5*v + 11 + 6. Put 5, n, p in ascending order.
n, p, 5
Let m(q) = -q**3 + 3*q**2 + 5*q. Let p be m(4). Suppose -20 = -0*u + 4*u. Sort 1, p, u in decreasing order.
p, 1, u
Let h = 71 + -211/3. Let q = -6 - -2. Let z = -7.7 - -8. Sort z, q, h in descending order.
h, z, q
Let h = 2.5 + -2. Let l = -5 + -3. Let v = -8 - l. Put h, -0.4, v in descending order.
h, v, -0.4
Let j be (-2 - -3) + 1 - -6. Suppose -3*s + j = -s. Put -5, s, -2 in increasing order.
-5, -2, s
Let f be 22 - 29 - 1*(1 - 5). Put -5, -2, f in increasing order.
-5, f, -2
Let w(n) = 4*n**3 - 2*n**2 + 1. Suppose 4*k - 8 = 3*c - 7*c, -k + 5 = 4*c. Let l be w(k). Put 10, -1, l in decreasing order.
10, l, -1
Let l(x) = 5*x - 4*x + 3 + 0*x - 4 - x**3. Let p be l(-2). Suppose p*d = 4 - 29. Sort 3/2, 3, d in ascending order.
d, 3/2, 3
Let v(c) = -2*c**2 + 11*c + 3. Let r be v(6). Put 0, -1, r, 4 in increasing order.
r, -1, 0, 4
Let a = -5 - -9. Let y(s) = 5*s - 29. Let x be y(6). Let b be (-2)/(a/(-10)) - x. Put 0, b, 1 in ascending order.
0, 1, b
Let m be (-1)/((-20)/(-12) - 2). Sort -5, m, 1 in decreasing order.
m, 1, -5
Let a be (-2)/(-10) - 4/(-5). Suppose 5*d - 6*d = 6. Let i be 27/14 + d/4. Sort i, 5, a in descending order.
5, a, i
Let s = 0.24 - 2.24. Sort s, -3, -2/13 in ascending order.
-3, s, -2/13
Let x = -47/80 - -3/16. Let i = 3.9 + 0.1. Let k = i + -2. Sort k, 0.2, x.
x, 0.2, k
Let n = -10.6 + 11. Let z(j) = j + 6 + 2 - 1. Let o be z(-5). Put -0.5, n, o in decreasing order.
o, n, -0.5
Let y be 3*(-2 - -3) + 1. Suppose 0 = -4*v - 5*q + 9, q - y = -3*v - 0*q. Sort 0, v, -4 in ascending order.
-4, 0, v
Suppose -79 = 5*v - 4. Let q = v - -11. Put 4, -1, q in ascending order.
q, -1, 4
Suppose 20 = -2*v + 6*v. Suppose -r - r - q = -5, 5*r = -5*q + 5. Put v, r, -4 in descending order.
v, r, -4
Let c = 129 - 1543/12. Let m = c + -49/60. Sort m, -3, -2.
-3, -2, m
Let t = -0.431 + 0.031. Sort -4, 1, t.
-4, t, 1
Let a = 2 - 1. Suppose 3*d + 12 = 3. Sort d, a, -2 in ascending order.
d, -2, a
Suppose 6 = -a - i + 1, 0 = -a + 3*i + 3. Sort 2, a, -4.
-4, a, 2
Let z(r) = r**2 - 2*r + 3. Let v be z(0). Let k = 3.2 + -3. Put 0.3, v, k in decreasing order.
v, 0.3, k
Let x be (-2)/9 + (-48)/(-54). Suppose -6*c = -2*c - 4. Let d be 14/10 - c - 1. Sort d, x, -2/5 in decreasing order.
x, -2/5, d
Suppose 7*y - 15 = 2*y. Suppose 2*r + 4*s - 20 = 0, r + 3*s + 13 = y*r. Let d be 2/(-4) + 2/r. Sort d, -1/3, 5 in descending order.
5, d, -1/3
Let w(n) = -n**2 - 3*n + 3. Let q be w(-4). Let v be (-46)/(-102) + q/3. Let o = -143 - -1289/9. Sort v, 1/3, o in ascending order.
v, o, 1/3
Let v be 1/(-4 - -1 - -4). Suppose -v - 3 = 2*h. Let w(r) = -r**3 + 5*r**2 + 7*r - 7. Let q be w(6). Sort h, q, 1 in descending order.
1, q, h
Let