2). Let c be (-3)/(1/q*-2). Solve 5 - 14 = c*k for k.
-3
Suppose -5 = -2*a + 1. Solve -2*j + a*j = 1 for j.
1
Suppose 0 = -v + 3*v + 14. Let o = v + 13. Solve 0 = -o*g + 3*g - 6 for g.
-2
Suppose 17 = 5*m - 8. Solve -x - 12 = -m*x for x.
3
Suppose -3*g + 4*g = -62. Let n be g/(-8)*2*-2. Let p = 46 + n. Solve 6*c - c = p for c.
3
Let h = -3 - -12. Let m(y) = 2*y**2 - 4*y + 2. Let r = 4 + -2. Let c be m(r). Solve h = p + c*p for p.
3
Let h(x) = x**2 - 14*x + 24. Let m be h(12). Solve 3*c + m*c = 3 for c.
1
Let a(l) = -14*l + 1. Let k be a(-3). Suppose -v + 42 = 3*h + 7, k = 3*h + 5*v. Let r = h - 4. Solve r = 4*q - 1 for q.
2
Let b(l) = l**3 + 6*l**2 + l + 8. Let c be 18/(-21)*(11 - 4). Let w be b(c). Solve 5 = w*y + 3*y for y.
1
Let d = -24 + 35. Let h be 2/(-10) - d/(-5). Let z be 1*(1 + 0)*0. Solve h*w + 10 = -z*w for w.
-5
Suppose -8 = -4*t + 4*m, t + m - 4*m + 8 = 0. Solve t*z = 4*z for z.
0
Let f = -70 + 73. Solve 4*h = -7 + f for h.
-1
Let l(o) = 2*o - 2. Let u(r) = -1. Let m(s) = -2*l(s) + 4*u(s). Let q be m(-1). Solve q*t + 2 - 22 = 0 for t.
5
Suppose -3*d = -19 + 7. Suppose -64 = d*l - t, 18 = 5*l - 7*l - 3*t. Let o be l/(-9) + 4/(-6). Solve 0 = 3*v + o + 8 for v.
-3
Let q be 224/40*5/2. Let m = q + -8. Solve m*o = o for o.
0
Suppose r = -0*r + 4. Let u(j) = j - 1. Let i be u(r). Solve i = z + 1 for z.
2
Let d(w) = w**2 - w + 2. Let z be d(-2). Let b be (-2)/((-2)/(-3)) - -6. Solve -z*k - 25 = -b*k for k.
-5
Let n(r) = 13*r - 114. Let x be n(9). Solve -x*t + 12 = t for t.
3
Suppose 0 = 5*d - 3*d - 3*y - 3, -y = -3*d + 1. Let c be d/(-2) - (-44)/4. Solve -4*t = c + 5 for t.
-4
Let l be 2 + -2 - (-2 - -1). Let p(q) = 5 - 5*q + 7*q + l. Let x be p(7). Solve 7*o - x = 3*o for o.
5
Let l(c) = -c + 12. Let t be l(10). Suppose -v + 0 = 1, 0 = -3*w + t*v + 17. Solve 0 = w*d - 6 + 1 for d.
1
Let y be -1 - (0/(-1) - 2). Let f be (y/1)/(0 + -1). Let z = 8 + f. Solve 2*b + z = 3 for b.
-2
Let q = 3 - 1. Suppose a + q*a = -2*b + 10, -3*a - 5 = -b. Solve a = -3*z - z for z.
0
Suppose -4*k - g - g = -2, 5*g + 5 = -5*k. Solve 4*a - k*a = 0 for a.
0
Let k(o) = o + 9. Let t be k(-4). Suppose s = t*s. Suppose s*j = 2*j. Solve j*r = -r - 3 for r.
-3
Let n be 3 + (-4)/(-2)*-1. Let q(p) = p**2 - p. Let g be q(n). Solve 6 + g = -2*i for i.
-3
Let a(u) = u**3 - 4*u**2 - 5*u - 6. Let p be a(5). Let v(z) = -z + 4. Let q be v(p). Solve -r + 3*r - q = 0 for r.
5
Let p be ((-9)/5)/(-2 - (-51)/30). Solve -5*y = 1 - p for y.
1
Suppose 7*g - 3*g = -8. Let m be (g/3)/(3/(-9)). Solve m*y = -0*y - 10 for y.
-5
Suppose 0 = 5*u - 4*s + s, 0 = -4*u - s + 17. Suppose u*a + 9 = 3*h - 6*h, -4*a + 5*h = 39. Let l be (-10 - -1)*2/a. Solve -p - l = 2 for p.
-5
Let a(l) = 6*l - 1. Let f be a(-1). Let h = f - -9. Solve h*r = -r for r.
0
Suppose -2*q = -q - 20. Suppose 4*g = 2*g + q. Solve 5*x - 15 = g for x.
5
Let u(t) = -2*t. Let w(n) = -n**3 - 10*n**2 - 7*n + 13. Let g be w(-9). Let f be u(g). Solve -b - f = -6*b for b.
2
Let a be ((-1)/3*0)/(6 + -5). Suppose -5*q + 36 = 3*g + g, 0 = 5*g + 4*q - 36. Solve -g*k + 8 = -a for k.
2
Let o = 9 + 2. Solve -5*l = -o - 4 for l.
3
Suppose 0*w = -2*w - 8. Let c = -1 - w. Suppose -c*r - 9 = 0, -p + 4*r + 4 = -5*p. Solve 11 = -p*x + 5 for x.
-3
Let q(o) = o**2 + 12*o + 15. Let g = -25 - -14. Let z be q(g). Solve -u = -3*u - z for u.
-2
Let s be 1*(1 - 0)*0. Let l(r) = r**2 - r + 2. Let b be l(s). Solve -c = -b - 3 for c.
5
Let l = 19 - 9. Let i be (10/(-2))/(0 + -1). Suppose 4*s - 3 = i, 0 = h + 5*s - l. Solve h = -j - 0 + 2 for j.
2
Let y(q) = -14*q - 1. Let j(d) = 15*d + 1. Let m(b) = -4*j(b) - 5*y(b). Let r be m(-1). Let s = -6 - r. Solve s*k + 16 = -k for k.
-4
Suppose b = -3*b + 448. Let x be b/20 + 4/10. Solve -2*a - 4 = -x*a for a.
1
Suppose 3*t = 3*a + 87, 3*a - 87 = -6*t + 3*t. Suppose -t + 4 = -5*h. Solve b - 20 = h*b for b.
-5
Let i be -1 + (0/(-1) - -4). Suppose -4*x = -0*x - 2*x. Solve x = j - i - 2 for j.
5
Let r = 6 - 4. Let v = 20 - 6. Suppose 2*y + 3*d - v = 0, 5*d - 28 = -5*y + d. Solve 10 = -y*a + r*a for a.
-5
Let f = 3 + 1. Let t be f/(-14) - 63/(-49). Suppose 0 = -5*k + 3*k - 3*u, 2*u = 0. Solve k = z - t for z.
1
Suppose -a + 3 = -4*d - 1, 0 = -5*a + d + 39. Solve -2*m - 2*m + a = 0 for m.
2
Suppose -40*l + 13*l + 27 = 0. Let m = -6 + 10. Solve -3*y - m + l = 0 for y.
-1
Let q = -13 + 8. Let z(c) = c**3 - 4*c**2 - 8*c + 5. Let x be z(5). Let a be q/x*(1 + -1). Solve 12 = 4*n - a*n for n.
3
Let w = -113 - -115. Solve -4 + 2 = w*y for y.
-1
Let j be ((-259)/(-49) - 5)/(1/7). Solve j*u = u for u.
0
Let k = -6 + 6. Solve d - 2 = -k for d.
2
Let t(o) = o**2 + 11*o. Let x be t(-11). Solve 3*b = 6 - x for b.
2
Suppose x - 3*x = -4*o, 0 = -4*x - 2*o + 30. Solve 0 = -5*s - x + 1 for s.
-1
Let l be (-78)/5 + 6/(-15). Let a be (-1)/(-2) - 232/l. Let g = -2 - -9. Solve -2*h = -g*h - a for h.
-3
Let t be 0/5 + -2 - (-4)/1. Suppose -p + 1 = 2*n, n + 9 = 4*n - p. Let a = 2 - n. Solve -q - t = -a*q for q.
-2
Suppose i = 2*x + 6*i - 24, 3*x + 4*i - 22 = 0. Let c be (0 + x)*(-3)/(-3). Solve -a - c = a for a.
-1
Let g(z) = -z**3 - 5*z**2 - 4*z + 3. Let w be g(-4). Let x = w - 1. Suppose -x*p - 3 = -3*p. Solve 0 = p*b + 9 for b.
-3
Suppose 0*v + 5*n = 5*v, 3*v - 4*n = -2. Solve v*c + 3 = 1 for c.
-1
Let v(s) = s**3 - 6*s**2 - 6*s - 5. Let u be v(7). Solve -2*a = -4*a + u for a.
1
Suppose -3*c + 0*c - 6 = 0. Let u be (1*(-3 - c))/(-1). Solve -3*t = u + 5 for t.
-2
Suppose -j = 3*s - 0*j + 19, 3*j = -2*s - 8. Let c(f) = -2*f + 6. Let i be c(5). Let q = i - s. Solve q*z = z for z.
0
Let r(m) = -m + 6. Let k be r(6). Let z be 8/(-6)*(-3)/2. Suppose -4*d + 2*x = -78, z*x + 0*x - 2 = k. Solve -a = 4*a + d for a.
-4
Let n(o) = -o**2 - 13*o - 9. Let q be n(-12). Let l be (1 - 1)*(-1 - -2). Solve l = -2*d - q*d for d.
0
Suppose 10*j - 29 = 11. Solve -2*v = -j + 10 for v.
-3
Let r(v) = -3*v + 7. Let m be r(-3). Solve -4 = 3*a - m for a.
4
Let m = 3 + -2. Let k(v) = -7 + m + 8 - v. Let z be k(0). Solve -y + z = 1 for y.
1
Let j be (-2)/(2/(-10)*-2). Let c = j - -5. Solve c = 7*i - 3*i - 4 for i.
1
Suppose 0 = -2*o - 5*f + 3 - 13, -3*f = -2*o + 6. Suppose o*r - 4*r + 24 = 0. Solve -s = -r*s + 25 for s.
5
Suppose -4 = -2*c, 3*n + 3*c + 2 = 8. Solve n*w - 1 = w for w.
-1
Let q(l) = -2*l - 27. Let u be q(-16). Solve -3*v + u = -1 for v.
2
Suppose 3*k = -0*k + 3. Solve t + 0*t + k = 0 for t.
-1
Let u(b) = -2*b + 1. Let y be u(1). Let r be y - (-16)/2 - 2. Solve -r*d + 4*d - 1 = 0 for d.
-1
Let r(x) = x**2 + 8*x + 6. Let n be r(-9). Let f = n + -13. Solve -j + f = j for j.
1
Let c = 8 + 5. Solve -2 - c = -3*i for i.
5
Suppose -g - 3*z = -6*z - 8, 0 = -3*g - z + 4. Solve 4 = g*x + 2 for x.
1
Let a(b) = b - 1. Suppose 0 = 3*w - 8*w + 5. Let g be (5/4)/(w/4). Let t be a(g). Solve t*y = -y + 5 for y.
1
Let b(h) be the second derivative of -h**5/20 - 2*h**4/3 - 7*h**3/6 - 7*h. Let y = -1 + -6. Let i be b(y). Solve i = 4*k - k for k.
0
Suppose 4*d = 10 - 2. Let l be (d/4)/((-3)/(-12)). Let c(q) = q + 3. Let w be c(-3). Solve 3*o + l*o = w for o.
0
Suppose -4*g + 3*a - 7 = 0, -2*a + 2 = -2*g - 4. Solve g*k - 10 = -0*k for k.
5
Let c(v) = v**2 - 6*v + 8. Let m be c(4). Solve -4*q + 2*q - 10 = m for q.
-5
Let c(a) = a**2 + 3*a - 1. Let f be c(-4). Let o = 5 - 2. Suppose 3*z = 4*z - 12. Solve z = f*n + o for n.
3
Suppose 7*q = 2*q + 30. Let k be 2*((-63)/q)/(-7). Solve k*b + 2*b = 0 for b.
0
Let y(h) = -h**2 + 9*h + 3. Let b be y(9). Suppose b*l + 4*j = 17, 6 = 5*l - j - 7. Solve l + 2 = -5*s for s.
-1
Suppose 2*f + 31 = 7*f - a, 0 = -4*a + 16. Suppose -5*c = 15, 3*c - f*c - 21 = -3*s. Suppose -t = 1 - s. Solve g = -t*g - 9 for g.
-3
Let t be (-5)/2*(-4)/5. Let o be (-33)/(-5) - 3/5. Solve o = -t*u - u for u.
-2
Let b = 4 + -1. Let m be ((-2)/(-3) + 1)*b. Let n = 9 - -11. Solve m - n = -3*y for y.
5
Let b be (-1*2)/(-7 + 4 - -2). Solve 2*y = b - 8 for y.
-3
Suppose -o = 4*o - 15, -o + 63 = 3*x. Solve -5*f = -0*f - x for f.
4
Suppose -4*r + f + 21 = 0, 5*f - 4 = -3*r + 6. Suppose 0 = -4*q + 1 + 7. Suppose d = -2*h + 28, -q*h = -r*d + d - 8. Solve -5*j + 2*j = h for j.
-4
Let r be (-30)/(-8) + (-6)/8. Suppose -t = 5*q + 15, -9 = 2*q - r. Solve 0 = -t*l + 2*l - 4 for l.
2
Suppose 0 = -5*u - 2*t + 21, -u + 0*t - 6 = -3*t. Solve -u*s - 2 = 10 for s.
-4
Let m be (2/