48*f**2 - 94*f + 28. Is 2 a factor of n(-46)?
True
Let w(v) = v**2 + 6*v + 48. Let k be w(-14). Suppose -k = -6*m + 104. Does 2 divide m?
True
Suppose r + 4*r = 35. Suppose 3*c + 1260 = r*c. Suppose -6*b + c = b. Is 15 a factor of b?
True
Suppose -36*w - 76*w = -30*w - 1968902. Is 38 a factor of w?
False
Suppose -8*g - 30*g = -3800. Does 9 divide (-1 - (-2738)/8) + 75/g?
True
Suppose -4*c + 3*p = -189549, 4*p - 53 = -49. Is 11 a factor of c?
True
Let n(c) be the third derivative of -17*c**2 + 0*c + 1/120*c**6 + 5/12*c**4 + 13/60*c**5 + 0 - 7/6*c**3. Is n(-12) a multiple of 3?
False
Let y = 45 + -43. Suppose 3*x + 108 = y*x. Does 20 divide (10/6)/((-3)/x)?
True
Let v = -8801 - -17446. Is v a multiple of 15?
False
Suppose 4*g + 16 = 56. Suppose 0 = -g*p + 7*p + 159. Suppose p = y + 11. Is 6 a factor of y?
True
Does 38 divide 594/(-9)*(380/(-7))/((-141)/(-329))?
True
Suppose -3*d + 2723 = 698. Suppose 17*w = 12*w + d. Is w a multiple of 27?
True
Let p be 0 + -1 - (-6 + 2 + -118). Let v = -2 - -2. Let l = p + v. Is l a multiple of 18?
False
Let p = 735 + -274. Let i = p + -109. Does 22 divide i?
True
Let u be ((-155)/55 - -3) + 4/(-22). Suppose u = y - 8*y + 504. Is 9 a factor of y?
True
Suppose -33804*k - 161280 = -33860*k. Is k a multiple of 144?
True
Let l = 963 - 961. Suppose 6*q = -l*p + 9*q + 587, 5 = -q. Does 23 divide p?
False
Suppose -4*s - 3*o + 22665 = 0, 15*s - 12*s + 4*o - 16990 = 0. Is s a multiple of 15?
True
Let o = 18644 - 8555. Is 36 a factor of o?
False
Suppose 0 = 12*p - 43*p - 21*p + 524680. Is 19 a factor of p?
False
Let q(x) = -3*x**2 + 68*x + 77. Let a(t) = 14*t**2 - 9*t**2 - 7*t**2 + 51 + 45*t. Let c(s) = -7*a(s) + 5*q(s). Is 20 a factor of c(13)?
False
Let f(u) = 2*u. Let k be f(-2). Let n be 5/(k + -1) + 3. Suppose -5*r + 3*o + 344 = 0, -n*o + 218 = 3*r + 2*o. Is r a multiple of 18?
False
Let s be ((-1)/(-1) - 25)*(-12)/(-24). Let k = s - -387. Does 15 divide k?
True
Let k(h) = -5*h**2 + h + 232 + 13*h**2 - 12*h**2. Is 16 a factor of k(0)?
False
Let a(g) = g**3 - 46*g**2 + 5850. Does 15 divide a(0)?
True
Suppose 2254*c = 2255*c - 1970. Does 23 divide c?
False
Let b(n) = n + 2 + 20 - 10. Let j be b(-12). Suppose -11*r + 176 + 1199 = j. Is r a multiple of 32?
False
Let g be (-6)/18 + 410/15. Let t = 7621 + -14053. Does 14 divide (-4)/18 - t/g?
True
Let x(q) = q**3 - 32*q**2 - 35*q - 427. Is 7 a factor of x(35)?
True
Let u = 22 + -30. Let b(s) = -2*s**2 - 18*s - 10. Let o be b(u). Does 21 divide (-4)/o - (-5072)/48?
True
Suppose -26*p = -28*p + 780. Let j be (p/45)/(1 - 26/30). Suppose -2*q = 3*u - 47, 5*u - j = -5*q + 8*u. Is 12 a factor of q?
False
Suppose 4*o - 2*o - v + 3 = 0, -5*o - 3*v + 9 = 0. Suppose -5*g - x + 1 = o, 3*x - 2 = 1. Suppose g = -3*f - 2*f + 945. Is f a multiple of 21?
True
Suppose -78460 = -4*f + 4*i, -23*i + 24*i + 78457 = 4*f. Does 131 divide f?
False
Let i be (-2)/(-8)*-5*-1680. Suppose 2*z + 3*u + u = 1430, -3*z = -3*u - i. Is z a multiple of 15?
True
Suppose -33 = -7*c + 44. Suppose 21*r = c*r + 23040. Suppose 0 = 22*f - 6*f - r. Does 24 divide f?
True
Suppose 0 = -10*p + 15*p - 30. Suppose 47 + 91 = p*n. Let o = n - -13. Is 6 a factor of o?
True
Suppose 3*m + 5*z = 3249, 4*m + 4332 = 8*m - 2*z. Suppose 11*x - 14*x + m = 0. Is x a multiple of 23?
False
Let l(p) = -p**3 + 19*p**2 - 17*p - 15. Let u be l(18). Is 15 a factor of (-30)/18*u + 35?
True
Suppose -3*t + 112 = -3*z - 92, -4*z = -3*t + 201. Suppose 0 = t*p - 61*p - 3900. Does 15 divide p?
True
Suppose 141129 + 384375 = 84*m. Is 39 a factor of m?
False
Suppose -5*j = -o - 25 - 316, 187 = 3*j - 5*o. Is 4 a factor of j?
False
Is 6/(60/10) - 4/(-8)*2818 a multiple of 12?
False
Let u(l) = 21*l**2 - 90 + 3*l**3 - l + 73 + 2*l**3 - 4*l**3. Does 4 divide u(-21)?
True
Suppose 2*f + 6 = -4*a + 5*a, -5*f = 3*a + 4. Let y = 122 - a. Is y a multiple of 15?
True
Let o(s) be the second derivative of 1/2*s**2 - 1/2*s**3 + 1/4*s**4 + 0 + 11/5*s**5 + 23*s. Is 45 a factor of o(1)?
True
Does 49 divide (-115)/575 - (-189888)/15?
False
Suppose 2*b + 2124 = -4*b. Let t = 633 + b. Does 9 divide t?
True
Suppose -136 = -5*i + 489. Is (-2)/(12/i)*-6 a multiple of 15?
False
Let z be ((-3)/4)/(18/(-48)). Suppose 2*v = z*u + 4, 3*u - 4*u + 8 = v. Is (-2)/((-5)/(925/v)) a multiple of 7?
False
Let a(s) = s**3 - 2*s**2 + 15*s - 6. Let o = 57 - 56. Let x = o - -4. Is a(x) a multiple of 18?
True
Let f(x) = 7*x - 39. Let p be f(5). Let w(h) = -7*h - 18. Let s(i) = 7*i + 18. Let n(k) = -3*s(k) - 2*w(k). Does 6 divide n(p)?
False
Suppose 2*x + 3*d = d + 6, 3*d - 9 = -6*x. Suppose -4*k + 1026 + 1358 = x. Does 21 divide k?
False
Let f = 5635 + -3900. Suppose 13*a - 631 - f = 0. Is 14 a factor of a?
True
Suppose 3*l = -7*h + 4*h - 6, h - 6 = -5*l. Suppose -3*t = -k - 179, -k = 4*t - l*k - 239. Is 3 a factor of t?
True
Suppose -88*s + 462 = -91*s. Let t = s + 330. Is 14 a factor of t?
False
Is 30986/5 + 618/(-515) a multiple of 29?
False
Suppose 960250 = 66*z + 59*z. Is 6 a factor of z?
False
Let n(s) be the second derivative of -47*s**3/3 + 31*s**2 - 144*s. Is 22 a factor of n(-8)?
True
Let p be 6 + (-5)/(20/12). Let o(z) = -15 - p*z + 0*z + 9 + 20. Does 16 divide o(-6)?
True
Does 30 divide (-1)/((-4)/6 - (-2979)/4473)?
False
Let k(n) = n**3 + n**2 - 138. Suppose 0*z = 2*z - 10*z. Let g be k(z). Let h = -56 - g. Is h a multiple of 8?
False
Suppose -6*g = 3*z - 2*g - 4058, -4*z - 5*g = -5412. Suppose 5*f = 3*j - z + 509, 0 = -j - 3*f + 297. Is j a multiple of 9?
True
Let a(w) = 18*w**2 + 35*w + 477. Is a(-17) a multiple of 101?
False
Let g = -508 + 36135. Is g a multiple of 155?
False
Let z(r) = -11*r + 30. Let q be z(3). Does 20 divide (-4 - q - -7)/((-4)/(-80))?
True
Let f be 2 + (-1 - -103) - -5. Let i = f - -140. Does 12 divide i?
False
Is ((-198)/(-6) - 8)*(592 - 4/4) a multiple of 152?
False
Let v(s) = -s**2 + 29*s + 109. Let z be v(32). Suppose -6285 = -z*a + 3894. Does 27 divide a?
True
Suppose -b - 2 = l - 6*l, -b + 4*l = 1. Suppose -b*u - 11 = -185. Does 36 divide u?
False
Suppose -27*w = -25*w - 720. Is (w/105)/(1/14) a multiple of 4?
True
Let s(g) = 22*g**3 - 4*g**2 - 4*g + 62. Let j be s(5). Suppose -476 = -6*z + j. Does 4 divide z?
True
Let q(n) = 11*n**3 - n**2 + 15*n + 25. Let m be q(-3). Let u = m + 391. Is u a multiple of 9?
False
Let k(b) = -b**3 - 3*b**2 + 50*b + 7. Let f be k(-11). Suppose -f + 30345 = 44*l. Is l a multiple of 26?
False
Suppose 21*b - 60 = b. Suppose -b*z = 23*f - 28*f + 2735, -5*f + 2725 = -z. Is 23 a factor of f?
False
Let o(r) = -r**2 + 10*r - 29. Let w be o(16). Is 150/w - 2476/(-5) a multiple of 37?
False
Suppose -2*o - 3060 = -12*o. Suppose 0 = -2*u - 5*s + 610, -12*u - o = -13*u - 3*s. Does 30 divide u?
True
Let a be 1*5*(-10790)/(-325). Suppose -82 = -2*c + g + 6, a = 4*c + 3*g. Is c a multiple of 4?
False
Suppose 1459 = -5*l + 4234. Suppose -4*n + l = i - 1146, -3*i = n - 428. Does 10 divide n?
False
Let p(k) = 2*k - 24. Suppose 3*h + 55 = 5*s, -33 = -3*s - 2*h - 2*h. Let n be p(s). Does 14 divide 64 - (-4)/(-8)*n?
False
Suppose -15*n = 29 - 134. Suppose -3*q = -n - 2. Is q even?
False
Suppose -285*v + 292*v - 18235 = 0. Is v a multiple of 43?
False
Let f(h) = 5*h**3 - 6*h**2 - 22*h - 315. Is 33 a factor of f(17)?
False
Suppose -81*k = -89*k + 40. Suppose -k*l + h + 1916 = -1152, -3*h - 2461 = -4*l. Is 8 a factor of l?
False
Let q be (-64)/(-80) - (-2133)/15. Suppose -2560 = 123*a - q*a. Is 8 a factor of a?
True
Suppose 15*n - 7*n = 137951 + 35025. Is n a multiple of 8?
False
Suppose -5*f = -4*m - 54, 36 = 2*f + 2*m - 0*m. Let v be (96/f)/(5/(-280)). Let g = 684 + v. Is g a multiple of 15?
True
Is 335 a factor of 163281/3 + (-8)/(1 - 33)*-8?
False
Let x(a) = -a**3 + 8*a**2 + 8*a - 12. Let z be x(8). Let n = z - 63. Let l(c) = 2*c**2 + 14*c - 3. Is l(n) a multiple of 9?
False
Suppose 2151*c - 2173*c + 13376 = 0. Does 8 divide c?
True
Let a(j) be the third derivative of j**5/60 + j**4/4 - 29*j**3/3 + 143*j**2. Does 3 divide a(9)?
False
Suppose -54 = 7*b - 12. Is 25 a factor of b/2 - (2670/5)/(-3)?
True
Let i(m) = m**3 - 29*m**2 - m + 31. Let u be i(29). Suppose u*r - 908 = -196. Is 34 a factor of r?
False
Let h(w) = 2*w**2 + 3*w - 3. Let b(x) = 3*x**2 + 6*x - 6. Let p(y) = -3*b(y) + 5*h(y). Let u be p(3). Suppose -u*g + 483 = -0*g. 