Let f(v) = 3*n(v) - 7*w(v). Is 8 a factor of f(-4)?
True
Suppose 0 = 2*l - 17 - 5. Suppose 3*b + b = 3*n + l, -3*b = -15. Suppose 5*m = -n*g + 123, -g = 2*m - 50 + 1. Is 5 a factor of m?
False
Let w(o) be the second derivative of o**6/120 + 7*o**5/60 + o**4/6 + o**3 + 5*o**2/2 - 3*o. Let r(j) be the first derivative of w(j). Is r(-5) a multiple of 18?
True
Let p(w) = -w**2 - 34*w + 12. Does 8 divide p(-24)?
False
Let u(y) = y**2 - 9*y + 7. Let p be u(9). Suppose p + 3 = -5*j - 5*k, -2 = 5*j + k. Suppose 3*m + 4*r - 46 = 0, 3*r - 3 = -j*r. Is m a multiple of 3?
False
Let x be (-12)/(-24) + (262/4)/1. Let g = x - 30. Does 9 divide g?
True
Let u(s) = s**2 - 25*s + 21. Let x be u(10). Let r = -88 - x. Is 6 a factor of r?
False
Suppose 3*w = 11 - 2. Let r be (17 - 36)*(2 - 3). Suppose -5*q = -w*p + r, 3*p - 2*q = 2*q + 17. Is 3 a factor of p?
True
Is 9 a factor of (-8)/(72/1017)*(0 + -1)?
False
Let y be 6/(-4 + 3)*3/(-3). Let l(z) = 4*z**3 - 4*z**2 + 4*z - 4. Let c be l(3). Suppose -y*d = -4*d - c. Is 20 a factor of d?
True
Suppose 3*x = -x + 8. Suppose 0 = -4*c + 5*q + 160, x*c + c - 2*q - 127 = 0. Suppose 0 = -4*u + 103 + c. Is u a multiple of 9?
False
Let o(h) = h**3 - 3*h**2 + 3*h - 8. Let d be o(7). Suppose -d = -10*j + 1041. Is 25 a factor of j?
True
Suppose 5*i - d - 1986 = 0, 0 = -2*i - 7*d + 2*d + 789. Does 80 divide i?
False
Suppose 3*p = 0, -i = -5*p - 289 - 283. Is 11 a factor of i?
True
Let b(f) = 13*f + 233. Is b(23) a multiple of 76?
True
Let k(s) = s**2 - 9*s + 4. Let f be k(7). Let r(q) = -13 - 11*q + 16 - 14. Does 33 divide r(f)?
True
Let i(h) be the second derivative of -10/3*h**3 - 1/12*h**4 + 0 - 2*h**2 + h. Is 25 a factor of i(-12)?
False
Suppose 0 = -24*r + 28*r + 48. Does 7 divide (-3)/r + 390/8?
True
Suppose -4*y = 21 - 229. Suppose -y = -2*a + 48. Is a a multiple of 10?
True
Let l(v) = 2*v**2 + 1. Let s(g) = 6*g - 1. Let w be s(1). Suppose w*d - 7*d = 4. Is 4 a factor of l(d)?
False
Let f = -17 - -25. Is 3 a factor of (f/12)/(2/12)?
False
Let o(c) = -c**2 - 3*c - 1. Let l be o(-1). Suppose -5*t + 2*u + 5 = -l, 4 = 5*t - 3*u. Suppose -t*g + 42 = -2*x, -2*g + 39 = -5*x - 18. Is g a multiple of 5?
False
Let o(t) = 69*t + 181. Does 85 divide o(6)?
True
Let x be (-30)/(-8) + 21/(-28). Suppose 3*i + 4*c - 13 = 0, -x*c = 3*i + 2*c - 17. Does 5 divide (21/6)/(i/(-6))?
False
Suppose 0 = 4*n - 3 - 9. Suppose -2*x + 445 = n*x. Does 13 divide x?
False
Let h(z) = z**3 - 3*z**2 - z + 3. Let t be h(3). Let p(l) = l + 5. Let w be p(t). Suppose -w*f + 163 = 5*y - 342, f = 2. Is y a multiple of 29?
False
Does 6 divide (2 - -149) + 4 + -3 + 4?
True
Let q = -77 + 66. Let i(p) = -p - 2. Does 6 divide i(q)?
False
Suppose 2 = 6*d - 16. Let x be d*(-1 - -8) - 0. Let y = x - 16. Is 3 a factor of y?
False
Let f be ((-1)/(-2))/((2 + 0)/64). Let o = 46 - f. Is 10 a factor of o?
True
Let c(f) = 52*f**2 - 2*f + 55. Let s be c(-8). Suppose -s - 861 = -20*y. Does 22 divide y?
False
Suppose y + 4*r - 128 = 0, 2*y + 5*r + 129 = 397. Let l = 3 + 1. Suppose -l*c + 0*c + y = 0. Is 12 a factor of c?
True
Suppose 44174 = 466*i - 440*i. Does 30 divide i?
False
Let r = 80 - -189. Does 40 divide r?
False
Let q = -4 - -4. Let t(k) = k**2 + k + 3. Let y be t(-2). Suppose q = y*m - m - 116. Is m a multiple of 29?
True
Let i(w) = 24*w + 22. Let z be i(2). Suppose 5*j + z = 1205. Does 36 divide j?
False
Let m(t) = -t**3 + 2*t**2 + 31*t + 8. Is 25 a factor of m(-7)?
False
Suppose 4967 + 6958 = 15*c. Is c a multiple of 15?
True
Let i(s) = s**2 - 13*s + 15. Let g be i(12). Let k = g - 1. Suppose 5*n + 2*f - 209 = -0*f, -3*f = k*n - 77. Is 9 a factor of n?
False
Does 53 divide (-26 - 27)*(-3)/1?
True
Let j = -16 + 75. Is 3 a factor of j?
False
Let p(y) = -y**2 + y + 1. Let x(u) = 4*u**2 - 22*u + 4. Let o(a) = 3*p(a) + x(a). Does 30 divide o(23)?
False
Let l be (0 - 0 - -1)*-13. Let o = l + 32. Does 10 divide o?
False
Suppose -4*n = -19 + 7. Let l be 4 + (-95 - (n - 4)). Does 12 divide (-12)/(-8) - l/4?
True
Is 29 a factor of (612/(-30))/(5/(-75))?
False
Is (-48)/(-162)*9*4254/4 a multiple of 10?
False
Does 47 divide (0 + (-94)/(-4))/(31/1178)?
True
Is (-3)/(-2) - (-26286)/156 a multiple of 34?
True
Suppose 0 = -0*p + 2*p + 20. Let r(d) = -d + 3. Is r(p) a multiple of 13?
True
Suppose -2*v + 1245 - 364 = -3*x, 3*v = -5*x + 1369. Is v a multiple of 16?
True
Let c = 961 - 576. Does 11 divide c?
True
Suppose -22*x + 102 = -21*x. Does 51 divide x?
True
Suppose 156*p = 162*p - 2370. Does 42 divide p?
False
Let n(x) = -801*x - 47. Does 26 divide n(-1)?
True
Suppose 3*v + v = 0. Let r be 4/(-8)*v/(-1). Suppose 2 = -n, r*n = 2*g - 5*n - 18. Does 4 divide g?
True
Let q = 28 + -25. Suppose q*o = o + 160. Is o a multiple of 20?
True
Let c(z) = -z**3 - z**2 + 28*z + 24. Is c(-9) a multiple of 28?
True
Let c(j) = -2*j - 22. Let t be c(-12). Suppose 0 = -5*g - 4*a + 338, 4*g - 7*a + t*a - 295 = 0. Is 11 a factor of g?
False
Suppose -4*k - 2*k = -1464. Let f be k/6 - (-14)/(-21). Suppose 2*w = 4, -5*w = -3*n + 19 + f. Is n a multiple of 8?
False
Let o(t) = -23*t**2 + 2*t - 3. Let r(v) = -114*v**2 + 10*v - 15. Let s(h) = -11*o(h) + 2*r(h). Is s(2) a multiple of 20?
False
Let x = 1114 + -664. Suppose -6*u + x = -54. Does 12 divide u?
True
Suppose -18*i = -3560 - 724. Is 3 a factor of i?
False
Let n be 2/10 - 1/(15/(-7032)). Suppose 5*s = 5*f - 535, -3*f - 145 + n = -2*s. Is f a multiple of 22?
True
Let o = -32 - -31. Let f = o + 11. Suppose 2*c - f = 32. Does 9 divide c?
False
Suppose -y + 94 = 4*p - 124, p - 2*y - 50 = 0. Does 6 divide p?
True
Let u(f) = 6*f + 6. Let w(r) = 7*r + 6. Let v(g) = 3*u(g) - 4*w(g). Let s be v(-7). Suppose 4*t + 11 = -4*d + 55, -4*t = -d - s. Is t a multiple of 6?
False
Suppose -2 = 2*x + 5*t, -6*t + 5*t = -x - 1. Let r(q) = -2*q**2 + 5*q - 3*q - 3*q - 37*q**3. Does 12 divide r(x)?
True
Let v = -114 - -116. Suppose v*l = 2*j - 130, -j + 2*j = -3*l + 45. Is 11 a factor of j?
False
Let t(u) = 15*u**2 - 7*u + 6. Let y(o) = 5*o**2 - 2*o + 2. Let s(x) = -2*t(x) + 7*y(x). Does 5 divide s(2)?
False
Let h = -780 - -1176. Does 6 divide h?
True
Suppose 17*b - 10 = 15*b. Suppose -p - 2*n + 31 = 0, -b*p + 0*p = -3*n - 116. Does 25 divide p?
True
Suppose 4*h = 0, 3*j = -0*j - h + 1008. Is j a multiple of 48?
True
Let s = 468 + -118. Does 50 divide s?
True
Let c = 1476 - 1017. Is 27 a factor of c?
True
Suppose -12*p = -14*p. Suppose 2*v = -3*t + 84, p = -3*t + t + 3*v + 43. Does 12 divide t?
False
Let t(x) = 4*x**2 - 5*x + 5. Let o(v) = 7*v**2 - 10*v + 10. Let f(g) = -2*o(g) + 5*t(g). Is f(4) a multiple of 9?
True
Let l(j) = j**3 - 6*j**2 - j - 4. Let t be l(6). Let k = t - -15. Suppose 0 = 6*c - k*c - 48. Does 16 divide c?
True
Is 58/(-174) - (-2 - 616/3) a multiple of 11?
False
Let t = 30 + -50. Does 26 divide (-4 - 75/t)*-908?
False
Let d(t) be the second derivative of -t**4/12 + 11*t**3/6 + 5*t**2/2 - 3*t. Let g be d(8). Let u = g - 11. Is 11 a factor of u?
False
Suppose -17 - 7 = -3*h + 3*w, 4*w = -3*h + 38. Suppose -h = 3*n - 40. Is 3 a factor of n?
False
Let f = -10 + -30. Let b = f - -80. Does 10 divide b?
True
Suppose -5*i = -4*t - 75, i - 24 = -t - 0*t. Is (96/(-10))/(i/(-380)) a multiple of 52?
False
Let x be ((-6)/(-9))/1*-9. Let v(w) = -2*w - 7. Is 5 a factor of v(x)?
True
Suppose 2*x = 10*x - 24. Suppose -8*d + x*d + 255 = 0. Is d a multiple of 17?
True
Let r(u) = -u**2 + 4*u**2 + u - 2*u. Suppose 3*l - 2*x + 16 = 5, 10 = -2*l + 4*x. Is 15 a factor of r(l)?
True
Let b = -1544 + 1976. Is b a multiple of 18?
True
Suppose 2582 = 2*b - 3970. Is b a multiple of 117?
True
Let i be 0 + 173 + -2 + -5. Let q = 14 + -9. Suppose q*x = -b + 218, -4*x = -3*b + b - i. Does 11 divide x?
False
Let t = 16 - 28. Does 14 divide (-338)/t - (-23)/(-138)?
True
Let m(i) = -20*i**2 - 72*i - 128. Let t(l) = -7*l**2 - 24*l - 43. Let q(w) = 6*m(w) - 17*t(w). Is 15 a factor of q(-17)?
False
Suppose -g - 13 + 6 = 5*t, -5*t = 10. Let d = 5 - g. Suppose 2*i = -d*i + 300. Does 25 divide i?
True
Suppose -4*w - 20 = -3*s, -10 - 15 = 4*s + 5*w. Suppose 4*f - 552 = -2*n, s = -3*f - 4*n + 3*n + 416. Does 14 divide f?
True
Suppose -6*f - 417 = -435. Let o be ((-2)/(-3))/((-2)/(-6)). Suppose 0 = -z + 6*z - f*c - 140, o*z = -5*c + 25. Is 6 a factor of z?
False
Let z(j) = -71*j + 9. Is 5 a factor 