 2*v - 30 = x*l, -5*v - 3*l + 49 = 0. Put -5, -2, v in ascending order.
-5, -2, v
Let y be (-2)/(-2)*6/(-2). Let a be y - (-1 - (7 + -8)). Sort -9, -2, 1, a.
-9, a, -2, 1
Let s = 22311 + -22307. Put 1/993, s, 1 in increasing order.
1/993, 1, s
Let j = -11626 + 11628. Put j, 75, -3 in ascending order.
-3, j, 75
Let w = 0.31061 - 0.01061. Put 4, 2, 29, w in descending order.
29, 4, 2, w
Let i be (87/(-464))/((-3)/4) - (-30)/(-184). Sort 3/107, -2, -5, 0, i in decreasing order.
i, 3/107, 0, -2, -5
Suppose 0 = -12*q - 19*q + 434. Suppose q*j = 12*j - 22. Sort -2, j, 0, 2 in descending order.
2, 0, -2, j
Let d(a) = a**3 + 16*a**2 - 2*a - 30. Let p be d(-16). Suppose 3*i + 28 = 22. Let o(q) = q**3 + q**2. Let u be o(i). Put p, u, -3 in decreasing order.
p, -3, u
Suppose -11*k - 34 + 111 = 0. Suppose -7*h = k*h + 14. Suppose 1 = -n + 5. Sort 0, n, 2, h.
h, 0, 2, n
Let q = -9/2 + 43/10. Let t = -567 - -593. Put 6/11, q, t in decreasing order.
t, 6/11, q
Let c be (-756)/315 + 49/35. Sort 0.105, -0.4, c, 3, -7 in ascending order.
-7, c, -0.4, 0.105, 3
Let v = 1272 - 1272. Sort 11, v, -15/7.
-15/7, v, 11
Let n be (-2)/(-6)*(-2100)/(-350). Let r = 1 - 6. Put -3/4, r, n, -0.012 in decreasing order.
n, -0.012, -3/4, r
Let t(z) = 20*z + 3. Let a be t(1). Suppose 4 = -2*g, l - a + 10 = 5*g. Sort 16, -0.02, l.
-0.02, l, 16
Suppose -5*q + 200 + 68 = x, 5*q - x = 272. Sort -4, 0.3, -1/3, q in descending order.
q, 0.3, -1/3, -4
Let n = -1.65 - 0.35. Let v = 40 + -46. Let w be (3/36)/(0 + v/16). Sort 4, w, -2/19, n in decreasing order.
4, -2/19, w, n
Let h(g) = 5*g - 60. Let w be h(13). Suppose 19 = 4*c - 3*p, 0 = w*c - 5*p + 1 - 26. Sort c, 1, -1 in increasing order.
-1, 1, c
Let d be (-4)/(-3) - (-480)/72. Let u(h) = -5*h - 7. Let j be 28/(-16) - 1/4. Let g be u(j). Sort g, d, -2, -1 in decreasing order.
d, g, -1, -2
Let w be 32/80*-10*(-25)/(-40). Let j = -60 - -241/4. Sort j, 1/19, w, 0.5 in descending order.
0.5, j, 1/19, w
Suppose 0 = -3*s - 2*s - 2*i - 28, -5*s + i - 16 = 0. Suppose 4*o + 1 + 9 = -3*g, 3*g - 4*o + 2 = 0. Let c be g*(-2)/1*1/s. Sort -17, 5, c in descending order.
5, c, -17
Let n = 6.1 + -5.7. Sort n, -1, 5, -41, 2.
-41, -1, n, 2, 5
Suppose 2*j - 7 = 3*t, 0 = 4*t - t - 4*j - 1. Suppose 57 = -4*g + 1. Suppose -2*c = -2311 + 2305. Sort t, g, c, 1 in decreasing order.
c, 1, t, g
Let v = -381 - -390. Suppose 4*u - 3*w - 9 = 0, -2*u + 4*w = 3*u - 11. Sort v, -1, u in descending order.
v, u, -1
Let u(s) = 9*s - 30. Let v be u(5). Suppose v*z - 73 = 17. Put 4, -3, -6, z in increasing order.
-6, -3, 4, z
Let s be (-3)/(-2)*(1 + 1). Let i be 270/18*6/(-10). Let h = i + 6. Sort -1/4, s, h.
h, -1/4, s
Suppose -3*q - 106 = -5*r, 81 = -3*q - r + 5. Let z = q - -30. Sort z, -13, 5, 0 in decreasing order.
5, z, 0, -13
Let z = -2181 - -4809/2. Let o = -1791/8 + z. Put -5, -42/5, o in increasing order.
-42/5, -5, o
Let z = 79 + -65.6. Let p = z + -13. Let u = -5.0265 + 0.0265. Sort 1, u, -3, p.
u, -3, p, 1
Let t = 7374 - 7018. Put -1/5, -4, t in decreasing order.
t, -1/5, -4
Suppose 9*v + 9 = 9. Suppose v = -76*j + 79*j - 39. Put -2, 3, j in ascending order.
-2, 3, j
Let y = -7525 + 7522. Sort -14, -4, y, 1 in decreasing order.
1, y, -4, -14
Suppose 0 = 21*f + 18*f - 151 - 44. Sort 25, -3/5, f in increasing order.
-3/5, f, 25
Let a be -8*(-2 - (-70)/28). Put -3, a, 2, -955 in decreasing order.
2, -3, a, -955
Suppose -19*t - 36 = -4*t + 3*t. Put 4, 0, t, -117 in ascending order.
-117, t, 0, 4
Let b = 4695 - 4696. Put 5, 3, -4, b, -12 in ascending order.
-12, -4, b, 3, 5
Let d = 1749 + -1762. Sort d, 4, -12 in descending order.
4, -12, d
Suppose 20 = -2*f + 7*f. Let b = -12 - -15. Let u(z) = 2*z**3 + 4*z**2 - z - 6. Let o be u(-2). Sort f, b, o.
o, b, f
Suppose 3*p + 2*u - 322 = 0, -2*p + 0*u + 3*u = -193. Let b = 88 - p. Let n be 5/(-20) + ((-644)/b)/(-7). Sort -1, 0, n in ascending order.
n, -1, 0
Let a(x) = x**2 - 2*x - 187. Let j be a(-14). Suppose 0 = -3*u + 2*f + 131, -u - j = -2*u + 4*f. Sort u, 3, 1, -1 in increasing order.
-1, 1, 3, u
Let a = -372.9991 + 373. Let w = 1.0009 - a. Let v = -4 + 6. Sort w, v, 3 in descending order.
3, v, w
Let w = -5532 - -5540. Sort w, 18, 3, -1 in descending order.
18, w, 3, -1
Let z = 0.8 - 0.3. Let w be ((-319)/2233)/(6/(-105))*(-12)/(-10). Put -2/9, z, w, 4 in ascending order.
-2/9, z, w, 4
Suppose -13*v = -2*f - 9*v - 4, -3*v = -2*f - 5. Let r be -3 - 3/3*-1. Put -70, f, r in decreasing order.
r, f, -70
Let l = -4655 - -4654.6. Sort 0.3, 5, l, 2/13, -11 in decreasing order.
5, 0.3, 2/13, l, -11
Suppose 3*o - g + 1 = 0, -20 = -31*o + 27*o - 4*g. Put o, -5, 6, 4, 0 in decreasing order.
6, 4, o, 0, -5
Suppose 0 = 10*y - 3 - 17. Let j be y/(-13) - 1587/(-4485). Let i = -0.28 - -0.3. Put -0.2, 1/9, j, i in ascending order.
-0.2, i, 1/9, j
Let q = 1766 - 1771. Sort 5, -3, q, -4.
q, -4, -3, 5
Let j be (16/10)/(4/10) + 64. Suppose -j*w - 10 = -58*w. Put -17, w, 5 in increasing order.
-17, w, 5
Let q = 0.01 + -91.01. Let c = 2894 - 2980. Let a = q - c. Sort 1, a, 4.
a, 1, 4
Let n be (144/40 - 4) + 15/(-25) + 5. Put 538, -5, 3, -2, n in descending order.
538, n, 3, -2, -5
Let u = 9144.509 - 9149. Let t = 0.509 - u. Sort 24, 0.5, t in descending order.
24, t, 0.5
Let n = -6493 + 6494. Sort n, 100, -0.2, -2/3, 1/2 in ascending order.
-2/3, -0.2, 1/2, n, 100
Suppose 4*r - 84 = -4*l - 104, 0 = r + 3*l - 9. Let h = -1 + 1.5. Sort 4, -1/7, r, h in descending order.
4, h, -1/7, r
Let v = 1554 - 1509. Let x = 4.98 - -0.02. Sort v, 4, x in increasing order.
4, x, v
Let p be (-2 - -3)/(472/(-32) + 15). Suppose -w - 25 = 4*w. Let b = w - -3. Put b, p, 5 in increasing order.
b, p, 5
Suppose -17*h + 275 = -12*h. Let n = -52 + h. Suppose -n*o + 2*p = -4*o - 9, 6 = o - 3*p. Sort o, 2/9, -0.1 in decreasing order.
2/9, -0.1, o
Let o = 1059 + -3179/3. Sort 0, o, 5, -1/52 in descending order.
5, 0, -1/52, o
Let a = -3.29322 - -0.24322. Sort a, -1, 2/13 in ascending order.
a, -1, 2/13
Suppose -12 = -2*q - 22. Let a be 6 + -1 + -46 + 50 - 8. Put a, 2, q in ascending order.
q, a, 2
Let p = -39937 - -39942. Sort -10, p, 49, -5 in increasing order.
-10, -5, p, 49
Let c = 32.19 + -33.19. Sort c, -108, -1/3.
-108, c, -1/3
Let c = -250 + 543. Let k = c + -293.133. Let q = -0.433 - k. Sort -1/5, 5, q in decreasing order.
5, -1/5, q
Let r(w) = -2*w**2 - 4*w - 1. Let x be r(-3). Let f be 100/26 + (x - -3). Let i = 1359/5 - 271. Sort i, f, 0 in decreasing order.
i, 0, f
Let i(n) = 14*n**2 + 6*n - 7. Let w be i(-1). Suppose 0*y - 2*y = -134. Sort y, w, 3 in increasing order.
w, 3, y
Suppose -790*n + 788*n = -16. Suppose -3*k = 9, n*d = 10*d + 5*k + 9. Put 13, -2, d in decreasing order.
13, d, -2
Let g(j) = -2*j**2 + 19*j - 24. Let q be g(8). Let f = -2.9818 + -0.0182. Put -0.3, f, q, 7 in increasing order.
f, -0.3, q, 7
Let i = -12711 + 12711. Sort i, -5, 24, -3, -2 in descending order.
24, i, -2, -3, -5
Let n = -2.3 - -0.3. Let c(t) = 9*t**2 - 164*t - 794. Let f be c(-4). Sort f, n, -4 in increasing order.
-4, n, f
Suppose 0 = -3*v + 3*t - 9, 0 = 4*v - 9*v + 3*t - 11. Sort 39, -5, 1, 0, v.
-5, v, 0, 1, 39
Let n be (-13)/(-182) + 4/(-7) - (-75)/(-30). Sort n, 2/13, -0.2, -1, 40 in descending order.
40, 2/13, -0.2, -1, n
Let x be -54*((-50)/15 + 3). Let u be ((-8)/(-48))/(22/x - 1). Sort -5, -2, u in descending order.
u, -2, -5
Let n = 356 - 371. Let t be 12/30 - 9/n. Sort t, -3, 8 in ascending order.
-3, t, 8
Let z = -207 + 603. Let t = z - 391. Let i = 235 - 1179/5. Sort t, i, 0.5, -2/5 in decreasing order.
t, 0.5, -2/5, i
Let j = 730.0287 + -730. Let f = j - 0.3287. Sort f, 1, -17 in decreasing order.
1, f, -17
Let j = -1.4 + 0.5. Let w = 0.83699 - 0.63699. Put -3, w, j in decreasing order.
w, j, -3
Let d(b) be the second derivative of -b**4/12 - 23*b**3/6 - 87*b**2/2 - 98*b. Let o be d(-18). Sort 2, o, -2.
-2, 2, o
Let h(n) = -6*n - 8. Let o be h(-2). Suppose p + j + 10 = 2, -3*p - o*j - 29 = 0. Put 2, p, 3, 4 in increasing order.
p, 2, 3, 4
Let o = -6.509 + 6.809. Sort 27, -3, o, 4.
-3, o, 4, 27
Let n = 2258 + -2250. Put n, 181, -2, -5 in decreasing order.
181, n, -2, -5
Let f(j) = j**3 - 13*j**2 - 13*j + 5. Let g be f(14). Suppose 14*p = g*p. Suppose 3*c + 5 - 2 = 0. Put c, 4, p in decreasing order.
4, p, c
Suppose 5*p + 458 = -s, -2*s = 2*p + 59 +