 k(-2)?
True
Let q = -14429 + 15007. Is q a multiple of 52?
False
Suppose 5*y + 2*q = 5 - 7, y - 4*q = 4. Suppose y = c + 4*f - 40, 3*c - 310 = -2*c + 2*f. Is 10 a factor of c?
True
Let h(r) = -14 + 3*r - r**2 + 0*r + 4*r + 4*r. Let j be h(9). Suppose 3*m - b = -5*b + 42, 4*m - j*b = 84. Does 3 divide m?
True
Suppose -c = 3*n - 15, -3*n + c = -c - 6. Let u be 2 + n + (-4 - 0). Suppose 0 = j, a - 3*j = u*j + 36. Does 6 divide a?
True
Suppose -21*k - 2374 = -q - 16*k, -q + 2374 = 4*k. Is 5 a factor of q?
False
Let p(a) = a**3 + a**2 - 13*a + 10. Let w be (-2 + 5)/(-1) + 19 + -7. Is p(w) a multiple of 19?
True
Suppose 2*g + 15 = 5*v, 5*g + 5*v + 46 + 44 = 0. Does 44 divide (4 + 70/g)/(6/(-5769))?
False
Let v(f) = f + 17. Let i be v(6). Suppose 25 = -2*g - i. Let r = g + 54. Is 15 a factor of r?
True
Let l be (-10)/(-95) + (-1271)/(-19). Let d = 279 - l. Let x = -57 + d. Is x a multiple of 20?
False
Let a = -138 + 73. Let s = a + 65. Does 8 divide (41*(s + 1))/(-2 - -3)?
False
Let u(g) = -20*g**3 + 13*g**2 + 28*g + 420. Does 48 divide u(-14)?
True
Let a(d) = 5*d**2 + 8. Suppose 198 = -3*z - j - 2*j, 5*z = -3*j - 320. Let b = 56 + z. Is a(b) a multiple of 30?
False
Suppose 3*l + 12 = -l. Let g(i) = i**3 + 4*i**2 + i + 1. Let f be g(l). Suppose -f*p + 2*p - 88 = -o, -2*o = -p - 149. Is o a multiple of 14?
False
Suppose -4*c + 9562 = -241*n + 239*n, -4*c + 3*n = -9569. Is c a multiple of 11?
True
Let s(l) = 386*l + 250. Is 8 a factor of s(27)?
True
Suppose 0 = -3*q - 7*q + 50. Let n(x) = 4*x**3 - 5*x**2 - 7*x - 5. Let b(i) = -5*i**3 + 5*i**2 + 6*i + 5. Let u(g) = -3*b(g) - 4*n(g). Does 10 divide u(q)?
False
Suppose -364*l + 8192780 = 164760. Does 11 divide l?
True
Suppose -5*y + 8 + 5 = s, 4*s = y + 10. Suppose -5*b = -y*g + g - 528, -3*b - 2*g + 322 = 0. Is b a multiple of 61?
False
Is 31 a factor of (-13 + (-128)/(-16))*-1953?
True
Suppose 31*p = -45 + 169. Suppose -u = -2*n - 405 + 51, -1407 = -p*u + 5*n. Is 17 a factor of u?
False
Suppose 21911 = -12*k + 79595. Is 23 a factor of k?
True
Let o be (30/18)/((-2)/(-12)). Suppose -3*c = -4*r + 2*c + o, 0 = r - 3*c - 6. Suppose -8*f + 1630 - 350 = r. Is 32 a factor of f?
True
Let u = -102 - -108. Suppose u*c - 1548 = -0*c. Is 43 a factor of c?
True
Suppose -77*q - 5116 = -75*q. Does 24 divide q/(-9) + (-4)/18?
False
Suppose -4*p = -45*t + 49*t - 35020, -2*p + t = -17516. Does 66 divide p?
False
Let n(m) = 15*m - 715. Let r be n(48). Suppose 4*k = k + 60. Suppose 0 = 5*d - 2*q + 6*q - 364, r*q = -k. Is d a multiple of 7?
False
Let l(k) be the first derivative of 5*k**3/3 - k**2 - 19*k - 25. Is 11 a factor of l(-6)?
False
Let b(m) = -2*m**2 - 38*m + 4. Let y be b(-17). Suppose y = 14*z - 2*z. Let p(k) = -k**3 + 7*k**2 + k + 8. Does 10 divide p(z)?
True
Let s(v) = -5*v**2 - 3*v + v**3 - 14 + 4*v**2 - 2*v**3 + 19. Let a be s(0). Suppose 62 = a*u - 103. Is 11 a factor of u?
True
Let t = -2848 - -5032. Suppose -m + 14*m = t. Does 7 divide m?
True
Let y(r) = 236*r**2 + 62*r + 687. Does 45 divide y(-9)?
False
Let x(k) = -16 - 21*k - 21 + 5 - 10. Is 3 a factor of x(-10)?
True
Let f(d) be the second derivative of d**5/20 + d**4 + 11*d**3/6 - 13*d**2/2 - 13*d. Let a be 78/(-9) + 8/(-24). Does 22 divide f(a)?
False
Let n(o) = -o + 1. Let i(q) = 6*q + 12. Let a(r) = -i(r) - n(r). Let m = 1434 - 1444. Is a(m) a multiple of 9?
False
Suppose -6 + 0 = -2*x. Suppose -4 = z + 5*b - 19, z - 4*b = -x. Suppose f = -z*s + 236, -4*f + 887 = -0*f + s. Is 31 a factor of f?
False
Suppose -3*y = -5*g + 14, g + 2*y + 1 = 9. Suppose 2*w + 2*b - 366 = 0, -542 = -4*w + w + g*b. Is 10 a factor of (-2)/((-4)/w) + -1?
True
Let n = 6920 - 2795. Suppose 10*d - 25*d = -n. Is d a multiple of 11?
True
Suppose -5*d = -4*f - 4695, 3714 = 3*d - 5*f + 884. Let z = d + 142. Is 31 a factor of z?
False
Let f(g) = 5*g**2 - 5*g + 3. Let o be f(4). Is (-29428)/(-63) - 7/o a multiple of 23?
False
Let u = -184 - -458. Let c = 281 - u. Does 3 divide c?
False
Let i = -55419 - -102577. Is i a multiple of 26?
False
Let x = 48 + -45. Suppose -16*w = x*c - 20*w - 288, -3*c = 4*w - 312. Is 10 a factor of c?
True
Let s be (378/81)/(1/(-3) + 1). Suppose -s*d = -3*d - 76. Does 10 divide -3 + 3 + d + 4/(-2)?
False
Let g(a) = -a**3 - 4*a**2 - 5*a - 11. Let t be g(-10). Suppose -66*k + t = -63*k. Is k a multiple of 2?
False
Suppose 96*l = -92*l + 1326528. Is l a multiple of 36?
True
Let n be 2*5*(-3970)/(-8)*-2. Let c be 1/4 - (-1)/(20/n). Is (-5)/(11 - 1)*c a multiple of 31?
True
Let h = -14253 + 30022. Does 19 divide h?
False
Is 20 a factor of 18 + 1 + (66982 - 281)?
True
Let b = 63 - 56. Suppose -5*q + 12 = b. Is 19 a factor of q + (0 - -86 - 3)?
False
Suppose 2*g - w = -27, 4*g + 24 = 4*w - 24. Let k(t) = t**3 + 17*t**2 + 16*t - 15. Let b be k(g). Suppose -b*y + 198*y = 453. Is 22 a factor of y?
False
Let t(b) be the first derivative of 31*b**2/2 - 41*b + 34. Does 14 divide t(30)?
False
Is (-10)/(-4)*(86 + 84) a multiple of 25?
True
Let d be 33 - (-2 + -2 + 5). Suppose d*z = 27*z + 125. Suppose z + 77 = u. Does 34 divide u?
True
Suppose 0 = 3*o + 5*v - 34207, 4*o + 2*v - 5710 = 39876. Does 54 divide o?
True
Let c(v) = 9*v + 5 - 21*v - 1 - 6*v + 4*v**2. Let d be c(6). Let k = d + -28. Is k a multiple of 4?
True
Let x = 5833 + -4006. Does 9 divide x?
True
Let h = -237 + 468. Suppose -28*i + 17*i + h = 0. Does 16 divide i?
False
Is 43 a factor of 15167 + (-60)/(60/(-6))?
False
Let p(g) = 10*g - 139. Let s(u) = -2*u + 28. Let j(l) = -l**3 + 7*l**2 + 6*l + 18. Let w be j(8). Let m(h) = w*p(h) + 11*s(h). Is 10 a factor of m(-9)?
False
Let j(z) be the third derivative of -7*z**4/24 - 5*z**3/3 + z**2. Let i be 64/(-6) - (-134)/201. Is j(i) a multiple of 10?
True
Let d(c) = c - 12. Let s be d(12). Suppose s = 3*t - 4*i - 80, -5*t + 120 = -0*t - 4*i. Does 5 divide t?
True
Suppose -i + 3*j + 9 = -12, 2*i - 32 = j. Suppose 0 = -i*f + 21*f - 9240. Suppose -14*b = -0*b - f. Is 7 a factor of b?
False
Let a(l) = -6*l**3 - 8*l + 3*l**3 - l**2 + 3 + 6*l**3 - 2*l**3. Let t be a(4). Suppose f + 0*c + 3*c + 4 = 0, t = 2*f - 3*c. Is 5 a factor of f?
True
Suppose -16*a = -11*a - 2*r - 15372, -3*r - 9234 = -3*a. Is a a multiple of 3?
True
Suppose -3*n + 2*j = -11 + 5, 5*j = -15. Is 17 a factor of n/(3 - -5) + 1320?
False
Let b be 2/3*((-102141)/(-6))/(-9). Is 15 a factor of (-26)/39*(1 + 0 + b)?
True
Let v(h) = -h**3 - 7*h**2 + 5*h - 9. Let r be v(-8). Is (1542/(-9))/(-2 + 20/r) a multiple of 12?
False
Let x(l) = 23*l + 3479. Is 13 a factor of x(-45)?
True
Let w = -24 - -29. Suppose -4*j - 320 = -5*z, -w*z = -z - 2*j - 256. Let q = -49 + z. Is 9 a factor of q?
False
Let s(u) = -2*u**3 + 71*u**2 + 26*u + 16. Is 168 a factor of s(34)?
True
Suppose -r = 13*r. Suppose 4*j - 3*j - 84 = r. Does 6 divide j?
True
Suppose 5*g - 3*y - 15328 = 0, 3069 = -5*g + 6*g - 4*y. Is 12 a factor of g?
False
Let c be (-3*(-1)/9)/(1/78). Suppose r - c = -5*p, 0 = -2*r + 4*p + p - 8. Suppose 5*j + 67 = r*j. Does 8 divide j?
False
Suppose -3*c + 40 = 4*s, 5*c - 4*c + 3*s - 20 = 0. Let k(z) = z**3 - 8*z**2 + z - 4. Let q be k(c). Is 252 - (0 + -2 + q) a multiple of 18?
False
Let j = 17 + -12. Let w be (3 + -4)*j*(-22 - 3). Let r = -69 + w. Is 19 a factor of r?
False
Let n = 2236 + 16914. Does 84 divide n?
False
Suppose -5*y - 6 = -3*u, -8 = 5*u - y + 4. Let i(f) = -61*f + 116. Let m(s) = 20*s - 39. Let g(j) = 3*i(j) + 8*m(j). Does 14 divide g(u)?
False
Let q be (-21 - -2)*-6 - 1. Suppose -10*h + 8*h = -d - 40, 3*d + 95 = h. Let y = q + d. Is 12 a factor of y?
False
Let l be 5949 + 7/(56/64). Suppose -3*c - 2385 = -2*u, 4*c + l = 5*u + 2*c. Does 18 divide u?
False
Let f(s) = 3*s**3 - 43*s**2 + 34*s + 40. Is 123 a factor of f(22)?
False
Suppose 8*t + 8*t + 2400 = 0. Let p = -121 - t. Does 29 divide p?
True
Let j(c) = -2*c**3 - 11*c**2 - 18*c + 3. Let h be j(-6). Let d = -1 + h. Is 4 a factor of d?
False
Let b = -224 + 518. Suppose 3*o + 608 = 4*z, -2*z + o + b = 2*o. Suppose -2*a + 75 = -y, 4*y + z = 4*a + 5. Is a a multiple of 4?
False
Let l = -25 - -30. Suppose -25 = l*p - 695. Does 14 divide p/(-8)*(-104)/13?
False
Suppose 0 = -s - 5*k + 12, -s = k - 5 + 13. Is 19 a factor of (-3209)/s - (-70)/455?
True
Suppose 0*m - 5*v - 121 = -4*m, 4*m = -v + 139. Let u = 43 - m. Let x(h) = 2*h**2 - 8*h - 18. Is 9 a fa