**2 + 4*y + 3. Let s(p) = -7*g(p) - 4*t(p). Let b be s(-1). Let z = 26 - b. Does 5 divide z?
False
Suppose 4*p - 12 = 0, 0*p = -3*x + p - 1014. Let r = x - -154. Let m = -110 - r. Is 27 a factor of m?
False
Let s(v) = -v**3 - 13*v**2 + 47*v - 57. Does 5 divide s(-17)?
True
Suppose 0 = -5*w - 1534 - 146. Let k = 488 + w. Does 13 divide k?
False
Suppose 1 - 9 = -4*w. Suppose 2*z - 2*c + 384 = 6*z, -376 = -4*z + w*c. Is z a multiple of 24?
False
Let y be (-40)/(-30)*(-3)/(-2). Let p(d) = 1 - 5 + d**3 - 4*d + 7*d**2 - y*d - 8. Is p(-6) a multiple of 25?
False
Let q(u) = -u**2 + 7*u + 5. Let k be q(8). Let w(r) = r**3 + 2*r**2 - 7*r + 1. Is 2 a factor of w(k)?
False
Suppose 0*s = -2*w - 5*s + 57, -5*s - 39 = -4*w. Does 5 divide (2/(-3))/(w/(-1080))?
True
Suppose -4*y = -2*r - 244, r + 246 = 4*y - 0*r. Let b(i) = 2*i**2 - 80*i - 139. Let l be b(43). Let m = l - y. Does 18 divide m?
False
Suppose 2*l = -4*z + 506, -z = -2*z - 5*l + 113. Is z a multiple of 32?
True
Let b(p) = 45*p**3 + 10*p**2 - 6*p + 7 - 24*p**3 - 22*p**3. Does 34 divide b(5)?
True
Suppose 0 = 2*s + 12*b - 14*b - 3782, 0 = -5*s - 3*b + 9423. Does 17 divide s?
True
Let b be 5 - (-1 - 0 - -104). Let n = -32 - b. Does 12 divide n?
False
Suppose -2*a - 4*a - 24 = 0. Does 6 divide (-5 - 1 - a) + 135?
False
Let j(d) = 32*d**3 + 4*d + 5. Let r(v) = -16*v**3 - 2*v - 2. Let q(g) = -3*j(g) - 7*r(g). Is 4 a factor of q(1)?
False
Let p(f) = -4*f**3 + 0*f - 5*f**3 + f + 1. Let b be ((-5)/(-10))/(15/(-6) - -2). Does 5 divide p(b)?
False
Does 66 divide (1 + 13)/((6 - -8)/2716)?
False
Let b(a) = 2*a**2 - 6*a + 30. Is 26 a factor of b(10)?
False
Let k be (-136)/(-12) + 6/9. Suppose 5*z - z = -k. Is 5 a factor of z/(6/(-38)) - 3?
False
Suppose 21*f - 288 - 21720 = 0. Is 61 a factor of f?
False
Suppose 4*h + 0*h = -168. Let c be h/(-7) - (2 - 0). Suppose -c*n = 2*n - 678. Is n a multiple of 35?
False
Let l be 80/(-35) + 4/14. Let p(o) = 2*o + 6*o**2 + 2 - 3*o**2 - 2*o**3 + 0*o**3. Is p(l) a multiple of 13?
True
Let k(u) = 3*u**2 - 25*u + 29. Is 2 a factor of k(9)?
False
Does 19 divide (2 - 1)/((-1)/(-1037))?
False
Suppose -15*i + 5906 + 3139 = 0. Does 67 divide i?
True
Suppose 0*p - p - 3*o = 20, -78 = 5*p + 4*o. Let z = -77 + 41. Let d = p - z. Is 22 a factor of d?
True
Let s be 0/(-4*4/(-16)). Suppose -5*g = d - 31, -5*g + s*g = 4*d - 169. Let b = d - 32. Is 4 a factor of b?
False
Suppose -352*n - 3875 = -357*n. Is 25 a factor of n?
True
Suppose 3*z - 4*a - 861 = 0, -z = -a - 0*a - 286. Does 19 divide z?
False
Suppose -82*i + 78*i = -11248. Is 22 a factor of i?
False
Let c(a) = 61*a**2 + 9*a - 8. Is c(1) a multiple of 31?
True
Does 42 divide -7 + (-2313)/(-27)*30?
False
Suppose 20 + 8 = 4*c + 4*p, 4*p = -c + 19. Does 2 divide c?
False
Let n(p) = -110*p - 32. Let d(y) = -y - 1. Let m(w) = -3*d(w) + n(w). Is 12 a factor of m(-3)?
False
Suppose 5*g = 2*g + 882. Suppose -4*v = -4*y + 216, 5*y - g = -v - 0*v. Suppose 2*q + 16 = y. Is 5 a factor of q?
False
Suppose 8*z - 13*z + 170 = 0. Let d = -29 + z. Is 13 a factor of -3 + d - -8*3?
True
Let o(u) = -u**3 - 6*u**2 - 2*u + 9. Let t be o(-4). Is 108/5 + (-6)/t a multiple of 22?
True
Is (-6 - 54)*(-1884)/30 a multiple of 94?
False
Let v = -98 - -644. Does 37 divide v?
False
Let s = -336 - -686. Is 35 a factor of s?
True
Suppose 2*l = 6*l. Suppose -5*b - w - 39 = l, -2*b + 4*w - 2 = w. Let g(c) = c**3 + 6*c**2 - 9*c - 8. Is g(b) a multiple of 6?
True
Let k be -4 + (-4 - 4)/4. Let m be 3*(-3)/(k - -3). Is ((-17)/m)/(3/(-45)) a multiple of 17?
True
Let r be -5*(-2 + (366/(-5) - 0)). Suppose x = -5*h + r, -2*h + 0*h = -4*x - 146. Does 7 divide h?
False
Let l(y) = y**3. Let w(o) = -5*o**3 - 9*o**2 - o + 3. Let s(d) = -6*l(d) - w(d). Suppose -3*v + 2*g = -16, 0 = 4*v - g + 22 - 50. Does 16 divide s(v)?
False
Let l(f) = 3*f**2 - 1. Let x be l(-1). Suppose 1469*h = 1494*h + 50. Let j = x - h. Is j a multiple of 4?
True
Let o(p) be the first derivative of p**4/4 + p**3/3 - p**2/2 + 10*p + 1. Does 5 divide o(0)?
True
Let w(q) = -3*q**2 + 15*q + 7. Let v be w(12). Let a = -124 - v. Is a a multiple of 31?
False
Let w = -13 - -15. Is (-3 - (-1 + w)) + 46 a multiple of 13?
False
Let s(q) = -q + 9. Let t be s(18). Is 6/t - (-376)/6 a multiple of 31?
True
Suppose -a + 3 = -4*v, -2*a = -2*v - 0*a - 6. Suppose -2*z - z = v. Suppose z = 8*t - 6*t - 22. Does 6 divide t?
False
Suppose 3*g - 5056 = -5*r + 7*g, 5*r - 5059 = g. Does 44 divide r?
True
Suppose 3*w - 17 = -2*o, 2*o - 18 = -4*w - 0*w. Let y = 19 - 10. Let g = o + y. Is 16 a factor of g?
True
Let a(l) = l - 1. Let u(m) = 88*m**2 + 2*m. Let y(d) = a(d) + u(d). Is y(1) a multiple of 6?
True
Let j(m) be the first derivative of -m**2 - 7*m + 2. Let l be j(-9). Let x = l - -10. Does 8 divide x?
False
Suppose -4*c + 14 = -2*b, -2*b + 3 = -3*b + c. Let m be 3/((-2)/(-6)*b). Suppose 0 = r - m - 4. Is 13 a factor of r?
True
Suppose 5*g - 324 = 2*t, 5*t - 4*g = -9*g - 810. Let a = t + 246. Is a a multiple of 26?
False
Let u(r) be the third derivative of -3*r**4/4 + 2*r**3 - 14*r**2. Is u(-4) a multiple of 14?
True
Does 9 divide ((-14005)/(-45))/1 - (-6)/(-27)?
False
Let b = 16 + -10. Suppose -m - b*m = -1127. Does 9 divide m?
False
Let x(g) = 523*g**3 + 4*g**2 - 4*g + 2. Is 15 a factor of x(1)?
True
Let a(x) = -x**2 - 6*x - 2. Let b(c) = 1 + 0*c**2 - 6 + c + c**2. Let n be b(0). Is a(n) even?
False
Suppose 0 = -n + 4*n + 45. Let a = -9 - n. Suppose 5*c + 3*h = a*h + 235, 5*c - h - 225 = 0. Is 19 a factor of c?
False
Let q(j) = -2*j**2 + 4*j. Let n be q(6). Let k(y) = 6*y + 7. Let v be k(-5). Let p = v - n. Is p a multiple of 15?
False
Suppose 4*a - 7631 = -5*x + a, 5*x = -5*a + 7635. Is x a multiple of 11?
False
Let f be 4/(-14) + (-2532)/(-42). Suppose 0 = -11*n + 9*n + f. Is n a multiple of 6?
True
Let f = -30 - -32. Suppose -h + 3*h = 3*d - 75, 0 = -2*d + f*h + 52. Does 3 divide d?
False
Let o(s) = -s**3 - 1 - 4*s**2 - 16*s + 6 - 6*s**2. Let m be o(-8). Suppose -232 + 32 = -m*x. Is 40 a factor of x?
True
Let z(k) = k**2 - 5*k - 3. Let l be z(7). Suppose -5*u + 17 = -0*u - 2*a, -l = -3*u + a. Suppose -u*x + 2*b + 130 = 4*b, -3*x + b + 78 = 0. Does 13 divide x?
True
Suppose -29*v + 31*v - 494 = 0. Does 19 divide v?
True
Let u(d) = 13*d - 47. Does 5 divide u(4)?
True
Suppose 0 = -5*p - r + 2*r - 385, 0 = -4*p - 3*r - 327. Let l = -50 - p. Suppose y - l = 2. Is y a multiple of 5?
True
Suppose r - 5*c + 5 = 2*r, -c = -4*r - 1. Suppose -2*z - a - 59 = r, -4*z - 2*a + a = 121. Let k = -17 - z. Is 10 a factor of k?
False
Suppose 6*j - 2*j - 96 = 0. Let g = j + -20. Suppose -38 = -g*b + 38. Is b a multiple of 10?
False
Suppose -5*t + 3*t = 6. Let b = 10 + t. Let w(v) = 12*v - 4. Is 16 a factor of w(b)?
True
Let f(a) = 2*a**2 - 26*a + 125. Is 3 a factor of f(11)?
True
Let s(v) be the third derivative of 11*v**5/60 - 13*v**4/24 - v**3/6 - 12*v**2. Does 10 divide s(-3)?
False
Let g(a) = a**2 + 11*a - 15. Suppose 4*q - 14 = 2, -3*q + 28 = 4*f. Suppose 23 = -f*v - 29. Is g(v) a multiple of 4?
False
Let t be (-4)/10 + 1114/10 + -3. Suppose -4*h + 5*b + 435 = 0, -2*h = -h - b - t. Does 35 divide h?
True
Let p be ((-108)/81)/(1/(-48)). Is 5 a factor of p/2 - ((-32)/(-4) - 4)?
False
Let q(i) be the second derivative of i**3/6 - 3*i**2/2 + 3*i. Let x be q(5). Suppose 3*u - 7 = x*u. Is 7 a factor of u?
True
Let b(l) = l**3 - 15*l**2 - 14*l - 28. Let u be b(16). Suppose -216 = -10*y + u*y. Is 36 a factor of y?
True
Suppose 5*r = -2*f + 1437, 8*f = -3*r + 7*f + 863. Suppose -899 = -6*l + r. Is l a multiple of 9?
True
Suppose -2*r = 40*r - 9030. Is 5 a factor of r?
True
Suppose -3 = 3*v - 6. Suppose -m - 2 = v, h = 3*m + 79. Does 10 divide h?
True
Let j = 818 - 646. Is j a multiple of 75?
False
Let s(z) = z**2 - 8*z - 28. Let b be (51/(-34))/((-1)/8). Is 5 a factor of s(b)?
True
Suppose 2*s + 5*x = 1012, s + 1518 = 4*s - x. Is s a multiple of 23?
True
Let g be (-1005)/30 - 1/(-2). Let i be -1 - g/(0 + -3). Does 8 divide (-26)/(3/i*2)?
False
Suppose -2*o = 5 - 1. Let f = 20 - 42. Let w = o - f. Is w a multiple of 10?
True
Suppose q + t = -1, q + 2*t - 5*t - 19 = 0. Suppose -5*f + 5*d - 2*d = -419, 0 = q*d - 8. Does 17 divide f?
True
Let i(t) = t**3 + 6*t**2 + t + 13. Let h be i(-6). Is (-23)/(-1) + (-14)/h a multiple of 2?
False
Let r(t) = 13*t