 -22*j + 9*j - 26 = 0. Is p(j) a multiple of 4?
False
Let o(b) = 26*b - 12. Suppose 4*d - 3*r + 12 = 47, 4*d + r = 15. Let f be o(d). Suppose 0 = -4*n + 2 + f. Does 30 divide n?
True
Let p(y) = -y**3 - 38*y**2 + 6. Let j be p(-38). Suppose 4*m + 232 = 2*q, j*q - q = -5*m + 580. Is q a multiple of 21?
False
Suppose -7*s + 6 = -6*s. Let o be (11 - -61) + s + -2. Suppose r + j = -2*j + 76, -r - j = -o. Does 38 divide r?
True
Let s(t) = 307*t**2 - 39*t - 222. Is s(-7) a multiple of 31?
False
Let m be (-135)/12 + 2/8. Let q(w) be the second derivative of -w**4/12 - 7*w**3/3 - 27*w**2/2 - 99*w. Is 6 a factor of q(m)?
True
Let x(b) = -b**3 - 19*b**2 + 40*b + 40. Is x(-28) a multiple of 18?
True
Is 13 a factor of (-2 + 3)*4825/50*26?
True
Let x(p) = -p - 5. Let f be x(-5). Let g be (1 + -1)/(-1 - f). Suppose g*t + 5*b = -t + 97, t - 97 = -b. Is t a multiple of 28?
False
Suppose -4*w - 4*x + 1880 = 0, -3*x + 2*x = -5*w + 2350. Let s = w + -308. Is s a multiple of 24?
False
Let j(o) = -18*o - 121. Let t(l) = -3*l - 20. Let h(d) = -6*j(d) + 39*t(d). Is h(-22) a multiple of 9?
True
Let d be ((-60)/(-40))/((-2)/(-4)). Suppose d*h = -5*c, -3*c = -4*h + 2*c + 35. Suppose -h*o + 56 = -3*s, 0 = -o - 2*s - 0*s + 19. Is o even?
False
Let o(b) be the first derivative of 135*b**2/2 - 9*b + 2. Is 9 a factor of o(1)?
True
Let c(a) = -a**3 - 14*a**2 - 17*a + 64. Let w be c(-12). Let h(i) = -67*i - 190. Is 53 a factor of h(w)?
False
Let k = 322 - 311. Is 10 a factor of (k - (-328)/(-32)) + 125/4?
False
Let b be 6/(-4)*(-306)/81*3. Suppose 3*l - b*g - 816 = -15*g, -5*l + 3*g = -1360. Does 23 divide l?
False
Suppose -144*f - 129925 = -149*f - 5*s, 9*s - 51928 = -2*f. Is f a multiple of 7?
True
Suppose -143*a = 113*a - 2*a - 1730248. Is a a multiple of 47?
False
Let z = -9297 - -19659. Does 115 divide z?
False
Let o be ((4 - 4)/(-8))/(2*-1). Suppose u - 5*y = -2, u = -o*u + 2*y + 13. Is 2 a factor of u?
False
Let v(h) = -17*h - 292. Let l be v(-28). Suppose 964*t - 972*t = -l. Is 2 a factor of t?
False
Suppose 953*h = 954*h - 30488. Is 74 a factor of h?
True
Suppose 0 = -5*y + 63*i - 66*i + 42774, 0 = -5*y + 2*i + 42734. Does 19 divide y?
True
Suppose 62*u + 113*u - 3668 - 1057 = 0. Is 3 a factor of u?
True
Let d(o) be the second derivative of 13*o**5/20 - o**4/12 - 2*o**3/3 + o**2/2 - 10*o. Let p be d(-2). Does 47 divide 1/(22/4) - 13941/p?
True
Let a(k) = k**2 + 19*k - 64. Let b be a(-22). Suppose b*r = -2*o, 5*r = r + o + 10. Suppose 0 = -5*s - 10, 4*l - l = -r*s + 230. Is l a multiple of 8?
False
Let p(v) = 5116*v**2 - 9*v + 1. Does 68 divide p(1)?
False
Suppose 12*z = 7*z + 65. Suppose -1441 = -z*p + 2*p. Let k = p + -91. Is 20 a factor of k?
True
Let f be 101 - ((-16)/20 + 44/(-20)). Let j = -98 + f. Is 4 a factor of j?
False
Let r(s) = -3*s**2 + 4*s + 14. Let d(m) be the first derivative of m**3/3 + m - 17. Let j(n) = -d(n) - r(n). Is 11 a factor of j(5)?
False
Suppose x = -4*b - 33, -b - 15 = 2*x + 51. Let m = x - -33. Suppose m = -4*h + 474 + 234. Is h a multiple of 13?
False
Let h be 5/(-4 - 1)*(0 + -2). Suppose -h*i + i = -3. Suppose 2*g + 7*p - 151 = 2*p, i*p = 3*g - 174. Is g a multiple of 21?
True
Let y = -30 - -25. Does 6 divide (48/y)/((-22)/275)?
True
Suppose 493671 - 1468871 = 86*f - 126*f. Does 46 divide f?
True
Suppose -3*a + 28*o + 106757 = 23*o, -4*o + 20 = 0. Does 326 divide a?
False
Let r(x) = x - 18. Let w be r(-7). Let b = 345 - w. Is (24/(-20))/((-4)/b) a multiple of 11?
False
Is 141 a factor of ((-2040)/(-20))/(-6) + 22013?
True
Let m = 2471 - 1273. Is m a multiple of 7?
False
Let m(h) = -h**2 - 16*h + 3. Let y(o) = -2*o**2 - 32*o + 5. Let b(j) = -13*m(j) + 6*y(j). Is 32 a factor of b(5)?
True
Let j(q) = q**2 + 11*q + 36. Let y be j(-6). Is (-1*8)/(y/(-21)) a multiple of 16?
False
Let w = -791 - -1231. Suppose -w = -c + 2*h, 1725 = 4*c + 3*h - 4*h. Suppose 108 = t - 4*r, r = -5*t - r + c. Is t a multiple of 44?
True
Is 141 a factor of (-12 - 63/(-9)) + 3812?
True
Suppose -4*g - 1116 = -5*f, -105*f - 1108 = 4*g - 108*f. Let u = 1145 + -751. Let l = u + g. Is l a multiple of 15?
True
Suppose 10 = -2*n - 6. Let x(h) = 9*h**2 + 29*h + 19. Is 39 a factor of x(n)?
False
Suppose 3*w - 1344 = 204*f - 205*f, 5*w = 9*f - 12096. Does 24 divide f?
True
Suppose -5*q - 155 = -36*q. Suppose -3*j + 3*x = -807, -j + 92 = q*x - 153. Is 5 a factor of j?
True
Let m be 180/(-27)*(-9)/6 - 5. Suppose 9*j - 8*j - 160 = 2*l, m*j = -2*l + 860. Is j a multiple of 8?
False
Let z(q) = 2*q - 9. Let h be z(7). Suppose 4*l + 2*w - h + 21 = 0, 0 = 2*w. Let t(i) = 7*i**2 - 6*i + 4. Is t(l) a multiple of 14?
True
Let w(u) = 15*u - 2. Let g be w(-5). Suppose 0 = 174*b - 17*b + 29359. Let i = g - b. Is i a multiple of 5?
True
Let q = -52 + 56. Suppose -7*n = q*n - 3069. Is (3*(-6)/9)/((-6)/n) a multiple of 7?
False
Let c = -112 - -91. Let u(b) = -b**3 - 20*b**2 + 5*b - 30. Is u(c) a multiple of 42?
False
Suppose -40 = -2*a - y, -4*a - 12*y + 8*y + 84 = 0. Let n(m) = -2*m**3 + 38*m**2 + 3*m + 20. Is n(a) a multiple of 2?
False
Suppose -212*i + 723869 = 96*i + 123269. Does 50 divide i?
True
Let g be ((-64)/(-20))/(4/(-3030)). Let h be (g/16)/(6/(-8)). Suppose 0 = 5*z - 203 - h. Does 11 divide z?
False
Let d = -504 + 500. Does 5 divide (5/(-1))/(d/384*8)?
True
Suppose 0 = -15*k + 22 + 23. Suppose 0 = 5*o + 5*i + 1550, -5*o = i + k*i + 1552. Let d = 578 + o. Does 19 divide d?
True
Suppose 26*m - 9618 = 9388. Let s = 1282 - m. Is s a multiple of 17?
False
Let g(k) = -4*k**2 + k + 8. Let f(i) = 7*i**2 - i - 16. Let b(c) = -3*f(c) - 5*g(c). Let j(v) = -v - 1. Let u(z) = -b(z) + 3*j(z). Is 5 a factor of u(-6)?
False
Let h(k) = -k**3 - 7*k**2 + 4*k - 11. Let o be h(-5). Let j be 3/4 + o/(-36). Suppose 0*a + 313 = j*d - 4*a, a + 499 = 5*d. Is 33 a factor of d?
True
Suppose 193*p - 2*i = 191*p + 2170, -2*p = i - 2158. Does 47 divide p?
True
Suppose -6*j - 5447 = -b - 499, 3*b - 3*j - 14829 = 0. Is b a multiple of 8?
False
Let y(j) = -19*j + 7. Let d be y(-3). Let b = -37 - d. Let c = -57 - b. Is 11 a factor of c?
True
Is 25 a factor of (13 + 2737)*12/24?
True
Suppose 13*f - 11*f - 6 = 0. Suppose -12 = m + 4*u, 2*u - f*u = 2*m + 10. Does 18 divide -1*6/9*114/m?
False
Let t(k) = -14*k + 36. Let b be t(-16). Suppose -d - b = -4*a, -3*d + 276 = 4*a - 0*d. Suppose -2*y + 321 = -3*f, -y + a = -2*f - 92. Is 51 a factor of y?
False
Suppose -56*a + 49*a + 12705 = 0. Suppose -5*u = -5*h + 6380, -3*h + a = u - 2001. Is 67 a factor of h?
True
Let t(o) = 3*o**3 + 29*o**2 - o - 21. Is 25 a factor of t(-9)?
True
Suppose -3*a - 2*p = -30, 3*p + 31 = 10*a - 5*a. Suppose a*g + g = 2115. Is 20 a factor of g?
False
Suppose -4*z + 9040 = -4*c, 3*z + 9037 = 7*z - 5*c. Is 43 a factor of z?
False
Suppose -307*l = -305*l - 3*w - 9520, 3*l - 2*w - 14280 = 0. Is 10 a factor of l?
True
Let n be ((-120)/18)/((84/9)/(-7)). Let g(d) = 37*d + 87. Is g(n) a multiple of 34?
True
Let p(c) = -345*c - 2580. Does 24 divide p(-68)?
True
Let s be (-60)/(-18)*(-12)/(-10). Suppose -5 = -s*v - 13. Let p(h) = -17*h - 2. Is p(v) a multiple of 8?
True
Let s(z) = -165*z - 556. Is 89 a factor of s(-12)?
True
Let o(s) = -s**3 + 12*s**2 + 3*s + 48. Let x(t) = 2*t**2 + 8*t - 12. Let q be x(2). Is o(q) a multiple of 4?
True
Let t(j) = -19*j**3 - 3*j - 3. Let z be t(-1). Let d = 73 + z. Is 35 a factor of (-4)/2*(-6 - d)?
False
Suppose 3*b + 4*a - 202876 = 0, -195*a = -199*a + 28. Is b a multiple of 80?
False
Suppose -59*o - 24*o + 32946 = -39430. Does 104 divide o?
False
Let k(o) = o**3 + 13*o**2 - 41*o - 63. Is k(7) a multiple of 7?
True
Suppose 4*r - 7 = -3. Let z be -2*(2 + r - 5/10). Is 8 a factor of z/(-2) + 4 + 6/4?
True
Let n be (-1)/(-2)*(-48)/6. Let p(c) = -22*c**2 - 2 + 10*c**2 + 2*c - c**3 + 14*c**2. Is p(n) a multiple of 43?
True
Suppose 2*n + 207 = -5*o, -3*o + 2*n - 125 = 3*n. Let t be ((-4)/(-4))/(1/o)*1. Let s = t - -121. Is 13 a factor of s?
True
Let m(y) = 9*y**3 - 11*y**2 + y. Let n be m(8). Suppose -5*v + n = 7*v. Suppose 3*u - 5*u = -v. Is 34 a factor of u?
False
Let f = -2208 + 3528. Suppose -4*r - 2*r = -f. Does 20 divide r?
True
Let o = -189 + 267. Let i = o - 56. Does 3 divide i?
False
Suppose 875 = 11*r + 4791. Let t = r - -636. Is 28 a factor of t?
True
Let f(g) = g**3 + g**2 + g. Let b(p) = 5*p**3 + 2*p**2 - 7