7. Let i = t - 66. Put i, 0, 5 in increasing order.
i, 0, 5
Let k = -247 - -252. Suppose -24*p = -23*p - k. Suppose 3*s - 2*i - 3*i = 10, -5*s - 5 = -4*i. Put p, s, 3 in ascending order.
s, 3, p
Let u(i) = 35*i + 3919. Let b be u(-136). Sort -4, 4, b, 2.
b, -4, 2, 4
Let n = 4.95764 + 0.04236. Suppose 4*m + 12 = -0*m. Put 0.01, m, -1, n in decreasing order.
n, 0.01, -1, m
Suppose 2*b - 1 = b. Let r = -1275 - -1274. Sort -1/6, b, 2/9, r in descending order.
b, 2/9, -1/6, r
Let d be 23/(-253) + 68/22. Suppose 1 = d*a - 2*a - s, 2*s - 28 = -3*a. Put -5, 7/2, 2, a in decreasing order.
a, 7/2, 2, -5
Let v be 2 - -13 - 528/32. Put v, -3, 5.4, 3 in descending order.
5.4, 3, v, -3
Let n = 18 + 0. Let x(a) be the first derivative of -12*a**2 - 23*a - 4. Let l be x(-1). Put 2, n, l in ascending order.
l, 2, n
Let f(h) = -13*h - 47. Let g be f(-6). Suppose -19*q - g = 64. Sort q, -89, -3 in decreasing order.
-3, q, -89
Let x be 14 - 35 - -17 - -13. Sort x, -5, -4, -190 in decreasing order.
x, -4, -5, -190
Let u be -5 + 2 + ((-21)/7 - 5). Sort 0, -6, 2, -2, u.
u, -6, -2, 0, 2
Suppose 4*b + 3 - 11 = 0. Suppose 0 = b*u + 8 - 12. Let q(t) = -t**2 + 7*t + 31. Let c be q(9). Put c, u, 1 in descending order.
c, u, 1
Let o(c) = 56*c + 667. Let z be o(-12). Put 5, 22, 4, 51, z in ascending order.
z, 4, 5, 22, 51
Let d(x) = x**2 + 7*x + 9. Suppose 42 = -4*g + 6. Let k be -1 + g/(-11) - 42/11. Let n be d(k). Put n, -5, -6 in increasing order.
-6, -5, n
Let r = 7139/6 + -1189. Put 1, r, -0.13, -2/3 in decreasing order.
1, r, -0.13, -2/3
Suppose -7*k - k = 14*k + 66. Sort -5, 9, k, 6 in ascending order.
-5, k, 6, 9
Suppose 0 = 182*k - 191*k + 288. Let p be 6/(-51) - k/17. Put p, 26, 1 in ascending order.
p, 1, 26
Let k(c) = 6*c - 9. Let g be k(3). Let q(b) = -4*b + 37. Let t be q(g). Sort t, 4, 48 in increasing order.
t, 4, 48
Let z = -194 - -170. Let w be (160/z - -8)/((-2)/6). Sort 0, w, 6 in decreasing order.
6, 0, w
Let u = -45.7 + -2.8. Let b = 1150 - 1198. Let x = b - u. Put -12, 2, x in increasing order.
-12, x, 2
Let f = -42 - -25. Let u = 71622 - 71618. Put u, -3, f in ascending order.
f, -3, u
Let m = 6 + 4. Let j be 3 + (59 + -3)/(-8). Sort -3, j, -2, m in ascending order.
j, -3, -2, m
Let b = -4547.2349 - -4547. Let l = b - -0.0349. Put -0.06, 3/4, l in decreasing order.
3/4, -0.06, l
Let n = -5024 + 5020. Sort 5, -5, -0.2, 1.2, n in increasing order.
-5, n, -0.2, 1.2, 5
Let t = 48889 - 48894. Let x be ((-4)/10)/(2/10). Let u(z) = -z**3 - 3*z**2 - 2*z - 2. Let k be u(x). Sort 0, k, t, 1.
t, k, 0, 1
Let a = 40 - 36. Suppose -a*h - 3*c - 1 = 0, 3 = -3*c + 6. Let p be (-1 - h) + (-24)/6. Put p, 1, 1/10, 7/5 in increasing order.
p, 1/10, 1, 7/5
Let c = -15300 + 15292. Sort -3, 0, c, -4/43, -0.1.
c, -3, -0.1, -4/43, 0
Suppose 0*r - 39*r - 108 + 303 = 0. Put r, -0.19, 17 in decreasing order.
17, r, -0.19
Let g = -142.1 + 152.3. Sort 3, g, 4/7 in increasing order.
4/7, 3, g
Let u(s) = 405*s + 6477. Let o be u(-16). Sort 4, o, 0, 14, 1 in ascending order.
o, 0, 1, 4, 14
Let b = -0.1 - -0.8. Let r = 2 - b. Let f = 297 + -593/2. Put f, r, 3/2 in decreasing order.
3/2, r, f
Let u(y) = -20*y + 3*y + 100 - 12 + 3*y. Let g be u(6). Put 5, g, 3, -21 in decreasing order.
5, g, 3, -21
Let r = 0.82 + 2. Let t = 2.42 - r. Let k = 2 + -1. Put 1/3, t, -8, k in ascending order.
-8, t, 1/3, k
Suppose t = 1 + 3. Let n be (-42)/105*60/(-8). Suppose -n*l + 5*d = 40, -2*d = t*l + 3 + 7. Sort l, 4, -8, 2 in decreasing order.
4, 2, l, -8
Let l be 195/(-450) - (-1 - 5/(25/(-2))). Sort -0.2908, l, 4 in ascending order.
-0.2908, l, 4
Let s = -1 - 2. Let a be -55 - -5 - (0 - (-1 - 1)). Put s, -5, a in descending order.
s, -5, a
Suppose 3028*n = 3026*n + 16. Suppose 5*q - 14 - 11 = 0. Sort n, q, -5, -3.
-5, -3, q, n
Let q(r) = 4*r**2 + 97*r - 185. Let v be q(-26). Sort 0, v, -4, 3.
-4, v, 0, 3
Let a = 69.9 + -106.3. Let b = a + 36.7. Sort b, 1, 0.1, -1/4.
-1/4, 0.1, b, 1
Let p = 20294 - 20299. Put -3, -826, 0, -4, p in decreasing order.
0, -3, -4, p, -826
Let a = -54863 - -54862. Let s be 1/(1*1/(-2)). Let k be -3*(-2)/6*s. Put 0, k, a in descending order.
0, a, k
Let g = -56.91 - -57.11. Put g, -0.2, 4, -2/25 in decreasing order.
4, g, -2/25, -0.2
Let t = 79 + -78.6. Let n = -5.65 + -0.15. Let w = -6 - n. Sort w, t, -1 in descending order.
t, w, -1
Let r = -127.1 + 128.6. Sort r, 5, 0.6, -0.1, -4/5 in descending order.
5, r, 0.6, -0.1, -4/5
Let w = 11716 + -11696. Sort -0.8, 11, w in descending order.
w, 11, -0.8
Let g be 29/(-4) - 12/(-16). Put 0.7, -1, 0.4, g in descending order.
0.7, 0.4, -1, g
Suppose 256*i - 56*i = -1 + 1. Put 1, i, 2, 24 in descending order.
24, 2, 1, i
Let j(x) = x**3 - 45*x**2 + 51*x - 303. Let h be j(44). Put 16/3, h, 3 in descending order.
16/3, h, 3
Let s be 4/42 + 4/(-6). Suppose 14*b + 623 - 263 = 318. Sort s, -4, b, -0.4.
-4, b, s, -0.4
Let g be -1 + (-5 - (-27)/3). Let t(f) = -f + 20. Let p(z) = 2*z - 19. Let l(n) = -2*p(n) - 3*t(n). Let b be l(-17). Put g, b, -9 in increasing order.
-9, b, g
Let c(h) = -h**3 + 2*h**2 - 4. Let v be c(2). Let t be ((-16)/9)/v*(-9)/6. Sort 0, -0.1, -2/11, t in decreasing order.
0, -0.1, -2/11, t
Let j = -225 - -151. Let n = -76 - j. Let y = 4 - 4.1. Put n, 3, y in ascending order.
n, y, 3
Let w be ((-5)/35)/((-20)/700). Let n be 9/(-3) + (-1 - -1). Put n, w, 0 in increasing order.
n, 0, w
Let t(f) = 15 - 21 + 3*f - 4 + 0*f. Let c be t(3). Sort 3, 1, c, 5 in increasing order.
c, 1, 3, 5
Let k = 0.3 + 0. Let s be ((-1)/18*192/144)/(2/(-9)). Sort k, s, -0.4, -1.
-1, -0.4, k, s
Suppose -2*m + 84 = 4*a, 143 = -3*a + 2*m + 192. Put 48, 0.5, 1/6, a in ascending order.
1/6, 0.5, a, 48
Suppose -16*f + 36 = -25*f. Suppose 15 = 18*q - 15*q. Let a = 56 - 53. Sort a, f, 8, q in ascending order.
f, a, q, 8
Let q = 18642.8 + -18645. Sort 1/2, -21.8, q in decreasing order.
1/2, q, -21.8
Suppose -t + 4 = m + 6, -20 = 3*m + 5*t. Sort 1, 4, 0, m, 37.
0, 1, 4, m, 37
Suppose 154*r = 182*r - 140. Suppose 0*z + 28 = 4*z. Suppose 15 = z*j - 10*j. Put j, -4, -1, r in decreasing order.
r, -1, -4, j
Suppose 10*m + 20 = 5*m. Let o(w) = 3*w**3 + 172*w**2 + 41*w - 917. Let h be o(-57). Sort 0, m, h, 4 in decreasing order.
4, 0, m, h
Suppose -14 = 2*g + 5*b, -g - 181*b - 4 = -180*b. Put 11, 1, g, -1, 2 in decreasing order.
11, 2, 1, -1, g
Let d be ((-22)/77)/(7 + 48/(-7)). Suppose -2*i - 10 = 0, 0 = 3*x - 6*i + 2*i - 11. Let m(f) = f**3 - f. Let v be m(1). Put v, -4, d, x in decreasing order.
v, d, x, -4
Let t be (1 - -2 - 0)/(12 + (-13 - 0)). Put 1, 433, 4, t, -4 in decreasing order.
433, 4, 1, t, -4
Let u(k) = 4*k**3 + 176*k**2 + 4*k - 56. Let l be u(-44). Sort l, 2, -2.
l, -2, 2
Let r = -33534 - -33574. Sort r, -2/9, -1/3, -5, -1.
-5, -1, -1/3, -2/9, r
Let t = 250 - 251. Suppose -5*c + 5 = -10. Let k = c - 7. Put t, k, 5 in decreasing order.
5, t, k
Suppose -15*h = 25 - 100. Suppose h*p = 3*k + 7*p + 6, 5*p + 15 = 0. Put k, -18, 3, -1 in increasing order.
-18, -1, k, 3
Let v be -6*(-4)/(-6) + 2. Suppose -6*m + 4*m = z, 1 = m. Let f be z/4 + 3/(18/(-21)). Sort -1, f, v in descending order.
-1, v, f
Let g be (6136/(-156) - -38) + (-20)/(-18) + 0. Sort 53, -4, -0.6, g in descending order.
53, g, -0.6, -4
Suppose 8*i + 4*c = 4*i - 24, -4*i = -5*c - 21. Let r(o) = o**3 - 53*o**2 + 497*o - 198. Let t be r(41). Sort -2, i, -6, t.
-6, -2, i, t
Let q = -234.53 - 1.47. Let s = q - -236.2. Sort -3/4, s, 5, 0.3 in descending order.
5, 0.3, s, -3/4
Suppose -13 = -3*t + 2. Suppose -4*c - 3*n = 119 + 85, -3*c - 124 = -t*n. Let p = c + 46. Put -5, p, 4, 3 in descending order.
4, 3, p, -5
Let i = 5.164 - 2.564. Sort 4/5, 0.3, 11, i.
0.3, 4/5, i, 11
Let r = 469 + -422. Let i = 44 - r. Let w be 2/(-7) - 90/(-21). Put i, w, -3.1 in increasing order.
-3.1, i, w
Suppose m = -11*p + 14*p + 11, 4*p + 14 = m. Sort 12, -17, p in descending order.
12, p, -17
Suppose 1041 = 108*t - 12783. Let n = -18812/45 - -2614/9. Let i = t + n. Sort i, 1/5, -3 in descending order.
i, 1/5, -3
Let b be ((-1)/(-2))/(12/1320*11). Let d = 7 + -24. Let h = 3.04 + -0.04. Put b, d, -1/2, h in descending order.
b, h, -1/2, d
Let r be (252/294)/(2/(-12 + -2)). Put -2, -5, -1, r, 1 in descending order.
1, -1, -2, -5, r
Suppose -3*u + 4 = -k - 7, -16 = -4*u. Let p be 25/10 - k/2*1. Suppose 5*w - 2*t 