*x + 4*x. Sort 4, k, x in decreasing order.
4, x, k
Let u = 1 + 1. Let h be ((-2)/u)/(-1 - -2). Let b = h + 0. Sort -0.4, 0.3, b in decreasing order.
0.3, -0.4, b
Let q be 4/(-6) - (-28)/6. Let b(t) = -3*t + 52. Let j be b(19). Put j, 2, q in increasing order.
j, 2, q
Suppose w = -2 + 3, 0 = -3*k - 4*w + 10. Put -2, -5, k in increasing order.
-5, -2, k
Let w = -3 - -5. Let u = 0 - 5. Let l = -4.6 - u. Put w, l, 3/2 in ascending order.
l, 3/2, w
Let m be 3 + -1 - (0 - (1 + -4)). Let p = 4 + -3. Sort p, 2, m in descending order.
2, p, m
Let c = 14/5 + -47/15. Let m = -5.2 + 5. Let h = 0 - m. Put h, 2, c in decreasing order.
2, h, c
Suppose -1 + 17 = -2*f. Let b = f - -11. Suppose -v + 4 = b*v. Sort v, 0.3, -0.4 in ascending order.
-0.4, 0.3, v
Let r = 0.0233 + 4.9567. Let i = 1.02 - 1. Let o = r + i. Sort -3, 0.2, o.
-3, 0.2, o
Suppose -136 = u + u. Let t = -150 + 411/5. Let o = u - t. Put o, -2, 0.3 in descending order.
0.3, o, -2
Suppose -2 = 5*d + 3*t - 36, -32 = -4*d - 4*t. Suppose 0 = j + 1. Let m be (2/4)/(6/24). Sort j, m, d in descending order.
d, m, j
Let b(c) = -c + 11. Let k be b(9). Let q = -0.1 + 0.3. Put q, -0.1, k in increasing order.
-0.1, q, k
Suppose 5*n = o + 24, -24 = -4*o - 4*n - 0. Let y(g) = -4*g**3 + g**2 - g. Let c be y(1). Let a be (-1 - (2 + 2)) + 9. Sort a, c, o.
c, o, a
Let b = -10 - -5. Let u = -3.8 - -0.8. Let s = b - u. Put -2/7, -2/9, s in decreasing order.
-2/9, -2/7, s
Suppose -4*n + 19 = 3*f, 3*n = -n - f + 17. Let j be (3 - n)/(2/(-6)). Put j, -8, 5 in descending order.
5, j, -8
Let s(n) = n**3 + 3*n**2 - 5*n - 3. Let x be s(-4). Let r be x - (3*2)/1. Let j = 8 + -7. Sort j, r, 3.
r, j, 3
Let b = 2 + -4. Put -3, b, 0 in decreasing order.
0, b, -3
Suppose 4*y + 2 = 2*i - 16, 0 = -4*y + 4*i - 28. Let o(l) = l**3 + l**2 - l - 1. Let z be o(y). Sort 1, z, -5 in decreasing order.
1, z, -5
Let q = 8 - 5. Let u be 1/3*(59 + -65). Sort u, 1, q in descending order.
q, 1, u
Let v(j) = j**3 + 6*j**2 + j + 8. Let z be v(-6). Let w be z/21 - 9/21. Sort -0.2, w, 1.
w, -0.2, 1
Let b be 1/(0 - 2)*2. Put 3, b, -3 in decreasing order.
3, b, -3
Let p = -0.8 + 1. Let w = -0.3 + 0.2. Let z = w + 0. Put p, z, 2/9 in descending order.
2/9, p, z
Let l(p) = -p**2 + 7*p + 4. Let y be l(7). Let z = 1 - 0. Let s be 10/5*(0 + z). Put s, 0.5, y in increasing order.
0.5, s, y
Let b = 19 - 19.2. Sort b, -13, 0.2, 3 in increasing order.
-13, b, 0.2, 3
Let h(y) = y**2 - 4*y + 6. Let d be h(3). Sort -3, -0.2, d in ascending order.
-3, -0.2, d
Let o = -115 - -112. Let d be 64/10 + 4/(-10). Suppose -2*x - 2 = d. Sort o, 2, x.
x, o, 2
Let s = 1 - -1. Suppose 0 = 2*t + s*t - 8. Let u = 6 - 10. Put -2/3, u, t in decreasing order.
t, -2/3, u
Let v = 64 - 55. Sort 2, 5, v in descending order.
v, 5, 2
Let z(t) = t**3 + 7*t**2 + 8*t + 8. Let w be z(-6). Suppose 0 = -3*s - 4*d - 27, -5*s - 3*d - 39 = -5. Sort 0.5, s, w in ascending order.
s, w, 0.5
Let f be (-18)/8 + 2/8. Let v = -11 - -21. Suppose -4*k = k - v. Sort k, f, 0.5 in decreasing order.
k, 0.5, f
Let f = -177 - -177.4. Put 2, f, 1/3, 0.5 in ascending order.
1/3, f, 0.5, 2
Let x(q) = q**3 + 5*q**2 + q - 5. Let w be x(-4). Let n = w - 1. Suppose -20 = n*c - 2*c. Sort 2, -1, c.
c, -1, 2
Let z(m) = -m + 9. Let s be z(4). Let a(p) = p**3 + p**2 - 6*p - 7. Let r be a(-3). Sort 2, r, s.
r, 2, s
Suppose -2*k = -3*a + 7, k - 4*k - 15 = 0. Put 3, -1/5, a, 5 in decreasing order.
5, 3, -1/5, a
Let o = 86 + -85.7. Let j(y) = -y - 6. Let h be j(-7). Let b = h + -3. Sort 1/2, b, o.
b, o, 1/2
Suppose -3*v = 5*b + 8, 0 = 2*v + 4*b + 6 + 2. Suppose 12 = 3*l - v*x - 20, 5*l + x - 15 = 0. Sort l, 5, 0 in descending order.
5, l, 0
Let c = 4.8 + 0.4. Let b = c + -5. Sort 0.4, b, 2/11 in increasing order.
2/11, b, 0.4
Let q(j) = 2*j**2 - 4*j - 3. Let k(f) = 3*f**2 - 8*f - 5. Let v(u) = 4*k(u) - 7*q(u). Let d be v(-3). Put 1, -2, d in ascending order.
d, -2, 1
Let y = 16 - 18. Put 1, -4/5, y in decreasing order.
1, -4/5, y
Let r(a) = -3*a + 52. Let n be r(16). Sort 1, n, 5, -14 in ascending order.
-14, 1, n, 5
Let x = 3 + -7. Suppose 4*c - 56 = -0*c. Let j be 6/9 + c/6. Put j, -5, x in ascending order.
-5, x, j
Let c(y) = -y**2 - 7*y - 5. Let b be c(-6). Let u = b + -7/3. Sort u, -3, 0.5 in ascending order.
-3, u, 0.5
Let q(r) = 4*r**2 + r - 8. Let j(l) = -7*l**2 - l + 15. Let v(f) = 6*j(f) + 11*q(f). Let z be v(-3). Put 3, 2, z in descending order.
z, 3, 2
Suppose -4*n = -5*n + 3*d - 10, -3*n = -2*d + 9. Suppose 3 = 3*x + a + 14, 2*a - 23 = 3*x. Sort n, -4, x in decreasing order.
n, -4, x
Suppose 5*c - 3*j = 111, -5*j = -12 - 3. Sort c, 2/7, 3 in increasing order.
2/7, 3, c
Let w = 1081/105 + -51/5. Suppose 2*g = -1 - 3. Sort g, w, -3 in ascending order.
-3, g, w
Suppose 5 + 35 = 4*d + 5*q, -5*d = 2*q - 33. Let u be 1 + -2 + 2 - 3. Sort -1, d, u.
u, -1, d
Suppose 0 = a + h - 4*h, 0 = -5*a - 3*h. Let v = 6 + -4. Suppose 3*q - q + 4 = -v*z, 32 = 4*z - 4*q. Sort a, -1, z.
-1, a, z
Suppose 2*b - 2 + 0 = 0. Suppose -2 = x - b. Let c be (3 + -2)*(-1)/x. Put c, 0.2, 4 in descending order.
4, c, 0.2
Suppose h + 24 = -5*h. Put 0, h, 3, -1 in decreasing order.
3, 0, -1, h
Let s(b) = -b + 3. Let a be s(4). Suppose -h = -0*h - 3. Sort h, 1, a in descending order.
h, 1, a
Let l = 25 + -9. Let y be (-3)/(-12) - 2/l. Let v = 4 - 2. Put y, 0.2, v in decreasing order.
v, 0.2, y
Let p = -1/23 + 117/46. Let j be (-6)/(-12)*1/26. Let r = 79/52 - j. Put r, p, -2 in increasing order.
-2, r, p
Suppose -5*f - f = -30. Put -4, -5, f in descending order.
f, -4, -5
Suppose -2*j + 1 + 3 = 0. Sort j, -3, 0.2 in decreasing order.
j, 0.2, -3
Let g = -1 - -3. Let i(d) = d**2 - 7*d - 2. Let w be i(7). Sort -4, w, g in decreasing order.
g, w, -4
Let d(k) = -k + 1. Let q be d(3). Let a be ((-6)/(-10))/(q/(-10)). Suppose -2*i + 1 + 1 = 0. Sort i, -2, a in decreasing order.
a, i, -2
Let h(j) = j**2 - 2. Let z be h(-2). Let a be ((-3)/z)/((-147)/28). Let m = -3 + 4. Put a, m, -0.4 in ascending order.
-0.4, a, m
Suppose t = -4*j + 2 + 8, 4*j - 8 = 0. Let o = 0.13 + -0.13. Sort t, o, 5/3 in decreasing order.
t, 5/3, o
Suppose 3*h = 1 - 13, -5*h - 41 = 3*x. Sort x, -1, 0 in decreasing order.
0, -1, x
Let k be (2/6)/((-3)/(-9)). Let v(l) = 2*l + 21. Let o be v(-12). Sort 2, o, k in decreasing order.
2, k, o
Let a = 12.3 - 14.3. Sort a, 3, 1/5, 2 in ascending order.
a, 1/5, 2, 3
Let t(y) = -y**3 - y**2 + y - 12. Let p be t(0). Let m = p - -10. Suppose 5*f + 15 = -2*i, 5*i + 2 = 4*f - 19. Sort m, 1, f in decreasing order.
1, f, m
Let g(y) = -y**2 + 28*y + 2. Let t be g(28). Sort -1, -12, -5, t in increasing order.
-12, -5, -1, t
Let f be (-22)/(-14) + 0 - (-15)/35. Put f, -12, -1, 5 in ascending order.
-12, -1, f, 5
Let u = 20 + -19.51. Let a = 0.01 + u. Put 5, a, 0.1 in decreasing order.
5, a, 0.1
Suppose -3*s + 5*z + 0*z + 9 = 0, 0 = -2*s - 3*z + 25. Let d be 0 - (-1 - -1) - -1. Sort -5, d, s in ascending order.
-5, d, s
Suppose -k + 1 + 1 = 0. Let o be (-18)/22 + k/2. Let f = 13/33 + -2/33. Sort -2, f, o in ascending order.
-2, o, f
Let o = 5 + -7. Put 0, o, -0.1 in ascending order.
o, -0.1, 0
Suppose 2*u - 1 + 7 = 0. Sort -2, 3, u.
u, -2, 3
Let g = 55 + -74. Sort g, 1, 4.
g, 1, 4
Let r(c) = -c**3 - 14*c**2 - 12*c + 18. Let j be r(-13). Suppose 3*m + 16 = -j. Put 4, m, 1 in descending order.
4, 1, m
Let q be 2/5 - (-12)/(-5). Let u(h) = 3*h - 47. Let l be u(16). Sort l, -1, q in ascending order.
q, -1, l
Suppose -4*x = -10 - 10. Let h = -6 + 4. Put 4, x, h in decreasing order.
x, 4, h
Let n be 2 - (-1 + 2 + -3). Suppose 3*i - 6 = -0*z - 3*z, n*i + 2*z - 14 = 0. Put 0, i, -4 in descending order.
i, 0, -4
Suppose 5*k = -2*b + 31, 0*k + 4*b = 2*k + 2. Suppose -n = -5*w - 4*n - 2, k*w = -2*n + 2. Put w, -6, -5 in decreasing order.
w, -5, -6
Let n(a) = 1. Let p(g) = g - 10. Let v(c) = 36*n(c) + 4*p(c). Let d be v(2). Sort d, 0, 2 in decreasing order.
d, 2, 0
Let i = 5/6 + -1/6. Put i, -2/17, -0.3 in descending order.
i, -2/17, -0.3
Let u = -7.09 + 7. Let h = u + 2.09. Put 0, 1/3, h in increasing order.
0, 1/3, h
Suppose -21 - 11 = 4*a. Let l be 22*2/a*-6. Suppose 0*w = -4*w - 5*y - l, 17 = -w - 3*y. Sort w, 3, 5.
w, 3, 5
Let j = -18 + 26. Let z = -4 + j. Put -4, 0, z in decreasing order.
z, 0, -4
Suppose 2*u + 16 = 3*q + 7*u, -2*q = 4*u - 14. Let j = -28 