 = 11, -i*p = 5*g - x - 5 for p.
2
Let s be ((-16)/(-8))/(2/4). Solve -3*h - 5*c - 25 = 0, 0*c + 2*c + 24 = -s*h for h.
-5
Suppose -4*p = q - 12, -2*q = -p + 3*q + 3. Suppose -5*m + 24 = 4*d, -3*m + 2*m + 7 = p*d. Solve 2*n - 11 = 4*n - s, -3*s + 27 = -m*n for n.
-3
Suppose 0 = -4*o - o - 5. Let u be (0 + o)/(3/(-42)). Solve 3*f = -4*x + 5*f + u, -21 = -3*x + 5*f for x.
2
Suppose 0*x - 11 = -5*x + 3*w, 0 = -x - w + 7. Solve 4*t + 4 = -2*g, 4*g + 10 + 2 = -x*t for g.
-4
Let f(h) be the third derivative of -h**6/120 + 7*h**5/60 + 7*h**4/24 + 11*h**3/6 + 3*h**2. Let y be f(8). Solve 6*z - y*z = g + 3, -2*g = 3*z - 12 for z.
2
Suppose -7*w + 13 = -8. Solve 0*i - 4*i + 1 = 3*v, w*v - 5*i = -35 for v.
-5
Let d be 0*(-3 + 5/2). Solve -5*b + d*o = -4*o, 5*o = -3*b for b.
0
Suppose -4*l + 39 - 3 = 0. Let g = -20 + l. Let p = g + 16. Solve 2*a + 8 = 2*c, -11 = 3*a + c - p*c for a.
-5
Let m be 6 + -3 + 4 - (1 + -3). Let p = 6 - 4. Suppose 0 = f - 1 - p. Solve -6*l = -l + f*t + m, 4*l + t + 3 = 0 for l.
0
Let x(p) = p**2 - 2*p. Let c be x(3). Suppose -7*l = -c*l - 8, 2*b - 46 = -2*l. Solve j = 2*v - 9 - 4, -v - 5*j - b = 0 for v.
4
Let b(c) = c**3 - 3*c**2 + c + 1. Let t be b(1). Solve t = 2*a + 2*q + 14, 5*a + 3*q + 8 = -23 for a.
-5
Let c(s) = s - 3. Let p be c(-3). Let x(g) = -g**3 - 7*g**2 - 8*g - 8. Let a be x(p). Solve -6 = -a*b + 5*f, -3*f = 3*b + 2*f + 13 for b.
-1
Let y be (12 - 10)/(2/3). Solve 0 = -2*v - 3*x + 17, -3*v - y*x = -14 - 4 for v.
1
Let h = -9 - -15. Solve 3*m - 3*y = h, 4*m = 6*m + 5*y - 25 for m.
5
Suppose 0 = 4*j - 2*l + 18, 3*l = 6 + 3. Let x be (3 - 0)*(-3)/j. Solve -2*n + x*n = v - 4, 5*n + v = -14 for n.
-3
Let c = -10 - -20. Let i(f) = -5 - 5*f - 2*f - f**2 + 0*f. Let w be i(-5). Solve w*b = l + c, -2*l - b - 11 = -2*b for l.
-5
Suppose 3*l - 1 - 2 = -5*d, 2*d + 4*l = -10. Solve -p + 2 = -2*z, -d*p - z - 5 = 3 for p.
-2
Let a be (-12)/(-6) + (1 - 2). Let p = 11 + -5. Suppose p*d = d. Solve g - 1 = -k, g + d = 3*k + a for g.
1
Suppose 0 = 2*z + z + 3*b + 30, 5*z + 3*b + 44 = 0. Let r(d) = -4*d + 1. Let i be r(2). Let k = i - z. Solve 0*l - 3*n = -3*l + 9, 3*n + 3 = k for l.
2
Suppose -2*q + 10 = -0. Solve 2*i + 3*c + 25 = 0, 5*c + 0*c = 4*i - q for i.
-5
Suppose -g + 4*v - 18 = -2*g, 4*v = 4*g + 8. Solve 0 = -5*j + g*m - 0*m - 8, 5*j = -4*m - 14 for j.
-2
Let v(n) = -2*n - 16. Let b be v(-10). Solve 2*w = 2*h + 10, -h - 20 = b*w + 3*h for w.
0
Let l(j) = -j**2 - j - 2. Let m be l(0). Let h be 2/1 - (0 + m). Let c be ((-16)/(-6))/(h/6). Solve 4*i + 0*r = -c*r - 4, 3*i - r = -7 for i.
-2
Let x(t) be the first derivative of t**2/2 + 4*t - 2. Let d be x(-4). Solve 3*u + d + 2 = 5*v, -4*u = -2*v - 2 for u.
1
Let x = -7 - -9. Let r(l) = -l**3 + 7*l**2 + 7*l + 8. Let z be r(8). Suppose 2*c - 6 = -5*n, z*c = -2*n + 2*c + 8. Solve 4*f - 7 = -y, f - x*y = -3*f - n for f.
1
Let w be 0 + (30 - (0 - 2)). Let f be 1/(-2) - (-176)/w. Solve -h = 5*i - 13, 0 = -f*i + 3*h + h - 2 for i.
2
Suppose 2*n = -2*n. Suppose 3*h = -2*h. Suppose h = k, w - 2*k - 4 - 2 = n. Solve -2*i - 12 = 4*u - w*i, -2*u = -i + 5 for u.
-2
Let h(i) = 6*i - 2. Let b be h(1). Let n be 8/20 + b/(-10). Solve 5*t = 3*f + 5, -3*f + n*t - 4*t + 4 = 0 for f.
0
Let g(i) = -i**3 - 5*i**2 + 3*i + 7. Let n be g(-6). Suppose 2 = -f + n. Suppose 5*c + 55 = 5*d, d - 3 - f = 4*c. Solve -u = h - d, -u - 9 = -5*u + h for u.
3
Let x = 27 + -27. Let k = 4 + 3. Solve k*z - 2*z + 13 = -f, -3*z + 3*f - 15 = x for z.
-3
Suppose 0 = -3*v - 5*m - 5, v - 2 = -v + 2*m. Suppose v = q - p - 6, 0 = -q - 2*p - p - 6. Let d = 1 - -1. Solve d*y - 15 = -3*y, 0 = 5*s - q*y + 4 for s.
1
Let a(y) = -y**3 - 5*y**2 + 16*y + 15. Let j be a(-7). Solve -5*g + 2*w + 7 = 0, -3*g + w - j = -6 for g.
3
Suppose 5*r - 3*w = 2*r + 21, -5*r + 4*w + 31 = 0. Let m = -5 - -5. Suppose -5*y = -10 - 10. Solve -y*o - 3 = -m*u + 5*u, -r*o + 21 = -4*u for o.
3
Suppose 4*j - 83 = -w, -5*w + j - 3*j = -325. Let k be w/(-6)*8/(-6). Solve -3*a - 1 = -t + k, -2*a - 10 = t for t.
0
Let w = 20 - 14. Suppose w*u - u + 45 = 0. Let o = u + 16. Solve -2*d + 0*d - 3*g - o = 0, 2*g = -2 for d.
-2
Let i be 4*(-3)/6 - -5. Let w be (-3)/(-15) - 128/(-10). Suppose 2*r - 3*r + w = 0. Solve -6*d + 3*y = -2*d + 8, -r = i*d - 4*y for d.
1
Let w = 118 - 95. Solve w = -4*p - v, 0 = -0*p + p + v + 8 for p.
-5
Let d(f) = -f - 10. Let l be d(-10). Suppose -4*c - 7*b - 5 = -2*b, -c - b = l. Solve 9*o + 10 = 4*o, o = -n - c for n.
-3
Let y = -240 - -242. Let d(g) = 6*g**2 - g - 1. Let n = 1 - -1. Let v be d(n). Solve w - 5*a = -10, a = -4*w + y + v for w.
5
Let f = 17 + -12. Solve -8*u = -4*t - 3*u - f, 4*t + 5*u - 45 = 0 for t.
5
Let p(q) = q**3 - 6*q**2 + 7*q - 6. Let z(h) = -h**2 + 10*h - 16. Let l be z(7). Let x be p(l). Solve 0 = -x*o + b + 12, -b + 6 = o - 2 for o.
4
Let z = -7 - -11. Solve -4*v - 4*q + 2*q = 14, z*v + 4*q + 24 = 0 for v.
-1
Let j = -31 + 34. Solve -m + 15 = -4*o, 0 = -j*m - o - 2 - 5 for m.
-1
Suppose 2 = -2*k + 3*k. Solve 0 = q - b + k, 17 + 3 = 4*b for q.
3
Let w be 4/(-22) - (-455)/143. Let h be (-3)/(-9)*4*w. Solve 0 = -h*n + 2*d + 3*d - 6, 0 = 3*d - 6 for n.
1
Suppose -2*s = -2*w - 24, -w + 8 + 4 = 2*s. Solve -5*j - 3*z = -4*z + 14, 2*z = -2*j - s for j.
-3
Suppose 3*j - 3 = 4*j. Let n be 6 + 3 + -1 + j. Solve 2*w = 3*a - a + 6, -n*w + 12 = -2*a for a.
-1
Let j be (-33)/(-7) - 22/(-77). Solve 3*n - z = -n - 10, -j*n - 3*z = 21 for n.
-3
Let y(t) = t**2 + t - 5. Let q(n) = n - 2*n**2 + 2*n + 6 - 5*n. Let v(k) = -2*q(k) - 3*y(k). Let u be v(0). Solve d = c - 4, -12 = -u*c - 0*d + d for c.
4
Let o = 16 - 12. Suppose -o*u = -5*q - 14 - 6, -2*q + 5 = u. Solve 0 = 2*b - 2*t + 4, 0 = -t + u*t for b.
-2
Let a be 3/(-6) + 54/12. Suppose u = -3*j + 21 + 25, -5*u + 38 = 3*j. Solve -j = -4*c, a*q - c - 4 = 2*c for q.
4
Suppose 0*s - 20 = 4*s. Let p = 2 - s. Solve 4*l = -4*k + 16, k = 3*k - l + p for k.
-1
Suppose -s + 6*s - 20 = 0. Solve 2*f + 6 = s*g, 3*f - 6 = -4*g + 15 for g.
3
Let s = 12 - 9. Suppose s*r + r - 11 = -3*o, 0 = o + 3*r - 2. Solve 11 = a - 4*v, o*a - 3*v - v = -9 for a.
-5
Suppose -3*y + 9 + 0 = 0. Let g be -4*(-2)/8*y. Suppose 8*i - 13 = q + 3*i, g*i = -2*q + 13. Solve -5 = f + 3*p, -5*f - q = 4*p + 1 for f.
1
Let b be 2*-4*9/(-18). Solve -2*z = -p - b, -2*p - 2*z + 12 = -p for p.
4
Let w be 1/4 + 6/(-24). Suppose w = u + 3*u - 72. Solve -2*k - t = 3*t - u, 3*k - 2*t = -5 for k.
1
Let n = 84 - 81. Solve -5*u - 32 = -2*v - 3, -n*u - 13 = v for u.
-5
Let n = 2 - 0. Suppose n*z - 5*z + 12 = 0. Solve p = 4*j - 2*p + 10, z*j + 2*p = 0 for j.
-1
Let t(z) = z**2 + 3*z + 2. Let g be t(-3). Suppose g*n - n = 3. Solve 10 = -n*j - p, 0 = 2*j - 0*j + 5*p - 15 for j.
-5
Let h be (5 - 5)/(-2 - 1). Suppose p + h*p - 2 = 0. Solve -p*b + 0*o + 10 = -o, -b + 11 = -2*o for b.
3
Let g(m) = m**3 + 6*m**2 - 2*m - 1. Let j be g(-6). Solve -v + 2*w = j, -w - 5 = 4*v - v for v.
-3
Suppose 0*u = 2*u. Solve -y + 3*h - 3 = -4*y, 3*y - 4*h + 11 = u for y.
-1
Suppose -11 = -5*n - i - 0*i, -4*i + 2 = -n. Solve -3*o - 4*b - 5 = 0, 10*o - 5*o + n*b - 15 = 0 for o.
5
Let q(f) = -11*f**3 + f**2 - f - 1. Let a be q(-1). Suppose -a = -5*h + 3. Suppose 4*t = 1 + 3. Solve h*k - 5 = t, -r + 11 = 3*k for r.
5
Let a(y) = 1. Let n(u) = u + 5. Let c(f) = -4*a(f) - n(f). Let t be c(-12). Solve -m + 2*j = 1, m + 4*j - 32 = -t*m for m.
5
Let f = -1 + 3. Let h be ((-4)/10)/(f/30). Let b = h - -8. Solve b = -5*v - 3*q, -3*v + 5*q - 10 = 2*v for v.
-1
Let f = -251 + 283. Let t(p) = p + 4. Let d be t(0). Solve -b - 3 = 1, 4*b = -d*h - f for h.
-4
Let l be (-6)/(-8) - 7/(-28). Let w be -6 - -4 - (0 + l). Let m(u) = u**2 + u - 3. Let f be m(w). Solve 0 = f*s - 2*j + 4*j - 2, -4*s + 3*j - 3 = 0 for s.
0
Let c = -99 + 100. Solve c = -2*q + 3*u, -3*u + 5 = -2*q + 4*q for q.
1
Suppose -2 - 16 = -9*g. Solve -2*x = 2*k + 2*x + 14, 10 = g*k - 2*x for k.
1
Suppose -34 + 82 = -4*k. Let o = -10 - k. Solve 3*w - o = -2*g - 0, -22 = 3*w - 4*g for w.
-2
Let t(k) = 2*k - 1. Let j be t(1). Suppose 0 = 2*z - j - 3. Suppose -z*p + 18 - 2 = 4*h, 3*p = 12. Solve 5*x = h*n + 10, -x = -5*n - 5*x + 41 for n.
5
Let d(h) = -h**3 - 3*h**2 + 5*h + 6. Let c be d(-4). Solve m + 3 = 2*p, -13 = -5*p - c*m - m for p.
2
Let j be (-3 + 9)*(-3)/(-6). Suppose -4*b - 2*m + 22 = 0, -4 = -3*b + j*m - 1. L