i, -3/5, -1
Let v be 1/3 + (-85)/(-15). Put -2, 3, v in decreasing order.
v, 3, -2
Let m = 14 + -11. Let b(g) = g**3 + 4*g**2 - g - 2. Suppose 20 = -a - 4*a, 5*x - 3*a + 8 = 0. Let s be b(x). Sort m, s, -3 in increasing order.
-3, s, m
Let b = -7.7 + 7.6. Sort -3, b, 5, 0.4 in decreasing order.
5, 0.4, b, -3
Let k be 1/(-2)*(-4)/(-4). Let h = 108 - 325/3. Sort h, k, -3.
-3, k, h
Suppose c + 4 = -i, -11 = -0*c - 4*c + 5*i. Sort c, 1, 7, 0.
c, 0, 1, 7
Let l = -6 + 1. Let d = l + 11. Let r = d - 3. Put 3/5, -1, r in increasing order.
-1, 3/5, r
Let i(v) = v**2 + 12*v + 31. Let k be i(-9). Sort 1, 5, k, -2 in ascending order.
-2, 1, k, 5
Suppose y - 5*y - 4 = 0. Let h be 30/56 + (-1)/4. Put -0.4, y, h in ascending order.
y, -0.4, h
Suppose 5*d + 0*d + 4*i = -3, -2*d - 5*i - 8 = 0. Let a be d + -1 + 1 + 2. Put -5, -3, a in descending order.
a, -3, -5
Suppose -2 = -5*s + 4*s. Put -4, 4, s, 5 in increasing order.
-4, s, 4, 5
Let n = -4 - -12. Suppose 2*c = -2*c + n. Sort -1, -3, c in increasing order.
-3, -1, c
Suppose 0*n + n = -28. Let x be (-1)/4 - n/(-16). Put 5, -4, x in descending order.
5, x, -4
Suppose -4*x - 8 = -u + 9, 4*u = -12. Put -4, 4, 2, x in increasing order.
x, -4, 2, 4
Let m = 0.06 - -0.34. Let w = -0.5 + 0.2. Put 3/8, m, w in decreasing order.
m, 3/8, w
Let t = 2.033 + -0.033. Sort t, 7, -0.1 in decreasing order.
7, t, -0.1
Let i = -0.15 - -0.2. Let q = -8.8 + 3.8. Put i, q, -2/11 in descending order.
i, -2/11, q
Let v = -13 + 5. Let i(y) = -y**3 - 8*y**2 - 2*y - 11. Let s be i(v). Put s, -2, 2 in descending order.
s, 2, -2
Let y(w) = -6 + w**3 - 2*w - 5*w + 0*w**3 - 7*w**2. Let m be y(8). Let f(g) = -4*g**2 - g. Let x be f(-1). Sort 1, x, m in ascending order.
x, 1, m
Suppose x + 80 = 3*x. Suppose u - 2*u = -4*q + 21, -4*u = -5*q + x. Suppose -2*j - 3*k = 7, -3*k + k = j + q. Sort 3, j, 0.
j, 0, 3
Suppose -27*z + 23*z = 20. Put z, 5, 4, 1 in descending order.
5, 4, 1, z
Let q = 0.75 + -1.75. Sort q, 2/3, -4, -1/5 in decreasing order.
2/3, -1/5, q, -4
Suppose -73*m = -71*m - 10. Sort -4, m, -1, -24 in descending order.
m, -1, -4, -24
Let z = 21 - 25. Let k be -3 - (-2 + 0) - 4. Sort z, k, 7 in descending order.
7, z, k
Let f be 155/(-55) + 6/(-33). Let g be (-22)/(-5) + 2/(-5). Suppose 2*i - 6 = -g. Sort f, i, 0 in descending order.
i, 0, f
Let p = 14 + -13. Let a be (-33)/6 + 2/4. Sort 4, p, a in decreasing order.
4, p, a
Let h be 8/(-24) - 2/(-6). Let b be (0 - -3) + -2 - h. Sort 6, b, -5.
-5, b, 6
Let i(s) = s**2 - 3*s + 4. Let r be i(3). Let w = r - 6. Let x = 3 + -6. Sort w, x, 3.
x, w, 3
Let x(v) = 2*v + 7. Let f be x(-5). Put -1, -5, f in descending order.
-1, f, -5
Let x = 33 + -21. Put 0, x, -2 in decreasing order.
x, 0, -2
Let m(w) be the first derivative of w**4/4 + 13*w**3/3 + 11*w**2/2 - 16*w + 2. Let b be m(-12). Sort -1, 2, b in decreasing order.
2, -1, b
Suppose 2 = -l - l. Put -0.3, 0.4, l in descending order.
0.4, -0.3, l
Let p be (-1)/(-2)*(-4)/(-5). Let t be -3 + 6 - (5 + 2). Put p, -3, t in descending order.
p, -3, t
Suppose -2*i + 16 = -4*s + 2*i, -i = -5. Let w be (s + -7)*4/8. Let l(b) = 2*b + 4. Let t be l(-4). Sort t, w, 2 in ascending order.
t, w, 2
Let l(p) be the second derivative of -p**3/3 - p**2/2 + 3*p. Let o be l(2). Put o, -2, -4 in decreasing order.
-2, -4, o
Let q = 1202 - 1207.13. Let s = q - -0.13. Suppose -3*x - h + 5 = 0, 6*h - 9 = -3*x + 3*h. Sort s, 2/9, x in decreasing order.
x, 2/9, s
Suppose -316*c + 318*c = -2. Put -6, -4, c, 1 in increasing order.
-6, -4, c, 1
Let v = -11 - -15. Let k be 2/(-8) + 6/(-8). Put v, -3, k in ascending order.
-3, k, v
Let h = -0.06 - 1.94. Let z = 10.91 + 0.09. Let d = z + -8. Put h, d, 0.3 in decreasing order.
d, 0.3, h
Let j be 0 - (-2 + 2)*-1. Let d = 0 - -3. Suppose z - d*z + 10 = j. Sort 2/5, 2/21, z in descending order.
z, 2/5, 2/21
Let s = -11.64 + 12. Let k = 0.06 - s. Let m = -3.03 + 0.03. Sort k, 3/7, m in increasing order.
m, k, 3/7
Let m = 77 + -78. Suppose -3*i + 4*h + 0*h - 436 = 0, 2*i - 2*h = -290. Let c = i + 1586/11. Put c, -5, m in ascending order.
-5, m, c
Let u be 6 - 3 - 3/1. Suppose u = -4*i - 3*c + 2, 4*i - 5*i = 2*c + 2. Sort -1, i, -4.
-4, -1, i
Suppose -7 + 13 = 3*z. Suppose z*c = 2, 4 + 3 = 4*r - 5*c. Sort -11, 2, r in increasing order.
-11, 2, r
Let q(d) = 0 - 2 - 2*d - 3*d + d. Let t be q(2). Let v = t - -15. Sort v, -5, -1 in ascending order.
-5, -1, v
Let i(x) = -2*x**2 - 2*x + 8. Let y(w) = -w**2 + w + 1. Let r(m) = -i(m) + 3*y(m). Let v = 14 + -9. Let d be r(v). Sort 0, -1, d in descending order.
0, -1, d
Let i = -5 - -2. Sort i, -0.4, -1 in decreasing order.
-0.4, -1, i
Suppose -10 = 5*r + 5*x, 2*x = -r + 5*x - 14. Suppose -2*d - 4 = -4*o, o + 4 = -2*d + 5. Sort r, d, 2.
r, d, 2
Suppose 3*j + w = 3*w - 12, 2*j = 3*w - 13. Sort j, -1, 2 in descending order.
2, -1, j
Suppose -10 = 2*h + 4*v, -2*h - 12 = 3*v + 2*v. Suppose 0 = -5*q + a - 6 + 2, a - 4 = -4*q. Sort h, 3, q in ascending order.
h, q, 3
Let h(j) = -j**2 - 4*j - 2. Let v be h(-3). Sort -1, v, -13.
-13, -1, v
Suppose -2*k - 3*q = -35, 2*k - 2*q + 20 = 3*k. Suppose -5*j + k = -7*j. Sort 0.4, j, 3.
j, 0.4, 3
Let m(i) = -3*i - 14. Let n be m(-3). Sort 3, 4, -3, n in increasing order.
n, -3, 3, 4
Suppose -5*r = -4*j + 17, -j + 2*r + 2*r = 4. Let p be (-9)/4 + 2/j. Let t = 11 - 15. Sort t, p, 4 in ascending order.
t, p, 4
Let x = 11/6 + -37/30. Put x, -1/5, 26 in decreasing order.
26, x, -1/5
Suppose -3*y + 19 = -5. Suppose -4*x - b - 15 = 1, -4*x - 3*b = y. Sort 4, x, 2 in decreasing order.
4, 2, x
Let u(a) = -2*a + 1. Let b be u(-2). Suppose -2*o = -o - b. Put 3, 2, o in descending order.
o, 3, 2
Let p = 6 + -8. Sort 0, p, -12.
-12, p, 0
Let x(r) = -2*r - 38. Let q be x(-20). Sort 0, 4, q, -5 in increasing order.
-5, 0, q, 4
Let w = 24 + -73/3. Sort w, 22, 5 in descending order.
22, 5, w
Let f = 0.3 - -0.2. Let b = 159 + -145.1. Let m = 14 - b. Sort f, m, 0.3 in ascending order.
m, 0.3, f
Let k = -193/63 + 25/9. Let q(g) = -11*g**2 + g. Let o be q(1). Let v be 4/o - 3/(-45). Put v, 2/5, k in decreasing order.
2/5, k, v
Let y = -1.1 - -1. Let i = y + 0.4. Let w = -115/28 - -27/7. Sort w, 0, i in increasing order.
w, 0, i
Let g(r) = 2*r**3 + 5*r**2 + r - 2. Let s be g(-3). Let l = s + 9. Sort 0, -2, l.
l, -2, 0
Let a = 0.04 - -2.96. Let z = -2 - a. Let k = z - -5.2. Put k, -0.1, -5 in increasing order.
-5, -0.1, k
Suppose 6*m = 4*m - 3*w - 11, 4*w = 2*m - 10. Let p = -7 + 11. Let d be 4*(-21)/(-14)*1/(-3). Sort m, p, d in increasing order.
d, m, p
Suppose -3*h - 10 = -h. Sort h, -2, 2 in increasing order.
h, -2, 2
Suppose q - 5 + 1 = 0. Put -4, q, 1 in decreasing order.
q, 1, -4
Let m be (-4)/(-8)*4/(-1). Let j(k) = k**3 + 21*k**2 + 68*k - 4. Let i be j(-17). Sort -3, m, i in descending order.
m, -3, i
Suppose v + 2*i = -3, -4*i - 20 + 7 = -5*v. Sort v, -4, 5 in increasing order.
-4, v, 5
Suppose 2*t - 8 = -2*t. Let v be (t/4)/1*280. Let o be (-124)/v - (-4)/14. Put 0.3, 0.2, o in decreasing order.
0.3, 0.2, o
Suppose 0 = -5*x + 7*x. Sort -3, -25, x in increasing order.
-25, -3, x
Let m(x) = -x**2 + x. Let w be m(-1). Suppose -4*b - 14 = -6*b + r, 3*b - 4*r = 31. Let j = -1 - -1. Put b, w, j in increasing order.
w, j, b
Let a = 29 - 27. Put a, -1, -1/2, 0.5 in ascending order.
-1, -1/2, 0.5, a
Let y be 22/5 - (-2)/(-5). Suppose -72 = -4*r + 5*t, 0 = -r - r - t + 50. Suppose 2*n - 5*w - r = -6, 0 = 3*n - w - 6. Sort 3, y, n in decreasing order.
y, 3, n
Let g be (1/3)/(3/(-9)). Let x(o) = -o**3 + 2*o**2 - o + 1. Let u be x(1). Let p(i) = i**2 + 5*i + 3. Let n be p(-3). Sort n, u, g.
n, g, u
Let y be 4 - (-3 + 15/3). Suppose 3*a = -13 - y. Put -3, a, 1 in decreasing order.
1, -3, a
Suppose 73*d = 76*d - 15. Sort d, -3, 12 in decreasing order.
12, d, -3
Suppose -y + 0*y + 4 = 0. Let r(l) = -l**3 + l**2 - 4. Let j be r(0). Sort 5, j, y in increasing order.
j, y, 5
Suppose 0*f + 2*f = -4*q + 28, 4 = f - 3*q. Suppose s - f = 3*s. Let g = 210 + -209. Sort 4, g, s in increasing order.
s, g, 4
Let c(k) = -k**3 - 6*k**2 + k + 11. Let l be c(-6). Sort 0, 2, -3, l in descending order.
l, 2, 0, -3
Let d = 4.3 + -4. Let t = -5 - -5.5. Let g = 0 - t. Sort g, d, -0.2 in increasing order.
g, -0.2, d
Let u be 0 + (-2 - -2 - 2). Let b = 2 - 3. Let m be (2 - b)*(-10)/6. Put u, 3, m in 