der.
a, m, -6
Let p = -10 - -19. Let h be (-3 - 0)*(-15)/p. Suppose 18 = -h*g - 2. Sort -2, g, 5.
g, -2, 5
Suppose -16 = -2*m - 18. Sort 3, -4, m, -4/7.
-4, m, -4/7, 3
Let y be (4/(-6) + 0)/((-188)/1410). Put 3, -13, y in increasing order.
-13, 3, y
Suppose -1 = -5*z + 4. Let r(h) = -h**2 + 4*h. Let w be r(4). Let t = z + w. Sort t, 5, 2/5 in decreasing order.
5, t, 2/5
Suppose 0 = -20*k + 52 - 152. Sort -3, k, -1, 3 in decreasing order.
3, -1, -3, k
Let b = 69/5 - 14. Put 4/7, 3, b, -0.05 in ascending order.
b, -0.05, 4/7, 3
Let g = 97 - 96.08. Let r = 2.92 - g. Sort r, -2/7, 17.
-2/7, r, 17
Let h(g) = g**2 + 9*g + 11. Let c be h(-8). Suppose c*n = -4*k + 2*k, -4*n + 4*k = 20. Let y be 45/(-36) + (-4)/n. Put 0.3, y, 2/7 in descending order.
y, 0.3, 2/7
Let j = -0.3 + 2.3. Let t = -3.81 - 20.49. Let h = t - -24. Sort h, j, -0.1 in increasing order.
h, -0.1, j
Let r = -5 + 8. Suppose -r*p - 10 = -1. Let k(g) = g + 23. Let t be k(-16). Sort p, t, 1 in descending order.
t, 1, p
Let y = 64 + -63.22. Let q = -0.8 + y. Let h = q - -0.22. Sort 3, h, -3/5 in descending order.
3, h, -3/5
Let b(s) be the third derivative of -s**5/60 - s**4/24 - 2*s**2. Suppose -3*i = 4*c - 5, -5*c + 7 + 3 = 0. Let z be b(i). Sort -5, -1, z.
-5, -1, z
Let r = -1201 + 1197. Let h = 0.4 - 0.4. Let m = 0.2 - h. Sort 0, m, r.
r, 0, m
Let q = -1536 + 1536.1. Put 0, -3/5, -0.3, q in decreasing order.
q, 0, -0.3, -3/5
Suppose 48*u = 53*u - 5. Put 4, 2, u, -53 in descending order.
4, 2, u, -53
Suppose -3*u + 14 - 2 = 0. Let n be (-55)/(-33)*3/1. Suppose 1 = 3*c - n. Put u, c, 3 in ascending order.
c, 3, u
Let x = 0.12 + -13.12. Let s = -4 + x. Let i = s - -15. Put i, 1/5, -3 in decreasing order.
1/5, i, -3
Suppose -6*n - 13*n + 3344 = 0. Put 0, n, -5 in descending order.
n, 0, -5
Let m = -114 + 45. Let x be m/24 - (-2 - 1). Put x, 0.1, 1/5, 8 in descending order.
8, 1/5, x, 0.1
Let d(c) = c - 4. Let k be d(8). Suppose 3*l - 16 = 5*h, -2 = h - l - 0. Sort -3, h, k, -7 in decreasing order.
k, -3, h, -7
Let s = -414 - -1238/3. Sort s, 2/21, -30.
-30, s, 2/21
Suppose -3*z = -5*o + z + 18, -2*o - 2*z = -18. Suppose -2*d = -o*d - 96. Let k be 38/(-8) - (-6)/d. Sort -3, k, -0.15.
k, -3, -0.15
Let g = 453 - 455. Sort 0, g, 9, 4.
g, 0, 4, 9
Suppose 0*q + 3*n = 5*q, -3*n = 4*q. Let t(z) = -z**3 + 11*z**2 + 13*z - 8. Let s be t(12). Suppose 0 = -5*v - 0*r - r - 7, 0 = s*v + 2*r + 8. Sort v, -5, q.
-5, v, q
Let p = 692.1 - 692. Put p, 2/11, -12/11, 2/3 in descending order.
2/3, 2/11, p, -12/11
Let d be (-1 + 0 + -3)/((-2)/4). Let o = 0.02 - -0.28. Sort o, d, -4 in decreasing order.
d, o, -4
Let r = 384 + -382. Put -4, 1, -81, r in ascending order.
-81, -4, 1, r
Let t(s) = s + 11. Let g be t(-5). Let v(h) = -h**2 + 8*h - 9. Let x be v(g). Suppose -4*m = -4*y + 4, -y + x*m = 5*m + 8. Sort y, -4, 1 in decreasing order.
1, y, -4
Let s be (30/3 - 23) + 10. Sort -33, -4, 3, s in decreasing order.
3, s, -4, -33
Let m(q) = q + 12. Let h be m(-6). Suppose -s - 3 = -z, z + 3 = -2*s + h*z. Put s, 5, 2 in ascending order.
s, 2, 5
Let p be (9 - 8)*(0 + 3). Suppose 5*m = p*y - 15 - 13, -4*m = -y. Let s = -16 + y. Sort -5, 2, s in descending order.
2, s, -5
Let g(n) = -n**3 - 3*n**2 + 3*n - 2. Let v be g(-4). Let u(t) = -26*t + 4. Let y be u(0). Suppose -3*q = -0*q. Sort q, v, y in descending order.
y, v, q
Let p = 1.179 - -0.061. Let m = 1.3 - p. Sort -0.2, -2, m, -1.
-2, -1, -0.2, m
Let c = 2/1035 - 3109/2070. Sort 0.5, -4, c, 1 in descending order.
1, 0.5, c, -4
Let y = 2 - 3. Suppose -2*x - 298 + 284 = 4*p, -3*p = -4*x - 6. Let w = 3 - 1. Sort y, x, w in descending order.
w, y, x
Let o = -223.03 + 221. Let f = o + 0.03. Let u = 369 + -7751/21. Sort -2/5, f, u in ascending order.
f, -2/5, u
Let y = -6.88 + 7. Let z = y - -4.88. Suppose 10*i = 9*i + 2. Sort 1, z, i in descending order.
z, i, 1
Let m be (-12)/30*(-10)/32*1. Put 1/6, -0.5, m, 0.2 in increasing order.
-0.5, m, 1/6, 0.2
Let t = -11 - -9. Let q = t + 5. Let k = -0.12 + -1.88. Sort k, q, 1 in increasing order.
k, 1, q
Let b = -5 - -1. Suppose 0*f - 5*f + 10 = 0. Let r(s) = -s + 7. Let p be r(f). Put p, 3, b in ascending order.
b, 3, p
Let q = -654 - -442. Sort 2, 0.4, q.
q, 0.4, 2
Let t = 460.89 - 8.89. Put 1/4, 4, t in descending order.
t, 4, 1/4
Suppose 4*u + 12 = -2*u. Suppose w - 20 = m, -5 = -w - 0*w - 2*m. Let o be 1/(-1)*u/w. Sort 4, -2/17, o in decreasing order.
4, o, -2/17
Let u(k) = -k + 22. Let x be -3 - (-24 - (-4)/8*-6). Let q be u(x). Let n be (-1)/2 + (-6)/(-4). Sort n, -4, q in descending order.
n, q, -4
Let w = -6 - -11. Let n be 6 + -1 + 1 + 30/(-75) + -5. Sort 6, n, w in descending order.
6, w, n
Suppose 3*f + 12 = 4*r + 5*f, r = -2*f. Let k be ((-6)/r)/((-5)/230). Let u = 273/4 - k. Sort 2/9, 1, u in decreasing order.
1, 2/9, u
Let a = 1012 + -1010. Put a, -6, 4 in descending order.
4, a, -6
Let i = 0.839 - -0.161. Sort 4/5, i, 56 in ascending order.
4/5, i, 56
Suppose w = -483 + 448. Sort -3, w, -4.
w, -4, -3
Let l be 4/(-21) - 2/(-6). Let v = -0.45 + 18.45. Let b = v - 16. Sort -0.5, l, b in descending order.
b, l, -0.5
Suppose -2*n - 10 = -x, 3*x - 6*n + 4*n = 10. Let p = 9 + 1. Suppose -2*b = -0*b + p. Sort b, -2, x in decreasing order.
x, -2, b
Let b = 112 + -198. Let f = b - -81. Sort f, 2, 5, 1 in decreasing order.
5, 2, 1, f
Let c = -63 - -105. Let d = 45 - c. Put 5, d, -5 in decreasing order.
5, d, -5
Suppose -2*l - 4*u + 28 = 0, 0 = -u + 2*u - 5. Suppose 4*z + 2*n - 12 = 0, -l*n - 11 = -4*z + 1. Suppose -q = -a, -5*q + 3*a = 5 + 3. Sort z, q, 0.5.
q, 0.5, z
Let z = 56.9 - 48.9. Put -2/7, -3/2, z in decreasing order.
z, -2/7, -3/2
Let t = -1146 + 1145. Sort 26, -3, 0, t.
-3, t, 0, 26
Suppose 4 + 6 = 3*m + 5*o, 25 = -8*m - 3*o. Let t(g) = -g**3 - 10*g**2 + 10*g + 10. Let n be t(-11). Sort 4, m, n, -1 in ascending order.
m, -1, 4, n
Suppose -83 = -6*s + 79. Sort -17, -3, s.
-17, -3, s
Let c = -5 - -4. Suppose 0 = 4*b + 4*m - 36, -5*b - 3*m = -m - 30. Suppose 0 = -b*r - 2*z + 8 + 18, 5 = -5*r + 5*z. Put r, c, -2 in descending order.
r, c, -2
Let r = -1103 - -1101. Put -13, -6, r in descending order.
r, -6, -13
Let p = 0.071 - -6.929. Put p, 2/9, 2 in descending order.
p, 2, 2/9
Let m = -272 + 272.4. Put -1/7, m, -0.07 in increasing order.
-1/7, -0.07, m
Let r(t) = -7*t. Let z be r(-5). Let u = z + -31. Put u, 2, -5 in decreasing order.
u, 2, -5
Let g = -208/9 + 1462/63. Put g, -0.5, 53 in ascending order.
-0.5, g, 53
Let m = 211 - 215. Sort m, -2, -7, 6.
-7, m, -2, 6
Let j = -27 + 32. Let i be j/(2 - (-4)/(-4)). Sort -2, -3, i.
-3, -2, i
Let h be 1/2*14 + -1. Let a = -13 + 13. Sort a, -1, h in increasing order.
-1, a, h
Suppose 5*p = -73 - 137. Let n = 44 + p. Put 1, n, -3, 5 in decreasing order.
5, n, 1, -3
Let v = 28 - 3. Let n = -25.3 + v. Put -2/7, n, 2 in increasing order.
n, -2/7, 2
Let h = -214/3 - -72. Let j = 5/6 - h. Let x = 1.2 + -0.2. Put j, x, 0.6 in descending order.
x, 0.6, j
Let g be (9/(-6))/((-171)/(-18) + -10). Let u(x) = x - 12. Let w be u(10). Sort -26, g, w in decreasing order.
g, w, -26
Let f(v) be the second derivative of v**4/12 - 17*v**3/6 - v**2/2 + 5*v. Let l be f(17). Sort 10, l, -5, 0 in descending order.
10, 0, l, -5
Let x = -1187 + 1186. Sort x, 2, 66, 1.
x, 1, 2, 66
Suppose -18*b = -15*b - 2*g - 7, 5*g = 5*b - 20. Sort 4, -17, b.
-17, b, 4
Let z = 2.5 + 0.35. Let n = -0.15 - z. Sort n, -5, 1/3 in descending order.
1/3, n, -5
Suppose -39 + 53 = l. Suppose 0 = -5*o + t - 17, 5*o + 2*t = -l - 12. Let k = 1.07 - 0.07. Sort o, -3, k.
o, -3, k
Let u = -2.2 + -3.8. Let t = 7 + u. Let c = 41 + -41.1. Put c, t, -4 in decreasing order.
t, c, -4
Let n be ((-9)/(-18))/((-2)/(-24)). Suppose -5*o = -2*o - n. Suppose 0 = -3*j - o*j + 10. Sort -3, j, 0 in increasing order.
-3, 0, j
Let l(a) = -a**3 + 7*a**2 + 10*a - 20. Let y be l(8). Let f = -22 + 29. Suppose -3*o + 2*k = -5*o, -4*o = -3*k + f. Put 5, y, o in decreasing order.
5, o, y
Let a(w) = w**2 + 2*w + 2. Let f be a(-2). Let p = -2 + 1. Let o = 331 - 335. Put p, o, f in decreasing order.
f, p, o
Suppose 0 = 28*r + 7*r. Suppose 0 = 5*x - 18 + 3. Put 54, r, x in descending order.
54, x, r
Let x = 12.88 - 13. Let n = 0 + x. Let d = n + -0.18. Sort -2/15, 0, d.
d, -2/15, 0
Let d = -11 + 8. Suppose 7*h - 124 = -24*h. Sort 0, d, h in increasing