. Let p(t) = u(t) + 12*v(t). Let s be p(11). Put a, s, -4 in descending order.
a, s, -4
Suppose -3*m - 5*f - 1 = -7, m + 3*f + 2 = 0. Let c(j) = j**3 - 6*j**2 - 7*j - 1. Let l be c(m). Sort 3, -3, l in descending order.
3, l, -3
Suppose 4*p + a = 5*a + 16, -2*p + 7 = -a. Put 16, p, -2 in descending order.
16, p, -2
Let w = 107/51 - 30/17. Let n = 2 + 5. Sort n, 2/15, w.
2/15, w, n
Let h = -649/4053 + 10/579. Let n = -1.1 + 0.1. Sort h, -0.5, n, -11.
-11, n, -0.5, h
Let s = 77 - 72. Put 0, 6, 4, s in descending order.
6, s, 4, 0
Let f(v) be the first derivative of -v**2/2 - 9*v + 1. Let d be f(-6). Suppose 5*a = -2*w - 20, -7*a + 2*a - 5*w = 35. Sort -5, d, a in increasing order.
-5, d, a
Let n be (-5 + 7 + -5)*(-9)/(-9). Sort n, 4, -4 in increasing order.
-4, n, 4
Suppose 5*p - 13*p = -8. Let d be (14/4)/1*-2. Put 4, p, d in decreasing order.
4, p, d
Let r = -16.15 - -16. Let a = -0.25 + r. Let u = 0.9 + a. Sort u, 2/7, 2/5 in decreasing order.
u, 2/5, 2/7
Let r = -49 - -48. Sort 2, r, -7/2, -3.
-7/2, -3, r, 2
Let m be 1/(-3)*-2 - 286/(-66). Let k be 189/15 + (-2)/(-5). Suppose -k + 53 = -m*r. Put -4, r, 0.3 in ascending order.
r, -4, 0.3
Let m = 0.027 - -2.973. Sort 4/7, -0.04, m.
-0.04, 4/7, m
Let x = -0.08 - 5.92. Let m be (-15)/35*(-6)/(-9). Put -2, x, m in increasing order.
x, -2, m
Suppose -27 = -15*s - 12*s. Sort -5, 69, s, -3 in ascending order.
-5, -3, s, 69
Suppose 5*c - 4*c = 3*h - 15, -5*h + 3*c = -25. Sort h, 113, 3 in increasing order.
3, h, 113
Let v(n) = -n**2 - 27*n - 105. Let t be v(-5). Sort 1, t, 24, 4.
1, 4, t, 24
Suppose -2*d - 2*d = 12. Let z be 8/d + (28/6 - 4). Sort 3, z, -4 in descending order.
3, z, -4
Let y = -337 - -334. Put y, -7, -5, -4 in descending order.
y, -4, -5, -7
Let h = 1129 + -1128. Let l = -5 - -9. Suppose 0*b = -b - 2. Put b, h, l in descending order.
l, h, b
Let a = 14 - 14. Suppose 0 = f - a*f - 2. Suppose 5*m = 2*g - 3, -11 - 5 = -4*g. Sort -2, f, m.
-2, m, f
Suppose 0*l + 24 = 4*l. Sort 4, -3, l.
-3, 4, l
Let x = 8636/5 + -1728. Put -3, x, 0.03 in increasing order.
-3, x, 0.03
Suppose 3*n = -3*h - 15, 0*h + 4*h + 23 = -5*n. Let q = -1.3 + 2.9. Let a = 0.4 + q. Sort a, 0.4, n in descending order.
a, 0.4, n
Let g = -59.994 - 0.006. Let t = g + 59.8. Put t, -6, -1 in decreasing order.
t, -1, -6
Let z = -103 + 102.9. Put 1, -5, 0.07, z in descending order.
1, 0.07, z, -5
Let x be -35 - -34 - ((-14)/2 + 2). Sort 1, x, 5 in decreasing order.
5, x, 1
Let s be 18/3*(-380)/(-456). Let g = -3 + 2. Sort -2, -3, s, g in descending order.
s, g, -2, -3
Suppose 5*i = -i + 24. Let l = i + 1. Suppose -4*d - 10 = -2. Put d, 2, l in decreasing order.
l, 2, d
Suppose -9 = 29*w - 34*w - 3*b, -2 = -2*w - 2*b. Sort 11, w, -37.
-37, w, 11
Let q = 28 - -0.5. Let s = -28 + q. Sort -2/3, -6, s.
-6, -2/3, s
Let b = 14 - 16. Let i = -777 - -776.96. Sort i, b, 2/7, -1 in ascending order.
b, -1, i, 2/7
Let o be (20/(-230))/((-2)/8*-4). Sort o, 13/3, -2.
-2, o, 13/3
Let m(n) = -n - 6. Let o be m(-3). Let r = -72 - -71. Put 0, o, r in increasing order.
o, r, 0
Suppose 5*j - 25 = 15*w - 20*w, -4*w - 10 = -2*j. Put j, 0, 32 in descending order.
32, j, 0
Let s = -23 + 13. Let x = -19/2 - s. Sort 0.3, x, 6/11 in decreasing order.
6/11, x, 0.3
Let j = -5 + 9. Let x = -13 - -20. Suppose 2 + 8 = 2*l - 2*i, 0 = -2*l - 4*i - 20. Put l, x, j in descending order.
x, j, l
Let m(t) = t**2 + 5*t - 17. Let p be m(-10). Let h be p/(-5) + 8/(-20). Sort 0, -3, 1, h in decreasing order.
1, 0, -3, h
Let z = 494 + -575. Sort -0.1, z, 0.5.
z, -0.1, 0.5
Suppose 10*j - 8*j = -2*i - 20, i - 2*j = 5. Let s = 1 + -7. Let f = -5.6 - s. Put -4, f, i in decreasing order.
f, -4, i
Let j be 0/(-1) - -3*4/6. Sort -4, -8, j, -26 in descending order.
j, -4, -8, -26
Suppose 3*l - 691 = 5*y, 0*y = -4*y + 5*l - 545. Sort -4, -3, 2, y.
y, -4, -3, 2
Let p = 1377 - 4133/3. Put 11.1, 0.4, p, -2 in ascending order.
-2, p, 0.4, 11.1
Let p(d) = d**3 - 8*d**2 + 5*d + 9. Suppose 7*z = 4*z + 21. Let c be p(z). Put c, -0.5, 6 in descending order.
6, -0.5, c
Let s = -1.3 + 1. Let g(k) = -k**2 - 6*k - 5. Let t = -20 + 14. Let l be g(t). Put s, l, -5/3 in decreasing order.
s, -5/3, l
Let g = 1089/130 + 11/26. Let o = -9 + g. Let i = 5.6 + -7.6. Put 3, o, i in decreasing order.
3, o, i
Suppose -12*s + 84 = 2*s. Let z be (-2*3/s)/(12/60). Sort -1, 5, -3, z in ascending order.
z, -3, -1, 5
Let g = -19 + 21. Suppose 21 + 9 = 5*r. Suppose 0 = r*s - 5*s + 1. Put s, -5, g in descending order.
g, s, -5
Let a = -169/303 - 11/101. Sort -6, a, -0.04 in descending order.
-0.04, a, -6
Let r be (15/(-20))/((-4)/(-48)). Let z be (-153)/60 + r/(-12). Let g = z - -33/10. Sort -0.4, g, 1/4 in increasing order.
-0.4, 1/4, g
Let r = -11340 - -11343. Let q = 0.1 - 0.2. Put r, -1/2, q, 1 in ascending order.
-1/2, q, 1, r
Let j = -7573/3 - -2524. Sort 4, -2, -5, j in decreasing order.
4, j, -2, -5
Let n = 26 + -33. Let w = n + 8. Put 0.2, w, 8/5 in decreasing order.
8/5, w, 0.2
Suppose 0 = 3*y - 2*a + 19, -2*y = -y + a + 8. Suppose 2 = 5*z - 6*z. Let q be z/(-12) - (-5)/10. Sort 1/2, q, y in increasing order.
y, 1/2, q
Let r be (9/(-5) - -2)/((468/(-120))/(-3)). Let b = -5.4 + 5. Let n = 0.2 + -0.4. Put n, r, b in descending order.
r, n, b
Suppose -66*d + 196 = -17*d. Sort -3, d, 5, 10 in increasing order.
-3, d, 5, 10
Suppose 7 = 77*r - 84*r. Let i be (-1 + -1)/2 - -1. Put i, 4, r, 5 in ascending order.
r, i, 4, 5
Let z = 2.8 - -6.2. Let u = z + -8.8. Put 3, u, 1 in increasing order.
u, 1, 3
Let c(g) = 6*g - 75. Let f be c(13). Put -1/54, -0.5, f in descending order.
f, -1/54, -0.5
Let l = -1.358 - -1.858. Sort 1/9, l, 1, 6.
1/9, l, 1, 6
Let k = -5.18 + 7.18. Put k, 0.5, -9, 0.3 in descending order.
k, 0.5, 0.3, -9
Let k = -16 + 19. Suppose -2*b - k*b = -25. Let q(h) = h**2 - 5*h + 2. Let r be q(3). Put b, r, 2 in increasing order.
r, 2, b
Let w = -0.22 + 1.22. Put w, -0.03, 0.24 in increasing order.
-0.03, 0.24, w
Let v be (-66)/(-4)*(-8)/12. Let n = v - -14. Let q = -5 + n. Sort q, 2, -5 in increasing order.
-5, q, 2
Let b = 0.035 + -0.004. Let t = b + -1.031. Let x = -177/148 - 2/37. Sort -0.5, t, x.
x, t, -0.5
Suppose -2*x + 5*f = 67, 4*x - 2*x - 4*f = -68. Let j be (-6)/(x/(-10))*-3. Put j, -5, 4 in decreasing order.
j, 4, -5
Let k(z) = -z**3 - 10*z**2 - 5. Let q be k(-10). Let d = 13 + -11. Suppose -2*f = -3*f + 3*u + 2, 5*f = -5*u - 10. Sort d, q, f.
q, f, d
Suppose 1481 = -6*j + 1565. Put 4, 1, j, 42 in ascending order.
1, 4, j, 42
Let t be (-2)/1 - (-5 - (6 + -27)). Put -5, t, 1 in decreasing order.
1, -5, t
Suppose 476 - 530 = 9*u. Put 1, -2, u in decreasing order.
1, -2, u
Let k = -790 - -792. Sort k, 3, 0.7, -0.2 in increasing order.
-0.2, 0.7, k, 3
Let r = 1 + -5. Let c = -13 - -12.5. Sort r, -5, c in increasing order.
-5, r, c
Let t = -178 - -181. Sort 2, -5, t.
-5, 2, t
Let y be (-74)/70 + (-71)/(-355). Let a = -3.2 - -3. Put y, 1/3, a in decreasing order.
1/3, a, y
Suppose -4*v - 4 = -4*g, -5*v + 4*g + 4 = 12. Let r = 34 + -39. Put 5, r, v in ascending order.
r, v, 5
Suppose -6*f - 17 = 11*f. Let s(k) = k**2 - 2. Let b be s(0). Sort f, b, -2/15 in ascending order.
b, f, -2/15
Let f = 708 - 705. Put -3, -1, f, 1 in decreasing order.
f, 1, -1, -3
Suppose -2 = 5*h - 4*v, 2*h + 5*v - 17 = h. Let n = 158 - 168. Sort n, 4, h in ascending order.
n, h, 4
Let c be 10/15*(3 - 6). Put c, 0.03, -0.1, -3 in decreasing order.
0.03, -0.1, c, -3
Suppose -3*k - 13 + 22 = 0. Let p(c) = -c**3 + 2*c**2 + 3*c + 1. Let j be p(k). Sort -2, -3, -5, j.
-5, -3, -2, j
Let u = 51 + -31. Suppose 12*l = 8*l + u. Sort l, 8, 0.
0, l, 8
Let l = -568 - -563. Sort l, 0, 4 in ascending order.
l, 0, 4
Let l(o) = 2*o + 9. Let s = -143 + 137. Let x be l(s). Put x, -13, -2, 2 in descending order.
2, -2, x, -13
Suppose -2 = z + 7*w, 2*z - 30*w = -31*w + 9. Let c(l) = l**3 + l**2 - l - 1. Let t be c(0). Sort -5, t, z, -17 in decreasing order.
z, t, -5, -17
Suppose 2*h = 3*a - 17, -13*a + 4*h + 24 = -9*a. Suppose j = -2*j - 3*t, 3 = a*j + 4*t. Sort -4, j, -2 in decreasing order.
j, -2, -4
Suppose -u + 7 = w, -4*w + 0*w = -2*u - 4. Let d = 0 + 2. Suppose 5*i - 8 = 3*z, u = -d*i + 3*z - 0. Put -3, 12, i in decreasing order.
12, i, -3
Let v(o) be the second derivative of o**5/20 - 7*o**4/12 + o**3 + 15*o**2/2 - 33*o. Let w be 