 3. Suppose t*y - 420 = -4*y. Suppose y = 5*z - 0*z. Is 14 a factor of z?
True
Let a = 410 - 122. Is 8 a factor of a?
True
Let o be -1*(-4)/(-3)*(-396)/(-24). Let h = -12 - o. Is h even?
True
Let w(u) be the third derivative of u**6/120 - u**5/12 - u**4/12 + 5*u**3/6 - 85*u**2. Let j = 9 + -3. Does 10 divide w(j)?
False
Let x(j) = 2*j**3 - 22*j**2 + 14*j - 8. Let h(b) = -5*b**3 + 45*b**2 - 27*b + 15. Let s(o) = 3*h(o) + 7*x(o). Is 5 a factor of s(-20)?
False
Let g be ((-4)/12)/(2/(-6)). Let t be (-4 - 324)/2 - g. Let v = 243 + t. Does 31 divide v?
False
Is 11 a factor of 19860/140 - (-8)/7?
True
Let h(j) = 32*j**2 + 10*j - 9. Is 5 a factor of h(4)?
False
Let j(k) = k**3 - k**2 + 12*k - 19. Does 21 divide j(8)?
True
Let x(z) = -z**3 - 2*z**2 + 8*z - 7. Let y be x(-5). Let a(b) = 3*b**2 - 2*b + 1. Let j be a(1). Does 3 divide 350/y + j/4?
False
Let m(u) = -2*u**2 + 4*u + 2. Let a be m(2). Does 11 divide (-9 + 7)*(-27 + a*-1)?
False
Let i = 23 - 16. Is ((-33)/(-6))/(i/98) a multiple of 17?
False
Let v = 489 + -232. Does 5 divide v?
False
Let j(y) = -y + 4. Suppose -40 = 4*x - 9*x. Let f be j(x). Let h = 22 + f. Is h a multiple of 9?
True
Let f be (-88)/(-4) + (3 - (3 + -3)). Does 68 divide (-3)/(27/60)*(-1080)/f?
False
Let o(u) = 3*u**2 - 4 - u**2 - 3*u - 1 + 3. Does 26 divide o(6)?
True
Is 33 a factor of (-24)/(-15)*(-2460)/(-8)?
False
Let x = 15 - 31. Let r = x + 21. Suppose -p + 166 = -r*o, 4*p - 4*o - 370 = 278. Is 41 a factor of p?
False
Suppose 3*b - 3338 + 12849 = 4*u, -9*u + 21341 = 5*b. Is u a multiple of 51?
False
Let w(d) = -1. Let p(c) = -76*c - 8. Let t(k) = -p(k) + 10*w(k). Does 13 divide t(1)?
False
Let w be 2/6*-3*-1. Is 10 a factor of w - (3 - (76 - 2 - 2))?
True
Suppose -2*f + 662 = -5*b, 5*f - 582 - 1108 = -5*b. Is 12 a factor of f?
True
Suppose 0 = h + j - 202, -3*j = 8*h - 3*h - 1006. Is h a multiple of 20?
True
Suppose -3*v + 509 = -3*t + 5, -5*v - 3*t + 840 = 0. Is 24 a factor of v?
True
Let p(z) = -9 - 14*z**2 - z**3 + 6 + 16*z - 12 - 3. Let k be p(-15). Let j = k - -62. Is 6 a factor of j?
False
Suppose -4*n + 187 = 3*m, -2*n - 125 = -2*m - 5*n. Suppose 3*v = -j + 15, -40 = -5*j - 2*v + m. Is 21 a factor of j?
True
Let a(x) = -2*x**3 + 2*x**2 + 2*x. Let y be a(2). Let g = y + 6. Is (-6)/12 + 85/g a multiple of 23?
False
Let d(p) = -54*p**3 + 2*p**2 + p + 2. Let u be d(3). Suppose 0 = l + 6 + 43. Is 8 a factor of u/l + (-4)/14?
False
Let w(a) = -a**3 + 7*a**2 + 4*a - 22. Let b(m) = -m**2 + 5*m + 13. Let h be b(6). Is 3 a factor of w(h)?
True
Suppose -2*m - 31 + 167 = 0. Is m a multiple of 11?
False
Let u(x) = 10*x - 24. Let j be u(10). Let a = -43 + j. Is a a multiple of 4?
False
Let c(g) = 0*g**2 + 8*g - 1 - g**2 + 5 + 5. Let y be c(9). Suppose y = 4*n - 5*n + 20. Does 4 divide n?
True
Let q(t) = 16 + 7 - 4*t - 7 + 8*t**2 + 18*t**3 - 19*t**3. Is 7 a factor of q(6)?
False
Let b(y) = 5*y + 60. Is b(9) a multiple of 21?
True
Let h(x) be the first derivative of -x**4/4 - x**2/2 + 21*x + 3. Does 7 divide h(0)?
True
Let f(u) = -3*u + 7. Is 12 a factor of f(-42)?
False
Let l(y) = -y**3 + y**2 + 4*y + 6. Is l(-5) a multiple of 34?
True
Is 29 a factor of 0*(-3)/(-9) - (-2 + -457)?
False
Suppose -2*y + 5 + 1 = 0. Suppose d - 20 = -y*w - d, d + 11 = 2*w. Does 3 divide w?
True
Let i(s) = -2*s**3 - 15*s**2 - 5*s. Let o be i(-7). Is 13 a factor of -2 - o*6/3?
True
Suppose 0 = 5*c + 190 - 3515. Is 35 a factor of c?
True
Let a(c) = c**3 + 7*c**2 - 68*c + 51. Is 3 a factor of a(-12)?
True
Does 18 divide 1834/34 - (-47)/799?
True
Is 14 a factor of -11 + 956 - ((-20)/4 - 2)?
True
Suppose 0 = -6*n + 2*n - 24. Is 32 a factor of (28/n)/((-188)/60 - -3)?
False
Let p(i) = -i**3 - 10*i**2 - 10*i - 6. Let a be p(-9). Let q(m) = -2*m + 2 + a*m**2 + m - 4*m**2 + 2*m**2. Does 4 divide q(-3)?
False
Suppose -402 - 96 = -3*k. Is k a multiple of 97?
False
Let u(d) = d**2 + 12*d - 81. Is 25 a factor of u(10)?
False
Let m = -5 + 6. Let x = 6 - m. Let r = 49 + x. Is r a multiple of 18?
True
Let g be (-170)/(-51) - (-2)/(-6) - 22. Let j = g - -67. Does 5 divide j?
False
Let b = 74 - 78. Let f(u) be the first derivative of u**3/3 - 3*u**2/2 - 2*u - 2. Is 13 a factor of f(b)?
True
Let g = -406 + 742. Is g a multiple of 21?
True
Let d be (-8)/(8/2 - 2). Is 11 - (d - (0 - 5)) a multiple of 10?
True
Suppose -5*l = 5*a - 5, 6*a - 3*a + 2*l = 0. Let k be 85 + (0 + a)/2. Suppose -q - k = -6*n + 2*n, -42 = -2*n + q. Is n a multiple of 7?
True
Is 5 a factor of 76/2 + (-56)/14?
False
Let u(p) = p**3 + 8*p**2 + 4*p + 10. Suppose -24 = 84*f - 80*f. Does 16 divide u(f)?
False
Let x(m) = 3*m**3 + m**2 + 2*m - 2. Let g be x(1). Let b(y) = y**3 - 4*y**2 + 5*y + 1. Does 7 divide b(g)?
True
Let i = 169 - -4508. Is 69 a factor of i?
False
Let v(a) = -a**2 + 3. Suppose 7*h - 5*h + 12 = 0. Let m be h/9 + 6/9. Does 3 divide v(m)?
True
Suppose -2*r - 4*m - 20 + 104 = 0, 3*r = -2*m + 142. Suppose -3*o - 2*o = -r. Suppose h + 0 = o. Does 4 divide h?
False
Let k(q) = q**3 + 10*q**2 + 8*q - 6. Let j be k(-9). Let h be -3 - (-750)/(j + 2). Suppose 0 = 2*w + w - h. Does 7 divide w?
True
Suppose 0 = -3*g + 129 + 231. Let a be ((-90)/24 + 3)/((-18)/48). Suppose s + a*u - 55 = 5*u, -4*u = -2*s + g. Does 25 divide s?
False
Suppose -s - 203 + 639 = 4*t, 3*s - 336 = -3*t. Is t a multiple of 9?
True
Let x(p) = -p**3 - 2*p**2 - 6*p + 37. Is x(-6) a multiple of 31?
True
Let x(d) = -2*d**3 + 4*d**2 + 5*d - 5. Let n be x(2). Suppose 0 = n*v - 110 - 60. Does 2 divide v?
True
Let f be (-2 - -1) + 0 - -3. Suppose 0 = f*j - 10 - 0. Suppose -j = -p - 2*i, -14 = -2*p - 4*i + 2*i. Does 4 divide p?
False
Let n = -53 - -137. Suppose 86*j = n*j + 320. Is j a multiple of 16?
True
Is 23 a factor of 966/2 + -12 + 7?
False
Let v(i) be the third derivative of i**6/60 + i**5/30 - i**4/8 + 7*i**2. Let o be v(-3). Let k = 42 + o. Is 4 a factor of k?
False
Suppose 2*f + 0*f - 6 = 0. Let j be 62*(4 + (-9)/f). Suppose -y + j - 2 = 0. Is 12 a factor of y?
True
Suppose -5*h + 2064 = 2*w, 0*h + 2*w = 3*h - 1248. Is h a multiple of 18?
True
Let b(o) = 3*o**2 + o. Let p be b(1). Suppose 0 = -v - p*v. Suppose v = -3*x + 23 + 10. Is x a multiple of 8?
False
Let t = -39 - -126. Does 2 divide t?
False
Let u(b) = b**2 + 5*b - 11. Let g = -4 + 6. Suppose g*n + 3*k + 33 = -3*n, -5*n - 61 = -4*k. Does 12 divide u(n)?
False
Let x(a) = -a**3 + 9*a**2 - 4*a - 3. Let g be x(7). Suppose 68*f = g*f + 157. Does 36 divide f?
False
Let p(d) = d**3 + 7*d**2 - 20*d - 10. Let a be p(-9). Let m(t) = 13*t - 2. Is 34 a factor of m(a)?
True
Let d = -125 - -140. Suppose 3*s = d, 5*i - 335 = 2*s - 4*s. Is 13 a factor of i?
True
Suppose -4*p + 0*b = -5*b + 282, -p + 4*b = 76. Is 6 a factor of (-4199)/p - 6/8?
False
Suppose 3*n = 15, -3*p + 5*p - 2*n = 86. Let a = p + 42. Does 23 divide a?
False
Let a = -40 + 86. Let x be ((-15)/10)/((-3)/a). Suppose -4 = -u, -2*p + u + 49 + x = 0. Is p a multiple of 19?
True
Let v = 132 - -26. Is 35 a factor of v?
False
Let a(j) = j**2 + 6. Let y be a(0). Let r = -521 + 803. Suppose y*x = 3*x + r. Is x a multiple of 15?
False
Let z(f) = -2*f**2 - 2*f - 5. Let i be z(-8). Let r = i - -445. Does 9 divide r/18 + 2/(-9)?
True
Let q = 630 + 135. Does 11 divide q?
False
Let f = -10 - 13. Let g = -6 - f. Is 15 a factor of g?
False
Let q = 65 + -41. Let g = 50 - q. Is g a multiple of 10?
False
Let v(b) = b**3 - 7*b**2 - 3*b + 1. Suppose -5*f - 76 = -3*j - 24, 5*f - 20 = -5*j. Is v(j) a multiple of 17?
True
Let q(p) = p**3 + 6*p**2 - p - 3. Let u be q(-6). Let y = 3 - 0. Let s = u + y. Is s a multiple of 6?
True
Let n = -271 + 463. Let f = 295 - n. Does 18 divide f?
False
Suppose -l + 45 = 3*m, m - 2*l + 45 = 4*m. Suppose -p = -2*s - 0*p + 71, 3*s - 111 = 3*p. Let f = s - m. Is f a multiple of 5?
False
Let h(m) = 6*m**2 + 7*m - 6. Let j be (2 - 3)/(1/(-6)). Let a(g) = 5*g**2 + 6*g - 6. Let i(s) = j*h(s) - 7*a(s). Is 6 a factor of i(-6)?
True
Is 38 a factor of -95*(-2 + 0/(-5))?
True
Suppose -3*g + 76 = -71. Let r be 12/(-21) - (-3948)/g. Suppose -3*q - q = -r. Is 7 a factor of q?
False
Let f(n) be the first derivative of -n**4/4 + 5*n**3 - 9*n**2/2 - 7*n + 18. Is 13 a factor of f(14)?
False
Suppose 2*v - 3*v = -4*x + 6, x - 2 = 0. Suppose -v*j = h + 2*j - 34, -2*h - j + 61 = 0. Is h a multiple of 5?
True
Let h be 3 - (3 