 -7*v + 5*v + 42 = 0. Sort v, l, 0.
l, 0, v
Let d(h) = -h**3 + 23*h**2 + h. Let v be d(23). Suppose t + 4*q - 2 + 3 = 0, -3*q = -5*t + 41. Let f be (-30)/t - 6/(-21). Put v, -2, 1, f in descending order.
v, 1, -2, f
Suppose 82*u = 86*u - 276. Suppose 0 = -2*y + u + 29. Let s = 55 - y. Sort 2, s, 5, 1.
1, 2, 5, s
Let h = -610.5 - -611. Suppose 25 = 5*x - 0*f - 2*f, 4*x - 5*f = 20. Sort -0.1, h, x, -6 in descending order.
x, h, -0.1, -6
Suppose -17*x + 20*x + 286 = 14*x. Put -4, x, -6, 6 in decreasing order.
x, 6, -4, -6
Let y = -16.99 - -3.09. Let r = y + 13.8. Let j = 2 - 2. Sort -3/8, j, r in decreasing order.
j, r, -3/8
Suppose -928*p + 926*p - 5*d = 35, p - 7 = d. Sort p, 12/5, -1, -0.7, -0.4 in increasing order.
-1, -0.7, -0.4, p, 12/5
Let w be 1568/196*(-2)/72. Sort -32, w, -5 in descending order.
w, -5, -32
Let c be 1 + (10 - 4 - 8) + (-6)/(-12). Put -3/7, c, -0.04, 2/45, 4 in descending order.
4, 2/45, -0.04, -3/7, c
Let w be (-202)/(-20) - (-15)/(-150). Suppose w*a - 120 = 34*a. Sort -30, a, 5 in increasing order.
-30, a, 5
Suppose -5*d - 2 = 8. Let v(h) = -3*h**2 - 117*h + 1. Let t(u) = -u**2 - 17*u - 39. Let b be t(0). Let p be v(b). Sort d, -3, 10, p in descending order.
10, p, d, -3
Let s(q) = q + 7. Let v be s(-5). Let m(p) = 6*p**2 - 173*p - 824. Let k be m(33). Sort v, 10, k in ascending order.
k, v, 10
Let p be 46 + -56 + (1 - 1) + 7. Suppose 0 = -2*x - 2*x. Sort p, 1, -5, x in descending order.
1, x, p, -5
Let y = 66 - 65. Let t be ((-8)/(-1))/(2*y/3). Suppose 0 = 5*j - t - 13. Put j, -6, 3 in increasing order.
-6, 3, j
Suppose 3*n = -n. Let q be (-12)/10*65/(-39). Let t = -484 - -480. Sort t, n, -5, q.
-5, t, n, q
Let a = 547 + -541. Suppose 5*x = 5*i + a*x + 2, 3*x = 9. Put i, 0, 3, -3 in descending order.
3, 0, i, -3
Let b be ((-3)/9)/((-4)/24). Suppose 9*o = 387 - 270. Sort o, b, -4 in descending order.
o, b, -4
Let y = -55 + 103.8. Let i = 34.2 + y. Sort 2/11, 0.4, 1/5, i in descending order.
i, 0.4, 1/5, 2/11
Let f = -8490 + 8491. Sort f, -1, 4, 45.
-1, f, 4, 45
Suppose -19*j - 98 = -79. Sort j, 5, 564 in descending order.
564, 5, j
Let n = 6.023 + 0.457. Let a = -11.48 + n. Sort 1, 6, a in decreasing order.
6, 1, a
Let s be (-4 - (8 + 125/(-10)))*1. Sort -2/13, 1, s, -133 in decreasing order.
1, s, -2/13, -133
Let r = -39.2 + 26. Let w = r - -13. Let o = 437 + -436.9. Sort o, 16, w in decreasing order.
16, o, w
Let d = -0.4 + 0.1. Suppose -2*x = 2*n + 32 - 22, 2 = -n. Let z be (-10)/30 + 3/x. Sort z, -2/13, d in decreasing order.
-2/13, d, z
Let x be (13 - 14) + (78/221)/(2/34). Let a = 0.1 - 0.04. Sort x, a, -1 in decreasing order.
x, a, -1
Suppose 40 = 5*v - 5*u, 4*v + 11*u - 2 = 9*u. Put -5, 1, v, -17 in descending order.
v, 1, -5, -17
Let i = 25.2 - -1.8. Let h = -656.3 + -105.7. Let f = h + 759. Sort f, i, 0.3.
f, 0.3, i
Let z = -115/51 + 10/17. Let n = 2744/5 + -547. Let s = n + z. Put s, 2/7, 0.4, 1 in descending order.
1, 0.4, 2/7, s
Let m(o) = -50*o - 203. Let n be m(-4). Sort 4, 0, n, -4, -22 in increasing order.
-22, -4, n, 0, 4
Let i be 1/4 - (-171)/(-76). Let g = -60 + 56. Sort -5, -3, i, g in descending order.
i, -3, g, -5
Let k(r) = 3*r**2 + 3 + 2*r**2 - 4*r**2 - 8*r. Let t be k(8). Suppose 75*n + 658 - 283 = 0. Put n, t, -1/2 in descending order.
t, -1/2, n
Let t be 4/7 - 2 - -1. Let i be (-2)/4*16/10. Let y = 4.031444 - 0.031444. Sort t, i, y.
i, t, y
Suppose 320 = 71*h - 55*h. Let z be (-2)/(-6) + (-120)/(-45). Sort z, h, 2.
2, z, h
Let c = -15544 + 15496. Let v = -0.6 + 2. Let y = -1 + v. Sort y, 1/2, c.
c, y, 1/2
Let l = -3.8569 + -0.1431. Let z = -8 + 5. Let w = -3.1 - z. Put w, -0.22, l, 0.1 in descending order.
0.1, w, -0.22, l
Let k be (-445 - -437)*(-1 - 0)/(-2). Sort 4, k, -294, -1 in increasing order.
-294, k, -1, 4
Let t(k) = -247*k + 2232. Let n be t(9). Sort 5, -3, n, -5, 3 in decreasing order.
n, 5, 3, -3, -5
Suppose 21*i - 181 - 132 = 212. Suppose 0 = 2*r + 2*r - 112. Let o = i - r. Put -0.4, o, 1/7, 0.4 in decreasing order.
0.4, 1/7, -0.4, o
Let q = -119.43 - -114.43. Sort q, -4, 5, 48, 1/2.
q, -4, 1/2, 5, 48
Let o = 3915 + -3897. Sort -5, 5, -7, o.
-7, -5, 5, o
Let u be -7 + 125/15 - (3 - (-22)/(-15)). Put u, -24, 74 in descending order.
74, u, -24
Suppose 4*v + 8 = 5*z, 0 = -2*v + 59*z - 55*z - 4. Sort v, 5, 8, 3, -3 in ascending order.
-3, v, 3, 5, 8
Let f = 451/735 + -2/147. Let h = -0.74 + -98.26. Let p = h + 104. Put 2/9, p, f in decreasing order.
p, f, 2/9
Let q(d) = -d**2 - 27*d + 55. Let z be q(2). Let v(j) = -j**2 - 3*j + 3. Let s be v(-4). Put z, -29, 1, s in increasing order.
-29, z, s, 1
Let a = 517.6 - 518. Let w = 2.7 - 7.7. Sort -0.04, w, a, -1 in decreasing order.
-0.04, a, -1, w
Suppose 0 = 4*k - 5 - 11, 3*k - 36 = 4*v. Let y be (8/(-14))/(48/2520*45). Let l = 49/2 + -25. Sort v, l, y in increasing order.
v, y, l
Suppose -13*a - 320 = 19*a. Let h(v) = -10*v - 225. Let n be h(-22). Put a, -3, n, 1 in decreasing order.
1, -3, n, a
Let m = -345.2 + 377. Let q = m - 32. Sort q, 4/13, 4.
q, 4/13, 4
Let n = 1618 - 1623. Put -0.8, -1/9, n, 4 in decreasing order.
4, -1/9, -0.8, n
Let w(v) = -v**2 + 3*v + 1. Let i be w(4). Sort i, 42, -24, -5 in increasing order.
-24, -5, i, 42
Let h(b) = 2*b**2 + 45*b + 24. Let f be h(-22). Suppose 26 = -4*k + 2*s, -k + f*s = 4*s + 19. Suppose -t - 7 = -2. Sort t, 3, k in decreasing order.
3, t, k
Suppose -11*t + 1339 = 1361. Put t, -7, 1 in increasing order.
-7, t, 1
Let c(n) = -n**3 + 22*n**2 - 16*n - 94. Let v be c(21). Sort 5, v, -0.13, 1/2 in decreasing order.
v, 5, 1/2, -0.13
Let l(i) = 3*i**2 - 4*i + 2. Let y be l(2). Suppose 4*f - y = 2*f. Let x be 4*((-1)/6)/(39/117). Sort x, -8, f in descending order.
f, x, -8
Let t(u) = 7*u**3 + 29*u**2 - 29*u + 5. Let l be t(-5). Put 21, 4, 3, l in decreasing order.
21, 4, 3, l
Let m be (-12 - 315/(-18))/((-1)/(-2)). Let h be -39 + 4 + -8 + m. Put h, 0, -1, 2 in increasing order.
h, -1, 0, 2
Let h = -10698 - -10698.4. Let j = -578 - -14452/25. Sort j, 2/23, h.
j, 2/23, h
Let f = -35 - -49. Suppose 21*v - f - 7 = 0. Put 2, -19, v in descending order.
2, v, -19
Let y(q) = q + 11. Let h be y(-5). Let n = -679 - -682. Suppose 4*d = -n*r - 19, -3*r + r - 12 = 2*d. Put h, 0, d, -4 in decreasing order.
h, 0, d, -4
Let m(f) = f**3 - 54*f**2 - 61*f + 328. Let b be m(55). Sort -2/15, 314, b in increasing order.
b, -2/15, 314
Let b = -42 - -70. Suppose -b = -z - 6*z. Suppose z*g - 15 = 13. Put 0, 2, g in descending order.
g, 2, 0
Let m(g) = -g**3 + 10*g**2 - 4*g + 42. Let d be m(10). Sort -1, d, 7, -5, 18.
-5, -1, d, 7, 18
Let z = -2 + 2.2. Let w = -0.3 - z. Let d be (-476)/(-357)*(-12)/64. Put w, d, -2, 0 in descending order.
0, d, w, -2
Suppose 0 = -27*n + 18*n - 39*n + 336. Sort n, -2, 0, 37 in decreasing order.
37, n, 0, -2
Suppose -9*r - 13*r + 115 = r. Let b = -387 - -4254/11. Put 3/2, r, b in descending order.
r, 3/2, b
Let i = -562 + 558. Let v(d) = -d**2 - 12*d + 1. Let s be v(-13). Let a(t) = -t**3 - 12*t**2 - 5. Let y be a(s). Sort y, i, 2.
y, i, 2
Suppose -3*z + 20 = -2*r - 1, -2*z + 1 = 3*r. Let x = -845532 - -845530. Sort r, x, -222 in decreasing order.
x, r, -222
Suppose -11 = -4*k + c, -9*k - 3*c = -6*k + 3. Let i(r) = -3*r**3 + 2*r**2 + 2*r. Let a be i(-1). Sort k, 0, a, -29 in increasing order.
-29, 0, k, a
Let b(s) = -s**3 - s**2 + s. Let m be b(-1). Let h be (-150)/25 - (-16)/2. Put -22, m, -5, h in decreasing order.
h, m, -5, -22
Let g = 28 - 55. Let m = g - -30. Let b be (-1 - (-4 - -1))/1. Sort m, b, -4.
-4, b, m
Suppose 0 = -q + h - 6*h + 22, 3*h = 15. Suppose -15 = 3*y - 6*y. Let n = -29916 - -29907. Put q, y, n in decreasing order.
y, q, n
Suppose 39*u + 34*u - 38*u = 210. Put u, -4, -73, 0, 1 in increasing order.
-73, -4, 0, 1, u
Let f = -1567 + 1668. Sort f, -5, 1.
-5, 1, f
Let k(h) = -19*h**2 + 131*h + 16. Let r be k(7). Sort 0, 559, r in descending order.
559, r, 0
Let t = 1021.19726 - 0.19726. Sort 3/2, t, -2/9 in ascending order.
-2/9, 3/2, t
Let o = 113984/33 + -3454. Sort -12, -3, 2/7, 5, o.
-12, -3, o, 2/7, 5
Let j be (6 + -1)*-1*710/(-71). Suppose 0 = -j*d + 332 + 118. Put d, -6, 3 in ascending order.
-6, 3, d
Let u(t) = -2*t + 28. Let m be (-34)/(-3) + 0 - 8/(-12). Let i be u(m). Suppose 17 = -i*a + 25. Put -4, -1, -5, a in ascending order.
-5, -4, -1, a
Suppose -94*w 