(-4). Solve b*k - 3 = 9 for k.
4
Suppose -2 = -2*l + l, 2*w = -5*l + 66. Suppose 0*y + y - 5*k - 20 = 0, 5*y - w = k. Solve 2*g = 3*g - y for g.
5
Suppose -6*i + 11 = -7. Solve -i*o = -0*o for o.
0
Suppose q = 2*q - 5*q. Solve 6*l - l = q for l.
0
Suppose 0 = -n + 2*t - 0 - 3, -4*n + 14 = 5*t. Suppose 0 = -k + 2*k + 3. Let p = n - k. Solve 4*j + p = 3*j for j.
-4
Let d be (-6)/4*28/(-6). Suppose 3*f - 6*f + 24 = 0. Suppose f*j + 5 = 5*u + 3*j, 5*j - 35 = -3*u. Solve u*z - 3 = d for z.
2
Let a(y) = -y**2 - 5*y + 8. Let z be a(-6). Suppose -5*i = -5*f - 30, -i - 4*f - 21 = -z*i. Solve 2 = c + i for c.
1
Let p(l) = l**3 - 7*l**2 + 5*l + 6. Suppose 16 + 8 = 4*c. Let w be p(c). Suppose 3*x = 7*x - 16. Solve y + w = -x for y.
-4
Let u = -50 - -54. Solve -2*k + 12 - u = 0 for k.
4
Let r(q) = -q**3 + 3*q**2 + 2. Let y be r(3). Suppose 2*k = -k. Suppose -o + k*o = -6. Solve o = -l + y for l.
-4
Let s be (18/3)/(1 - -1). Solve 4*k - s = 13 for k.
4
Let w be (12 + 2 + 4)*(-2)/(-4). Solve 0*q + 3*q + w = 0 for q.
-3
Let j(n) be the third derivative of n**7/630 - n**6/720 + n**4/12 + n**2. Let d(h) be the second derivative of j(h). Let q be d(-1). Solve -5*g + q = 30 for g.
-5
Suppose -t + 5 = 0, -2*t = 2*n - 30 - 10. Solve 4*h = h - n for h.
-5
Let y = -9 - -9. Suppose y*f = f. Solve 0 = 3*t - f + 9 for t.
-3
Suppose 0*g - 6 = 3*g, 0 = -4*a - 5*g - 10. Let v = 150 - 143. Let b = -5 - -8. Solve b*x - v*x = a for x.
0
Let s(o) = -1 - 1 - 3*o - 3 - o**2 + 3. Let d be s(-2). Solve d = -2*p - p - 9 for p.
-3
Suppose -4*j + 16 = -2*y, 2*y = j + 2*j - 11. Let l be 4/14 + 76/28. Solve -j + l = k for k.
-2
Let y(i) = i**3 - i**2 - 4*i. Let c = 2 - 4. Let n be -1 + (-3 - c)*-4. Let a be y(n). Solve -2*f + a = -5*f for f.
-2
Suppose -2*g + 3 + 1 = 0. Solve g*z - 10 = -0*z for z.
5
Let g = -147 + 149. Solve 2*u - u = g for u.
2
Suppose l + 0*l - 18 = -3*x, -12 = -3*l + 5*x. Suppose -d + 12 = 5*o, d - l = -4*o - 0. Solve -4*z - o = -z for z.
-1
Suppose 0 = -v - 0 + 4. Let k(l) = 2*l**3 + l**2 - 2*l - 3. Let g be k(-2). Let p = g - -16. Solve -p*q - v = -q for q.
-1
Suppose 0 = s - 3*s + 4*g - 6, 15 = -s + 5*g. Suppose -32*t = -30*t - 8. Suppose s*i = t*q - 37, -3*i - 12 = -2*q + 3*q. Solve 12 - q = 3*k for k.
3
Suppose 2*c - 5 = 1. Let z(f) = 2*f - c*f + f**2 + f**2. Let j be z(1). Solve 4*y + j = 5 for y.
1
Let p = -20 + 32. Solve 0*f = -3*f + p for f.
4
Let i be ((-50)/5 + (3 - 1))/(-2). Solve -k + i + 0 = 0 for k.
4
Let b be -15*(-1 + 6/10). Suppose b*a + 16 = 3*y + 5*a, -y = a. Solve 4 + 0 = -y*r for r.
-1
Let c be ((-4)/10)/((-7)/35). Solve -k = c*k + 9 for k.
-3
Let k(h) = h**3 - 7*h**2 - 6*h - 11. Let g be k(8). Solve -g*s + 20 = -s for s.
5
Let t = -65 - -65. Solve 5 = -t*q + 5*q for q.
1
Let t be 3*(2 - 1)/(-1). Let x = 6 + t. Suppose x*s + 0 = 6. Solve -s = -2*d - 0 for d.
1
Let q be 2 + (-6)/((-2)/1) + -2. Solve 0 = p - q*p - 4 for p.
-2
Let t(k) = k**2 + 7*k + 2. Let r be t(-6). Let f = 5 + r. Let j be 2 - (-2 + 2 + -2). Solve f + 3 = j*m for m.
1
Suppose 4*j - 7 = n, -2*j + 15 = 3*j + 5*n. Suppose -v - 2 = -5. Solve -p + v*p = j for p.
1
Suppose 4*x - 3*h - 8 = 0, 4*x + 7*h = 4*h + 8. Solve -3*r + x = -7 for r.
3
Suppose 37*q = 35*q + 12. Solve -5 = t - q*t for t.
1
Suppose -4*u + 2*u + 18 = 2*t, -t + 2*u = 0. Let f be 39/18 + 1/(-6). Solve -f*z + 4 = -t for z.
5
Let f(t) = -t + 17. Let p be f(9). Solve -p = 2*a + 2*a for a.
-2
Suppose -6*z = -2*z + 8. Let l be 5 + -3*(z + 3). Suppose -j + 0 = 3, j = -t + 5. Solve -2*q - l*q - t = 0 for q.
-2
Let r(u) = -u**3 - 4*u**2 + 7*u + 7. Let c be r(-5). Let j be c*(-2)/3 - 0. Let f be -1*4*1*-1. Solve 0*a - j*a = f for a.
-2
Let r(l) = 3*l + 6. Let n(f) = 2*f + 3. Let c(v) = 10*n(v) - 6*r(v). Let z be c(4). Suppose 0 = 2*p - 3*o - 1, 2*o = z*p + 3*p - 8. Solve 15 = p*u + u for u.
5
Suppose 3*s = 5*a + 4 + 8, 0 = -4*s + 16. Let x be 0 - a/(-1 + 4). Suppose -2*l + 2*c = 7*c + 17, l + c + 1 = 0. Solve x = -2*y - 0 + l for y.
2
Let x be (-3 + 52/(-8))*-2. Let v = 23 - x. Solve -10 = 2*k - v for k.
-3
Let d(l) = -1 + l**2 - 2*l**2 - 11*l + 3. Let b be d(-11). Suppose 2*c = 4*h - 12, -13 = c - 5*h + b. Solve c = u + u + 4 for u.
-2
Let c = 13 - -6. Suppose 4*b - c = t, 2*b - 1 = -t + 4. Solve b*v - 1 - 3 = 0 for v.
1
Suppose -12 = -4*j + 4. Suppose -2*v - 72 = -4*x, -v = -j*x + 4*v + 84. Solve 0*i + 4*i + x = 0 for i.
-4
Suppose 5*u = 5*f - 10, 3*u - 7*u - 10 = -5*f. Solve -5*a + u*a + 5 = 0 for a.
1
Let s be 2/(-8) + (-21)/(-4). Let k = s - 2. Solve 0 = -2*l - 5 - k for l.
-4
Let b = -22 - -26. Suppose 0 = 3*j + 5*x - 15, -b*j - 4*x + 15 = x. Solve -2*h + 5*h + 9 = j for h.
-3
Suppose 77 + 23 = 10*r. Solve r = 3*c - 2 for c.
4
Let p = -8 + 14. Suppose c = -c + p. Let u(g) = 9*g**3 - g**2 + 1. Let x be u(1). Solve 0 = c*d - 0*d + x for d.
-3
Let o = -6 + 18. Suppose -2*w + 2*p + 6 = 2*w, 0 = -w - 3*p + o. Suppose -j + 3*c - w = 0, -4*c + 3 = 3*j - c. Solve j = -3*g - 0 - 9 for g.
-3
Let t be (-2)/7 - 4/(-14). Let w = 29 - 27. Solve t = -3*b - w - 4 for b.
-2
Let v be 1 + 0 + 6 + -9. Let q be (0 - v - 1) + -1. Solve 3 = -q*l + l for l.
3
Suppose 2*r = -4*r. Solve -t + r = 5 for t.
-5
Let p(n) = -2*n - 2. Let m(v) = v + 6. Let b be m(-6). Suppose 2*q + 4 + b = 0. Let s be p(q). Solve -2*l - s = -l for l.
-2
Let s(q) be the second derivative of q**5/20 + q**4/3 - 2*q**3/3 + q**2 - 3*q. Let j be s(-5). Let k be (-1*4)/(j/9). Solve -k = -3*d - d for d.
3
Let x(p) = 3*p - 10. Let q be x(4). Suppose k + 3*c + 2*c - 10 = 0, 4*c = q*k + 8. Solve k = v + 3 - 5 for v.
2
Let t = 22 + -31. Let u(o) = 7*o**3 + 18*o**2 - 3. Let j(w) = -4*w**3 - 9*w**2 + 1. Let n(s) = -5*j(s) - 3*u(s). Let l be n(t). Solve h + l = 3*h for h.
2
Let z be (-49)/(-7) + (1 - 2). Let a(r) = r - 6. Let c be a(z). Suppose c = 3*k - 5*k + 8. Solve -5*b + b + k = 0 for b.
1
Suppose 0 = 3*v - 6*u + u - 45, 5*u - 75 = -3*v. Suppose 0*x + v = 2*x. Solve t = -4*t + x for t.
2
Let n(h) = -h**3 + 2*h**2 + 2*h + 2. Let g be n(3). Let w be 1 - (g - (-4 - -2)). Solve w = 2*t + 2*t for t.
0
Let a be (-16)/(-6)*9/4. Let s = 9 - a. Suppose -s*k + 2*k + 6 = 0. Solve 20 = -i + k*i for i.
4
Suppose 3*u + 3*d = 4*d + 16, -3*d = 3*u - 12. Solve 8*r - 3*r = -u for r.
-1
Let u(x) = x**2 + 7*x + 5. Let a be u(-7). Suppose a*j - 5*k = 2*j - 5, -3*j + 3*k + 3 = 0. Solve 4*c = j + 11 for c.
4
Suppose -2*h + 3*y = -9, -2*h = 2*h + y + 3. Solve 2*u + h*u = -4 for u.
-2
Let v = -17 + 10. Let m = v - -9. Solve -x = x - m for x.
1
Let o = 1 - -6. Let a = o + -5. Solve a*r = 3*r for r.
0
Let q = -82 - -57. Let z = -10 - q. Solve -r = -4*r + z for r.
5
Let i(c) = -c**2 + 11*c - 8. Let m be i(10). Let j = 7 + -2. Solve -m*k = 3*k + j for k.
-1
Let o = -70 + 72. Solve -o*q + 7 = -1 for q.
4
Suppose 38*s - 36*s - 6 = 0. Let t = -18 - -34. Solve p = -s*p + t for p.
4
Let w be 2/9 - (-4)/(-18). Solve -2*l - 9 + 1 = w for l.
-4
Suppose 2*m + 6 = 3*l, -2 + 4 = 2*m + l. Solve h = -m - 4 for h.
-4
Suppose 0*p + 54 = 3*p. Suppose -d + 5 + 11 = 0. Let n = d - 11. Solve -n*s + 7 = -p for s.
5
Let h be 0 + (-2 + 0)*-1. Let c be (4/(-10))/(2/10). Let k(a) = 3*a**2 + 2*a - 1. Let v be k(c). Solve -h*y = -v*y - 15 for y.
-3
Suppose -14*v + 12*v = 0. Solve v = d + 2*d - 6 for d.
2
Let q be (-1)/((2/2)/(-1)). Let k(z) = 9*z - 1. Let y be k(q). Let c be (2/(-5))/(1/(-5)). Solve -6*v + c*v = y for v.
-2
Let j be 3/9*(3 + 6). Let a be (j/(-3))/(3/(-9)). Solve -a - 2 = l for l.
-5
Let d(k) = -2 - 2*k**2 - 4*k**2 + 5*k**2 + 7*k. Let z be d(6). Solve 0 = 5*v - 14 + z for v.
2
Let a(o) = -2*o - 1. Let u be a(-2). Let b be (240/(-9))/(-4)*u. Let f = 2 - 2. Solve 5*i + f = -b for i.
-4
Let h(f) = -11*f**3 - 2*f**2 - 2*f - 1. Let u be h(-1). Suppose -2*i + 4*i - 2 = -3*b, 4*b + 28 = 5*i. Solve y + u = -i*y for y.
-2
Suppose -95 = -4*w - w. Suppose -2*z - 3*f = -w, -3*z + 2*f = -0*z - 61. Let o be 24/(-36) + (8/(-3))/(-4). Solve o = 5*p - z + 2 for p.
3
Let p = 69 + -69. Solve 0 = -p*n - 3*n + 9 for n.
3
Suppose 0*g - 4 = -4*g. Let b be ((-48)/(-3))/(2 - g). Solve -1 = -3*h - b for h.
-5
Suppose -16*l + 2*l = -28. Solve -l*v + 8 - 2 = 0 for v.
3
Suppose 0 = 2*a - 2*m - 2*m - 20, a + 2*m = -6. Suppose -3*v + 1 + 5 = -2*q, 0 = a*q. Solve -j + v = 4 for j.
-2
Let y be 2*3/(-6) + 6. Suppose 5*a = -0*b + 3*b, y*b - 16 =