1*b = -66*b + 630. Is 7 a factor of b?
True
Let n(c) = 4*c**2 + 5*c + 16. Suppose 0 = -10*s + 2*s - 40. Does 7 divide n(s)?
True
Let z(d) = d**2 + 3*d. Let f be z(-4). Suppose 5*y = 8 - 28, f*q + y - 60 = 0. Does 4 divide q?
True
Let x(b) = 5*b**2 + 3*b - 8. Let g(s) = 10*s**2 + 6*s - 15. Let t(q) = 3*g(q) - 5*x(q). Does 25 divide t(5)?
False
Suppose -n = 4*w - 11, 2*w + w = -n + 8. Suppose 5*v - w*v = 130. Suppose 2*k - v - 43 = 0. Does 27 divide k?
True
Let r(d) = d**2 - 14*d + 9. Suppose 5*s = -5*x + 5, 0 = -2*x - 0*x - s + 2. Let g be (-68)/(-4) - x/1. Is r(g) a multiple of 22?
False
Suppose 0 = 3*j - 6, 2*q - 4*j - 3126 = -1160. Is q a multiple of 47?
True
Let f = -318 + 568. Is 25 a factor of f?
True
Let z(c) be the first derivative of -c**4/12 + c**2 - 5. Let k(s) be the second derivative of z(s). Is 13 a factor of k(-13)?
True
Let d = 971 - 773. Is d a multiple of 66?
True
Let y(r) = -r + r**3 - 4 - 6*r**2 - 2*r + 0*r**2 + 4*r. Let h be y(6). Suppose 0 = h*f + 5*j - 120, 0 = 5*f + 3*j - 7*j - 234. Does 14 divide f?
False
Let s(l) = -7*l**2 + 2*l - 3. Let t be s(3). Let w = t + 42. Does 7 divide w/45 + 117/5?
False
Let t(r) = -r**3 - 3*r**2 + r - 9. Let x be t(-5). Let p = 60 + x. Does 12 divide p?
True
Let z = 62 + -66. Let u = -4 - -5. Is 3 a factor of (-56)/(z/u) - 4?
False
Let h(r) = -r**2 + 35*r - 106. Does 28 divide h(15)?
False
Suppose -36*t - 77 = -37*t. Let c = t + -36. Is c a multiple of 9?
False
Let q(v) = 24*v**2 + 8*v + 9. Is 6 a factor of q(-4)?
False
Let t = 61 - -93. Is 22 a factor of t?
True
Let r(h) = h**3 - h**2 + h. Let l(p) = 4*p**3 - p**2 + 7*p - 6. Let t(u) = -l(u) + 5*r(u). Let k(j) = j - 3. Let c be k(8). Is t(c) a multiple of 7?
True
Is 30 a factor of (154/35 - 5)*-1590?
False
Let p(f) = 2*f + 17. Let y be p(7). Suppose -y = -j + 3*v - 12, -5*j + 107 = -3*v. Does 11 divide j?
True
Suppose -2*b - w = -3*b + 23, 3*w = 6. Suppose 2*a = -5*m + b, 5 = 4*a + 3*m - 10. Suppose a = d - 2*d + 9. Is d a multiple of 3?
True
Let i = -113 - -159. Let n(p) = -9*p - 4. Let z be n(3). Let u = i + z. Does 12 divide u?
False
Let b = 0 + 10. Let u(h) = -h + 14. Let f be u(b). Suppose -f*w + 46 = 2*s, 3 = -2*s - 3. Does 13 divide w?
True
Let h(w) = 19*w - 28. Let j be h(10). Suppose 62 + j = 4*q. Is 7 a factor of q?
True
Is 10 a factor of (-5355)/(-50) - (-10)/(-100)?
False
Let d = 546 + -201. Is d a multiple of 15?
True
Let u(n) be the third derivative of n**5/30 - n**3/2 - n**2. Let r(s) = -s**2 - 23*s + 19. Let d be r(-24). Does 14 divide u(d)?
False
Is 34/(-187) + (-12)/22*-763 a multiple of 10?
False
Let l = 46 - 84. Let j = -18 - l. Is j a multiple of 5?
True
Let n(r) = -r - 3. Let a be n(-5). Suppose -400 = -5*d - 8*m + 3*m, a*m = 0. Does 9 divide d?
False
Is (7 + (-21)/(-9))*(-21)/(-2) a multiple of 16?
False
Let n(a) = 2*a**2 - 4*a + 4. Let f be n(2). Suppose 0 = f*u - 490 - 998. Suppose -6*g + u = -0*g. Is 31 a factor of g?
True
Suppose y + 63 = -8. Suppose 0*n + 2*n - 270 = 0. Let h = y + n. Does 21 divide h?
False
Suppose -o + 3*l - 3 = 0, -5 = 2*o + 3*o - 5*l. Suppose o = -c + 4*d + 83, c - 63 - 36 = -4*d. Is 16 a factor of c?
False
Suppose 5*f - 14538 - 4542 = 0. Is 18 a factor of f?
True
Let r(y) = 73*y**3 + 2*y**2 - 2*y + 1. Let s be r(1). Suppose -s = -4*z + 14. Is (4 + -1 - z)*-1 a multiple of 6?
False
Let t = -3222 - -5601. Does 13 divide t?
True
Let k = 1243 + -1191. Is k a multiple of 4?
True
Let n(a) = 24*a**2 + 4*a + 2. Let h be n(-1). Suppose -l + h + 0 = 0. Does 11 divide l?
True
Suppose 34918 = 27*p + 7432. Does 37 divide p?
False
Let m = 314 - 153. Let d = -82 + m. Let p = -44 + d. Does 13 divide p?
False
Let g(l) = -l**2 - 2*l - 3. Let c be g(0). Is 3 a factor of (0 + (c - -2))*-13?
False
Let n(k) = 6*k**2 - k. Let f be n(1). Let s(t) = 3*t - f*t + 9 + 6*t. Does 16 divide s(8)?
False
Let c(i) = 2*i**2 + 12*i - 5. Suppose 3*q + 27 = -0*q. Let t be c(q). Suppose -113 = -4*f + o, -f + 3*o + t = f. Is f a multiple of 19?
False
Let n = 381 + -276. Does 19 divide n?
False
Suppose 8*m = 10*m - 1288. Let i = m + -356. Is 18 a factor of i?
True
Let w = -2041 + 3950. Does 83 divide w?
True
Suppose -2*n + 2 = -5*n - 2*l, 0 = 3*l + 12. Suppose -n*d = -d. Let w(g) = -g**2 + 10. Is w(d) a multiple of 5?
True
Let w(r) = 2*r**3 + 31*r**2 - 2*r + 27. Does 8 divide w(-13)?
False
Let n = -84 + 87. Suppose 0 = 2*r + n*r - 655. Does 23 divide r?
False
Is 161 a factor of (-4003062)/(-777) + (-6)/(-111)?
True
Let w(t) = 2*t + 1. Let g(m) = 38*m - 7. Let r(f) = g(f) + 3*w(f). Does 18 divide r(5)?
True
Suppose 3*z = -5*i + 3787, -2*z - 2518 = -4*z - 2*i. Does 38 divide z?
True
Let l = -14 - -22. Let z(o) = -o**3 - o**2 + o - 1. Let a(t) = 2*t**3 + 10*t**2 - t - 8. Let r(w) = -a(w) - 3*z(w). Is 11 a factor of r(l)?
False
Suppose r - 253 + 125 = 0. Let g = r - 95. Does 11 divide g?
True
Suppose -3*n = -5*i + 34, -3 = 2*n - 3*i + 20. Is 2 a factor of n/(-39) + 58/6?
True
Suppose 21 = 7*v - 4*v. Let i be (-7)/v + 1 + 2. Let a(r) = 4*r**3 + 4*r**2 - 4*r + 2. Is 21 a factor of a(i)?
True
Let m = -1275 - -4256. Does 122 divide m?
False
Let p = -1 + 7. Suppose -2*b + p*b - 20 = 0. Is 5 a factor of (b/(-2))/((-3)/18)?
True
Let c(b) = -9*b**3 + b**2 - 3*b - 1. Suppose 0 = -4*n + 4*a, 0 = 3*n - n + 3*a + 10. Does 13 divide c(n)?
False
Let d(k) = -k**2 + 37*k - 12. Is d(36) a multiple of 2?
True
Suppose -m = 2*v + 3, 3*v - 2*m - 3*m + 24 = 0. Let y = 1 - v. Suppose -4*z = k - 48, -3*z - 75 = y*k - 215. Is 16 a factor of k?
True
Suppose -3*g + 0*g + 42 = 0. Let n(b) = 3*b**2 + b - 18. Let h be n(-6). Suppose -5*j - g = -h. Does 4 divide j?
False
Suppose 127 = r + 15. Let c = -76 + r. Is c a multiple of 9?
True
Let y(c) = 5*c**3 - 1. Let a be y(1). Suppose 4*i - a - 16 = 0. Suppose i*b - 31 = -5*r + 154, -b + 157 = 4*r. Is 19 a factor of r?
False
Let b(r) = 37*r**3 + 5*r**2 + 2*r - 1. Let h be b(-1). Suppose p = -5*o + 33, 2*o + 106 = 2*p + 4*o. Let m = h + p. Does 7 divide m?
False
Let q be 6*(-35 + (-3 - -1)). Let x = -105 - q. Is x a multiple of 39?
True
Let r(o) = 3*o**3 + 7*o**2 - 6*o + 24. Does 72 divide r(8)?
False
Let x = -357 + 514. Is 20 a factor of x?
False
Let n(w) = -w**2 - 18*w + 58. Is n(-17) a multiple of 15?
True
Suppose 3*y + 2*a - 752 = -132, -5*a - 842 = -4*y. Is 63 a factor of y?
False
Suppose 0 = 16*m - 12*m - 1320. Suppose -m = 5*n - 0. Let a = n + 104. Does 8 divide a?
False
Is -3*((-10855)/3)/13 a multiple of 8?
False
Suppose 5*p + 14 + 36 = 0. Is (5/p)/(2/(-780)) + -3 a multiple of 48?
True
Suppose 0 = 2*j + 3*o - 16, -3*j + 4*o = 6 + 4. Let n(b) = -73 - b**j + 60 - 20*b + 7*b. Does 4 divide n(-9)?
False
Let o(u) = 5*u**3 + 11*u**2 + 8*u + 5. Let z(q) = -11*q**3 - 23*q**2 - 17*q - 10. Let i(k) = -13*o(k) - 6*z(k). Is i(6) a multiple of 14?
False
Suppose -5*o + 161 = -4*c, 0 = -4*o + 2*o - 3*c + 69. Let l be (-2)/3 - (-583)/o. Let d = l + -13. Is 2 a factor of d?
True
Suppose 0 = -10*p + 2630 + 440. Is p a multiple of 79?
False
Let l(p) = -2*p**2 + 40*p + 22. Is l(19) a multiple of 15?
True
Let l = 9 + -9. Suppose -3*h + 2 + 115 = l. Is 13 a factor of h?
True
Let n(j) = j**3 + 16*j**2 - 5*j + 54. Is 10 a factor of n(-12)?
True
Suppose -y + 22 = -5*h, 4*y - 8*y + 3*h = -20. Does 24 divide (-4)/y + 2 + 366/2?
False
Does 9 divide ((-20)/(-4))/(15366/3072 + -5)?
False
Let m be 860/40 + (-1)/2. Is 7 a factor of (-9)/21 + 744/m?
True
Suppose -n = -3*i - 11, -2*n = i - 6*i - 20. Suppose -4*p = -n*g + 209, g - 3*p - 43 - 1 = 0. Is 9 a factor of g?
False
Let m = 16 + 35. Suppose z + 4*s = m, 3*z = 6*z + 3*s - 153. Is 17 a factor of z?
True
Suppose -p - 125 = -601. Does 10 divide p?
False
Let m(f) = f**2 - 6*f + 6. Let n be m(5). Let x(q) = n - 2*q + 1 + 3 + q**2 + 1. Is x(5) a multiple of 9?
False
Suppose 3*g - 21 = -l + g, 0 = l - g - 9. Let y = 35 - l. Is y a multiple of 22?
True
Let r be (5 + (-174)/30)*(-861 - -1). Let n = r - 352. Does 56 divide n?
True
Suppose -9*p + 5*p = 0. Suppose s + p = -3*a + 22, 2*a = 5*s - 76. Suppose s = 3*m - 8. Does 2 divide m?
True
Let t(p) = -4*p**2 + 27. Let g(u) = 5*u**2 - 28. Let w(a) = 3*g(a) + 4*t(a). Does 8 divide w(0)?
True
Suppose s - 4 = -0*w + 4*w, 4*s - 1 = w. Let l(i) = 9*i**2 + i. Does 8 divide l(w)?
True
Suppose w = -0*w + 3. Suppose 12 = -w*z + 6*z. Does 3 divide z?
Fals