+ 12*w - 12. Is n(i) a multiple of 3?
True
Let k(a) be the first derivative of -a**6/120 - 7*a**5/60 + 11*a**3/6 + 2*a**2 + 3. Let b(q) be the second derivative of k(q). Is b(-7) a multiple of 11?
True
Let j(p) = -2*p**2 + 14*p - 2. Let t be j(7). Is 4 + 33 + (1 - t) a multiple of 10?
True
Let h(y) = -y**2 - 17*y - 18. Let k(s) = 4*s + 17. Let o be k(-7). Is h(o) a multiple of 16?
True
Is (-37449)/(-146) + (-1)/(-2) a multiple of 12?
False
Suppose -2*h - 366 = -11*s + 7*s, 0 = -5*s + 4*h + 465. Suppose 0 = -3*l + 311 - s. Does 25 divide l?
False
Let n = 1066 + -560. Is n a multiple of 22?
True
Suppose -3*a + 2*a + 32 = 2*r, -2*r + 3*a + 24 = 0. Is (-4)/10 - (-81)/r a multiple of 3?
False
Suppose -3*q + 1 + 11 = 0. Let f be q/14 - (-133)/49. Is 114/3 + 0 + f a multiple of 17?
False
Let k(b) = -12*b - 32. Let u(c) = 4*c + 11. Let n(r) = -3*k(r) - 8*u(r). Is n(11) a multiple of 16?
False
Let j = 175 + -64. Let d = 145 - j. Is 21 a factor of d?
False
Let s(u) = 191*u + 94. Is s(8) a multiple of 60?
False
Let p = 3362 - 1202. Does 9 divide p?
True
Suppose 30 = 5*k - 8*g + 3*g, 10 = -k - 3*g. Suppose 148 = k*c + 18. Let l = 119 - c. Is 31 a factor of l?
False
Let c = -14 - -11. Let a = -3 - c. Suppose a = -5*u + 102 + 173. Is 20 a factor of u?
False
Let c(b) = 15*b**2 - 11 - 2*b**3 - 3*b + b**3 + 2*b**3. Let t(o) = o**3 + 14*o**2 - 4*o - 11. Let k(h) = -6*c(h) + 7*t(h). Does 23 divide k(-8)?
True
Suppose 12 = -0*f + 2*f. Suppose 4*r = r + f. Suppose -2*x = -r - 2. Is x even?
True
Let u(o) = 6*o**2 - 13*o + 5. Is 13 a factor of u(-6)?
True
Suppose 5*b - 8 = 1072. Is b a multiple of 18?
True
Suppose -5*m - 5*d + 1895 = 0, -788 = -2*m + d - 27. Does 8 divide m?
False
Is 48 a factor of ((-2)/(-1) - -590)/(15/45)?
True
Does 11 divide (-1285)/(-13) + (-2)/(-13)?
True
Let q(i) = 33*i**2 + 6*i + 6. Is 15 a factor of q(-4)?
True
Suppose 0 = k + z + 3*z - 60, -5*k = 5*z - 330. Suppose 5*x = -k + 308. Does 4 divide x?
True
Suppose 0 = 5*h + 3*f - 10325, -14*h + 8257 = -10*h + 3*f. Is 47 a factor of h?
True
Let l = 818 + 1860. Does 113 divide l?
False
Suppose -3*z = -28*z + 200. Does 8 divide z?
True
Let z(j) = -j - 6. Let v be z(2). Let p be v/20 + 4/10. Suppose -104 = -p*s - 2*s. Is 13 a factor of s?
True
Let u(l) = l**2 - 4*l - 2. Let v be u(5). Suppose 0 = 4*p - 2*y - 274, 4*y - v*y - 1 = 0. Is 7 a factor of p?
False
Suppose -3*x + 3 = 0, -4*y + 358 = -y - 2*x. Does 24 divide y?
True
Suppose -62*t + 29403 = -29*t. Does 16 divide t?
False
Let b = 3 + -8. Let l be (b/15)/((-2)/36). Let h(o) = -o**3 + 6*o**2 + o + 8. Is 7 a factor of h(l)?
True
Let t(b) = b**2 - 4*b - 5. Let x be t(5). Suppose x*i = i - 70. Does 35 divide i?
True
Suppose 90*t + 5*u - 1420 = 88*t, 5*u - 2860 = -4*t. Is t a multiple of 24?
True
Suppose 3*i = -d - 10, -5*d - 14 = -0*i - 3*i. Let f be (i*12)/(1/2). Let s = f + 86. Is 19 a factor of s?
True
Suppose -5 = -u, -2*u = -3*f - 31 - 102. Let r = f + 24. Let d = -12 - r. Is d even?
False
Suppose -6*z + z = 4*q + 48, 2*q = -z - 12. Let h be z/6*3/(-2). Suppose -y = -16 - h. Is y a multiple of 15?
False
Let l = -21 + 9. Is (117/l)/((-12)/64) a multiple of 6?
False
Let v(h) = h**3 - 2*h**2 + h + 2. Let g be v(2). Does 31 divide g + (-2732)/(-18) - 2/(-9)?
False
Suppose -5*v + 412 = 4*c, -2*v + 4*c + 148 = -0*c. Suppose 0*t + 4*t = v. Suppose 3*d - 84 = 3*j, 76 - t = 3*d + 4*j. Does 12 divide d?
True
Suppose 8*h + 2*h = 30. Suppose -h*w = -515 - 451. Does 25 divide w?
False
Suppose r - 155 = -4*v, -3*r + 495 = -7*v + 4*v. Is 20 a factor of r?
False
Let a(n) = -16*n - 4. Suppose 6*x + 3*x + 54 = 0. Does 17 divide a(x)?
False
Suppose -5*f = -4 + 4. Suppose 5*a - 3*h = 133, 4*a + h = -f*a + 103. Is a a multiple of 13?
True
Let r(f) be the first derivative of 10*f**2 - 16*f + 6. Is r(5) a multiple of 21?
True
Suppose 2*u - 6 = s, 0 = -0*s + 5*s + 20. Let k be 3/((-3)/(-19)) - u. Suppose -f + k = f. Is f a multiple of 5?
False
Let b = 112 - 67. Let n = 118 - b. Is n a multiple of 12?
False
Does 4 divide (-19 - -18)/((-3536)/(-1180) - 3)?
False
Suppose -l + 2*m + 24 = -0*m, l = 3*m + 21. Suppose -5*q = -f + 12, l = -0*f + 4*f - 2*q. Suppose -3*n + 8*n = -4*i + f, 5*i - 45 = n. Is i a multiple of 8?
True
Let a(g) = -4*g. Let l be a(-1). Let u = l - -3. Is 3 a factor of (-10 - -7) + 1*u?
False
Let y(l) = -l**3 + 7*l**2 - 5*l - 5. Let q be y(6). Let n be 0/q + (1 - -1). Let w(t) = t. Is w(n) a multiple of 2?
True
Suppose -9*y = -13*y + 628. Is 13 a factor of y?
False
Suppose -878 = -16*q + 642. Is q a multiple of 19?
True
Let q(j) = -j**3 + 11*j**2 - 16*j + 106. Is 36 a factor of q(9)?
False
Let j be 12/(-72) + (-1789)/(-6). Let l = j + -164. Suppose 2*t - l = -4*m + 4*t, -46 = -m - 2*t. Does 12 divide m?
True
Let g(y) = -4*y + 10. Let s be g(-6). Let j = s - 32. Is 731/68 + j/8 a multiple of 4?
False
Is 21 a factor of (3 + 8284/8)*2?
False
Let r(g) = g**2 - 19*g - 12. Let z be r(14). Is 8 a factor of 3 + (-2 + z)/(-4)?
True
Suppose -2*l + 5*r = -0*l - 679, 3*l - 1032 = 3*r. Is l a multiple of 12?
False
Suppose -a + 105 = k - 76, 4*a = 2*k + 742. Is 4 a factor of a?
True
Let n be 5*(618/(-10) - -1). Let h = -196 - n. Is h a multiple of 27?
True
Suppose 4*g + w - 466 = 2*g, 0 = -5*w. Let t = g + -138. Does 8 divide t?
False
Is 6 a factor of 52/6 + (-40)/(-30)?
False
Let x(m) = -m**3 + 9*m**2 - 5. Let s be x(9). Let d(t) be the first derivative of -3*t**2 + 4*t + 1. Is d(s) a multiple of 9?
False
Suppose -10021 = -4*f + q, -3*q + 175 + 2314 = f. Is f a multiple of 85?
False
Let v = 1687 - 979. Does 12 divide v?
True
Let j(g) = 22*g**3 - g**2 - g - 1. Let w be j(-1). Let s = 26 + w. Does 9 divide 36 + 6/s + -1?
False
Let w(h) = h**2 + 10*h + 3. Let p be w(-11). Let a be 0/2*(-7)/p. Suppose 4*m + a*m = 92. Is 7 a factor of m?
False
Let k(h) = h - 15. Suppose 5*m - 5*s - 60 = -0*m, -4*m - 3*s = -27. Let p be k(m). Is 10 a factor of (-175)/(-21)*p/(-5)?
True
Let s = 15 + -15. Suppose -3*y + 20 + 12 = 2*o, s = -3*o - 5*y + 46. Does 9 divide o?
False
Is 1/((-3565)/8400 + 3/7) a multiple of 8?
True
Let g be ((-33)/(-9))/((-2)/12). Let x be 2/3*(-33)/g. Is (-4)/(-3 - x) - -63 a multiple of 24?
False
Let v be 1*2 - (-15 - -19). Is 7 a factor of ((-6)/v)/((-15)/(-35))?
True
Let g = -76 - -121. Is 2 a factor of ((-60)/g)/((-2)/12)?
True
Let x = 109 + -107. Let g(l) = -l**3 + 12*l**2 - 8*l + 5. Let a be g(5). Suppose -2*z + 142 = -3*u + u, 4*u + a = x*z. Is 24 a factor of z?
True
Let x = 22 - 19. Let t(d) = d**2 - 2*d. Let a be t(x). Suppose -a*y + 39 = -9. Does 8 divide y?
True
Let j = -12 + 11. Is (-5)/(10/(-129)) - j/(-2) a multiple of 8?
True
Let n(i) = i**3 - 36*i**2 - 111*i + 48. Is n(39) a multiple of 94?
True
Suppose -m + 5*d + 1010 = 0, 25*d = 24*d. Is 101 a factor of m?
True
Suppose -3*z + 27 = -0*z. Let s(c) = 5*c**3 + 14*c**2 + 18*c + 16. Let l(n) = -n**3 - n**2 - n - 1. Let w(p) = 6*l(p) + s(p). Does 10 divide w(z)?
False
Suppose 4*a - 10 + 335 = 3*h, 4*h + 5*a - 454 = 0. Is 6 - 3 - (6 - h) a multiple of 33?
False
Let o(y) = y**3 + 5*y**2 - 14*y - 1. Let f be o(6). Let d = f + -164. Does 45 divide d?
False
Suppose n + 5*d = 50, -n - 5*d = -4*n + 250. Suppose -h - 80 = -4*o, 3*o + 0*h - n = -3*h. Is 7 a factor of o?
True
Is (-1342)/(-10) - 8*6/(-60) a multiple of 2?
False
Let j(x) = 156*x + 614. Does 41 divide j(5)?
True
Suppose 213*p - 2120 = 209*p. Is 10 a factor of p?
True
Let a = 18 + -16. Suppose -c + 43 = y, 4*y = -5*c + a*c + 133. Does 20 divide c?
False
Let g(n) = 21*n**2 - 12*n - 1. Is g(7) a multiple of 31?
False
Suppose -2*p + 0*p + 6 = 0. Suppose -2*v + p*v = 6. Suppose -n - 145 = -v*n. Is 8 a factor of n?
False
Is 2 a factor of ((-30)/6)/(-1 + 0)?
False
Suppose 0 = 2*z + 14*z - 12752. Does 12 divide z?
False
Let t = 8840 - 4992. Is 13 a factor of t?
True
Suppose -4*y = -2*p + 14, 4*y = -4*p + 2*y + 38. Let u be (p/(45/(-170)))/(-1). Let x = -9 + u. Is x a multiple of 25?
True
Suppose 2*x = -q + 1, -6*x - q = -x + 2. Is 2 a factor of (((-2)/(-1))/x)/(10/(-45))?
False
Suppose -j = -0*j - 10. Let g(p) = -j*p - 6*p + 8 - 4*p - p**2. Is 23 a factor of g(-14)?
True
Suppose 4*h - 8 = 2*h. Suppose 3*n - 42 = -4*m, 3*m - n - 30 = -h*n. Suppose s = -5*k + 68, -4*k + 46 = -s - m. Is k a multiple of 7?
True
Let w = -77 - -158. Is -3 + w/(0 - -3) a 