+ 1881, -3*p - 12 = -2*x. Sort m, 2, x, 4 in descending order.
m, 4, 2, x
Let b = -150 - -164. Suppose -b*n - 324 = -26*n. Put -5, n, 1 in decreasing order.
n, 1, -5
Suppose -3*l + 7060 = 5*l - 3364. Sort -2, 5, l.
-2, 5, l
Suppose -v + 75 = -0*q + 3*q, 2*v = -4*q + 160. Let t be v/12*2/3. Put t, 4, -7 in descending order.
t, 4, -7
Let d(z) = -z**3 - 25*z**2 - 154*z - 5615. Let g be d(-27). Let q = -7 - -17. Sort g, q, 2, 0 in increasing order.
0, g, 2, q
Let n = -6 - -11. Let x = -595 + 235. Let q = 355 + x. Sort -0.7, q, n in decreasing order.
n, -0.7, q
Let n be 754/(-30) + (-108)/(-810). Let q be n/(-9) - 40/(-180). Let a be 1*(6 + (0 - -1)). Sort a, q, -1 in increasing order.
-1, q, a
Suppose 72 = 1589*h - 1607*h. Sort h, 0, -5, 161 in ascending order.
-5, h, 0, 161
Suppose 5*w - 12*w - 42 = 0. Let p be 2 + 160/(-44)*(-3)/w. Sort p, 1/4, 0.4, 10 in ascending order.
p, 1/4, 0.4, 10
Let i = 785 - 708. Suppose -i*s = -92*s - 240. Let o be (-2)/(-7) + 24/14. Put 0, -4, o, s in decreasing order.
o, 0, -4, s
Let l = -3.12 - -0.12. Let q(o) = 12*o + 55. Let u be q(-5). Let p be (-27)/(-18) + u/(80/12). Put -0.1, l, p, -9 in decreasing order.
p, -0.1, l, -9
Let a(s) = -s - 473. Let i be a(11). Put 4, 2, i in decreasing order.
4, 2, i
Let c(k) = k**3 + 2*k**2 - 5*k + 15. Let o be c(-4). Suppose 8 = a - 4*t - 16, -o*a = t - 7. Sort -6, a, 3, 1.
-6, 1, 3, a
Let t = -17.95 - -18.11. Sort 18, t, -0.4, -4/3, 1/4.
-4/3, -0.4, t, 1/4, 18
Let i = 85.9 + -86. Let a = 43424/43 + -1010. Let o = -142/215 + a. Sort i, o, 4 in descending order.
4, i, o
Let y = -38668 - -38667.96. Sort -0.5, 4/3, -3, -1.21, y in decreasing order.
4/3, y, -0.5, -1.21, -3
Suppose -79 = 17*a - 164. Suppose -3*v + q - 105 - 27 = 0, -2*v - 88 = 4*q. Put 0, a, v, 2 in decreasing order.
a, 2, 0, v
Let f = 148.948 - 149. Let m = f + -0.248. Put -2/5, 2, m, 0.3 in descending order.
2, 0.3, m, -2/5
Let b(n) = -5*n**3 - 40*n**2 + n + 4. Let w be b(-8). Let r(d) = -4*d**2 - 6*d + 4. Let o be r(2). Put o, -2, w in increasing order.
o, w, -2
Let f = 1702 - 1492. Let x be ((-1)/2)/((-3)/12). Let n be (f/(-33))/x + 3/1. Put -3/2, 0, n in decreasing order.
0, n, -3/2
Suppose -h + 3 = -5*w, 4*w = -2*h + h + 30. Suppose 0 = -7*o + 4*o - h. Let x = -0.113 - -5.113. Put o, 3, x in decreasing order.
x, 3, o
Let q = -2648 - -2617. Sort -0.2, q, 0.4, 1, 2/11 in increasing order.
q, -0.2, 2/11, 0.4, 1
Let i = -251 + 250.9111. Let n = i + -4.9111. Sort -2/5, n, -0.1, -18.
-18, n, -2/5, -0.1
Let w(d) = 4*d**3 - d**2 + 2*d + 4. Let o be 8/20 + 21/(-15). Let c be w(o). Put c, 0, 38 in increasing order.
c, 0, 38
Let c(f) = f + 14. Let i be c(-7). Let d(v) = -133*v - 669. Let b be d(-5). Put -2, -3, b, i in decreasing order.
i, -2, -3, b
Let f be (-22)/(2 + -2 + 2). Suppose -5*n + 22 = 3*m, 3 = -n + 2*m - 3. Suppose -3*r - 18 = -r - 5*j, 0 = n*r + 3*j - 14. Put f, -3, r in increasing order.
f, -3, r
Let g = -17656 - -17653. Put -515, 3, 5, g in decreasing order.
5, 3, g, -515
Let c be 539/(-105) + 4/30. Let t = 30 - 31. Let o = -11 - -7. Sort o, t, c.
c, o, t
Let z(y) = y**2 + 6*y + 19. Let i be z(-3). Suppose -i*p - 15 = -15*p. Let c be 189/(-70) + 0 + p. Sort -0.3, c, 2/7 in increasing order.
-0.3, 2/7, c
Let m = -56 - -13. Let q = -41 - m. Suppose -4*h + 60 = q*h. Put -1, h, -2 in descending order.
h, -1, -2
Let m = 21.6684 + 0.0316. Let l = -23.7 + m. Let v = 5 + 0. Sort 1/2, v, l in ascending order.
l, 1/2, v
Suppose -18*r - r + 57 = 0. Let p be ((-3)/4)/r + (-1207)/(-284). Suppose h + h = 4. Sort h, 3, -3, p in descending order.
p, 3, h, -3
Let p = -4246 - -4250. Put p, 0.25, -0.01 in descending order.
p, 0.25, -0.01
Suppose -3*x + 29 = 4*j + 40, j + 3*x + 5 = 0. Let o be (-10)/(-30) + 23/3. Sort -1, 4, j, o in decreasing order.
o, 4, -1, j
Let s = 16787 - 49478/3. Put -4, s, 4 in ascending order.
-4, 4, s
Let a(s) = 35*s + 46. Let q be a(-7). Let i = q - -204. Put 4, 47, i in increasing order.
4, i, 47
Let g(q) = 35*q - 457. Let w be g(13). Sort 558, -0.5, w in decreasing order.
558, -0.5, w
Let l = -16 + 20. Let g be 1*((5 - l) + -1). Let a = g + -2. Put -1, a, 3 in ascending order.
a, -1, 3
Let k = 3999.08 + -3999. Sort -0.3, k, 17, -1, 4.
-1, -0.3, k, 4, 17
Suppose 55*g - 509 = 2186. Let m = -53 + g. Sort -13, 5, -3, m in decreasing order.
5, -3, m, -13
Let n = 599.7 + -553. Let x = n - 43.7. Put -5, x, -0.02, -0.4 in descending order.
x, -0.02, -0.4, -5
Let d be 24/666*(-237)/(-13). Let g = -30/37 + d. Sort g, -1/11, 1/7, -6.
-6, g, -1/11, 1/7
Let q = 1.26 + -15.26. Let g = -16 + 15.6. Sort -2/7, g, q.
q, g, -2/7
Let f(j) = -76*j**2 + 531*j + 11. Let v be f(7). Sort -3, v, -1, 10, 0 in decreasing order.
10, v, 0, -1, -3
Let r = 15391 - 15398. Suppose 0 = -h - 3*h - 8. Sort 0, r, h, 4 in decreasing order.
4, 0, h, r
Let p(f) = -f**2 - 29*f - 135. Let k be 4/(((-3)/12)/((-15)/(-40))). Let h be p(k). Sort h, -5, 13 in increasing order.
-5, h, 13
Let c be -8*((-3)/18 + 25/(-3) + 9). Put -8, -6, c, -14, 4 in decreasing order.
4, c, -6, -8, -14
Let g = -0.7 + 0.76. Let m = -15188 + 15187. Sort g, 1/4, m in increasing order.
m, g, 1/4
Let k(q) = 286*q - 2574. Let l be k(9). Let o = -126 - -257/2. Sort l, 0.3, o in descending order.
o, 0.3, l
Let h = -165.74 - -163. Let l = h + -2.26. Sort 0.8, l, 0 in decreasing order.
0.8, 0, l
Suppose 406*z + 1334 = 435*z. Put 5, -5, z, -4 in descending order.
z, 5, -4, -5
Let j(d) = -d**2 - 5*d - 4. Let l(h) = -h**3 - 12*h**2 + h + 8. Let z be l(-12). Let s be j(z). Suppose s = -i + 4. Sort -9, -5, -2, i in descending order.
i, -2, -5, -9
Let q be (-8368)/26 - (462/(-39) - -12). Let i = q - -319. Sort -4, -5, i, 6 in descending order.
6, i, -4, -5
Let k(m) = -2*m - 8. Let x be k(-19). Suppose -5*o + x = 5*d, 4*d = -1 + 5. Suppose 0 = -8*a + o*a + 33. Sort a, 4, -3 in decreasing order.
a, 4, -3
Let u be 0 + 30/(-6) + 3. Suppose 0 = -j + 104 - 101. Sort j, u, 5 in decreasing order.
5, j, u
Let d(x) = -16*x - 10. Let r be d(-5). Suppose -5*s + 3*s + r = 0. Let c be (-10)/s + (-9)/77*-4. Sort c, 1/4, -0.2 in decreasing order.
1/4, c, -0.2
Let n be 86/(-7) + 2/7. Let h(z) = -z**2 - 1. Let l(c) = c**3 + 8*c**2 + 11*c - 22. Let v(g) = 5*h(g) - l(g). Let t be v(n). Put 25, t, -5 in descending order.
25, t, -5
Let l(g) = g**3 - 3*g**2 - 2*g + 3. Let b be l(3). Suppose 2995 - 595 = 12*n. Let w = 200 - n. Sort b, 2, w in ascending order.
b, w, 2
Let p be (-24)/(32/(-4))*22/(-3). Let s be (-1 - -1)/(p - -23). Put s, -2, -88 in descending order.
s, -2, -88
Let r = 6 - 6.5. Let i = 87 - 143. Let n = i + 60. Put -1, r, -6, n in descending order.
n, r, -1, -6
Let x = -0.06 + 0.36. Let v = -14445 - -14447. Sort 1/3, v, -2, x in descending order.
v, 1/3, x, -2
Suppose 0 = 4*l - z - 18, -z = 10*l - 5*l - 18. Suppose -5*r + 17*r = -48. Put -56, r, l in decreasing order.
l, r, -56
Suppose 0 = -9*x - 15*x - 3168. Let y = -146 - x. Sort y, 0, 1 in descending order.
1, 0, y
Let h = 692 + -693. Let t(d) = -2*d**3 - 3*d**2 + d + 2. Let q be t(-2). Let j = 1.9 + -2. Put q, h, j in descending order.
q, j, h
Let z(b) = 91*b - 8104. Let w be z(89). Sort 0, 5, w, -186 in increasing order.
-186, w, 0, 5
Suppose -4*b - f = 13, 5*b = -1737*f + 1734*f - 18. Sort b, 2, -48, 20 in descending order.
20, 2, b, -48
Suppose -23*k + 17*k + 90 = 0. Suppose 3*r + 0 = k, -25 = -h - 4*r. Suppose -5*u - 30 = -h*g, 5*g = -6*u + 7*u + 18. Put g, -2, -0.3, -4 in decreasing order.
g, -0.3, -2, -4
Let l(v) = -v**2 - 7*v - 9. Let s be l(-4). Suppose -s*k + k + 12 = 0. Let h be ((-3)/(-2))/(9/k). Put 2/21, h, -1/3 in decreasing order.
h, 2/21, -1/3
Let c = -4173 + 12518/3. Sort -151, c, 5, 2 in descending order.
5, 2, c, -151
Let v = -4/5547 - -11162/94299. Sort -2, 33, -3/4, v.
-2, -3/4, v, 33
Let d = -9403 - -9405. Sort 1, d, 0.1, 98, 0 in ascending order.
0, 0.1, 1, d, 98
Let s be ((-41)/((-1230)/(-120)))/(0 + -1). Put -6, s, -0.1, -0.04, 2 in decreasing order.
s, 2, -0.04, -0.1, -6
Let p = -1558.3 + 1558. Sort -4, -5, 1/9, 2, p in increasing order.
-5, -4, p, 1/9, 2
Let s be 0 - -1*36/4. Let f be 6/s*24/16 - -1. Sort -4, -26, 4, f in descending order.
4, f, -4, -26
Let v = 679 + -649. Suppose -v*q + 165 = 3*q. Sort 4, q, -15 in ascending order.
-15, 4, q
Let u be (-8)/48*-18 + 3*2. Let r be 12/u*((-3)/(-1))/(-1).