ppose -u*p = -11*p. Solve p*z + 5*z = -5 for z.
-1
Let b(i) = 2*i**2 + 5. Let h be b(0). Suppose 0 = -3*g - 2*y + 51, -g - 2*y - 8 = -29. Solve 0 = h*m - g for m.
3
Suppose 5*q = 4*m + 42, -4*q - 4 = -2*m - 34. Suppose -2*o - q = 2*d, -d + 0*o = -o - 3. Solve d = c - 2*c for c.
0
Let v = -444 + 459. Solve v = 5*r - 0 for r.
3
Suppose 0 = 2*w - w. Let r(h) = h**3 - 5*h**2 + 4. Let z be r(5). Let b = z - 0. Solve -2*x = -w*x + b for x.
-2
Let b(k) = 10*k - 2. Let r(w) = 11*w - 2. Let m(q) = -4*b(q) + 3*r(q). Let x be m(2). Let y be (-1)/4 + (-99)/x. Solve 2*g + y = 6*g for g.
2
Let q(o) be the second derivative of o**3/6 + 11*o**2/2 - 49*o. Let p be q(5). Solve p - 6 = -2*z for z.
-5
Let g(j) = j**3 - 10*j**2 + 3*j - 18. Let t be g(10). Suppose -2*w - z + t = 0, -3*w + 5*z - 8*z = -12. Solve -4*c = -2*c - w for c.
4
Let k = -24 - -28. Suppose k*n - 12 = -4*o, n + 5*o = 2*n + 3. Solve -9 = n*r - 1 for r.
-4
Let w = -51 - -65. Suppose -17*c + 6 = -w*c. Solve c*l + l = 9 for l.
3
Let z be (5 - -9)/(-5 + (-21)/(-3)). Solve -z*i - 18 = -i for i.
-3
Suppose 5*x = -4*f + 67, 3*f - 2*x = 8*f - 71. Let j = f + -4. Solve 3*o + 0 - j = 0 for o.
3
Let w be (-11)/(-1) - (68 + -5)/9. Solve -7*n = w*n + 4*n for n.
0
Suppose -4*v - 5*i + 3 = 0, 72*i = 68*i - 20. Solve 5*j - v + 7 = 0 for j.
0
Suppose -5*d - 3 = -3*y, -1 + 0 = 2*d - y. Suppose d = -0*a - 0*a + 4*a. Let z = -1 + 5. Solve a*p + 16 = -z*p for p.
-4
Let r(c) = -c**3 - 6*c**2 - 2*c - 7. Let u be r(-6). Let f(h) = h**3 - 6*h**2 + 4*h + 5. Let d be f(u). Solve 5 = 5*q - d for q.
1
Let p = -9 - -9. Suppose 2*r = 5*x + 4*r - 45, 2*x - 3*r - 18 = p. Let s be 9/(-6)*(-12)/x. Solve -h = s*h + 3 for h.
-1
Suppose -2*i = -25 + 15. Solve i*v - 31 = -21 for v.
2
Suppose -m + 5*a = 17, -7*a = 5*m - 2*a - 35. Let g be 0/(4 - (-6)/(-2)). Solve f + m + 2 = g for f.
-5
Let c = 25 + -54. Let s = c + 36. Solve 0 = 5*p - 27 + s for p.
4
Suppose -4*b = -i - 10, b = -i - 46 + 51. Solve i*v + 2*v + 12 = 0 for v.
-3
Suppose 0*b - 2*b = 3*o - 19, 2*b = -4*o + 22. Suppose 0 = u - o*y - 7, -3*y - 6 = -0. Suppose u = -k + 6. Solve -k*d + 4*d - 3 = 0 for d.
-3
Let n = 18 + -16. Suppose -n = -4*q + 2. Suppose x = 4*t - q, -t + 6*t = 4*x + 4. Solve t = 2*j - 2 - 8 for j.
5
Let i = 519 - 507. Solve i*x + 31 + 5 = 0 for x.
-3
Let d(z) = z + 68. Let u be d(0). Let s be 4/(-14) + u/(-7). Let h = -5 - s. Solve h*a + 0*a = -20 for a.
-4
Let z be (-2)/(-10)*5 - 8/(-2). Suppose -z*s + 6 = 2*y, -3*y = 2*s + y + 4. Solve -2*v - 8 = s for v.
-5
Let g = -23 - -39. Suppose -3*t + 5*l = -6*t - g, 0 = -3*t + 3*l + 24. Suppose 0 = q + u + 2, -3*u = -t*q - q + 27. Solve 0 = 3*z - q + 6 for z.
-1
Let p = -82 + 84. Suppose p*y - 16*y = 0. Solve 1 = -y*r + r for r.
1
Let p = -2 + 18. Suppose -5*g + x + 8 = -p, 12 = 4*g + x. Solve -3*q = q - g for q.
1
Let g be (-2)/(-4)*4 + 17. Let x = g + -20. Let n be 0 - 3 - (x - 3). Solve -h - n = -2 for h.
1
Let j(d) = -d**2 + 2*d**2 + d - 8*d + 0*d. Let l be j(7). Solve 0*c - c + 2 = l for c.
2
Let b = -175 - -184. Let q(k) = k - 7. Let g be q(b). Solve 6*p = g*p for p.
0
Let t(r) = 2*r**2 - 9*r + 14. Let b(y) = -2*y**2 + 23*y + 15. Let f be b(12). Let k be t(f). Let g be (-2)/(-6) + (-16)/(-6). Solve -2 - g = k*v for v.
-1
Let d = 172 + -170. Solve d*m = -125 + 125 for m.
0
Suppose 3*d + 3*x - 39 = 0, 0 = 2*d + 18*x - 15*x - 31. Solve 3*g - 1 = d for g.
3
Suppose -38*x - 28 = -142. Solve -x*w + 9*w = -24 for w.
-4
Suppose t = -5*k + 2*k + 6, -18 = -4*k + 2*t. Solve k*w - 3*w = 3*w for w.
0
Let v = -5 + 10. Let o = 2011 + -2007. Solve -v*y = o + 1 for y.
-1
Let w(x) = -3*x**2 + 2*x**2 - 29*x - 50 + 6*x + 9. Let k be w(-21). Solve -5*q = -k - 14 for q.
3
Suppose -6*a + 9*a = 6. Suppose 0 = -3*n - a*b + b + 2, 0 = n + 2*b - 4. Solve n*r = r for r.
0
Let r be 42/9 + 2/(-3). Suppose 90 = 7*d - r*d. Suppose -2*w + d = 3*w. Solve 2*m + w = -m for m.
-2
Let j(o) = o**3 + 3*o**2 - o - 1. Suppose 0*t = -4*t - 8. Let g be j(t). Suppose -3*n + 4*n = g. Solve f + 0 = -n for f.
-5
Let s be 4 + (4 - 1 - -11). Let x = -17 + s. Solve -x = i - 0 for i.
-1
Let p(t) = 5*t - 6. Let j be p(6). Suppose 3*o = 3*v - j, -22 + 64 = 4*v + o. Let g be 32/10 + 3/(-15). Solve g*h = -2*h - v for h.
-2
Suppose 44 = -6*r + 7*r. Let y = -44 + r. Solve y*q = q for q.
0
Let s be (-15)/(-20) - 201/(-4). Solve -5*j = 12*j + s for j.
-3
Let q(x) = -x**2 - 15*x - 39. Let z be q(-9). Solve 34*w + z = 31*w for w.
-5
Let l(i) = i**3 - 15*i**2 + 21*i + 24. Let o(x) = 3*x**3 - 29*x**2 + 43*x + 49. Let g(n) = 5*l(n) - 2*o(n). Let m be g(-18). Solve 15 = -s - m*s for s.
-3
Let t(k) = -k**2 + 11*k + 4. Let j be t(5). Let c = 38 - j. Solve c*y + 12 = 8*y for y.
3
Suppose 10*y - 804 - 106 = 0. Solve 95*f = y*f for f.
0
Let i be -1 + (8 - (8 - 3)). Suppose 1 = 2*z - 3. Solve z + i = -4*r for r.
-1
Let t = -11 - 1. Let u be ((-16)/t)/((-8)/(-18)). Suppose b = -u*b + 8. Solve 0 = x + b - 0 for x.
-2
Suppose 3*k + w = 4, -20 = -k + 6*k - 5*w. Suppose -28*o + 4*y = -31*o + 26, 3*o - 4*y + 14 = 0. Solve -2 = -o*m - k for m.
1
Let a be -27*(228/(-54) - -4). Solve 1 = -w + a for w.
5
Let m be -2*(14/(-4) + 2). Suppose 8 = 5*f + 2*q, -5*q + 20 = m*f - 6*f. Solve 4 = -f*j + 4*j for j.
1
Let b(f) = -f**2 + 12*f - 35. Let n be b(6). Let l be ((-1)/(-1))/(n + 42/(-45)). Solve l = 2*g + 5 for g.
5
Let w(q) = -q. Let h(l) = -3*l + 7. Let c(p) = -h(p) + 5*w(p). Let f be c(-6). Let z = 30 - f. Solve 3*m = -2*m - z for m.
-5
Suppose -44 = -4*a - 2*d, 4*a - 22 = 2*a + 5*d. Solve 0 = s + a - 9 for s.
-2
Suppose 83*n - 86*n + 42 = 0. Solve 0 = 4*k - 6 - n for k.
5
Let r = -917 - -917. Solve 72*x - 69*x = r for x.
0
Suppose 0 = 3*x - 3, 15 = z - 0*x + x. Solve -4*i + z + 6 = 0 for i.
5
Let a(y) = 2*y**2 - 6*y + 6. Let m be a(4). Suppose 2*u - u = m. Suppose 0*b + u = 3*b - 5*c, 0 = 5*b + 5*c - 10. Solve 0 = -b*x - 11 - 4 for x.
-5
Suppose -9*r - 4320 = -57*r. Solve 0 = 8*j - r + 66 for j.
3
Let q = 7 + 13. Suppose 5 - q = -o. Let u(w) = w + 8. Let g be u(-6). Solve -c - g*c = o for c.
-5
Let d be -1 - (-3)/((-12)/(-16)). Suppose -5*j + d*j = -2*s + 18, -9 = j + 5*s. Let x = j - -11. Solve 0 = -4*p + x - 10 for p.
-2
Let p be (-110)/4 - 2/4. Let v(k) = -k - 24. Let n be v(4). Let r = n - p. Solve 4*i + 20 = -r*i for i.
-5
Let t(v) = v**3 + 5*v**2 + 6*v + 6. Let f be t(-3). Let q(r) = -r - 3. Let y be q(-5). Solve f = 2*b - y for b.
4
Let q(o) = -3*o - 15. Let t be q(-7). Let k = -3 + t. Suppose k*p = p. Solve p + 3 = -s for s.
-3
Suppose 2*b = d - b + 2, -3*b = 5*d - 8. Let a = -1 + 5. Suppose -a = -c - d. Solve 2*g = c*g for g.
0
Suppose 62 = 3*u + 5*t, 3*u - 56 = u + 4*t. Suppose -n = 7*n - u. Solve n*j + 20 = -j for j.
-5
Let u(d) = -d**3 + 7*d**2 - 5*d + 6. Let x be u(6). Let c be 33*-2*(-2)/x. Let i = c + -6. Solve -2*p + i*p - 6 = 0 for p.
2
Let w be (2 - 1)/(50/1700). Solve 31 = g + w for g.
-3
Suppose -36 = -4*u + 5*q, 0*q = -4*u + 2*q + 48. Let c = 18 - u. Solve 4 = c*r - 4 for r.
2
Let y(s) = s**3 + 3*s**2 + 2*s + 1. Let v be ((-1)/(-3))/(1/(-6)). Let q be y(v). Let w be (25/(-5))/(q/(-3)). Solve 0 = -6*z + z + w for z.
3
Let o(f) = -5*f + 2. Let k(h) = 2*h - 1. Let u(a) = 8*k(a) + 3*o(a). Let d be u(4). Let z(w) = w**2 - 7*w + 10. Let v be z(5). Solve d*g + 2 = -v*g for g.
-1
Let d be (-2)/(-7) - (-69)/(-21). Let b be d - -3*(-2 - -3). Let z(u) = u + 8. Let k be z(-5). Solve b = j + k*j for j.
0
Suppose -7*k + 9 = -4*k. Suppose -k*u + 4 = -2*q - 4, 4 = -q. Solve u*n = n + 2 for n.
-2
Let u(f) = -2*f**3 - 19*f**2 - 13*f - 34. Let r be u(-9). Solve -7*z = -8*z - r for z.
-2
Suppose -4*n - 9 = -17. Let p(i) = i**3 - i**2 + i - 2. Let w be p(2). Let o = w - n. Solve -o*c = -5*c + 9 for c.
3
Let f(d) be the first derivative of d**2/2 + 3*d - 3. Let x be f(7). Let q = -10 + x. Solve -2*u - 8 + 0 = q for u.
-4
Suppose -8*n = -6*n + 3*i - 13, 5*i - 5 = 5*n. Solve 4 - 2 = n*b for b.
1
Let n(x) = -x**3 + 3*x**2 + 6*x - 1. Let i be n(4). Suppose 3*u = 3*q + 6, 3*u + i = -q + 25. Solve 1 = -2*l + u for l.
2
Let p be ((-2)/(-3)*6)/(-2). Let b = p - -4. Suppose 5*o = 2*j + 18, -4*o - 6*j + b*j - 8 = 0. Solve 0 = -3*s - o*s + 15 for s.
3
Let a be (42/(-8))/7*(-2 + -2). Solve -c + 2 = a for c.
-1
Let u = -196 - -200. Solve -3 = u*d + 9 for d.
-3
Suppose -2*i + 4 = 0, -i + 18 = 4*s 