s q a multiple of 28?
True
Suppose 6*y - 8*y = -34. Suppose 2*n - y = -23. Is 48 - (2 + n + 3) a multiple of 16?
False
Let l = 3 - 1. Let m be -341 - 3/(l - 5). Is (-2)/(-5) - m/25 a multiple of 4?
False
Suppose -6*w = -37 - 137. Let m = 83 - w. Is 9 a factor of m?
True
Suppose -9*t = -419 - 256. Suppose 72*p - t*p = -390. Is p a multiple of 26?
True
Let b(k) = 10*k**2 + 3*k**2 - 12*k**2 - 22*k**3 - 1. Let r be 1 - (0 - (-1 + -1)). Does 10 divide b(r)?
False
Let h(o) = o**3 + 7*o**2 + 4*o - 4. Let x be h(-6). Suppose 4*d = x*d. Suppose d*c = -2*c + 68. Is 28 a factor of c?
False
Let z be -9 - (-1)/(4/12). Let g be 9/(-54) - (-101)/z. Let v(t) = -t**3 - 18*t**2 - 18*t + 4. Is v(g) a multiple of 12?
False
Suppose 0 = f + 4*i - 378, 4*i - 1512 = -4*f - 0*i. Is f a multiple of 54?
True
Suppose -860 + 275 = -q. Does 45 divide q?
True
Suppose -2*o + 3031 = -5*t - 5330, o - t = 4185. Does 12 divide o?
True
Let b(s) = -s**3 - s**2 + 3*s - 4. Let c be b(-3). Suppose 2*r + c*f = -r - 13, 0 = -4*r - 4*f - 4. Suppose 2*h + r - 128 = 0. Is h a multiple of 16?
False
Let k(h) = -h**2 + 25*h - 3. Is 36 a factor of k(14)?
False
Let a(k) be the second derivative of 7*k**4/12 - k**3/2 + 7*k**2/2 - 12*k. Let n(g) be the first derivative of a(g). Does 9 divide n(2)?
False
Let g(b) = 0 + 31*b + 0. Let v = 38 + -37. Does 17 divide g(v)?
False
Let y(w) = w**3 + 8*w**2 + 8*w. Suppose 2*f + 4*t = 0, 2*f + 3*f = -2*t - 24. Is 15 a factor of y(f)?
False
Suppose -2*h = y + h - 8, -h = -y. Let u be -7 + 9 + -1*y. Suppose u = 23*r - 27*r + 140. Is r a multiple of 9?
False
Let g(q) = 11*q**2 - 31*q - 14. Let k(a) = -5*a**2 + 16*a + 7. Let w(c) = -6*g(c) - 13*k(c). Does 6 divide w(-19)?
False
Suppose k = -o + 9, 2*o - 15 = -5*k + 3*o. Does 16 divide 1/k - (-254)/8?
True
Let y(b) = b**3 + 5*b**2 + b. Let h be y(-5). Let l be ((-81)/h)/(14/70). Let a = l + -55. Is a a multiple of 21?
False
Let g(f) = -2*f**3 + 70*f**2 + 39*f + 42. Is g(35) a multiple of 42?
False
Let i be (-48)/(-18)*(-9)/(-4). Let p(a) = 2*a**3 - 7*a**2 + 7*a + 3. Let c be p(i). Suppose 4*g = 4, g - c = -5*w - 4*g. Is 22 a factor of w?
True
Let j be -10*(-2)/(-4)*7. Let w be 2/3 + j/21. Is 20 a factor of w/(-2)*(-2 - -108)?
False
Suppose 0 = 4*y, l - 2*l = -y - 985. Suppose 4*s + 5*v - 775 = 0, -l = -5*s - v - 2*v. Is s a multiple of 50?
True
Let z(v) = v**2 - 7*v + 5. Let d be z(4). Let f = -4 - d. Suppose f*h - 2*a - 91 = 2*h, 0 = -3*h + 3*a + 261. Does 15 divide h?
False
Suppose 7 = 4*c + 11. Does 11 divide 528/16 - (-1 - c)?
True
Suppose 4*p = 7 + 5. Let g(y) = 3*y**2 - y. Let b be g(1). Suppose -b*v - p*v + 140 = 0. Is 7 a factor of v?
True
Let v(p) = -p**2 - 2. Let t be v(-3). Let f = 40 + t. Is 11 a factor of f?
False
Let r(u) = 10*u - 10. Let d be r(11). Is 17 a factor of d + 5*(-2)/(-5)?
True
Suppose -3*v - 96 = -2*v - 3*o, 4*v - 4*o = -376. Let r = v + 158. Is 14 a factor of r?
False
Let d(l) = -8*l - 15. Suppose 0 = -5*g - 3*y - 24, 0*g - g - 3*y = 0. Is 9 a factor of d(g)?
False
Suppose -5*k + 5*i + 10 = 0, 0*k - 4*k + 14 = -i. Is 3 a factor of (-5*24/k)/(-2)?
True
Suppose -4*r = -0 - 8. Suppose -4*q + 639 = 3*b, -b = 7*q - r*q - 796. Is 19 a factor of q?
False
Suppose -h + 8 = 2*s - 3, 0 = -3*h + 2*s + 1. Suppose 8 = -h*a + 143. Is a a multiple of 15?
True
Let f = 656 - 505. Does 48 divide f?
False
Let a be 2/1 - (5 - 2). Let o(v) = 38*v + 6. Let w(m) = -25*m - 4. Let r(x) = -5*o(x) - 7*w(x). Does 4 divide r(a)?
False
Suppose -2*x + 3*x = 0. Suppose -8 = -2*b, l = -x*l - 5*b - 49. Let o = l - -114. Is 15 a factor of o?
True
Suppose -3*z = 2*s - 2671 - 192, -s - z = -1429. Is 98 a factor of s?
False
Let s(h) = 3*h**3 - 2*h - 1. Let a be s(-1). Does 6 divide (1 - -2)*a*(-14)/2?
True
Let p(b) = -b**2 + 8*b - 8. Let q be p(2). Suppose 3*d - 188 = -4*n + 88, -q*n + 3*d = -300. Is n a multiple of 9?
True
Suppose 39*s - 104706 = 12*s. Is s a multiple of 14?
True
Suppose 0 = -n + 5*n + g - 34, -n = -4*g. Suppose -5*k - q + 296 = 22, 8 = 2*q. Suppose n*b - 11*b + k = 0. Does 9 divide b?
True
Let n = 66 - -112. Is 20 a factor of n?
False
Is 383 - (19/(-133) - (-20)/(-7)) a multiple of 57?
False
Let a = 23 - 19. Suppose 0 = a*i - 4. Suppose -6 = -o - i. Is o a multiple of 5?
True
Let n(r) be the first derivative of -r**3/3 + 11*r**2/2 + 32*r - 50. Is n(7) a multiple of 4?
True
Let y = -47 + 53. Let t(u) = -u**2 + 7*u + 8. Is 12 a factor of t(y)?
False
Suppose -3*s + 282 = 2*n - 0*n, -n = s - 95. Suppose -70 - 194 = -2*c. Suppose s = 4*d - c. Is d a multiple of 14?
True
Let l(s) = -887*s + 87. Is 27 a factor of l(-3)?
False
Suppose -h = -5*h + 372. Does 13 divide 6/(-9)*3 + h/1?
True
Suppose -4*z = -22 + 6. Suppose -125 = -z*p - p - 5*i, -5*p + 121 = 3*i. Does 9 divide p?
False
Let n(z) = -z**3 + 10*z**2 - 14*z + 15. Let w be n(10). Let k = -45 - w. Does 16 divide k?
True
Let d(u) be the third derivative of -u**6/120 + u**5/6 + u**4/6 - 3*u**3/2 + 10*u**2. Does 29 divide d(10)?
False
Suppose 0*z = 3*z + g - 415, 12 = 3*g. Suppose -z - 123 = 2*m. Let c = -60 - m. Is c a multiple of 21?
False
Suppose 0 = -18*g + 15*g - 24. Suppose -5*v - 5*t = -40, -t + 5*t + 64 = 4*v. Let k = g + v. Is k a multiple of 2?
True
Let a(s) = 97*s**2 + 3*s + 2. Let t = -39 + 38. Does 24 divide a(t)?
True
Suppose 1 = -4*s + 69. Let m = 14 - s. Let q = 19 + m. Is q a multiple of 8?
True
Suppose c - 3*x + 309 - 1005 = 0, -5*c + 3480 = 4*x. Is c a multiple of 58?
True
Let g(o) be the first derivative of -91/2*o**2 - 2*o + 10. Is 16 a factor of g(-1)?
False
Let v(g) = 204*g**3 + 15*g**2 - 26*g - 4. Is v(2) a multiple of 7?
False
Suppose -49*h + 49402 = -51048. Does 91 divide h?
False
Let b(r) = -4*r + 12. Let f be b(6). Let c be ((-9)/f)/((-4)/(-16)). Suppose 3*h = -2*v + 293 - 63, -5*v = -c*h + 223. Does 19 divide h?
True
Suppose -4*q + 69 = z, 27 = 2*q + 3*z - 0*z. Is 9 a factor of q?
True
Let a = -32 + 34. Suppose -a*p + 5*g = -108, -3*g + 32 = 4*p - 3*p. Does 15 divide p?
False
Let z be (-1)/(-3)*3 + -2 + 3. Suppose -155 = -5*d + z*x, 131 = d + 3*d - 3*x. Is 9 a factor of d?
False
Let c = -1920 - -4857. Does 89 divide c?
True
Let k(a) = 186*a**2 + a + 4. Let v(w) = 187*w**2 + 2*w + 5. Let o(t) = 3*k(t) - 2*v(t). Is o(1) a multiple of 37?
True
Let v = -87 - -80. Let y(s) = 2*s**2 + 9*s - 8. Is y(v) a multiple of 2?
False
Let n(l) be the third derivative of 11*l**4/24 - 31*l**3/6 + 4*l**2. Is n(8) a multiple of 19?
True
Let v(c) = c**2 - 10*c - 40. Does 5 divide v(15)?
True
Suppose 20 = -4*x, 10*x = 2*w - 299 - 525. Is 8 a factor of w?
False
Let a(o) = -o**2 + 14*o - 5. Suppose -2*y + 0*y = -20. Let b be a(y). Is 11 a factor of b + (2/(-2) - 1)?
True
Let q(l) = 145*l**2 + 9*l - 6. Is 8 a factor of q(2)?
True
Let o be -18*1/(-9)*3. Let a(v) = -v**2 + v + 2. Let g be a(o). Does 22 divide (-8)/g - 962/(-14)?
False
Suppose 3*g - g = -3*l - 4, 5*g + l = 16. Let v(m) = -m**3 + 0 + 0*m**2 + g + m**2. Is 9 a factor of v(-3)?
False
Let n = 1700 - 807. Is 76 a factor of n?
False
Suppose 116 = -3*t - 310. Let o = 97 + t. Is 6 a factor of 12/(-5)*o/6?
True
Suppose 74*b - 80*b = 1254. Let h = 428 - 119. Let r = b + h. Is 27 a factor of r?
False
Let r(w) be the first derivative of w**3/3 + 4*w**2 - 7*w - 28. Is 2 a factor of r(-9)?
True
Is (164/14)/(2/28) a multiple of 3?
False
Let q(y) = 254*y**3 - 3*y**2 + 2*y. Is q(1) a multiple of 13?
False
Let s(q) = -127*q**3 + 13*q**2 - 2*q - 1. Is 47 a factor of s(-1)?
True
Let v(a) = -a**3 - 2*a**2 - 8*a - 52. Is 98 a factor of v(-8)?
False
Suppose -3*c + 105 = -z - 146, -3*z - 6 = 0. Is 13 a factor of c?
False
Suppose -m - 11 - 8 = 4*r, m + 4 = -r. Let y = 24 + m. Let g = 41 - y. Is g a multiple of 8?
True
Suppose 5*m + 0*d + 1070 = -d, -4*m + 2*d - 856 = 0. Let x = m - -93. Is 3 a factor of (-1430)/x + (-2)/(-11)?
True
Let h = 787 + -738. Is h a multiple of 8?
False
Let o = 907 - 632. Does 52 divide o?
False
Suppose 124*p - 4680 = 115*p. Is 52 a factor of p?
True
Suppose -2*f + 3*f = -3*m + 163, 0 = -2*f - 3*m + 338. Let u = f - 79. Does 4 divide u?
True
Let d = 16 - 10. Let z = d + 25. Is z a multiple of 11?
False
Suppose 6*z - 3*z + 68 = 5*v, -3*v = 6. Let n be (z/(-6))/((-5)/(-15)). Let p = n - -18. Is p a multiple of 9?
False
Does 17 divide 0 + 10 - (-261)/3?
False
Let w = -766 - -4266. Is 140 a 