ve 0*a + 4*a + 2*c + 12 = 0, -5*c + y = -a for a.
-3
Let o be ((-2)/12)/((-3)/18 + 0). Solve -5 = -3*g - i, 0 = -3*g - 4*i + 5*i + o for g.
1
Suppose -8 = -0*d - 4*d. Let o be 5/10 + (-7)/(-2). Let b be d/(-8) + 21/o. Solve 4*x + k + 4 = 0, -4*x - b*k - 4 = -0 for x.
-1
Suppose 7*a + 10 = 9*a. Solve 0*c - 10 = c + a*b, 2*c + 13 = -3*b for c.
-5
Suppose 5*z = -3*x - 9, 3*x - 16 + 1 = 3*z. Solve 6 = 3*w + 2*f, -3 - x = -5*w - 5*f for w.
4
Let m(i) = i + 2. Let g be m(8). Let p(u) = 3*u**2 + 2*u + 3. Let a be 3 - 7 - 1*-1. Let k be p(a). Solve -2*x - k = -5*d, -d - 2*d = x - g for x.
-2
Suppose 12*f = 13*f - 2. Solve 0 = -2*z + y + f - 4, 5*y = -10 for z.
-2
Suppose 0 = -5*f - 0*f + 50. Let k be (-2)/f + 160/50. Solve -3*z + k = -x - 2*x, 13 = z - 5*x for z.
-2
Let p(m) = 9*m**3 + 1. Let n be p(-1). Let i = n - -12. Solve 14 = -l - 5*z, -3*l + 14 = i*z + 34 for l.
-4
Suppose -4*q + q + 9 = 0. Suppose -9 = -q*z - 0*z. Suppose 9 = 2*l + z. Solve 0 = 4*c - d - l, -5*d + 16 = 3*c - 15 for c.
2
Suppose -85 = -4*z - z + 5*x, 4*z - x = 77. Solve -8*f = -4*f + z, 0 = 5*i + f + 10 for i.
-1
Let q = 14 - 9. Suppose 0 = -p, q*p - 20 = -4*v + 2*p. Solve -4*b + 0 = -i - 9, -4*i = -v*b + 14 for i.
-1
Let z = 6 + -2. Suppose 0*y = -3*y + 6. Suppose y = -3*j + z*j. Solve 0 = 4*w - j*o - 6, -o + 12 = w - 5*o for w.
0
Let r = -14 - -19. Solve r*m - 45 = 5*y, 4*m - 2*y = 37 - 11 for m.
4
Let g be (9/(-6))/(9/24). Let u = g + 6. Solve u*v - v = -3*i + 2, 5*i + 3*v = 2 for i.
1
Suppose 3*y + 0 + 2 = 2*w, w - 6 = -y. Suppose -w*j - 1 + 7 = -h, -3*j + h = -4. Solve -3*m - 5*n + 15 = 0, -m - j*n = -7 + 1 for m.
0
Suppose -6 = -f - 5*j + 7, -3*f = -j + 9. Let g be f/(-5) + (-26)/(-10). Solve -h = -5*t - 9, 6*h - 4*h = -g*t - 8 for h.
-1
Let g(q) = -q**3 - 14*q**2 - q - 11. Let z be g(-14). Solve -s + 1 = -w + 8, z*s = -w - 9 for w.
3
Let c be -1*(4 + 0 + -15). Solve p + 0 - c = 3*x, 3*p = 4*x + 8 for p.
-4
Let u(w) = -w**3 - w + 2. Let q be u(0). Let o be 3 - (-2*1)/q. Suppose -3*l + 5 = -x - 4, 2*x + o = -l. Solve 2*k - 3*v = -0 + l, -2*v = 2*k - 2 for k.
1
Suppose 5*z + 2*j = 2*z + 7, 1 = -j. Suppose z*k + k - 12 = 0. Solve -2*y - 3*w + 9 - 30 = 0, 0 = -k*y - 5*w - 34 for y.
-3
Let n be (3*38)/2 - -3. Suppose 4*d - 188 + n = 0. Solve -3*w + d = -5*x + w, 0 = 3*x + 3*w + 3 for x.
-4
Let y be 2/(17/5 - 3). Solve 4*w = -3*f + 6, -y*f = -10*f - 4*w + 2 for f.
-2
Suppose -17 = -5*a - 4*y, 5*a - 4*y + 0*y = 33. Solve 4*t = -4, 12 = 4*s + 3*t - a for s.
5
Suppose 7*t - 16 = 3*t. Solve t*a = -4*h, 4*a + 2 = -5*h + 3 for h.
1
Suppose 12 = t - 3*b - 6, t = 2*b + 13. Let v be ((-6)/(-8))/(24/160). Solve 2*j = 0, 0 = -t*k - j + v - 20 for k.
-5
Let w be (0 - -2) + (-13 - -8). Let y be w/2*(1 - 3). Solve -y*x = 4*k + x - 16, 0 = -3*k + 2*x + 2 for k.
2
Suppose 2*c = -5*m, 3*c + 4*m = -c. Suppose x - 10 = -c*u - 2*u, 3*x = -4*u + 24. Suppose u*p - 16 = -p. Solve -1 = 3*f + 2*z - 0*z, -4*f - 28 = -p*z for f.
-3
Suppose 3*g + 0*g - 24 = 0. Suppose g = 4*z - 8. Solve 2 + 10 = -z*t, t = 3*a + 6 for a.
-3
Let r(n) = -n**2 + 8*n - 12. Let b be r(5). Solve 9 = 3*h - b*a, -2*h = -5*h + 2*a + 11 for h.
5
Let o be -1 - -8 - (-5 - -9). Solve 4*l + 5 = -5*q - 4, 5*q - 2*l = -o for q.
-1
Let w = 5 + -3. Let h(d) = d - 10. Let r be h(13). Solve 16 = -4*y + r*f, 5*y - f = w*f - 20 for y.
-4
Let v(y) = 2*y - 4. Let s be v(4). Let m be s/6*(0 - -3). Solve -m*i = q - 3, 0 = 5*i - 15 for q.
-3
Let z be 2 - (1 - (-2 + 1)). Solve 12 = 5*m + 4*c, 5*c + z*c - 15 = 3*m for m.
0
Let s(y) = -3*y + 1. Let o be s(-1). Let u = 8 - 4. Solve 0 = -o*z - u, -7 = 3*f + 2*z - 2 for f.
-1
Let k be 10/2 + 0/3. Solve -23 = -2*q + 5*n, -k*n - 35 = -q - 11 for q.
-1
Suppose -m + 6 = -14. Suppose 0 = -w - 4*w + m. Solve -w*c + 2*f = -3*c, -3*c + 5*f = -1 for c.
2
Suppose -i = -2*w - 3*i - 6, -21 = -3*w + 3*i. Solve u + 0 = d - 3, w*u = -4*d + 18 for u.
1
Suppose -3*n = 29 - 44. Solve 0*z + 5*z + 6 = c, 0 = -3*c - n*z - 2 for c.
1
Let j(p) = 10*p - 4. Let m be j(-3). Let a = -31 - m. Suppose 5 = 2*q - q. Solve -a*t + 10 = 5*n, 2*t - 2*n = -q*n + 7 for t.
5
Let h(j) = j**2 - 2*j + 1. Let f be h(3). Solve f*t - s - 11 = 0, -4*s = 3*t + 10 - 42 for t.
4
Let g be 159/12 - 15/(-20). Let n = 25 - g. Solve s - 2 = r, -2*r + 0*s + n = s for r.
3
Suppose l - 17 = -42. Let v = -15 - l. Solve k = 4*u - 18, u - v = 3*k - 0*k for k.
-2
Suppose -4*p + 1 + 7 = 0. Solve 5 = -5*y - 3*i, -4*i + 1 + 11 = p*y for y.
-4
Suppose 2*p = -r + 5*r + 6, 7 = -3*r + 4*p. Let w be (-8)/(-4) + 2 + r. Suppose w*u = -0*u. Solve 4*s + 6 = 4*j - 2, u = -s - 2*j - 11 for s.
-5
Let m be (-205)/(-40) + 1/(-8). Suppose 0 = -i - n + 2, 3 = -m*i + 4*n + 13. Suppose 0 = -a - 0 + 2. Solve 0*b + 5*v + 2 = -i*b, 4*v = a*b + 2 for b.
-1
Let c = 5 - 0. Suppose -5*z - 5*l + 10 = 0, -3*z - 2*l + 15 - c = 0. Solve f + z = 5*m, 0 = 2*m - 4*m - f + 1 for m.
1
Let b(w) be the third derivative of w**5/60 - 7*w**4/24 + w**3 - 3*w**2. Let v be b(8). Solve -5*l + 3*u = 15 + 5, -v = -l - 3*u for l.
-1
Let f = -17 + 20. Suppose 4*c = 0, -4*j + c + f*c = 0. Solve k = 5*y + 8 - 0, -4*k + 4*y = j for k.
-2
Suppose 11 - 36 = -5*f. Solve l - 5*b + 7 = 3*l, 5*b = f for l.
1
Let p be (-37 + 4/4)/(-2). Suppose 2*v + 18 = 6*v + 2*i, p = -v + 4*i. Solve -2*l - 2 + 0 = -y, 4*y - 3*l + v = 0 for y.
-2
Let g(f) = 2*f - 4. Let t be g(4). Let i(z) = -2*z**2 - 7*z + 4. Let s be i(-4). Solve -5*c - 2*p + t = s, 3*p + 12 = 2*c - 1 for c.
2
Let o(a) = -4*a - 2. Let g be o(-1). Solve -3*k - 17 = -h, g*h + k = 2 - 3 for h.
2
Let c be 7 - (-1 + (-4)/(-2)). Let x = -5 - -5. Suppose -11 = -5*p + 3*d, x = -3*d + 3 + 6. Solve -5*y = -k - 0*k - 25, 2*k - c = -p*y for y.
4
Let d(w) = w**2 + 12*w + 7. Let m be d(-12). Solve 6*y = x + 2*y, x + 3*y - m = 0 for x.
4
Let w = 27 + -19. Let p(t) be the third derivative of t**5/60 + t**4/24 - t**3/2 - t**2. Let c be p(-4). Solve w = -f + n, c = 2*f - 5*n + 34 for f.
-5
Suppose z = 5*z - 28. Let h = -4 + z. Suppose 0 = h*g - 5 - 4. Solve 6 = -g*i - 2*x, -2*x + 4*x = 0 for i.
-2
Suppose -22*y = -24*y + 8. Solve x + 23 = -y*s, -8 - 13 = 2*x + 3*s for x.
-3
Suppose 5*n - 3*n - 8 = 0. Suppose 2*k - 6 = 2*h, 2 = -2*h + n*h. Solve -2*q - q - k*z = 10, 5*q + 10 = -5*z for q.
2
Let w(b) = 3*b**2 - b. Let y be w(1). Let j(a) = a**2 + 4*a - 3. Let l be j(-5). Solve -y*g + l*n - 12 = -4*g, -g = -5*n + 18 for g.
2
Let n be (3 - 2)*(1 - 1). Suppose -3*w + 2*b + 10 = n, 3*b + 2*b + 2 = -4*w. Suppose -17*a + 129 = 27. Solve -i - 2*i = -5*f + 27, -w*f - 3*i = a for f.
3
Let n(k) = 18*k + 2. Let a be n(-1). Let c be a/(-8) + 0/2. Solve 5 = u + 4*u, -c*l = u - 3 for l.
1
Let o = 9 - 3. Let p be ((-4)/10)/((-1)/5). Let c be p - (-1 - 3/(-3)). Solve -9 = a + c*k, 3*a + k + o = -6 for a.
-3
Let q(l) = -8*l**2 - 14*l - 1. Let g(b) = -7*b**2 - 13*b - 2. Let d(h) = -7*g(h) + 6*q(h). Let n be d(-6). Solve 5*j = c + 15, -c - 6*j = -n*j - 21 for c.
5
Let f(n) = -2*n - 11. Suppose -2*o + 3*g + 2*g - 21 = 0, 5*g - 5 = 0. Let x be f(o). Solve a + 25 = 4*m, -x*a = m - 4*a for m.
5
Suppose 1 = -k + 4. Solve k*w - 3 = 3*c, 5*w - 6 = -4*c - 28 for w.
-2
Let f(t) = -t + 18. Let s be f(16). Solve -2*i + 5*j = -2 - 13, 2*j = s*i - 6 for i.
0
Let o(f) = f**2 - 5*f - 5. Let a be o(6). Let n(u) = u**2 - u + 1. Let z be n(a). Suppose -z = -2*m + 1. Solve -c + 3*h + m = 10, h = 4*c + 14 for c.
-3
Let k be 14/(0 + 1) - 0. Let w(d) = d**3 - 5*d**2 + 6*d - 4. Suppose 3*q + 3*q - 24 = 0. Let o be w(q). Solve -5*v - 8 = z + k, o*z - 5*v = 37 for z.
3
Suppose -3*s - 5*r = 4, 0 = s - 3*s + 2*r + 8. Solve 0 = -w - s*p + 5, p = -p + 6 for w.
-1
Let v(i) = 4*i**2 - 21*i + 9. Let t be v(5). Solve 4*h - 12 = -4*y, -10 = t*y + y for h.
5
Let j be -2 - -8*(-2 + 1). Let l = j + 5. Let b = -3 - l. Solve -b*d - 10 = -4*o + 4, 5*o - 25 = 5*d for o.
2
Suppose -3*a = -6*a. Suppose -2*r + 5 + 1 = a. Solve -r*b - d + 8 = -0, -5*b + d = 0 for b.
1
Let q be 854/168 - (-1)/(-12). Solve 2*d + 0 = 3*l - 5, q*l - 8 = 3*d for l.
1
Let c = -7 - -23. Solve -3*g - 2*j = -c, -4 = -3*g + 3*j + j for g.
4
Let t be 3/(22/8 + -2). Suppose -y + t = y. Solve d - 4*s = -y*d + 12, -5*d + 20 = -2*s for d.
4
Suppose 0 = -2*x + 42 + 22. Solve 0*c = -4*l - 2*c - 8, -5*l = -3*c + x for l.
-4
Suppose 0 = 3*n - 12 - 12. Let q(b) = b**3 + 5*b**2 - 6*b 