 -14551. Let p = y - j. Put p, -2/9, 2 in ascending order.
p, -2/9, 2
Let v be (-1491)/(-1988) + (-3)/(-4)*11. Put 32, 2, v in decreasing order.
32, v, 2
Let f(n) = 4*n + 152. Let y be f(30). Suppose 41*s - y = 425. Sort 3, -1, s in decreasing order.
s, 3, -1
Suppose -3*p + 5*r - 2 + 17 = 0, -5*p + 5*r = -25. Suppose 5 - 19 = -2*f + p*a, -3*a = -6. Suppose f*n + 13 = -35. Sort n, -10, 2, 5 in decreasing order.
5, 2, n, -10
Let j = -15/467 + -679/7939. Sort j, 6.2, -34.
-34, j, 6.2
Suppose -133 - 19 = -50*a - 2. Let g = -99/760 + 1/40. Put a, g, 4 in descending order.
4, a, g
Let u = -9144 - -9144. Sort u, -8, 5, 14, -3 in descending order.
14, 5, u, -3, -8
Let t = 8377 - 8373. Let l(k) = -10*k**2 - 5*k**2 - 9 + 9*k + 14*k**2. Let s be l(7). Sort -1, t, -5, s in descending order.
s, t, -1, -5
Let x = -0.51 - -0.81. Let y = 18.71 - 2.11. Let q = -20.6 + y. Sort 4, x, q, 8 in decreasing order.
8, 4, x, q
Let y = -167 - -306. Let w = -138 + y. Sort -29, w, -2/11.
-29, -2/11, w
Let s = -3128.2 + 3128. Sort 3, -0.25, s in increasing order.
-0.25, s, 3
Let k(j) = -540*j + 1507. Let y be k(3). Sort -1, 1, y, -4 in increasing order.
y, -4, -1, 1
Let d(l) = -l**2 - 53*l - 56. Let y be d(-52). Put -58, 3, 2, y, 5 in decreasing order.
5, 3, 2, y, -58
Let q = -625.7 + 626. Put -152, 3/4, -0.09, q, -3 in ascending order.
-152, -3, -0.09, q, 3/4
Suppose 4*u + 0 = 8. Suppose 0 = -3*d - 10 - 5, -u*p - 2*d = 12. Suppose 0 = -22*m - 74*m - 5*m + 404. Sort p, 0, m, 5.
p, 0, m, 5
Let l = 20.408 + -22.408. Sort -1/10, l, -241.
-241, l, -1/10
Let a = -27823 + 27822. Sort a, 341, 0.4 in descending order.
341, 0.4, a
Let t = -688.3 - -688.8. Let w be -2 - 1/((-462)/915). Put 2, -1, w, t in descending order.
2, t, w, -1
Let i(u) = u**2 + 54*u + 694. Let m be i(-32). Put m, 52, 0 in descending order.
52, 0, m
Let q = -2.3 - -0.3. Let s = -43.4831 + 43.5. Let z = s - 5.0169. Put q, z, -0.3 in ascending order.
z, q, -0.3
Let c = -80.31 + 80.31. Let l = -40 + 44.89. Let n = -0.11 - l. Put n, -1, c in increasing order.
n, -1, c
Suppose 6 = -2*i - 2*t, 3*i = t + 3*t - 23. Let s = -160 - -120. Let b be (5 - s/(-8))/(-6 + 4). Sort 1, b, i in decreasing order.
1, b, i
Let w = -100113 + 100111. Let b be ((-2)/15)/((-3)/9). Put b, w, 0.2, -1 in descending order.
b, 0.2, -1, w
Let x = 8 + -12. Suppose 2*i + 0*v = -3*v + 3, 3*v + 3 = 0. Let y = -388 - -388. Sort i, x, y in decreasing order.
i, y, x
Let n(h) = -h**3 - 6*h**2 + 5*h + 33. Let w be n(-6). Let d = -218 - -215. Put 12, w, -4, d in increasing order.
-4, d, w, 12
Suppose 2*f + u + 10 = 0, 0 = 4*f - 0*u - 4*u + 8. Let t(d) = d**2 - 12*d + 16. Let p be t(10). Let l = 5 - p. Sort l, 0, f in increasing order.
f, 0, l
Let l be 0 + 2 + (0 - -7). Let q = 10 - l. Let z = 2 + -2. Sort q, 3, z in decreasing order.
3, q, z
Let v(j) = 2*j**3 - 10*j**2 + 13*j - 66. Let o be v(5). Let q be ((-6)/(-4))/(9/24). Sort -10, q, o in descending order.
q, o, -10
Let w be (1352/(-224) - -6)*-4. Let q = 138.831 + 0.169. Sort q, w, -1.
-1, w, q
Let g = 0.588 - -4.412. Let a = 4.8 + -4.5. Sort g, a, -1.01 in increasing order.
-1.01, a, g
Let m be ((-652)/(-12))/(1 - (-4)/(-6)). Put m, 5, 3 in descending order.
m, 5, 3
Let a = -3722 + 3720. Put a, 2/3, 224, 5 in descending order.
224, 5, 2/3, a
Let c(p) = p**3 - 33*p**2 - 42*p + 275. Let b be c(34). Put 74/57, -5, b in descending order.
b, 74/57, -5
Suppose 204*z = 209*z - 4*n + 221, -z + 5*n = 61. Sort 2, -5, z.
z, -5, 2
Suppose 105*d + 32 = 89*d. Let z(x) = 65*x + 173. Let o be z(d). Sort o, 5, 1.
1, 5, o
Let f = 91 + -97. Let z be -6*1/f*-4. Put -5, z, 7 in decreasing order.
7, z, -5
Suppose -j - 5*m - 19 = 0, -5*j = -3*m + 264 - 309. Put -2, j, 45 in descending order.
45, j, -2
Suppose 7*b = -9527 + 9527. Sort b, 2, 4 in ascending order.
b, 2, 4
Let v be ((-1)/(-8))/(92/(-69) - 15/(-18)). Put 2/11, v, 1/136, -5 in increasing order.
-5, v, 1/136, 2/11
Let v = -4917 - -4888. Sort -5, 2, -4, v in ascending order.
v, -5, -4, 2
Let q be 30/(-4)*1 + (-45)/(-18). Suppose -d = 2*f - 0*f + 8, 0 = -3*d + 2*f - 32. Sort d, 1/5, q in increasing order.
d, q, 1/5
Let k(y) = -y**3 - 17*y**2 - 15*y + 15. Let l be k(-16). Let z be 5/(-60) + 4*6/288. Sort z, 4, l, -4.
-4, l, z, 4
Let o = -2966.84 + 2967. Sort o, 0.3, 9 in decreasing order.
9, 0.3, o
Suppose -53*s = 128 + 84. Suppose 0 = c + 3*g + 13, -10 - 5 = -5*c + 5*g. Put 2, -2, c, s in descending order.
2, c, -2, s
Let q be ((-1085)/651)/(5/(-9)). Sort -1, -3, q, 0 in descending order.
q, 0, -1, -3
Let j = 198 - 243. Let q be (-75)/(-40) - 1/(-8). Sort -4, j, q.
j, -4, q
Suppose -78*j + 148 = -41*j. Sort j, -2, -75, 1, -5.
-75, -5, -2, 1, j
Let g = 4.02 - -258.98. Let c = g - 272. Put c, -4, 0.01 in ascending order.
c, -4, 0.01
Let c = 965 + -972. Put 2/13, c, -4, 3, 8 in descending order.
8, 3, 2/13, -4, c
Let y be (16/100)/(2/(-10)). Let s be ((-6)/13)/(128/26 + -5). Sort 3/4, 0, y, s.
y, 0, 3/4, s
Suppose -64*u = -56*u + 48. Let b be (99/36 - 2)/(u/4). Put b, -51, 3 in descending order.
3, b, -51
Let f = 1 - 2. Let a(x) = -20*x**2 - 201*x + 215. Let d be a(-11). Sort f, -4, d in decreasing order.
d, f, -4
Let a be 6/4*(940/(-150) - -6). Put a, 2/15, 0.56 in descending order.
0.56, 2/15, a
Let b(q) = -9*q + 8. Let z be b(-1). Let j be 0 + 1 + z + -58. Let k be 18/(-48) - 7/j. Sort 0.15, -3, -2/11, k in increasing order.
-3, k, -2/11, 0.15
Let p = 89.01 - 88.01. Put -584, -3, -1, 0, p in descending order.
p, 0, -1, -3, -584
Let u = 47 - 7. Let o = u + -39.6. Let y = 88 - 89. Put o, 6, 2/11, y in decreasing order.
6, o, 2/11, y
Let n = 289.852 - -0.148. Let x = n - 293. Sort -5/4, x, 4 in increasing order.
x, -5/4, 4
Suppose 4 - 6 = c + 4*l, 2*c + 4 = 2*l. Let y = -1 - c. Let r be (8 + -3)*(-4 - -6)/(-20)*8. Sort y, r, -1, 3 in decreasing order.
3, y, -1, r
Let d(p) = p**3 - 6*p**2 + 14*p - 12. Let q be d(5). Suppose 89*l - 91*l = 4*z - 24, q = 4*l + 5*z. Sort -36, -5, 0, l in ascending order.
-36, -5, 0, l
Suppose 4*i + n + 4 = -2*n, 0 = -n + 4. Let c = 3575 - 3576. Let v be i + 4 - 4*c. Sort 5, v, -1 in ascending order.
-1, v, 5
Let l = 11.5 + -11.46. Let m be (40/3)/10*9/84. Sort -15, 0.4, l, m in descending order.
0.4, m, l, -15
Let q = -41.5 - 98.5. Let j = q + 128. Let k = -51 + 359/7. Sort -5, j, k, -2.
j, -5, -2, k
Suppose 0 = -14*i + 3*i - 308. Let v(k) = -8*k - 60. Let l be v(-7). Let x be ((-6)/l)/(17/(-34)). Sort x, -1, i in increasing order.
i, x, -1
Suppose 164 = -77*l + 10. Suppose 6 = 2*q - y, 0 - 10 = 2*q + 3*y. Put q, 4, l, 0 in decreasing order.
4, q, 0, l
Let i(l) be the first derivative of -l**2/2 + 14*l + 28. Let q be i(16). Let g be ((-6)/15)/((-1)/5). Put g, q, 4 in decreasing order.
4, g, q
Let d = -5982 - -6032. Put d, 6, 0 in decreasing order.
d, 6, 0
Let p = 4696 + -4696. Sort 0.24, p, -2/7 in increasing order.
-2/7, p, 0.24
Let z = -21.4 + 21.6. Let t be (-18)/27 - ((-140)/(-33))/(-5). Sort -0.5, z, t, 11.
-0.5, t, z, 11
Suppose 2*y + 0*y = 7*y. Suppose -3*i + 4*i = y. Put i, 3, -3 in descending order.
3, i, -3
Let f = 55502.4 - 55501.6. Suppose -4*u = 12, 2*u = 5*a + 7*u + 15. Sort f, a, 3/7, -3/5.
-3/5, a, 3/7, f
Let k = 9082 - 9086. Sort k, 35, 13, 4 in decreasing order.
35, 13, 4, k
Let o(f) = -f + 23. Let q be o(18). Let b(k) = -6*k + 30. Let h be b(q). Put 3, h, -11 in descending order.
3, h, -11
Suppose 4*x = 2*w + 108, 5*x = 27*w - 23*w + 192. Sort -31, 3, 4, w.
w, -31, 3, 4
Let o = 60 - 47. Suppose 2*q + 0*q + 5 = 5*l, 0 = 2*q + 3*l + o. Let j = -136 + 140. Sort 10, j, q, -1 in descending order.
10, j, -1, q
Let g = -1285 - -1280. Let b be 9/6*138/9. Let z = b + -26. Sort z, g, -1, -2 in descending order.
-1, -2, z, g
Let p = 7986 - 7984. Put 6/7, 2/13, p, -84 in descending order.
p, 6/7, 2/13, -84
Let m = -100 + 25. Let y = -23 - m. Let g = 55 - y. Sort 4, -4, g in descending order.
4, g, -4
Suppose -4 = 2*r - 3*r. Suppose -2*v = 3*v + 3*a + 47, -r*v - 5*a = 48. Let c be 1740/1700 + 54/(-2295). Put v, 5, c in increasing order.
v, c, 5
Let k(t) = 2*t**3 - 18*t**2 + 3*t - 29. Let s be k(9). Suppose 0 = 5*i + r + 30, r - 6*r = 3*i + 40. Let p be 2/((-4)/1)*2*i. Sort p, s, 0 in increasing order.
s, 0, p
Let d(z) = z**3 - 2*z**2 + z + 5. Let r be d(0). Suppose -r*q - 2*g = -2*q - 1, 5*q - 3*g + 11 = 0. Sort q, 4, 5, -51