w = 4 + y. Put w, -2, 0 in decreasing order.
w, 0, -2
Let v = -567 + 566. Sort -3, -2, v, 6 in increasing order.
-3, -2, v, 6
Suppose 228 = -31*c - 1539. Put -3, 1, c, 4 in ascending order.
c, -3, 1, 4
Let i = -6 - -6.3. Let q(j) = -j**3 + j**2 - 2*j + 3. Let g(v) = v**2 - v - 1. Let a(z) = g(z) + q(z). Let n be a(2). Sort n, i, -1 in descending order.
i, -1, n
Let x = 0.437 + -4.437. Let p = 3844/7 + -550. Put -3, p, 2, x in increasing order.
x, -3, p, 2
Suppose -3*x = -1 + 34. Let w be ((-2)/(-4) - 0) + x/22. Sort -2, 1, w.
-2, w, 1
Suppose 0 = -5*t + 9*t - 8. Sort 5, t, -1/55 in increasing order.
-1/55, t, 5
Let l = 0.04 - -0.96. Let q = l + -1.3. Let f = -0.1 + q. Sort f, 0.2, -4 in descending order.
0.2, f, -4
Let b = 28 + -40. Let o = b + 15. Sort -5, 2, o in descending order.
o, 2, -5
Let m be 1/(-4) - 45/12. Let z = -0.9 - 2.5. Let c = z - -3. Put c, -2, m in increasing order.
m, -2, c
Let j = 50 + -48.96. Let i = -0.04 + j. Sort 0.3, 0, i in decreasing order.
i, 0.3, 0
Suppose -7*c + 19 = 2*i - 2*c, -5 = -c. Sort -1, 5, i in increasing order.
i, -1, 5
Let z be (-4)/(-22) - 4/22. Suppose -5*j + 41 = 4*s, -5*s + 10 = j - 15. Put 6, s, 2, z in ascending order.
z, 2, s, 6
Let n be (0 - 6/(-51))/((-8)/(-12)). Put -2/3, -0.4, 1/4, n in decreasing order.
1/4, n, -0.4, -2/3
Let q = -351 + 346. Put q, 1, -394 in ascending order.
-394, q, 1
Suppose -2*l = -21 - 5. Sort 11, 0, l, -4.
-4, 0, 11, l
Suppose 5*h - 11*h = 11*h. Sort 4, 5, h, 132 in increasing order.
h, 4, 5, 132
Let v(d) = d**3 - 3*d**2 + 2. Let h be v(5). Suppose -3*i - i + 48 = 0. Let y be h/i - 3 - 2. Sort 4, 0.5, y.
y, 0.5, 4
Let i = -273 + 274. Let n = -6 - -6. Sort i, n, 4, -3 in descending order.
4, i, n, -3
Suppose -3*q - 21 = 72. Let o = q - -52. Suppose -d = 3*m - 8, 6 = -3*d + o. Put m, 0, -2 in ascending order.
-2, 0, m
Suppose 34 = -3*p - 5*v, -5*p + 5*v + 13 = -p. Put p, -4, 2 in increasing order.
-4, p, 2
Let p = -4.1 - 0.9. Suppose -2*s - 3*d = -48 - 22, 4*d = -2*s + 72. Let b = 30 - s. Sort b, 5, p in descending order.
5, b, p
Let r(g) = g**3 - 2*g**2 - g + 1. Let o be r(2). Let n be (-1)/2 - 315/4606. Let x = 1/329 - n. Put 0.3, o, x in descending order.
x, 0.3, o
Let z = 149.1 + -148.1. Sort 0.4, 2, z, 6.
0.4, z, 2, 6
Let v = -1.0588 + 0.0588. Put -2/5, 0.1, 4, v in ascending order.
v, -2/5, 0.1, 4
Suppose 5*o + 2*w - 1 = 0, 0*w - 5*w = 4*o + 6. Let u be 3/(17/(595/21)). Sort 2, o, -1, u in increasing order.
-1, o, 2, u
Suppose 0 = 2*c - 4*c - 2. Let i(l) = -39*l + 473. Let h be i(12). Put c, -5, h in ascending order.
-5, c, h
Let w(x) = 7*x - 235. Let t be w(31). Sort 0, t, 5, -7.
t, -7, 0, 5
Let w(x) = -x**3 + 5*x**2 + 3. Let n be w(5). Suppose -8*r = -n*r. Suppose 6*l - l - 5 = r. Put 2, -1, l in decreasing order.
2, l, -1
Suppose -15 = 3*w + 2*d, -5*w - 5*d = -4*d + 25. Put 2/25, w, -2, 0.3 in increasing order.
w, -2, 2/25, 0.3
Let d be (-1)/(-3) - 22/44. Let f = 3 - 5. Suppose -3*o = -21 + 15. Sort f, o, d in descending order.
o, d, f
Suppose 3*f + 5*f = 480. Let a be 5*(26/(-70) + f/105). Sort -3, -5, a, 0 in descending order.
a, 0, -3, -5
Let j(p) = -2*p**2 + 7. Let x be j(-4). Let w = -23 - x. Suppose -w = -2*i - 4. Put -3, 0, i in descending order.
0, i, -3
Let z(n) = -n**3 + 3*n**2 + 2. Let r be z(3). Suppose -9 = -r*h + 7. Let a be (2/(-4))/((-28)/h). Sort 1, a, 6 in decreasing order.
6, 1, a
Let w = 0.6 + -1. Let n = -183/5 + 559/15. Sort n, 0.2, -0.07, w.
w, -0.07, 0.2, n
Let o be 0*(2 - 15/6). Suppose 4*x + 4*k + 4 = o, -5*x - 4*k = -0 + 4. Suppose x = -j - 2*j + 12. Put -5, -2, j in decreasing order.
j, -2, -5
Let b = -1 - -1.3. Let p = -5451/2480 + -1/496. Let n = 23/15 + p. Sort b, n, 2 in ascending order.
n, b, 2
Suppose 5*o = -0*o - 4*k + 11, -2 = -2*o - k. Let t be (18/15)/(3/(-10)). Sort o, 5, t in increasing order.
t, o, 5
Let x = -20 + 20.5. Let f be (-2)/(-3) - (-13)/39. Put -1/6, f, -1, x in increasing order.
-1, -1/6, x, f
Suppose 7*k = 2*k + 10. Let u = -2 - -4. Let h be u/(-9) + 145/45. Put h, k, 0.2 in descending order.
h, k, 0.2
Let c be ((-2)/3)/((-10)/1260). Let g be (-106)/c - (-24)/56. Sort g, 5, 0, 1/3 in increasing order.
g, 0, 1/3, 5
Let s(n) = -4*n + 14. Let q(v) = -5*v + 14. Let z(f) = -3*q(f) + 4*s(f). Let x be z(10). Put x, -2, -6 in increasing order.
-6, -2, x
Let q be 2/(-22)*-163 - 4/(-22). Let i = 59/4 - q. Let h = 5 + -4. Put h, 0, i in decreasing order.
h, 0, i
Let p = -0.038 - -0.638. Let h = -0.1 + p. Put 1/8, h, 4 in increasing order.
1/8, h, 4
Let n = -2629 + 2630. Sort n, -4, -0.16, 2.
-4, -0.16, n, 2
Let v = -2 + 1. Let w be (11 + -5)*6/(-27)*-21. Suppose 3 = w*t - 27*t. Sort -5, t, v.
-5, v, t
Let c(m) = 10*m - 2. Let z be c(-2). Let o be (-2)/(-2) + z/(-11). Let n(s) = s - 2. Let x be n(3). Sort o, x, -3.
-3, x, o
Let o = -81 + 88. Suppose o = 4*d + 7*x - 12*x, -5*x = d - 8. Sort 4, -4, d, 16 in increasing order.
-4, d, 4, 16
Let d(b) = -4*b**2 + 4*b + 2. Let h be d(5). Let c = h - -79. Sort 5, 3, c in ascending order.
c, 3, 5
Suppose 30 + 9 = s. Let k = s + -235/6. Sort -1/2, k, 6.
-1/2, k, 6
Let u(q) = q**3 - 8*q + 2. Suppose -3*l = -2*l - 3. Let m be u(l). Sort m, 7, -1 in descending order.
7, m, -1
Let w = 335 + -334. Put 0, -1, w, 3 in descending order.
3, w, 0, -1
Suppose b + 11 = 2*f - 0*b, 15 = -3*b. Suppose 0 = 5*a, -g + 4*a + f = 3*a. Sort -2, g, 4 in ascending order.
-2, g, 4
Let i(l) = l**3 + 5*l**2 + l + 6. Let p be i(-5). Let w = 0.34 + 0.46. Let y = -0.3 + w. Sort -0.4, y, p in increasing order.
-0.4, y, p
Let b be ((-15)/25)/((-10)/50). Put -3, -2, b, -77 in decreasing order.
b, -2, -3, -77
Let p = 483 + -481. Sort -3, -11, p.
-11, -3, p
Let v be 3 + (-44)/(-8) + -7. Sort -3, v, -23, 24 in ascending order.
-23, -3, v, 24
Let x = -75 + 92. Put 1, -4, x in descending order.
x, 1, -4
Let r be (0 + 1/(-3))*0/(-3). Suppose s + y - 4 = r, 6*s = s - 2*y + 17. Sort -5, s, 1 in decreasing order.
s, 1, -5
Let j = -8 - -5. Let g = -2 - j. Let c = 14 + -14.2. Put -2/9, g, c in increasing order.
-2/9, c, g
Let l = -65 + 46. Let q = l - -39. Suppose q = -5*v - 5. Sort v, 3, 5 in decreasing order.
5, 3, v
Let a be 0/((4 - 5) + -1). Suppose -3*o + 7*o + u + 2 = 0, a = -2*o - 5*u - 10. Put o, -1, 7, 5 in decreasing order.
7, 5, o, -1
Suppose -3*k + 5*n = 11 + 1, 33 = -4*k + n. Put k, 5, -3 in decreasing order.
5, -3, k
Let m(i) = 19*i**3 + 3*i - 3*i**2 - 35*i**3 + 15*i**3 + 4*i**2 + 4. Let n be m(3). Suppose 5*t = 3*l - 10, -l - 3*t + 4 = -4*t. Sort 2, n, l.
n, 2, l
Let r be 0/(-3 + 4 + 1). Sort r, -1, 16 in increasing order.
-1, r, 16
Let g = 501/7 + -72. Let d = -4.897 + 4.387. Sort d, 5, g in decreasing order.
5, g, d
Suppose 6 = x + 2*n, -4*n + 9 = 2*x - n. Sort -225, x, -4, -4/3 in increasing order.
-225, -4, -4/3, x
Let n be 2/(-1) - (-2 + -3). Suppose -h + s = -3, 2*h + 3*s = 7 + 4. Sort h, -0.3, n in increasing order.
-0.3, n, h
Let w be (5 + 26/(-5))/(4/(-20)). Put -5, 23, w in ascending order.
-5, w, 23
Let i = 0 - 0.2. Let t = -21 + 20.9. Let r = -0.2 - 0.8. Put r, t, i in ascending order.
r, i, t
Let d(y) = y**3 - 7*y**2 + 20*y - 85. Let b be d(6). Put 0, b, 12, -2 in descending order.
12, 0, b, -2
Suppose -11*i = -149 - 269. Let c be 19/i*(0 + -4). Sort 0, 2, 4, c in ascending order.
c, 0, 2, 4
Let j(n) = -n**3 + 6*n**2 - 10*n - 16. Let r be j(8). Let c = -1573/7 - r. Put 0.4, c, 0.2 in increasing order.
c, 0.2, 0.4
Let g be (-4 - -5)*(1 + 0). Let d = -3.2 + -0.8. Let z = d - -3.5. Sort g, z, -0.4.
z, -0.4, g
Suppose -u - 7 = k, -3*k = 4*u - 0*k + 23. Let o(d) = -d**2 + 9*d - 6. Let q be o(8). Suppose 3*l - q = 2*l. Sort 1, u, l.
u, 1, l
Let a be ((-16)/(-8))/((-4)/50). Let d = -17 - a. Let y be 2/(-10) - d/(-40). Put y, 3, -1 in ascending order.
-1, y, 3
Let f = -2.9709 + 0.0009. Let q = f - 0.03. Let c = -205.2 - -205.1. Put c, 0.1, q in decreasing order.
0.1, c, q
Let l be 1/((-58)/(-165) + 3/(-9)). Put -1, 1, l in descending order.
l, 1, -1
Suppose 6 = -r + l - 4, 0 = -2*r + 5*l - 35. Let p be (-243)/(-12)*r/(-30) + -3. Let u = 1 + 1. Put 0.4, u, p in descending order.
u, 0.4, p
Let y = -500 + 500.4. Sort -38, 0, y in decreasing order.
y, 0, -38
Let i be -1*(-51 + 55 - 9/1). Let j be (-1)/4 + 38/(-8). Put i, j, -2 in decreasing order.
i, -2, j
Let a = 0.09 - 0.49. Let d = -3.8 + 3.9. Sort d