+ 14*k**2 + k + 13. Let r(d) = -4*d**2 - 15*d + 5. Let a be r(-6). Let f = a + 35. Let n be z(f). Put -2/5, n, 1 in descending order.
1, -2/5, n
Let j = 400 + -399.9. Sort -1, j, 2.
-1, j, 2
Suppose 48 = -3*r + 33. Sort -20, r, 1 in decreasing order.
1, r, -20
Let g = 4417/4 - 1104. Let f(m) = -3 - 2*m**3 + 2*m**3 + m**3 + 6*m**2. Let c be f(-6). Put c, g, -2 in descending order.
g, -2, c
Let j(i) = i**3 + 22*i**2 + 72*i + 6. Let l be j(-18). Sort -2, -5, l, 19 in descending order.
19, l, -2, -5
Let b be ((-10)/(-4))/5 + (-71)/152. Let q = -3/19 + b. Sort q, -2/21, -1 in increasing order.
-1, q, -2/21
Let h(u) = -u**2 + 3*u - 2. Let j be h(2). Let x be (1 - -2)*1 - 1. Sort x, j, 3 in descending order.
3, x, j
Let u = 310/11 - 2203/77. Let c(a) = a + 8. Let i be c(-7). Let j be (i + -2)*2/4. Put j, 0, u in descending order.
0, u, j
Let a = 90 + -87. Suppose -a*z - 1 = 2. Put 2, -4, z, -8 in increasing order.
-8, -4, z, 2
Suppose 6*x = 1 + 59. Put -9, 4, x in increasing order.
-9, 4, x
Let t = 5 + -5. Let u = -347 + 341. Sort u, 2, t in decreasing order.
2, t, u
Let d = 198 - 198. Sort d, -1, 2 in decreasing order.
2, d, -1
Suppose 7*m = 4*m + 6. Suppose 2*z = -3*c, -3*z - m*c = -5*c - 15. Sort 0.2, 2/9, -2, z in decreasing order.
z, 2/9, 0.2, -2
Let j be 150/90*6/35. Let f = 12.9 + -13. Put j, f, 0.3, 0.1 in descending order.
0.3, j, 0.1, f
Suppose -154 = 6*d - 10. Let s = 26 + d. Sort -5, 0.1, s.
-5, 0.1, s
Suppose v = -4*z + 15, z = -4*z + 5*v. Put -4, 5, 7, z in decreasing order.
7, 5, z, -4
Let f(p) = -200*p + 602. Let x be f(3). Put 0.1, 1/11, x, -4/5 in descending order.
x, 0.1, 1/11, -4/5
Let m = -50 - -55. Sort m, 28, -5 in ascending order.
-5, m, 28
Suppose -9*u - 28 = -13*u. Let r be (0 - (1 - 1))/1. Let v(c) = c + 9. Let j be v(-4). Sort u, j, r.
r, j, u
Let b(g) = g**2 + 15*g - 21. Let c be b(-16). Let x(z) = 2*z**2 - 24*z + 15. Let o be x(11). Put c, o, 3 in descending order.
3, c, o
Let h be (1 + 15/(-6))/(36/96). Put -14, 5, h in descending order.
5, h, -14
Let k(y) = y**2 + 16*y - 45. Let j be k(-19). Suppose j = -3*i - 0*i. Put 1, 4, i, -6 in increasing order.
-6, i, 1, 4
Let b = 243/4 + -61. Let g = 27 + -31. Sort g, b, -2 in descending order.
b, -2, g
Suppose 0 = 2*k + 8, 52 = -5*x + 4*k + 188. Let w = -32 + x. Sort -5, -3, w, -1.
w, -5, -3, -1
Suppose 3*g = -3*c + 24, 3*c - 28 = -4*g - 0. Let q be (g + -2 + -3)*5. Sort 3, -9, q in increasing order.
-9, q, 3
Let q be ((-4)/(-12) - (-35)/21)*-2. Sort 4, q, -57, -2 in descending order.
4, -2, q, -57
Let g = -23.75 + 89.77. Let l = g - 66. Sort -2/9, -5, l in descending order.
l, -2/9, -5
Let m = -11 + 9. Let x = 0.22 - 0.34. Let g = -0.28 + x. Put 3, g, m in increasing order.
m, g, 3
Suppose -1 + 5 = -p, 2*p = -m. Let s be ((-3)/54)/(m/32). Sort s, 4, -2/11.
s, -2/11, 4
Let f(z) = 2*z**2 - 4. Let o be f(3). Let y = -22 + o. Let g be 3 + -2 + -4 - y. Sort -5, g, 0 in ascending order.
-5, 0, g
Let h = -4 - -5.54. Let n = -1.4 + 2.9. Let s = n - h. Put 4/5, s, 0.4 in decreasing order.
4/5, 0.4, s
Let d be 1570/(-16) - (-3)/24. Put 0, d, 4 in ascending order.
d, 0, 4
Let w = 3 + -3.4. Let n(t) = 8*t + 404. Let r be n(-50). Sort -0.12, r, w.
w, -0.12, r
Suppose -3*r = -26 + 8. Suppose -5*c + r = c. Sort c, 3, -1, 2 in decreasing order.
3, 2, c, -1
Suppose -v - 1 + 4 = 0. Let z(c) = c**2 - 4*c + 7. Let b be z(v). Sort b, 7, -4 in ascending order.
-4, b, 7
Suppose 90*y - 84*y + 12 = 0. Put 4, 2, -5, y in descending order.
4, 2, y, -5
Let a = 16 + -11.44. Let x = a - -0.44. Let w be (-1)/18*(-5 - -1). Sort -5, x, w in increasing order.
-5, w, x
Suppose d = 5*x + 64, 2*x = 4*d - 0*x - 184. Let q = d + -48. Put 5, q, 4 in ascending order.
q, 4, 5
Let b = 53.4 + -6.4. Let m = b + -39. Put -0.3, -0.1, 0, m in decreasing order.
m, 0, -0.1, -0.3
Let z(r) = r**2 - 116*r + 659. Let u be z(6). Suppose 0*a - 13 = -3*t - 5*a, -2*t + a - 13 = 0. Put t, 4, u in descending order.
4, u, t
Suppose 8*c = -2*a + 14, -c - 10 = -4*c + 4*a. Let j be 2/(-22) - (1 - 1). Let n = -0.1 - -1.1. Put c, j, n in descending order.
c, n, j
Suppose -16 = 8*a - 48. Let j = 1/16 - 5/16. Sort a, -5, j in ascending order.
-5, j, a
Let h(a) = -5*a**3 - 11*a + 6*a**2 + 6*a**3 - 2*a**3 + 2*a**2 - 2. Let c be h(6). Let d be ((-9)/15)/(2/(-10)). Put d, 15, c in increasing order.
d, c, 15
Let g(u) = u**3 - 2*u**2 + 4*u - 2. Let r be g(2). Suppose 0*b + 23 = b - 4*s, 5*b - 3*s - 30 = 0. Let h be -3*(-5)/15*b. Put -3, h, r in descending order.
r, h, -3
Let c(j) be the second derivative of -j**3/6 + 2*j**2 - 8*j. Let l be c(5). Put l, -3, 0 in increasing order.
-3, l, 0
Let q = 0.2 - -13.8. Let r = q - 14.08. Let s = -7 + 12. Sort r, s, 2.
r, 2, s
Suppose 4*h - 5 = -h, 9 = 5*o + 4*h. Let j be 7 - (3 + 2 + -2). Suppose -3*n = -j*n - 1. Put o, 5, n in descending order.
5, o, n
Let w = 15 - 14. Suppose t - w = 4*k - 0*k, 9 = -k + 2*t. Suppose 5*s - 16 = 9. Sort s, k, -2 in decreasing order.
s, k, -2
Let w = 2 + -7. Let f(t) = -t - 2. Let g be f(-7). Suppose g*x - 25 = -0. Sort x, w, -1.
w, -1, x
Suppose 0 = -3*w + h - 21 + 52, -5*w - 3*h = -33. Let v = 0.6 + -1. Put w, -0.1, v in descending order.
w, -0.1, v
Let m(j) = -3*j - 71. Let z(v) = v + 24. Let q(h) = 6*m(h) + 17*z(h). Let d be q(-20). Sort 5, 4, d, -1 in decreasing order.
5, 4, d, -1
Let r(m) = -m**3 - 6*m**2 - 6*m - 2. Let b be r(-5). Suppose d - 2*d - b = 0. Suppose 160*h + 10 = 165*h. Put d, h, 5 in decreasing order.
5, h, d
Let p be (5 - (2 - -1)) + 12/(-9). Let r = 0.02 + 0.07. Let y = -0.21 - r. Put 3, p, y in ascending order.
y, p, 3
Let d = -14 - -12. Let t = 2 - d. Let y be ((-6)/15)/((-2)/(-10)). Sort y, t, 3 in increasing order.
y, 3, t
Let m be -4*8/192*(-42)/4. Sort m, -2/21, 0.5 in decreasing order.
m, 0.5, -2/21
Let m(p) = -p**2 - 7*p - 13. Let b be m(-6). Sort b, -4, -0.4, -2 in increasing order.
b, -4, -2, -0.4
Let q = 30 - 33.5. Let i = 3.5 + q. Put i, 6/5, -5 in increasing order.
-5, i, 6/5
Let r be (6/27)/(78/351). Put 0, -3, r, 29 in ascending order.
-3, 0, r, 29
Suppose 5*i + 7 = 9*i + h, 3*i = 5*h + 34. Let d be (4/10)/((-9)/(-15)). Sort d, 8, 0.2, i in decreasing order.
8, i, d, 0.2
Suppose 0 = -3*p + 2 + 13, 2*f + 2*p = 2. Let l be 142/(-10) + f/(-20). Let q be l/4 - 12/(-4). Sort q, 2, -5.
-5, q, 2
Suppose 9 = 2*o + 5*z, -210 + 217 = 4*o - z. Put -4, 7, o in ascending order.
-4, o, 7
Suppose 114*d - 22 = 103*d. Put -35, 1, d in descending order.
d, 1, -35
Let s = 9565/64 + -299/2. Let i = s - -173/960. Let d = -94/209 - -12/19. Sort i, -1/19, d.
-1/19, i, d
Let u = -2 - -1. Suppose -2*w + r = -14, 5*r = 3*w - 27 - 8. Sort w, u, 6 in descending order.
6, w, u
Let l(x) = x**3 - x**2 + 1. Let g be l(0). Let u(p) = p**3 + 40*p**2 + 279*p + 2. Let z be u(-31). Put z, 0, g, -3 in decreasing order.
z, g, 0, -3
Let q = 13 + -4. Suppose c - 14*c = -52. Let a(u) = -u**3 - 7*u**2 + 2. Let i be a(-7). Put q, c, i in descending order.
q, c, i
Let j = 8 - -10. Suppose k - j = 2*k. Put -2, k, -1 in ascending order.
k, -2, -1
Let a = -69.1 - -69.6. Sort -5, a, -22.
-22, -5, a
Suppose -323 = -65*n - 128. Suppose -7*f + 3*f = -24. Let g(c) = -c - 2. Let h be g(-7). Put n, h, f in increasing order.
n, h, f
Suppose 15*i = 5*r - 25, 2*r + 0*r + 5*i = -34. Let b be 2/(-2) - (-4 + 0). Sort r, b, 4, 5 in descending order.
5, 4, b, r
Let o = -3 + 2.8. Let a = -17.6 + 20. Let u = a + -0.4. Sort u, o, -0.3 in descending order.
u, o, -0.3
Suppose 48*o - 100*o + 180 = -37*o. Suppose -3*h + 3*z - 7 - 5 = 0, 2*h + 2*z + 4 = 0. Put 5, o, h in decreasing order.
o, 5, h
Let x = 11 - 8. Suppose 544 - 232 = -205*j - 303. Sort x, j, -10, -5 in increasing order.
-10, -5, j, x
Let j = -261.4 - -262. Sort -0.2, 4/7, -0.1, j in descending order.
j, 4/7, -0.1, -0.2
Suppose 0*m = -m - 2. Let a be (-68)/(-20) - (-3)/5. Suppose -5*p - 4 - 1 = 0. Sort a, p, m in increasing order.
m, p, a
Let n be ((-14)/28)/((-1)/4). Sort n, 137, 4.
n, 4, 137
Suppose 6*q + 5 = 47. Let k(m) = -2*m**2 - 2 - 4*m**2 + 5*m**2 - q*m. Let a be k(-7). Put -5, 0.2, a in decreasing order.
0.2, a, -5
Let w = -9 + 4. Suppose -11*p - 63*p + 444 = 0. Sort w, p, 5 in decreasing order.
p, 5, w
Let s = -0.05 - -0.45. Put -3, 1, s, -0.34 in descending order.
1, s, -0.34, -3
Suppose 6*s - 11 = 3*s - 5*h, -3 = -3*s - 3*h. Sor