 - 3*v + n, k - 2*v = -2*k - 10. Does 14 divide (2 + k - 0) + (52 - -1)?
False
Let n(b) = 3*b + 24. Let u be (2/5)/(5/150). Suppose 4*p - 60 = u. Is n(p) a multiple of 13?
True
Suppose 0 = 37*x - 60905 - 20606. Is 4 a factor of x?
False
Let v(c) = 18*c + 3 - 70*c - 1. Let y(n) = 3*n + 17. Let d be y(-6). Is v(d) a multiple of 6?
True
Let b(h) = 87*h**3 - 2*h**2 + h. Let q be 1 - (4 + -2) - (0 + -10). Suppose -4*u = -d - 15, 0*d - d + q = 2*u. Does 13 divide b(d)?
False
Suppose 61 - 31 = 5*z. Let d be (4/(-6))/((-14)/z - -2). Suppose 4*h - 3*c = 600, d*c - 4*c - 302 = -2*h. Is 38 a factor of h?
False
Let n be 564/(-120) - 6/20. Is -1*-29*(19 + n) a multiple of 20?
False
Suppose 0 = h - 15 - 93. Let t be (-6)/(-5)*(-9)/(h/40). Is 6 a factor of ((-10)/t)/((-12)/(-168))?
False
Let s = 36305 + -21297. Is s a multiple of 104?
False
Let d be 2/(-5) - 72/45. Let c be 1/(-24)*-6*-12. Does 39 divide (274 - d) + 2*c/2?
True
Let b(f) = 20*f - 30. Suppose 0*y - 3 = -y + 5*k, -19 = -y - 3*k. Suppose -y*d + 54 = -4*d. Does 15 divide b(d)?
True
Let l(o) = 2*o**3 + 127*o**2 - 71*o - 223. Is 2 a factor of l(-64)?
False
Let l = -3030 - -12582. Is l a multiple of 34?
False
Suppose -320*u + 27049 = -319*u + 5*a, -a + 108348 = 4*u. Is 6 a factor of u?
False
Let k = -15670 + 28830. Is k a multiple of 2?
True
Suppose 12 = 4*q, -5*q - 8 = 2*f - 47. Suppose 3*r - r - f = 4*a, -4*a = 4*r. Suppose -103 = -3*u + 5*s, -r*u - s = u - 73. Does 18 divide u?
False
Let r(x) = 4*x**2 - 4*x + 3. Let f be r(2). Suppose -n - 4*p = f, -3*n = -p - 24 + 5. Suppose 5*c = -n*q + 200, -q + 5 = 2*c - 75. Is 10 a factor of c?
True
Let q(m) = -3*m**2 + 384*m - 269. Is 10 a factor of q(45)?
False
Let g(f) = 24*f + 1137. Is g(6) a multiple of 21?
True
Suppose -w = 4*f - 25, -1 = -2*w + 4*f - 11. Suppose -6*i + 10*i - 295 = -w*r, 0 = 4*i - r - 325. Is 16 a factor of i?
True
Suppose h + h - 2 = -2*w, 3*h - 1 = -2*w. Suppose -1070 = 5*m + 4*i, -9 - 426 = w*m + 3*i. Does 12 divide (-2*8/20)/(1/m)?
True
Suppose -3*b - 23639 = -4*q + 134131, 2*b + 78886 = 2*q. Is 10 a factor of q?
False
Is ((-1961545)/(-705))/((-2)/(-6) - 0) a multiple of 17?
True
Let c = -69 - -59. Let k = -10 - c. Suppose k*t - 133 = -7*t. Does 12 divide t?
False
Suppose 56 + 36 = -4*x. Let m = x + 54. Let v = m + 68. Is v a multiple of 11?
True
Let y be (5 - (-1 - -3)) + 330 + 1. Let z = -217 + y. Does 13 divide z?
True
Let g be 7543/38*(-2)/1. Let w = g - -429. Does 7 divide w?
False
Let w(q) = 12*q**2 - 99*q + 870. Is w(10) a multiple of 44?
False
Let t(b) = -2*b - 4. Let c be t(-20). Is 18 a factor of ((-10)/8 - -1) + 6489/c?
True
Suppose -127 - 38 = -3*v - 3*n, 4*v - 214 = -2*n. Suppose -v = -3*h + 17. Suppose w = 4*q - 870, -q - 4*w + h = -203. Is 9 a factor of q?
False
Is 15 a factor of 159/(6 - (-6 + 472/40))?
True
Suppose -w - 3542 = -3*v + 60356, 3*w = -4*v + 85206. Does 60 divide v?
True
Suppose -238838 = -137*s + 508125 + 861417. Is s a multiple of 157?
False
Suppose -3*h + 19*g + 9843 = 21*g, 3*h - g - 9825 = 0. Is 91 a factor of h?
False
Let a(m) be the third derivative of -m**6/120 + m**4/24 + 13*m**3/3 - 14*m**2. Let j be a(0). Suppose j = z - 66. Is 23 a factor of z?
True
Let f = -3029 + 3450. Is 4 a factor of f?
False
Let f = 264 + 132. Is f a multiple of 4?
True
Let p(m) = 5*m - 28. Let y be p(6). Suppose 6 = 4*v - y*v. Suppose 126 = -v*z + 6*z. Is z a multiple of 19?
False
Suppose -197 = 4*a - y, 43 = -0*a - a - y. Let g = -43 - a. Suppose 0*n - 2*s = -4*n + 70, 61 = 4*n - g*s. Is 19 a factor of n?
True
Suppose 0 = -0*i + 2*i - b, -2*b = 2*i - 6. Does 22 divide 46 + -4 + -3 + i?
False
Let a(s) = 3*s**2 + 171*s - 870. Does 2 divide a(5)?
True
Let y(q) = -304*q - 20178. Does 19 divide y(-108)?
True
Suppose u + 4 = -u. Let n = 4 + u. Suppose -5*y - 50 = -2*l + 2, -l + 26 = -n*y. Is 13 a factor of l?
True
Suppose -w = -x + 235 - 692, -3*w + 1357 = 4*x. Let f = 655 - w. Is 25 a factor of f?
True
Let b(y) = 6*y**3 + y**2 + 1. Let r be b(-2). Let v = 47 + r. Suppose -v*w = -5*j - 41 - 59, 5*w - 170 = -5*j. Is w a multiple of 15?
True
Let g = 356 + -352. Suppose -3*z + 5*c = -4068, -g*c + 2*c + 5450 = 4*z. Is z a multiple of 78?
False
Let v(j) be the second derivative of -7/6*j**3 + 0 + 6*j + 15*j**2. Does 15 divide v(-10)?
False
Let w be (1 - 0)/((-13)/221). Let j = 10 + w. Is (-3)/3 + (j - -30) a multiple of 11?
True
Let t(v) = 9*v + 9. Let x be t(-1). Suppose 5*j - 14*j + 279 = x. Is 11 a factor of j?
False
Let j(d) be the first derivative of 15/2*d**2 + 18*d + 24. Is 25 a factor of j(8)?
False
Let x(h) = h**2 - 3*h - 43. Let u be x(-6). Let f(n) = -n**3 + 11*n**2 + 15*n - 11. Is f(u) a multiple of 24?
False
Let b be -2 + 6 + (-9)/3 - 36. Is 9 a factor of (-4424)/b + 2*2/(-10)?
True
Suppose -32*v + 20*v + 10194 = -5994. Is v a multiple of 2?
False
Let z be (9 + -8)*-2 + 50*19. Suppose -2*r - 2*l + z = 0, r + 4*l - 181 = 287. Is r a multiple of 16?
False
Suppose 0 = 2*k - n - 59 - 456, 0 = -2*n + 10. Does 52 divide k?
True
Suppose 633*p + 6969 = 650*p - 25858. Is p a multiple of 11?
False
Suppose 137*d - 563610 = -174530. Is d a multiple of 40?
True
Let z(i) = -i**2 + 9*i - 15. Let c be z(10). Let a = c + 13. Let j(s) = 2*s**2 + 13*s + 24. Does 13 divide j(a)?
True
Let q = -106 - -73. Let w be (-2)/(-11) - (-8652)/q. Let y = w + 434. Does 43 divide y?
True
Let r = -9 - -29. Suppose r*b - 14*b - 1134 = 0. Does 9 divide b?
True
Suppose -5*p + 69154 = 9*i - 10*i, 2*p + i - 27656 = 0. Is 5 a factor of p?
True
Let s(x) = x**2 + 25*x + 55. Let q be s(-23). Suppose -q*r + 2*r + 3759 = 0. Is 26 a factor of r?
False
Let t = -311 - -300. Let u(x) = x**3 + 9*x**2 - 43*x + 26. Is u(t) a multiple of 6?
False
Let o(f) = 3*f**2 + 5*f + 2. Let s be o(-4). Suppose 94*u - 117*u = -46. Suppose q - 2 = 0, -u*r - 3*q + 210 = s. Is r a multiple of 18?
False
Let h(f) = 11*f**2 + 26*f + 73. Let m be h(-4). Let n be 250/4*(1 - -1). Suppose 5*l - m = 5*r, 5*l + 0*r - n = r. Is l a multiple of 12?
True
Let c = 53 + -51. Suppose -5*d - 2*o + 5*o + 30 = 0, -o = -c*d + 11. Suppose -159 = -5*u - d*x, 6*u - u + 4*x = 157. Is 6 a factor of u?
False
Let u(m) = 101*m - 114. Let s(d) = 153*d - 172. Let j(q) = 5*s(q) - 8*u(q). Is j(-7) a multiple of 5?
False
Let z(f) = -f**3 + 2*f**2 - f - 1. Let u(t) = 7*t**3 + 12*t**2 + 18*t + 20. Let l(v) = -u(v) - 6*z(v). Does 41 divide l(-24)?
False
Does 202 divide 25051 + (2 - 6) + (-25 - -26)?
True
Let b = 7203 + -4085. Is b a multiple of 13?
False
Let v(h) = -27*h**3 - 11*h**2 - 24*h - 27. Is 64 a factor of v(-5)?
False
Suppose z = 71*g - 72*g + 754, 2*z + g - 1510 = 0. Is 126 a factor of z?
True
Suppose 110*j - 1562595 - 302345 = 0. Does 67 divide j?
False
Suppose 0 = -5*i - 611 + 626. Suppose i*u + 2*z - 4137 = 0, 2*z - 6891 = -5*u - 0*z. Is u a multiple of 51?
True
Let i(t) = -t**3 + 42*t**2 - 227*t + 54. Is i(10) a multiple of 4?
True
Let y = 836 + -457. Let q = -1384 - -1213. Let k = q + y. Is k a multiple of 19?
False
Suppose -493*i + 491*i + 34888 = 5*g, -2*i = -3*g + 20952. Is 65 a factor of g?
False
Let x be ((-1)/(-4))/((-21)/(-420)). Suppose -x*r - 4*c + 230 = c, -5*r - c + 222 = 0. Is r a multiple of 4?
True
Let b = -1728 + 3385. Let z = -1099 + b. Is 31 a factor of z?
True
Is 16 a factor of (-38)/(4 - (-730)/(-180))?
False
Let b(s) = -2*s - 4. Suppose 42*f - 43*f - 5 = 0. Let l be b(f). Is 40 a factor of (l*(-2)/(-18))/((-3)/(-540))?
True
Suppose -83*z - 178232 = -477696. Is 41 a factor of z?
True
Let d(t) = 2*t**3 - 18*t**2 + 3*t + 18. Let b be d(8). Suppose -83 = 2*k + 5*x, 2*x + 142 = 2*k - 6*k. Let v = k - b. Does 13 divide v?
True
Let u = 15997 - 11257. Is u a multiple of 15?
True
Let l(f) = -2*f**3 + 6*f**2 + 8*f + 2. Let q be l(4). Suppose 51 = 3*x - 30. Suppose -q*k + x = -25. Is 23 a factor of k?
False
Suppose 0 = 3*g + 2*g - 75. Let j(o) = -o**3 + 14*o**2 + 15*o + 18. Let r be j(g). Is 6/r - 95/(-3) a multiple of 16?
True
Let f = 297 - 15. Suppose 4*y = -a + f, -5*a - 4*y + 0*y + 1346 = 0. Is a a multiple of 8?
False
Suppose -15*h + 46872 = 12*h. Let a = -722 + h. Does 26 divide a?
True
Suppose -18*q + 105336 + 40464 = 0. Does 81 divide q?
True
Suppose -3*q - 855 = 738. Let r = q + 758. Is r a multiple of 91?
False
Let u(v) = 39*v**3 - 2*v**2 + v - 2. Let t be 30/6 + -3 + 2. Let z be