2. Let l be -2 + ((-1)/p - -5). Solve -7*s + l*s + 15 = 0 for s.
3
Let g = 8 - -6. Let r(c) = -c**2 + 15*c - 14. Let t be r(g). Solve t = -3*p + p for p.
0
Suppose 1 = 2*s - 3. Suppose 2 = -s*n + 3*n. Solve 10 = -3*a - n*a for a.
-2
Suppose -3*q - 3*w = w - 7, 0 = 3*q - 4*w - 23. Solve -2*c = -q - 1 for c.
3
Suppose -5*x = -0*x - 35. Suppose 14 = 2*r + r - 2*z, 0 = -r + 3*z - x. Solve -3*u + r = -7 for u.
5
Let d(s) = -s**3 - 7*s**2 - 8*s - 6. Let u be d(-6). Let z be (4/u)/((-4)/(-18)). Suppose -15*y + 22*y = 14. Solve -h - y*h = -z for h.
1
Suppose q = 5*b - 10 - 9, 5*b = -q + 11. Suppose 7*s - 3*s + 2 = -b*u, s = -3*u + 4. Solve -u = -g - 3 for g.
-1
Let q be (1/2)/((-2)/(-8)). Suppose -17 = -3*s + q*t, s - 6*s = -2*t - 23. Suppose 5*y - 23 = -3*b, b + 11 = y - 0*b. Solve 2*h + y = s for h.
-2
Let r be (-5)/(-3) - (-2)/6. Suppose 0 = -3*j + x + 23, 6*x - 5*x - 49 = -5*j. Solve j = -r*y - y for y.
-3
Let m(w) = -w**2 + 6*w - 4. Let u be m(5). Suppose 1 = x - u. Suppose 2*i - x = i. Solve -i*q - 6 = -4*q for q.
3
Suppose 3*y + 4 = 16. Solve -2*o + 3*o - y = 0 for o.
4
Let g(s) = -s - 6. Let l be g(-4). Let y = l - -5. Suppose -5*f + 0*m = 5*m + 5, 4*f = 4*m + 20. Solve f*i + i = y for i.
1
Let y be -1*((-8)/4 + -2). Suppose 4*v = -t - y, -2*t - 9 + 1 = v. Solve v = 5*c + 22 - 2 for c.
-4
Let a = -39 + 59. Let y = a + -10. Solve 2*h + 3*h - y = 0 for h.
2
Suppose 5*r - r = -3*g + 143, -g + 69 = 2*r. Suppose 4*f + 3*m + 0*m - r = 0, -4*f = 2*m - 32. Solve -2*j = 2 - f for j.
3
Let u(w) = w**2 - 4*w - 2. Let h be u(6). Solve -4*a + 2 = -h for a.
3
Let r = -7 - -7. Let l be (5 - (2 + 1)) + r. Solve 3*a = a - l for a.
-1
Suppose 4*j = -4*t + 16, -3*t + j + 4*j = -52. Let h = t - 6. Solve 2*l + 3 = h*l for l.
3
Let q be 3/6 - (-125)/10. Solve 0 = -4*j - q + 1 for j.
-3
Suppose 20 = 4*u + v - 0, v + 10 = u. Solve 0*g + 2*g - u = 0 for g.
3
Let u(g) = g - 6. Let m be u(4). Let p = m + 22. Let j = -11 + 15. Solve -p = -j*n - 0*n for n.
5
Suppose -11 = 2*u - d, -2*d = 3*u - 0*d - 1. Let f be -1*(4*u)/3. Suppose 2*i + 4*t = 6*i + 16, 5*t = f*i + 21. Solve 0 = -4*m - i - 11 for m.
-3
Let s be 6/27 + (-8)/36. Solve 4*v = -s*v + 4 for v.
1
Suppose -8 = w - 3*w. Suppose -5*h = -w*h - 5. Solve 0 = -i + h*i - 16 for i.
4
Let y be 2*(-2 - -3 - 0). Suppose 0 = -5*q - 5. Let v = q - -3. Solve -v*b + y = -b for b.
2
Let y be 6*-10*5/(-60). Solve -4*u + y*u = 0 for u.
0
Let m(t) = -t**2 - 12*t + 4. Let s be m(-12). Suppose 1 = 3*f - 5. Suppose -w = 3*w + f*p, w = -2*p. Solve w*j - s*j - 12 = 0 for j.
-3
Let h(p) = 3*p - 2. Let f be h(2). Suppose -f*q = -0*q. Suppose -36 = 2*k - 20*k. Solve k*t + q*t = -8 for t.
-4
Let z(v) = v + 3. Let f be z(0). Solve -f*j + 10 = -8*j for j.
-2
Let p be (-74)/(-14) - (-8)/(-28). Solve 6*h - p = h for h.
1
Let u(q) = 3*q**3 + 2*q**2 + 3. Let g(i) = -13*i**3 - 7*i**2 + i - 11. Let f(b) = 2*g(b) + 9*u(b). Let d be f(-4). Let k = d + 3. Solve k = 2*r + 2 - 10 for r.
4
Let k = 8 - -2. Let n = k + -7. Let s = -77 - -83. Solve -n*z = -6*z - s for z.
-2
Suppose -4*v + 9 = k, -k = 2*v + 4*k - 9. Let h be v/2*0/2. Solve h = -2*i + 3 + 3 for i.
3
Suppose n + 0*b + 6 = 3*b, -b = 5*n - 34. Let w(k) = -3 + 2*k - k**2 - k - 4*k - n*k. Let s be w(-7). Solve s = -4*o + 3 for o.
-2
Suppose -s - 3 = -7. Solve s*l = -0*l + 8 for l.
2
Let f = -13 + 18. Solve 15 = -5*j - f for j.
-4
Let u = -8 - -10. Suppose -c - 2 = -u*c. Solve c - 8 = -3*a for a.
2
Let l(c) = -c - 1. Suppose -2 - 7 = 3*x. Let p be l(x). Solve 10 - p = 4*b for b.
2
Let r = -25 + 41. Solve h + 3*h = r for h.
4
Suppose i + g - 4*g - 20 = 0, 0 = 2*i - 4*g - 30. Let k = i - 3. Suppose -k*p - 3 + 15 = 0. Solve -y - y = -p for y.
3
Suppose 3*p = -5*g - 1 - 0, 10 = 2*p - 2*g. Solve b = p*b for b.
0
Let x = 3 + -1. Suppose 0 = -5*w - x*a + 3*a + 11, -3 = -w + a. Let t = 0 - 0. Solve 2*m + t*m = w for m.
1
Let v(a) = -a**3 + 5*a - 4. Let w be v(-3). Solve -w = -7*l + 3*l for l.
2
Suppose 0 = 5*v - 5*k, v = -3*v + k. Solve g + v*g = 4 for g.
4
Let p = 74 + -74. Solve -c - 2*c - 3 = p for c.
-1
Let g be ((-4)/(-12))/(2/12). Let h = 0 - -2. Solve h*x = -g*x - 12 for x.
-3
Let l(b) be the second derivative of b**3/3 - 7*b**2/2 + b. Let j = -27 + 33. Let z be l(j). Solve z*c - 5 = -0*c for c.
1
Suppose -16*d = -15*d + 16. Suppose 8 = 4*t + 3*g, -5*g - 3 = 17. Let j be t/((-10)/d) - -1. Solve -b + 4 = j for b.
-5
Let y(q) = -q**3 - 8*q**2 - 6*q - 6. Let f be y(-7). Let w = f - -17. Solve 0 = 5*l - 1 - w for l.
1
Let s be 4*4*15/30. Solve s*w - 25 = 3*w for w.
5
Let c(g) = 2*g**2 - 13*g + 6. Let p be c(6). Solve 0 = -p*s + 4*s - 8 for s.
2
Let l(h) = -h**2 - 9*h - 11. Let p be l(-8). Let n(y) = y**3 + 3*y**2 - 2*y - 4. Let x be n(p). Solve 0 = -0*b + x*b for b.
0
Suppose 0 = -3*j + 12, 5*g - 3*j - 7 = -j. Let b be -9*(0 + (-4)/2). Suppose 3*a - b = -g. Solve -a = -k - 1 for k.
4
Let k(d) = -d**2 - 6*d - 6. Let n be k(-3). Solve 0 = -v - n + 5 for v.
2
Suppose 0*k - 4*k = -8. Suppose 9 = -k*q + 5*q. Suppose 0 = -4*v + 2*j + 22, 0 = -q*v + 4*j - 0*j + 29. Solve -2 = -h - v for h.
-1
Let j(h) = h - 3. Let w be j(4). Suppose 1 + w = k. Solve 4*u - 3*u = k for u.
2
Let p(r) be the second derivative of -r + 7*r**2 + 1/6*r**3 + 0. Let a be p(-12). Solve -h = a*h for h.
0
Suppose 0 = -2*r - 8 + 14. Solve r*y = y - 8 for y.
-4
Let j be 15/(-15)*(-6)/2. Solve j*h + 8 = -h for h.
-2
Let f(q) be the first derivative of -q**4/4 + 8*q**3/3 - 7*q**2/2 + 4*q + 6. Let i be f(7). Solve 0*d - i*d + 16 = 0 for d.
4
Let d be (-3)/(-3)*6/2. Solve -2*p + 3 + d = 0 for p.
3
Let z(l) = 3*l + 4. Let t be z(-8). Let i be 6/(-2 - 46/t). Solve 3*u + u = i for u.
5
Suppose 56 = p + 3*p. Suppose 0*q - 3*q = -15. Let s(j) = j + 9. Let c be s(-6). Solve c*d - p = -q for d.
3
Suppose -4*q = -3*q - 10. Suppose -25 + q = -3*p. Solve p*b - 6 = 19 for b.
5
Let x(z) = z**2 - 4*z. Let c be x(4). Let y be 2/(-5) - (-7)/5. Solve -t = -c*t + y for t.
-1
Let m(o) = -o**3 - 18*o**2 + 18*o - 19. Let h be m(-19). Solve h*j + 2*j = 6 for j.
3
Suppose -7*o + 0*o = -0*o. Solve 5 + o = m for m.
5
Let s = 24 - 21. Suppose 23 + 13 = s*n. Solve 0 = -5*o + o + n for o.
3
Suppose -5*f + 37 = 2*v + 114, -f = 4*v + 163. Let t = -3 - v. Suppose 0 = 3*d - t + 2. Solve p = -3*p + d for p.
3
Let v be (-1)/(3/(-14 + -4)). Solve 2*b - v = -b for b.
2
Let f = 41 - 39. Solve 0 = -k + 1 - f for k.
-1
Let t(x) = 2*x + 8 - x**3 + x**2 - x - 1. Let u = -3 - -3. Let y be t(u). Solve -8 = y*d - 3*d for d.
-2
Let h(u) = 3*u - 2. Let z be h(3). Let n be (-14)/z - (-4 - 0). Solve 0 = -n*q + 4*q - 8 for q.
4
Let s be 24/9*(-12)/(-8). Solve -s*r - 5 = 11 for r.
-4
Let b = -2 + 6. Suppose 2*z - z = 0. Suppose z = 3*t + 1 - b. Solve -t = 5*x - 4*x for x.
-1
Suppose 18*f = -14 + 50. Let p(w) = w + 3. Let h be p(5). Solve f*i + 0*i = h for i.
4
Let t(j) = -6*j**3 + j. Let k be t(-1). Suppose 16 + 4 = k*s. Solve 0 = -s*n + n - 12 for n.
-4
Let b = -23 - -23. Solve -5*c + c = b for c.
0
Let b(a) = -a + 8. Let o be b(6). Solve o*t - 4 = -6 for t.
-1
Let z be ((-10)/3)/(2/(-6)). Suppose v - z = -v. Solve 0 = 2*m - 3 - v for m.
4
Suppose 4*c - 2*c = -3*w - 8, 4*c + 16 = 4*w. Suppose -q + 4*q = 3. Let d be -5*((q - 0) + -2). Solve 0 = -w*a - 5*a + d for a.
1
Suppose -6*f + 22 = -20. Solve -12 = -4*l + f*l for l.
-4
Let u(o) = -7*o**2 - 12*o + 10. Let y(h) = -10*h**2 - 18*h + 15. Let x(p) = 7*u(p) - 5*y(p). Let i be x(-7). Solve i*d + 3 = d for d.
-3
Let i(w) = -w + 4. Suppose 21 = 3*r - 0*r. Let m be i(r). Let c = m - -5. Solve 3*h = -c*h + 15 for h.
3
Let c = 79 + -74. Solve -2*p = -c*p + 12 for p.
4
Let u = 46 + -19. Suppose 2*f + 11 = u. Solve -f*t = -3*t for t.
0
Let y = 14 - 12. Solve -y = 3*n + 7 for n.
-3
Let p(o) = -o**2 - 12*o - 24. Let l be p(-9). Solve 0 = l*f - 4 - 2 for f.
2
Let l be 2/(-7) - (-69)/21. Solve l*x + 11 = -1 for x.
-4
Suppose -3*h = y + 2, 19 = 4*h - 3*y - 0*y. Suppose 3*x = -2*s - 2*x - 5, -s - 2*x - h = 0. Let q = 42 + -26. Solve -s*k - 4 = q for k.
-4
Let h = -121 + 121. Solve -u + 3 = -h for u.
3
Let q(p) = p**2 + p - 32. Let z be q(-7). Solve -x - z + 6 = 0 for x.
-4
Suppose 0 = 3*b - b - 4. Suppose -4*r + 5*h - 4 + 0 = 0, b*r = 3*h. Let f = -4 - r. Solve f*l + 2*l = 0 for l.
0
Let c = -39 - -40. Solve c - 9 = -2*d for d.
4
Suppose 5*d = 5*f - 15, 