i + o = 2*o - 8 for i.
-2
Let z(j) be the third derivative of j**5/30 - 13*j**4/24 - 5*j**3/6 - 8*j**2. Let m be z(7). Solve 0 = -2*y, 2*d = y - 2 - m for d.
-2
Let s = -1 + 17. Let w(g) = -18*g**3 - g**2 - g. Let l be w(-1). Let p = 1 + 3. Solve -p*f = x - l, x + 5*f - s = 3*x for x.
2
Let z be (-96)/(-64)*(0 - -2). Solve -3*p - 4*q - 14 = -0*q, -p - z*q - 8 = 0 for p.
-2
Let f = 65 - 61. Suppose f*a - 36 = -0*a. Solve -4*m - u = -a, 0 = 2*m + 6*u - 4*u for m.
3
Let l = 5 - 22. Let t = l + 17. Solve -g - g - 12 = 2*v, t = -3*v + g - 6 for v.
-3
Suppose -3*v = -46 - 20. Let i = 175 + -191. Let f = v + i. Solve 4*s + s = -j + 7, 4*j + 3*s = -f for j.
-3
Let h(l) = -17*l + 7. Let k be h(3). Let j be (-66)/k - 2/(-4). Suppose j*f - 6*f = -12. Solve 0 = -2*y + f*z - 3, -3*y = z + 4*z + 14 for y.
-3
Suppose 0 = -2*c + 3 + 5. Let h be 10/(c/(-2) + 4). Suppose -q - 2 = -6. Solve -2*g = -4*u + q, 4*u = -0*g - h*g - 24 for g.
-4
Let s = 470 + -470. Solve -5*g + 25 = -s*g, 32 = -3*d + 4*g for d.
-4
Let v be 24/84 - (-6)/(-21). Solve v = -2*c + 3*j - 6, c + 7*j = 2*j + 10 for c.
0
Let n(c) = c**3 - 9*c**2 - 8*c. Let h be n(10). Solve 3*b - d = -3*d + 25, 0 = 2*b + 2*d - h for b.
5
Let v(k) = 2*k**2 + 10*k + 1. Let i be v(-4). Let h = -11 + i. Let p = h + 21. Solve -c + z = -p, 3*z + 2 = -4*c - 0*z for c.
1
Suppose -3*j = 4*x - 4, 5*x = -0*j - 2*j + 12. Solve x*u + 4*b + 28 = 0, 6*u - u + 31 = -4*b for u.
-3
Let c(g) = -9*g**2 + 26 - 20*g + 23*g**2 - 7*g**2 - 9*g**2. Let r be c(-11). Solve -2*l - 7 = v - 2*v, r*v + 16 = -3*l for l.
-4
Let c = -7 - -8. Suppose z - c = 1. Let y be -3*((-14)/6 + 2). Solve -z*s = 2*u + 6, 3*u - s = s + y for u.
-1
Suppose 6*d - 25 = -3*m + d, 0 = -3*m + d + 13. Suppose m*t = -q + 57, 4*q + 3 + 9 = 0. Solve 2*k - 6 = 2*a + k, 5*k = -4*a - t for a.
-3
Suppose 4*s - 5*l - 1 = 7*s, 0 = -5*s - 3*l + 9. Suppose 8*d - 12 = 5*d. Solve d*m + 6 = -2*q, -3*m = -q - s*q + 21 for q.
3
Let k(x) = 2*x**2 - 1. Suppose 0 = 5*b + 3 + 7. Let o be k(b). Solve 3*c - 12 = 3*u, -4*u + o - 18 = -3*c for c.
5
Suppose -2*i + 3 = -1. Suppose 0 = i*a, 4*a + 30 = -3*l + 2*a. Let g be 40/(-16)*12/l. Solve 0 = -g*r - 15, r + 1 = -x - 4 for x.
0
Let p be (-2 - 40)*((-27)/(-3))/(-27). Suppose -3*d + 3 = -4*l, 1 - 2 = -d + 5*l. Suppose x - d = 1. Solve -x*q = -q + 4*u + 19, 2*q + 2*u + p = 0 for q.
-3
Let o(h) = h. Let c(q) = q**2 - 9*q. Let y(l) = c(l) - 3*o(l). Suppose -u = -4*u + 36. Let j be y(u). Solve -4*z = 4*r + 20, 3*z + 10 + j = -2*r for z.
0
Suppose -4547*i = -4556*i + 18. Solve -5*p + 3*p - 16 = 2*n, 3*n = -i*p - 21 for n.
-5
Let x = -5 - -11. Suppose 5*g - 26 = 34. Let a(d) = d**2 - 10*d - 22. Let t be a(g). Solve -2*h - t*i = -10, -2*h - 23 = -x*h - 5*i for h.
2
Let b = 641 - 452. Suppose -5*n + 36 + b = 0. Solve -4*y - n = -5*g, -y + 5*y = -20 for g.
5
Suppose 0 = 17*i + 39*i - 672. Solve 15*c - i*c + 9 = -3*v, -c + v = 5 for c.
-4
Let k(p) = 13*p - 219. Let c be k(17). Suppose -5*g + 50 = -y, 3*g + 2*y - 28 = -11. Solve -d + c = 5*a - 10, -2*a + d = -g for a.
3
Let m be (-5 + -1)/(14/(-7)). Suppose 0 = -2*v - 10, -m*v + 8*v + 65 = 5*l. Suppose -w + l = w. Solve 0 = 2*i, -3*y - 2*i - w + 19 = 0 for y.
5
Let q = 26 - 20. Let g be (-3)/q + (-22)/(-4). Solve 7*h = -g*x + 4*h + 37, 0 = -3*x + 3*h + 3 for x.
5
Let x(f) = f - 6. Let u be x(15). Let t be ((8/6)/(3/u))/1. Solve a - 3*m + 12 = 0, -m + 14 = -5*a - t for a.
-3
Let v be (-1 + 25/4)/((-20)/(-80)). Solve 2*b + 11 = j, -3*b - 3*j - v = -6*j for b.
-4
Suppose 15 = a - 72. Suppose -a*f + 86*f + 6 = 0. Solve 4*t + f = -q - q, 6 = -3*q - 3*t for q.
-1
Let r(b) = 2*b - 11. Let q be r(7). Solve -v = 2*v - 12, 0 = q*d - v - 11 for d.
5
Let s be (-3 - 39/(-5))/((-2)/(-10)). Suppose -s*w = -28*w + 12. Solve 4*i + 4 = -2*a, 0*a - w = 3*i - 2*a for i.
-1
Let a be 13 + ((-4)/6)/(4/42). Solve -8 = -2*s, -4*w - a = -s + 10 for w.
-3
Let j(w) = 7*w - 5 - 1 - w**2 + 4. Suppose -k - 4*k + 2*y + 30 = 0, -5*y - 24 = -4*k. Let f be j(k). Solve 0 = 3*l + 3*c + 3 + 6, f*l + 9 = -c for l.
-2
Let q be (-44)/(-12) + ((-8)/(-12))/2. Solve -3*u = -5*h - 25, -2*u + 5*h + 29 = q for u.
0
Let j(f) = f + 2. Let l be j(-5). Let k be (7 + l)/2 + 2. Suppose 0*q - 4*q = -5*p, 0 = q - 4*p. Solve h = -k*d + 22, q*d - 1 = -d + 2*h for d.
5
Suppose 244*t = 228*t. Solve 2*h + 2*l + 1 = -5, 3*h - 5*l + 9 = t for h.
-3
Suppose -2*w = 5*c - 16, 3*c + 26*w - 2 = 21*w. Solve 3*k + 5*o + 3 = -c, 4*o - 16 = 3*k for k.
-4
Suppose 158 = -3*i + 3*v - 157, 3*v = 2*i + 207. Let d = -104 - i. Solve -5 = 5*m, d*q + 2 - 7 = 5*m for q.
0
Let d = -11 + 11. Suppose -y - 15 + 21 = d. Let h(b) = -b + 6. Let g be h(y). Solve 4*w = 3*a + 15 - 4, 2*w + 4*a = g for w.
2
Let q be 3/15 + 2/30*-3. Solve -v + 4*a - 3 - 14 = 0, q = -4*a + 16 for v.
-1
Let a be 7/588*8 - 309/(-63). Solve 0 = -2*q - a*l + 2*l - 11, 5*q - 4 = 3*l for q.
-1
Let u = -863 + 866. Solve 0 = u*z - 3*c - 2 - 4, 4*c + 10 = 5*z for z.
2
Let l = 22 + -16. Solve -3*f = 3*d - l, 3*d = -5*f + 6 + 2 for f.
1
Let u = 7 + -25. Let k = -16 - u. Let f = 0 - 0. Solve -4*x = 3*n + 4, k*n + f*n = -2*x for x.
-4
Let a = 14 + -9. Solve 0 = -4*r - t + 5, 0 = 4*t + t - a for r.
1
Let r be (-75)/2*24/(-36). Solve -3*a + 0 + 25 = -2*u, -u = -4*a + r for a.
5
Let j be -13*(0 + (1 - 2)). Let z = j - 15. Let r(u) = u**2 + u - 2. Let q be r(z). Solve q = 5*n + i - 5, n + 7 = 5*i - 18 for n.
0
Let i(u) = -u**2 + 6*u - 3. Let y = -2 + 7. Let w be i(y). Let p be 3/12 + (-30)/(-8). Solve 3*r = -5*q - 6, 0*r = w*r + p*q + 4 for r.
-2
Let g be 1/2*(-218 - -232). Suppose -25 = -2*o - 3*o. Solve 4*i = -x + 7*i - g, -5*x = o*i - 45 for x.
5
Let h(k) = 3*k. Let c be h(2). Suppose c = 3*z - 3. Suppose -3*v - z = -27. Solve 0 = -3*q - s - 20, -v*q = -3*q - 2*s + 15 for q.
-5
Let x(a) = -2*a - 7. Let d be x(-6). Suppose d*s - 12 = 2*s. Suppose s*b - 3*b = 23. Solve -5*u - r + b = -2, 4*u - 5*r - 20 = 0 for u.
5
Suppose -2*i - 4*j + 18 = -3*j, -4*i + 2*j = -28. Let c = i - 4. Suppose -4*p + 28 = -4*b, -2*b = p + 8 - 0. Solve -c*s = r - p, -r - 8 = -3*s - 5*r for s.
0
Let n be (88/11)/(-40)*-40. Solve 7 = -v + 2*h, -v + 2*h - 5*h + n = 0 for v.
-1
Let y be (-140)/(-315) - 28/(-18). Solve -16*i + 10 = -21*i, y*i = 2*f - 10 for f.
3
Let i(n) = 0*n - 10 + 8 - 25 - n. Let h be i(-27). Solve -j + 4*j - 9 = 0, -q - 3*j + 10 = h for q.
1
Let x = 194 + -192. Solve 16 = -4*y, -n - 33 = 4*n + x*y for n.
-5
Let i = -329 + 331. Solve 5*c = -3*b + 29, -6*c + 4*b = -i*c - 4 for c.
4
Let c(h) = -h**2 - 11*h - 25. Let m be c(-6). Solve 5*n - 4 = m*i + 1, -5*n = 4*i - 14 for i.
1
Let p(g) = g**2 - g - 1. Let b be p(-2). Suppose -4*y = -3*y - b. Solve i = 2*q + y, -4*q - 23 = i + q for i.
-3
Let o(b) = b**3 - 3*b**2 - 17*b + 15. Let a be (-4)/(25/(-15) - (-2 + 1)). Let i be o(a). Solve -5 = -5*m + 2*l, -i = 2*m - 5*l - 2 for m.
3
Let x(n) = n**2 + 2*n - 7. Let z be x(-4). Suppose 5 = 3*m - z. Solve m*l - 2 = 6, 2*k - 5*l = -10 for k.
5
Let v(z) be the first derivative of z**2/2 - 7*z + 3. Suppose -4*c + 26 = -2*c. Let t be v(c). Solve -4*b + 16 = -3*n, 2*n = -3*b + 6 + t for b.
4
Let u be (-3)/9*(-14 + (0 - 1)). Solve -x + u*n + 8 = 0, -4*x + 3*n + 7 = -8 for x.
3
Suppose -95 = 5*p + 3*t, 5*p + 0*p + 115 = t. Let c = p + 12. Let o = c + 16. Solve 5*a - 3*j + 6 = 0, 4*j = 3*a + 3*j + o for a.
-3
Suppose 32*n - 145 = -49. Let g = 7 + -5. Solve 0 = -n*p + 4*k + 7, -g*p + 3*k = 3*p - 19 for p.
5
Suppose 137*l - 131*l = 0. Solve -2*u + 2*y = y - 9, l = -4*u - y + 3 for u.
2
Let l(u) = -5*u**2 + 2. Let s be l(4). Let d be s/(-65)*(-10)/(-4). Suppose 2*i = n - 8, 4*n - d*i - 8 = -i. Solve y + 5 = 3*c, 0 = -2*c - n*y + 2*y + 10 for c.
0
Suppose -252 = -2506*w + 2497*w. Solve -4 = 3*n - 3*h + 2, 0 = 5*n + 4*h + w for n.
-4
Let b(y) = -y**3 - 11*y**2 - 27*y - 12. Let g be b(-8). Let c be (-8)/g - (340/12)/(-5). Solve -3*a = 5*t + 22, t + c = 4*a - 4 for t.
-5
Let n be 3 + (-114)/42 + 99/21. Solve n = 5*b - 5*z, 4*b + 29 = -4*z + 1 for b.
-3
Suppose 2*p - 3*f = 8, -9*p - f - 1 = -8*p. Solve 5*h + 5*s = 10, 2*s - 2 = -5*h - p for h.
-1
Suppose 15*y + 147 = 42. Let x be (-8)/(-6)*(-3)/2. Let a be ((1 - y)/x)/(-2). Solve 2*n = -3*z, -a*z - 3*n - 2*n = 0 for z.
0
Let z(h) = h**3 - 5*h**2 - 28*h + 137. Let y be z(6). Solve c = y*g, -30 = -4*c - c - 5*g 