 + 4 = 4*f. Suppose 2*j = 4*j + 6. Let k be 45/(-15) - 1*j. Solve t*b + 0 - 20 = k for b.
5
Suppose 5*d - 19 = 2*c + 11, 2*d - 2*c - 12 = 0. Let h(j) = 2*j - 6. Let b be h(5). Solve d*o - 2*o = -b for o.
-1
Suppose 3*a - 4*v - 32 = 0, 2*a + 3*v + 0*v + 7 = 0. Solve 3*o = 4*o + a for o.
-4
Let t be (-1)/6 + (-1772)/24. Let f = 86 + t. Solve 0*x - f = 3*x for x.
-4
Suppose 0 = -4*d + 3*z + 37, -5*d + z + z = -41. Let f(a) = -2*a**3 + 14*a**2 + 10. Let k be f(d). Solve 2 - k = 2*h for h.
-4
Let q be -2 + (-3)/((-6)/8). Let v be ((-6)/q)/(-1) + 0. Solve -v*p - 1 = 2 for p.
-1
Let g = 302 - 293. Solve -g*r - 41 = -14 for r.
-3
Suppose x - 4*u = 8, 15 = 3*x - 3*u - 9. Suppose 0 = -5*v + 17 + x. Solve -a = -v*a + 20 for a.
5
Let y(s) = 5*s**2 - 77*s + 2. Let l(n) = 2*n**2 - 26*n + 1. Let v(j) = 11*l(j) - 4*y(j). Let r be v(-11). Let d = 4 + 0. Solve -r*b - 10 = -d for b.
-2
Let c = 67 + -63. Solve 0*u + c*u = 8 for u.
2
Let s = -206 - -210. Solve -9*j + s*j = 15 for j.
-3
Let n(j) = j**3 - 9*j**2 - 7*j - 8. Let u be n(10). Let t = u + -20. Solve 5*w = t*w for w.
0
Suppose -2*f + 2*g = 8, 4*f - f + 8 = -g. Let n be (f/(-21) + 1)*(-7)/(-2). Solve s + 3 = n*s for s.
1
Let t(z) = -2*z + 3*z - 2*z + 33 + 2. Let a be t(14). Suppose 0 = -2*o - 2*o - p + a, 0 = 5*o - 4*p - 42. Solve 4*n = -6 - o for n.
-3
Let g(v) be the third derivative of v**5/60 - v**4/6 - 3*v**3/2 + 22*v**2. Let n be g(-2). Solve 0 = -n*w - 2*w + 15 for w.
3
Suppose 3*w + 79*d - 74*d = 1, 0 = -3*d - 3. Suppose -4*l = -2*s - 2 + 30, -5*s = -4*l - 16. Let i be l/6*w/(-3). Solve 2*h = -5 - i for h.
-3
Let s = -264 - -264. Let c(t) = t**2 + 8*t - 7. Let h be c(-8). Let d be 2/(-7) - 37/h. Solve s*v - d = v for v.
-5
Let t(n) = -n - 1. Let l be t(-4). Let a(b) = b**l - 4 - 1 + 4 - 2*b. Let u be a(-1). Solve u*x + x = 5 for x.
5
Let q be (-1)/(3*3/243). Let n = q - -39. Let f be (-2)/n + (-628)/(-24). Solve 5*v - 6 = -f for v.
-4
Suppose -5*h = 5, 2*s = -h + 4*h + 7. Suppose -s*o = o - 6. Solve -o = 4*t - 14 for t.
3
Let b(v) = v**2 - 2*v - 2. Let t be b(3). Let r be (-1 + t)/(13 + -10). Solve r = -f + 4*f - 3 for f.
1
Let f(s) = -s + 8. Let q(k) = 2*k**2 - 14*k + 8. Let l be q(6). Let r be f(l). Solve 2 = 5*x + r for x.
-2
Let a(i) = 3*i - 8. Let g be a(6). Let b(w) = -2*w**3 - w**2 + w + 3. Let s be b(0). Suppose -s*k - g + 13 = 0. Solve 5*c + 4 = -k for c.
-1
Let d(o) = -2*o**3 + 52*o**2 + o - 20. Let l be d(26). Let v be 15/3 + (-6)/l. Solve 20 = -v*k + 4 for k.
-4
Let t = -31 - -34. Suppose 0 = t*z + 6 - 15. Solve -z*v + 1 = -11 for v.
4
Let o be (-4094)/(-69) + (-6)/(-9). Solve 5*d - o = -7*d for d.
5
Let j(a) = a**2 + a. Let g be j(-2). Suppose 7*s - 10 = g*s. Let p be 66/24 - 2/(-8). Solve -1 = -s*q + p for q.
2
Suppose -26*q - 16 = -22*q. Let s be (-10)/40 + (-9)/q. Solve -s*c - 12 = -6*c for c.
3
Let q = -287 + 291. Solve 4*a - 20 + q = 0 for a.
4
Let j(o) = o**3 - 2*o**2 - 2*o - 2. Let c = -12 - -15. Let k be j(c). Suppose 5*z - 2*z - h = 1, -k = -z + h. Solve z*d = d for d.
0
Let o = 17 - 20. Let y = 5 + o. Suppose 5 - 3 = y*h. Solve 3*s = -5 - h for s.
-2
Let w = 441 + -439. Let b(i) = -9 - 8*i + 3*i**2 - i**2 - 3*i**2 + 0*i**2. Let y be b(-6). Solve -y = r + w for r.
-5
Let z = -233 + 237. Solve 0 = -0*b + z*b - 4 for b.
1
Suppose -4*q + 3*w = -61, -2*q + q + 1 = 4*w. Solve q*o - 10*o = 3 for o.
1
Let g(h) = -9*h - 92. Let x be g(-12). Solve 0 = -5*z + x + 4 for z.
4
Let a(w) = w**3 + 8*w**2 - 11*w - 15. Let x(z) = z + 4. Let j be x(-13). Let r be a(j). Solve r*h = h for h.
0
Let w = 89 + -51. Let c = -33 + w. Let n be c*((-6)/(-3) + 1). Solve 3*i = -0*i + n for i.
5
Suppose -408*r + 7 = -407*r. Solve 0 = -3*b + 1 - r for b.
-2
Let r(w) = -9*w + 237. Let p be r(25). Solve -2 = -2*l - p for l.
-5
Let l(y) = 8*y**2 + 26 - 2*y - 13*y**2 + 4*y**2. Let o be l(-6). Solve -3*j = o*j + 10 for j.
-2
Let z = 2534 + -2426. Solve -5*q - z = 22*q for q.
-4
Suppose 2*r = 5*r + 15. Let h(y) = y**3 + 5*y**2 - 4*y - 12. Let z be h(r). Solve z = -0*x + 4*x for x.
2
Let n be ((0 + -4)/(-8))/(14/84). Solve n*q = 7*q for q.
0
Let c be -2 + 3 + -1 - -1. Let r be 3*((-2)/(-3))/c. Solve -4 = r*h - 2 for h.
-1
Let o(i) = -16 + 19 + 30 + 7 + i. Let u(k) = 13. Let p(t) = -4*o(t) + 11*u(t). Let x be p(-6). Solve x*g - 3*g = 0 for g.
0
Suppose -140 = 5*h - 19*h. Suppose 4 + h = 4*n + 2*z, 0 = n + 2*z - 8. Solve -n = a - 7 for a.
5
Suppose -6*i = 4*i - 30. Let x(o) = -o**2 - 22*o - 57. Let n be x(-19). Solve i*b - 15 = -n*b for b.
5
Suppose 0 = 3*j + 62 - 89. Solve 5*m - 11 = j for m.
4
Let y be 1*(2 + -1)/1 - -4. Let o be (22/(-4) + y)*-12. Solve 5*n + o = -4 for n.
-2
Let d = 50 - 36. Let n = -10 + d. Solve -v + 0 = -n for v.
4
Let m(s) = s**2 - 10*s + 11. Let p be m(9). Let z(v) = v**2 + 10*v + 13. Let d be z(-9). Suppose d*r + 20 = 4*c, 3*r + 17 = -2*c + p. Solve c*q = q + 3 for q.
-3
Let d(w) = -w**2 + 6*w - 3. Let a be d(6). Let j be (-3)/(a + 1 + 1). Let q be ((-2 + -4)/j)/(-2). Solve 0 = 3*v - q - 2 for v.
1
Let a = -1142 - -1148. Solve -a*f = 21 - 51 for f.
5
Suppose -4 = h - 6. Suppose h*c - c - 5 = 0. Solve c*m - 8*m + 9 = 0 for m.
3
Let t = 38 + -35. Suppose -t*d + 1 = -11. Let s = -5 - -7. Solve 0 = d*m - s + 6 for m.
-1
Let d(v) = 6*v**3 - 4*v**2 - v - 4. Let w(p) = p**3 + p**2 - 1. Let u(b) = d(b) - 5*w(b). Let y be u(9). Let g be 2*(-1 + (-12)/y). Solve -5*z - g = 19 for z.
-4
Suppose -2*i - 3*u + 391 = 0, 0 = 5*i - u + 615 - 1601. Solve 197 = 7*k + i for k.
0
Let z(r) = 24*r**3 + r - 1. Let g be z(1). Suppose -a + g = 3*a. Let y = a + -6. Solve y = -0*t - 2*t - 10 for t.
-5
Let v(f) = -f**3 - 27*f**2 + 34*f + 173. Let k be v(-28). Let m be ((-9)/(-12))/((-2)/(-8)). Solve 0 = -m*z + k - 2 for z.
1
Let f(n) be the second derivative of -n**3/6 - n**2/2 + 14*n. Let s be f(-6). Solve 0 = -6*g + s*g - 2 for g.
-2
Suppose 0 = -2*a - 3*a + 95. Let f = a - 17. Solve -2*h - f*h = 4 for h.
-1
Suppose -2*g + 36 = 2*g. Let m(c) = 2*c**2 + 3*c - 5. Let x be m(-5). Suppose x = 2*b - 5*s, 3*s - 9 - 4 = -5*b. Solve b*i + g = -6 for i.
-3
Let v be (-8)/(-2 - (-2 - -2)). Let l be 0/((-7)/(-7 + 14)). Solve l = v*g - g - 3 for g.
1
Let k = -116 + 123. Solve 6*x = 25 - k for x.
3
Let a = 396 - 361. Let s be (-4)/(-1)*30/8. Let l = a - s. Solve -l = 5*f - f for f.
-5
Let q(v) = -v**2 - 9*v - 7. Let l be q(-10). Let s = l - -22. Solve 0 = -s*u + 3*u + 10 for u.
5
Suppose 19 = g + 5. Let s(w) = -w**2 + 13*w + 17. Let m be s(g). Solve m*f + 13 = 1 for f.
-4
Suppose -2*m + 0*m - 18 = -4*h, 4*m + 24 = 5*h. Suppose h*l = -6*z + z + 35, -2*l = -2*z - 40. Solve -w - l = -6*w for w.
3
Suppose -5*q = -4*l - 278, 5*l - 2*q + 356 = -0*q. Let p = -58 - l. Solve -1 = 3*k + p for k.
-5
Suppose 3*s = -4*m + 6, -2 = -3*s + 5*m + 4. Suppose 0 = -3*f + 39 - 36. Solve -3*c + f = -s*c for c.
1
Let j = 36 - 34. Let v be j + -2 + (-4)/(-2). Solve v*k = 5*k - 12 for k.
4
Let o(a) = -7*a - 130. Let h be o(-19). Solve 0 = -h*q + q for q.
0
Suppose 5 = -o + 1, 2*o = -3*n - 2. Suppose 0 = 2*x + n*x - 8, x = 4*f - 6. Solve -18 = -4*g - f for g.
4
Let a(k) = k**3 + 9*k**2 + 19*k + 9. Let z be a(-6). Suppose 0 = z*w + 4*w - 28. Solve w*i = 5 - 1 for i.
1
Suppose 0 = 6*r - 8*r - 12. Let k be ((-9)/3)/(r/8). Solve -s = s + k for s.
-2
Suppose 13*i + 26 = 17*i + 5*z, 2*z + 4 = 2*i. Solve -19*r + 15*r - i = 0 for r.
-1
Suppose -6762 = -39*z + 18*z. Solve -i = 318 - z for i.
4
Let m be 35/15*(-32 - 4). Let b = m + 86. Solve -b*d - 12 = -5*d for d.
4
Suppose 4*c = -z - z + 26, 3*z = 4*c - 51. Solve c = 6*g + 3 for g.
1
Let b(g) = -10*g - 153. Let o be b(-17). Solve -4*j + 1 - o = 0 for j.
-4
Let h(f) = -f**2 + 5*f. Let o be h(3). Suppose -r - 3 = -5*v, 0 = v - 5*r + 3 + o. Solve -l + 0*l = v for l.
-1
Suppose -7*p = -3*p + 4. Let d be (-4)/((-10)/6 - p). Solve 2*u + d = -0*u for u.
-3
Let d be (-6 - -5)*24/(-2). Suppose d*q + 3 = 13*q. Suppose 4*j - 7*u + q*u - 8 = 0, -4*j + 3*u + 6 = 0. Solve j*x + 2*x + 6 = 0 for x.
-3
Let s(l) = l**3 + 3*l**2 - 1. Let c be s(-1). Suppose 0 = 2*j + 2*x - 10, -3*j + 0*j - x = -7. Solve c = -v - j for v.
-2
Let b = 8 + 7. Suppose -36*k + 39*k = b. Solve -8*h + 9 = -k*h for h.
3
Suppose -2*i = -4*x - 22, -5*i = -4*x - 25 - 6. Let d(z) = -z**3 - 3*z**2 + 4*z. Let o be d(x). Solve 0*a - a = o for a.
0
Let f(k) = -k*