uppose -s*j = 10*j - 7751. Is 19 a factor of j?
False
Suppose -1829 = -2*b + 421 - 546. Does 2 divide b?
True
Let j = -8671 + 19527. Does 64 divide j?
False
Let y(x) = -5*x - 65. Let m(k) = k. Let z(r) = -2*m(r) - y(r). Let u be 0/((2 + 7)/(-9)). Is z(u) a multiple of 13?
True
Suppose -3*f + 3*m + 1127 = -439, -4*f - 3*m + 2116 = 0. Suppose -f*y = -524*y - 532. Is y a multiple of 13?
False
Let h(o) = -102 + 258 - 103 + 36*o + 61*o - 124. Does 46 divide h(5)?
True
Does 43 divide 1*(-21)/(-14)*13674/9?
True
Is 36 a factor of (-2)/5 - (-7 + (32202/30)/(-1))?
True
Is 14 a factor of 202/(-505)*140/6*-1113?
True
Suppose 2*s - k = 6*s - 98777, -s + 24724 = -4*k. Is 98 a factor of s?
True
Let w(p) be the second derivative of -19*p**5/24 + p**4/6 - p**3 + 6*p. Let q(i) be the second derivative of w(i). Does 10 divide q(-1)?
False
Does 105 divide (-7120)/28*(119 + -266)?
True
Let r be 3*(4 - (2 + 0)). Let g(m) be the first derivative of m**2/2 + 50*m - 1863. Is 4 a factor of g(r)?
True
Let l be -1 + -114 - (-5 - -2). Let u(h) = -7*h**3 - h**2 - 4*h. Let c be u(-3). Does 9 divide 42/(-4)*c/l?
True
Suppose 3*v = 2*g + 1554, 4*v - 5*v = 2*g - 518. Is v a multiple of 16?
False
Suppose 3960 = 74*c - 63*c. Suppose c = p - 5*w, -39*w = -p - 35*w + 356. Is 10 a factor of p?
True
Suppose 20 = -7*x - 29. Let a = x + 7. Suppose 5*f + 191 - 676 = a. Does 7 divide f?
False
Suppose -6*m + 4*c - 6*c + 4906 = 0, 0 = 2*m - 4*c - 1668. Does 82 divide m?
True
Suppose 2*n - 24*n = 396. Is 37 a factor of 4/n - (11763/(-81) + -3)?
True
Let a(n) = -n**3 + 16*n**2 - 14*n + 24. Let c(b) = 2*b + 41. Let i be c(-17). Is 3 a factor of a(i)?
False
Suppose 9 = -d + 2*d. Let g(z) = -z**3 + 8*z**2 + 11*z + 6. Let c be g(d). Is 9 a factor of 226/10 + c/(-40)?
False
Let k = 1804 + -1759. Does 3 divide k?
True
Let z be (6/36)/((-2)/(-12)). Suppose -v + 9 = -z. Is (v/4 - 2)*18 a multiple of 9?
True
Suppose -5*v = 4*t - 32036, -40028 = -5*t - 247*v + 245*v. Does 58 divide t?
True
Let k = -181 - -176. Is 25 a factor of 3552/(-160)*(0 + k)?
False
Suppose -3*k = -4*n - 3829, -1474 + 5304 = 3*k - 5*n. Suppose 4*z = -12, -20*z = 3*s - 16*z - k. Is s a multiple of 11?
True
Suppose 601 - 772 = -9*l. Let h(k) = -k**2 - k. Let f(y) = 4*y**2 + 25*y + 3. Let a(r) = f(r) + 5*h(r). Is 3 a factor of a(l)?
False
Let b = 0 - -12. Let i be -9*(56/b - 4). Let u(x) = 2*x**2 - 2*x. Is 7 a factor of u(i)?
True
Suppose -m + 5*m + 822 = -2*s, -3*s = -m - 223. Does 46 divide 110*(m/5)/(-8)?
False
Let h be (3/(-5))/(20/(-117 + 17)). Let d(b) = -3*b - 5. Let n be d(-4). Suppose 0 = h*l - 2*t - 5 - n, -4 = -l + t. Does 3 divide l?
False
Suppose 20036*x = 20029*x + 13405. Is x a multiple of 10?
False
Let m(n) = 322*n - 2867. Is 9 a factor of m(20)?
True
Suppose -4*d + 9*d + 365 = 0. Let l = d + 137. Does 8 divide l?
True
Suppose -13 = -5*k + 27. Suppose 0 = k*t - 10*t + 200. Suppose -t = -3*c + 26. Does 17 divide c?
False
Let n(a) = a**3 - 2*a**2 - 9*a + 4. Let j be n(4). Suppose -5*m + 217 + 1123 = j. Let h = 526 - m. Does 43 divide h?
True
Let b = 12052 + -4742. Is 110 a factor of b?
False
Suppose 0 = 18*h - 6*h - 44*h + 123264. Is 39 a factor of h?
False
Let h(c) = -c**3 + 10*c**2 + 31. Let z be h(10). Is 4 a factor of (2 + -10 + z)*7?
False
Suppose 0 = p - 5*y + 8*y - 1900, -5684 = -3*p - 5*y. Is p a multiple of 16?
True
Let v(k) = -2*k**2 - 42*k**3 + 9*k**2 - 4*k**2 - 81*k**3 + 0*k**3 - 2. Let n = -3 + 2. Is 31 a factor of v(n)?
True
Let t(p) = -222*p - 3755. Is t(-37) a multiple of 73?
False
Does 22 divide 4/(11*(-7)/(-48279))?
True
Let r(d) be the first derivative of -d**4/4 + 11*d**3/3 - 4*d**2 - 5*d + 393. Let v = 24 - 16. Is 26 a factor of r(v)?
False
Let w be 8/((-15)/170*8/(-6)). Suppose 2*d + 14 = w. Does 9 divide d?
True
Suppose 2852 + 14812 = 4*z. Is 48 a factor of z?
True
Suppose 41368 + 305427 = 183*r - 1110983. Is 128 a factor of r?
False
Let t(v) = 7*v**2 - 16*v - 69. Is 9 a factor of t(-4)?
False
Suppose 0 = -9*i + 10*i - 3. Suppose -1 = -v, i*a + 2*v - 44 = 21. Let t = 15 + a. Is t a multiple of 8?
False
Let h = -168 + 172. Suppose -5*i + 15 = 0, -3*i + 3589 = f + h*f. Is f a multiple of 12?
False
Suppose 0 = 5*z - 2*u + 12803 - 2702, 4*u - 8088 = 4*z. Let n = z + 3904. Is 65 a factor of n?
True
Let s(n) = 3*n**2 + 14*n + 10. Let f be s(-7). Let p = 114 - f. Is p a multiple of 11?
True
Does 21 divide -6 - (0 + (-11 - 6673))?
True
Suppose 3*x - 5*l = 4186, 86*x = 89*x + l - 4192. Is 11 a factor of x?
True
Is ((-9)/(-24) - 663/936) + 4369/3 a multiple of 13?
True
Let p be 66/(-6)*(-848 + -3). Suppose a - p = -22*a. Is a a multiple of 11?
True
Suppose 12 = -2*n + 30. Suppose 0 = n*p - p - 1008. Is p a multiple of 21?
True
Let m(u) = 3*u**2 - 377*u - 147. Does 202 divide m(-72)?
False
Let x(b) = 22*b**2 + 6*b - 98. Is x(18) a multiple of 86?
True
Suppose 0 = 3164*k - 3124*k - 1803160. Is 166 a factor of k?
False
Suppose -6*b = -0*b - 5838. Let j = b + -572. Is 27 a factor of j?
False
Let g(n) = -2*n + 2. Let b be g(-1). Let x be b*27/6*6/(-1). Is 18 a factor of x/((-1)/(-2) - 2)?
True
Let d(w) = -297*w - 14515. Is d(-120) a multiple of 9?
False
Let k(q) = 2564*q - 13619. Does 7 divide k(9)?
True
Suppose m - 16 = -3*s, 2*m - 3*s + s = -8. Let j(c) = 3*c - 2*c + 2*c + 9 + m. Is j(6) a multiple of 21?
False
Let h(s) = s**3 + 7*s**2 - 4*s. Let b be h(-7). Let i be (-447)/(-5) + b/(-70). Suppose -i = -3*f - 5. Does 28 divide f?
True
Suppose 2*p = 0, 4*h - p = 3099 - 747. Let j = -467 + h. Does 23 divide j?
False
Let p = -28176 + 28824. Is 162 a factor of p?
True
Let m = 22238 - 12873. Is 7 a factor of m?
False
Is 275 a factor of (-2)/4 - (-598416)/32?
True
Suppose 7*g = -c + 10*g + 327, 0 = 4*c - 5*g - 1308. Is c a multiple of 140?
False
Let q(g) = -2*g**3 + 53*g**2 - 7*g - 176. Is 9 a factor of q(23)?
True
Is 756/(-153)*-2752 - 8/68 a multiple of 168?
False
Let p = 34 + -50. Let n(s) be the first derivative of -s**4/4 - 5*s**3 + 11*s**2/2 - 30*s + 153. Does 10 divide n(p)?
True
Suppose -4*o + 5*z = -28, z = -o + 4*z. Does 8 divide 2756/o - (-3)/27*3?
False
Let l(g) = -g**3 - 2*g**2 - g. Let s be l(-2). Let d be s + (-6 - -2) - 213. Is (-1)/((-3)/(-12) + d/840) a multiple of 16?
False
Let l be ((-56)/6)/((-144)/108). Let u = 689 + l. Does 58 divide u?
True
Suppose -4*g - 2939 = -4*n + 8529, -g + 5 = 0. Is 57 a factor of n?
False
Suppose -37 = l + 2*v, -2*l - l - 89 = -5*v. Let q(u) = u**3 - u**2 - 4*u + 3. Let a be q(2). Let y = a - l. Is 16 a factor of y?
True
Let h(o) = 2*o**2 + 2*o - 4. Let f be h(3). Let a be (-2)/(-8) - (f/16 + 1). Let c(l) = 38*l**2 + 3*l + 1. Is c(a) a multiple of 19?
False
Suppose -13*i = 75 + 29. Does 21 divide i/3*(-3609)/6?
False
Suppose -22*m + 135867 - 10027 = 0. Does 65 divide m?
True
Suppose -5*c - 2271104 = -13*c. Is 13 a factor of (-6)/(-63) - c/(-336)?
True
Let b(d) = -2*d**3 - 31*d**2 - 14*d + 19. Let h be b(-15). Is 36 a factor of 1*(-1)/1*(-456)/h?
False
Let j(k) = 6704*k**2 + 206*k + 2. Is 87 a factor of j(-2)?
False
Suppose -44*n - 31*n + 113680 = 5*n. Does 2 divide n?
False
Suppose -46753 = -34*d - 8299. Is d a multiple of 39?
True
Suppose 0 = 3*y, -2*l + 173 = -y - 87. Suppose -x - 18 = -3*h, -4*x + h + 3*h - 64 = 0. Is l/x*1/(2/(-6)) a multiple of 7?
False
Let g be 4/14 - ((-19)/7 - -3). Suppose g = h - 2*h + 168. Suppose 2*w = -3*p + 7*w + 168, -3*p - 5*w = -h. Is p a multiple of 5?
False
Suppose 33*j - 31*j - 14 = 0. Suppose 3*c + 1 - 16 = -3*u, 0 = -4*u - 3*c + 20. Suppose -u*y = 2*h - 29, 5*h - j = -4*y + 23. Is 2 a factor of y?
False
Suppose 14*y = -7218 - 1672. Let s = 950 + y. Does 38 divide s?
False
Let n be (6 - 76/12)*9/(-1). Suppose -4*g + 2454 = -n*h + 6*h, 4122 = 5*h - 4*g. Is 38 a factor of h?
False
Suppose 3*m = 231*d - 232*d + 1308, 3*d - m - 3944 = 0. Does 3 divide d?
True
Let t = -26914 + 33437. Is t a multiple of 20?
False
Let q be -873*(-6)/(-9) + -2. Let b = q + 1104. Is 20 a factor of b?
True
Let p = -74 - -78. Suppose 2*m - 2 = 0, p*g + 359 = 4*m - m. Let n = g + 150. Does 50 divide n?
False
Suppose -26*v + 14034 = 1905 - 40833. Does 165 divide v?
False
Is 16 a factor of (8*12/(-10))/((-981)/1337430)?
True
Let g be -5 - (-4 - (-6)/(-2)). Suppose -4*n = -g*k - 6, 2*n + 2*k - 30 = -3*n. Is 4 a factor of n?
True
Let m(q) = q**2 + 15*q + 4