/4, d, 0
Let u be (-28)/105 + -3*(-6)/(-135). Sort -4, 275, u.
-4, u, 275
Let o(g) be the first derivative of 4*g**3/3 + 5*g**2/2 - 5*g + 127. Let y be o(1). Sort 0.29, y, 0.1 in ascending order.
0.1, 0.29, y
Suppose 583*k = 572*k + 11. Sort -4, 6, k, 5 in decreasing order.
6, 5, k, -4
Let b = 10159 + -10158.94. Put -3, b, 0, -12, 0.07 in descending order.
0.07, b, 0, -3, -12
Let f(z) = -z**2 + 15*z - 59. Let y be f(9). Put -3, 863, y in descending order.
863, -3, y
Let x = 0.1302 - 10.1302. Put -1/26, x, 0, 3 in descending order.
3, 0, -1/26, x
Let m = 15 + -11. Let x be 5/(15/117) - (-5 - -5). Suppose 0*i - x*i = 273. Put 0, i, m in decreasing order.
m, 0, i
Let h be -7 - 209/(-33) - 14/(-3). Suppose w - 9 = -5*z + 11, h*w - 35 = -5*z. Suppose 13 = 5*s - 7. Sort s, w, 0 in decreasing order.
w, s, 0
Suppose -64 - 38 = -16*p - 35*p. Put -18, 0, -1, p, 1 in descending order.
p, 1, 0, -1, -18
Let i be 71/568 - 26/16. Put 595, -3, i, 3 in decreasing order.
595, 3, i, -3
Let o(j) = -j**2 - 4. Let w be o(0). Suppose -892*r = -852*r. Sort w, -164, r.
-164, w, r
Suppose -4*y + 5*y + 3*z = -2, 0 = 5*y + 4*z + 10. Let p(f) = -7*f - 7. Let r be p(y). Suppose -8*s = -r*s + 12. Sort 2, 4, s in decreasing order.
4, 2, s
Let p = -349.8 - -357. Let y = 12.197 - -0.003. Let r = y - p. Sort r, 9, -2 in descending order.
9, r, -2
Let p = -0.02 - -0.32. Suppose 3*b - 12 = -3*m, 4*m - 4 - 2 = -2*b. Put m, p, -1/4, -0.084 in decreasing order.
p, -0.084, -1/4, m
Let m be 2 + 0 - (-4 - ((14 - 16) + 7)). Put 0, m, 1, -21 in decreasing order.
m, 1, 0, -21
Suppose 3*y = 7*y - 8. Let k be (45/36)/(y/192*4). Sort 1, -3, k in descending order.
k, 1, -3
Let j = 0.2 + 0. Let q = -141 - -151. Let v be q/25 + (-165)/225. Put j, -16, v in decreasing order.
j, v, -16
Let n = -387 + 352.6. Let i = n + 35. Sort i, -4, 0.2.
-4, 0.2, i
Suppose p + 3*v - 388 = 0, -5*p + p + 1536 = 4*v. Put -2, -1, p, 5, -5 in ascending order.
-5, -2, -1, 5, p
Let p = 352 + -352. Suppose p = 4*t + 5*d - 0*d - 8, 5*t = -4*d + 1. Put t, 1, -10, -1 in decreasing order.
1, -1, t, -10
Let s(l) = 7*l**3 - l**2 + 3*l - 2. Let t be s(1). Suppose 3*g - 4 = -2*u + 8, -g - t = -3*u. Let c = -682 + 678. Sort g, -11, 0, c.
-11, c, 0, g
Let h = -794.93133 + -0.06867. Sort h, -4, 1/2, 1 in descending order.
1, 1/2, -4, h
Let r = -0.54 + 0. Let v = -1.44 - r. Put v, 0.3, -3 in descending order.
0.3, v, -3
Let z be (10/(-420))/(11/99)*(18 + -32). Suppose -f = 3*q - 3, 0 = 4*f + 2*q - 6 - 6. Suppose -3*h - f = -6, 5*n = -4*h - 1. Sort n, 2, z.
n, 2, z
Suppose 0 = -17*i + 1535 - 1484. Sort 2, 5, 0, i, 65 in descending order.
65, 5, i, 2, 0
Let v(t) = -3*t**3 - 6*t**2 + 46*t - 2. Let u be v(-5). Sort 0.05, u, 1/4, -14, 1.
-14, u, 0.05, 1/4, 1
Let g = -17214 + 17214. Suppose 0*a - 12 = -2*a. Put a, -1, g in descending order.
a, g, -1
Let h be 305/198 + 56/308 - (-30)/(-20). Sort h, 8, -3, -0.5, -2.
-3, -2, -0.5, h, 8
Suppose 0 = 4*v - 2*l - 72, -48 = -v - 2*v + 3*l. Suppose 313*i - 317*i = v. Sort -2, -1/4, 3, i in decreasing order.
3, -1/4, -2, i
Let g(a) = a**3 + 19*a**2 - 24*a - 66. Let z be g(-20). Let s be (-1 + 195/9)/(24/36). Put s, 0, z in descending order.
s, z, 0
Let c(u) = u**3 + 13*u**2 - 13*u + 34. Let r be c(-13). Sort -1, -3, r, -2.
-3, -2, -1, r
Let l(c) = -c**2 + 3*c + 5. Let g(r) = 2*r - 45. Let i be g(24). Let z be l(i). Let w = -2.5 + -0.5. Put 0.3, w, z, 3 in decreasing order.
z, 3, 0.3, w
Suppose -19*d = 1 - 77. Suppose x + 3 = d*f, 5*f + 2*x = 8*f + 4. Let a = -3 + 0. Sort a, f, 3, -1 in ascending order.
a, -1, f, 3
Let q = -92875 - -92788. Let h = -6 - -5.7. Sort 2/7, h, q in descending order.
2/7, h, q
Let q be (1/1 + 0)*-13. Let u(d) = -4*d**2 + 87*d - 63. Let r be u(21). Sort -2, -3, q, r in descending order.
r, -2, -3, q
Suppose -4*w = 5*h - 9, 27*h = 30*h - w + 15. Sort -13, 7, h in decreasing order.
7, h, -13
Let i = 2773 + -2782. Put i, 1, 24 in increasing order.
i, 1, 24
Let a = -0.33217 - 0.06783. Sort a, 0, 1/797 in decreasing order.
1/797, 0, a
Let q(i) = 97*i - 68. Let j be q(3). Suppose -j*w = -234*w - 33. Suppose 3*m - 2*h + 12 = h, 4*h = -2*m - 14. Sort 21, m, w in decreasing order.
21, w, m
Let b = -11.6 - 69.4. Let w = b + 76. Put 0.5, -1, 2, w in ascending order.
w, -1, 0.5, 2
Let j = 55/2 - 83/3. Let t = 102 - 70. Let w = -32 + t. Put w, -4, j in ascending order.
-4, j, w
Let j = -2 - -1.9. Let b = 3139/58 + -36084/667. Put j, 5, b in ascending order.
j, b, 5
Let v be (3/(-1))/((-21)/(-35)). Let k(j) = -j**3 - 4*j**2 + j - 5. Let s be k(-4). Suppose -357*w - 163 = 194. Sort v, 1, w, s.
s, v, w, 1
Let t be (-2 + 0 + 4)*((-171)/38 + 6). Put t, 0.5, -1.916, -3/4 in decreasing order.
t, 0.5, -3/4, -1.916
Let f = -3 + 1. Suppose 61886 = -28*q + 61186. Put f, 3, q in decreasing order.
3, f, q
Let u = -5584 + 5595. Put 2, -1, u in ascending order.
-1, 2, u
Let j = 22341/35 + -3193/5. Let c = 0.46 + -0.06. Let l = 1.4 - c. Sort 2, j, -2/11, l in increasing order.
j, -2/11, l, 2
Let g be ((-122)/(-6))/(13 + 455/(-39)). Sort 7, g, -3/8 in decreasing order.
g, 7, -3/8
Let t = 143 + -144. Let v be (t/(-4))/((-6)/8). Sort -5, 8, v, -2/17 in decreasing order.
8, -2/17, v, -5
Suppose -38*h + 42*h = 48. Suppose -12*o + h*o - 12*o = 0. Sort -0.05, o, 1, 1/5 in descending order.
1, 1/5, o, -0.05
Suppose -4*d = -5*k + 26, -4*d - k - 14 + 0 = 0. Let n(b) = -b**3 + b**2 - 19*b - 1. Let v be n(0). Sort 3, d, v, -2 in ascending order.
d, -2, v, 3
Let y be (5236/(-224) + 23)*4. Let r = 0.2 + -0.1. Put r, 6, y in increasing order.
y, r, 6
Suppose -3*y = -a - 10, -y - 34*a = -32*a - 8. Put -274, 2, 0, 1, y in descending order.
y, 2, 1, 0, -274
Suppose -44*l - 63 = 45*l - 86*l. Sort 3/5, -16, -5, l in ascending order.
l, -16, -5, 3/5
Suppose -47*d + 24 = -53*d. Let t = 54 - 47. Let p = t + -7. Sort -14, -1/3, p, d in increasing order.
-14, d, -1/3, p
Let d = -8 + 10. Let s(a) = -a**3 + 12*a**2 + 12*a + 43. Let h be s(13). Let i = -52 + h. Sort 0, i, d.
i, 0, d
Let w be (-1)/3 + 255/459*(-84)/(-80). Put w, -2/8505, -2 in increasing order.
-2, -2/8505, w
Let n be 92/161 + 0 + 4392/(-7588). Sort -5, n, 3 in decreasing order.
3, n, -5
Let d = 388.9243 + 0.0757. Let n = -388.6 + d. Suppose 2*i = -3*i. Sort 1/4, -4/7, n, i in decreasing order.
n, 1/4, i, -4/7
Suppose -199*l + 221*l = -638. Suppose 2*a + 83 = -a - 2*b, -b + 53 = -2*a. Let i = l - a. Put i, 0, 5, -3 in decreasing order.
5, 0, i, -3
Let m = 10 - 0. Suppose -m = -16*s + 14*s. Suppose 2*p = s*p + 3. Sort -5, p, 1.
-5, p, 1
Let n be -2*(2 + -3)*1. Let q = 275219 - 275218. Sort 3, q, n in ascending order.
q, n, 3
Let a(c) = -3*c**2 + 175*c + 952. Let f be a(-5). Sort f, 4, -11, 46, -3.
-11, -3, f, 4, 46
Let r = -1.4399 - -6.4399. Let c = -11/12 - -2/3. Sort c, 2/5, -1/25, r in increasing order.
c, -1/25, 2/5, r
Let w(c) = -c**3 - 20*c**2 - c - 15. Let d = -79 + 59. Let g be w(d). Suppose -5*l = -g*z, 4*z = 5*z + 3*l - 20. Put -3, z, 1 in decreasing order.
z, 1, -3
Let z = -0.00749 - -4.00749. Put -3, -70, z, -1/3 in descending order.
z, -1/3, -3, -70
Let f be (-49)/(-147) + (-11)/(-3). Sort f, 25, -2/11 in increasing order.
-2/11, f, 25
Suppose 56*m + 606 = 409 - 811. Sort -1, m, -43 in decreasing order.
-1, m, -43
Let i be ((-83)/2075)/(2/(-20)). Sort -2/47, i, 4, -3/4, -5.
-5, -3/4, -2/47, i, 4
Let b(s) = s**2 + 3*s - 7. Let h be b(-5). Suppose 2*i + 76 = 88. Sort h, i, 1, 5 in increasing order.
1, h, 5, i
Suppose -4*y = h + 35, 3*h + 2627*y - 35 = 2629*y. Suppose 3*j + 2*j = -85. Sort h, j, 1, 4 in descending order.
h, 4, 1, j
Suppose 3*u = 17*u + 980. Let r be 12/(-30) - -4*(-2)/u. Sort -5, 0.4, r in decreasing order.
0.4, r, -5
Let a(k) = -2*k**3 + k + 10. Let p be a(4). Let x = p - -119. Sort x, -4, -7 in increasing order.
-7, -4, x
Suppose 2*x = 28*x + 17 - 43. Sort x, 2, 130, 3 in descending order.
130, 3, 2, x
Let t = -142.7 + 150. Let v = -3.3 + t. Let y(q) = -4*q**2 + q + 2. Let s be y(0). Sort -0.7, v, s.
-0.7, s, v
Suppose 81*o + 431 = 107. Put 24, -1, o, 3 in decreasing order.
24, 3, -1, o
Let f = -1.245 + -0.155. Let p = -1.72 - 0.08. Let j = f - p. Put 2/13, j, -2 in increasing order.
-2, 2/13, j
Let j be 6/57 + (-8 - 455/(-190)). Suppose 134 = -4*o - 50. Let p = 139/3 + o. Sort j, p, 2/11 in ascending order.
j, 2/11, p
Suppose 5*