= 5*b - 2809, 0 = 3*l + 3. Does 11 divide (-2)/(-4)*(b - (-3)/3)?
False
Let d(w) = -w**3 - 4*w**2 + 5*w - 1. Let c be d(-6). Suppose -2*f + 3 = -n, 2*f + 2*n + n + 1 = 0. Let s = c + f. Is s a multiple of 7?
True
Suppose -4*c + 9852 = -12348. Does 15 divide c?
True
Let l(x) = x**3 - 10*x**2 - 18*x + 14. Let c be l(9). Let w = 288 + c. Is w a multiple of 38?
False
Let s = -886 - -891. Let m(p) = 3*p**3 + p**2 - 4*p + 16. Is m(s) a multiple of 11?
True
Let h = -654 + 723. Does 14 divide (h/138)/(2/7948)?
False
Let u = -516 + 521. Suppose -398 = -x + 4*s, -5*x + u*s = -926 - 989. Is 18 a factor of x?
True
Let r(g) be the first derivative of 10*g**2 - 36*g - 7. Let f be r(20). Suppose 8*c - f - 164 = 0. Does 4 divide c?
False
Suppose 20*w + 3506 - 14546 = 0. Let h = w - 369. Is h a multiple of 10?
False
Let k(w) = -191*w - 53. Let z be k(-16). Suppose -z = -4*y - 1639. Does 67 divide y?
False
Suppose 0 = 103*r - 538612 - 32420. Does 42 divide r?
True
Let p(k) = -3*k - 20. Let a be (-4)/12 - 53/3. Let m be p(a). Suppose -4*n = 2*g - m, n - 4*n + 6 = 0. Is g a multiple of 3?
False
Suppose 22387 - 186301 = -102*h. Is 4 a factor of h?
False
Suppose -4*m + 12*g - 9*g = -7269, 3*m - 5458 = -4*g. Is m a multiple of 19?
False
Let f = -126 + 156. Is 16 a factor of (810/(-25))/((-4)/f - 0)?
False
Let y be (-6)/4*(-56)/(-21). Does 13 divide (117/(-4))/(y/32)?
True
Suppose -5*m + 3*n + 0*n + 3245 = 0, -10 = 2*n. Suppose m*t - 3360 = 638*t. Is 25 a factor of t?
False
Suppose u - 9 = 2*u. Let k be 13975/(-129)*21/(-35). Let f = u + k. Does 28 divide f?
True
Suppose 4*w + 708 = 3*g, 531 + 417 = 4*g - 4*w. Is 40 a factor of g?
True
Suppose -4*z - m = -28025, -192*z + 190*z + m = -14005. Is z a multiple of 15?
True
Suppose -13*s = -25*s. Suppose 11*g - 3*g - 8400 = s. Is 14 a factor of g?
True
Let x = -59 + -50. Let k = 297 + x. Is k a multiple of 47?
True
Let g be 3 - 0*4/8. Let l be (g/(-12))/(20/192)*-5. Let m(w) = 5*w - 32. Does 26 divide m(l)?
False
Let r(t) = t**2 - 20*t - 47. Let h be 2/9 - 892/(-36). Let w be r(h). Let y = w + -30. Is y a multiple of 9?
False
Let i = 28674 + -14424. Does 125 divide i?
True
Let k be (-27)/21*-7 - 2*2. Does 3 divide k/(5/169) + -4?
True
Let v(a) = -a**3 - a + 1. Let w be v(0). Let q be 1/((-706)/(-704) - w). Suppose -q = -4*x - 0*x. Is x a multiple of 12?
False
Let g(s) = 24*s**2 - 7*s + 8*s - 19*s**2 - 19. Is 9 a factor of g(4)?
False
Suppose -2*m - 3*c = 3, 10*m = 5*m - 5*c. Suppose -m*o + 1953 = 3*v, -5*v + 3*o + 973 = -2274. Is 65 a factor of v?
True
Let k(v) = -v**3 + 138*v**2 - 188*v + 1083. Is 33 a factor of k(136)?
True
Let s = 93 + -91. Suppose -1080 = -3*x - s*x. Does 27 divide x?
True
Suppose 2*o - 3002 = -b, -5*b + 7543 = -o - 7489. Suppose 30*f + b = 14976. Is f a multiple of 19?
True
Let a be (-2)/4*-5*36/(-30). Does 5 divide a*1832/(-24) + 5?
False
Let k = -125 - -167. Let a be k/98 - 11978/(-14). Suppose 0 = -9*l + a - 298. Is l a multiple of 31?
True
Suppose 0 = -64*v + 40*v + 120648. Does 4 divide v?
False
Let f(y) = y**3 + 10*y**2 - 85. Let b be f(-9). Is 17 a factor of (-2)/b + 2010/4?
False
Suppose g - 675 = -2*r, -2*r - 2*r - 663 = -g. Suppose 6*n - g - 73 = 0. Is 12 a factor of n?
False
Let g(n) = -5*n**3 + 2*n**2 - n - 31. Suppose 30*s - 56 = 44*s. Is g(s) a multiple of 5?
True
Let g = -3 - -9. Let s be ((-4)/(-6))/(2/g). Suppose w + s*w - 139 = 2*r, 0 = 5*w - 3*r - 231. Is 9 a factor of w?
True
Suppose -664 = 2*g - t, 0 = 17*g - 22*g + t - 1663. Let w = g - -437. Is w a multiple of 8?
True
Does 7 divide -1 + (-24236)/(-26) + 52/(-338)?
True
Let i(h) be the first derivative of -h**4/4 - 3*h**2/2 - 2*h - 5. Let y be i(-1). Suppose -3*l + 2*f = -5*l + 124, -4*f + 122 = y*l. Is l a multiple of 21?
True
Suppose -z + 4*z = p - 1460, -5*p = 5*z + 2460. Let w = z + 713. Is 12 a factor of w?
False
Let r(f) = 62*f**2 + 181*f + 17. Does 63 divide r(-5)?
False
Suppose -9*y = -7*y - 11*y + 86130. Is 11 a factor of y?
True
Suppose 0 = -2*f - 0*v - 4*v + 640, -325 = -f + 3*v. Is 24 a factor of f?
False
Suppose 440 = 21*x - 253. Let k(c) = 6*c - 16. Is 15 a factor of k(x)?
False
Let u = 24718 - 6336. Is 13 a factor of u?
True
Is (-1766 + -14)*(-156)/65 a multiple of 25?
False
Let d = 49 - -300. Let l = d - -1237. Does 61 divide l?
True
Let b = 15 - -105. Suppose 3*a = -4*r + 575, b = -0*r + r - 4*a. Suppose -3*y + 295 = 4*k, 149 + r = 4*k + 5*y. Does 7 divide k?
False
Suppose 34*v + 26186 = 43*v + 4*t, 5*v + 3*t - 14547 = 0. Does 4 divide v?
False
Let k(d) = -4*d**2 - 8*d - 2. Let i(o) = -o**2 - o. Let v(s) = 3*i(s) - k(s). Let y be v(-3). Let w(b) = 4*b**2 - 7*b - 8. Does 12 divide w(y)?
True
Suppose b = -9*f + 4*f + 138, 2*f - 782 = -5*b. Let k(s) = -2*s**3 - 18*s**2 - 20*s + 18. Let x be k(-7). Let n = x + b. Is 10 a factor of n?
True
Let l(s) = s**3 - 23*s**2 - 4*s - 10. Let w be l(24). Let z = -249 + w. Does 13 divide z?
True
Suppose -9738 = 17*y - 20*y. Is y a multiple of 28?
False
Suppose 45 - 73 = 4*a. Let x be a/4*-1*20. Suppose -h = -f + x + 48, -5*h + 113 = f. Is 18 a factor of f?
False
Suppose -17*u + 27 = -14*u, u = 3*h - 172695. Does 118 divide h?
False
Suppose -10*y = -12*y + 24. Suppose -y*j = -13*j. Suppose j = 40*p - 36*p - 424. Is 39 a factor of p?
False
Let z be (114/(-18)*-9)/((-30)/40). Suppose 0 = l + l - 420. Let i = z + l. Is i a multiple of 45?
False
Let d = 18 - 20. Is (9/(-3)*d)/((-2)/(-132)) a multiple of 9?
True
Let r = 625 + 8351. Suppose -8*d - r = -19*d. Does 16 divide d?
True
Let n be (-3)/(-3) + (2 - (-3 + 56)). Let o be (6/(-2))/((-3)/n). Let p = o + 87. Is 6 a factor of p?
False
Let t(r) = -10*r**2 - 14*r - 4. Let b(o) = -o**2. Let d(f) = -12*b(f) + t(f). Let h be d(11). Suppose 4*u = u + h. Does 3 divide u?
False
Let x = -247 + 212. Is (-6)/(-15) + x/25 + 77 a multiple of 2?
True
Let u(w) = w**3 - 16*w**2 - 14*w + 19. Let k = -34 - -61. Let o = 44 - k. Is u(o) a multiple of 22?
False
Suppose 4*r + 21 = r. Let n(u) = -u**3 - 7*u**2 - 2*u - 12. Let y be n(r). Suppose -y*f + 0*f = 5*j - 224, 5*f - 560 = j. Is 14 a factor of f?
True
Let w(m) = -m**3 - 42*m**2 + 21*m - 68. Let k be w(-44). Suppose 8*t - k = -7*t. Is 24 a factor of t?
True
Does 22 divide -5 + (18628 - 209/(-19))?
True
Does 4 divide (-312)/(-28) + 21 + -32 + (-148412)/(-14)?
False
Let s = 239 + -169. Let r be s/(-12) + ((-1)/(-6))/(-1). Does 38 divide -4 - 826/(-9) - r/27?
False
Suppose 0 = 4*v + 16, 5*v + 134 = 3*o - 0*v. Suppose -9*m + o = -3040. Is 18 a factor of m?
True
Let h = 14 - 11. Suppose 5*c = -x + 170, 4*x = -0*c + h*c - 79. Is 6 a factor of c?
False
Suppose w - 6 = 3. Suppose 12 = 3*u, 498 = 10*z - w*z + 5*u. Is 22 a factor of z?
False
Suppose -2*d + 5*s + 37 = d, 0 = s + 5. Suppose 3*b + 15 = d*b - 4*y, 2*b + 4*y = -6. Suppose 0 = b*r + 4*j - 530, -j - j - 170 = -r. Does 24 divide r?
False
Let n = -3685 + 4022. Is 7 a factor of n?
False
Suppose -135*g = -130*g - 3*p - 14171, 14203 = 5*g + p. Is g a multiple of 17?
True
Let c = -10312 - -10767. Is c a multiple of 2?
False
Let m(t) = t**3 + 14*t**2 - 33*t - 210. Is m(-11) a multiple of 12?
True
Let d(c) = 5*c**2 + 2*c + 12. Suppose -4 = -6*a + 26. Let r be d(a). Suppose -4*y + 4*x + r = -17, -x = 1. Does 10 divide y?
True
Let n be (-7 - 0)*(-36)/9. Let v = n - 18. Suppose v + 2 = z. Is 4 a factor of z?
True
Does 15 divide 32768 + 67 + -34 + 0/(-1) + 3?
False
Suppose 41 + 1 = 7*j. Let h(p) = p**3 - 7*p**2 + 6*p + 4. Let g be h(j). Suppose 5*u - 84 = -2*b, 0 = 2*b - b - g*u - 55. Is b a multiple of 11?
False
Let n be -6*((-8)/(-6) - 13/6). Suppose 0 = -3*p - 5*c + 273, -c + 204 = 2*p - n*c. Is p a multiple of 6?
True
Is (26832/(-36))/(-13)*(7 + 341) a multiple of 38?
False
Suppose -5306*j + 5324*j + 288 = 0. Let f(s) = 35 - 29 - 4*s + 48. Is f(j) a multiple of 8?
False
Let g be 1040/60*(-9)/(-2). Does 2 divide 440/6 - (g/(-18))/(-13)?
False
Let x(y) be the second derivative of -y**5/5 + y**4/3 + y**3 - 5*y**2 + 28*y. Let a be x(-6). Suppose 5*w - a - 263 = 0. Is 49 a factor of w?
True
Suppose -8*r + 13*r = -n + 3135, 2*n = 4*r + 6382. Is n a multiple of 5?
True
Let i be (693/(-84))/((-1)/4). Suppose -i*b - 4104 = -52*b. Is 6 a factor of b?
True
Suppose 5*w - 2*w = -36. Let d be 3/(-4) - ((-75)/w - -3). Let y = 48 + d. Does 10 divide y?
False
Let m(v) = -