 k?
False
Let p(w) = -13*w**2 + 2*w + 2. Let r be p(2). Let h be r*((-9)/3 - 2). Suppose 5*a - 295 = h. Is 10 a factor of a?
False
Suppose -i + 6*i + 22 = 2*p, p = 3*i + 11. Suppose 0 = 10*k - p*k - x + 169, -841 = -5*k - x. Is 24 a factor of k?
True
Let p(t) = t**3 - 26*t**2 + 32*t**2 + 50 + t - 5*t**2. Is 10 a factor of p(0)?
True
Suppose -6*c + 0*c + 54 = 0. Let p(l) = l**3 - 9*l**2 + 4. Let n be p(c). Suppose -n*w + 0*h - 2*h = -96, 92 = 4*w + h. Is w a multiple of 10?
False
Let t(f) = -8*f**3 - 16*f**2 - 81*f - 25. Is 42 a factor of t(-5)?
False
Let m = -4284 + 6033. Is 33 a factor of m?
True
Let b(f) = f**2 + 25*f - 4. Let h be b(-25). Let s(w) = -w**2 - 3*w + 4. Let a be s(h). Suppose d + a*d = 6. Does 3 divide d?
True
Suppose -3276*o + 4720 = -3256*o. Is 14 a factor of o?
False
Let t(g) = 2*g**2 + 3*g - 4. Suppose 8*y = -17 + 33. Let j be t(y). Suppose -j*s - 1060 = -14*s. Is 53 a factor of s?
True
Is (29 + -541)*495/(-9) a multiple of 256?
True
Let b(v) = 19 - v**3 + 39*v - 46 + 11 + 17*v**2. Let f be b(19). Is 106 + 2/(-4)*-2 + f a multiple of 11?
True
Is 134 a factor of -8 - (-4426 + 16 + -20)?
True
Suppose 0 = -3*i + 20 + 22. Suppose -11*u + i*u - 9 = 0. Suppose 5*o - 10 = -30, 3*h - 150 = -u*o. Is h a multiple of 7?
False
Suppose -l - 3*m + 65 = -194, -m + 793 = 3*l. Suppose -2*r - p + 118 = -2*p, -5*r + l = 5*p. Is 15 a factor of r?
False
Suppose 9 + 123 = 6*n. Let y(d) = d**2 + 24*d. Let m be y(9). Suppose -11*i + m + n = 0. Does 9 divide i?
False
Suppose -5*p + 17372 = 13*f - 12*f, 3*p - 3*f = 10434. Is p a multiple of 114?
False
Let f be 7/((4 + -1)/(-6)). Let n = -15 - f. Is 18 a factor of 30/((n - -5) + -3)?
False
Let s be (-4)/((35/42)/((-20)/(-16))). Is 23 a factor of (-8)/s*56952/224?
False
Let f = -14007 + 16692. Does 5 divide f?
True
Let a(i) be the second derivative of -i**3 + 23*i**2 - 223*i. Is a(-4) a multiple of 10?
True
Is (74508/168)/(3/144) a multiple of 149?
False
Let n = -50 + 92. Let c = n + -40. Let j(r) = 7*r**2 + 4*r - 8. Does 7 divide j(c)?
True
Suppose 8*r - 19*r + 61259 = 0. Suppose 7*f - r = 1312. Is f a multiple of 77?
False
Suppose 5*f - m = -6*m - 15, 3 = 5*f - m. Suppose -y = -3*w + 4*w - 26, -5*y - 4*w + 130 = f. Suppose -138 - y = -i. Is i a multiple of 41?
True
Let k(n) = -n**2 + 16*n - 15. Let o be k(15). Suppose 21*p - 5779 + 1369 = o. Is 30 a factor of p?
True
Let w(c) = -4*c - 25. Let r be w(-8). Suppose -9 + 37 = r*q. Does 14 divide 10 + ((-4)/(-2))/(2/q)?
True
Let g(t) = t + 43. Let u(w) = -21. Let f(y) = 3*g(y) + 7*u(y). Let k be (-2 - 4/(-3))*(6 + -21). Does 6 divide f(k)?
True
Suppose -555973 - 436045 = -163*x. Is 34 a factor of x?
True
Let s(n) be the first derivative of -5*n**2/2 - 4*n - 23. Let p be s(-2). Suppose 0 = p*m - 408 - 384. Is m a multiple of 33?
True
Let y = 18920 - 10109. Is 11 a factor of y?
True
Is ((-4)/(-3) + (-14950)/39)/((-7)/322) a multiple of 46?
True
Let s(y) be the third derivative of 1/3*y**4 - 3/20*y**5 + 0 + 0*y - 15*y**2 + 1/3*y**3 - 1/120*y**6. Is 4 a factor of s(-10)?
False
Let t = -616 - -882. Is 19 a factor of t?
True
Is (2/3)/(89/36312) a multiple of 3?
False
Suppose 0*z + d + 2 = -z, -32 = -4*z + 4*d. Suppose 8*b + 38 = 3*b - 3*q, -z*b = -q + 20. Let n = 12 - b. Is 3 a factor of n?
False
Suppose 16685 + 21915 = 10*v. Suppose -g + 0*y + 778 = 2*y, 5*g - v = -4*y. Does 16 divide g?
True
Suppose -4*b + 25802 = 5*h, h - 58681 = -7*b - 13543. Is 16 a factor of b?
True
Let w(o) = 6*o**2 + 2*o + 1. Let c be w(-1). Suppose -2*m + 1 + 3 = 0, 0 = -c*n - 3*m + 201. Is n a multiple of 2?
False
Let q(l) = l**3 + 4*l**2 + 4*l + 2. Let o = 8 + -10. Let x be q(o). Suppose -4*c + 0*r + 331 = -r, -4*r = x*c - 188. Does 12 divide c?
True
Suppose -x = -5*i - 2098, -8*x + i - 2110 = -9*x. Is x a multiple of 31?
True
Suppose -2*a - a = -21. Let f(d) = d**3 - 26*d**2 - d + a*d - 1 + 21*d**2 - 10. Is f(5) a multiple of 2?
False
Let f be (-4)/(-7) - 16*9/(-42). Let j be (-14)/f*48/(-21). Is (74/j)/(10/200) a multiple of 28?
False
Let r(n) = -2*n - n**3 + 5*n**2 - 9*n**2 + 10 - 5*n**2 - 5*n. Let p be r(-8). Let k(z) = 24*z**2 + 4*z + 1. Is 7 a factor of k(p)?
True
Let y be (-17 + 23)*(-1)/(-2). Suppose 0 = 4*a - n - 12, 5*n + 6 = y*a - 20. Suppose 4 = -2*r, 0 = 2*j - 4*j - a*r + 92. Is j a multiple of 24?
True
Let u be 9594/8 - (46/(-8) + 6). Suppose 0*k - 2*k - u = -3*q, 803 = 2*q - 5*k. Is q a multiple of 19?
True
Suppose 0 = 5*q - 204 - 201. Suppose a = -q + 77. Does 8 divide a/10 - (2898/15)/(-3)?
True
Let k(u) = u**2 - 8*u + 1. Let o be k(9). Let d be (5/o - -1)*2. Suppose 3*m - 45 = -r, d*r = -m + 7 - 0. Is 4 a factor of m?
True
Let c(v) be the third derivative of v**5/60 + v**4/24 - 8*v**3/3 - 19*v**2. Let l be c(-5). Suppose -5*d + 0*w + 80 = -l*w, -32 = -d + 4*w. Is 2 a factor of d?
True
Suppose -11*h + 29259 = 1693. Suppose -4*g - d = -2553, 4*g + 5*d = h + 51. Is 22 a factor of g?
True
Suppose 3*y + 30 = 4*m, 2*y + 3 = m - 2. Let x be 578/(-3) + -1 + (-3)/m. Let i = x + 392. Is 16 a factor of i?
False
Let a(h) = 14*h**2 + 2*h - 97. Let k be a(10). Let n = -820 + k. Is 13 a factor of n?
False
Let m = -15963 + 20181. Is 2 a factor of m?
True
Let d be 12 - 6 - 4 - 134. Does 4 divide (44/d)/(3/(-90))?
False
Suppose -105*p = -85006 - 81629. Does 23 divide p?
True
Suppose -534*z + 230840 = 21512. Does 4 divide z?
True
Let l(b) = b + 8. Let h be l(-8). Let i(n) be the third derivative of -n**5/60 + n**4/8 + 64*n**3/3 + 8*n**2. Does 25 divide i(h)?
False
Suppose 15*j + 283564 = 387*j - 219008. Is 100 a factor of j?
False
Let h = 106 - -76. Let v = h - 119. Let i = v - 21. Is 14 a factor of i?
True
Let q = 1564 - 1558. Let c = 4 + -1. Suppose i + c*d = -q, -5*i - 3*d + 25 = 7. Does 6 divide i?
True
Let m(s) = 19*s + 8. Let w(u) = -58*u - 22. Let j(f) = -11*m(f) - 4*w(f). Does 22 divide j(8)?
False
Suppose -42*i = s - 44*i - 16362, 3*s - 49118 = 2*i. Is s a multiple of 12?
False
Let n be (28/(-5))/(8/(-20)). Let u = n + -6. Let v = 56 + u. Does 5 divide v?
False
Let z(h) = -224*h**2 + 8*h - 15. Let n be z(2). Let w = n + 1705. Does 18 divide w?
True
Suppose -l - l + d = -1411, 4*d = -5*l + 3521. Suppose 0*i - l = 5*g + 2*i, -423 = 3*g + 3*i. Let x = 295 + g. Is 14 a factor of x?
True
Suppose 8*h - 2860 = -436. Suppose -d = 4*q + 4*d - 613, -2*q + h = -d. Let k = -100 + q. Is k a multiple of 26?
True
Suppose -3125 = 16*c - 11*c. Let x = c - -1054. Is 33 a factor of x?
True
Let o be (24/(-14))/(3*(-2)/294). Is 70 a factor of o/((-3)/4*16/(-90))?
True
Let f = 7543 - 4650. Is 5 a factor of f?
False
Is 65 a factor of (-78587)/(-13) + (-432)/2808?
True
Suppose 4*w + 143 + 89 = 4*u, 5*u + 5*w = 310. Let t = 56 - u. Let a(r) = -r**3 + 5*r**2 + r. Does 18 divide a(t)?
False
Let p = -367 - -277. Does 85 divide p/(6 - 492/80)?
False
Let i(j) = 223*j + 5475. Is 156 a factor of i(0)?
False
Suppose 228 - 254 = -2*t. Let v(c) = c**3 - 14*c**2 + 18*c - 34. Does 4 divide v(t)?
False
Let u be 1/((-132)/138 - -1). Suppose 4*w = -3*q + 76, 5*w - 4*q - 41 = u. Let x(k) = 25*k - 69. Does 53 divide x(w)?
False
Suppose 59*g - g + 154*g - 12077216 = 0. Is 13 a factor of g?
False
Let z be -3 - 72/((-6)/(-1)). Is 5 a factor of (-19 - 2)/(14 + z)?
False
Let l = -37914 - -55201. Does 15 divide l?
False
Suppose -5*h - 1 = -6*h. Let r(k) = 1 - 2*k - h + 2. Is r(-11) a multiple of 6?
True
Let r = 1229 + -239. Suppose -4*x - 2*a + r = -0*x, 0 = -4*x + 4*a + 996. Is x a multiple of 31?
True
Suppose 7*b = -16*b. Suppose 15*k - 1438 - 2972 = b. Is k a multiple of 14?
True
Suppose -101465 = 49*u - 62*u. Is 75 a factor of u?
False
Let i = 445 + -260. Suppose -157 = -4*m - 5*g, 8*g = 5*m + 3*g - i. Is 27 a factor of m?
False
Suppose 2*f + 2095 - 15745 = -4*f. Does 35 divide f?
True
Is 20 a factor of 60/9*(-94 - -562)?
True
Let c be 4/18 + ((-1056)/27)/(-4). Suppose -22*z = -c*z - 5088. Is 53 a factor of z?
True
Let q = 989 - -1573. Is 14 a factor of q?
True
Suppose -7457*p - 3409 = -7458*p. Is p a multiple of 7?
True
Let r = -46 - -115. Let c = r + -37. Let q = 70 - c. Does 19 divide q?
True
Is 7 a factor of (9769 - 6 - 1)*2/3?
False
Suppose 413 = 3*w + 230 - 1077. Does 21 divide w?
True
Let p(g) be the third derivative of 5*g**6/12 + g**5/60 - 5*g**4/12 + 30*g**2. Does 19 divide p(3)?
False
Let m(v) be the s