v) = -v**3 - 32*v**2 + 5*v + 3. Let f = 309 - 342. Is 41 a factor of p(f)?
False
Let d = 140 + -150. Let k = d - -87. Is k a multiple of 11?
True
Let v(m) = -39*m - 2 - 7 + 159*m. Does 17 divide v(2)?
False
Suppose -24*x + 132 = -20*x. Let t(u) = 3*u**2 - 90*u - 73. Is 10 a factor of t(x)?
False
Let q = -11931 + 34966. Is q a multiple of 85?
True
Let m(p) = p**2 - 42*p + 8. Let o = 156 + -164. Is m(o) a multiple of 13?
False
Let r = 25351 + -3490. Is 63 a factor of r?
True
Suppose -i + 28545 = 3*m, 186*m - 47555 = 181*m + 5*i. Is m a multiple of 41?
False
Let m(s) = -s**3 + 0*s**3 + 1701*s - 1698*s - 8*s**2 - 27. Suppose -4*b - 11 - 33 = 4*h, 0 = -3*b + 2*h - 23. Does 3 divide m(b)?
True
Let y(b) = 77*b**2 + 116*b - 653. Is 4 a factor of y(6)?
False
Let s(k) = 5*k - 21. Let l be s(5). Let g(j) = -6 + 6 + 11 + 12*j + l*j. Is g(2) a multiple of 43?
True
Let f be -228 - -1 - (-2 + (-2 - -6)). Let y = 343 - f. Does 49 divide y?
False
Let f = 507 + -262. Let k = f - 200. Is k a multiple of 2?
False
Let y(b) = 20*b - 8. Let k be y(3). Suppose 28*a = k*a - 25320. Does 42 divide a?
False
Suppose -2*q = 3*j - 12968, 2*q + 80 = 88. Is 10 a factor of j?
True
Suppose 0 = -3*j - 3*s + 9579, -s + 6837 = 4*j - 5935. Is 103 a factor of j?
True
Let w = 8 - -1. Suppose w*d - 19*d + 590 = 0. Is 55 a factor of d?
False
Let p = 50203 - 31483. Is p a multiple of 48?
True
Let l(z) = 28*z**2 - 3*z - 1. Let u be l(-3). Suppose 43 = -3*c - 2*a + 37, 0 = -3*c - 4*a - 12. Suppose c = -2*j - 3*j + u. Is 16 a factor of j?
False
Let x = -3011 - -3699. Is x a multiple of 8?
True
Suppose -5*a - 5*x = 5, 2 + 2 = -2*x. Is a*3/(3/5) - -527 a multiple of 38?
True
Suppose 2*b + 25780 = 3*x, -3*x + 5*b = -25077 - 691. Is 81 a factor of x?
False
Let w(x) = -x. Let a(p) = -p**3 - 15*p**2 - 10*p + 1. Let v(m) = -a(m) - 6*w(m). Does 10 divide v(-13)?
False
Suppose 0 = -55*y + 209*y - 1387386. Is 194 a factor of y?
False
Let f(a) = -2*a**2 - 88*a - 25. Suppose 6*o + 1492 - 1360 = 0. Does 41 divide f(o)?
True
Let w be 70/(-18) - 19/171. Let y = w + 1. Let d(x) = -4*x + 8. Does 20 divide d(y)?
True
Suppose 10802 = 4*r + s, 2721 = r - 5*s + 31. Suppose -3*k - 7*k + r = 0. Is k a multiple of 9?
True
Does 77 divide 18/4 - (-672421)/398?
True
Let u(y) = -y**3 - 2*y**2 - y. Let n be u(-2). Let s be 2/(-5) + 6600/250. Suppose 0 = -2*c - 5*l + 57, s = -2*c + 3*c + n*l. Is c a multiple of 8?
True
Let q(s) = s**3 + 34*s**2 + 6*s - 146. Is 58 a factor of q(-18)?
True
Let o(i) = -25*i + 94 - 333 + 127. Is o(-14) a multiple of 34?
True
Let z(n) = 110*n**2 - 4*n - 2. Let f be z(-1). Suppose 3*y + 2*a - f = -2*y, 3*a - 3 = 0. Suppose y*j - 31*j = -1755. Does 15 divide j?
True
Let c(r) be the second derivative of 13*r**4/12 + r**3/6 - 3*r**2 + 2*r. Suppose 10*i - 192 = -38*i. Is 36 a factor of c(i)?
False
Let r be -3 + 4/3*(-21)/14. Let o(w) = 8*w**3 - w**2 + 3*w**2 - 4*w**3 - 5*w**3 - 6*w - 15. Does 18 divide o(r)?
False
Suppose 3*x + 16 = 7*x. Let n be (-2)/x + (-24)/16. Does 3 divide ((-56)/(-8))/(n/(-2))?
False
Let f be (2 + -400 + 1)*(21 - 16). Does 20 divide -3*(-6)/(-45)*f?
False
Let j(h) = -h**2 + 7*h - 7. Let b be j(4). Let d be b*(52/(-20) - -2) - 31. Is (-1832)/d - 4/(-34) a multiple of 5?
False
Suppose -4*i = -3 - 9. Let o(g) = 5*g - 1. Let q be o(i). Suppose 11*k = q*k - 303. Is 28 a factor of k?
False
Let r = 98 - 96. Let p be 5/15*r*-15. Let k = p + 131. Is 11 a factor of k?
True
Is (-126)/72 + (-1533447)/(-36) a multiple of 11?
False
Let i be -6 + 19 + (2 - 1). Let v = -48 + 29. Let q = i - v. Is 6 a factor of q?
False
Let h be (-14 - -4) + 6 - -2. Is -80*(h/4)/((-4)/(-8)) a multiple of 20?
True
Suppose -27891 = -40*s + 26229. Is 33 a factor of s?
True
Is 14 a factor of ((-27)/(-1296)*-16)/((-2)/56598)?
False
Let y be ((-416)/(-10))/4*(22 - 87). Let l = y + 906. Does 18 divide l?
False
Suppose 2*x - 7 = -h + 5, -2*x - 5*h = -28. Does 14 divide (-96)/192 + 3774/x?
False
Is 39 a factor of (416 + -2)/(24/156)?
True
Suppose 16505 = 2*c - 4*z + 1481, 0 = -c + 3*z + 7515. Does 27 divide c?
True
Let j be 5/(45/(-4572)) + 3/1. Is 38 a factor of 2 + j/(-5) + 2?
False
Let i be (1435/20 + 5)/((-2)/8). Let x = i - -366. Is x a multiple of 11?
False
Suppose -2*z - 1 + 0 = o, -25 = 5*z. Suppose -7 = -2*n + 3*c, 3*c + o = 3*n - 0*c. Is (50 - -1)*n/3 a multiple of 14?
False
Let l(m) = m**3 + 2*m**2 + m - 7. Let w be l(-4). Let f = 118 + w. Is f a multiple of 25?
True
Let o = 20 + -42. Let v = -25 - o. Let t = 17 - v. Does 4 divide t?
True
Suppose 64*t - 68*t = -2*q + 15328, -15334 = -2*q + t. Is 6 a factor of q?
True
Let b(n) = -1725*n**3 - 8*n**2 - 12*n + 15. Does 223 divide b(-2)?
False
Let w(n) = -n + 6*n - n + 14. Let j be w(-3). Suppose 105 = 2*b + 3*f, -50 = -j*b + b - f. Is 9 a factor of b?
True
Suppose -42*j - 26822 = -104774. Is 32 a factor of j?
True
Let x(t) = t**2 + 17*t + 68. Let u be x(-11). Is 5 a factor of (80/7)/4*7/u?
True
Suppose -t - 3*y + 42372 = 0, -122*t - 4*y + 211893 = -117*t. Is t a multiple of 153?
True
Let l(b) = -60*b - 1. Let r(k) = 26 - 17*k + 12*k + 2*k. Let f be r(9). Does 17 divide l(f)?
False
Let a(u) be the second derivative of u**5/60 + 5*u**4/12 + u**3 - 33*u**2/2 + u. Let s(b) be the first derivative of a(b). Does 17 divide s(9)?
False
Is ((-23790)/52)/((-5)/396) a multiple of 99?
True
Suppose 0 = -4*o + 11*o - 21. Does 11 divide (o/2)/(6 - 19125/3190)?
True
Let m(h) = -7*h + 22. Let z(f) = -13*f + 45. Let j(k) = -5*m(k) + 2*z(k). Let a = -1381 - -1394. Does 23 divide j(a)?
False
Let m = -123 + 115. Does 30 divide ((-1)/1 - (m - -4)) + 327?
True
Suppose 5*v + 107 = 3*k, 3*v + 53 = -k - 0*k. Let p(d) = 10*d - 8 + 11 - d**2 - 6 + 2*d**2. Does 21 divide p(v)?
True
Let n(f) = 2*f - 67. Let i be n(26). Is (-10)/i - 76/(-3) a multiple of 13?
True
Suppose -l = -3*l + 4*l. Suppose 33*n - 6 = 31*n, -2*j - 2*n + 804 = l. Does 19 divide j?
True
Let r(k) = -6*k**2 + 72*k + 10. Let t be r(12). Is (7 - 9)*(-975)/t a multiple of 13?
True
Suppose -12*u + 16*u - 4 = 4*h, 2*h = 0. Is 3 a factor of ((-12)/((-360)/10))/(u/351)?
True
Let w(f) = -f**3 - 15*f**2 + 30*f - 8. Let u be w(-16). Suppose -m - 85 = -449. Let a = u + m. Is a a multiple of 12?
True
Let d(z) = 121*z + 10628. Is d(0) a multiple of 30?
False
Suppose -90 = -2*j - 84, 2*j - 101411 = -5*i. Does 13 divide i?
False
Suppose -55584 = -4*s - 0*s - 3*j, -2*s + 27826 = -7*j. Is s a multiple of 23?
False
Let g(i) be the first derivative of -22*i + 31/2*i**2 + 19 - 1/3*i**3. Is g(20) a multiple of 11?
True
Suppose 27*d = 30*d - 30. Suppose -d*o + 25040 = 6*o. Is o a multiple of 91?
False
Let k = 52 - 52. Suppose k = o + 5*o - 96. Suppose -o = -5*p + 3*p. Is 8 a factor of p?
True
Suppose 23*t - 22416 = -4*o + 21*t, -2*o - 4*t + 11190 = 0. Is 63 a factor of o?
True
Does 10 divide 685*(-15 + 0)*(-310)/775?
True
Let d = 158 + -133. Suppose 0 = -d*l + 9*l + 6032. Is 63 a factor of l?
False
Suppose -3*l - 3*l = 228. Suppose -41*z + 39*z = 256. Let s = l - z. Is s a multiple of 31?
False
Suppose -3*d - 144 - 67 = 2*l, -2*d - 144 = 3*l. Let p = d + 145. Is 19 a factor of p?
True
Let t(i) = 70*i**2 - 42*i + 56. Does 5 divide t(4)?
False
Suppose -4*i + 39 = -25. Let k(u) = -24*u - 21. Let q be k(i). Is 28 a factor of (5 - q/(-25))/((-1)/5)?
True
Does 51 divide 4/(-18) + (1213646/63 - -4)?
False
Let u(f) = -5*f**2 + 10*f - 1. Let h(t) = 4*t**2 - 9*t. Let y(i) = -6*h(i) - 5*u(i). Let p be y(-3). Suppose 6*r = p*r + 228. Is r a multiple of 14?
False
Suppose 0 = 5*j - 4 - 396. Let c = -74 + j. Does 3 divide c?
True
Let k(p) = -1256*p + 212. Is 12 a factor of k(-5)?
True
Suppose 1 = -4*c + 25. Suppose 5*w - c - 4 = 0, -5*j - 5*w = 275. Let b = j + 95. Is 19 a factor of b?
True
Suppose -2*p + 4*p - 20 = 0. Does 20 divide 2070/34 - 15/((-1275)/p)?
False
Let c(g) = -7*g**2 - 4*g - 4. Let h(w) = -13*w**2 - 8*w - 8. Let t(n) = 7*c(n) - 4*h(n). Let q be t(-2). Suppose -144 - 544 = -q*r. Is 9 a factor of r?
False
Let i(w) = -11*w**2 - 13*w**2 + 5*w + 8*w**2 + 38*w**2. Is 11 a factor of i(5)?
False
Let l(h) = -7*h - 6*h + 35 - 39. Is 13 a factor of l(-17)?
False
Suppose -t = 4*u - 2953, 14*u + 3847 = -2*t + 9801. Is 15 a factor of t?
False
Let f = -764 + 1502. Is 6 a factor of f?
True
Suppose 0 = h - 4*a - 225, 5*h + a - 1125 = -3*a. Suppose 291