10 = 5*q + v, 2*v + 2*v + 8 = 4*q. Suppose n + 12 = -s*r + 6*r, 0 = -q*r - 5*n - 9. Sort 5, -4, r in decreasing order.
5, r, -4
Let l = 0 - -1. Let a = -5 + l. Put a, 5, 4 in descending order.
5, 4, a
Let v(h) = -2*h**3 + 3*h**2 + h + 4. Let r be v(3). Let q be (-23)/r - 8/20. Sort -2, q, 0.3 in descending order.
q, 0.3, -2
Let y(z) = -z**3 - 7*z**2 + 8*z + 4. Let v be y(-8). Let n be (12/30)/((-2)/10). Let h be 5/n - 1/2. Sort 1, v, h in decreasing order.
v, 1, h
Let u = 63 - 63. Sort u, 3, -0.2, 0.3 in increasing order.
-0.2, u, 0.3, 3
Let m be (3 - 50/15)/((-2)/6). Put 1.2, 4, m in increasing order.
m, 1.2, 4
Suppose -8*s + 2*f = -9*s + 4, 0 = -2*f. Let x be ((-2)/(-16))/((-1)/(-6)). Put x, -3, s in decreasing order.
s, x, -3
Let o = 4197/17 + -247. Let u = 0.1 + 0.4. Put 0.7, u, o in descending order.
0.7, u, o
Suppose -4*t - 16 = -3*w, 5*w + t + 4*t - 15 = 0. Let i = -13 + 18. Suppose v + w = -2*z - 2*v, 2*z + 8 = -i*v. Put z, -4, 3 in descending order.
3, z, -4
Let w(p) = 6*p + 6. Let c be w(-5). Let o = c + 49/2. Sort 0.05, o, 2 in decreasing order.
2, o, 0.05
Let j(d) = -d**3 - 4*d**2 - d + 4. Let y be j(-3). Sort 4, y, 2.
y, 2, 4
Let p(j) = j**3 - 16*j**2 - 18*j + 15. Let i be p(17). Sort 4, i, -4, -3.
-4, -3, i, 4
Let h be (30/(-75))/((-2)/20). Suppose -a - 1 = h. Let i be 1/2 - 2/12. Put 2, i, a in ascending order.
a, i, 2
Let q = 7 + -3. Suppose 2*w = -q*f + 2, 5*f + 0*w - 6 = w. Put -5, 2, f in increasing order.
-5, f, 2
Let t(m) = 4*m - 1. Let o be t(1). Suppose 0*a = o*a - 15. Let b = 5 - a. Put 3, -2, b in descending order.
3, b, -2
Let x be (-1)/2 - (-14)/4. Suppose -5 = 5*d + 20. Sort 4, d, x.
d, x, 4
Let x = 9.3 - 11. Let v = x - -2. Let z = 173/581 + -1/83. Put v, z, 0.5 in descending order.
0.5, v, z
Let g be -4 - (-6)/(-9)*-3. Let f be (g/12)/((-18)/12). Put f, 0.4, -2 in increasing order.
-2, f, 0.4
Suppose l = -4*b + 1, 4*b + 4*l - 4 + 0 = 0. Let o be (b/1 - 1)*-5. Put o, 4, 2 in ascending order.
2, 4, o
Let o = -6.84 + 7. Let l = -7.84 - o. Let z = -5 - l. Put -0.3, z, -0.4 in increasing order.
-0.4, -0.3, z
Let g(s) = -s - 9. Suppose 4*u = -15 - 13. Let c be g(u). Let t be c/(-8) + (-4)/80. Sort t, -1/2, -5 in descending order.
t, -1/2, -5
Let i = -5 - -9. Let s = 14 + 18. Suppose -5*c + 6*c = -4*g - 16, i*g - 3*c + s = 0. Sort -0.5, 1/3, g.
g, -0.5, 1/3
Suppose 5*c + 20 = 0, 0 = 3*x + 3*c + 2*c + 17. Put x, 1/3, 0 in ascending order.
0, 1/3, x
Let a = 36 - 40. Sort 2, 0.5, a in descending order.
2, 0.5, a
Suppose -2*x - 4*x = 0. Sort 6, -1, x in increasing order.
-1, x, 6
Let a(k) = -k. Let l(x) = 8*x - 6. Let d(q) = 6*a(q) + l(q). Let u be d(4). Put u, 1, 3 in decreasing order.
3, u, 1
Let r be (-3)/(-4) - 3/(-12). Let a(h) = -h**3 + 2*h**2 + 5*h - 4. Let d be a(3). Let q = r + d. Put 4, q, 0.3 in descending order.
4, q, 0.3
Let w be (6/(-4))/((-1)/2). Let y(h) = h**2 + h - 4. Let p be y(-3). Sort p, w, 0.
0, p, w
Let g(k) = 2*k - 20. Let z be g(11). Let x(d) = d + 1. Let l be x(-3). Let b be (l + 0)*(-5)/(-2). Put z, b, 1 in ascending order.
b, 1, z
Let t = -4 - -1. Put t, -2, -12 in ascending order.
-12, t, -2
Let l be -1*2 - (-1 + 1). Let k(m) = -m + 3. Let f be k(7). Suppose -2*n + 3*n = 2. Sort l, n, f in increasing order.
f, l, n
Suppose 3*r + r = 5*w - 15, -2*r + 5*w + 5 = 0. Let o be 8/(-10)*25/r. Let q = o + 1. Sort 2, q, -2 in ascending order.
-2, 2, q
Suppose 11*t - 6*t - 15 = 0. Put -1, 4, t in descending order.
4, t, -1
Suppose 0 = 3*l + 3*d - 4*d + 2, -2*d - 5 = 3*l. Let f(z) = -4*z - 1. Let t be f(l). Sort t, 5, -2 in ascending order.
-2, t, 5
Suppose 2*v - 5*v + 15 = 0. Put 4, 1, v in increasing order.
1, 4, v
Let a = -5 - -6. Let m = 2.89 - -0.11. Put m, 0, a in decreasing order.
m, a, 0
Let f be (16/(-10))/((-4)/10). Let j(t) = -t**3 + 4*t**2 - t. Let k be j(f). Let x = 5 + k. Put x, -4, 5 in increasing order.
-4, x, 5
Suppose 10 = -153*h + 158*h. Sort h, -5, 8, 0 in increasing order.
-5, 0, h, 8
Let u(r) = r + 7. Let c be u(3). Put 3, c, -3 in decreasing order.
c, 3, -3
Suppose 28*u + 5 = 33*u. Let j be 2/(4/10) - 1. Put u, 5, j in increasing order.
u, j, 5
Suppose 0 = -9*q - 40 + 13. Sort q, 0, 1 in decreasing order.
1, 0, q
Let q(w) = w**2 + 3*w + 3. Let b be q(-3). Sort b, 4, 8, -3 in decreasing order.
8, 4, b, -3
Let c be (-15)/(-2)*2/1. Suppose -3*v - c = 2*v. Let r(q) = q**2 + 5*q + 2. Let s be r(v). Put -2, 4, s in ascending order.
s, -2, 4
Let o be 3/(-5) - (-21)/(-15). Let p be 1/((o/(-1))/(-8)). Suppose -5*d = u + 12, 0 = d + 5*u + 2 + 10. Sort p, 5, d in increasing order.
p, d, 5
Let j = -53 - -44. Sort -1, -2, j, -2/3.
j, -2, -1, -2/3
Suppose -4 = 2*c - c. Put c, 0, 5 in decreasing order.
5, 0, c
Suppose -38*o + 36*o + 34 = 0. Sort o, 3, 5 in ascending order.
3, 5, o
Let a(w) = -w - 8. Let q be (-160)/28 + 6/(-21). Let y be a(q). Let i be (y/5)/(1 + -2). Sort -0.2, i, 0.5 in ascending order.
-0.2, i, 0.5
Suppose 0 = 2*n + 3 + 5. Let j be (n/3)/((-4)/18). Suppose -g = 2*i - j, 0 = 4*i + i + g - 18. Put i, -1, -2 in descending order.
i, -1, -2
Let g = 5.5 - 5.3. Put g, 0.6, 1/3, -4 in increasing order.
-4, g, 1/3, 0.6
Let m = -18 - -20. Sort -2/15, -4, m in descending order.
m, -2/15, -4
Let s be ((-2)/32)/((-2)/12). Let n(r) = -r + 1. Let a be n(2). Let q be (1 - a)*1/7. Sort s, 2, q in descending order.
2, s, q
Let x(a) = -a**3 - 6*a**2 - 4*a - 4. Let k be x(-5). Let q = k + 9. Put -2, q, 1 in descending order.
1, q, -2
Let k be 0*-1*3/6. Sort 3, 1, k in increasing order.
k, 1, 3
Let l = -10 - -5. Let a = 3.7 - 4. Put a, 1, l in ascending order.
l, a, 1
Suppose 42 = 4*a + 42. Let c(g) = -g**2 + 4*g + 7. Let u be c(5). Sort u, -2, a in increasing order.
-2, a, u
Let j = -2/29 + -25/58. Let t = -5/8 - -35/24. Let x = -2 + 2. Put x, j, t in ascending order.
j, x, t
Suppose -3*w - 4 = 4*c, 2*w + 12 + 0 = -5*c. Put 1, c, 4 in descending order.
4, 1, c
Suppose -17*z = -24*z + 35. Put -4, -11, z in descending order.
z, -4, -11
Let g = -3 - -2.9. Let n = 0.1 - g. Put -2/3, 5, n in ascending order.
-2/3, n, 5
Let u be 4*(-1 + 0) + 1. Suppose 2*o + 12 = -10*o. Sort o, -2, u in descending order.
o, -2, u
Let r = -0.07 + 0.17. Let x = -0.4 + r. Let a = x - -0.8. Sort a, -2, -3/7.
-2, -3/7, a
Let y = 52 + -55. Sort 4, 15, y, -2.
y, -2, 4, 15
Suppose -s + 12 + 6 = 4*q, 3*s - q - 15 = 0. Suppose -s = p - 4*t, p - t = -0 - 3. Let f be (-1)/(p + (-15)/(-9)). Sort f, 5, -2 in ascending order.
-2, f, 5
Let y = -15.2 + 19. Let u = 0.2 + y. Let d = u + -5. Put d, -4, 1 in increasing order.
-4, d, 1
Let s = 12.84 + -13. Let t = s + -0.24. Put t, -3, 0 in increasing order.
-3, t, 0
Let y(h) = 2*h + 5. Let b be y(-5). Let r(m) = -3*m + 1. Let k be r(2). Let x = 0 - k. Sort b, x, -2.
b, -2, x
Suppose -2*i + 48 = -0*i. Let t be i/(-9) + 0 + 2. Let r = -26.6 + 27. Sort r, 5, t in increasing order.
t, r, 5
Let f = 12.8 + -1.8. Let m = -16 + f. Let k = 3.65 + -0.65. Sort k, m, -0.4 in increasing order.
m, -0.4, k
Suppose -3*s + s + 10 = 0. Let h = -4.6 - -5. Sort h, s, 1/7 in decreasing order.
s, h, 1/7
Let q = 2 + 2. Suppose q*w - p - 15 = 0, p = 4*p + 9. Put 4, -5, w in ascending order.
-5, w, 4
Let h = 615 - 367. Let z = 2230/9 - h. Put 2/11, -2, z in descending order.
2/11, z, -2
Let b be (-4)/(-10) - 6/(-10). Let c be 2/2*(0 - -5). Put c, -3, b in descending order.
c, b, -3
Let w(o) = o - 8. Let x be w(7). Let n be (-4)/(-6)*(-42)/(-4). Let q be 60/14 + (-2)/n. Put x, q, 2 in descending order.
q, 2, x
Suppose -3332*i = -3326*i - 18. Suppose 7*n - 3*b + 20 = 2*n, 2*n - 4*b = -8. Sort -2, i, n in descending order.
i, -2, n
Let v = -4.7 + -0.8. Let c = -5 - v. Sort c, -3, 4.
-3, c, 4
Let z(u) = -u**2 + 7*u - 1. Let o be z(6). Let d = 0.2 - 0.7. Let p = -0.5 - d. Sort 1/8, p, o in descending order.
o, 1/8, p
Let d = -66 + 67. Let m(g) = g**2 - 2*g - 1. Let c be m(-1). Suppose 4*o - t + 4 = 0, 0 = -2*o + 3*t - c. Sort -2, o, d in ascending order.
-2, o, d
Suppose -3*b + 2 = -13. Let r be (-40)/16*(-2)/(-1). Sort b, 3, r in ascending order.
r, 3, b
Let w = -1.3 - -6.3. Let y = 0.112 - 1.112. Put 0.1, w, y in descending order.
w, 0.1, y
Let t be (-2)/21 + (-4)/(-6). Let h = -9.4 - -9. Let b = h - -0.1. Put b, t, 3 in increasing order.
b, t, 3
Let u = -0.3 + 0.2. Let a = 0 - 0.2. Let m = a + 4.2. Sort 1/6, u, m 