 25. Suppose 0*b + 5 = -x*y - b, 5*y = 5*b - 35. Put -5, y, -7 in increasing order.
-7, -5, y
Let p = -687 + 689. Put p, 4, 1, -5 in decreasing order.
4, p, 1, -5
Suppose -28 + 40 = 3*p. Sort 3, -2, p, -4.
-4, -2, 3, p
Let l = 0.02 + -41.02. Let r = 40.8 + l. Sort 1, -4/3, r in descending order.
1, r, -4/3
Let g(y) be the first derivative of y**2/2 - 4*y + 2. Let i be g(6). Suppose 0 = -2*c + 2 + 4, -3*q = -i*c + 15. Sort q, -0.2, 4 in increasing order.
q, -0.2, 4
Let r = -3 + -8. Let z = r - -8. Sort z, -1, 5 in descending order.
5, -1, z
Let k be ((-16)/12)/(35/105). Let u = 7 + -4. Put 2, k, u, 0 in ascending order.
k, 0, 2, u
Let y = 99.9 + -99.9. Let w = -0.3 - -0.4. Let d = w - -0.4. Sort -2/3, d, y.
-2/3, y, d
Suppose 4*g - 8*g + 12 = 0. Suppose 0 = -4*x + g*n - 12, -4*x + 5*x + n + 3 = 0. Put 1/3, -4/7, x in increasing order.
x, -4/7, 1/3
Let z = -22 - -27. Let m = z - -3. Put m, -2, 5 in decreasing order.
m, 5, -2
Suppose -2*o + 15 = -5*t, 2*t = -3*o - 63 + 76. Let j = -1 - -3. Put t, j, 0, 1 in descending order.
j, 1, 0, t
Let q = -2/35 + 146/105. Sort q, 125, -1/9.
-1/9, q, 125
Let j = 132 + -115. Sort j, 3, 1, 5 in increasing order.
1, 3, 5, j
Let x = -0.033 + -2.067. Let l = 2 + x. Let b be 1 + (-1)/2 + -2. Put l, b, -7 in decreasing order.
l, b, -7
Let r = -0.65 + 1.65. Sort 1/7, 4, r, -7.
-7, 1/7, r, 4
Let g be 12/(-2) + -52 + 60. Sort 4, -4, g, -21 in increasing order.
-21, -4, g, 4
Suppose -7*h + 3*h + 16 = 0. Suppose 2*l + 12 = -4*s, h*l - 4*s - 16 - 8 = 0. Suppose -3*t - 4*o = -7, -t - 3 = 2*o - 6. Put 0, l, t in descending order.
l, t, 0
Let a be (-4)/((4 - 2)*-1). Suppose -z + 2*s = 4*z - 12, 0 = 4*z - 4*s. Sort a, -5, 0, z.
-5, 0, a, z
Let r(v) = 28*v - 27. Let c be r(1). Suppose 0 = q - 5*q - 12. Suppose -3*s + 0*s - 12 = 0. Sort q, s, c in decreasing order.
c, q, s
Let u = -458 - -455. Sort u, 11, -1.
u, -1, 11
Let c = 309 - 309. Put 1, c, -0.02 in descending order.
1, c, -0.02
Suppose -31*h - 20 = -29*h. Put 2, 4, -1, h in increasing order.
h, -1, 2, 4
Let g be (10 + 1)/((30/(-12))/(-5)). Put g, 3, 5 in descending order.
g, 5, 3
Let i be (-3)/48*(-2 + 4). Let k be 2/(-1) + -4 + 6. Suppose 2 = l + t + 2*t, k = 5*l + t - 10. Put l, -1, i in ascending order.
-1, i, l
Let m = 12 - 17. Let w = -1706 + 1705. Sort 3, w, m in increasing order.
m, w, 3
Let c = 95.832 + 0.168. Let d = c - 99. Sort d, 2, -12 in descending order.
2, d, -12
Let u = 156.5 - 157. Let t = -1 + 0. Put t, 5, u in descending order.
5, u, t
Let f = 315 - 318. Sort 1, 21, -4, f in decreasing order.
21, 1, f, -4
Let d be 1*((-1)/((-3)/(-9)))/(-1). Suppose 2*t = -2*c - 8, -c + 2*t - 27 = 4*c. Put d, -3, c in ascending order.
c, -3, d
Let n(u) = u**3 - 8*u**2 + 9*u - 9. Let v be n(7). Suppose 10 = 3*s - v. Let w(g) = -g**2 - 5. Let r be w(0). Put -7, r, s in decreasing order.
s, r, -7
Let h(j) = -3*j + 1. Let w be h(1). Let n be -2 - (5 - (2 - -10)). Suppose 0 = -2*u - 2*v + 14, u = n*v + 10 - 3. Put w, u, 0 in decreasing order.
u, 0, w
Let u = -52 + 101. Let p = -17 + u. Let h be 42/(-11) - p/(-8). Put 2/5, h, -1 in decreasing order.
2/5, h, -1
Suppose 9 - 30 = -7*s. Suppose -2*r + 7 = 3*c, 0 = -s*c + r + 2*r + 12. Sort -2, 6, c.
-2, c, 6
Let f(j) = -j**3 + 24*j**2 - 25*j + 40. Let t be f(23). Let k be (t - 312/(-56)) + (-18)/(-14). Put -0.5, k, 3 in increasing order.
-0.5, k, 3
Suppose 32*h - 34 - 62 = 0. Let y be ((-1)/(-2))/((-4)/(-8)). Sort h, -5, y.
-5, y, h
Let j = 32 + -33. Suppose k - 6*k + 39 = a, 0 = -2*k - a + 18. Sort j, k, -3 in increasing order.
-3, j, k
Suppose -30 = 15*w - 5*w. Let y = -33 - -38. Put y, -4, w, 4 in ascending order.
-4, w, 4, y
Let r = 38.5 - 39.5. Put -0.4, r, -528 in increasing order.
-528, r, -0.4
Let x = 0.1 - 1.2. Let m = x + 1.06. Let t = -10/17 - -13/51. Sort -0.3, m, t in descending order.
m, -0.3, t
Let h(f) = -f**3 - 19*f**2 - 15*f + 53. Let x be h(-18). Let l(p) = p**3 - 7*p**2 + 5*p + 4. Let d be l(6). Sort d, -3, x, 2 in decreasing order.
2, x, d, -3
Let z(c) = 23*c + 1. Let u be z(-11). Let h be 120/u + 1/3. Put 0.4, h, -2/7 in ascending order.
-2/7, h, 0.4
Let a = 171/791 + 24/113. Let x = -18 - -19.7. Let z = -2 + x. Put a, z, 10 in decreasing order.
10, a, z
Suppose 36 = 6*p + 3*p. Suppose -p*h + 5 + 11 = 0. Put h, -4, 3, -6 in descending order.
h, 3, -4, -6
Let f = 19 - 16. Sort 0.061, -2/3, f, 0.3.
-2/3, 0.061, 0.3, f
Let t(g) = g**3 + 8*g**2 - 2*g - 12. Let o be t(-8). Let i be (20/(-30))/(o/(-78)). Put i, -1, 5 in increasing order.
-1, 5, i
Let j(z) = -90*z + 2. Let d be j(-1). Let r = 93 - d. Sort -5, r, 5.
-5, r, 5
Let l = -0.06 + 24.06. Let v = l + -24.2. Sort -0.4, 0.02, v.
-0.4, v, 0.02
Let i = 1321 - 1320.5. Suppose 5*l + 3*u = -17, u = 2*l + 3 + 6. Sort -0.2, i, l in decreasing order.
i, -0.2, l
Let c = 75 + -749/10. Let n = 341.3 + -359. Let x = n - -18. Sort c, x, 0.
0, c, x
Let c = -0.902 - -0.052. Let g = c - -1.05. Suppose -6 = w + 2*n, 3*w - 2*n - 2 = -4. Sort g, 2/9, w.
w, g, 2/9
Let h = -118 - -119. Put 1.5, h, 0 in decreasing order.
1.5, h, 0
Let n = 10 - -28. Let h be n/10 + -1*(-4)/20. Put h, 5, -2 in decreasing order.
5, h, -2
Let l = 354 + -356. Sort -6/13, l, 0.4 in descending order.
0.4, -6/13, l
Suppose -o = -2*u - 2*o - 117, -u + o - 66 = 0. Sort u, 0, 1 in descending order.
1, 0, u
Let n be (2/6)/((-3)/9). Let o(r) = 7*r + 7. Let d(s) = -3*s - 3. Let j(c) = -5*d(c) - 2*o(c). Let b be j(n). Sort b, -5, 4 in ascending order.
-5, b, 4
Let t = 4 - 9. Let r(z) = -3*z - 22. Let p be r(-7). Sort -3, t, p in descending order.
p, -3, t
Let g = -1229 - -1227. Put g, 5, -165 in ascending order.
-165, g, 5
Suppose a - 4*b = 24, -3*a + 9 + 8 = -b. Suppose a*h = -3*o - 141, -5*h + 4*o = -0*o + 215. Let y = -36 - h. Put -5, y, 0 in descending order.
y, 0, -5
Let w(j) = j + 2. Let t be w(-5). Let i(f) = 119*f - 599. Let v be i(5). Sort -1, t, 0, v.
v, t, -1, 0
Let d(w) = 2*w**2 + w - 1. Let f be d(1). Let h be ((15/12)/5 - 1)*-4. Suppose 13*r = 14*r - h. Sort 4, f, r in descending order.
4, r, f
Suppose 5 = 5*p, 4*d - 8 = 2*p - 6*p. Suppose 0 = -4*y - 7 - d. Sort 5, 1, y.
y, 1, 5
Let c be 3*2/6 + 2. Suppose 0 = 2*z + c + 29. Let l = 996 + -996. Put l, -5, z in ascending order.
z, -5, l
Let w(k) = 3*k**2 + 9*k - 57. Let n be w(-6). Put n, 5, 7, -5 in increasing order.
-5, n, 5, 7
Suppose 0 = -5*h + 4*h + 5. Suppose 8*v = 3*v. Sort v, h, -5 in descending order.
h, v, -5
Suppose -v - 9 = -12. Let d = 32.3 - 32.5. Sort v, d, -2/51, 0 in decreasing order.
v, 0, -2/51, d
Suppose y = 195 - 198. Put -0.2, -0.08, y, -1/2 in increasing order.
y, -1/2, -0.2, -0.08
Let z(w) = -w**2 + w + 4. Let d be z(3). Sort 14, d, -3 in descending order.
14, d, -3
Let p = -3.1 + -1.9. Let x be 18/14 + -9 + 8. Put x, -3/13, p in increasing order.
p, -3/13, x
Let u be 9*-1 - (-352)/44. Put u, -3, 51 in ascending order.
-3, u, 51
Let x(a) = -a**3 + 12*a**2 - 22*a + 7. Let v be x(10). Put 1, 0, v in descending order.
1, 0, v
Let d be (16/(-12))/((-6)/(-9)) - -1. Sort d, -287, 3.
-287, d, 3
Let b = 0.1726 - 0.0496. Sort 0, b, 5, 2 in ascending order.
0, b, 2, 5
Suppose -10 = -2*s, -j + 21 = 4*s + 4. Suppose 3*p + 4 = -2. Put j, -9, p in ascending order.
-9, j, p
Let t = 646/7 + -92. Let z(m) = -2*m + 25. Let n be z(5). Sort t, 0, n, 0.4.
0, t, 0.4, n
Let h be ((-4)/2)/(((-60)/(-9))/2). Let g = 0 - -4. Put h, -4, g in ascending order.
-4, h, g
Let f = -0.01 + -0.11. Let u = -0.08 + f. Sort -2, 1/4, u in increasing order.
-2, u, 1/4
Let j = -304 - -315. Sort j, 6, 2, -2 in descending order.
j, 6, 2, -2
Suppose -2*q = -4 - 0. Suppose 5*s = 2*a + 11, 0 = -3*s + q*a + 3 + 6. Suppose 3 = o + s. Sort o, -2, -4.
-4, -2, o
Suppose -5*r + 0 = 10, -3*r - 34 = -4*q. Let w = q + -2. Put 1/2, -1, w in decreasing order.
w, 1/2, -1
Let u = 0.12 + -2.12. Let f = -4 - 0. Let p = 1 - 0.5. Sort u, f, p in descending order.
p, u, f
Suppose 0 = 43*q + 20 + 66. Sort q, -3, -4, 6 in ascending order.
-4, -3, q, 6
Suppose 5*q + 2*m + 106 = 4*m, -4*m + 14 = -q. Put q, 2, 6 in decreasing order.
6, 2, q
Let d(g) = 1. Let i(x) = -x**3 + 5*x**2 + 16*x - 11. Let a(k) = -2*d(k) - i(k). Let s be a(7). Suppose 0 = -l - 2 + 3. Put 3, s, l in increasing order.
s, l, 3
Let m = -0.09 - -2.59. Let a = m - 13.5. Let n = a - -9. Put n, -2/21, 3/8 in ascending orde