+ 19. Suppose 0 = 2*w + 4*l + 56, v = w - 0*l + l + 26. Does 11 divide -4*(-3)/w*-74?
False
Suppose 15*p - 10*p = 100. Let u = p + -18. Suppose u*z - 96 = 4. Is z a multiple of 15?
False
Let d(b) = 36*b + 54. Is 18 a factor of d(7)?
True
Suppose -3*r + 447 = -1551. Is 18 a factor of r?
True
Let s(y) = -74*y - 35. Is s(-4) a multiple of 22?
False
Let x(q) = -q**2 - 16*q + 15. Let c(p) = p - 1. Let g(s) = 4*c(s) + x(s). Let h = -13 - -4. Is 8 a factor of g(h)?
False
Is 20 a factor of 25/(1868/(-208) + 9)?
True
Let h(f) = -f**3 + 5*f**2 + 8*f - 9. Let p be h(6). Suppose 3*v - 111 = -p*x, -2*v - 3*v + 171 = -2*x. Suppose -18 = -k + v. Is k a multiple of 19?
False
Let b(w) be the first derivative of -w**2/2 + 7*w + 8. Is 4 a factor of b(-4)?
False
Suppose 5*b = 2*b - 2*x + 514, b - 175 = 3*x. Does 3 divide b?
False
Let n(y) = -y**2 - 19*y + 44. Let b be n(-21). Suppose 2*w + 40 = 2*j, -34 = -b*j - w - 0*w. Is 2 a factor of j?
True
Let m = 3 + 16. Suppose -355 = -2*o - m. Is 32 a factor of o?
False
Let s = -277 - -953. Is 52 a factor of s?
True
Suppose -2*r + 17 = 3*b - 6*r, 2*r = 3*b - 13. Let o be b/(-3)*1*0. Suppose -9*u + 7*u + 140 = o. Does 29 divide u?
False
Let c = -526 - -540. Is 14 a factor of c?
True
Let y(m) = -m**3 - 28*m**2 - 31*m - 4. Suppose 219 = -13*u - 132. Does 9 divide y(u)?
False
Let w(b) = b**3 + 5*b**2 + 5*b - 1. Let a(q) = -2*q**3 - 11*q**2 - 9*q + 2. Let m(z) = -6*a(z) - 11*w(z). Is m(-11) a multiple of 10?
True
Let y = 379 - 243. Is 9 a factor of y?
False
Let i = 2 - 10. Let d(q) = -4*q**2 + 67*q - 8 - 63*q + q**3 + 13*q**2. Is 5 a factor of d(i)?
False
Let y be (1 - (1 + -3)) + (-2 - -3). Suppose 4*l + 356 = y*s, s + 5*l + 10 = 69. Is 21 a factor of s?
True
Suppose 0*u + 174 = 2*u - 5*q, -3*u + 278 = q. Let t = -36 + u. Does 24 divide t?
False
Let a be -2 + (2 - (2 - 2)). Let h = 21 - 18. Suppose a = h*b - 33 - 18. Is b a multiple of 5?
False
Let b(g) be the first derivative of -2 + g**2 + 4*g + 0*g**3 - 1/4*g**4. Does 20 divide b(-4)?
True
Let q(i) = 264*i**2 + 61*i - 125. Is 13 a factor of q(2)?
True
Let s(p) = p**3 - p + 51. Let v(j) = 2*j + 20. Let y be v(-10). Does 20 divide s(y)?
False
Suppose -3*x + 476 = -10*x. Let u = x - -165. Is 30 a factor of u?
False
Let d(t) = -3*t**2 + 4*t - 9. Let a be d(-5). Is 38 a factor of a/(-2) + (-5)/(30/24)?
False
Let s(p) = 4*p + 556. Is s(32) a multiple of 12?
True
Let i be ((-6)/9)/(3*8/1332). Let s = 63 - i. Is 6 a factor of s?
False
Let r = 7 - -4. Let o(w) = -w**2 - 7*w - 5. Let s be o(-5). Suppose 7 = -t - s*h, 2*h = 4*t - r - 27. Is t even?
True
Suppose 95*x + 30560 = 105*x. Does 16 divide x?
True
Suppose -3*p + 3124 = -4*r, -2*p = -5*r - 2111 + 33. Does 18 divide p?
True
Suppose -s + 703 = 2*s - 5*f, -2*s + 462 = -5*f. Is 12 a factor of s?
False
Let q(l) be the second derivative of l**4/12 + l**3/6 - l**2 + 5*l. Let c be q(2). Let j(z) = 2*z**2 - 3*z + 4. Is 16 a factor of j(c)?
False
Let s(u) be the third derivative of u**4/4 + 11*u**3/6 + 4*u**2. Let m(i) = -7*i - 10. Let a(n) = 3*m(n) + 2*s(n). Does 17 divide a(-9)?
False
Let w = -2 - 5. Is 29 a factor of (-1013)/w + (-4)/(-14)?
True
Suppose b - 508 = -2*d, -8*d + 2*b = -7*d - 259. Is 15 a factor of d?
True
Suppose 3*z + 144 = -3*l, -195 = 4*l + 4*z - z. Suppose 0*a - 225 = -3*a. Let h = a + l. Is h a multiple of 12?
True
Is 5 a factor of 1185*3/9*1?
True
Suppose 4*c + 196 = 4*g - 9*g, 4*c - 20 = g. Is (27/g)/(2/(-440)) a multiple of 29?
False
Suppose 8*k = 3*k - 10. Suppose 5*y = -4*u + 18, -3*y - u + 12 = u. Let i = y - k. Does 4 divide i?
True
Let r be (-2 - -22)/(2/37). Suppose -4*p + r = -2*i - 24, 5*p - 500 = 4*i. Is p a multiple of 16?
True
Suppose 2*r + 8*d = 6*d + 98, 3*r + 4*d - 152 = 0. Is 29 a factor of (3 - r/12)*-336?
False
Suppose 3*r - 2*j - 4 = 2*j, 5*r - 5*j = 5. Is (-1 - 3) + r + 104 a multiple of 23?
False
Does 4 divide (-8)/2*(-42)/6?
True
Let g(n) = 27*n - 40. Let r be g(-6). Does 53 divide (0 - r) + -3 + (1 - -3)?
False
Suppose -4*o = o. Suppose o = s - 24 + 10. Suppose -b + s + 43 = 0. Does 13 divide b?
False
Let o = 106 + -106. Suppose r + 5*r - 60 = o. Does 3 divide r?
False
Suppose 47 - 7 = 2*n. Let u = 23 - n. Is 9 a factor of (u + -1)*172/8?
False
Let u(s) = -197*s + 55. Does 80 divide u(-5)?
True
Let d(n) = -5*n - 4 + 8*n - 4*n. Let l be d(-2). Is 3*-74*l/12 a multiple of 20?
False
Suppose -2*t + 7*t - 360 = 0. Suppose 4*r + 2*l - 30 - 66 = 0, -t = -2*r + 5*l. Suppose w = r + 31. Is 19 a factor of w?
True
Suppose -31*s + 69350 = -6*s. Is s a multiple of 38?
True
Let o = -364 + 443. Is 2 a factor of o?
False
Let w = -740 - -1060. Is 55 a factor of w?
False
Let w(t) be the third derivative of -t**6/120 - 7*t**5/60 + 7*t**4/24 + 5*t**3/6 - 5*t**2. Does 5 divide w(-8)?
False
Suppose -244 = -j + 2*i, j + 5*i + 985 = 5*j. Is j a multiple of 50?
True
Let h(i) = -i**3 + 33*i**2 + 6*i + 99. Does 33 divide h(33)?
True
Let n be 3/(-6) + (-30)/(-12). Suppose b = -n*t - 1 + 2, 2*t = -4*b + 28. Is b a multiple of 2?
False
Let r = 641 + -305. Does 42 divide r?
True
Suppose 0 = 6*j - 3*j - 9. Suppose 0 = i - 5*g + 18, -j*i = -6*g + 2*g + 10. Suppose -i*c = -3*c + 3*x + 48, 5*x + 128 = 3*c. Is c a multiple of 12?
True
Suppose -17*p = -1320 - 2454. Is 13 a factor of 37/p - (-1522)/12?
False
Suppose -8*x = -6*x - 1120. Is x a multiple of 14?
True
Suppose x = 3, 3*r + x = 13 + 14. Suppose r*c - 89 = 247. Is c a multiple of 20?
False
Let o = -657 - -1521. Is 43 a factor of o?
False
Let q(v) = -v**3 - 5*v**2 - 4*v - 3. Let d be q(-4). Let u(o) = -3*o - 13. Let n be u(-6). Let k = n - d. Does 8 divide k?
True
Let h(g) = -3*g**3 - g**2 - 4*g - 10. Does 72 divide h(-5)?
True
Suppose 4*j - 6*d + 2*d = 396, 2*d - 282 = -3*j. Is j a multiple of 31?
False
Suppose 28158 = 345*o - 332*o. Is o a multiple of 46?
False
Suppose 0 = -84*i + 91*i - 1827. Does 11 divide i?
False
Let n(s) = 23*s - 1. Suppose 3*p + 6 = 4*d - 22, 0 = 3*p + 2*d + 4. Let m be p/(-8)*2/1. Is 5 a factor of n(m)?
False
Let t(p) = p**2 - 9*p + 6. Let g be t(6). Let y = -18 - g. Is 22 a factor of (-88)/y*(-3 - -6)?
True
Let s(a) = -3*a + 3. Let l(o) = -5*o**3 - 2*o**2 + 3*o - 2. Let m be l(1). Is 21 a factor of s(m)?
True
Suppose o - 530 = -2*o - 5*g, g = -5*o + 854. Does 57 divide o?
False
Is 2 a factor of (-11)/(-5) - 8/(-10)?
False
Does 20 divide (-2)/22 + -7 + 30366/66?
False
Suppose -3 = -w, 5*x - 7*x + 1580 = 4*w. Is x a multiple of 8?
True
Let s be 62 - (-3 - (2 + -3)). Is (345/20)/(12/s) a multiple of 23?
True
Let p be (2 - 2) + -1 + 6/(-3). Is 3 a factor of p/(-18) - 285/(-18)?
False
Suppose -5 + 17 = -4*r. Let h = r + 22. Let v = h + -3. Is v a multiple of 16?
True
Let y(g) = g**2 - 6*g - 15. Let d be (-15)/4 - (3 + -1)/8. Is y(d) a multiple of 5?
True
Let v(r) = -2*r + 9. Let f be -8 + 0 + 0 - 84/(-21). Does 9 divide v(f)?
False
Let a(p) = -53*p + 533. Is 67 a factor of a(5)?
True
Let i(s) = -s**2 + 2*s + 2. Let b be i(-2). Let m = 10 + b. Suppose -3*f + 42 = 5*z, z - 5*f = m*z - 22. Is z a multiple of 3?
True
Suppose 5*b - 2 = 18. Suppose a = 2*l - 4*a - 345, 455 = 3*l + 5*a. Suppose b - l = -4*r. Is 11 a factor of r?
False
Is 52 a factor of 6*(-10)/240*-4*187?
False
Let d = -127 - 193. Let g be (d/30)/(2/6). Does 11 divide 12/(2*(-12)/g)?
False
Suppose 4*j = -4*c - 64, 0*c - 2*c - 3*j = 31. Let y = 12 - c. Does 3 divide y?
False
Let v = 79 + -50. Suppose -25*h - 84 = -v*h. Is 11 a factor of h?
False
Suppose 16*u + 3*p = 11*u + 3355, p = 0. Does 11 divide u?
True
Let o(n) = -n**3 - 11*n**2 - 17*n + 11. Suppose 4*t - 17 = p, 4*p + 2*t + 43 = 11. Let m be o(p). Is (-2 - 5)*-6*m a multiple of 27?
False
Suppose -1904 = -2*d - 4*o, 22*d - 19*d - 4*o = 2876. Does 41 divide d?
False
Suppose 5*l = n + 8, n + n = -4*l + 12. Does 3 divide 134/16*l + 4/16?
False
Suppose 28 = 3*i + i. Suppose -2*w = x - i + 2, 4*x + w = 20. Suppose -2*f - 2*m = -5*f + 153, 38 = f - x*m. Does 13 divide f?
False
Let c(q) = 123*q**2 - q - 1. Let u be c(2). Does 18 divide (-2 - -5)/(-12) - u/(-4)?
False
Let a = 15 - 11. Let i be (-6)/a*(1 - 3). Does 10 divide -156*(-2 - (-5)/i)?
False
Let b(m) = 6*m**2 - 5*m + 3. Let k = 11 - 1. Let a = k - 7. Is b(a) a multiple of 14?
True
Let j(u) = -u**2 - 4*u + 2. Let v be j(-4). Suppose -3*f = -v*s - 3, 5*f - 4 = -4*s + 1. Suppose 2