 11. Solve -f = 6*u - u for u.
-5
Let b(x) = x**3 - 11*x**2 - x + 14. Let u be b(11). Suppose 0 = -u*a - 1 + 10. Suppose 0 = -0*d + 2*d - a*q - 9, d - 3 = q. Solve d = n + 4*n for n.
0
Let x = -45 + 44. Let f(h) = 6*h + 7. Let d be f(x). Solve -3 = -2*u + d for u.
2
Let u(h) = h**2 + 13*h + 12. Let d be u(-12). Let j(n) = -1 - 1 - 3*n**2 + 2*n**2 + d - 6*n. Let y be j(-5). Solve v = y*v for v.
0
Let h = -20 - 3. Let y = h + 28. Solve -y*m - 2 + 12 = 0 for m.
2
Let d = -2231 + 2236. Solve 10*m = d*m - 10 for m.
-2
Suppose t + 1 = 4*t + 2*x, 17 = -4*t + x. Let m be 14/(4 - (3 - t)). Let w be 6 + (m - -3)/(-2). Solve 0 = -3*o - o + w for o.
2
Let c(j) = j**2 - 3*j + 3. Let g be c(3). Suppose -20 = -3*v - 8. Suppose -3*y - v + 7 = 0. Solve 0 = -4*q + g*q + y for q.
1
Let r be -2*((-251)/22 + (-1)/11). Solve 0 = -5*d + r - 8 for d.
3
Let d(g) = -g. Let s be d(-4). Let y(z) = -2*z - 6. Let k be y(-7). Suppose 5*n = -s*j + k, 6*j = -5*n + 3*j + 6. Solve n*f = -f for f.
0
Let l(k) = k**3 - 6*k**2 - 6*k - 1. Let o be l(7). Let r(p) = -5*p + 2*p + p**2 - p - p - 5. Let j be r(o). Solve m + j = -0 for m.
-1
Suppose 1 = u, -13 = -2*i + 5*u - 4*u. Solve -4*m + i*m = -12 for m.
-4
Let z(n) = -n**3 - 13*n**2 - 19*n + 16. Let o(d) = -2*d**3 - 12*d**2 - 20*d + 17. Let j(c) = 2*o(c) - 3*z(c). Let f be j(16). Solve -g - f + 6 = 0 for g.
4
Suppose 6 = -2*u + 30. Suppose -8*i - u = -4*i. Let t be (90/(-50))/(i/5). Solve -4*g - 4 = -t*g for g.
-4
Let w = 102 + -86. Suppose 0 = -5*x + 2*b + 20, -3*x + 5*b + w = x. Solve -2*f - x = -3*f for f.
4
Let g = -634 + 641. Solve 40 = g*r + 5 for r.
5
Suppose h + 5*d - 2 - 3 = 0, -3*d = -3. Solve -2*r = -h*r + 8 for r.
-4
Let o = 1 + -1. Let w = 637 + -631. Let u = w + o. Solve u*x = 4*x + 6 for x.
3
Let m be 18 - (-1 + 2 + 1). Suppose 35 = p + 39, -j + p + 7 = 0. Solve w + m = -j*w for w.
-4
Let m = 5 + -2. Let v be 1 + 1 - 6/m. Suppose 2*k = -v*k. Solve k = -t - 2 for t.
-2
Suppose -40*g - 22*g + 372 = 0. Solve 0 = -2*v + 14 - g for v.
4
Let m(j) = j**3 + 7*j**2 + 2. Let g be m(-7). Let f(l) = l**3 + 8*l**2 + 13*l + 13. Let y be f(-4). Solve -g*c - 3*c - y = 0 for c.
-5
Let u(j) = 2*j**2 - j - 2. Let b be u(-2). Let r(o) = -o**3 - 2*o**2 + 8*o - 3. Let n be r(3). Let g = n + 24. Solve g = v - 5*v - b for v.
-2
Suppose 13 = -15*t + 88. Solve -t*j + 19 = 14 for j.
1
Let y be (-464)/(-58) + 14/(-2). Suppose -5*d = t - 7, -3 = -3*t + 3*d - 0*d. Solve 1 = t*l - y for l.
1
Let q = -290 + 292. Solve 1 = q*d - 1 for d.
1
Suppose -4*f - 5*p + 31 = -128, 0 = f - 2*p - 56. Solve f = 8*i + 15*i for i.
2
Let v = 229 + -220. Solve 1 - v = 8*l for l.
-1
Let f(v) = -6*v + 16. Let p be f(12). Let n = p - -59. Solve -n*j + 0*j = 12 for j.
-4
Let j be -1 + (3 - -4)*1. Suppose -3*t + 4*u - j + 14 = 0, -5 = -t - u. Solve 9 = t*s - 7 for s.
4
Suppose n = 4*p - 109, -85 = -5*p - 3*n + 47. Solve -3*k - p = 6*k for k.
-3
Suppose -4*f = -2*n + 8, f + 44 = 2*n + 2*n. Solve 2*o = -o + n for o.
4
Suppose -5*x = 0, 0 = -4*m + 4*x + x. Solve m = 12*n - 10*n + 8 for n.
-4
Let k(p) = 2*p**2 + 16*p + 16. Let j be k(-7). Solve j*n + 12 = -4*n for n.
-2
Suppose -5*p - 93 = -2*p. Let l = -29 - p. Solve 0 = -2*q + l + 6 for q.
4
Let o(i) = -i**2 + 8*i - 4. Let a be o(7). Solve 2*d + 1 = a for d.
1
Let b be ((-2)/7)/((-1)/7). Let x(m) = -b*m - 1 + 3 - 3. Let r be x(-3). Solve 2 = r*t - 3 for t.
1
Suppose 5*n - 3 = -33. Let r(j) = j + 6. Let d be r(n). Suppose 0 = -d*s - s + 2. Solve s*a = -a - 15 for a.
-5
Suppose -3*v - 10 = 2*v - 5*k, 29 = 3*v + 4*k. Solve -v*x + 1 = -4*x for x.
-1
Let r(t) = t**2 - 16*t + 6. Let k be r(16). Suppose 2*g = k*g - 32. Let v(z) = -z**3 - 4*z**2 + 5*z + 2. Let w be v(-5). Solve 0*q - g = -w*q for q.
4
Let i be 6/(1 - -5)*(-2 - -7). Suppose -i = -2*x + 5*q - 3, -3*q = -5*x + 5. Solve x = 2*b - 7 for b.
4
Suppose 3*m + 6 = 3*v, -4*m - 3*v + 52 - 32 = 0. Solve 7 + m = 9*z for z.
1
Let w be ((-30)/(-18))/(4/12). Solve -w*h = 19 - 9 for h.
-2
Suppose 75*x - 73*x + 5*s = 56, -5*s - 10 = 0. Solve -x*z + 11*z + 22 = 0 for z.
1
Suppose -3*y = -2*k, 3*y + k = -3*k + 18. Suppose -2*d + 2*z + 6 = 0, -5 = -3*d + y*z + 5. Suppose h + 2 = 0, -3*x + 8*x + 5*h = 35. Solve x = d*l + 1 for l.
2
Let t(f) = 2*f**2 - 2*f. Suppose 6 = 3*v - 3*u, 5*v + 2*u - 9 - 1 = 0. Let p be t(v). Let b be ((-450)/(-16))/5 - (-78)/208. Solve -p*n + 14 = -b for n.
5
Let x(b) be the third derivative of -b**5/60 + 2*b**4/3 - b**3 - 8*b**2. Let h be x(15). Solve 0*g = -3*g + h for g.
3
Suppose 2331*q = 2333*q - 62. Solve -12*j - 17 = q for j.
-4
Let j = -8 + 38. Let g = j + -21. Solve -3*o = -6 - g for o.
5
Suppose c = 4*c - 3. Solve 6*f - c = 5*f for f.
1
Suppose 60*n - 59*n = 16. Suppose 5*r = 24 - 9. Solve -r*h = h - n for h.
4
Suppose 12 = -9*a - 15. Let s be 0/(a + (3 - 1) - 2). Solve s = -3*v + 9 - 21 for v.
-4
Suppose 0 = -3*z + 4*c + 7, -c = 2*z + c. Let b be (0 + 0 - -2)/z. Solve b*i = -i - 12 for i.
-4
Let y(k) = 62*k + 136. Let m be y(-2). Solve m*n = 14*n + 8 for n.
-4
Suppose -2*o - 4*d + 15 = o, 5*o + 4*d = 25. Suppose 14 = o*p - 21. Let i = -1 + p. Solve -2*y + i = -0*y for y.
3
Let g(a) = -a**2 + 10*a - 13. Let p be g(7). Suppose 0 = 7*v - 9*v + p. Solve -v*f = -f for f.
0
Let w(u) = u**3 - 35*u**2 + 33*u + 40. Let n be w(34). Solve -10*t + n*t = 12 for t.
-3
Let t = 24 - 19. Suppose -19 = -2*n + t. Suppose 0 = -5*w + 2*w + n. Solve 0 = -w*l - 0 - 12 for l.
-3
Let g = -5 - -8. Let l(c) = -3 - 11 + 2*c**2 - c**2 + 11 - 2*c. Let r be l(g). Solve f + r + 1 = 0 for f.
-1
Let g(d) be the third derivative of d**6/120 - d**5/60 - d**4/24 + d**3/3 + 31*d**2. Let a be g(0). Let h = -2 - -3. Solve a*w + h = -5 for w.
-3
Suppose g = -4*i - 0*g + 4885, -1 = -g. Let s be (-2)/9 + i/27. Suppose w = -5*c + 31, 16 = -3*c + 2*w + s. Solve -9 = 4*f - c*f for f.
3
Suppose -3*p + 76 - 64 = 0. Suppose 7 = -z - 2*q, -p*z - 5*q = -0*q + 13. Solve 0 = -3*r - z - 3 for r.
-2
Let l = -5 + 7. Let y = 129 + -121. Let d be y/(-6)*9*1/(-2). Solve d*p - l*p = 0 for p.
0
Let y(g) be the third derivative of g**6/60 - 11*g**5/60 - g**4/8 - 13*g**3/6 + 7*g**2. Let v be y(6). Solve v = 2*d + 3*d for d.
1
Suppose -9*g = -10*g. Suppose g*r + 5*r - 15 = 0. Solve 0 = 2*x - r - 1 for x.
2
Let s(x) = -2 + 6*x + x**2 + 5*x - 8*x. Let y be s(-4). Let a(f) = 2*f - 12. Let t be a(8). Solve 0 = -v - t + y for v.
-2
Let c(x) = -15 + 15*x**2 + 57*x - 12*x**2 + 13*x**2 - x**3 - 71*x. Let y be c(15). Solve y = 2*n - 3*n for n.
0
Let n = 16 - 15. Let m be 210/(-12) + n/(-2). Let j = m - -24. Solve 0*p - 3*p - j = 0 for p.
-2
Suppose -4*f = -5*f - 4. Let y be (2 + 6/f)*-46. Let v = y - -24. Solve -v = l + 1 for l.
-2
Let i = 96 + -92. Solve n + i = 5*n for n.
1
Suppose -16 = 3*i - 7*i. Suppose -i*l - 4*l = 0. Suppose -19*f + 15*f + 80 = l. Solve -5*g + f = -0*g for g.
4
Let u(a) = -25*a + 13. Let l(w) = 8*w - 4. Let h(m) = 7*l(m) + 2*u(m). Let r(f) = -f**2 - 5*f - 3. Let j be r(-2). Let x be h(j). Solve -x = -5*p + 9 for p.
5
Let d be 1/3 + 8/3. Suppose -4*n + d = -n. Suppose -n = -4*p + 3*p. Solve 2*o - 9 + p = 0 for o.
4
Let l be 3 + (22/55 - (-4)/(-10)). Suppose -5*q = l*q - 7*q. Solve -3*j + j - 2 = q for j.
-1
Suppose 2*g + l + 247 = 0, -3*l - 241 = 2*g - 0*l. Let j = g - -127. Solve 7*x = j*x for x.
0
Let o = -3 - -3. Suppose -t + 0*t = o. Let f = -953 + 957. Solve t = -f*z - 4 + 8 for z.
1
Let a be 3/(-3)*(2 - 6). Let o(w) = w**3 - 4*w**2 - 4. Let z be o(5). Let j = z + -18. Solve a*g - g - j = 0 for g.
1
Suppose -28 = 3*b - 46. Suppose 3*f = -b*s + 2*s, -3*s = -2*f. Solve 0 = -t - f*t - 1 for t.
-1
Let g(x) be the first derivative of -3*x**2/2 + 34*x - 29. Let o be g(10). Solve b + o*b + 10 = 0 for b.
-2
Suppose u - 4*r - 1 = 0, -4 + 10 = u - 3*r. Solve 25*o - u = 18*o for o.
3
Suppose 23 = -2*t + 3*q, 0 = t - 9*q + 4*q + 29. Let z be -1 - t - (-3 + 2). Let r be 11/3 - 2/3. Solve z = -r*j + 19 for j.
5
Suppose 0 = -t + 2 - 1. Let y be (-4 + (1 - 1))*t. Let r = y + 5. Solve -n + 5 = r for n.
4
Suppose -r + b = 6 + 3, 0 = -5*r - 5*b - 5. Let g be ((-8)/(-30))/((-10)/15)*r. Solve -3*q - g = -17 for q.
5
Let j be 1*-4 - (-13 + 4). Let z = 10 - j. Suppose -3*o - 8 = -z*o. Solve p = 3*p + o for p.
-2
Let a be (-6)/4 - (-21)/6. Suppose -a*w - w = 0. Solve 2*v + w*v = -4 for v.
-2
Let f = -96 - -101. Sol