tive of 5*p**3/3 + p**2/2 - 3. Let q be u(1). Let s be (0 - q)/((-6)/(-4)). Put -2, s, 1 in descending order.
1, -2, s
Suppose -4*a + 21 = w, 4*w - 2*a - 6 = 6. Let o be w*(-8)/(-20) + 3. Put 1/4, o, 2/3 in descending order.
o, 2/3, 1/4
Let l = -4 + 5. Let i = l + -0.7. Sort 1/4, -2/9, i in ascending order.
-2/9, 1/4, i
Suppose 3*a = -12, 5*i - 3*i + 4*a + 10 = 0. Let n = 69 - 65. Suppose -i*l + 2 = -n*l. Sort l, 1, -1 in increasing order.
l, -1, 1
Let t = 0.9 - 1.9. Let w = 1.2 + t. Sort -0.5, w, 4 in increasing order.
-0.5, w, 4
Suppose 70*b - 66*b = -16. Sort 5, b, 0, 2 in increasing order.
b, 0, 2, 5
Let c = 717 - 8599/12. Let p = c - 37/60. Let z = 97 + -583/6. Sort 0.4, z, p in decreasing order.
0.4, z, p
Let q = -6.259 - -0.059. Let s = -6 - q. Suppose 2 - 14 = -4*b. Put -0.5, s, b in increasing order.
-0.5, s, b
Let t = -2.3 - 1.7. Suppose 0 = 2*x - 0*x + 6. Sort t, -1, x.
t, x, -1
Suppose 0 = 7*j - 3*j + 2*k - 8, 2 = -2*j + 2*k. Sort -2, 0, j in increasing order.
-2, 0, j
Suppose 2*f = -3*c - 22, 5*f = 2*c + c - 13. Let s be ((6/10)/(-3))/((-2)/10). Put 0, s, f in descending order.
s, 0, f
Let g be (1 + -2)*(4 - 1). Suppose 0 = 2*z + s, 0 = 5*z - 0*z - 5*s - 30. Let c be (-2 - 1) + z + -5. Sort g, c, -5 in descending order.
g, -5, c
Let u = -3/4 - -1/12. Sort 1, u, -2, -0.02.
-2, u, -0.02, 1
Let l = -27 + 18. Let m be (-4)/18 - 168/(-27). Let i = l + m. Put i, 5/2, -4 in descending order.
5/2, i, -4
Let n = 7 + -1. Let b = 1 - n. Sort -3, b, 1 in ascending order.
b, -3, 1
Let j = 0.013 - 0.213. Sort -0.5, j, 4 in increasing order.
-0.5, j, 4
Let z(a) = -a**3 - 4*a**2 + 5*a - 3. Let w be z(-5). Let o be (-26)/8 + w/(-12). Let f = -8 + 8. Put o, f, -1 in descending order.
f, -1, o
Suppose -13*t = -18*t. Sort t, -9, -2 in ascending order.
-9, -2, t
Let o = 2/67 + 128/201. Let s = -12 + 9. Let c be 1 + 0 + 1/(-4). Sort o, c, s in increasing order.
s, o, c
Let s = 22 - 21.1. Let f = s + -0.8. Put -5, -0.1, f in decreasing order.
f, -0.1, -5
Suppose 20 - 2 = 4*f - 2*o, -o = 5. Let i = -4.3 - -1.3. Sort f, 4, i.
i, f, 4
Let q be 26/84 - 4/8. Let w = 55/42 - q. Suppose -z + 2*z = 0. Put w, z, 0.4 in descending order.
w, 0.4, z
Let l = 2 - 1.5. Sort -0.02, -4, l in ascending order.
-4, -0.02, l
Suppose -3 + 28 = 5*t. Put -1, -2, t in ascending order.
-2, -1, t
Suppose 24 = -5*a - q, a - 2*q + 1 = -6. Sort a, 1, 2 in decreasing order.
2, 1, a
Let l = -1.8 - -1.4. Sort -0.1, l, -2/9 in increasing order.
l, -2/9, -0.1
Let v = -0.7 - -0.2. Let y(x) = -x**3 - 7*x**2 - 4*x + 9. Let q be y(-6). Let c be ((-2)/24)/(15/40). Put v, q, c in ascending order.
q, v, c
Let f(v) = -v**2 + 5*v + 1. Let j be f(6). Let d be (-3)/(-5)*j/1. Suppose 4*h - 4 = -4*u - h, -5*u + 5 = 2*h. Put 2, u, d in ascending order.
d, u, 2
Let k(g) = 2*g + 30. Let r be k(-13). Put 9, -5, r in increasing order.
-5, r, 9
Let p = 5 + -5.01. Let d = p - -2.01. Sort 1, d, -2 in descending order.
d, 1, -2
Suppose -4*s = -0 - 16. Sort -3, -5, s in increasing order.
-5, -3, s
Suppose -s + 3 = 7. Let g = 8 - 5. Suppose -3*y - 9 = -0*y. Put g, s, y in increasing order.
s, y, g
Let b = -0.86 - -1.36. Sort b, -0.4, 10 in ascending order.
-0.4, b, 10
Suppose -b + 6 = 1. Suppose 0 = 5*y - 4*x + 10, 5*y = 2*y - 4*x + 26. Suppose -3*w = -y*j - 11, -3*j + j - 2*w = 6. Sort j, -1/4, b in ascending order.
j, -1/4, b
Let l(r) = 4*r**3 - r**2 + 1. Let q be l(1). Sort q, -3, 0 in descending order.
q, 0, -3
Let u = -30 + 32. Sort u, -3, 4 in descending order.
4, u, -3
Let f(z) be the third derivative of -z**4/24 - z**3/3 - 3*z**2. Let a be f(-6). Put 5, -2, a in descending order.
5, a, -2
Let i = 0.05 + 0.09. Put -2/13, 0.2, i in decreasing order.
0.2, i, -2/13
Let j = -10 + 14. Sort 1, j, -2 in increasing order.
-2, 1, j
Let n be (18/(-90))/((-2)/(-4)). Sort 1/4, n, -2, 1/3 in ascending order.
-2, n, 1/4, 1/3
Let b = -4 - 0. Let a be 0 + (4/(-7))/b. Let n = -0.07 - -0.37. Sort -0.5, n, a in increasing order.
-0.5, a, n
Suppose 0 = 5*l + l - 6. Suppose u - 7 + 2 = 0. Sort l, 6, u in decreasing order.
6, u, l
Let u be -2 + 3 + (1 - -3). Let z be (-2 - (-6)/2) + 1/3. Put z, -0.4, u in decreasing order.
u, z, -0.4
Suppose 3*r = -f + 1, -3*r = -2*f + 2*r + 13. Put 5, f, -23 in ascending order.
-23, f, 5
Let h be (-1)/(-4)*132/55. Sort h, -3, -4 in decreasing order.
h, -3, -4
Suppose -8*y = -4*y + 20. Sort 3, -3, y, -7 in descending order.
3, -3, y, -7
Let h(r) = 4*r - 91. Let a be h(22). Suppose -4*w + 13 + 11 = 4*m, 5*m = -w + 22. Suppose -g = w - 3. Put -2, g, a in descending order.
g, -2, a
Let h(i) be the first derivative of i**3/3 + 3*i**2 + 2*i - 3. Let z be h(-5). Put -2, z, -2/3 in descending order.
-2/3, -2, z
Let w = -8 - -12. Let z be (-50)/(-4) - 1/2. Let r be 52/z + w/6. Sort -5, r, 4 in ascending order.
-5, 4, r
Let w = -1.23 - -0.83. Sort 2, w, 5, 2/3 in decreasing order.
5, 2, 2/3, w
Let x be (1/(-15))/(1/3). Let p(v) = v**2 + 9*v - 2. Let h be p(-9). Put h, x, 2 in descending order.
2, x, h
Let o be (5 - 2)/21 + 52/(-70). Sort 0, 5, o in increasing order.
o, 0, 5
Let m = -26.6 - -23. Let j = -0.6 - m. Put j, 4, 1 in decreasing order.
4, j, 1
Let s = 15 + -21. Sort 1/3, s, 0.5.
s, 1/3, 0.5
Let a = -0.6 + -1.4. Let z be (19 - 3 - 3)/1. Let d = z + -17. Sort -1/8, d, a in ascending order.
d, a, -1/8
Let r = 1.2 + 3.8. Let n be 2 + (0 - -1) - -1. Let o be (-2 - -1)*4/n. Put 3/5, r, o in increasing order.
o, 3/5, r
Let q = 0.07 + -1.07. Let h = 0 + -5. Put q, 4, h in decreasing order.
4, q, h
Let h(z) = -4*z - 1 - 2*z + 2*z + 5*z. Let b be h(0). Suppose -5*r = 4*j - 2*j - 7, 5*j + r + 17 = 0. Sort b, 1, j in increasing order.
j, b, 1
Let m = -3 + 5. Suppose 4*j - 2*j - 6 = 0. Let a be 1 + -1 + j/3. Sort a, -4, m in descending order.
m, a, -4
Suppose 0 = 13*h - 5*h + 24. Put h, -2, 4 in ascending order.
h, -2, 4
Let i = 5 + -9. Let p = 4 + -3.98. Let c = 4.02 - p. Put c, 3/4, i in descending order.
c, 3/4, i
Suppose -4*u = -7 - 9. Let p(c) = c. Let r be p(u). Sort r, 2, 5.
2, r, 5
Let h = 0.78 + 0.12. Let y = h + -0.5. Sort y, -0.5, 2/11 in descending order.
y, 2/11, -0.5
Let d = -0.2 - 13.8. Let x = 7 + d. Let w = -7.3 - x. Sort 4, 0, w.
w, 0, 4
Let p = 153 + -155. Let f = -2 - -1. Sort p, 5, f in descending order.
5, f, p
Let s be (-6)/(-2)*4/(-3). Suppose 3*n - 4 = -5*d + d, 0 = 4*d - 4*n + 24. Sort 3, s, d.
s, d, 3
Let n = -3.8 + 5.8. Put n, 2/3, 2/9 in descending order.
n, 2/3, 2/9
Suppose 0 = -2*q + 5 - 7. Put 3, q, 9, 4 in increasing order.
q, 3, 4, 9
Let r be 5/(-2)*4/5. Put r, 7, -4 in descending order.
7, r, -4
Let u = 7.6 + -4.6. Put u, 1/5, -0.26 in descending order.
u, 1/5, -0.26
Let g = -132 + 134. Let w = -2 - -1. Put w, g, -3 in decreasing order.
g, w, -3
Let g = 0.4 + -0.1. Let x = 0.2 + g. Let y = 3 - 2.8. Sort -2, y, x in descending order.
x, y, -2
Suppose -3*n + 2*k + 4 = -5, -k - 6 = -2*n. Let t = n - 2. Suppose -8 = -3*p + 7*p. Sort p, -5, t.
-5, p, t
Let q = -13 + 20. Sort 1, -3, q in decreasing order.
q, 1, -3
Let s(m) = -m + 11. Let v be s(7). Sort v, 1, 3.
1, 3, v
Let t be -2*28/(-8) - 2. Put t, -3, -5 in ascending order.
-5, -3, t
Let i = 31/2 - 18. Sort -3, i, 0.15 in decreasing order.
0.15, i, -3
Let y be (1/12)/(9/(-18)). Put y, -3, -1/7 in increasing order.
-3, y, -1/7
Let r be (-5)/(-2) + 2/4. Let h(q) = -q**2 - 7*q - 8. Let b be h(-5). Put r, b, 4 in descending order.
4, r, b
Let q = -44 + 48. Sort -2, -23, q.
-23, -2, q
Let o = 0.87 - -0.13. Put -5, -4/3, o in decreasing order.
o, -4/3, -5
Let t be ((-4)/1)/(-4) - -1. Suppose 4*b + 2*s = 8, -b + t*s + 6 = -6. Let g = -1 + 3. Sort g, 5, b in increasing order.
g, b, 5
Suppose -5*n - 3*f = 6, 2 = 4*f - 10. Sort 7, -1, n.
n, -1, 7
Let g = -0.1 + 0.2. Let o = 1/15 + 11/60. Let x = -9.8 - -10. Put o, g, x in increasing order.
g, x, o
Let a = -987 - -3883/4. Let r = 16 + a. Put 0.2, r, 1 in decreasing order.
1, 0.2, r
Let c = -1.149 - -0.149. Put -0.2, 0.02, c in decreasing order.
0.02, -0.2, c
Suppose -8*b + 5 = -3*a - 3*b, -3*a - 1 = -b. Sort a, -1/5, 4, -1 in ascending order.
-1, -1/5, a, 4
Let u = 1 + 4. Put -3, 4, u in decreasing order.
u, 4, -3
Let g be (1 + (-4)/2)/1. Put 0, g, -4 in descending order.
0, g, -4
Let p = -2/35 - -13/105. Sort -2, -0.5, p in descending order.
p, -0.5, -2
Let z = 55/4 + -517/36. 