5*j, 3792 = w + 3*j. Is 20 a factor of w?
False
Suppose 2*m + 1761 = 4*i - 797, 1896 = 3*i + 6*m. Does 8 divide i?
False
Let c(x) be the first derivative of -x**4/12 + 13*x**3/6 + 5*x**2 + 8*x - 5. Let r(u) be the first derivative of c(u). Is r(12) a multiple of 11?
True
Let l(h) = 103*h**3 + 3*h**2 - h. Let n be l(-2). Is (6/10)/(-3*2/n) a multiple of 11?
False
Let j(b) = b**3 + 7*b**2 - 3*b - 5. Let n(x) = -x + 7. Let g be n(13). Does 8 divide j(g)?
False
Let d(m) = 8*m - 4. Let s(g) = -g**3 - 2*g**2 - 2*g - 2. Let o be s(-2). Suppose -o*i + 6 = -0. Does 20 divide d(i)?
True
Let z(n) = 836*n**2 + 39*n + 80. Does 29 divide z(-2)?
False
Let y = 342 - -218. Does 40 divide y?
True
Let d(p) = 3*p**2 - 9*p - 6. Let x be d(-7). Suppose i - x = -2*a, 0*a + 4*i = -5*a + 510. Does 17 divide a?
True
Let n be (2 + 103)/(9/6). Let x = -15 + n. Let w = x + -35. Is w a multiple of 12?
False
Let n = 2 + 3. Is (1308/15)/4 + 1/n a multiple of 22?
True
Let w(u) = u**2 + 5*u - 8. Let t be w(-6). Suppose -5*c + 0*c = -5. Let j = c - t. Is j a multiple of 2?
False
Let o = 504 - 504. Suppose 0*s - 2*s = -8. Suppose -12 = -s*m - o. Is 2 a factor of m?
False
Let i(h) = -22*h**3 - 3*h**2 - 12*h - 11. Does 18 divide i(-3)?
False
Let d(q) = q**2 - 13*q + 9. Let p(l) = 3*l**2 - 26*l + 17. Let x(b) = 5*d(b) - 2*p(b). Let w be x(-13). Suppose 6*n - w - 127 = 0. Is 12 a factor of n?
False
Let k(h) = 4*h + 5. Let w be k(0). Suppose 25 = w*u, 8*u - 82 = -3*i + 3*u. Is i a multiple of 2?
False
Let x(y) = y**3 + 22*y**2 - 10*y + 142. Does 4 divide x(-21)?
False
Let p be 2/11 + (-8)/44. Suppose -6*i + 39 + 591 = p. Is i a multiple of 21?
True
Suppose 4*q - 7 = v + q, 12 = 4*q. Suppose 4*f - 4 = -8, 2*m - 51 = 3*f. Suppose p - m = -v*p. Is 8 a factor of p?
True
Let q = 1 - 1. Suppose -7*a + 448 = -q*a. Does 9 divide a?
False
Let i = 32 - 28. Let g be 1/(-2 - (-14)/6). Suppose i*z - 5*y = 32, g*z - 5 = -2*y - 4. Is 3 a factor of z?
True
Let b be 1 - -1*9/3. Suppose -5*w = -b*l + 109, 0 = 2*l - 3*w - 20 - 37. Is l a multiple of 3?
True
Suppose -p - 2034 = -4*s + p, 2*s + 4*p - 992 = 0. Is 43 a factor of s?
False
Suppose -3*w + 0*w + 369 = j, -w = 3*j - 131. Suppose -4*f + w = -70. Is f a multiple of 9?
False
Suppose -4*g + u + 77 = 0, -g + 14 - 3 = -3*u. Suppose 21 = -5*z + 4*r + 72, -g = 5*r. Does 4 divide z?
False
Suppose c + 19 = 3*a, -a = 2*c - 2 + 5. Let m(q) = -54*q - 16. Does 25 divide m(c)?
True
Let s(h) = -2*h + 21. Let t be s(10). Does 11 divide 2 - ((t - (0 + 4)) + -72)?
True
Let h(m) = -3*m. Let k = -16 + 14. Let f be h(k). Let l = f - -10. Is l a multiple of 6?
False
Suppose -2*y = 3 - 11. Suppose 6 = m - 0*o + y*o, 0 = -m + 2*o + 12. Does 4 divide m?
False
Suppose 3*q - q = 3*q. Suppose q = -3*x + 156 + 75. Is x a multiple of 5?
False
Let w(q) = 35*q**3 + q**2 + q. Let g be w(-1). Is 34 a factor of 5/g + (-2145)/(-21)?
True
Suppose -3*g + 3*o + 30 = 9, 26 = 5*g - 2*o. Suppose 5*f - 72 = g*f. Does 15 divide f?
False
Let t(g) = 7*g**3 - 3*g**2 - g + 2. Let d be t(-2). Let o = -96 - d. Let a = o - -76. Does 22 divide a?
True
Does 89 divide (3 - 15) + (2403 - -2)?
False
Let y(c) = -c**2 + 13*c - 17. Let a be y(11). Suppose 0 = -4*s - 4*x - 12, a*x - 35 = 4*s - 5. Is 33/(-18)*(s - 1) a multiple of 11?
True
Suppose -w + 3 = 0, 160*w - 2127 = -3*f + 157*w. Is f even?
True
Let j(d) = 60*d - 20. Suppose 0 = 3*n + 2*x - 12, 3*x = -n - 0*n + 4. Is 22 a factor of j(n)?
True
Suppose 56 = v + 14*p - 19*p, 0 = -2*v + 3*p + 119. Is v a multiple of 11?
False
Let w = -21 + 11. Let i(o) = -o**3 - 8*o**2 + 5*o + 12. Is 27 a factor of i(w)?
True
Suppose -2*v + 948 = -z, -v - 3*v = -5*z - 1908. Is 83 a factor of v?
False
Suppose 0 = 4*d, -2*i + 3*d + d - 64 = 0. Let p be (i/12)/((-10)/15). Suppose -p*o = -5*u - 92, 2*o + o = 5*u + 74. Does 10 divide o?
False
Let s = -105 - -420. Is 6 a factor of s?
False
Let f be (-2)/(3/(12 - 3)). Is 27 a factor of (-3*1/f)/(2/324)?
True
Let t = -78 + 647. Does 11 divide t?
False
Let p(f) = -f**3 + 11*f**2 + 13*f - 10. Let n(d) = -d**2 + d - 1. Let c(m) = -3*n(m) - p(m). Does 22 divide c(10)?
False
Suppose 13 + 8 = 5*l + 3*b, l = -3*b - 3. Let s(q) = -3 - 2*q**3 + 2 + q**3 - 21*q**2 + l*q + 13*q**2. Is s(-9) a multiple of 26?
True
Let w(o) = 27*o**2 - 23*o - 92. Does 16 divide w(-4)?
True
Let b(a) = -a - 3. Let u be b(-5). Suppose j - 14 = 3*c, u*c = 3*j + j - 96. Does 13 divide j?
True
Let q be -56 + (1 - (-4 - -7)). Let c = q + 118. Suppose 0*s + 5*k = 3*s - 140, s - 5*k = c. Is s a multiple of 13?
False
Is (-21 + 0)*1938/(-171) a multiple of 17?
True
Suppose 0 = b + 5*u - 199, 7*b - 10*b + 549 = 3*u. Does 7 divide b?
False
Let x(d) be the second derivative of -d**5/20 + 5*d**2/2 - 3*d. Let a be x(0). Suppose c - 12 - 34 = a*q, -4*q = c - 28. Is 12 a factor of c?
True
Let b = 41 - 25. Does 8 divide b?
True
Suppose -4*g - 4*f = 20, -9 = 4*f + 11. Suppose g = 3*z - 194 + 71. Suppose -3*d + 12 = 0, 5*s + 3*d - z = 101. Is 16 a factor of s?
False
Let j(m) = 47*m**2 + 5*m + 3. Let k be j(3). Suppose 0*z + 7*z - k = 0. Is 9 a factor of z?
True
Suppose 73*b = 87*b - 40712. Is b a multiple of 27?
False
Suppose 49*q - 53*q - 3*h + 6789 = 0, 0 = q - 5*h - 1680. Is 41 a factor of q?
False
Suppose 0 = 4*i + 5*k - 2260, -7*k + 4*k + 1128 = 2*i. Is i a multiple of 57?
True
Let u = 1516 - 634. Suppose 5*l = -10, 2*a = 3*l - u + 3714. Does 3 divide 6/16 - a/(-72)?
False
Let j(m) = -m**3 + 4*m**2 - 1. Let c be j(3). Suppose -c*v + 1206 = -5*v. Is 63 a factor of v?
False
Let f(c) = -5*c + 120. Is f(20) a multiple of 2?
True
Let z(r) = -r - 9*r + 70*r**2 - 66*r**2 - 10. Is z(7) a multiple of 20?
False
Let t(s) be the third derivative of -4*s**2 + 0*s - 1/60*s**5 + 1/24*s**4 + 10*s**3 + 0. Is t(0) a multiple of 15?
True
Suppose -3*z + 2*g = -909, -3*g = -6*z + 9*z - 894. Does 51 divide z?
False
Let d be 5968/20 + 17/(-5) + 3. Is 7 a factor of d/14 + 16/(-56)?
True
Suppose 0 = -5*k - 2*b + 167 + 2608, -5*k + 6*b = -2775. Is k a multiple of 37?
True
Let q(m) = -2*m + 46. Is 74 a factor of q(-14)?
True
Suppose 0 = 3*t - 557 + 221. Suppose -4*z + t = 4*s, z - 54 = -z - 3*s. Does 3 divide z?
True
Is (23 + 2)/(5/25) a multiple of 24?
False
Suppose -2*d + c = -22, 5*c - 6 = 5*d - 71. Let u be 2008/36 + 2/d. Suppose -y = 4*i - u, 0 = 4*y + y - 4*i - 208. Is 9 a factor of y?
False
Let g(n) = -2*n**3 + 44*n**2 + 51*n - 133. Is 70 a factor of g(21)?
True
Let f(p) be the first derivative of -p**3/3 - 13*p**2 + 9*p + 15. Is f(-24) a multiple of 19?
True
Let t = -54 - -62. Suppose -14 + 2 = 3*h, -4*b = -2*h - 56. Let f = b + t. Is f a multiple of 20?
True
Let t = -8 + 3. Let f be 6 + t + 3 + -1. Does 3 divide 3*f*(0 - -1)?
True
Let w be ((-30)/9)/(2/(-3)). Suppose x - w*q + 2 = -5, 2*x = q - 5. Is x + 4 + 9 + -3 a multiple of 2?
True
Is 40901/21 + (-5)/(-15) a multiple of 15?
False
Let p = 5 - -229. Let o = -158 + p. Is o a multiple of 19?
True
Suppose -w + 2171 - 832 = 0. Does 12 divide w?
False
Let l(m) = m**3 + m**2 - m - 16. Let o be l(0). Let s be o/(-6) - 4/6. Suppose 0*z - 84 = -s*z. Is z a multiple of 21?
True
Let t(h) = -20*h**3 - h**2 - h. Let u be t(-1). Let b(c) = c + 4. Let j be b(0). Suppose 5*r = 3*f - u, -f - 2*r = j*f - 85. Is f a multiple of 15?
True
Let i = -497 - -871. Is 11 a factor of i?
True
Let f be 502/10 - (-6)/(-30). Suppose -5*p = -3*g + f, -4*g + 46 = -g - p. Is g a multiple of 7?
False
Let p(m) = m**3 - 6*m**2 - 2*m + 11. Let v be p(6). Is (4/(-8))/(v/72) a multiple of 11?
False
Let d(t) = t**3 + t. Let v be d(0). Suppose v*p = 2*p + 176. Let i = p - -162. Does 27 divide i?
False
Let s(w) = 17*w - 14. Let g be s(6). Suppose 3*o - 19 = -2*n + 6*o, -g = -4*n - 4*o. Is n a multiple of 15?
False
Let r(h) be the first derivative of -1 + 17*h - 1/2*h**2. Is 10 a factor of r(7)?
True
Let d be (-6 + 0)/2 - -35. Let l = 9 - 6. Suppose l*z - 46 = d. Is 13 a factor of z?
True
Suppose -3*x + 6 = c + 54, -5*c - 180 = 3*x. Let n = -15 - c. Is 6 a factor of -4*3/(-36)*n?
True
Let f = -294 + 604. Is 13 a factor of f?
False
Suppose 0*q = -0*q - 2*q. Suppose -37*u + 36*u + 10 = q. Does 5 divide u?
True
Let r = 49 - 80. Let s = -11 - r. Is 5 a factor of s?
True
Let c(p) = p**3 + 15*p**2 - 12*p - 30. Does 13 divide c(-12)?
True
Suppose -8*s = -3*x - 3*s + 17, -s - 17 = -