3 + 16*p**2 + 16*p + 12. Let w be r(17). Put 37, -3, w in ascending order.
w, -3, 37
Let s = -11.95 + -0.05. Let r = -0.68 + 15.68. Let c = r + s. Sort c, -1, 2 in decreasing order.
c, 2, -1
Let x = 1119 + -1118.6. Sort x, -4, -44 in increasing order.
-44, -4, x
Let h = -12032/3 + 3976. Let b be (5/2)/((-9)/(-126)). Let o = h + b. Sort -2, o, 2 in increasing order.
-2, o, 2
Let l = -31.1 + 29. Let g = l - -1.1. Let i = g + 5. Put i, 3/5, 1 in ascending order.
3/5, 1, i
Let h be (-1 + 2)*(-19 + 1). Let k = h - -18. Let t = 0.5 + 0. Put k, t, 1 in ascending order.
k, t, 1
Let r be (-4)/8 + 130/(-20). Sort -2, -1, r in decreasing order.
-1, -2, r
Suppose -25*u = -3*u. Put -39, -3, u in increasing order.
-39, -3, u
Let w = -27 - -24.4. Let h = w + 0.6. Let n be -10 + (3 - -4) + (-10)/(-4). Sort 0, h, n in decreasing order.
0, n, h
Let g = 222 - 227. Put g, 4, -0.1 in descending order.
4, -0.1, g
Let m(l) = 2*l**2 + 7. Let d be m(4). Sort d, -1, 2.
-1, 2, d
Let d(o) = -92*o - 556. Let z be d(-6). Put 1, -3, 4, z in descending order.
4, 1, -3, z
Let q = -0.8 - -1. Let y = 0.1 - q. Let c = 1.15 + -1.55. Sort c, y, 3/5 in ascending order.
c, y, 3/5
Let g be 3 + 1 + -1 + 0. Let b = 27 + -28. Let u(x) = x**2 - 8*x + 5. Let i be u(7). Sort g, b, i in increasing order.
i, b, g
Let v = 3.51 - -1.49. Sort -23, v, -0.4 in increasing order.
-23, -0.4, v
Suppose a - 32 = -28. Sort a, 5, -13.
-13, a, 5
Let f(h) = 2*h - 9. Let a(w) = -w**2 + 4*w + 2. Let l be a(4). Suppose 5*z = 4*o + 11 + 11, 0 = l*z - o - 10. Let m be f(z). Put 4, m, -4 in decreasing order.
4, m, -4
Let l be (-702)/171 + 10/95. Put -32, l, -1, -3 in decreasing order.
-1, -3, l, -32
Let i = 18517 - 18516. Suppose 0 = 2*f + f + 6. Put f, -1, i in increasing order.
f, -1, i
Suppose -6 = -31*f + 180. Sort -4, f, 44 in decreasing order.
44, f, -4
Suppose 33*u - 31*u + 5*l - 11 = 0, -5*l + 7 = 4*u. Sort u, -5, -4 in descending order.
u, -4, -5
Let b = -18.2 - -16.2. Let s be (-1 - -2)/(-2 - -1). Sort s, -3, b, 0.7 in descending order.
0.7, s, b, -3
Let q be (-51)/85 + 12/(-5) + 3. Sort -9, 3, q in decreasing order.
3, q, -9
Let s be 7/2*198/231. Put s, -11, -4 in increasing order.
-11, -4, s
Let z = -1023.7 + 1024. Let b = 70 + -491/7. Put 0.2, 1/3, z, b in descending order.
1/3, z, 0.2, b
Let m(a) = 8*a**2 + 0*a**3 + 2*a + 15 + 6*a**3 - 5*a**3. Let g be m(-8). Put -16, -3, g in increasing order.
-16, -3, g
Let j be (6/(-5))/(6/(-20)). Suppose 5*z = z + 2*a + 24, 3*z + 5*a = -8. Suppose -6*p - 4 = -z*p. Put 1, p, j in ascending order.
p, 1, j
Let q(n) = n**3 - 5*n**2 - 2*n + 3. Let v be q(5). Let o be v/21*3*-3. Let p(u) = u**3 - 11*u**2 - 25*u - 9. Let k be p(13). Sort -1, o, k in increasing order.
-1, o, k
Let v be (-1)/((-2)/6) - -48. Suppose v*m - 47*m = 0. Sort -6, m, 4 in descending order.
4, m, -6
Let k = 2060/199899 + 2/1197. Put 2/13, 0, 1/2, k in descending order.
1/2, 2/13, k, 0
Let w(k) = k - 2. Let p be w(2). Suppose -d - 4*d - 25 = p. Suppose o + 132 - 131 = 0. Put o, d, 3 in ascending order.
d, o, 3
Suppose -5*c + 0*c + 2*u + 13 = 0, -3*u = -c. Let v(l) = -3*l - 2*l**2 + 10*l + 3*l**2 + c. Let a be v(-6). Put -2, -2/13, a in increasing order.
a, -2, -2/13
Let c = 1980/6881 - 2/983. Sort 241, c, -5.
-5, c, 241
Let r = -4.162 + -1.838. Sort r, 1/7, -7 in increasing order.
-7, r, 1/7
Let i = 51 - 563/11. Let o = -45 - -39. Let s = -11/2 - o. Sort -0.1, i, s.
i, -0.1, s
Suppose -5*n + 28 = -n. Suppose n*j - 5 - 9 = 0. Let q = -3 + 6. Sort q, j, 1 in decreasing order.
q, j, 1
Let c = 20.4 - 19. Let y = 2.4 - c. Suppose 1 = -z + 6. Put y, z, -0.4 in decreasing order.
z, y, -0.4
Suppose 17*t - 4*c + 8 = 15*t, 0 = 5*t + c + 20. Put 5, -5, t, 3 in descending order.
5, 3, t, -5
Let f(v) = -2*v**2 + 11*v - 20. Let w be f(2). Let j be 19/(-5) + (-72)/(-90). Put w, -4, j in increasing order.
w, -4, j
Let n(w) = -4*w + 1. Let v be n(1). Let p be (-9)/v*(1 - 0). Suppose -3 + 2 = -x. Put 0, x, p in increasing order.
0, x, p
Let m(t) = 25*t**2 + t + 2. Let r = 28 + -29. Let p be m(r). Let h = -25 + p. Put 10, -3, h in descending order.
10, h, -3
Suppose -2*h = 3*c - c - 84, 5*h + 3*c = 202. Let s = h - 35. Sort s, -0.5, -2.
-2, -0.5, s
Suppose b + b + 6 = 0. Let p be 12/(-8)*(-8)/3. Put p, b, 5, 2 in increasing order.
b, 2, p, 5
Suppose -4 + 34 = -6*p. Let x be (0 - 2)*((-9)/2 - -3). Sort p, 2, x in ascending order.
p, 2, x
Let w = 4 - 6. Let s(z) = z + 3. Let y be s(w). Sort -3, -4, y in decreasing order.
y, -3, -4
Suppose 16*f = 37 + 11. Sort f, 2/5, -0.131 in descending order.
f, 2/5, -0.131
Let m = -34 + 30. Sort -1, m, 5, 9 in ascending order.
m, -1, 5, 9
Let i = -0.1193 - -5.1193. Put 0.5, 0.22, i in decreasing order.
i, 0.5, 0.22
Suppose -3*y = -6, 2*n - 2*y - 3 = -5. Let i be (-2 - 55/(-35))*(-14)/2. Sort 7/2, n, i, -4/7 in increasing order.
-4/7, n, i, 7/2
Let l(x) = -2*x + 4. Let u be (-6)/(-4)*8/6. Let y be l(u). Sort 0.4, y, -2, -1.
-2, -1, y, 0.4
Let j = -371.99 + 372. Sort 5, j, 2, 3.
j, 2, 3, 5
Let k = -125 + 118. Let g(w) = 3*w**3 + 2*w**2 + 4*w + 2. Let q be g(-1). Put q, -4, 4, k in increasing order.
k, -4, q, 4
Let f be (-6)/(-33) - (-28)/(-33). Sort -1/3, -3/4, f, -4 in decreasing order.
-1/3, f, -3/4, -4
Let u = -4.3 - -1.3. Let b = -4 + u. Let q = -7 - b. Sort 4/5, 1, q in ascending order.
q, 4/5, 1
Let t be ((-12)/(-6))/((-438)/(-3)). Put -0.2, 2, t in descending order.
2, t, -0.2
Let v(p) = 2*p - 14. Let z(w) = w - 7. Let r(h) = 6*v(h) - 11*z(h). Let u be r(5). Put u, 5, 0.04 in increasing order.
u, 0.04, 5
Let o be (-4)/((-36)/135*5) - 0. Suppose -7 = -3*w - 4. Put o, w, 21 in ascending order.
w, o, 21
Let z be (-1 + -4 - -1) + 0/11. Sort z, -1, 4 in descending order.
4, -1, z
Suppose 1 = x - 13*y + 11*y, 0 = 3*y. Sort -7, -5, x in ascending order.
-7, -5, x
Let v be -2 + -2*(-4)/8*5. Suppose r = 4*z + 3*r + 12, -v*z = -5*r - 17. Let x = 8 - 3. Sort 1, z, x in descending order.
x, 1, z
Let d = -272 - -275. Put d, 4/3, -0.9 in descending order.
d, 4/3, -0.9
Let a = -1.299 - -0.799. Sort 82, -1/6, 3, a.
a, -1/6, 3, 82
Let s(x) = x**3 - 3*x**2 - 17*x - 7. Let g be s(6). Suppose -3*r = 2*c - 8, 3*r - 5 = -3*c + 4*c. Let n be c/(-4)*(-9 + 1). Sort g, 4, n in decreasing order.
4, n, g
Let z = 2008 + -2010. Sort -0.5, 0.5, z, 0.18 in ascending order.
z, -0.5, 0.18, 0.5
Suppose -2*q - 5*h - 20 = 0, 2*q - 30 + 10 = 5*h. Suppose q = 2*d - 8. Suppose a + 0 = -1. Put a, d, 3 in increasing order.
a, 3, d
Let f = -114/235 + 4/47. Let k = 163 - 818/5. Let p = -31/8 + 25/8. Put f, p, k in descending order.
f, k, p
Let x = -4 - -2. Let j = 3.3 + -1.1. Let y = j + -1.8. Put x, 1, y in decreasing order.
1, y, x
Let d = 3823 - 34409/9. Let x be (-2)/(-3) - (-5)/(-21). Put -4, d, 4/7, x in decreasing order.
4/7, x, d, -4
Let m = -2 + 2. Let a = -0.07 + 3.47. Let u = a + -0.4. Sort m, -1/3, u in descending order.
u, m, -1/3
Let o be 24/18 + 1/(-3). Let t(r) = r**3 + 3*r**2 + 3*r + 4. Suppose -2*m - 8 = 0, 4*j - 2*m + 3 = -1. Let g be t(j). Sort 0, g, o in descending order.
o, 0, g
Let p = 27 - 16. Let w = -34 - -31. Let o(q) = q**2 + 3*q. Let n be o(w). Sort p, n, -5 in ascending order.
-5, n, p
Suppose -5*q = n + 10, 12*q + 8 = n + 8*q. Sort n, -5, 28, 1 in increasing order.
-5, n, 1, 28
Let n be (-8)/(-30) - (-2)/(-7). Let h = n - 8/21. Put h, -2, 1/5 in decreasing order.
1/5, h, -2
Let c = -1/2152 - -199061/2152. Let s = 90 - c. Sort -3/7, 4, s, -0.5 in ascending order.
s, -0.5, -3/7, 4
Let s = -195 + 194. Sort 0.2, -5, s, -0.5.
-5, s, -0.5, 0.2
Suppose -3*j + 6*j - 12 = 0. Let g(m) = m**3 + 16. Let v be g(0). Suppose -4*s - 4*r = -v, -8 = -4*s - 3*r + 3. Sort j, s, 8.
s, j, 8
Let d be 9/(-7) - (1 - 2). Let p be 34/153 - (-184)/(-18). Let k be p*(3 - 10/4). Put k, 3, d in decreasing order.
3, d, k
Let u = -14 + 20. Suppose -3*a = 15 - 6. Put u, a, 1 in ascending order.
a, 1, u
Let l be 16/(-412)*49/5. Let n be 36/(-45)*(-5)/206. Let i = l - n. Sort -2/11, 4, i in decreasing order.
4, -2/11, i
Suppose -t + 20 = -6*t. Let v be t/(-10) - (-144)/40. Suppose -2*m - 13 = -3*r, -21 = v*r - 2*m + 7*m. Put -5/2, r, 0.1 in ascending order.
-5/2, 0.1, r
Let i be 0 - -2 - (4 - 40/18). Put -4, -0.3, i, -4/5 in decreasing order.
i, -0.3, -4/5, -4
Let v = -2 + 6. Let o be (7 - 65/(-10))*12/(-3). Let f be 