(y). Let b be p(10). Let n = 73 - b. Is 11 a factor of n?
True
Suppose -7*m + 11401 = 3085. Is 44 a factor of m?
True
Let u be (-8*(-29)/(-6))/((-2)/6). Let o = u - -43. Does 21 divide o?
False
Suppose -3*n + 9 = -3*m, -2*m + 0 + 12 = 4*n. Suppose -n - 24 = -q. Does 27 divide q?
True
Let q(r) be the first derivative of -1 - r**2 + r + 1/3*r**3. Does 6 divide q(6)?
False
Let t(p) = p**2 - 10*p - 4. Let r be t(10). Let m be -3 + (-2)/(r/6). Suppose -4*u = -20, 2*n + m*n = u + 53. Does 27 divide n?
False
Let k = 910 + 208. Is k a multiple of 13?
True
Suppose 5*n - 1488 = -11*n. Does 31 divide n?
True
Suppose -b - u + 445 - 136 = 0, 2*b - 5*u = 611. Is b a multiple of 3?
False
Suppose 5*q = -2*u + 202, -q + 203 = 4*q + 3*u. Suppose -36*a - 792 = -q*a. Is a a multiple of 13?
False
Let j(h) be the third derivative of h**5/60 - h**4/8 - 9*h**2. Let u be j(3). Suppose u = 2*t - 76 - 26. Is t a multiple of 25?
False
Let t = -58 + 37. Let x be (-7356)/t - 6/21. Suppose s = 6*s - x. Is 32 a factor of s?
False
Let h be (-895)/(-19) - (-2)/(-19). Let a = 62 - h. Does 15 divide a?
True
Suppose -3*v = 3*y - 8046, -14*v + 10752 = -10*v - 4*y. Does 20 divide v?
False
Does 28 divide 1 + 256 - (13 + -14 - -1)?
False
Let q be 20*(-1)/10*-4. Let k = q + 40. Does 8 divide k?
True
Let q(u) = 4*u**2 + 5*u. Let m = 30 + -34. Does 11 divide q(m)?
True
Let x be ((-6)/10)/(1/(-55)). Is 2 a factor of (-6)/x - 492/(-44)?
False
Let o = -23 - -27. Suppose 0 = 4*g - 4*j - 216, -2*g - o*j + 54 = -g. Does 10 divide g?
False
Let a(c) = 16*c**2 - 5*c + 4. Is a(-4) a multiple of 39?
False
Let m be ((-6)/(-6))/(2/6). Suppose r + 10 = -m*n - r, -2*n - r = 5. Suppose -4*u + 5*l + 189 = n, -3*l - 36 = -u + 2*l. Does 17 divide u?
True
Suppose -4*z - 5*k + 527 = 0, 2*z = 7*z + 4*k - 661. Suppose -4*y + 100 = -5*j, z - 8 = 5*y - 2*j. Is y a multiple of 2?
False
Let u(p) = 4*p**2 - 15*p - 36. Is 8 a factor of u(16)?
False
Let a = -411 - -1751. Is a a multiple of 10?
True
Suppose 0 = 2*a + 2*a - 5*v - 4424, -3*v = a - 1089. Is 9 a factor of a?
False
Let c = -463 - -737. Is 25 a factor of c?
False
Suppose 0 = 65*r - 8*r - 70224. Is r a multiple of 22?
True
Let w(z) = z - 9. Let b be w(9). Suppose b = 4*g - 3*a - 305, 2*a = -5*g + 30 + 357. Is g a multiple of 11?
True
Suppose -2*j = 3*g - 9, 0*g + 3*j = -4*g + 12. Let h(b) = 10*b - 1. Is h(g) a multiple of 24?
False
Let a = -45 + 409. Does 26 divide a?
True
Let b be (-30)/42 - (-6)/(-21). Is 43 a factor of (1 + -1 - -172) + (-1 - b)?
True
Let u(w) be the third derivative of 1/30*w**5 + 0 + 0*w - 2/3*w**3 + 5*w**2 - 1/120*w**6 + 1/8*w**4. Is 8 a factor of u(-3)?
True
Is 727 + (2 - (-27)/(-3)) a multiple of 36?
True
Let z(p) = -p + 11. Let l be z(12). Let s be (1 - -11)*(9 - l). Suppose 0*r = 4*r - s. Is r a multiple of 7?
False
Suppose 3*i = -5*j + 245, -3*j + 50 + 68 = -4*i. Is 23 a factor of j?
True
Let w = 59 - 49. Suppose w*l - 756 = 8*l. Is l a multiple of 41?
False
Let z(d) = -702*d - 64. Is 17 a factor of z(-6)?
True
Let d(f) = 10 - 4*f + 4 - f - 5*f. Is 37 a factor of d(-6)?
True
Is -2*((-1709)/4 - (-15)/20) a multiple of 22?
False
Let i(d) = 80*d + 579. Does 29 divide i(15)?
False
Let g be 9/((-8)/(-12) - 1). Let h be (-6)/g - (-939)/27. Suppose 3*n + z = h, n - 4*n + z = -25. Is n a multiple of 5?
True
Suppose 0 = -23*p + p + 13860. Is p a multiple of 10?
True
Is ((-2)/(-3))/(12 - (-7342)/(-612)) a multiple of 34?
True
Let a = 34 - 38. Is 19 a factor of (-15 + a)*15/(-3)?
True
Suppose 140*u - 20 = 135*u. Let g(b) be the first derivative of 9*b**2/2 + 12*b - 1. Is 16 a factor of g(u)?
True
Suppose -22*p = -19*p - 2670. Is 23 a factor of p?
False
Does 23 divide (-1)/(-5) + 16616/620?
False
Let i(r) = 12*r + 42. Let x(z) = 2*z + 21. Let a be x(-5). Does 29 divide i(a)?
True
Let t(m) be the third derivative of m**5/12 + m**4/8 - m**3/2 + 2*m**2. Is t(-3) a multiple of 15?
False
Suppose 2*s - 272 = -36. Let w = s - 78. Is 8 a factor of w?
True
Let n(f) = 237*f + 13. Is 38 a factor of n(2)?
False
Suppose 20*v = 13*v - 14. Is v/(1/(-2) + (-440)/(-896)) a multiple of 16?
True
Let q(j) be the second derivative of j**5/20 + j**4/12 - j**2 - 54*j. Let u(i) = -i**3 - 4*i**2 - 2*i - 6. Let f be u(-4). Is q(f) a multiple of 10?
True
Suppose r + 5*o - 40 = -2*r, -4*o = r - 18. Suppose 2*h - r*h = -192. Is 9 a factor of h?
False
Let d(p) = 133*p + 566. Does 5 divide d(5)?
False
Suppose -9*m - 41 = -10*m. Suppose 4*t - 31 = 85. Suppose -m = -g + t. Is g a multiple of 10?
True
Let b(u) = 2*u + 28. Let q be b(-14). Suppose 3*h - 5*h + 106 = q. Does 18 divide h?
False
Let q(k) = -k**2 + 22*k + 8. Is q(6) a multiple of 6?
False
Suppose 0 = h + 3 + 2. Is 9 a factor of (510/h)/(-1 - 1)?
False
Let x = 332 - 113. Does 73 divide x?
True
Suppose 3*y - 1071 = -0*o + 3*o, 4*y + 342 = -o. Let v = o - -501. Is v a multiple of 21?
True
Suppose 2*q - 3*w = 3, 3*q = -2*q - 3*w - 45. Let s(k) = k**3 + 9*k**2 - 3*k - 18. Does 4 divide s(q)?
True
Let v(d) = 2*d**2 - 2*d + 6. Does 15 divide v(9)?
True
Suppose 4 - 16 = -3*g. Suppose i - 12 = g*i, -3*z = -2*i - 68. Is z even?
True
Let g(o) = o**3 + 8*o**2 + 7*o. Suppose -4*c = -4*t - 36, 4*c = -t - 0*c + 16. Let i = t - 2. Is g(i) a multiple of 6?
True
Let o(k) = -2*k**2 - 11*k - 13. Let i(w) be the second derivative of w**4/12 + 5*w**3/3 + 6*w**2 + 3*w. Let f(v) = -7*i(v) - 6*o(v). Is 22 a factor of f(-2)?
True
Let j be (22/6 + -3)*222. Suppose 4*i + j = 3*h - 24, 5*h - 256 = -i. Does 10 divide h?
False
Suppose -4*g - 3*v - 4 = -0*v, -g - 5*v - 18 = 0. Let h(p) = -p**g + 6*p**2 + 11 - 12*p - 6*p**2 - 6*p. Is h(-14) a multiple of 23?
False
Suppose 6*o = 8*o - 42. Let y = -13 + o. Is 8 a factor of y?
True
Let q = 384 - 319. Suppose -3*m = 15, -5*o - 3*m + 0*m + 95 = 0. Suppose -q = -z - o. Does 14 divide z?
False
Suppose -2*z = 2*r + 18, 0*r + 45 = -4*z + 5*r. Is 2*(-435)/z - -3 a multiple of 15?
True
Suppose -622 = -11*v - 61. Is 6 a factor of v?
False
Let t be (-1981)/(-63)*3 - 2/(-3). Let s = -77 + t. Is 10 a factor of s?
False
Suppose 0 = 97*k - 115*k + 56448. Is k a multiple of 64?
True
Suppose 7 - 1 = 2*u. Let f(l) = -3 + 4 - 15*l**3 - u*l**3. Is 7 a factor of f(-1)?
False
Suppose -2*u = -5*f + f + 18, -2*f = -2*u - 6. Suppose -d + 4 = -f. Is 6 a factor of d?
False
Is 10 a factor of (180/25)/6 + (-839)/(-5)?
False
Is 48 a factor of (-1 - -361)/((-42)/(-56))?
True
Let r be 6/(-24) - 3/4. Is 37 a factor of (0 - r) + 135 - (2 + 0)?
False
Suppose -270 = -22*t + 19*t. Let k(c) = -c**2 + 3. Let g be k(0). Suppose g*b = -2*b + t. Does 14 divide b?
False
Suppose f = -7*f + 328. Let c = 75 - f. Is 23 a factor of c?
False
Suppose 4*b - 88 = 640. Suppose b = 11*w - 4*w. Is 13 a factor of w?
True
Let a be 1148/22 - ((-184)/(-44) - 4). Let m = 24 + a. Is m a multiple of 19?
True
Let b = 56 - 26. Let g = -7 + b. Does 3 divide g?
False
Let q(l) = -l**2 - 6*l - 5. Let k be q(-5). Let h = 113 + -111. Suppose k = -y + 2*d + 32, -h*y - 4*d = -y - 26. Is 6 a factor of y?
True
Let s(u) = -u**3 + 15*u**2 - 15*u - 9. Let t be s(14). Let v = t + 26. Suppose -m - v*m = -184. Is 15 a factor of m?
False
Suppose 5*d = -2*q + 5858, -22*d + 3*q = -24*d + 2352. Is d a multiple of 20?
False
Suppose 0 = 5*b - 4 + 29. Let n = 3 - b. Does 5 divide n?
False
Let n = -20 + 23. Suppose 3*l - 8 = -2*s + 5*l, n*s = 4*l + 13. Suppose -s*p + 19 = -2*y, -5*p + 2*y + 30 = -3*y. Is p a multiple of 3?
False
Is 0 - ((0 - 7) + -30) a multiple of 11?
False
Let b(m) = 9*m + 7. Let r be b(4). Let g = 68 - r. Suppose -w + 2*l = -32, w - 3*l - g - 11 = 0. Is 12 a factor of w?
True
Suppose i - 4*s = 1193, -5*i - 4856 = -9*i - 5*s. Is 13 a factor of i?
True
Let s = -2945 - -4634. Does 41 divide s?
False
Suppose 28 = -3*p + 7*p. Let q = p + -13. Is 6 a factor of -8*(q/(-2))/(-3)?
False
Let w be -1*(-23 - (4 + -4)). Suppose 5*z - 43 = -w. Suppose 0 = -5*l + 3*u + 24, 0 = -2*l + z*u + u + 21. Is l a multiple of 2?
False
Let p(o) = 26*o**2 - 2*o + 1. Let x be p(1). Suppose 0 = -3*v - 6*v - 135. Let h = x + v. Is h a multiple of 5?
True
Suppose 4*g - 34 = 4*d - 6, 0 = g - 3*d - 17. Let r be g/(-10) - 260/(-50). Let k(f) = -f**2 + 7*f + 6. Is k(r) a multiple of 5?
False
Let m be (-1 - -2) + (-6)/3 + -45. Let x = m - -62. Is x a multiple of 8?
True
Let s(c) = -c**2 + c - 20