0). Solve j = n - 7, -n + q = -v*n - 4*j for n.
3
Let d be (2 + (-16)/5)/((-3)/(-15)). Let f be 8/d*(75/10)/(-5). Solve 0 = -3*l - 5*x - f + 4, x = l + 2 for l.
-1
Let a(t) = -21*t + 19. Let s be a(6). Let h be 5/(25/(-10)) - s. Suppose 28*k - h = 25*k. Solve 3*z = -w - w - 5, -3*z - k = -4*w for w.
5
Let u(o) = 3*o - 11. Let z be u(9). Let p = 19 - z. Solve -v + 16 = -5*q - p*v, 0 = -3*q - 2*v - 12 for q.
-2
Let l = 2498 + -2493. Solve 0*c = -5*c + l*j - 5, -3*c + j + 1 = 0 for c.
1
Let s(m) be the first derivative of m**2 - 10*m - 90. Let r(w) = w**3 + 7. Let z be r(0). Let c be s(z). Solve -8*t + c*t = -5*l + 20, -t + l - 4 = 0 for t.
0
Suppose 6*s = 66 + 6. Suppose s*n - 15*n = -9. Solve 4*y - n - 1 = -4*l, 2*y + 8 = 0 for l.
5
Let y = 20 + -17. Suppose -j - 8 = -y*c - 0, j = -5*c. Let o be (-2)/4*(c + -1). Solve -s + 5*q + 8 = o, 4*s + 4*q = -s + 11 for s.
3
Let q(x) = 10*x + 15*x + 14*x - 42*x + 27. Let y be q(9). Solve -6 = -3*h, h + y*h = 2*u - 6 for u.
4
Suppose 346*s = 352*s - 30. Solve -4*q - 5 = h, 0*q + h + s = -3*q for q.
0
Let k(q) = -q**3 - 24*q**2 - 44*q + 7. Let u be k(-22). Let x = -11 + 5. Let w = 14 - x. Solve 4*p + u*m - 3*m = 8, -p + 5*m = -w for p.
5
Let u = 50 - 51. Let x be ((-10)/(-25))/(u*2/(-120)). Solve 5*w + 2*j = -x, 0 = -4*w + 2*w - j - 10 for w.
-4
Let q = -37 - -40. Suppose 6 = q*r - 9. Solve 0 = r*p + d - 25, 2*p + d = -d + 18 for p.
4
Let k be 2 - 1 - (5 - (-45)/(-5)). Solve 0*n - 7 = -2*y - n, k*n = 15 for y.
2
Suppose 0 = 41*v - 101 + 19. Solve -v*d = -r - r - 10, -13 = -2*d + 5*r for d.
4
Suppose -9*g + 297 - 279 = 0. Solve -m + 20 = -4*i, -3*m + 24 = -g*m - 5*i for m.
4
Let l be (-6)/(-18) - (-16)/6. Let f(y) = y + 12. Let g(c) = -9*c**2. Let v be g(-1). Let d be f(v). Solve d*u = h + 8, -l*u - 1 = -5*h - 17 for h.
-2
Let y(q) = q**2 + 2*q - 58. Let d be y(7). Solve v + d*s - 20 = 6*v, 0 = 3*s - 3 for v.
-3
Suppose 5*c + 31*v - 17 = 35*v, -3*v = 5*c + 4. Solve a = 2*g - 5, 0 = -g - 0 + c for a.
-3
Suppose -8 - 22 = -3*c + 2*t, -c + 3*t = -17. Suppose 108 = c*x + x. Solve -2*p = -0*p + 5*y + x, y = 4*p - 20 for p.
4
Suppose -40*n + 37*n = 3*d - 6, -3*n = -4*d + 8. Solve m + 0*k = 2*k + 1, 3*k = -d*m + 2 for m.
1
Suppose -5*r = -3*b + 118, b - 5*r = 5*b - 99. Let z = b - 26. Solve 0 = -z*x + 3*u, -2 - 1 = 4*x - 3*u for x.
3
Suppose 4*p + 86 - 14 = 5*d, -d = -p - 15. Solve 4*z + 3*k = z, -3*k + d = 0 for z.
-4
Let w = -35 + 51. Suppose 2*b = -w + 64. Solve -28 = -2*v + 2*j + 3*j, -b = -3*v + 3*j for v.
4
Let h be (-6 - -6) + 8/2. Let z(b) = -b**3 - 3*b**2 + 5*b + 4. Let x be z(-4). Suppose 0 = -3*k - x*k. Solve r + 0 = -3, -h*g - 3*r - 1 = k for g.
2
Suppose 2*t - 107 - 5 = 0. Let s = 60 - t. Solve -2*r + 3*a = 3*r + 7, -s*a + 19 = 3*r for r.
1
Let m(q) = -2*q**2 - 11*q + 10. Let j be m(-6). Solve j*t = 2*g + 10, -3*g = -0*t + t + 15 for g.
-5
Let b(o) = o**3 + 10*o**2 + 7*o + 8. Let n be b(-9). Suppose 3*y - 4 = d, -y - 4*d + n = 3. Solve r = 2*s + 2*r - y, 5*r = -5*s for s.
3
Let z = -17 - -30. Suppose 3*b + 4 = z. Suppose 4*v = 5*t + 12 - 2, b*v - 23 = -4*t. Solve 0 = -2*h - 2*h - 2*d - 2, h + t*d - 7 = 0 for h.
-3
Let z be (-109)/(-5) - (-2)/10. Solve 22 = 4*a - 3*v, 2*a - z = -a + 5*v for a.
4
Let n = 35 - 33. Solve 4*o = 8, -3*o + n*o = -5*d - 22 for d.
-4
Suppose 3*c - 2 = 10. Suppose 4*w - 4*j + c = 0, -7*j = -5*w - 3*j. Let h = 86 + -83. Solve -p = -w*r - 23, -h*r - p - 4 - 8 = 0 for r.
-5
Let r(v) = v**2 - 16*v + 66. Let x be r(7). Solve 0 = -3*w + 5*a + 3, -3*a = -3*w - 4*a + x for w.
1
Let j be (1 - (-1 - 0))*1. Let n(r) = r - 44. Let g be n(0). Let z = -39 - g. Solve -l - 9 = 5*m, m - j*l - z - 2 = 0 for m.
-1
Let s = -717 + 719. Solve 3*c + 2 = s*f, 4*c - 10 = f - 6 for f.
4
Let r = 445 + -442. Solve -3*v = -j - 1, -3*j + v - r = -3*v for j.
-1
Suppose -4*u + 3*w = -6*u - 30, -w = u + 14. Let j = 18 + 2. Let f = u + j. Solve 4*n = -3*t - 20, 10 = f*t - 3*t - 2*n for t.
0
Suppose -13*a = -11*a - 16. Let i be (-22*(-2)/a)/((-4)/(-16)). Solve 0 = 5*b + 4*j + 11, 2*b = j + 4*j + i for b.
1
Suppose 6 = 3*g, z - 6 = -0*z - 4*g. Let x(c) = 2*c**2 - 2. Let r be x(z). Let u be 1/(((-3)/r)/(-1)). Solve -2*j - 2 = -3*w, 2 = -5*j - u*w - 3 for j.
-1
Suppose 29*f - 142 + 26 = 0. Solve a + 7 = -5*p, -2*p = -f*a - 0*p - 6 for a.
-2
Let v = -22 + 24. Let c be -3 + 6 + (-3 - -3). Suppose -4*x + 23 = c. Solve -d - 3*g = 4, -v*d - 3*d - x*g = 0 for d.
2
Let r(c) = 7*c - 21. Let y be r(5). Let a(w) = -w + 16. Let s be a(y). Solve 3*x - s*j = -13, -3*x + j = 5*j - 17 for x.
-1
Suppose 5*d = -3*i - 5, 0 = 5*i + 7 + 18. Let a be (11 + -10)*4*d. Let n be (-1 - 0) + a + -5. Solve -2*f + 16 = n*f + 2*l, 5*l = 5*f - 20 for f.
4
Let z be 0*2/2*(7 + -6). Suppose 2*n - 4*a - 16 = z, -2*n - a + 0 = -1. Solve 4*c = 0, -n*m + 2*c = -3*c - 2 for m.
1
Suppose -7*m + 23 = -5. Solve -3*t + 6*t = m*n, -3*n = 0 for t.
0
Suppose -r - 3*r = -136. Let s be (16/6)/(r/51). Suppose -4*b = 5*f - 74, 4*b = -3*f - 0*b + 46. Solve -f = -4*x - j - 1, 0 = -s*x + 5*j + 7 for x.
3
Suppose 21 = -r + 8*r. Solve -u + 16 = 4*p, -1 = 2*u - 2*p - r for u.
4
Let a be 9*((-10)/(-6))/(-5). Let u = a - -7. Let x be 3/(6/u) + 0. Solve 0 = 2*w - 0*f - x*f, -3*w = -2*f - 1 for w.
1
Let r be 2 - 10 - (-4 + -6). Solve z - l = 0, 1 + 14 = r*z + l for z.
5
Suppose -6*t + 2*t + 28 = -m, -22 = -t + 4*m. Let q = -4 + t. Solve -15 = 3*x - f, 3*x - 3*f = -q*x - 29 for x.
-4
Let x = 123 + -84. Let k be x + -35 - 1*(0 + 1). Solve k*g + 6*t + 6 = t, 0 = 3*g + 2*t - 3 for g.
3
Let c(x) = x + 4. Let s be c(6). Let p(a) = -a**2 + a + 3. Let g be p(0). Let b be (-5)/(5/(-4)) - -2. Solve -g*v + 2*t + 8 = b*t, 5*t - s = -5*v for v.
0
Let s(q) = q + 1. Let m(i) = 1. Let o(k) = m(k) - s(k). Let l be o(-5). Solve d = -5*b - d, 4*d = -l*b - 10 for b.
2
Let z(k) = 3*k**2 - 1. Let w be z(-1). Let l(i) be the first derivative of i**2/2 + 4*i + 6. Let p be l(w). Solve -3*u + 4*b = p + 2, u + 6 = 3*b for u.
0
Let q be (1 - 0)*-7*(-8)/14. Suppose 0 = h - 2*i - 2, i - 3 = -5*h + q*i. Let a be (0 + 1)*(5 - 0). Solve h = -5*x + 2*y + y - 9, a*y = -5*x - 25 for x.
-3
Suppose -40 = 2621*d - 2629*d. Solve 5*n - 6*n - d = 3*g, -5*g = 4*n + 6 for n.
1
Suppose 0 = 3*b - 2*h - 5, 2*b + 5 = 5*h + 23. Let q be b/(-2 + 10/4). Let f be (-1 + q)/(-2 + 1). Solve 4*p - 3*i - 19 = 12, -f*p + 2 = 2*i for p.
4
Let g(i) = 2*i**3 - 17*i**2 + 11*i - 22. Let d be g(8). Solve -2*p - 2 = r, 5*r - 4*p + 12 = d for r.
-2
Let k = 21 + 18. Suppose -10*i = -109 + k. Solve -3*l - i = -4*w, 3*l + 0*l = -w - 17 for w.
-2
Let s = -6 + -7. Let g(f) = -f**3 - 13*f**2 - f - 13. Let c be g(s). Solve 0 = -5*m - 5*b, 6 + c = -m + b for m.
-3
Let z be (3/(-4))/((-2)/(272/51)). Solve 2*c - 7 = 6*s - s, 0 = -z*c - 3*s - 1 for c.
1
Suppose 3*q - 2*z = -q + 62, -q - z + 20 = 0. Solve 2*k = 5*y + q, -2*k - 7*y + 3*y - 28 = 0 for k.
-4
Let l(z) = -2*z**2 - 6*z - 4. Let b be l(-2). Suppose 3*g - g - 20 = b. Solve 4*s - 7 - 1 = -4*j, -3*s = -j + g for j.
4
Let t(q) = 2*q**2 - 64*q + 4. Let l be t(32). Suppose 36 = 3*c - 0*c. Solve -c = -l*y, 3*y = 3*h + 1 + 2 for h.
2
Let y = 4 - 12. Let l(f) = f**3 + 7*f**2 - 9*f + 4. Let a be l(y). Solve 5*q - 3*q - 6 = 0, 4*q = -i + a for i.
0
Let m be (0 - 5) + 3 + (6 - 4). Solve 0 = -5*d + c, m = 5*d - 0*c + 4*c for d.
0
Let c(x) = -18*x**2 - 55*x + 1. Let r be c(-3). Solve 2*q + 8 = -r*l, -5*l + 1 = -4*q + q for q.
-2
Let a = -43 + 151. Suppose 0 = -w + 3*w + a. Let l = w + 79. Solve l = v + 5*f, -3*v - 4*f = -0*f - 20 for v.
0
Let q = -106 - -109. Solve -d + 28 = -5*n - 2*d, 0 = n - q*d - 4 for n.
-5
Let r(p) = p. Let b be 0 + -4 - (-11 + 3). Let i be r(b). Solve -4*f + 10 = o, i*f = -4*o + 2*o + 8 for f.
3
Let z = 717 - 708. Solve z = -3*q, s + 2*q + 1 = -3 for s.
2
Let l be 52 - 49 - -1*2. Solve l*j = 4*p - 26, j + 4*j = -p - 6 for j.
-2
Let u(p) = p + 8. Let t be u(-7). Let s(f) = -22*f**3 - 2*f**2 - f + 2. Let w be s(t). Let z = -14 - w. Solve -4*a + z - 26 = b, b + 9 = -2*a for b.
-1
Let l(o) = o**3 + 18*o**2 - 39*o + 24. Let j be l(-20). Solve j*m = -2*i + 14, 5 + 4 = m - 5*i for m.
4
Let j(m) = m**2 - m - 3. Let y be j(10). Suppose -k - 31 = -d, 3*d - y = -4*k - 15. Let b = -17 + d. Solve 4*h = 12, -g - h = 3*g - b for g.
2
Suppose 0 = -2*a - 6*a + 72. Let v(b) = -b**3 + 10*b**2 - 