 2. Let m be y(4). Suppose p + 2*p = v - 16, v - 12 = m*p. Solve -4*h + 0*h = -v for h.
1
Suppose 9 = -0*y + y. Let r = y + 0. Let o = r + -6. Solve 3 + 12 = -o*b for b.
-5
Let h be 12/(-5) - 3/5. Let u = h + 4. Solve u - 10 = -3*i for i.
3
Suppose -3*o = g + 20 - 111, 0 = 4*o - 2*g - 138. Let t = 18 + o. Let x = -30 + t. Solve z - x = -3*z for z.
5
Let k = -15 - -20. Solve k*i - 7*i = 4 for i.
-2
Suppose -7 - 3 = -g. Solve i = 6*i - g for i.
2
Let f = -4 + 7. Suppose 0 = -b + f + 28. Let l = b + -22. Solve 0 = -5*w + l - 4 for w.
1
Let h(y) = -2*y**3 + 4*y**2 + 2 + 4*y + 3*y**2 + 1 - 8*y**2. Let p be h(-2). Solve 4*c - 5 = p for c.
3
Let w(f) = -f**2 - 8*f + 12. Let a be w(-9). Suppose -l + 4*b - 7 = 4*l, -3*l - a*b + 12 = 0. Let d = 0 + l. Solve 21 = -4*z + d for z.
-5
Let i be (-3)/(-1) + -4 + 11. Let a be ((-14)/3)/(i/15). Let v(l) = l + 8. Let m be v(a). Solve -c - m = -5 for c.
4
Let b be (2 - 2) + 0 - 0. Solve -3*h - 2*h - 20 = b for h.
-4
Let q = 0 + 7. Suppose -4*k = -u - 4 + 14, -k - q = -u. Solve 4*v - v = u for v.
2
Let b = 20 + -11. Solve -b = -3*s - 0 for s.
3
Let m = -19 - -21. Solve 0 = -3*o - m*o + 15 for o.
3
Let h(w) = -w**2 + 4*w - 1. Let s be (-17)/(-5) - 6/15. Let q be h(s). Solve 0 = -q*c - 6 - 4 for c.
-5
Suppose -c + 2 = 0, -4*c = -2*o - 6 - 2. Suppose -44 = -4*l - 5*g + g, -l - 4*g + 23 = o. Solve l*n - 10 = 2*n for n.
2
Let v(i) = -i**3 - 7*i**2 + 4. Let d be v(-7). Suppose -3*o + 2 = 2*c - 3, 4*o - 16 = -4*c. Solve -3*j = c - d for j.
-1
Suppose -4*s + s = -27. Let x be 4/(-12) - (-57)/s. Solve 4*y + 2 = -x for y.
-2
Let t(k) = -k - 3. Let d be t(-6). Let a = -9 + 13. Suppose -j - a = -d*j. Solve -j*g = -0*g for g.
0
Let g be (10/25)/(2/90). Suppose a - g = -2*a. Let w be (-2 - 7)*(-2)/a. Solve 0*b - w*b = -9 for b.
3
Let o = -24 - -30. Let p be -14*(-3 + (-6)/(-4)). Solve 5*x = -o + p for x.
3
Let b(m) = 5*m**2 - m - 2. Let c be b(3). Suppose 4*l + l - 4*o = c, -3*o = -4*l + 33. Solve l = -2*z - 2*z for z.
-3
Let t(f) = 6*f - 3. Let z be t(3). Let i(j) = -j**3 + 6*j**2 + j + 6. Let k be i(6). Suppose 0 = -2*g, -5*g + 3 = 5*l - k. Solve -z = -0*n - l*n for n.
5
Let i(o) = o**2 - o. Let r be i(0). Suppose -5*h + 2*h - a - 2 = r, 0 = -4*a - 20. Let k = 20 - 15. Solve -14 = -k*j + h for j.
3
Suppose -2*w = -5*l + 11, 0 = -4*w + 3*l - 1 - 0. Let k be (-2)/(-3) + w/(-3). Solve -2*u = -k*u + 8 for u.
-4
Suppose 20 = 5*x, 2*x + 0 = -3*y + 14. Solve 0 = -y*r + 6*r - 20 for r.
5
Let y be 2/(-3) + 10/15. Let q = y + -3. Let p be (-3 + 2)*(-1 + q). Solve i = -p*i for i.
0
Suppose 7 = a + 2. Solve -9 = a*c + 6 for c.
-3
Let y(p) = p**2 + 7. Let k be y(-5). Suppose -5*l - 3*o = -3, 2*l - 17 = 3*o + 1. Suppose -l*q + k = q. Solve 4*i + 0*i = q for i.
2
Let y be 3/2 + (-1)/(-2). Suppose y*x = -3*z - x + 18, -3*x = -4*z + 45. Let q = 14 - z. Solve -4 = -q*l + 1 for l.
1
Suppose 5*k - b - 10 = 35, -5*b = -5*k + 65. Solve 2*m + 2*m = k for m.
2
Let l(h) = h. Let s = 3 + 1. Suppose s*q + 2 = 14. Let u be l(q). Solve -13 = 2*i - u for i.
-5
Let i(q) = q - 1. Let x(w) = 3*w - 13. Let s(v) = -2*i(v) + x(v). Let d(l) = -l + 1. Let m(k) = 2*d(k) + s(k). Let f be m(-11). Solve 1 = a - f for a.
3
Let j(d) = -d**3 - d**2 - d - 2. Let f be j(-2). Let y be ((-8)/(-6))/(f/6). Solve 4*g = 3*g + y for g.
2
Let h = 24 - 10. Let n be 206/h - 4/(-14). Solve -5*j + 2*j = -n for j.
5
Suppose -4*l - 2*j = -30, 0 = 4*j - 21 + 1. Let g be 16 + (-8 + 8 - 4). Solve -3 = -l*o + g for o.
3
Let u(l) = -5*l - 3. Let d(s) = -4*s - 3. Let g(n) = 4*d(n) - 3*u(n). Let v be g(-6). Solve -v*q - 3 = -0 for q.
-1
Let s = 22 - 23. Let f(j) = j**3 - j. Let r be f(s). Solve r = t + t for t.
0
Suppose -4*a + 2*a + 4 = 0. Let k = -381 + 386. Solve a*w + 12 = k*w for w.
4
Suppose -3 = -t + 2. Solve t*k + 0 - 20 = 0 for k.
4
Let l = -13 + 15. Let k = -5 - -7. Let o be l/(-5) + k/5. Solve 4*f - 1 + 5 = o for f.
-1
Suppose -4*p + 3*p + 49 = 5*t, -p = -t + 5. Suppose -2*h = -7 - t. Solve -h = -4*b - 0 for b.
2
Let w = -53 + 56. Solve 0 = -u - w - 1 for u.
-4
Let b be ((-4)/(-1) + -2)/1. Suppose 8 = 5*m - b. Solve 0 = -3*o + m*o for o.
0
Let j be 166/18 + 13/(117/(-2)). Solve -4*s + 15 = -j*s for s.
-3
Let s(k) = k**2 + k - 2. Let p be ((-15)/9)/(2/(-6)). Suppose -2*j - 1 = p. Let g be s(j). Solve -h = -g*h - 12 for h.
-4
Let n(x) = 8*x - 43. Let k be n(6). Solve 0 = -5*h + k - 0 for h.
1
Let o(m) = -2*m**2 - 5*m. Let f be o(-4). Let q = -7 - f. Solve 7 = q*g - 3 for g.
2
Suppose 0 = -12*a + 13*a - 4. Solve 0 = -a*i + 15 - 3 for i.
3
Let m be 8/(-8)*(1 - 11). Solve -m = 4*s + 2 for s.
-3
Suppose -67*x = -66*x - 4. Solve 0 = x*q - 2*q + 2 for q.
-1
Let c(l) = -4*l - 1. Let o be c(-1). Let x = -4 + o. Let s = 1 + x. Solve s = -5*k + 3*k for k.
0
Suppose -3*r - 25 = -8*r. Solve 0 = -r*i + 2*i - 6 for i.
-2
Let s(d) = 2*d**3 + 1. Let w be s(1). Solve -o - 2 = w for o.
-5
Let z be 2/(-4)*-8 - 2. Suppose z*n + 3*f = 19, -2*f - 3 = -3*n + 6. Solve 0 = -n*c + 14 + 11 for c.
5
Let n(b) = -b. Let o be n(-6). Let g = -2 - 2. Let d = o + g. Solve 0 = d*v - 7*v + 15 for v.
3
Suppose 0 = -2*u - 2*c + 24, 5*u - 19 = 3*c + 17. Let q = u - 6. Let x be 3/6*-2*-4. Solve 2*r - q*r = -x for r.
4
Suppose 5*v + 10 = -5*i, 2*i + 4 = 2*v - 0. Suppose v = -7*r + 2*r + 10. Let c be (-18)/(-4) + 1/r. Solve -c*b + 11 - 36 = 0 for b.
-5
Let k(z) be the first derivative of z**4/4 - z**3 + z**2 - 4*z + 3. Let x be k(3). Solve 4*j + x = 18 for j.
4
Suppose 3*s + t + 0*t = 69, 5*s + 5*t = 115. Solve -8 = 5*k - s for k.
3
Let q be (2 - 1)/((-3)/(-6)). Solve t + q = -t for t.
-1
Let j be (-20)/(-35) - 12/21. Solve j = -5*u + 40 - 15 for u.
5
Suppose 41 = -3*q + x, -5*x - 10 = -q - 33. Let a = q - -36. Solve 5*p + 8 = a for p.
3
Suppose 3*t = -4*k - 3, 5*k - 2 = k + 2*t. Solve -4*q + 3*q + 1 = k for q.
1
Let g = 5 - 0. Solve 18 = g*y + 8 for y.
2
Let j = 16 - 12. Solve j = -v - v for v.
-2
Let g(m) = -m**2 + 3*m. Let l be g(3). Suppose 4*y + 4*b = 2*b + 10, -1 = 2*y + 3*b. Solve l = h - y*h - 12 for h.
-4
Suppose 0 = -8*a + 3*a + 15. Solve -a = -5*x + 17 for x.
4
Let j(f) = -f - 5. Let v be j(-5). Suppose -g + 5*q + 2 = v, -g + 2*q + 0 = -2. Suppose 0 = 2*y - 0*y - 10. Solve y*d = -g + 7 for d.
1
Suppose -4*x = -8*x + 8. Solve 3 = -x*b - b for b.
-1
Let w be -17*2/4*-2. Let d = -13 + w. Solve 5*u + d = -11 for u.
-3
Suppose 2*z + 2*z = 8. Solve -l - z = -0 for l.
-2
Suppose 4*c + 5*m - 37 = 0, 8*c - 27 = 4*c - 3*m. Suppose -2*d + c*d = 5. Solve d*i - 6 = 4 for i.
2
Suppose 24*v - 22*v = 0. Solve -2 = l - v for l.
-2
Let a be 3/((-1)/(3/(-9))). Solve -4*c - 9 = -a for c.
-2
Let i(y) = y**3 + 9*y**2 + 10*y + 12. Let z be i(-8). Let t(b) = -b. Let w be t(z). Solve -w*u - 18 = -2 for u.
-4
Suppose -9 = 3*s, -h - 3*h + 33 = -3*s. Let t be ((-3)/2)/(36/(-96)). Solve 2*y - h*y = -t for y.
1
Let p(y) = -y + 3. Let f be p(-3). Let t(u) = -u**2 - 2*u**3 - 6*u**2 + u**3 - 8*u - f. Let k be t(-6). Solve 0 = -2*h + k for h.
3
Let y = -35 - -45. Solve y - 35 = -5*r for r.
5
Let w be 4 + 2 + -2 + -2. Suppose 8*z - 1 = 7*z. Solve -z + 5 = -w*d for d.
-2
Suppose -3*w + 3*i - 8*i + 37 = 0, 4*w + 5*i = 41. Solve w*u + 3 - 15 = 0 for u.
3
Let u be (8/6)/((-24)/(-36)). Solve 0 + 2 = -u*b for b.
-1
Let j(s) = 5*s - 2. Let k be j(1). Solve -c = -k*c for c.
0
Let p be 8/(2 + 0) - 2. Let q be 8 - (-5)/((-5)/p). Suppose 0 = f + 2*f - q. Solve 0 = 2*a - a - f for a.
2
Suppose 76*v - 20 = 71*v. Solve 0*d = -v*d for d.
0
Let t(y) = 13*y**3 - 3*y**2 - 21*y - 21. Let s(r) = 7*r**3 - 2*r**2 - 11*r - 11. Let w(f) = 11*s(f) - 6*t(f). Let i be w(-5). Solve 0 = -i*v + 15 for v.
3
Suppose 0 = -s - 4*g + 3 - 17, -3*g = -2*s + 16. Suppose 0*r = s*r - 8. Solve -r*v = -v for v.
0
Let t be 11/5 - 7/35. Solve a = -t*a for a.
0
Suppose -9*b = -5*b + 80. Let j be b/15*3/(-2). Solve 4*y - 6 + j = 0 for y.
1
Suppose 0*q + 4 = 2*q. Suppose -t = q*t. Solve -w + t = 5 for w.
-5
Suppose 6 = d + 3. Let i(a) = a**2 - 3*a + 2. Let j be i(3). Solve j*b = -d*b for b.
0
Let j = 0 - -2. Let w(c) be the third derivative of c**5/60 - c**4/12 + c**3/3 + 2*c**2. Let g be w(j). Solve -2*v = -3*v - g for v.
-2
Let q be (-1 - 3) + 2*3. Solve -7 + q = -5*x for x.
1
Suppose 5*g - 2 - 3 = 0. Let k be (1/1)/((-2)/(-12)). Solve -z = -k + g for z.
5
Suppose -6 = 6*q - 4*q. Let i(x