 = f - c for f.
-2
Let z(j) be the second derivative of 77*j**4/12 + j**3/6 - 5*j. Let x be z(-1). Let v = x - 51. Solve 6*w - w = -v for w.
-5
Let w be ((-12)/(-10))/((-132)/(-990)). Solve 0 = -5*q + w*q for q.
0
Let k(w) = w**2 - 18*w + 17. Let p be k(18). Let l(c) = c**2 - 16*c - 15. Let b be l(p). Solve b*j = 5*j + 3 for j.
-1
Suppose 2*y - 3 = 1. Suppose -4*s - 10 = -y*i, -i + s - 4*s = -5. Let w be (i - 3) + -5 + 3. Solve w*v = 3*v for v.
0
Let a = -31 + 33. Solve o = -a + 4 for o.
2
Let o be (4/(-8) - 0)*-2. Let q be -12 - -19 - (o + 0). Solve q = -v + 3*v for v.
3
Suppose 0 = h - 2, -4*j = h + 3 - 73. Let m = 19 - j. Solve 0 = m*b - 0*b + 10 for b.
-5
Let a(o) = -o**2 + 30*o - 128. Let m be a(24). Solve 0*r - 4*r + m = 0 for r.
4
Suppose -5*b = -0*b - 20. Let y = 70 - 70. Solve -b*m - m = y for m.
0
Let g(c) = 5*c + 53. Let j be g(-10). Solve 12 = 3*s - j for s.
5
Let i(l) = -l + 2. Suppose 4*j = 3*t + 12, 0 = 5*j - 5*t - 30 + 10. Let m be i(j). Solve s = m - 5 for s.
-3
Let q be 4*(-1)/(-2)*165/(-22). Let b = 15 + q. Solve b = -3*a + 3 for a.
1
Suppose 5*s - 3*v = 903, -v + 719 = 4*s - 0*v. Let y be ((-12)/(-10))/(24/s). Let m = -7 + y. Solve -15 = -a - m*a for a.
5
Let f = 24 + -24. Let v be 0/(6 - (f - -2)). Solve v = n - 5*n - 8 for n.
-2
Let i be 0 - (-2)/17 - 1220/10370. Suppose -3*m + 27 = 9. Solve -3*o - m + 12 = i for o.
2
Let n(r) = r**2 + 7*r. Let c be n(-11). Let k = 50 - c. Solve 5*x = k*x for x.
0
Suppose 3*s + 21 = 5*o, -2*o = 2*o - 5*s - 22. Solve 72*t = 69*t - o for t.
-1
Let x be 1/(7/2) - (-14774)/623. Solve x = -l + 26 for l.
2
Suppose -6*x - 45 = -213. Solve 0 = -x*d + 23*d - 25 for d.
-5
Suppose 2*u - 12 + 0 = 0. Solve -2*c = -4*c + u for c.
3
Let s(a) be the second derivative of a**4/6 - a**3 + 2*a**2 + 15*a. Let j be s(3). Solve 0 = -0*i - j*i + 16 for i.
4
Let d(u) = -7*u + 1. Let g be d(-1). Suppose -j - g = -3*s, 3*s + j + 1 - 5 = 0. Solve -5 = -3*k + s*k for k.
5
Suppose -53*k + 44*k + 45 = 0. Solve 4 = -k*n + n for n.
-1
Suppose -5*y + 2*y - 41 = 4*n, -2*y - 5*n - 25 = 0. Let s = 15 + y. Solve -2*m - 8 = -s*m for m.
-4
Suppose -8*a + 87 - 31 = 0. Solve -9*b - 6 = -a*b for b.
-3
Suppose 6*w - 252 = -w. Let k(i) = -6*i + 4. Let x be k(6). Let o = w + x. Solve -3*m + o*m - 1 = 0 for m.
1
Let q(a) = 3*a + 29. Let z be q(-7). Let v be (1/(-2))/(4/(-24)). Suppose -3*k - 5 = 2*r - 11, v*r - k - 9 = 0. Solve -z = -r*c + c for c.
4
Let i(a) = 4*a - 2. Let c be i(2). Suppose c*b = 2*b + 12. Solve -b = z - 2 for z.
-1
Suppose 52*s - 1050 = 37*s. Solve -s*w + 65*w = 25 for w.
-5
Let g(j) = -j**3 - 7*j**2 - 6*j + 1. Let s be g(-5). Let v = s + 23. Suppose 11 = -3*b - x - 3*x, -v*b = -3*x - 27. Solve -b*k = -k for k.
0
Let x(f) = -8*f - 10. Let u be x(-2). Solve -u*v + 11 = -1 for v.
2
Let j = -9 + -2. Let f be (2 - -2)*(-10 - j). Solve -9 = -f*d - 25 for d.
-4
Let s(v) = v - 18 - 4*v + 9. Let h be s(-7). Solve -4*w = h - 0 for w.
-3
Let f be ((-42)/35)/((-1)/5). Let i be 16/f - (-4)/(-6). Suppose 5*y = 6*y - i. Solve -8 = -2*x + y for x.
5
Let v(b) = b**2 + 9. Let k be v(0). Suppose 0 = -f - 3 + 6. Suppose 0 = -2*p + l + 7, f*l = -2*p - 2*p + 9. Solve p*g = 6*g + k for g.
-3
Let i = -38 - -39. Suppose -5*x + i = -4*x. Solve -x = 3*b - 10 for b.
3
Let v(n) = -n. Let i(m) = 8*m + 12. Let c(j) = i(j) + 2*v(j). Let f be c(-2). Solve f*d = 4*d - 4 for d.
1
Let k(c) = -c**3 + 10*c**2 - 3*c + 34. Let x be k(10). Solve 0 = -x*u - 4 for u.
-1
Let w = 77 + -94. Let r = -9 - w. Solve -4*c = -6*c + r for c.
4
Let p(n) = -n**2 + 10*n + 14. Let v(s) = 2*s**2 + 13*s + 4. Let m be v(-7). Let f be p(m). Let y be 4*f + 1 - 1. Solve k = 5*k - y for k.
3
Suppose 0 = -0*b + 4*b + 5*p - 195, -b = -p - 51. Suppose -7*v = -20 - b. Solve -5*s = -0 - v for s.
2
Suppose 11*i = 13*i + 66. Let j = -31 - i. Solve 0 = -v - j + 4 for v.
2
Let g be 3/3*(21 - -8). Suppose 19*w - 9 = g. Solve -w*h = 3*h + 25 for h.
-5
Let j = -278 - -283. Solve b + 30 = -j*b for b.
-5
Let o be 4*21/(-140) + 6/10. Solve 4*g + 0*g = o for g.
0
Suppose -101*x - 70 = -777. Suppose -4*v - 7 = 3*u, 0 = -2*v + 5*u + 2 + 1. Let d(r) = -21*r**3 - 2*r**2 - 2*r - 1. Let k be d(v). Solve -k = -x*a + 2*a for a.
4
Suppose 0*z + 3*z = 6. Let y(b) = 2*b**3 - 18*b**2 - b + 17. Let k be y(9). Solve -z = -3*s - k for s.
-2
Suppose 10 + 54 = 16*l. Solve -l*k = -k + 15 for k.
-5
Let v be (-5)/(1/4*-2). Let y(t) = -13*t + 81. Let w be y(6). Suppose -w*j = -v + 1. Solve -j*a + 0*a = 9 for a.
-3
Let x(v) = -v + 8. Let h be x(10). Let y be ((-15)/(-25))/(h/(-10)). Let z = 2 + y. Solve 8*m - z = 3*m for m.
1
Let z be ((-9)/2)/(6/16). Let f(l) = 2*l**3 - 3*l**2 - 6*l - 4. Let h be f(-2). Let v = z - h. Solve w = 5*w - v for w.
2
Suppose 3*h = u, -u + 5*h - 4 = 2. Solve -u*s + 4*s = -15 for s.
3
Let x = -1748 - -1755. Solve -3*f = x - 19 for f.
4
Let k(q) = -q**3 - 2*q**2 - 2*q - 1. Let n be k(0). Let v be (-4)/n + 0/(-1 - 1). Solve -17 = v*r - 1 for r.
-4
Suppose -9*z = -11 + 2. Let p be (16/48)/(z/9). Solve 0*d + d = p for d.
3
Let o(p) = p**2 - 8*p - 204. Let z be o(-11). Solve -z*q - 8 = -33 for q.
5
Suppose -23*l - 1180 + 2928 = 0. Solve l = 2*s + 74 for s.
1
Let o = 51 + -48. Suppose o*t - 5*z - 75 = 0, -2*z + 5*z - 11 = -t. Solve 5*r = r + t for r.
5
Let d = 14 + -13. Let k be (-4)/(d - -1 - 4). Suppose q = 2*i + 14, -5*q - i = -k*i - 97. Solve 3*s - q = -5 for s.
5
Suppose 96 = -44*y + 60*y. Solve y*r = r for r.
0
Let t(w) be the first derivative of w**5/120 + 11*w**4/24 - w**3/3 + 5. Let q(u) be the third derivative of t(u). Let r be q(-9). Solve -r*n = 3*n - 20 for n.
4
Let d = 38 - 6. Suppose 5*p - 4*a - d = 81, -2*a - 119 = -5*p. Solve -5*h = -0 + p for h.
-5
Suppose -3*q + 72 = 15*q. Solve r = 5*r - q for r.
1
Suppose -g - g + 56 = -3*w, -g + 4*w = -28. Let s = 0 + g. Suppose -4 = 5*r - 2*x - 21, 0 = 4*r + 2*x - s. Solve 1 - 11 = r*i for i.
-2
Let o(q) = -q**3 + 5*q**2 + 4*q + 9. Let r be o(6). Let h be (0/r)/((-2)/(-1)). Let c be 3 + 3 + -2 + h. Solve n = c*n - 3 for n.
1
Let n(f) = f**2 + 37*f - 552. Let b be n(-50). Solve q - 100 = -b for q.
2
Let j be ((-6)/9)/(46/(-69)). Solve w = -j - 3 for w.
-4
Let p = -80 - -83. Solve 36 = -p*m + 42 for m.
2
Let t = 138 + -134. Solve -t*v - 3 = 1 for v.
-1
Let b(g) = 11*g + 110. Let v be b(-9). Solve v*i - 8*i + 15 = 0 for i.
-5
Let p be (-17577)/(-324) + (-6)/(-8). Solve 6*n + p = 17*n for n.
5
Let v = -320 - -326. Solve v = y + 3 for y.
3
Let g(s) = s**3 - 9*s**2 + 10*s - 12. Let u be g(8). Suppose 0 = 5*d - 1 - u. Solve 0 = -5*f + d + 4 for f.
1
Suppose 5*i = -3 + 13. Let d be -138 + i/3*-6. Let b be (-6)/21 - d/7. Solve k - b = 5*k for k.
-5
Let b = -40 - -45. Solve -2*z = -b*z + 9 for z.
3
Let d = 1693 + -1678. Solve 0 = 2*i - 5*i - d for i.
-5
Let o = 816 - 816. Solve o = 4*f + 7 + 9 for f.
-4
Let i = 152 + -152. Solve i = -3*y + 2*y + 5 for y.
5
Suppose 0 = -19*b + 17*b + 8. Suppose -2*g = -b*g. Suppose -l + 5*n + 6 = 3*n, g = -2*l - 5*n + 39. Solve -5*j - l = -j for j.
-3
Suppose 4*y - 204 = 5*b, -3*y + 216 = y - 2*b. Suppose -y*u + 57*u = 2. Solve -k + u = k for k.
1
Let y be (-23)/(-7) + 2/(-7). Let k = 484 + -484. Solve k*p - y*p = 9 for p.
-3
Let h(w) = -w**2 - w + 3. Let s be h(0). Let v(a) = -5*a - 51. Let f(k) = -k - 10. Let o(u) = 22*f(u) - 4*v(u). Let p be o(-8). Solve 3*c + s = -p for c.
-1
Let n be (5 + -9)/(4/(-6)). Let d be 1/((-1)/(-12)*(-3 + n)). Solve -r = d*r for r.
0
Suppose 11*c = 10*c + 3. Solve -2 = c*q - 2 for q.
0
Suppose 0 = s - 4. Let q(x) = -15*x + 6 - 13*x + 26*x. Let b be q(3). Solve b = s*a + a for a.
0
Suppose 28 = -14*d + 266. Solve 19*l - 4 = d*l for l.
2
Suppose -7*o = -3*o - 16. Suppose b = -v + o, 3*v + b - 16 = -v. Solve 2*l = l + v for l.
4
Suppose -380 = -4*v - 372. Solve l = -0*l + v for l.
2
Suppose -s - 5 + 10 = 0. Suppose -s*b + 34 = -3*b. Solve 3*n + 2 = b for n.
5
Suppose 27*h + 4 = 25*h. Let q be (3 + h)*(-2 + 2). Solve -3*f + 6 = -q for f.
2
Let y(i) = 39*i - 223. Let v be y(6). Solve -v*m + 20 = -7*m for m.
5
Suppose -17 = -19*v + 78. Solve -v = 15*h - 35 for h.
2
Let g = -400 - -400. Solve g = -7*b + 5*b - 2 for b.
-1
Suppose 0 = 4*h - 4*z - 36, 33*h = 31*h - 3*z - 2. Solve 369 - 364 = -h*t for t.
-1
Let x = 4 - -2. Let i = 2135 - 2048. Suppose 4*u - 69 = -f, -4*u + i = f - x*f. Solv