7. Let n be x(68). Put n, -380, 2 in increasing order.
-380, 2, n
Suppose 12*m + 35 = 19*m. Suppose m = -37*p + 32*p. Put 14, p, 0 in ascending order.
p, 0, 14
Let v(j) = 12*j**2 + 43*j + 30. Let r be v(-2). Put -4, 113, r, 1, 4 in descending order.
113, 4, 1, -4, r
Let m = 6295 + -31477/5. Sort m, -0.3, -1.61, -3 in decreasing order.
-0.3, m, -1.61, -3
Suppose 85 = -4*n + 5*o, 3*o = 30 - 15. Sort -1, -4, -5, n, 1 in descending order.
1, -1, -4, -5, n
Suppose -3*r + 1938 = -4*j + 2001, -2*j = -3*r - 45. Let t be 10/(-4)*4/2. Sort -3, 2, t, r in descending order.
2, -3, t, r
Let l = -6 + 8. Let a be (-4)/(-22) - (-6948)/(-99). Let q = a + 66. Sort l, -3, 4, q in descending order.
4, l, -3, q
Let d be 2*2/(-8) - -1. Let r be (-2541)/(-825) - (2 - 240/125). Put d, 0.06, r in ascending order.
0.06, d, r
Let t = 31 - 19. Let u be (28/t - 3)*-6. Let i be 10/8*(-21 + 25). Sort i, u, 0.
0, u, i
Suppose 0 = 2*u + 3*b + 27, 16 = -u - 0*u - 4*b. Let s be u/3 + 28/10 + 1. Sort -2/3, 0.01, s, 0.5 in ascending order.
-2/3, s, 0.01, 0.5
Let d = 1384.9 - 1385. Let p = 19 - 17. Sort 3, p, d, 0.01.
d, 0.01, p, 3
Let y be (-22)/99 - (-48)/(-27). Let o be (-5)/(y + 1 + -4) - 5. Let j = -5 + 3. Put j, 2, o, 4 in descending order.
4, 2, j, o
Let k be 3 + 0 - ((-31)/(-5))/((-18)/(-10)). Put k, -1/3, 1.8, 4 in descending order.
4, 1.8, -1/3, k
Let c = 39026 + -41034. Sort 4, 1, c.
c, 1, 4
Let s be 4/3*1/2*9. Suppose 21*h = -s*h - 135. Put -93, h, 1 in ascending order.
-93, h, 1
Let g = 43 + -41. Let i(u) = -u**3 - u**2 + 4*u + 2. Let d be i(-4). Let x = d - 23. Put 1, x, g in decreasing order.
x, g, 1
Suppose -4*t = 21 + 59. Let f = 14 + t. Let b = 32 - 32.3. Put -2, f, b in increasing order.
f, -2, b
Suppose 92 + 1140 = 22*z. Let u be (-2 - z/(-12)) + 2/(-3). Sort -3, 1, u, -5.
-5, -3, 1, u
Let c(b) = 2*b + 1. Let l be c(2). Let p(m) = -m**3 - 2*m**2 - 15*m - 10. Let i be p(-6). Suppose i = 11*u + 5*u. Put u, l, 3 in decreasing order.
u, l, 3
Let n = 10570 - 10566. Sort -4, n, -9, -13.
-13, -9, -4, n
Let d be 12/(-32) - 110/176. Sort 1811, d, 7 in descending order.
1811, 7, d
Let z = 36.5 - 163. Let j = z + 126. Put 6, j, -2/13 in increasing order.
j, -2/13, 6
Let g = 42041 - 42041.1. Sort 7/4, 46, g, 8 in decreasing order.
46, 8, 7/4, g
Suppose -3*s - 24 = u - 2, -48 = 2*s + 4*u. Let n be ((-1)/2)/((-2)/16). Put -3, s, n, -14 in increasing order.
-14, s, -3, n
Let h = 65 - 67. Let t(s) = -s**3 - 10*s**2 + 24*s - 4. Let x be t(-12). Let j = -29 - -26. Sort j, 1, h, x in decreasing order.
1, h, j, x
Suppose 2*k + 10 = -3*g + 1, -5*k = 3*g. Let l be -22*(6704/(-320) + 21) + (-1)/(-10). Sort k, -26, l.
-26, l, k
Let g = -12 + 20. Suppose 2*s + 3*s - 4*u - 2 = 0, -5*u = -s - g. Let d = 405 + -404. Put s, d, 4, -1 in decreasing order.
4, s, d, -1
Let w = -0.26 - -0.06. Let t = 45.6 - 17.6. Put w, t, -3, 0.5 in ascending order.
-3, w, 0.5, t
Let m be (-138)/92 + (-222)/(-4). Let r be 6/(m/(-4) - 3/6). Sort -4, r, 0.51.
-4, r, 0.51
Let s = 7214 - 7217. Sort 6, 0, s, -4, 60 in decreasing order.
60, 6, 0, s, -4
Suppose -4*i + h + 60 = 0, 0*i + 3*i = -h + 45. Suppose -2*g + 13 = i. Sort g, -8, -2, 0 in increasing order.
-8, -2, g, 0
Let y = 6 - 5.7. Let r = 12483 + -12482. Sort -1/4, 7, y, r in descending order.
7, r, y, -1/4
Suppose 70*x = 230*x + 1120. Put -1, -5, -40, x, 0 in descending order.
0, -1, -5, x, -40
Let i(j) = -j**3 - 12*j**2 - 1. Let r be i(-12). Let l be r + (845/(-20) - 3). Let v = l - -46. Sort -3, -34, v in increasing order.
-34, -3, v
Let t = 1.42 + 0.47. Let v = 0.11 + t. Let l = 2737 + -2742. Sort -15, v, l in descending order.
v, l, -15
Let r = -74.36 - -75.36. Let d = -14 - -16. Sort r, -6, -1/7, d.
-6, -1/7, r, d
Let l be (-11 - 1)*2/(4/(-39)). Let u = -937/4 + l. Sort 4, -2, u in descending order.
4, u, -2
Let b = 13108 - 13108.7. Sort 1/22, 3, 4, b.
b, 1/22, 3, 4
Let z be (15/760)/(3/(-73)) + 34/323. Put -1, 1/2, 23, z in descending order.
23, 1/2, z, -1
Let c be 2/9 + (-43)/(-9). Suppose -4*q = -s - 7*q + 13, -c*s - 5*q + 15 = 0. Suppose 0 = -14*k + 13 + 15. Sort 5, s, k in ascending order.
s, k, 5
Let d = 41/148 - 1/37. Let j(p) = -8*p**2 + 45*p - 10. Let c be j(7). Let o = c + 697/8. Sort d, 0, o, 0.03 in descending order.
d, o, 0.03, 0
Suppose 3*k - 10 = -2*d, 4*d = -8*k + 10*k + 20. Suppose 367 - 517 = d*w. Sort -5, 2, 1, w in descending order.
2, 1, -5, w
Suppose 5*x + 12 = 2*z, 0 = -12*x + 7*x + 20. Let c be (-16)/168 + z/42. Sort -2, c, -35 in ascending order.
-35, -2, c
Let s(h) = h**3 + 17*h**2 + 14*h - 12. Let g be s(-16). Suppose -9 = 11*o - g. Let n = -11 - -15. Put n, -1, o, 2 in ascending order.
-1, o, 2, n
Suppose 3*a + 6 = -5*c + 6*a, c + a + 6 = 0. Let k be c/(-3) - 11 - 0. Put 2, -16, k in decreasing order.
2, k, -16
Let v be 37 - 6 - (4 - 0). Let t = -28 + v. Sort 0, -4, -2, t in ascending order.
-4, -2, t, 0
Let t = 19257/4 + -4813. Put 0.4, t, -4/7, 32 in ascending order.
-4/7, 0.4, t, 32
Let n(s) = -s**3 + 25*s**2 + 6*s - 148. Let g be n(25). Suppose 2*t - 4 = -6. Let w be 54/(-12) - t/2. Put w, 6, g in decreasing order.
6, g, w
Let m = 1136/7 + -162. Let g be (20*(-1)/(-110))/2. Sort m, g, 4 in descending order.
4, m, g
Let p = -7584 - -7588. Let r = -7 - -10. Sort p, -2/17, r, 21.
-2/17, r, p, 21
Let y = -0.29 - 0.01. Let s be (-7)/22 + (330/(-20) - -17). Sort 17, -0.5, y, s in ascending order.
-0.5, y, s, 17
Let t = -74/17 - -467/119. Let b be -3 + 3/3480*2078. Let w = b + 1/116. Sort -7, t, w, 1 in descending order.
1, t, w, -7
Let t(l) = 3*l**2 + 135*l + 69. Let f be t(-47). Put f, 2, 5 in increasing order.
2, 5, f
Let g = 21 - 33. Let w be (4/(-24))/(g/16). Let b = 99 + -493/5. Put 3, b, w in increasing order.
w, b, 3
Let j = -6155 + 6153. Put -1, 8, j in decreasing order.
8, -1, j
Suppose 864 = -6*f + 48 - 564. Sort 0, 3, f, 1 in increasing order.
f, 0, 1, 3
Let x = 194/57 - 1609/456. Sort -2/13, -5, x, 0.2, -0.02 in descending order.
0.2, -0.02, x, -2/13, -5
Let d be 1/(10*1/180). Suppose -d*c = -13*c - 25. Sort 0, 10, -2, c.
-2, 0, c, 10
Let p(u) = -u**3 - 6*u**3 - 11*u - 5 + 10*u**3 - 4*u**2 - 2*u**3. Let j be p(6). Sort -7, j, -2 in descending order.
j, -2, -7
Let o = 3.628 - 3.428. Put 2/3, -5/204, o in decreasing order.
2/3, o, -5/204
Suppose 23*n = 21*n - 3*h + 4, -4*h = n - 7. Sort -42, -13, n.
-42, -13, n
Let j be 7/(-5)*10/(-4). Let d = -149084 + 149088. Put j, -0.1, d in increasing order.
-0.1, j, d
Suppose w + 3*r + 13 = 0, -w - 4*r = w + 16. Let d = 4 + -17. Let f(x) = -x**2 - 17*x - 54. Let b be f(d). Put 1, -5, b, w in decreasing order.
w, 1, b, -5
Suppose 2*p - 5*w - 57 = p, 0 = -2*w - 10. Let f = p - 44. Let t be (3/2 + -1)*(-4 - f). Sort -2, t, -19 in decreasing order.
t, -2, -19
Suppose -24*a + 546 = 2*a. Suppose x - 4*p + 10 = a, 3*p = 3*x + 3. Let n(v) = v**2 - 4*v + 3. Let g be n(3). Sort 2, x, 5, g.
x, g, 2, 5
Suppose 424 - 88 = 24*a. Let l = 7 - 3. Suppose 0 = -l*g - g - 25. Sort g, a, -1 in descending order.
a, -1, g
Let w = 412.4 - 443.4. Sort w, -0.7, 1, 4 in increasing order.
w, -0.7, 1, 4
Suppose -21 = -q - 18. Suppose -3*i + 54 = q*w, -4*w + 46 = 5*i - 23. Let z be 9/w*(-42)/(-6). Sort -4, -2, -1, z.
-4, -2, -1, z
Let h be (-608)/(-1615)*-5 + 2. Sort h, -0.1, -93, 0.8 in increasing order.
-93, -0.1, h, 0.8
Let g = -639.12 + 646. Let r = 10.88 - g. Sort -1, -3/8, -0.3, r in descending order.
r, -0.3, -3/8, -1
Let l = -3901 + 3899. Sort -42, -4, l.
-42, -4, l
Let u = 177 - 177. Suppose u = 5*w - p, 1 + 0 = 4*w - p. Sort 5, w, -10.
-10, w, 5
Let x = -3535 - -3530. Sort -0.3, 4, 39, x.
x, -0.3, 4, 39
Let s = -1496 + 1491. Put 4, s, 2, 12 in ascending order.
s, 2, 4, 12
Let j = 32696 + -32666. Put -3, -98, j in descending order.
j, -3, -98
Suppose 5*a + 40 = -5*z + 7*a, 40 = -2*z - 4*a. Let c be 18/z + 11 + -13 - -4. Sort 1/3, c, -6, 0.14 in descending order.
1/3, c, 0.14, -6
Let z = -172 - -172.2242. Let a = z - 0.0242. Sort 5, a, -0.2 in descending order.
5, a, -0.2
Let j = 0.06 + 0.24. Let z = -560 - -558.595. Let r = z + 0.105. Put 0, r, -5, j in increasing order.
-5, r, 0, j
Suppose -2*p = -4*p. Let h = 84 + -88.12. Let u = h + 0.12. Sort p, -1/6, u.
u, -1/6, p
Let y = -3 - -2.5. Let p = 211 + -360. Let c = p - -152. Sort 3/8, c, 1, y in descending order.
c, 1, 3/8, y
Suppose b + 5*y 