 a = 7, a = 2*o - 4 - g for o.
1
Let w(k) = k**2 + 2*k + 1. Let b(p) = -3*p**2 - 7*p - 4. Let m(x) = -6*b(x) - 17*w(x). Let t be m(-7). Solve t = -4*o - 0*o + 20, 15 = j + 2*o for j.
5
Suppose -r = f + 3*f + 17, 5*f = -3*r - 16. Solve h + 2 = 0, 7*h - r*h = p - 8 for p.
0
Let p = 74 - 103. Let r = p + 29. Solve 2*c - 6 = f - r*f, 4*c = 12 for f.
0
Let u be (-20)/(-7) - 3/(-21). Solve y - 7 = 3*p, -p + 3*y + 23 = -u*p for p.
-4
Let j be (2 + -7)/(1*-1). Suppose j - 2 = k. Solve 5*s + 3*o - 27 = 0, -o = k*o - 16 for s.
3
Let d(y) be the third derivative of -y**5/60 + y**4/6 + 7*y**3/6 + 2*y**2. Let s be d(5). Solve l + 13 = 3*q, -3*l - s = -2*q + 9 for l.
-1
Let s(c) = -c**3 + 13*c**2 - 12*c + 2. Let n be s(12). Solve w = -n*b + 9, 7*b - 4*b - 4*w - 19 = 0 for b.
5
Let y = -40 + 54. Solve 0 = 2*w - 4*r - y, -4*r = 3*w - w - 6 for w.
5
Let v = -3 + 6. Suppose v*d = 7*d. Solve -20 = j + 4*g, -4*j + d*g = -5*g - 25 for j.
0
Suppose 0 = -2*j + 3*v + 2 - 7, 0 = -4*j - 5*v + 23. Suppose -2*g - 2 = -3*g. Solve g*y + 12 = 4*o, -j*o - 3*y = y - 26 for o.
5
Suppose -4*g + 2*s + 10 = 0, -4*g + s + 4*s + 7 = 0. Let b = 4 - 1. Solve -3*j = b*l - j - 6, -g*l + 6 = -5*j for l.
2
Let d = 7 - 6. Let z(j) = -13*j**3 + 2*j**2 + 2*j + 1. Let i be z(-1). Solve 5*n - g + i = 0, 15 = -n + 3*g + d for n.
-2
Let s = 12 - 6. Suppose 3*w - s*w = -9. Suppose -3*u - w*b - 5 + 20 = 0, -u = -5*b + 7. Solve g = -0*q + q + 8, 2*q + u*g = 9 for q.
-3
Let y be (-1 + 2)/((-3)/9). Let d be y/(-4) + (-4)/(-16). Suppose 0 = -x + 3*i - 4*i + 6, 18 = 5*x + 2*i. Solve x*a + 1 = c, -3*c - 3*a + 11 = -d for c.
3
Suppose 0 = -14*u + 107 - 37. Suppose 3*z + 31 = 5*l, 0 = -5*l + 5*z - 7 + 42. Let m be 2/7 + (-4)/14. Solve -s + 2 = i - m, -u*i - 4*s = -l for i.
-3
Let w(g) = -g + 1. Let m be w(-7). Let v = 20 - m. Solve 0*h = 4*a + 2*h - v, 3*a + 4*h = -1 for a.
5
Let m be (-2 - -4) + 1 + (-1)/(-1). Solve -4*n + o - 28 = -4*o, 0 = o - m for n.
-2
Let p = -5 + 0. Let l be -3*2/10*p. Let s(w) = w**2 - 4*w + 8. Let v be s(6). Solve -2*b - v = -5*g, -12 = -l*g - 0*g + b for g.
4
Let a = -1 + 5. Suppose -5*h - 8 = a*n, 4*h - 5*n = 2*h + 10. Solve 0 = 3*f + b + 3*b, 4*f + 2*b + 10 = h for f.
-4
Let z be ((-9)/3)/(-3) + 4. Solve -2*w - 3 = -2*m - 1, m - 3*w - z = 0 for m.
-1
Suppose 2*h = -2*h - 4. Let q = 4 - h. Solve 5*s - 2 = 2*w - 4*w, 12 = -q*w - 4*s for w.
-4
Let k be 18/6*(-50)/(-6). Solve -5*y + 4*n + 41 = -4, -3*y + k = -2*n for y.
5
Let k be (-4)/18 + (-304)/(-72). Solve r - 2*f = 6 - 4, -6 = -3*r + k*f for r.
2
Let t(v) = v**3 + 7*v**2 + 5. Let i be t(-7). Let g(x) = -x**3 + 6*x**2 + 5*x - 7. Let h be g(6). Solve z + 6 = -5*j + 6*j, i*j = -2*z + h for j.
5
Let y = 11 + -8. Suppose s + y = 7, -3*j = -3*s + 3. Solve -3*p - j = -3*r, 4*p + 5*r + 2 = -2 for p.
-1
Let y(m) = -8*m - 1. Let c = -6 - -11. Let h be c/(-15) - 2/3. Let i be y(h). Solve -5*s = 2*k - 20 - i, -5*k = 5*s - 30 for s.
5
Suppose 3*o = 2*o + 4. Let a = o - -11. Solve 11 = -l - 4*g - 14, 5*g + a = 2*l for l.
-5
Let q(s) = -s**2 + 11*s + 14. Let w be q(12). Solve 0 = w*d - 10, -4*d = -5*r - 0*r - 15 for r.
1
Suppose -d - 2*n = -23, -2*d - 5*n + 8 = -d. Let y = -20 + d. Solve 0 = -w - 0*w + 2*a + y, -5*w + 2*a + 25 = 0 for w.
3
Let v = -111 - -178. Suppose p - 2 = v. Suppose l + 2*l = p. Solve 0*o - l = -3*o + 2*t, 8 = -2*t for o.
5
Let l(d) = 6*d - 62. Let b be l(13). Solve 3*k = -4*w + b, 0*w + 3*k - 8 = -2*w for w.
4
Let t = -214 + 219. Suppose -3*l + 4*a = -24 - 24, 2*l - 12 = -4*a. Solve -p - 3*p + t*s = l, -p - 5*s - 3 = 0 for p.
-3
Let g(n) = n**3 + 7*n**2 + n + 12. Let m be g(-7). Solve 2*w - 1 = m*x - w, 5*x - 5*w = -5 for x.
1
Suppose 5*a = 2 + 23. Solve m + 2 = 2*x, a*x - 5 = 5*m - 0*x for m.
0
Let r be (5/(-3))/((-4)/12). Suppose 2*k + j = 15, 0 = 5*k + 3*j - 8*j. Solve v + 4*l + 7 + r = 0, -k*v + 3*l + 9 = 0 for v.
0
Suppose -w - w = -4. Let p = -7 - -9. Suppose l - 7 = -p. Solve -i - 5 = w*c + c, -l*c - 6 = 4*i for i.
1
Suppose -9 = -3*n, -4*i - n + 95 = -0*n. Let a(l) = l + 6. Let x be a(-6). Let s be 0/(x - 1 - -3). Solve -2*y + i = 3*v + 7, s = 3*v + y - 11 for v.
2
Let l(w) = w**3 - 5*w**2 + 4. Let f be l(5). Solve 6*k - 4 = 2*r + 2*k, -1 = f*r - k for r.
0
Suppose p = -3*p + 20. Let w be (440/132)/(2/3). Solve 8 = -5*l - p*a - 17, -w*l - 9 = a for l.
-1
Let g = -30 + 32. Solve 0 = 3*m - 3, -3*f - 3*m = -g*f - 6 for f.
3
Let a = 10 - 8. Suppose 0 = 2*z - 5*o - 8 - 1, -2*z - 1 = 5*o. Solve 3*s + a*i - 4 = s, -14 = -4*s + z*i for s.
3
Let a be (-2)/(-3) - 63/(-27). Solve 0 = r + a*g + 14, -g = -2*r - 0*r + 7 for r.
1
Let q be (12/(-7))/((-2)/7). Let s = -6 + q. Solve -z + 5 = s, -r - 3*r + z - 25 = 0 for r.
-5
Let k = 30 - 30. Let h(w) = 6*w**2 - 2 + 0 - w**3 + 7. Let o be h(6). Solve k = -0*m + m - z - 4, -o*z = m - 10 for m.
5
Let r(l) = -l**2. Let w(h) = 4*h**2 + 8*h - 2. Let q(b) = -5*r(b) - w(b). Let s be q(8). Solve -j - s*g = 5, -j = 3*g - 0*g + 6 for j.
-3
Suppose 4*p + 10 = 30. Let v = 13 + -7. Solve -v = -5*b + 3*b - 5*j, p*j = 4*b + 18 for b.
-2
Suppose j + 4*j = j. Solve -w + 12 = 2*o, 2*w - 19 = -j*o - 3*o for w.
2
Let d = 0 - -4. Suppose 0 = -d*c - 42 + 6. Let t be ((-6)/(-2))/(-8 - c). Solve m = -m, 0 = t*j + m for j.
0
Suppose -m - 2*k - 10 = -3*m, 3*m = 2*k + 11. Solve i - 14 = 2*l + m, 3*l + 35 = 4*i for i.
5
Suppose -2*t = -32 + 28. Solve 5*c + 9 = t*z + 1, 3*c + z = 4 for c.
0
Let o = -55 + 57. Solve -2*f + o*z = z + 10, -2*f - 5*z + 14 = 0 for f.
-3
Let i(o) = o**3 + 3*o**2 - 3*o - 4. Let m be i(-3). Solve c + 2 = 5*g - g, m*g - 9 = -2*c for g.
1
Let v(l) = 7*l**2 - 14*l - 6. Let j(a) = -a**2 + a. Let x(t) = 6*j(t) + v(t). Let p be x(9). Solve p = -4*n + 3*o, 30 = -5*n + 3*o - 8*o for n.
-3
Suppose 3 = -2*r - 3*m, 22 = -3*r - m - 0*m. Let u(k) = k**2 + 9*k + 5. Let p be u(r). Let l be (4/(-3))/(1/(-3)). Solve -p*f - 5 = 10, -2*z - 6 = l*f for z.
3
Let v be (3/(-4))/((-1)/4). Let y be (8/12)/(-5 - 16/(-3)). Solve -y*r = -0*r + v*a, -a = 3*r for r.
0
Suppose q - 3*t - 15 = 0, -3*t - 9 = -q - 6*t. Suppose 5*h + k = 16, 0 = -4*h - 5*k + 4*k + q. Solve -c + s = 0, -19 - 13 = -h*c - 4*s for c.
4
Let f be (-51)/(-15) - 8/20. Suppose 12 + 3 = f*t. Solve -3*h - 22 = t*r, 3*r = 5*h + 5*r + 24 for h.
-4
Suppose 4*l + 4*i = 44, i + i = -l + 6. Solve 5*p - 4 = 2*m, -2*p = 3*p + 2*m - l for p.
2
Let t(j) = 2*j**3 - j + 1. Let h be 4*(-4)/((-8)/1). Let q be t(h). Solve 5*x = -5*p + q, 0 = 3*x - 0*x for p.
3
Let b be (-2)/13 + (-1)/(65/(-1700)). Solve -3*x - 10 = 4*q + 17, 4*x = -2*q - b for x.
-5
Let k(a) = -a + 10. Let n be k(0). Suppose -3*v = -5*v + n. Suppose 3*o = o + 18. Solve -4*p + 26 = v*g + o, 4*g = 3*p - 5 for g.
1
Suppose z = -3*z + 2*o - 14, 55 = -5*z - 5*o. Let i(w) = w**3 + 5*w**2 - 8*w + 4. Let t be i(z). Solve 2*j + 16 = -2*j, 0 = 2*r - 4*j - t for r.
0
Suppose 0 = u + 5*n - 96, 5*u - 337 = -n + 23. Let l = u - 50. Solve -f - 3*t - l = 2*f, -t = -5*f - 17 for f.
-4
Suppose 4*c - 5*c + 5 = 0. Suppose -6*f + c*f + 3 = 0. Solve 0 = 5*v + i - 15, 3*v - f*i - 37 = 2*i for v.
4
Let a = -3 + 7. Suppose -4*d + 12 = a*n - 0*n, -3*n = 4*d - 11. Let j be (-3)/7 - (-192)/56. Solve 3*o = -2*r, -j*o = d*r + r for o.
0
Let n be 2 - (1 + 0 + -1). Let d(h) = -h. Let z be d(-5). Solve -z*r + 0*i - 21 = 3*i, -10 = 2*r + n*i for r.
-3
Let l(k) be the third derivative of -k**5/60 + k**3/3 - 2*k**2. Let b be l(0). Let j be (-2 - (-15)/6)*b. Solve 5*t = t + 4, -3*s + t - j = 0 for s.
0
Let f(x) = -44*x**2 + 86*x**2 + x + 17 - x**3 - 41*x**2. Let q be f(0). Let v be 3/12 + 1/(-4). Solve 0 = 3*b + 4*z - v*z - 25, -3*b = 2*z - q for b.
3
Suppose 0 = -3*y + 2*y. Suppose 5*z - 20 = -y*z + m, -3*z + 5*m = -34. Solve 5*v = 3*s + z, v + 3 = -4*s - 1 for s.
-1
Let d be (-9)/(-5) + (-3)/(-15). Solve k = 2*s - 6, 3*s - 15 = -k - d*s for k.
0
Suppose -2*m = l - 4, 9*l = -2*m + 7*l. Let a be (-4)/2 - (-5 - 0). Solve m*w = 6*q - a*q - 6, -6 = -w - 3*q for w.
0
Suppose 0*k = -k + 4. Suppose h + 5*z - 6 = z, 2*z + 96 = 5*h. Let c = h - k. Solve 4 = -4*j - g - 3, -j + c = -5*g for j.
-1
Suppose 5*o = 0, -5*y + 225 = -2*o - o. Suppose -4*k - 5*q + y = 0, 0*k + 10 = k + q. Solve -2*d - k = -n, -2*d = -d + 4*n - 11 for d.
-1
Suppose 2 = -4*n + 18. Solve a + 1 = 4*b, 4*a = b + n*b - 4 for b.
0
Let l = 11 - 7. Let b = 10 - 10. 