(a). Sort 4, r, 19 in decreasing order.
19, 4, r
Let z(d) = d**2 - 12*d - 11. Let f be z(13). Suppose -5*p + f*p = 6. Sort 1, 8, p in decreasing order.
8, 1, p
Let y = -114.35 - 0.65. Sort 0.5, y, -5 in ascending order.
y, -5, 0.5
Let o = 61/3 - 1031/51. Put -2/133, o, 3 in decreasing order.
3, o, -2/133
Suppose 0 = -5*h + 5*k - 50, 2*h + 0*k - 15 = -5*k. Put h, 4, -12 in descending order.
4, h, -12
Let a(m) = m + 5. Let h be a(4). Let s(d) = h + 8 - 2*d - 15. Let f be s(3). Sort 4, f, 3 in increasing order.
f, 3, 4
Suppose -n - 36 = 5*d + 3*n, 0 = d - n. Let l = -1 - d. Suppose l*m + 2 = -1. Sort 0, -3, m.
-3, m, 0
Let j be (-25)/40*12/(-60). Put -2.8, 1/4, j in decreasing order.
1/4, j, -2.8
Let g = -11/15 + 157/255. Let n = -7601/3 + 2533. Put 2, g, n in decreasing order.
2, g, n
Let t = -1259 - -1260. Put -3/7, 1/6, t in ascending order.
-3/7, 1/6, t
Suppose 0 = -0*c + c - 2. Suppose -s - 33 = c*f, -s = f - 4*s + 6. Put f, -4, 0 in ascending order.
f, -4, 0
Suppose 0 = -p - 624 + 626. Suppose r = -3*r - 20. Put -4, p, 12, r in decreasing order.
12, p, -4, r
Let r be (2/(-4))/(22/(-8)). Let v = -10 - -5.2. Let x = v - -5.1. Sort r, 1, x in decreasing order.
1, x, r
Let a = 0.721 + -0.741. Put -20, a, 5 in descending order.
5, a, -20
Let n = 39.5 - 36. Let d = 4 - n. Suppose 3*c - c = -8. Sort c, d, -1/3 in descending order.
d, -1/3, c
Let f be 4/(-14) + (-6 - (-3 + -4)). Sort 0.4, 0, 0.3, f in descending order.
f, 0.4, 0.3, 0
Let r be (-20)/8*(-16)/10. Let x = 42 + -37. Let s be 2/x + (-68)/20. Sort r, s, -1.
s, -1, r
Let q = -1593 - -1591. Sort q, 13, -5, 7 in increasing order.
-5, q, 7, 13
Suppose -3*c - 5*p + 13 = 0, -c - 6 + 7 = p. Sort 0, -3, 12, c.
c, -3, 0, 12
Let n = -0.0616 + 0.0816. Sort -37, n, -0.3, 2 in descending order.
2, n, -0.3, -37
Let w be 255/35 + (-2)/7. Let j(k) = k**2 + 14*k + 38. Let s be j(-11). Put w, -3, s in decreasing order.
w, s, -3
Let m be 6/(1*(0 - -6)). Let k be ((3 - m)/(-2))/(1/(-3)). Let l = -0.6 - -0.1. Sort l, 5, k in decreasing order.
5, k, l
Let r(z) = z**3 - 7*z**2 + 7*z - 2. Let x be r(6). Suppose 2*u = 27*l - 23*l - 4, 0 = -2*l + 4*u + 8. Sort x, 1, l in increasing order.
l, 1, x
Suppose -3*t = -8*t - 5*h, 3*t = 3*h + 12. Suppose -2*s - t*s = 0. Put s, 4, 8 in increasing order.
s, 4, 8
Let x = -0.062 + 0.262. Let o be (-115)/13 + (-4)/26. Let q = -0.3 + 0. Sort q, o, x in increasing order.
o, q, x
Suppose -4*q = 17*g - 20*g - 29, 0 = -g + 3*q - 18. Let x = -11/2 - -6. Sort 3, x, g in decreasing order.
3, x, g
Let k be (-2 - (10 - 6))*(-1)/3. Sort k, 127, 1, 4 in descending order.
127, 4, k, 1
Let p = 1995 - 1995.4. Let u = -6 + 1. Sort -4, p, 0.6, u in ascending order.
u, -4, p, 0.6
Suppose 2*b - 10 = 4*l + 10, 0 = 2*b - 5*l - 21. Suppose x + x = b. Suppose x = -m - 2. Sort 2/11, 0.5, m in increasing order.
m, 2/11, 0.5
Let r(a) = -5*a + 64. Let o be r(24). Sort -2, o, -5, 2 in decreasing order.
2, -2, -5, o
Let w(x) = 10*x - 75. Let y be w(8). Sort 23, 0.2, 1/4, y in decreasing order.
23, y, 1/4, 0.2
Suppose 0*c - 8 = -2*c. Let o(f) = 17*f. Let v be o(-1). Let x = v - -17. Sort x, c, -4 in descending order.
c, x, -4
Let d = -344 - -348. Put 5, 73, d in ascending order.
d, 5, 73
Let z(h) = h**3 - 9*h**2 - 12*h + 30. Let n be z(10). Let w be (-4*n/(-32))/(1/4). Sort w, 9, 2 in descending order.
9, w, 2
Let g(m) = -m - 3. Let d be g(-3). Let y = 309 + -313. Sort 0.5, y, d in increasing order.
y, d, 0.5
Let g be 12/(-2)*4/(-6). Suppose 0 = -10*p + p - 27. Let c(h) = -h**3 + 11*h**2 - 11*h + 6. Let x be c(10). Sort p, x, g.
x, p, g
Let k = 1899 - 1900. Let b = -15/13 - -99/52. Sort b, k, 4, 2.
k, b, 2, 4
Let x = 9 - 7. Let n be (-5)/((x + -3)/(-1)). Let o = -4.04 - -0.04. Put n, 2, o in descending order.
2, o, n
Suppose 3*i = 4*i + 6. Let j = i + -9. Let x = 15 + j. Sort -2, -5, x in descending order.
x, -2, -5
Let g = 592 + -546. Put 4, g, -0.2, -2 in increasing order.
-2, -0.2, 4, g
Suppose t + 2*r + 13 = 0, 4*r = 2*t + 6*r + 16. Let o = 55 - 55.2. Sort o, t, -1/2.
t, -1/2, o
Suppose 17*i + 5 = -29. Sort -3, 12, i.
-3, i, 12
Suppose -3*a + 8*a = 0. Let n = 4 - -6. Suppose a = -3*w + 5*w - n. Put -4, w, -3 in decreasing order.
w, -3, -4
Let h = 170 + -170. Sort h, 2/5, 4.9, 3 in decreasing order.
4.9, 3, 2/5, h
Let k be -3 - 166*(-5)/450. Let d = -2567/45 + k. Let h = 58 + d. Put 0.5, h, 2/7 in decreasing order.
0.5, 2/7, h
Suppose -3*m = 4*g - 88, -4*m - 4*g = -91 - 25. Let r = m + -30. Let o(q) = q + 9. Let p be o(-5). Put p, -5, r in ascending order.
-5, r, p
Let g = -3.5 + 3. Let s = -5.913 + -0.217. Let v = s + 0.13. Put v, g, 1/5 in increasing order.
v, g, 1/5
Suppose -c = f + 2*f - 6, 3*f + 2*c - 3 = 0. Suppose 4*o = -f - 17. Put o, 0, 4, -1 in ascending order.
o, -1, 0, 4
Let y = -173 + 171. Put -5, -0.3, 6, y in increasing order.
-5, y, -0.3, 6
Suppose -x = 3*i + 10 - 2, 5*x = -2*i + 12. Put i, -15, 0 in ascending order.
-15, i, 0
Suppose 5*x - 24 = 4*w - 4, 5*x - 20 = -3*w. Put 133, 0, x in increasing order.
0, x, 133
Suppose -3*k = -40 - 89. Let p = k + -38. Sort -2, 4, p.
-2, 4, p
Let d = 7.3 + 1.7. Let h = 4 - d. Let y = -120 + 961/8. Put h, y, -2 in decreasing order.
y, -2, h
Let q = -4.46 - -0.63. Let m = -0.17 + q. Put -3/4, -0.3, m in decreasing order.
-0.3, -3/4, m
Let k be -1*(0 + 1) - 3. Suppose -3*f + 2*v + 21 = 0, 0 = f - 5*v + 46 - 66. Sort k, 2, -2, f.
k, -2, 2, f
Let g(l) = -14*l - 159. Let b be g(-7). Sort 0, 1, b in ascending order.
b, 0, 1
Let j = 958/15 + -316/5. Put j, -0.1, 1 in increasing order.
-0.1, j, 1
Let j = 0.6 - -1.4. Let p(u) = -u**2 + 28*u + 204. Let g be p(34). Sort g, j, 1/2.
g, 1/2, j
Let s = 13.2 + -13. Sort 5/3, -2/5, 2/5, s.
-2/5, s, 2/5, 5/3
Let y be (1 - (4 - 1))/1. Let z(c) = -c**3 - c**2 + 2*c + 3. Let v be z(y). Suppose 0 = -v*t + 2 + 13. Put -5, t, 4 in decreasing order.
t, 4, -5
Suppose -3*h - 5*i - 8 = 0, 52*h = 47*h - 3*i - 8. Put 0, -5, 15, h in increasing order.
-5, h, 0, 15
Suppose -k + 3*k - 323 = 3*g, 0 = 4*k - 16. Put -4, g, 3 in decreasing order.
3, -4, g
Let y(p) = -p**2 - 7*p + 49. Let c be y(4). Sort 0, c, -3.
-3, 0, c
Let t be (-1 - -7)/(-2) - (2 + -2). Let y be (1/4)/(25/(-20)). Sort y, t, -2/7 in decreasing order.
y, -2/7, t
Let m = 205 + 60. Sort m, -4, -2 in increasing order.
-4, -2, m
Let s = -1 - -6. Let n(l) = 332*l + 1664. Let j be n(-5). Put s, 2, j in decreasing order.
s, j, 2
Let d be 1/(-1)*(1 - -2). Let b be 3/6*(d - -3). Suppose b = -4*i - 4*r - 0 + 4, 5*r = -i - 11. Sort -6, i, -2/3 in descending order.
i, -2/3, -6
Let u be 9/12 + (-46)/8. Let c = -1329 - -1323. Sort 4, c, u, -4 in descending order.
4, -4, u, c
Suppose -u - 8 = -3*u. Let n(x) = x**3 + 20*x**2 + 2*x + 37. Let p be n(-20). Sort p, 1, u in decreasing order.
u, 1, p
Let i(r) = -18*r**3 + 2*r**2 - 3*r + 1. Let b be i(1). Sort 2, b, 6, 0.
b, 0, 2, 6
Let q be 2/(-3)*(0 + -3). Suppose q*j - 6*j = 4. Let z = -16399 + 16394. Put 1, z, j in decreasing order.
1, j, z
Let h be (-4 - (-6 - -1)) + -3. Sort 2, 1, -7/3, h.
-7/3, h, 1, 2
Let t = -1 - 1. Let m be 6/15 - 18/(-5). Put 1, t, 3, m in descending order.
m, 3, 1, t
Suppose 8*j = -3*p + 12*j + 17, -5*j = 4*p + 29. Sort p, -2.4, 2 in ascending order.
-2.4, p, 2
Let c = -10 + 23. Let g = -7 + c. Let b be ((2 - 1)/(-1))/(420/120). Put b, g, 5 in decreasing order.
g, 5, b
Let n be (0 + 2)/(4/(-10)). Let d = 12 + -10. Suppose -k = d*k + 6. Put n, k, 5 in increasing order.
n, k, 5
Let u = 44 - 44.33. Let h = 0.73 + u. Let q = -0.1 + -4.9. Sort h, q, -1.
q, -1, h
Let n = -819.9 - -491. Let u = 314 + n. Let a = u + 15. Sort 2/25, 3/4, a.
2/25, a, 3/4
Let h(o) = 2*o - 34. Let s be h(19). Suppose 3 = -3*n + 3*i, 4*n + s*i - 2*i = 14. Put n, 5, -3 in decreasing order.
5, n, -3
Let a = 1.98 - 1.58. Let p = 0.3 + -0.5. Sort a, p, 3 in ascending order.
p, a, 3
Let g = 364/5 + -73. Let z = -3 + 3.1. Let t = -213 + 217. Sort g, z, t in descending order.
t, z, g
Let h = 1/77 + -236/385. Sort h, 4, 0.07, -1 in ascending order.
-1, h, 0.07, 4
Let m = 4862.081 + -4866. Let y = 0.081 - m. Sort -5, 0, y.
-5, 0, y
Suppose 2*m + 103 = 3*m. Let y = m - 314/3. Suppose -19 + 4 = 3*t. Sort t, -0.9, y in ascending order.
t, y, -0.9
Let z = -1690 + 1690.3. Sort z, -5, 8/9, -0.22.
-5, -0.22, z, 8/9
Let u = 0.3 - -0.1. Let s = 65 + -67.9.