se -p*a + 2*a = 3. Sort a, 5, 1 in decreasing order.
5, 1, a
Let a(d) = -7 + 2 + d**2 + 0*d**2 - 4*d - 3. Let i be a(6). Suppose -4 = -2*w - 2*w. Put i, 0, w in decreasing order.
i, w, 0
Suppose -6 = -3*b + 9. Let p be -1 - (-1)/(2 - 1). Suppose d + p*d = b. Put 1, -5, d in decreasing order.
d, 1, -5
Let g = -0.13 + -6.87. Let a = -3 - g. Sort 7, a, 0.2 in descending order.
7, a, 0.2
Let y = 0.5 - 0.9. Let m = -6 + 8. Put y, m, -4 in ascending order.
-4, y, m
Let h(b) = -b**2 - 3*b + 4. Suppose 3*x + x - 8 = 0. Suppose i = -6 + x. Let w be h(i). Sort w, 2, -2.
-2, w, 2
Let d = -63 + 66. Sort -3, 4, d, 2 in increasing order.
-3, 2, d, 4
Let b = -19 - -29. Let y = b - 5. Sort 4, y, 3 in decreasing order.
y, 4, 3
Suppose -a - 4*m - 9 = -4*a, -5*a = 3*m - 15. Put 4/7, -7, a in descending order.
a, 4/7, -7
Let u = -21 - -17. Let l = 1 + -1. Let o = l + 0. Sort o, u, -0.2 in increasing order.
u, -0.2, o
Let r(j) = -j**3 - 5*j**2 + 15*j + 4. Let w be r(-7). Put 0, 4, w in increasing order.
w, 0, 4
Let s = 24 + -23. Let g = 3 + 1. Let u = -1 + g. Put 0.4, u, s in decreasing order.
u, s, 0.4
Let m(c) = 17*c**3 - 2*c**2 + c. Let p be m(1). Suppose -9 = 3*q - 2*z, 2*q + p = -2*z - 0. Suppose 2*g = g - 4. Sort q, 4, g in increasing order.
q, g, 4
Let z(x) = -x**3 + 2*x**2 + x + 4. Let i be z(3). Put i, 5, -4 in ascending order.
-4, i, 5
Let u = 9.11 - 0.11. Sort -0.4, u, -4 in decreasing order.
u, -0.4, -4
Suppose -11 = p - 0*p + 2*x, 2*x = 5*p - 5. Let f = 1 + -3. Let w(i) = -3*i + 1. Let j be w(2). Sort p, f, j in ascending order.
j, f, p
Suppose -7*l - 3 = 11. Let g(q) = -2*q - 4. Let d be g(-3). Sort d, 5, l in descending order.
5, d, l
Let a = 0.4 + 0.1. Let s = a - 0.1. Put s, -0.1, 1/4 in increasing order.
-0.1, 1/4, s
Let u(a) = -a - 16. Let f be u(-9). Let b = -6 - f. Let v = 1 - 4. Put v, 5, b in ascending order.
v, b, 5
Suppose -s = -4*s + 3. Let q(o) = -o**3 + o. Let v be q(s). Put -1, -3, v in descending order.
v, -1, -3
Let l = -4/31 + -42/155. Let a = 72.8 + -67. Let i = -6 + a. Sort -3, l, i.
-3, l, i
Let z = 10.2 + -15.2. Let h = -1 - -0.8. Put z, h, 5 in decreasing order.
5, h, z
Let i = 28 + -24. Sort 2/9, i, -0.2 in decreasing order.
i, 2/9, -0.2
Suppose -t - t + 8 = 0. Sort 3, t, -35 in ascending order.
-35, 3, t
Let g be ((-6)/2)/(-3)*2. Let d = 58 - 66. Sort g, d, -2 in increasing order.
d, -2, g
Let z = 14 + -17. Put -4/5, z, 5/2 in descending order.
5/2, -4/5, z
Let z = 74 + -74.04. Sort 1/7, z, 1.
z, 1/7, 1
Suppose -4*t = -9*t. Put t, 74, 1 in ascending order.
t, 1, 74
Let h = 2.06 + -0.06. Let n = -1 - h. Let g = -1 - n. Put -5, 0.4, g in decreasing order.
g, 0.4, -5
Suppose 0*h - 2*h = -5*x + 14, -h - 17 = -5*x. Suppose 4*d - 8 = 4*n + 20, h*n + 13 = d. Put n, 2, 0 in decreasing order.
2, 0, n
Suppose -a - 3*a = -2*l + 10, 20 = 4*l - 3*a. Let y(d) = d - 1. Let z be y(l). Sort z, 3, 5.
3, z, 5
Suppose 4*z - 68 = -0*z. Let y = z - 20. Sort -1, y, 5.
y, -1, 5
Let c(p) = p**2 - 5*p + 4. Let b be c(5). Suppose -12 = -4*q - 2*d, -4*q + 10 = -d + b*d. Put q, -3, 5 in ascending order.
-3, q, 5
Let y(i) = 2*i + 1. Let u be y(-3). Let w = -2 + 10. Let q = w + -5. Sort u, q, -2.
u, -2, q
Let n = -0.09 - 3.91. Let s = 7 + n. Sort 0.2, 2, s in increasing order.
0.2, 2, s
Let n(q) = 13*q - 76. Let j be n(6). Sort 0, j, 7 in decreasing order.
7, j, 0
Suppose -3*n + 2*n - 2*r = -5, -2*r - 10 = -2*n. Sort -3, n, 2 in descending order.
n, 2, -3
Let h = -1/532 + 457/532. Sort -0.2, 0.5, h, 2/13.
-0.2, 2/13, 0.5, h
Suppose -r - 1 = 4. Suppose 0 = -2*z + 9 - 3. Sort -1, z, r in decreasing order.
z, -1, r
Suppose -5*p = -0*p. Suppose 4*r + p - 12 = 0. Put r, 0, -1 in ascending order.
-1, 0, r
Let v = 37.9 + -38. Put -27, v, 5 in ascending order.
-27, v, 5
Let b be (10/3)/(-10)*(1 - 4). Put 1/7, -10, -2/11, b in ascending order.
-10, -2/11, 1/7, b
Let t be ((-2)/7 + (-52)/14)/(-14). Put -0.1, t, 0, 3 in descending order.
3, t, 0, -0.1
Let b be 0 + -4 - (-7)/((-14)/(-4)). Sort -17, 0, b.
-17, b, 0
Suppose -2*c = 2*t, -2*c - 4*t = -2 - 0. Let r = -2 - c. Let b = r + -4. Sort 2, b, -3.
b, -3, 2
Let c be -10*1/2*-1. Put c, 2, 0 in decreasing order.
c, 2, 0
Let u(z) = z**3 + z**2 - z + 10. Let x be u(0). Let i = x + -12. Let v(l) = -l**2 + 4*l. Let s be v(2). Sort -5, i, s.
-5, i, s
Let j(m) be the third derivative of m**4/24 + 2*m**3/3 + 3*m**2. Let x be j(-7). Put x, 0.1, -4 in ascending order.
-4, x, 0.1
Let o(p) = -p - 2. Let j be o(-7). Suppose j*w + 1 = -4. Sort 1, 5, w in descending order.
5, 1, w
Let h = -27.3 + 27. Sort h, -0.5, 2/23 in descending order.
2/23, h, -0.5
Suppose 3*g + 0*g = 18. Let v(c) = -c + 3. Let a be v(g). Sort -4, 0, a in decreasing order.
0, a, -4
Let p = 0 + -21. Let h be (-12)/p - 32/(-140). Sort -2, -3, h in descending order.
h, -2, -3
Let g = 0.054 - -0.156. Let k = g - -0.09. Sort 2/7, 3, k in ascending order.
2/7, k, 3
Let l = -98 + 101. Sort 5/4, 2/13, l.
2/13, 5/4, l
Suppose 0 = -4*i - 2 - 18. Sort -1, i, 2 in increasing order.
i, -1, 2
Suppose -7*g + 3*g + 2*k = 18, 5*g + 3*k - 5 = 0. Sort -25, g, 3 in decreasing order.
3, g, -25
Let p(j) = j**2 + 19*j + 23. Let i be p(-18). Sort 3, i, 4 in increasing order.
3, 4, i
Suppose -2*g + 5*s = -12, 5*g + 3*s + 16 = -16. Let k = -6 - g. Suppose -2*u - 8 = i + 3*i, -4*i + 4 = -4*u. Sort -4, k, i.
-4, k, i
Let f = -9 + 13. Let o = 0 - -1. Let d be (225/(-12))/5 - -3. Put d, f, o in increasing order.
d, o, f
Let i = -0.2 - 0. Let a(u) = -u + 6. Let d be a(6). Suppose -2*l - 4*j = -d - 2, 0 = 3*l + 2*j + 9. Sort -1/3, i, l in increasing order.
l, -1/3, i
Let j = 17.15 + -0.15. Let q = j + -17.2. Sort -6, -0.4, q in ascending order.
-6, -0.4, q
Let y = 842.97 + -847. Let u = y - -0.23. Let a = -4 - u. Sort 0.3, a, 2.
a, 0.3, 2
Suppose -3*r + 1 = -4*i + 2, -19 = 3*r + 5*i. Let g be (-9)/(36/16) - 0. Suppose -10 = -2*l + 7*l. Sort g, l, r.
g, r, l
Let m = 0.1 + -0.2. Let f = -1 - 2. Let d = -5 - f. Sort -3, d, m in ascending order.
-3, d, m
Let m = -15 - -11.4. Let l = -4 - m. Let k be (-15)/(-3 - 2) - -1. Put l, -0.1, k in descending order.
k, -0.1, l
Let f = 197/308 - 3/44. Let u = -1.02 - -0.02. Let i = u + 5. Put i, -0.4, f in increasing order.
-0.4, f, i
Suppose 5*m - 8 = 3*m. Suppose -1 = m*c - 13. Let n be 11/(-7) - -4 - 3. Sort c, n, -5/2 in descending order.
c, n, -5/2
Suppose -i + 5 = 4, -2*i = -4*a + 2. Suppose 3*d = -d - 20. Sort d, a, 2.
d, a, 2
Suppose 3*z - z + 0*z = 0. Put 5, 14, z in ascending order.
z, 5, 14
Suppose -15 = 5*b + 2*s + 8, 16 = -3*b + s. Sort -4/9, 2, b, 0.07 in increasing order.
b, -4/9, 0.07, 2
Suppose -5*l = 5*i - 0*i + 25, 4 = -2*l. Let s be -6 + 10 + i + 2. Put s, -5, 4 in ascending order.
-5, s, 4
Let b = 30 + -18. Let t(x) = x**2 - 10*x - 27. Let q be t(b). Put -5, q, -1 in descending order.
-1, q, -5
Suppose 0*x + 4 = -2*x. Suppose -5*l - 4 = 2*i, 3*l = -4*i + i + 3. Let z(t) = -t**3 + 2*t. Let m be z(l). Put -4, x, m in decreasing order.
m, x, -4
Suppose 7*o = 11*o - 20. Let s = -2 + 1. Let j = 2 + s. Sort o, j, -1 in decreasing order.
o, j, -1
Let d(t) = -t**2 - 4*t. Let b be d(-3). Suppose -2*a - 25 = b*a. Sort 4/9, 0.4, a in increasing order.
a, 0.4, 4/9
Suppose j + 0*v = -5*v + 2, 4*v = 5*j - 10. Suppose -5 = -2*b - 5*o, -2*o = 5*b - 0*o - j. Sort -5, b, 5 in ascending order.
-5, b, 5
Let z(g) = g**2 + 8*g + 1. Let h be z(-7). Let i be ((-15)/10)/(h/16). Put i, 0, 2 in ascending order.
0, 2, i
Let w = 2.8 + 0.2. Put -0.3, 2/15, w in descending order.
w, 2/15, -0.3
Suppose 0 = -2*j - 8 - 0. Let q = 2 + -7. Let y(k) = k**2 + 6*k + 7. Let n be y(q). Sort j, 0, n in ascending order.
j, 0, n
Let z be ((-1)/(-2 + 3))/(-1). Let p(v) = -v**2 + 3. Let m be p(0). Put z, m, 5 in descending order.
5, m, z
Let q be 3/(66/(-4)) + 9/(-11). Sort -5, q, -4, 4 in increasing order.
-5, -4, q, 4
Let x = -0.4 - -0.2. Let m be (-18 - 0)*1/(-3). Let p be m/(-30) + (-14)/(-120). Put p, 2, x in ascending order.
x, p, 2
Let a be 6/(-9)*(-15)/(-10). Put a, 3, -0.07 in decreasing order.
3, -0.07, a
Let m = -0.1 + 4.1. Put 1, m, 5 in ascending order.
1, m, 5
Let d be (-2*1)/(-2) + 3. Suppose d = -y - y. Let n be y - (-2)/((-6)/(-15)). Put n, 0, -3 in increasing order.
-3, 0, n
Suppose 4*r - r = -6, -6 = 2*d + 4*r. Let v(c) be the first derivative of -c**4/4 + 2