Let m = l - 42. Solve -m*z + 2 = -4*z for z.
1
Suppose j = 8 - 0. Suppose 0 = z + 29*g - 34*g - 5, g = 3*z - 43. Solve j*r - 3*r + z = 0 for r.
-3
Let o = 4 + 0. Solve 15 = -o*v + v for v.
-5
Let j(l) = l**3 + 6*l**2 - l - 6. Let k be j(-6). Suppose k = -5*i - 5, 10 = -2*f - 5*i + 1. Let u be (5/f)/((-7)/14). Solve u*g + 19 = -1 for g.
-4
Let w(p) = 7*p**2 - 10*p - 8. Let m be w(-1). Solve 13*y + 4 + m = 0 for y.
-1
Let b be (5 + 20/(-4))/(-2). Solve -5*u + b = 25 for u.
-5
Suppose -8*b - 11*b + 190 = 0. Solve 0 = -3*x + b + 2 for x.
4
Suppose 5*h - 22 = -2. Let c(q) = 2 - q**2 + 5*q + 0*q**2 + 0*q. Let t be c(4). Solve h*b + 6 = t*b for b.
3
Suppose -4*x + 3*g = -20, 3*x - 7*g = -2*g + 26. Let i be 18/x + -12 + 11. Suppose 0 = -9*y + i*y. Solve y*o = 4*o + 12 for o.
-3
Suppose -3*f + 4*t - 7 = 0, 3*f - 5 = 4*f - 2*t. Let v be 7 + (-1 - 3/3). Let u = v - f. Solve o + u + 3 = 0 for o.
-5
Suppose 0*f - 3*f = 3*a - 12, -a = -4*f - 4. Let d = -6 - a. Let x = 10 + d. Solve x = -3*r + 2 + 1 for r.
1
Let b be 4/(-12) - (-20)/6. Suppose -b*l + 5*l - 148 = 0. Let x = l + -49. Solve 3*j = -2*j - x for j.
-5
Suppose 0 = -2*n + 4*n - 14. Suppose 0 = n*b - 2*b - 5. Suppose -u + b = -4. Solve -5*x = 30 - u for x.
-5
Let k(r) be the second derivative of -r**5/20 + 2*r**4/3 + r**3/6 - 4*r**2 - r. Let b be k(8). Let n be (b - -3 - 3)/(-1). Solve n*p + 3 = -p for p.
-3
Suppose 3*v = 6*v - 12. Let i be (9 - 6) + v + -2. Suppose i*g = 4*g. Solve u = -g*u + 3 for u.
3
Let p = 35 + -32. Suppose 3*g + 23 = 4*f, 5 = -3*f - 2*f - 3*g. Solve 0 = -f*y + p*y + 1 for y.
-1
Let b(s) = s**2 - 8*s + 13. Let y be b(6). Solve -2 + y = x for x.
-1
Let g(x) = 2*x**3 - 3*x**2 - 4*x - 4. Let r be g(-2). Let d = 27 + r. Solve -2 = -d*j - 8 for j.
-2
Let d(k) = k**3 + 7*k**2 - 9*k - 6. Let a(i) = -i**2 + 6*i + 11. Let w be a(6). Let r be (-860)/110 + (-2)/w. Let y be d(r). Solve -y*c = -c + 1 for c.
-1
Suppose 0 = -3*p + 13 + 2. Let c be 285/171 + ((-16)/6 - -2). Suppose -c = p*s - 16. Solve -2 = s*y + 1 for y.
-1
Suppose -20 = 5*u - 5*x, 20 = -3*u + 4*x + x. Suppose 3*p - 8*p + 15 = u. Solve 0 = p*f + 1 - 4 for f.
1
Let h = -21 - -21. Let m(k) = 3*k + 18. Let t be m(-6). Solve h = -t*n + 3*n + 12 for n.
-4
Let k = -6 + 10. Let j = 1 + -1. Solve 2*v + k = -j for v.
-2
Suppose -11 = -2*s - 7. Suppose 2*z = -4, -5*y - z = -s*y - 13. Solve -y*u = -23 - 2 for u.
5
Let w(f) = -f**3 - 16*f**2 - 40*f - 10. Let i be w(-13). Let h be (-5)/(10/(-6)) + 2. Solve -h*v + i = -17 for v.
4
Suppose 0 = 3*h - 4*w - 24, 0 = 36*h - 40*h - 5*w + 32. Solve -4 = -h*y + 4 for y.
1
Let n be 12/(-7 + 1) + (-6)/(-1). Suppose 5*m - 10 = 5*l, -3*m - 5*l + n*l - 2 = 0. Suppose 5 = -p + 2*p. Solve -p*y = -m*y for y.
0
Let u be (30/21)/(-5) - (-60)/14. Let q be 30/u*(1/(-5) + 1). Solve 4*l + 18 = q for l.
-3
Suppose -22 + 92 = 7*p. Solve 0*v - 2*v = -p for v.
5
Suppose d + 5*m = 30, -m + 89 = 84. Solve d*b - 10*b = 0 for b.
0
Let d(q) = -2*q**2 + 5*q + 107. Let u be d(-6). Solve 28*y - u = 33*y for y.
-1
Let j(r) = r**3 + 5*r**2 - 8*r - 9. Let b be j(-6). Let v(x) = -x**2 + 18*x - 45. Let d be v(13). Solve b*s = -s + d for s.
5
Suppose 2*z + 2 = 18. Suppose 0 = -7*s + 3*s + 4*y - z, -2*y = -s - 4. Solve s = a + 4*a - 5 for a.
1
Let u(y) be the third derivative of -y**4/12 - y**3/6 - 7*y**2. Let n be u(-3). Let o = 1 + 0. Solve 0 = 2*z - n - o for z.
3
Suppose 189 = q + 2*q. Suppose -u + q = 20*u. Suppose -4*k - 75 = -9*k. Solve 0*d + u*d = k for d.
5
Suppose 25 = 5*u - 115. Suppose -3*b + u = b. Let o(k) = k**3 - 7*k**2 + 5. Let q be o(b). Solve -q*i - 2 = 8 for i.
-2
Suppose i - 4*i = -4*q - 4, 3*q = -4*i - 3. Suppose 17*v - 18 = 16. Let y(s) = 3*s**3 - s**2. Let l be y(1). Solve l = -v*p - i for p.
-1
Let a be ((-312)/(-60) - -3) + (-2)/10. Solve 3*x + 5 = a*x for x.
1
Let u(f) = -f**3 - 6*f**2 - 3*f + 10. Let q be u(-6). Let k = q - 20. Suppose -4*y = -k - 8. Solve x = -y*x for x.
0
Suppose -7*u + 0 = 7. Let b be (u - -6)*(-1)/(-3 + 2). Suppose 0*z - 14 = -5*i - z, -i = 3*z. Solve -b + 2 = i*q for q.
-1
Suppose -2 = -a - 18. Let w be ((-9)/6)/((-6)/a). Let x be 16/104 + w/26. Solve -4*c + c + 9 = x for c.
3
Let c = 6 - 4. Suppose 8 = p - 4*d - 30, -62 = -4*p - 2*d. Suppose 12*g - p = 6*g. Solve c*n - g*n = -4 for n.
4
Suppose 5*h = 5*t + 375, -2*h - 3*h - t = -357. Suppose 4*n + 4*f - 28 = 0, -5*f - 1 = -4*n + h. Suppose 0 = -8*a + 14 + 2. Solve a*o + n = -o for o.
-4
Let w = -33 - -38. Suppose 2*c - 2*i = -w*i - 4, -c = -5*i - 24. Solve 0 = -s - c*s + 15 for s.
3
Let l(t) = -t**2 + t + 1. Suppose 4*i = -3*i + 42. Let s be l(i). Let z = s + 31. Solve 3*p - p = z for p.
1
Suppose 0 = 4*i + p - 2, 15 = 4*i + 5*p + 21. Solve -2*n = -1 - i for n.
1
Let d = -283 - -291. Solve 0*r = -8*r - d for r.
-1
Suppose 5*a - 271 = -46. Let r = 50 - a. Solve -4*j - 13 + r = 0 for j.
-2
Suppose 2*j - 64 - 62 = 0. Suppose -2*n = n - j. Suppose 5*y - 30 = -2*v + 21, -y + n = 4*v. Solve y = -5*c - 6 for c.
-3
Let l(y) = -4*y + 47. Let w = -1 + 10. Let t be l(w). Solve 2*o + 1 = t for o.
5
Let u = 15 - 11. Suppose 10 = -u*h + 18. Solve h - 6 = -t for t.
4
Let m(h) = h**3 - 7*h**2 - h + 4. Let s be m(7). Let y be -5 - -4 - (s - 0). Let j be 3/(y/42*3). Solve 0 = -4*u - 1 + j for u.
5
Let p(o) = o**3 + 5*o**2 + 6*o + 4. Let l be p(-3). Suppose -l*v = -3*v. Solve v = 5*w - 0*w for w.
0
Let q = 8 - 8. Suppose q*t = t - 5. Suppose 0*s + 20 = t*i + 5*s, 2*i + 4*s - 6 = 0. Solve i*r = 11 + 4 for r.
3
Suppose 0 = 5*x - f - 34, -3*x - f = -0*f - 22. Solve c = -x*c - 24 for c.
-3
Let u be (-9 + 1 - 2)/(30/(-36)). Solve 17*l - 21*l = u for l.
-3
Let z = -65 - -95. Let y(m) = 6*m - 69. Let j be y(12). Suppose 5*b + j*p = z, p = b + 6*p - 28. Solve b*n - 4*n + 5 = 0 for n.
5
Let g(u) = -5*u**3 - 11*u**2 - 20*u - 12. Let b(x) = -6*x**3 - 12*x**2 - 22*x - 12. Let c(y) = 4*b(y) - 5*g(y). Let a be c(-4). Solve -a*i = -14*i for i.
0
Let f be -51*-5*1/15. Solve 3*b + f = 11 for b.
-2
Let i be -6*((-18)/(-15) + (-348)/90). Solve -i - 2 = 6*n for n.
-3
Suppose g + 2*g = -4*t + 40, -4*g = -3*t - 70. Solve 4*k + g = -4 for k.
-5
Let f(u) = u**3 + 3*u**2 - u + 3. Let l be f(-3). Let k be (3 + -1 - 2)/(l/3). Solve 10*b - 6*b = k for b.
0
Suppose 3*x - 3*y = 2*y, 4*y = 0. Suppose i + 4*u - 4 = 2*u, -5*u = 2*i - 9. Solve x*f = -i*f for f.
0
Let a be 2/(143/22*(-3)/(-39)). Solve 0 = -a*z + 6*z - 4 for z.
2
Suppose 19*j - 462 = 16*j. Let k = -138 + j. Solve 3*t = -4 + k for t.
4
Let g be (70 + -99)/(0 + 0 - 1). Solve 0 = o - g + 28 for o.
1
Let g(t) = -2*t**2 - 10*t - 9. Let u(a) = a. Let w(b) = -g(b) - 3*u(b). Let q be w(-4). Solve 0 = 2*k + q - 3 for k.
-5
Suppose 41 - 21 = 4*r. Solve -13 - 12 = -r*u for u.
5
Let y = 4 - -1. Suppose 5*c + 32 - 7 = 3*v, -y*v + 4*c + 20 = 0. Solve 0 = h + 2 - v for h.
-2
Let q(u) = -u + 4. Let z be q(12). Let a(y) = y**2 + 8*y + 8. Let g be a(z). Suppose -j + g = j. Solve 15 = j*x - x for x.
5
Let h(y) = -y. Let d be h(-16). Let u(p) = -2*p**2 + 31*p + 16. Let l be u(d). Solve 2*j + l = -2 for j.
-1
Let p(h) = h**3 + 13*h**2 + 21*h - 11. Let k be p(-11). Solve 5*m - 4*m - 1 = k for m.
1
Let u(a) = -a - 13. Let g(z) = z**2 - 12*z + 19. Let i be g(8). Let d be u(i). Solve 4*c - 4 + 8 = d for c.
-1
Let a(x) = 4 - 10*x**2 + x**2 + 2*x**2 + 13*x**2 + x**3 - 7*x. Let l be a(-7). Suppose -30 = -10*m + l*m. Solve -m*c = -c for c.
0
Let z(m) be the second derivative of -m**5/20 - m**4/3 + 2*m**3/3 - 2*m**2 - 27*m. Let w be z(-5). Solve 4 = 3*c + w for c.
1
Let q = 255 - 248. Solve -4*f + 5 = -q for f.
3
Let z(s) = 10*s + 7*s - 18*s + 0 - 3. Let u be z(-5). Suppose -4*d + 5*d - 4 = -u*q, -2*d = 3*q - 6. Solve -r = -d*r + 3 for r.
-3
Let o(k) = 3*k + 2*k - 4*k + 7. Let f be o(-5). Solve 0 = -f*n + 8 - 4 for n.
2
Suppose -165*g + 54 = -156*g. Solve -g*k + 20 = -k for k.
4
Let t = -459 - -460. Solve 3*s = -t - 2 for s.
-1
Let z(f) = 10*f**3 - 3*f**2 - f + 7. Let h be z(2). Solve -75*p + h*p = -10 for p.
5
Let m = -13 + 4. Let u = 9 + m. Solve -2*t - 6 = -u*t for t.
-3
Let m(c) = -c**3 + 15*c**2. Suppose 5*w = 4*w + 15. Let z be m(w). Let x(d) = -d**2 + 2. Let q be x(z). Solve -3*t = q*t + 5 for t.
-1
Let a(w) be the first derivative of w**3/3 - 7*w**2/2 - 5*w + 1. Let t be a(7). Let o = 5 + t. Solve o*k + 3*k + 15 = 0 for k.
-5
Suppose