 a
Let x(n) be the first derivative of n**2/2 - 2*n + 1. Let j be x(2). Let o = -437.5 + 437.6. Sort o, j, -5.
-5, j, o
Let p = -27 - -25. Let x be (4/5)/((-5)/(30 - 5)). Put x, 11, p in ascending order.
x, p, 11
Let y(c) = -2*c**2 - 12*c - 1. Let s(v) = 3*v**2 + 13*v + 1. Let k(a) = 4*s(a) + 5*y(a). Let q be k(4). Sort 4, 0, q.
q, 0, 4
Suppose 3*b - 96 = 3*q, b + 22 = 4*q + 138. Let p = q - -25. Put p, 1, 2 in descending order.
2, 1, p
Let l be (3/8)/(1/344). Sort l, 1, 4.
1, 4, l
Let f = 0.415 + -54.415. Put f, 0.5, 3 in increasing order.
f, 0.5, 3
Let q = -387 + 387. Sort q, -5, -0.2, 0.1 in decreasing order.
0.1, q, -0.2, -5
Let t be ((-30)/76)/(-1) + 30/285. Let m(q) = q**3 - 5*q**2 - q. Let x be m(5). Let i = -0.11 + -0.19. Sort t, x, i.
x, i, t
Suppose 0 = 11*k - 14*k. Suppose 4*y + 5*n = 41, y - 2*y - 3*n + 19 = 0. Sort k, y, 6 in descending order.
6, y, k
Let c = 10.8 + -9. Let z = c - 1.5. Put 5, z, 1/5 in ascending order.
1/5, z, 5
Let t = -2 + 20. Let i = 32 - t. Let x = 14 - i. Sort x, -0.3, 13 in decreasing order.
13, x, -0.3
Suppose -6*h - 8 = -2*h. Let m be 3/15 - (6 + 0 + 476/(-70)). Sort m, 7, 5, h in decreasing order.
7, 5, m, h
Let t = -49.21 - -50. Let j = t + -0.99. Sort j, 6, -0.4 in ascending order.
-0.4, j, 6
Let p be (-50)/(-10)*(-3)/18. Let r = 111/2 - 57. Put -3, p, r in decreasing order.
p, r, -3
Let k = -468 - -733. Let i be (-6)/33 - 4/(220/k). Sort -26, 3, i in descending order.
3, i, -26
Let k = -536 + 535.6. Let y = -0.14 + 1.24. Put 4, -0.3, k, y in descending order.
4, y, -0.3, k
Let h = -1768 + 1768.05. Sort -2, -1/6, h in ascending order.
-2, -1/6, h
Let k = -251.2 + 251.7. Sort k, 8, 2/23.
2/23, k, 8
Suppose -b + 10 = 5*c, -2*c + 77*b + 22 = 81*b. Put -4, c, 54, -2 in decreasing order.
54, c, -2, -4
Let z = -2.5 - 0.5. Let n = -0.5 - z. Let l = n + -2.6. Sort -2, -5, l.
-5, -2, l
Let n be 0 + 6 + (-78)/24. Sort 4, n, -0.14.
-0.14, n, 4
Suppose -3*o - 24 = -4*h + o, 0 = 2*h - 5*o - 15. Let k(r) = r**2 - 3*r - 3. Let a be k(4). Sort 2, a, -4, h.
-4, a, 2, h
Let i(a) be the first derivative of -a**3/3 + 10*a**2 + 20*a - 5. Let d be i(21). Put d, 2, 4 in increasing order.
d, 2, 4
Let a(l) = -l**2 + 4*l + 10. Let n be a(5). Suppose -22 = -n*p - h, -3*p = -2*h + h - 18. Sort 4, -3, -4, p in increasing order.
-4, -3, 4, p
Let k = -0.0278 + 3.0278. Put -0.4, k, -17 in descending order.
k, -0.4, -17
Let x be (-46)/(-10) + 2/5. Suppose 0*w + 2*w - 18 = -x*u, 0 = w + 4*u - 15. Sort w, -5, -1/7.
-5, w, -1/7
Let w = -602 + 592. Sort 1, w, -2 in descending order.
1, -2, w
Let q = 216 + -433. Let s = q + 214.09. Let r = -0.09 + s. Sort 0.3, r, -1 in decreasing order.
0.3, -1, r
Suppose 3*i = 44 - 56. Sort i, -5, -70, -2.
-70, -5, i, -2
Let d(v) = 8*v**2 - 88*v + 2. Let j be d(11). Put -106, 4, j, -2 in descending order.
4, j, -2, -106
Let q be (4/(-5))/(-1)*-5. Let d = -376 + 376. Let v be q/12*(d + -15). Put v, 2, 1 in increasing order.
1, 2, v
Suppose 4*i + g = -25, i + 5*g + 30 = -0*g. Sort 0.4, i, -12 in increasing order.
-12, i, 0.4
Let y(f) = f**2 + 5*f - 1. Let b be y(-5). Sort -2, 1, b, 14.
-2, b, 1, 14
Let f = 1.7 + 3.8. Let k = f - 0.5. Sort k, -1, 0.14.
-1, 0.14, k
Let j be ((-6)/(-15))/(-2) - (-9)/(-5). Suppose 0 = -p + 5*p - 12, -13 = 4*w + 5*p. Let i be 2/(-9) + w/9. Put -3, j, i in descending order.
i, j, -3
Let u be 1 + 2 - (0 - 2). Let l(w) = 16*w + 38. Let o be l(-2). Let h = 5 - 4. Sort u, o, h in decreasing order.
o, u, h
Suppose -5*w = 5 + 40. Sort -6, -4, -5, w in increasing order.
w, -6, -5, -4
Let q(t) = t**2 + 9*t - 26. Let f = 1 + -12. Let o be q(f). Let v(l) = -l**2 + 5*l + 2. Let u be v(5). Sort -5, o, u in ascending order.
-5, o, u
Let a(g) = -4*g**2 + 10*g - 26. Let t be a(5). Let q = -78 - t. Sort 1, 0, q, -5 in ascending order.
-5, q, 0, 1
Let c = -242 - -242.3. Put -1, 5, -2, c in descending order.
5, c, -1, -2
Let q = -118 - -82. Let z = 53 + q. Put z, -1, -5 in descending order.
z, -1, -5
Suppose -4*y + 5*q + 195 = 0, 4*q - 168 = -2*y - 2*y. Let z be (-2)/5*(-25)/y. Sort z, 2, 1/3, -0.1 in ascending order.
-0.1, z, 1/3, 2
Suppose 7*g = 5*g + 10. Suppose 2*x - 18 = h, g*x + 14 = -3*h + 37. Sort -4, x, 3 in descending order.
x, 3, -4
Let h = 108 - 103. Sort -4, -3, 2, h in decreasing order.
h, 2, -3, -4
Let a(s) = -52*s - 4. Let b be a(-2). Suppose 4*u - 8*u = -b. Let r = 15 - 17. Sort r, -4, u.
-4, r, u
Let z = -13 - -8. Let k = 32.6 - 32. Let r = k + -0.8. Sort z, r, 0 in descending order.
0, r, z
Let s = -632 - -632. Put 13, s, 3, -3 in ascending order.
-3, s, 3, 13
Let o be 2/(-10 + 2 + 6). Put -4, o, 354 in ascending order.
-4, o, 354
Let b = 2 - -2. Let h(g) = g**3 - 3*g**2 - 6*g + 8. Let p be h(b). Let k = -11 + 6. Sort p, k, -4 in descending order.
p, -4, k
Suppose -3*h = -3*m, -4*h = -2*m + 4 + 6. Put 3, m, 0 in decreasing order.
3, 0, m
Let a = 1225 - 1215. Sort 4, 2, a in decreasing order.
a, 4, 2
Let l = 0.091 - 4.091. Let b = 13.9 + -14. Put -0.05, b, l in decreasing order.
-0.05, b, l
Let d be (-7090)/8 + (-3)/(-12). Let k be (-8)/24 + d/780. Let a = 2/65 - k. Put -2, 2/3, a in decreasing order.
a, 2/3, -2
Let s = 20 - 29. Let w be (-160)/72 - 2/s. Put w, 3, 1 in descending order.
3, 1, w
Let l = 35 + -30. Let h = -9 + 16. Let d = -6 + h. Sort d, l, 0 in descending order.
l, d, 0
Suppose 4*w = 4 + 8. Suppose -11 = 3*r - 2, -2*v + r = -w. Let m(i) = i**3 + i**2. Let p be m(1). Put -3, p, v in ascending order.
-3, v, p
Let t = 0.31 - 0.01. Let a = 1.47 - -11.93. Let y = -13 + a. Sort y, t, 3.
t, y, 3
Let o be (-5)/(-3) + -2 - 0. Let w = -15262 - -15261.5. Sort o, w, -4, 2/7 in increasing order.
-4, w, o, 2/7
Suppose 145 + 63 = -16*x. Sort x, -6, 3 in descending order.
3, -6, x
Suppose -y = -9 + 11. Let c(x) = 3*x + 17. Let g be c(-9). Put -3, y, g in descending order.
y, -3, g
Suppose -k = k - 10. Suppose 25 = -k*g + 5*c, -6*c + 2*c - 1 = 3*g. Let t(s) = s**2 - 6*s + 9. Let q be t(5). Put g, 0, q in ascending order.
g, 0, q
Let w = -1.4 + 1.5. Let r = 441 + -1751/4. Sort 4, r, w in descending order.
4, r, w
Let u be -5 + 1 - 3/6*0. Put 2, 11, u in decreasing order.
11, 2, u
Let c = -0.078 - 0.092. Let i = -1064 + 1059.17. Let o = i + c. Put o, 1.1, -2 in decreasing order.
1.1, -2, o
Suppose 56*a - 2*d - 22 = 61*a, a - 5*d = -26. Put 28, a, 3 in decreasing order.
28, 3, a
Let t(i) = -3*i - 14. Let j be t(-6). Suppose j*d = 9*d. Put d, -5, -2 in decreasing order.
d, -2, -5
Suppose -3*f - 120 + 414 = 0. Let j = f + -94. Sort -3, -1, 2, j.
-3, -1, 2, j
Let m = -9.4 - -15. Let c = -1.4 - m. Let i = 8 + c. Put i, 10, 2 in increasing order.
i, 2, 10
Let q = 4.3 - 4.86. Let k = 34.3 + -35.3. Sort 2/15, k, q, 0.2 in descending order.
0.2, 2/15, q, k
Let x = -24 + 15. Let g = x - -11. Sort -1, -11, g.
-11, -1, g
Suppose -u + 3 = -0*u. Suppose -2*q - 2*f = 3*f + 11, 5*q = 4*f - 11. Let l(o) = o + 1. Let v be l(-2). Sort v, u, q in descending order.
u, v, q
Let r be 19 + 0 - (-4)/(-1). Let c = -15 + r. Put 4, c, 3/8 in descending order.
4, 3/8, c
Let j be (-2 - 1)/(1 + 0). Let q be (2*j)/3 - -8. Let r = 561 - 562. Put 2, q, r in ascending order.
r, 2, q
Let y = -0.1 - -0.1. Let j = -1.71 - 0.19. Let u = -0.1 + j. Sort -1, u, y.
u, -1, y
Let s be (-13)/15 + (-10)/((-70)/7). Sort s, -0.04, 2/5, 0.1 in descending order.
2/5, s, 0.1, -0.04
Suppose 6*p + 5 = -7. Let y be (-12)/32 + p/(-16). Put 0.1, 10, 3, y in increasing order.
y, 0.1, 3, 10
Let b = 0.3 - -1.7. Sort 96, b, 5 in increasing order.
b, 5, 96
Let w be 14/2 - 9/45*-5. Put w, -27, 3, -3 in increasing order.
-27, -3, 3, w
Suppose 0 = -6*h + 11*h + 4*l + 35, -8 = h + l. Sort 1, h, -1 in ascending order.
h, -1, 1
Let b = 1440 - 1445. Sort -1, 3, 39, b in decreasing order.
39, 3, -1, b
Suppose 5*v = 4*v + 60. Let f = 361/6 - v. Let t be 2/(-4) + 154/140. Sort 2/5, t, f in increasing order.
f, 2/5, t
Let s = 22 - 19. Sort -3, 32, s in increasing order.
-3, s, 32
Suppose 440*w - 425*w + 15 = 0. Sort 5, w, 45, 2 in increasing order.
w, 2, 5, 45
Let v = -198 - -196. Suppose 0 = -4*o - 2*c + 20, -3*c = -c - 8. Suppose 5*f - 15 = o*l - 2*l, 2*l - 3*f + 2 = 0. Put l, 3, v in ascending order.
v, 3, l
Suppose 3 = -58*g + 57*g. Suppose -2*f = 2*o + 10, 4*f = -4*o + 3*f - 11. Put 3, o, -4, g in increasing order.
-4, g, o, 3
Let a = -0.586 + 