e f*x - 3*x - 12 = 0 for x.
-4
Let f(i) = i**2 - 8*i + 9. Let u be f(7). Suppose -u = -6*v + 4*v. Solve n = v - 0 for n.
1
Let k(g) = -3*g**2 + 3. Let m be k(-1). Solve -3*d - d + 12 = m for d.
3
Let u = -19 - -33. Let t be ((-36)/u)/(27/126). Let b = -3 - t. Solve -18 = -3*r - b for r.
3
Let f(a) = 12*a**3 + 58*a**2 - 10*a + 10. Let p be f(-5). Solve p*w - 6 = 13*w for w.
-2
Let p(m) be the third derivative of -m**6/120 - m**5/12 + 5*m**4/24 - m**3/6 - m**2. Let u be p(-6). Suppose u*v - 74 = 1. Solve v = -3*j - 2*j for j.
-3
Let k(y) = y**2 - y + 1. Suppose 4*b + 0 = -2*r + 6, -4*r + 12 = 3*b. Let u be b/6 - (-3 - -1). Let l be k(u). Solve -5*v + l*v + 4 = 0 for v.
2
Suppose 26*c - 436 = -124. Suppose 0 = 3*v + v. Let o = 4 - 0. Solve -o*a - c - 4 = v for a.
-4
Suppose 10*r - 60 = 5*r. Let h(f) = f**2 - 7*f + 17. Let m be h(8). Solve -7*a - m = -r*a for a.
5
Let w = -163 + 85. Let u = w + 78. Let n(p) = p - 7. Let x be n(10). Solve -2*o - x*o = u for o.
0
Let g(f) = -f**3 + 17*f**2 - 16*f - 6. Let y be g(16). Let r be (-48)/(-18) - 2/y. Solve 0 = -2*v + r*v + 3 for v.
-3
Let f(n) = n**3 - 4*n**2 + 3*n - 7. Let q be f(4). Suppose -q*k - 15 = -55. Let o be (1 - -1) + 2*-1. Solve o = -2*m - k + 2 for m.
-3
Suppose -2*k = -5*o + 18, 5*o - 23 - 2 = -5*k. Solve 16 = -o*h - 4 for h.
-5
Let p(g) = g**3 - 5*g**2 - 2*g. Let f be p(6). Suppose 334*z - 251*z = 332. Solve -z*o = -4 + f for o.
-5
Let a(y) = 2*y**2 + 7*y - 3. Let u be a(-5). Suppose -18 = -d - u. Solve -2*i = -0 - d for i.
3
Suppose l = -l + 4*t + 4, -4*l + 8 = -2*t. Let r be -1 - -1 - 4/(-2). Suppose 0 = k - 2*d - 26, -4*k - 2*d + 0*d + 74 = 0. Solve r*c - k = -l*c for c.
5
Let p = 62 - 180. Let n = -118 - p. Solve -2*w + 6 - 12 = n for w.
-3
Let m(a) = -a**3 + 3*a**2 - 7*a - 3. Let f(i) = -i**2 + i. Let c(l) = 5*f(l) + m(l). Let u be c(-2). Solve 4*g - 7 = u for g.
2
Let p(a) = -2*a. Let z be p(-2). Suppose -8 = -z*q - 0*q. Let w be q/(-7) - (-27)/21. Solve -4*b - 3 = w for b.
-1
Let g = -79 - -122. Let d = g + -41. Solve 0 = -3*n - d*n for n.
0
Let b(t) = -7*t**3 + 8*t**2 + 1. Let i be b(1). Solve 1 = -i*w + 9 for w.
4
Suppose -2*b + 24 = 4*v, -b = -4*v + 8 + 4. Let h = -1 + b. Let x be 86/645 + 7/30*8. Solve h = -x*a - 7 for a.
-5
Suppose 11 = u + 3*m, 0 = -u - u - 5*m + 21. Suppose 11 = i + 4*q, -5 = -i - 3*q + 4. Solve i*f + u = f for f.
-4
Suppose -4*g - 27 = -59. Solve g = -11*l + 13*l for l.
4
Let n = -886 - -896. Solve -21*v = -n*v + 44 for v.
-4
Let n(x) = -x - 16. Let v be n(-19). Let f(j) be the first derivative of -j**2 - 6*j - 1. Let l be f(-4). Solve -v = -l*p - p for p.
1
Suppose -76*i - 72 = -84*i. Solve 0*h = -i*h + 27 for h.
3
Let y = 82 - 162. Let v = y + 84. Solve 4*a = -v - 8 for a.
-3
Let d = -907 + 910. Solve -9*a = d - 48 for a.
5
Let n(s) = -4*s - 20. Let h be n(-5). Suppose i + 3*a - 2 = 5*a, h = -3*i + 4*a + 6. Solve 2*p + i = 6 for p.
2
Suppose -3*b = 2*l - 32, 5*l + 4*b = 187 - 114. Solve -2 = -l*r + 12*r for r.
2
Let n(o) = -o**3 - 3*o**2 - 2*o + 3. Let l be n(0). Suppose 4*w + 26 = -0*s + 3*s, -3*w = -3. Solve -2*z = l*z - s for z.
2
Let f(m) = -m**3 - 7*m**2 + 6*m - 4. Let n be f(-8). Suppose -4*w - n = 0, 0*i + 15 = 4*i - w. Suppose -5*j + 6*j - i = 0. Solve j*a + a = 0 for a.
0
Let t = -1497 - -1529. Solve z = -15*z + t for z.
2
Suppose 0*k + 0*k = -2*k. Suppose k = -8*v + 68 + 4. Solve v = -2*m - m for m.
-3
Suppose 5*r - 10 = 0, -3*n + 7*r - 4*r = -57. Let l = n - 17. Solve -g - l*g = -5 for g.
1
Let p = -691 + 1078. Solve -p*k - 20 = -382*k for k.
-4
Suppose -6*v = 7*v - 299. Solve -5*i + 13 = v for i.
-2
Let u be -7*((-32)/(-28))/(-2). Suppose -2*h = -u, -5*h + 48 = 4*r + 18. Solve r*m = m for m.
0
Let z(a) = -2*a + 9. Let j be z(0). Suppose -3*c + j = -0*c. Solve -y = -c*y for y.
0
Let j be (-3*(-5)/(-35))/(2/(-14)). Suppose j*n = -4 + 13. Solve 12 = -0*f - n*f for f.
-4
Let a(r) = r**2 + r - 3. Let w be a(-3). Suppose 0 = -2*z + 5*s + 69, w*z + 5*s - 65 = 1. Suppose -2*x + 5*h = -z, 5*x - 2*h = 8 + 28. Solve x*i = i + 10 for i.
2
Suppose -31 = m + 5*v - 18, -m = 3*v + 17. Let a(r) = -6*r + 1. Let n be a(4). Let f = m - n. Solve -5*s + f*s = 0 for s.
0
Let o be ((-5)/(-1))/(-5) + 3. Suppose o*k - 9 = -1. Solve k*s + 3 = s for s.
-1
Let g be 5*(-4)/(-10) + -1. Suppose 3*p - 7 = -g. Solve 0 = 5*x - 3 - p for x.
1
Let s(v) = v**3 - 27*v**2 + 34*v - 206. Let h be s(26). Solve 3 = -h*w - 7 for w.
-5
Let m be (-35)/(-49) + 6/21. Let s = m - -7. Let y(b) = -b**2 + 8*b + 16. Let z be y(s). Solve -5*f - z - 4 = 0 for f.
-4
Let m be 3 - (1 + 3 + -4). Let d be (-6)/(3/2 - m). Solve -d*j + 7 = 27 for j.
-5
Suppose 11*i = -n + 8*i + 11, -16 = -2*n - 3*i. Solve 21*o = 16*o + n for o.
1
Let x = -2 - -4. Suppose -2*n - x*n + y + 8 = 0, 0 = 3*y - 12. Suppose 0 = -5*g - 2*h + 28, -2*h + 1 = g + n*h. Solve -2*o + g = -4 for o.
5
Suppose -185*u - 13 = -186*u. Solve -s + 18 = u for s.
5
Suppose -8 = 4*z + k - 45, -2*z = -5*k + 9. Solve -z*i - 8 = -0 for i.
-1
Let d = 557 - 555. Let p(k) be the second derivative of k**5/20 + k**4/2 + 5*k**3/6 + 2*k**2 - 2*k. Let l be p(-5). Solve -l*a + 2 = -d for a.
1
Suppose -3*w = -h + 12, -h - 10*w = 2*w + 48. Solve h = -5*a + 271 - 266 for a.
1
Let h(q) = 33*q**2 + 7*q + 7. Let y be h(-2). Let v = y + -123. Solve -v*r - 2 = 6 for r.
-4
Let q(m) = 11*m - 1. Let k be q(1). Suppose -3*x + k = 2*n - x, 0 = -n + 2*x + 2. Let i be 14/4 - (-1)/2. Solve -n*b = i + 8 for b.
-3
Let a be -3 - (-13)/3 - (-40)/6. Solve 0 = -11*u + a*u + 15 for u.
5
Let b = 7 + -1. Suppose -3*k + b*k = 5*o - 19, 2*o + k = 12. Suppose -3*s = 2*u + 5 - 13, s = o*u + 14. Solve w = 5*w - s for w.
1
Let d be -2 + 8/2 + 2. Let i = 1 + d. Suppose -2*f = -2*v + 19 + 21, 0 = 5*v + f - 70. Solve i*l + v = -0*l for l.
-3
Suppose -6 = -2*u - 2*b, 4*b + 3 = 4*u + 5*b. Solve 3*m - m = u for m.
0
Let c be 82/10 - 4/20. Solve -10*u = -c*u for u.
0
Let o = 23 - 17. Solve 0 = o*t - 8*t for t.
0
Let i(c) = 20 - 38*c + 8*c + 4*c**2 - 6. Let a be i(7). Solve x = -a - 2 for x.
-2
Suppose -y + 2*y = 2*y. Suppose y = 2*t - 18. Solve -2*w = -5*w + t for w.
3
Let d(r) = r + 3. Let j(f) = f + 4. Let x(p) = -4*d(p) + 3*j(p). Let a be (-74)/14 + (-8)/(-28). Let c be x(a). Solve 12 = -2*u + c*u for u.
4
Let h(p) = 12*p - 113. Let c be h(10). Solve 0 = 2*r - c*r + 10 for r.
2
Let g be 18/(-99) - 6/(-33). Suppose 11*t - 13*t = g. Solve 0 = -t*i + 2*i - 6 for i.
3
Let m = -1186 - -1189. Solve 3*v - m = -0 for v.
1
Let t(w) = -w**2 + 5*w + 15. Let v be t(7). Let z be (-5)/(-10)*10*v. Solve 18 = z*h - 7 for h.
5
Let h(i) = -21*i**3 - 3*i**2 - 4*i - 2. Let f be h(-1). Solve 4*q = -6*q + f for q.
2
Suppose -3*a = -5*a + 10. Solve -a*f + 41 = 21 for f.
4
Let b = 21 + -19. Let j(h) = -h**2 + h + 2 + 0*h**2 - 2*h**b + 5*h**2. Let q be j(-2). Solve -12 - q = 5*s for s.
-4
Suppose 4*m + 141 = 185. Solve m*w - 7*w + 20 = 0 for w.
-5
Suppose -5*s = -5*m + 240, -5*m - 5*s + 309 = 69. Suppose 4*r + 8*r - m = 0. Solve 0 = 6*n - 10*n + r for n.
1
Suppose -4*p + k + 12 + 9 = 0, k + 16 = 3*p. Suppose -5*f = -4*t + 10, -5*t - 2*f - 2*f = 8. Solve -h + p = -t for h.
5
Suppose -3*r + 167 = 5*n, -4*n - 158 = -2*r - r. Suppose -3*b - 9 = -r. Let u be 3/b + (-88)/(-10). Solve -4*j = 3 + u for j.
-3
Let y = 48 - 45. Suppose 6*s + 9 = y*s, 3*d + 3*s - 63 = 0. Solve 5*x + 4 = d for x.
4
Let g be (-10)/(-4) + 5346/36. Solve 0 = -g*q + 149*q for q.
0
Suppose -12 = -8*h + 20. Let m(n) = -3*n + 15. Let c be m(h). Solve 0 = c*k + 2*k + 15 for k.
-3
Let i(f) = -2*f - 16. Let q be i(-10). Suppose -d = 5*s - 21, 5*s - d - 13 = 16. Solve q*m + s = -7 for m.
-3
Let o(n) be the first derivative of -n**2 + 24*n - 18. Let j be o(12). Suppose 40 = 5*u - 0*u. Solve -5*g - u - 7 = j for g.
-3
Suppose 0 = 2*m - 9*q + 13*q - 6, -m - 3*q + 1 = 0. Solve 0 = m*v - 6 + 20 for v.
-2
Let u(i) = -i + 3. Let b be u(-2). Let k(h) = -3*h - 2. Let n be k(-2). Solve -3*m = -n*m + b for m.
5
Let a(o) = -11*o**2 - 319*o. Let p be a(-29). Solve p = w + 5 for w.
-5
Let a be 5/15 - (-5)/(-15). Solve -3*l = -a*l - 6 for l.
2
Suppose 4*v - 9*v - 21 = -2*f, 5*f + 3*v = 37. Solve -j - f = -5*j for j.
2
Suppose 19*m - 15*m - 16 = 0. Solve 0 = -0*f + f + m for f.
-4
Let x = 40 - 28. Suppose -2*u = 4*u - x. Solve -6 = -u*s - 0 for s.
3
Let x(p) = -3*p - 42.