 + 2*h, h + 11 = -x + 4*h. Let j(f) = -5*f + 28. Let v be j(5). Suppose -z = -0*z. Put v, z, x in decreasing order.
x, v, z
Let j(o) = -o**2 - 11*o + 27. Let z be j(-13). Let s(w) = w - 4. Let u be s(3). Let h be (-2)/u - (0 + -1). Sort h, 5, z in decreasing order.
5, h, z
Let z = 268 + -2950/11. Let v(x) = x**2 + x + 2. Let p be v(-2). Suppose -q = p - 9. Sort q, z, 2/9 in ascending order.
z, 2/9, q
Let r be 6/(-4) + (-72)/(-16). Sort r, -1, 0.2 in descending order.
r, 0.2, -1
Let x be 1 + (-1)/(-2)*(1 + 1). Put -12, x, -5 in ascending order.
-12, -5, x
Let h(u) = -u**2 + 12*u - 6. Let t be h(11). Suppose -t*j - w + 17 = -4, 2*w + 8 = 0. Sort 2, -3, j in descending order.
j, 2, -3
Let g = -21 + 9. Let d be (0*6/(-48))/((-2)/2). Sort -1, g, d in descending order.
d, -1, g
Let u(j) = -j**3 + 6*j**2 + 7*j + 8. Let v be u(7). Let n = -5 + 4. Sort 2, n, v in descending order.
v, 2, n
Let j = -20 - -19.96. Let c = j + 0.54. Put -2/3, c, 4 in increasing order.
-2/3, c, 4
Let g(v) = v - 12. Let b be g(7). Put -17, -3, 3, b in descending order.
3, -3, b, -17
Let z(r) = 6*r - 1 + 4*r - 6*r. Let s be z(5). Let v be s/7 - 6/(-21). Put v, 1, -3 in descending order.
v, 1, -3
Suppose 10*w + 12 = 6*w. Let y be 3/(1 + (-1)/2). Suppose 0*s + y = -3*s. Sort s, w, 4.
w, s, 4
Let j = -785/21 - -113/3. Let c = 7 + 5. Let d = c + -13. Sort d, -5, j.
-5, d, j
Let z(p) be the third derivative of p**5/60 - p**4/4 + p**2. Let l be z(5). Sort l, 1, 0 in descending order.
1, 0, l
Let n = -6 - 1. Let c = 7/32 + -99/160. Sort 5, n, c in descending order.
5, c, n
Suppose 2*j = 4*l - 78, -4*l - 4*j + 86 = 2. Suppose b - 6*b - l = 0. Let k be 4/(-14) + (-33)/7. Sort 2, b, k.
k, b, 2
Let y = 0.04 + -0.54. Let p = y + -0.2. Let d = 0.6 + p. Sort -5, 0, d.
-5, d, 0
Suppose 9*l + 13 = 58. Sort 17, -5, l in descending order.
17, l, -5
Let q = 2/63 - -59/126. Let v = -4.6 - -4.3. Put v, -1/2, q in descending order.
q, v, -1/2
Let b be 4*95/1120 - 3/24. Sort b, 0.1, -4/7, 5.
-4/7, 0.1, b, 5
Let d = -990/13 + 76. Let g = -0.1 + 0. Put 4, d, g in increasing order.
d, g, 4
Let l be 2/6*(8 - -4). Let d(u) = -u - 2. Let a be d(l). Let v be (-1)/(-1) - (-8)/a. Sort v, 0.5, -1 in decreasing order.
0.5, v, -1
Let f be 2 + ((-13)/15 - 1). Suppose 0 = -15*z + 27 + 3. Sort z, f, 0.3 in ascending order.
f, 0.3, z
Let p(y) be the second derivative of -5*y**3/6 + 2*y. Let a be p(1). Put a, 3, 1 in decreasing order.
3, 1, a
Let a be (-81)/54 - 2/4. Sort a, -6, -4 in ascending order.
-6, -4, a
Suppose -2*x = -3*j + 2, 0 = -j + 2*j - x. Sort -1, j, 1, -3.
-3, -1, 1, j
Let r(i) be the first derivative of i**2/2 - 5*i + 2. Let u be r(4). Let k be -1*2 - (u + 3). Sort 0, k, 2 in decreasing order.
2, 0, k
Suppose 4*n + 2 = -3*g, 3*g + 3 - 17 = 4*n. Let i = 0 - n. Sort 5, i, -3 in decreasing order.
5, i, -3
Let u(a) = -a**2 + 2*a. Let b be u(2). Sort b, 3, -7 in descending order.
3, b, -7
Let u = 13 + -13.3. Put -0.5, u, 0.6 in decreasing order.
0.6, u, -0.5
Let z = 0.15 + -1.15. Sort z, -3, -0.1.
-3, z, -0.1
Let j = -11 - -12. Let s be (-1*j)/((-1)/3). Sort s, -4, -3 in descending order.
s, -3, -4
Suppose o - 6 = -3*w + 1, 2*w = 4*o. Suppose -25 = w*k - 7*k. Suppose -5*s - 15 = 5*v, -s + 3*v + 8 + k = 0. Put -2, -3, s in increasing order.
-3, -2, s
Let b = -0.03 + 1.03. Put 0, b, -2 in descending order.
b, 0, -2
Let i = 1.73 + -0.03. Let b = i - 5.7. Put 2, 1, b in descending order.
2, 1, b
Suppose -3*s = 5*o + 12, 4*s = -3*o - 1 - 4. Put -97, -1, -2, o in descending order.
-1, -2, o, -97
Let w = 1.11 - 1.1. Let m = w + -0.01. Put -1/2, m, 3/4 in decreasing order.
3/4, m, -1/2
Let u = -36 - -35.6. Put -1, u, -10 in descending order.
u, -1, -10
Suppose -f - 144 = 3*f. Let l be (-3)/f*-2*2. Sort l, 5/3, 1/3 in decreasing order.
5/3, 1/3, l
Let o(p) = 8*p**2 + p + 1. Let q be o(-1). Suppose 6 = -h - 2*r - 0, -5*h - q = -r. Suppose -6*c = -2*c. Put c, h, 1 in increasing order.
h, c, 1
Suppose 4*w + 12 = 0, -8 - 4 = -5*p + 4*w. Suppose 3*u = -p*u - 33. Let f = u + 7. Put f, 1, 4 in increasing order.
f, 1, 4
Let l be 140/(-75) + 4/(-30). Suppose 2*y - 14 = 2*s - 2*y, 4*s - 8 = -y. Sort 0, s, l in descending order.
s, 0, l
Let i(y) = y**3 + 3*y**2 - 3*y - 10. Let f be i(-3). Suppose w - 2 = -0. Suppose -5*b + 4*b + w = 0, 2*b = -2*a - 4. Put f, a, -2 in decreasing order.
f, -2, a
Suppose -17*u + 18*u - 5*v - 19 = 0, u = v + 3. Put u, 0.2, -4.9 in ascending order.
-4.9, u, 0.2
Let l = 8 + 3. Put 0, 2/5, l in ascending order.
0, 2/5, l
Let d be 2/(0 - 1 - (-6)/12). Let g be -3 + (1 - 0)*0. Put 4, d, g in decreasing order.
4, g, d
Suppose 13 + 152 = 3*p. Let t be (-5)/p*(-2)/1. Sort t, 2/15, -0.1.
-0.1, 2/15, t
Let l = -143/70 + 15/7. Put -22, 0.4, l in decreasing order.
0.4, l, -22
Let p be (-2)/(-13) + (-402)/78. Put -2, 4, p in increasing order.
p, -2, 4
Suppose 5 = -2*z + 5*x + 3, 4*x + 32 = -4*z. Let y = z + 11. Put -2, 0, y in decreasing order.
y, 0, -2
Let w = -0.5 - -1. Put w, -1, 1 in decreasing order.
1, w, -1
Let i = -35 - -139/4. Let y = 17.03 + -17. Let l = y + -1.03. Put l, i, 0.4 in decreasing order.
0.4, i, l
Suppose 0*r + 3*r + w - 5 = 0, 4*r - 5*w - 32 = 0. Suppose 5*s + i = -8 - 21, 5*s + r*i + 37 = 0. Put 2, 5, s in descending order.
5, 2, s
Suppose 0 = 3*q - 2*b + 11, 2*q + b = -2*b + 10. Let w(t) = t**3 - t**2 - 19*t + 5. Let z be w(-4). Put q, -0.4, z in ascending order.
q, -0.4, z
Let c = 14.7 + -15. Let d = 0.8 + c. Sort d, -4, -2 in descending order.
d, -2, -4
Let q(d) = d**2 - 9*d + 15. Let i be q(6). Sort i, 5, -5, 1 in descending order.
5, 1, i, -5
Let j = -12 + 8. Let u be 3/(-2) - 2/j. Let d be (-7)/((-14)/(-4)) - 3. Sort u, d, 4.
d, u, 4
Let o(s) = -s**3 + 14*s**2 - 25*s + 8. Let h be o(12). Sort -1, h, 3, 5 in ascending order.
h, -1, 3, 5
Let r = -198 - -2180/11. Sort 2/5, 0, r.
0, r, 2/5
Let i = -14 + 12. Put 0, i, 14 in descending order.
14, 0, i
Let f(z) = -z + 3. Let p be f(0). Suppose -p - 7 = 5*w. Suppose 0 = -3*b - l - 19, -20 + 0 = 2*b - 3*l. Put w, b, 2 in decreasing order.
2, w, b
Suppose l + 4*r - 1 = 0, 14 + 7 = 5*l + 4*r. Let s(i) = i + 2 - 4 - 6. Let o be s(l). Sort o, 0.1, 2/13.
o, 0.1, 2/13
Let l be 1/(-1) - 8 - -8. Suppose -f - 4*m = 13, f = 6*f + 4*m + 33. Sort f, l, -4 in descending order.
l, -4, f
Let o be ((-2)/15)/((-1)/60*-6). Sort o, -0.5, 2/9, 2 in ascending order.
o, -0.5, 2/9, 2
Let s(h) = h + 13. Let m(t) = t**2 - t - 4. Let q be m(3). Suppose q*z + 2*b = -26, 4*z + 16 = b - 26. Let g be s(z). Sort -2/13, 0.2, g in increasing order.
-2/13, 0.2, g
Let n = 5 - 5. Suppose n*j + 9 = -3*j - 5*k, 3*j + 30 = 2*k. Let t = j - -11. Put 0, t, 2 in ascending order.
0, 2, t
Let d(u) = u**3 + 4*u**2 + 2*u - 2. Let s = -6 - -4. Let v be d(s). Put v, 3, 1 in increasing order.
1, v, 3
Suppose 5*b = -4 - 1. Put 33, -2, b, -3 in descending order.
33, b, -2, -3
Let d be (-17)/4 + (6 - 3). Put -0.2, d, 1/6 in ascending order.
d, -0.2, 1/6
Let a be (-24)/(-4) + 1 + -2. Suppose -5*t + 6*t = 4*u - 10, -2*t - 14 = -a*u. Suppose 0 = -5*k - 7 + u. Put k, -3, 2 in increasing order.
-3, k, 2
Suppose 5 = 2*o - 7*o. Suppose 0*l = -8*l - 32. Sort 1, o, l.
l, o, 1
Suppose -x = 4*x + 15. Let l be 0 + 0/(x/(-3)). Sort 2, -5, l in decreasing order.
2, l, -5
Let j = 3.7 + -2.7. Sort j, -0.1, -3.
-3, -0.1, j
Let l = -4 + 0. Let p be 5/(2*(-1)/(-2)). Suppose -p + 2 = 3*b. Sort 0, b, l.
l, b, 0
Let c = 125.5 + -125. Sort 3/7, c, 0, -1/4.
-1/4, 0, 3/7, c
Let u be (-2 + 5)*(-4)/(-12). Put -4, u, -3, 6 in decreasing order.
6, u, -3, -4
Suppose -4*b + 27 = 5*j, 4*b - 2*j = 1 + 5. Put -3, 5, b in descending order.
5, b, -3
Let q = -0.2 + -0.2. Let p = 0 - q. Let d = -31/6 + 14/3. Put d, -1/6, p in decreasing order.
p, -1/6, d
Let v = 18 - 23. Put 2, v, -0.8 in ascending order.
v, -0.8, 2
Suppose -t + 6 = 1. Suppose -2*r - 6 = 0, 0 = t*q - r - 0*r - 13. Let p = q + -2. Put 2, 1, p in descending order.
2, 1, p
Let g = 10 + -8. Put 5, g, -13 in ascending order.
-13, g, 5
Let w be 3*((-10)/5)/(4/(-1)). Sort -1/4, 7, w.
-1/4, w, 7
Let x = -7 - -7. Let s be x + 1 + 2 + -4. Sort -4, s, -3 in ascending order.
-4, -3, s
Let g(h) = h**3 + 2*h**2 + h - 2. Let b be g(-2). Let v = -0.1 - -0.2. Let t = 5 + -5. Put t, b, v in decreasing order.
v, t, b
Let m be -2*(6/(-4) + 2). Let t be (1/4)/(m/(-2)). Sort