11. Let c be d(7). Let m be (-9 - (0 + c))*-1. Solve -2*b = -m*b - 6 for b.
-2
Suppose -5*u = -4*u - 20. Solve 0 = 2*k - 6*k + u for k.
5
Suppose -8*j = -4*j - 12. Solve -1 = o - j for o.
2
Suppose -4*t - 5*w = -2*t + 15, 0 = -2*t + 2*w + 6. Solve -2*m - m + 9 = t for m.
3
Let z be (-5)/((-25)/60) - 3. Solve 0 = -2*o - z + 5 for o.
-2
Suppose -4*c + 3*n + 18 + 4 = 0, 3*c + 5*n = 31. Solve -c*j = -3*j + 16 for j.
-4
Let m(x) = 2*x**2 + 3*x - 3. Let y be m(-3). Suppose -2*p + y*p - 10 = -5*b, 3*p = -3*b + 6. Solve -2*k + 8 = -p*k for k.
4
Let y(h) = 7*h**3 - 4*h**2 + 7*h + 1. Let i(s) = 13*s**3 - 8*s**2 + 13*s + 1. Let a(r) = -6*i(r) + 11*y(r). Let w be a(4). Solve 0 = -m + w - 2 for m.
-1
Suppose 2*p - 4 = 2. Solve -d - 16 = p*d for d.
-4
Let o be (18/15)/(2/10). Suppose 3*d - 21 = -o. Let h = -1 + d. Solve h*r = -10 - 2 for r.
-3
Let n be (-3)/(-12) + 2/(-8). Let b(k) = -k**3 + 5*k**2 - 3*k - 2. Let u be b(3). Suppose n*f + f = 5*z - u, -4*z + 2*f = -8. Solve 0 = -2*q + 7 - z for q.
3
Suppose 0 = -d - 0 + 1. Let g = d - -1. Let m be ((-8)/(-12))/(g/15). Solve -2*a + m + 5 = 0 for a.
5
Let s = 44 - 42. Solve 3*n + 1 = s*n for n.
-1
Let l = 36 - 32. Solve -14 = l*y - 6 for y.
-2
Let j be (2 - 1)*-1 + 1. Let s be (-8)/(-3 - (-1 + j)). Let y be (-2)/s*-4 - -2. Solve -y*d = d for d.
0
Let g(v) = v**2 + 2. Let s be g(0). Solve -8 = s*t - 0 for t.
-4
Suppose 0 = 3*n + 2*n - 10. Solve 0 = 3*t + n*t for t.
0
Let t(x) = -3*x - 9. Let b be t(-6). Let j be (4/(-3))/((-6)/b). Let y be 1/((-2)/(-2*4)). Solve -2*a - y = j*a for a.
-1
Let g(u) = -u + 2. Let a be g(-2). Suppose j + 2*x = -a*j, 0 = 4*j - x. Solve -r - 4 = -j for r.
-4
Suppose 4*h = -64 + 88. Solve 0 = -c - c + h for c.
3
Suppose 0 = 8*k - 5*k + 9. Let n be 2/k + 8/3. Solve 0 = -n*v - 0*v for v.
0
Suppose -10 = -q + 6. Suppose -3*z - 2*r + q = 0, 2*z + 3*r + r - 24 = 0. Suppose 0*f + 16 = z*f. Solve 4*a = 2*a - f for a.
-4
Let h(t) = 3*t - 10. Let n be h(5). Solve -2*v + 3*v = n for v.
5
Suppose 5*v - v = -2*r + 8, 0 = 4*r - 5*v - 42. Suppose r = 2*i - 2. Suppose -i*p + 13 + 7 = 0. Solve p*s - 1 = 3 for s.
1
Let o be (-652)/(-18) - (-2)/(-9). Let c be (3 - 2)*o/6. Solve -c = d - 4 for d.
-2
Suppose 0*q + q - 5 = 0. Suppose -r = 2*a - 19, 16 = 2*a - r - q. Let l be (-1)/(1 + -2)*0. Solve l = 5*k - 10 - a for k.
4
Suppose -5*c + c = -4. Solve 0 = 2*r - r + c for r.
-1
Let t = 3 + 3. Suppose -2 = x - t. Solve x*r - 3*r = 0 for r.
0
Let k(a) = a**2 + 10*a - 11. Let r be k(-11). Let d = r - -5. Solve -6 + 21 = -d*h for h.
-3
Let g = -1 + 3. Suppose c = -g*c + 18. Solve -c*b = -2*b - 12 for b.
3
Let h = -22 + 35. Let b = h - 9. Let f = 6 - b. Solve f*z = z for z.
0
Suppose -2*r - 21 = -5*w + r, 4*w - 6 = -3*r. Solve 0 = w*h + 19 - 7 for h.
-4
Suppose -4 = -3*h + 2*h. Solve 1 = g - h for g.
5
Let c(n) be the second derivative of -n**5/20 - n**4/12 - n**3/6 - n**2/2 + n. Let w be c(0). Let i be 1/(w - 9/(-6)). Solve i*h + 20 = 6*h for h.
5
Suppose 5*n + 5 - 115 = 0. Suppose 5*q - n = -2. Let d be (-2)/3*30/(-4). Solve 0 = a - d*a - q for a.
-1
Let g(k) = 8*k - 3. Let p(b) = -7*b + 4. Let h(t) = -5*g(t) - 6*p(t). Let m be h(7). Solve m = 2*u + 1 for u.
2
Let f(h) = h**2 + 6*h + 3. Let x be f(-6). Solve 3 + 0 = x*q for q.
1
Let h be 5/(20/16) - 2. Solve 8 = h*a + 4 for a.
2
Let m be -1*(-8 + 5 + -1). Solve -4 - m = -2*w for w.
4
Suppose 0 = 4*b - 4 - 8. Let f(k) be the second derivative of -k**5/10 - k**4/3 - k**3/3 + k**2 + k. Let t be f(-2). Solve -t - 9 = -b*v for v.
5
Let z be (2 - (2 + -2)) + -3. Let y be (-1 - z)/((-2)/2). Suppose -v + 3 = -y*v. Solve v*w + 15 = -0*w for w.
-5
Suppose -3*v - v + 3*b = 34, 6 = -2*v - 4*b. Let f(n) = 2*n + 6. Let y(l) = 3*l + 9. Let k(o) = -8*f(o) + 5*y(o). Let z be k(v). Solve 0 = r + z*r + 10 for r.
-2
Let m be ((-264)/(-18))/(2/(-6)). Let n = 64 + m. Solve n = -5*t + t for t.
-5
Let u(n) = -n - 2. Let f be u(-3). Solve -f = -d - 4 for d.
-3
Suppose 2*r + 42 - 54 = 0. Solve 3*y - r*y = -9 for y.
3
Suppose -18 = 3*m - 12*m. Let l = 0 - -4. Solve -m - 2 = -l*t for t.
1
Suppose 0*w - 3*w = -4*l + 31, -5*l - 5 = 5*w. Suppose -l*o - 2 = -2*i + 2, -8 = -i - 4*o. Let p be ((-9)/3 + i)*3. Solve -p*q = -4*q + 4 for q.
4
Let n(g) = 3*g + 12. Let l be n(-8). Let o = -7 - l. Solve -o*m = -m + 4 for m.
-1
Let c = 17 + -12. Suppose 0 = c*k - 4*k - 4. Solve q = k*q + 3 for q.
-1
Let y be 23/4 - 2/(-8). Suppose -3*b - 10 = 4*c, -4*b - 2*c + c + 4 = 0. Suppose 4*j = 8*j - b*z - 6, -j = z - y. Solve -x = j*x - 4 for x.
1
Suppose -h - a = -27, h + a - 127 = -4*h. Solve h - 5 = 5*n for n.
4
Let b be (-3)/(-3) + 20/15*3. Solve 4*i + b - 1 = 0 for i.
-1
Suppose 3*m + 5*u = -9 - 5, -3*m + 4*u - 5 = 0. Let a = 5 + m. Suppose -3*d + 25 = a*d - 5*o, -12 = 4*o. Solve -d*w - 2 - 4 = 0 for w.
-3
Let w = -2 - -1. Let i be w - 2/((-4)/6). Suppose m = -5*r + 22, 5*m + 2*r - r = 14. Solve -2*o + m = -i for o.
2
Let m(k) = 6*k**2. Let n be m(2). Suppose 5*z - n = z. Solve 0*x + z = 3*x for x.
2
Let f be (-30)/12*(-96)/15. Suppose -2*x - 5*y = -5, -x = 2*x - y - f. Solve -12 + 37 = x*a for a.
5
Let a be (-63)/(-28) - (-2)/(-8). Solve 0*r = -a*r for r.
0
Suppose 2*o - 36 = -0*o. Let m = o + -11. Solve -m*u = -2*u + 25 for u.
-5
Let h(p) = p**2 - 11*p + 2. Let n be h(11). Solve 0*r - n*r = 0 for r.
0
Let a(h) = 3*h**3 - 8*h - 7*h**2 - 2 - 4 - 4*h**3. Let i be a(-6). Suppose 3*k = i*k. Solve 16 = -k*n - 4*n for n.
-4
Let y be (-2)/6 - (-35)/(-3). Let x = y - -17. Suppose -h - k - 7 = -2*h, 11 = -3*h - x*k. Solve -h*v + 2*v = 5 for v.
-5
Suppose p = -3*p + 2*u + 2, -3*p = 3*u - 24. Let t = 1 - 1. Suppose 3*n - 3 - 9 = t. Solve n = -p*w + 4*w for w.
4
Let p = 6 + -6. Solve -h + p*h = 3 for h.
-3
Let j be 3*(-2)/9*-12. Let q = -4 + j. Solve 0 = -4*t - 12 - q for t.
-4
Suppose 2*k = 4 - 0. Suppose 31 = 5*a - 4*l, 15 = 2*a + 4*l - 3. Solve k = o + a for o.
-5
Let y be 1*6*32/48. Solve 0 = -0*o - o + y for o.
4
Let o be (3 - 5) + (-28)/(-4). Suppose -o*y + 1 = -9. Solve 2 = y*b + 6 for b.
-2
Let i(g) = g. Let a be i(4). Suppose -2*h = -0 + 4. Let p(j) = 5*j**2 + 2*j. Let z be p(h). Solve z + 0 = -a*u for u.
-4
Suppose 4*p + 12 = 7*p. Solve -f = -0*f - p for f.
4
Suppose 0 = -4*p - 5*h + 27, 0*h - 3 = -4*p + 3*h. Let t = p - -3. Solve -t*f + f = 0 for f.
0
Let x = -5 + 10. Let w = x + 3. Solve 2*n + w = -0 for n.
-4
Let f = 13 + -9. Suppose 15 = -5*a - 5*q, 2*a + 4*q + 20 - 4 = 0. Let u = 0 + a. Solve f*w - u = 2 for w.
1
Let i be (7 - 0) + (5 - 9). Solve 6 = -0*g - i*g for g.
-2
Suppose 2*z = -3*b + 25 - 5, -z - 2*b = -12. Suppose -p + 4*i + 6 = 0, -5*p + 2*i - z = -16. Solve -p*v = 3*v + 15 for v.
-3
Suppose -82 = -5*b + 3*f, f = 2*b - 0*f - 32. Solve -b = -5*k + 11 for k.
5
Let f be 0/((1 + -5)*(-2)/(-4)). Solve f = -3*g - 4 + 1 for g.
-1
Suppose 3 = 4*j - 9. Suppose 4*t = 5*g - 16, 4*t + 9 = -2*g - 7. Solve 3*b = -g*b - j for b.
-1
Let v(r) = -5*r**2 + r. Let l(m) = m**2 + m + 1. Let u(s) = -4*l(s) - v(s). Let d be u(6). Solve w = -d*w - 9 for w.
-3
Let h be 1 + (5 - -2 - 5). Solve 0 = h*c - 2 - 1 for c.
1
Let q be 5 - -3*(-3 - -2). Suppose -2*w = 5*p + 10 - q, 2*p + w + 4 = 0. Let r be (-1)/1*(p + -4). Solve -3*a = -a + r for a.
-2
Let j = -5 - 2. Let n(u) = u + 4. Let p(t) = t + 5. Let l(d) = -4*n(d) + 5*p(d). Let c be l(j). Solve 15 = -s - c*s for s.
-5
Let i = 25 - 23. Let j(d) = -d**3 + 3*d**2 - 4*d + 4. Let g be j(i). Solve 4*n + 19 - 3 = g for n.
-4
Let b be 11/22 + (-86)/(-4). Let w = b + -16. Solve -s = -w*s - 10 for s.
-2
Suppose 15*v = 19*v - 8. Solve -v + 1 = u for u.
-1
Let k(q) be the first derivative of q**2 + 3*q - 1. Let i be k(3). Suppose -a = -0*n + 3*n - 1, -2*n = 5*a - 18. Solve -a*u = -u + i for u.
-3
Let y(k) = -k - 11. Let q be y(-13). Solve -3*s + 11 = q for s.
3
Let h = -28 - -34. Solve w = h*w for w.
0
Let m(w) = w - 4. Let z be m(12). Solve z = 3*o - 5*o for o.
-4
Let t be (-2 - -8)*8/6. Suppose t*k = 3*k + 20. Solve s + 20 = -k*s for s.
-4
Suppose 5*v - 45 = -0*v. Suppose k - g = 3, 5*k + 2*g = g + v. Let q be (-1 + 1)*(-3)/6. Solve -k*j + 4 = -q for j.
2
Let g(f) = -f**2 + 7*f. Let p be g(5). Suppose -p*t = -9*t - 7. Solve -5*w = 2 - t for w.
1
Suppose 0 = -3*c - 0 - 3. Let w(l) = -4*l - 1. Let a be w(c). Suppose -i + 26 - 6 = 0. Solve -m + i = a*m for m.
5
Suppose -2*y +