- 2*z. Put -3, b, -1 in descending order.
b, -1, -3
Let x be 2*(-2 + 4/8). Suppose -4 = -2*c + 2. Put 2, x, c in decreasing order.
c, 2, x
Let c(z) = z**3 + 10*z**2 - z - 14. Let y(m) = -m**3 - 12*m**2 - 10*m + 1. Let i be y(-11). Let l be c(i). Let w = 5 - 8. Put w, 1, l in ascending order.
l, w, 1
Suppose -2*h - 5 = -1. Suppose 5 = -4*c + 5*j, 0*c - 7 = 2*c - j. Suppose 10*t + 3*q + 6 = 5*t, 10 = 4*t - 5*q. Put t, c, h in descending order.
t, h, c
Let w = 2 + -6. Suppose 0*k - 2*k = -o + 2, -4*k - 2 = -o. Put 2, k, w in decreasing order.
2, k, w
Suppose 57 = -4*f - m, 2*f + 3*m + 22 = -19. Put 0, 5, f in increasing order.
f, 0, 5
Let s = 3/14 + -5/7. Put s, -2/11, 0.5 in descending order.
0.5, -2/11, s
Let u = 5 + -2. Suppose 7 = 5*l + 4*r + u, -3*r = -3. Suppose 0 = 4*z - 5*x + 2, 12 = 5*z + 2*x - x. Put l, 1, z in ascending order.
l, 1, z
Let s(f) = f**2 + 2*f. Let d be s(1). Put 0, d, 1, 4 in decreasing order.
4, d, 1, 0
Let y = 100/11 - 9. Let f = -11 - -10. Let a be f - ((-10)/(-6) + -3). Sort a, 1, y in descending order.
1, a, y
Let m(i) = 3*i + 23. Let g be m(-9). Sort 5, g, 2.
g, 2, 5
Suppose 4*k + 12 = -4*i, -4*i + k - 27 = i. Let u(z) = z + 1. Let f be u(0). Put i, f, -4 in increasing order.
i, -4, f
Let a = -0.23 - 2.77. Sort 4, 0, a in increasing order.
a, 0, 4
Let y = 1 + 4. Suppose -5*r + 4 + 10 = -3*l, y*r - 16 = 2*l. Suppose 2*f = 2*o - 2*f + 22, -5*o - 3*f = -10. Put o, -5, r in increasing order.
-5, o, r
Let w(q) = -11*q + 6. Let j be w(6). Let x be (j/8)/((-3)/4). Let p be (-1)/(4/x)*2. Sort p, 5, 3 in decreasing order.
5, 3, p
Suppose 0 = -z + 6*z - 15. Sort -3, z, 2 in descending order.
z, 2, -3
Let h be (2/8)/(2/8). Suppose -o - 6 + h = 0. Sort -4, 2, o in descending order.
2, -4, o
Let c be 57/(-11) - (-6)/33. Sort -1, c, 3 in decreasing order.
3, -1, c
Let w be 18/7 - (-99)/231. Sort w, 2, 7 in decreasing order.
7, w, 2
Suppose -3*c + 13 = 2*d, 5*d - 24 = -c + 2*c. Let w(x) = x**3 - 6*x**2 - x + 3. Let b be -1*1*(-11 - -5). Let s be w(b). Sort d, -4, s in descending order.
d, s, -4
Let q = -5 - -10. Let w be (6/(-4))/(3/(-8)). Suppose r = -5*u - 2, -u - 11 = -3*r - 1. Sort q, w, u.
u, w, q
Let w(i) = 3*i - 8 - 2*i - i - i. Let a be w(-6). Put -5, a, 4 in decreasing order.
4, a, -5
Let r = -19 - -21. Sort -3, r, 0.
-3, 0, r
Let j(w) = -3*w + 14. Let r be j(6). Put r, -3, 2 in decreasing order.
2, -3, r
Let p be (8/(-10))/(2/5). Let g be p/(-8) - 25/36. Sort 2, g, 2/11 in descending order.
2, 2/11, g
Let o = 2 - 4. Let n(m) = -m**3 - 15*m**2 + 14*m - 30. Let v be n(-16). Put o, v, 5 in increasing order.
o, v, 5
Suppose -17 - 7 = -6*t. Let k = 0.07 - 0.01. Let i = 0.16 - k. Sort 3/7, i, t.
i, 3/7, t
Let s be 78*(-1)/4*4/6. Sort 0, 2, s.
s, 0, 2
Suppose -40 = -5*j - 3*v, 2*j = -3*v + 5*v. Put j, 0.8, 3, 3/4 in ascending order.
3/4, 0.8, 3, j
Suppose -28 = -5*j - 8. Let s = -3 + 3. Put s, j, -4 in descending order.
j, s, -4
Let o = -1457 + 1462.93. Let x = -0.07 - o. Sort x, -3, 0.2 in ascending order.
x, -3, 0.2
Suppose -2*l + 8 = -2, 0 = 5*w - l - 5. Suppose 0*u + 2 = -4*q + u, -4 = 5*q - 2*u. Suppose -5 = -q*c + c. Sort w, c, 4 in descending order.
4, w, c
Let m = -0.38 - 0.02. Let r = -2.7 + 2.8. Sort m, r, -0.2 in ascending order.
m, -0.2, r
Let a be (-86)/(-8) - 6/(-24). Let b(h) = -h + 14. Let r be b(a). Suppose 0*d - 5*d + 2*z - 16 = 0, 18 = -3*d - r*z. Put 2, d, 5 in ascending order.
d, 2, 5
Let z = 9 - 11. Let d = z + -2. Let u = -1.2 + 1. Put 2/7, d, u in decreasing order.
2/7, u, d
Let p be (9/(-12))/(3/2). Put -2, -4, p in descending order.
p, -2, -4
Let x be (-12)/9*30/(-8). Sort -2, x, 4 in decreasing order.
x, 4, -2
Let r = 26 + -28. Suppose 0 = -d + 3*y - 2 + 1, 0 = 4*d + 5*y - 13. Sort d, -3, r in decreasing order.
d, r, -3
Suppose 0 - 1 = -n. Let g = 1 - 6. Sort n, g, -2 in descending order.
n, -2, g
Let x = 13 - 17.9. Let g = -0.1 + x. Let v = 0.3 - 0.2. Put 4, v, g in decreasing order.
4, v, g
Let f be 5*1 + (-1 - 0). Let c be (-132)/(-154) - (-82)/(-14). Sort c, -4, f in decreasing order.
f, -4, c
Let k be (0 - -2 - 3)*(-3 + 6). Sort -4, k, -2, 0 in ascending order.
-4, k, -2, 0
Let l = -3 + 5. Let f be l/(-6) + 2/6. Sort f, -2, -3 in descending order.
f, -2, -3
Let o be (-2)/3 + (-7)/(-15). Sort 3, o, 0 in descending order.
3, 0, o
Let f(c) = -c**3 + 7*c**2 + 17*c + 11. Let z be f(9). Sort z, -2, 0 in ascending order.
-2, 0, z
Suppose 3*z + 3*z - 48 = 0. Suppose z + 4 = 3*o. Put o, 3, -11 in ascending order.
-11, 3, o
Suppose 0 = 3*w - 2*a + 1, -12*w + 7*w - 5*a = 10. Let j = 4 - 6. Let d = j - 0. Put w, -3, d in increasing order.
-3, d, w
Let t = 0.48 - 0.18. Let z = -0.1 - -0.1. Let v = -0.1 - z. Put v, t, 0.2 in ascending order.
v, 0.2, t
Let j(x) = 17*x + 1. Let n be j(-1). Let t = 21 + n. Sort -2, -3, t in decreasing order.
t, -2, -3
Let u = -383461/10 - -38315. Let v = u + 31. Sort v, -2/5, -4.
-4, -2/5, v
Let x be (-1)/8*(-8)/(-6). Let g = 6 - 2. Let y = g - 4. Put y, x, 0.5 in decreasing order.
0.5, y, x
Let p = 6 + -5. Suppose -p + 0 = -i. Suppose 0 = -v - 0*v - 2. Sort 4, i, v in descending order.
4, i, v
Let c be -3 + 2 + 4/(-2). Let q(p) = p**3 + 4*p**2 + p - 3. Let u be q(c). Sort 4, 5, u.
u, 4, 5
Let y be ((-57)/95)/(1/(-10)). Sort -3, y, -2 in increasing order.
-3, -2, y
Let o = -5 + 7. Let k be (o/(-5))/((-2)/10). Sort 3, k, -5 in descending order.
3, k, -5
Let b = -74 + 74. Put -3, b, 3 in descending order.
3, b, -3
Let b be -4 - (140/(-18) - -4). Suppose 3*o - 8 = r, -4*o - 3*r + 0*r + 28 = 0. Let s be 1 - o/6 - 1. Sort 0, b, s in ascending order.
s, b, 0
Let a = -29 - -29. Let l be (4/(-3))/((-4)/6). Sort l, a, 3.
a, l, 3
Let u = 8 + -5. Suppose -25 = u*v - 4*d, -d - 4 = 4*v + d. Let t = -49 - -49. Sort -4, t, v in ascending order.
-4, v, t
Let l(h) = -h - 6. Let c be l(-10). Let q be 10/c*(-12)/(-315). Sort 4, 0.5, q.
q, 0.5, 4
Let x = -1.93 - -0.03. Let c = x - -2. Let r = 1/3 - 5/6. Sort c, r, 0.2 in decreasing order.
0.2, c, r
Suppose 20 = -h - 5*c, -4*c = -c + 12. Sort h, 1/2, -1/6 in descending order.
1/2, h, -1/6
Let k be 0*((-6)/(-4))/3. Let c = 26 - 30. Put c, 4, k in ascending order.
c, k, 4
Let f be 3 - (4 - (-28)/(-20)). Sort f, -1/4, 0.5, 0.1 in decreasing order.
0.5, f, 0.1, -1/4
Suppose m + 3*j = -3, -5*m + 1 = 2*j - 3*j. Suppose 3*r = 3 + 9. Sort r, -1, m in decreasing order.
r, m, -1
Let b = -1.2 + 2. Let w = -0.4 + b. Let h = w - 0.6. Put -5, h, 0.1 in ascending order.
-5, h, 0.1
Let x(r) = -r**3 + 10*r**2 - r + 6. Let n(y) = y**3 + 6*y**2 + 4*y + 2. Let q be n(-2). Let u be x(q). Sort u, 4, 1 in ascending order.
u, 1, 4
Let h = -15/16 + 13/48. Sort -5, h, 3, 0 in ascending order.
-5, h, 0, 3
Suppose 0 = o + o + 2*n - 4, -2*o = -n - 7. Suppose -q + 2*f + 14 = 0, 3*q + 3 = -o*f - 0. Put 0, q, -2 in descending order.
q, 0, -2
Let y = 2/445 - -1327/1780. Put y, -0.1, -3, -5 in descending order.
y, -0.1, -3, -5
Let w be (14/(-4))/((-6)/12). Let j be -6 + 4 + 12/w. Sort 0, 0.3, j.
j, 0, 0.3
Suppose -42 = -5*z + 33. Let v be (-2)/6*z/(-6). Let l = 0.37 + 0.13. Sort -5/4, v, l.
-5/4, l, v
Let b = -7 - -4. Let v(i) = -i**3 + 3*i**2 + i - 2. Let m = -7 - -10. Let s be v(m). Put s, 2, b in decreasing order.
2, s, b
Let u = -0.458 - -0.058. Put -5/7, u, -1 in increasing order.
-1, -5/7, u
Let f(h) = h**2 + 5*h + 2. Let a be f(-4). Let w be a/9 - (-100)/288. Let v = 0.1 - 0. Put v, -2/7, w in decreasing order.
w, v, -2/7
Suppose -4 = 5*q - 0*q + u, 16 = -4*u. Sort q, -5, 7.
-5, q, 7
Let l = 0.1 - 0.2. Put -2, l, -0.2, -3/2 in ascending order.
-2, -3/2, -0.2, l
Let b = 12.5 + -12. Let t be (1/3)/((-5)/15). Put t, 1/5, b in decreasing order.
b, 1/5, t
Suppose 25 = 4*t + 21*t. Let n = -9 - -17. Let r = -6 + n. Put r, 3, t in decreasing order.
3, r, t
Suppose -2*s - 8 = 2*s. Let t be (1/77)/((-4)/s). Let f = 317/1386 - t. Put 4, f, -5 in ascending order.
-5, f, 4
Let f = -1.9 + 2.2. Put 4, f, 0.2 in decreasing order.
4, f, 0.2
Let p be (-40)/91 + 4/14. Let r be 4 + 1 - (4 - 0). Sort p, r, -2/3.
-2/3, p, r
Let g = 0 - -0.1. Let y = -4.1 + g. Let u = y + 1. Sort -1, -0.3, u in increasing order.
u, -1, -0.3
Let x be (-16)/20*10/(-4). Let w = 147 + -1471/10. Let h = 0.1 - 0.3. Put x, h, w in decreasing order.
x, w, h
Let s = -0.06 + 0.07. Let g = s - 1.01. Put g, 0.4, -2/19 in a