 2359. Is 189 a factor of p(11)?
True
Suppose -267 = -3*r - 5*s, 0 = -r - 2*s - 0*s + 88. Suppose 0 = -d - 5*v + r, 2*d + 3*v - 183 = -2*v. Let y = -47 + d. Is y a multiple of 15?
False
Suppose -3*d + 4*a + 11 - 6 = 0, 2*d - 4 = 2*a. Suppose u + 3 = 0, -2*i = d*u + 38 - 63. Is i a multiple of 17?
True
Suppose -4*i + f + 2348 = -2678, 4*f - 1265 = -i. Is i a multiple of 22?
False
Suppose 50*v - 228173 = 95777. Is v a multiple of 24?
False
Suppose -5*t + 10*t = d - 26, 24 = 2*d + 4*t. Suppose d*n = 17*n - 265. Let i = n - 112. Does 14 divide i?
False
Suppose 0 = -p, 2*f + 5*p - 4 = -2*f. Suppose -19 = s + 4*m, f + 12 = -s + 2*m. Is (-10)/(50/s) + (158 - 1) a multiple of 16?
True
Let i(u) = -51*u + 3. Let a(x) = -50*x + 2. Let c = 97 + -101. Let g(r) = c*i(r) + 5*a(r). Is 9 a factor of g(-3)?
False
Let f(i) = i + 104. Suppose m - 28 = -3*s, -2*s = -5*m + 4*m - 22. Is f(s) a multiple of 7?
False
Let r = -5309 - -9710. Is r a multiple of 27?
True
Let v = -550 + 696. Is v + (-1 - 2) + -2 + 8 a multiple of 46?
False
Let f(c) = c**3 - 11*c**2 - 8*c + 48. Let r be f(12). Let w be 5 + -2 - (2 + -55). Let q = r + w. Is q a multiple of 19?
True
Suppose -4*k - 13*h + 55 = -8*h, 2*k - 2*h - 50 = 0. Does 32 divide (-64)/(24/90*(-6)/k)?
True
Suppose 0 = -5*m - 2*s + 4731, -4*s - 3768 = 85*m - 89*m. Is m a multiple of 21?
True
Let t be 6/54 + 934/18. Suppose -208 = -4*c - 3*y, c + 0*c + 3*y - t = 0. Is 13 a factor of c?
True
Let p(n) = -n**3 + 8*n**2 - 8*n + 5. Let c be p(7). Let z be (-236)/20 - c/(-1*10). Let l(a) = a**3 + 13*a**2 - 7*a - 8. Is l(z) a multiple of 20?
True
Suppose 0 = -3*u + 12*u. Suppose 2*k + 5*i - 379 + 1735 = u, i + 4 = 0. Does 13 divide k/(-8) - (-1)/(-2)?
False
Suppose 0 = -3*d - p + 913, -3*d + 418 = -4*p - 475. Suppose 5*x = -3*v + 899, 0 = -32*v + 31*v - x + d. Is 11 a factor of v?
True
Suppose -2*t - 1282 = -4*o + 3*o, 0 = 3*o + 4*t - 3896. Suppose -2*i = 3*i + 3*g - o, 2*g - 520 = -2*i. Let k = -63 + i. Is 35 a factor of k?
False
Let q(f) = 2*f + 2. Let i be q(0). Suppose -h - i*a = 3*h + 48, -5*h = 4*a + 66. Is 7 a factor of 208/10 - h/50?
True
Let j be 26/3 + -7 - 2/(-6). Let l be j/((-4 + 8)/12). Suppose l*y = 8*y - 8, 4*y = 5*u - 289. Is 6 a factor of u?
False
Let y = 37 + -24. Suppose 3*a + a + y = 3*q, 3*a + 16 = q. Let l(k) = k**3 + 10*k**2 + 4*k + 9. Does 21 divide l(a)?
False
Let o be (-12 - -15) + 4/(-1). Is (o + 558)/(-102 + 103) a multiple of 17?
False
Let y(l) be the second derivative of l**4/2 + 5*l**3/2 - 7*l**2 + 19*l. Is y(-6) a multiple of 22?
False
Suppose 18*i + 270 = 12*i. Let t = 72 - i. Is 22 a factor of t?
False
Let q = 137 + -117. Suppose 5*n - 3*s - 7410 = 0, -s + 5928 = 24*n - q*n. Is 44 a factor of n?
False
Let k(b) = -b**3 + b**2 - b + 2. Let o be k(0). Suppose -c - 5*u = -3*c - o, -c + 4*u = 7. Suppose -c*q + 763 + 1100 = 0. Does 35 divide q?
False
Let d be 2*359*(-3)/(-15)*5. Suppose d = 4*w + 3*m - 287, 5*w - 3*m = 1236. Let l = w + -157. Does 12 divide l?
False
Suppose -8*s = -542 - 1386. Suppose -231*g = -s*g + 5480. Is g a multiple of 16?
False
Let d(s) be the second derivative of 3*s**5/5 - s**4/12 + s**3/6 - 11*s. Let r be d(1). Let o = 44 + r. Is 14 a factor of o?
True
Suppose 30*d + 228068 = 76*d. Suppose 0 = -27*z + 3250 + d. Is 19 a factor of z?
True
Let v = -616 - -1300. Does 60 divide v?
False
Let y be (-2 - (17 - 3))/(-1 + -1). Let w be -1*(-1 - y/(-4)). Is 5 a factor of -5*(16/(-20))/(w/(-10))?
True
Let h be (2 + (-6)/4)*(-6 - -16). Suppose -y - 2*x + 718 = y, -4*x + 1796 = h*y. Is 45 a factor of y?
True
Let i be (2 + (-26)/5)/((-2)/5). Let h(z) = z**3 - 6*z**2 + 17*z - 8. Is 66 a factor of h(i)?
False
Suppose w = 3*f + 912, -44*w - 5*f + 3716 = -40*w. Does 18 divide w?
False
Let m be (-24)/156 - 428/13*-11. Suppose -4*l - m = -1346. Is 41 a factor of l?
True
Let a = 12858 + 1302. Is 48 a factor of a?
True
Suppose -57*c + 33*c = 71*c - 658445. Is c a multiple of 18?
False
Let s(k) = k**3 - 12*k**2 + 44*k + 166. Does 8 divide s(16)?
False
Let c(d) = 40*d**2 + 906*d + 13. Is c(-23) even?
False
Suppose 4*p - 3*a + 4*a - 3 = 0, 0 = -5*p - 4*a + 12. Let o(k) = 2*k**2 + 2*k - 14. Let u(l) = -10*l**2 - 11*l + 102. Let w(f) = 6*o(f) + u(f). Is w(p) even?
True
Let b(s) = s**3 - 37*s**2 + 105*s - 86. Let p be b(34). Suppose p*k - 1644 = 4*k. Is k a multiple of 2?
False
Suppose -2*q - 4*s = 2, -6*q + 5*s + 20 = -5*q. Let b(k) be the first derivative of 7*k**2/2 - 26*k + 6. Does 2 divide b(q)?
False
Does 46 divide (-992805)/(-23 - 10) + (-1)/1?
True
Let g(f) be the third derivative of 0*f + 13/24*f**4 - 28/3*f**3 + 0 - 36*f**2. Is 21 a factor of g(14)?
True
Suppose 0 = -q - 3*n + 3645, 13*q - 9*q - 5*n = 14614. Does 72 divide q?
False
Let q(p) be the first derivative of p**3 + p**2 - 59*p + 149. Is q(-9) a multiple of 3?
False
Suppose 28*g - 84*g + 24752 = 0. Is 17 a factor of g?
True
Let y = 3216 - 2771. Is 5 a factor of y?
True
Suppose -w + 120 = 2*w. Suppose -3*f - w = 2*f - 5*m, 5*f = m - 20. Is 7 a factor of (2/f)/(9/(-270))?
False
Let l(b) = b**2 + 15*b + 6. Let t be l(-14). Let o(n) = -5*n + 69. Let p be o(16). Is (-32)/(-6)*(t - p) a multiple of 8?
True
Let d(s) = s**2 - 18*s + 83. Let a be d(20). Let v = 478 - a. Is 5 a factor of v?
True
Let w(h) = 19*h + 17. Let c(l) = 9*l + 210. Let v be c(-23). Is w(v) a multiple of 9?
False
Suppose -3*t - 25 - 2 = 0. Let p = t + 13. Suppose 30 = p*v + v + 5*u, 0 = -4*u - 4. Is 7 a factor of v?
True
Is 84 a factor of 2907690/1442 - (-6)/(-14)?
True
Let q = -30 + 16. Let z = q + 94. Does 5 divide z?
True
Suppose -5*w = 2*j - 41134, 1825*w - 82250 = -4*j + 1824*w. Does 6 divide j?
True
Is 16275/30*980/14 a multiple of 175?
True
Let i(f) = -7*f + 20 + 0*f + 32*f + 1. Is 14 a factor of i(6)?
False
Let r be -1*(1 + -2) - -119. Let l(z) = 706*z + 183. Let y be l(0). Let d = y - r. Is d a multiple of 5?
False
Let h = 24 + -28. Let p(j) be the second derivative of -13*j**3/3 + 4*j**2 + 15*j. Does 26 divide p(h)?
False
Suppose -m = c - 11211, 56025 = 5*m - 51*c + 46*c. Is 24 a factor of m?
True
Let l(x) = -2*x**3 - 6*x**2 + 3*x + 19. Let c be l(-6). Let o = 123 + c. Is 7 a factor of o?
False
Let a(y) = y**3 + 51*y**2 + 59*y - 70. Does 7 divide a(-47)?
False
Suppose 3495 = -6*h + 585. Let g = 882 + h. Is 18 a factor of g?
False
Suppose -5*t + 7*t - 16 = 0. Suppose 0 + t = a - 2*n, 2 = -5*a - 4*n. Suppose -u = a*u - 252. Is 12 a factor of u?
True
Let v(x) = 3889*x**3 + x**2 - 173*x + 347. Does 29 divide v(2)?
True
Suppose -4*a + 412 = 396. Suppose a*c + 175 = -3*d + 879, -3*d = -c + 191. Is c a multiple of 4?
False
Let h = -2226 - -3514. Is h a multiple of 52?
False
Let x(l) = l + 239. Let f be x(-20). Suppose 2*o - 3*k = f, -339 = 3*o - 6*o + k. Is 2 a factor of o?
True
Let b = 57693 + -41054. Does 166 divide b?
False
Suppose q - 840 = -6*q. Suppose -6*m + 4*m - q = 0. Let x = m + 103. Is 8 a factor of x?
False
Let k be (1510/(-6))/(2/(-6)). Let f = k - 522. Suppose 2*l - f - 47 = 0. Is 35 a factor of l?
True
Suppose 4*f + 30 - 84 = 2*q, 0 = 4*q - 4. Let x(n) = 2*n**2 + 5*n - 9. Let v be x(-5). Let j = v + f. Is j a multiple of 10?
True
Suppose 32*o = -14*o + 104*o - 933800. Does 50 divide o?
True
Let w(p) = 7*p**2 + 5*p - 29. Suppose -12*g + 31 = -17. Does 11 divide w(g)?
False
Let x(n) = -3*n**3 + 8*n**2 - 18*n - 36. Is x(-7) a multiple of 2?
False
Let g = -2605 + 2748. Is g a multiple of 6?
False
Let u(n) = -n**3 + 54*n**2 - 68*n + 1160. Is 19 a factor of u(51)?
False
Let d(r) = 54*r + 764. Is d(18) a multiple of 7?
True
Is 16 a factor of (-1 - (3 + -37))*(-5 - (-25 + 3))?
False
Let w be (-1)/((-5 + 0)/(-2335)). Let i = -32 - w. Does 14 divide i?
False
Let j be -5 + (-123)/(-3) - 2. Suppose 0 = 2*v + j - 118. Suppose 0 = -39*b + v*b - 93. Is 9 a factor of b?
False
Let f = -12250 - -18255. Is f a multiple of 45?
False
Let l(x) = -2*x**3 + 20*x**2 - 24*x. Let o be l(8). Does 33 divide (-38)/(6/44*o/(-48))?
False
Suppose -3*n = 4*a + n - 8, -3*a + 2*n + 6 = 0. Let b be 0 - (-10)/(2/a). Suppose -k = 2*k - c - b, 0 = 4*k - c - 15. Does 4 divide k?
False
Suppose 0 = -1169*x + 1171*x - 43758. Is x a multiple of 13?
True
Suppose -22*o + 857 = 65. Does 2 divide o?
True
Let s be (63525/(-56))/(-15) + (-6)/(-16). Let c = 6 + s. Is c a multiple of 17?
False
Let d = -2