Is 8 a factor of s(-6)?
False
Is (-1)/((-8)/15264*2) a multiple of 53?
True
Let a = 254 - 209. Does 9 divide a?
True
Let x be ((-2 - -2) + 0)/3. Let y(j) = j**2 + 3. Let q be y(x). Suppose 0 = -a + q*a - 26. Is a a multiple of 13?
True
Let b be 46/10 + (-9)/15. Suppose 0 = x - b*x + 150. Let n = x + -23. Is 9 a factor of n?
True
Let u be (-3)/2*1276/(-33). Suppose -l + 26 = -3*q, -3*q - u = -3*l + 32. Is l a multiple of 8?
True
Let r(g) = -355*g - 1. Is 12 a factor of r(-1)?
False
Let s(n) = -n - 7. Let t be s(-8). Let v be 5*t + (9 - 12). Suppose v*j = -2*j + 12, 2*r = j + 159. Does 27 divide r?
True
Let v(o) = o**3 + 14*o**2 - 2*o - 19. Let h be v(-14). Let k = 9 + h. Is k a multiple of 3?
True
Let r = 37 + -53. Let z = 73 + r. Is z a multiple of 13?
False
Let p(d) = -14*d**3 - 3*d**3 + 4*d + 6*d**3 + 2 - d. Let w = -2 + 1. Does 5 divide p(w)?
True
Let i(s) = 3*s**2 - 10*s + 38. Is i(12) a multiple of 10?
True
Let m(f) be the first derivative of 5*f**2/2 - 8*f - 205. Let v(o) = o**2 + o + 8. Let g be v(0). Is m(g) a multiple of 16?
True
Let q(v) = v**3 - 14*v**2 - 19*v - 11. Is q(16) a multiple of 29?
False
Suppose -5*k = w - 3153, 2133 = 4*w - 5*k - 10554. Is w a multiple of 99?
True
Let w(u) = u**3 - 7*u**2 - 3*u - 10. Let g be w(8). Suppose 5*y + g = -2*d, -4*d + y = -3*d + 8. Does 16 divide (d/25)/((-1)/40)?
True
Let d = -597 - -173. Let v = 726 + d. Does 4 divide 16/72 - v/(-18)?
False
Let r = 223 - 118. Suppose -71 - r = -4*z. Does 17 divide z?
False
Suppose c - 76 = 2*v, -4*c + 151 + 153 = -v. Is 2 a factor of c?
True
Let c = -6130 - -8902. Does 154 divide c?
True
Let m(a) = 21*a + 59. Let c be m(-3). Let z(f) = -2*f**3 - 9*f**2 - 6*f. Let d(g) = -g**2 - g + 1. Let v(s) = -2*d(s) + z(s). Does 10 divide v(c)?
True
Let o(x) = x**2 - 2*x - 4. Let m be o(6). Let d be (-2)/8 + 65/m. Suppose 2*t + 224 = 6*t + 5*f, t = d*f + 39. Is t a multiple of 15?
False
Let l be 6 + -2 + -3 + 2. Suppose -l*z + f = z + 1, 0 = 2*z - 2*f + 2. Suppose -5*n + 20 = -z*n. Does 2 divide n?
True
Let m = 25 - 18. Suppose -3*l + m + 5 = 0. Does 15 divide (-6)/l - 365/(-10)?
False
Is 7 a factor of 347/2 - (-19)/38?
False
Suppose 2*f = -4*q - 4, 6*f - 2 = 3*f - 2*q. Let k be -5 + f + (-3 - -42). Suppose 0 = -s - 3*z + 20, 0*s - 3*s = -3*z - k. Does 14 divide s?
True
Suppose -7 + 7 = 4*y. Does 13 divide 177*1 + y/8?
False
Let o be (44/(-10))/((-8)/(-40)). Let f = -18 - o. Is 7 a factor of (-1)/(f + (-58)/14)?
True
Let h(y) = 57*y + 2. Let s be h(4). Suppose 5*p + 4*m - 384 = 0, 4*p + 2*m - s = p. Is p a multiple of 19?
True
Suppose 39*d - 62*d = -41515. Does 95 divide d?
True
Let p = 507 + -383. Is 3 a factor of p?
False
Let c(s) = -322*s**3 - s**2 + 12*s + 14. Does 19 divide c(-1)?
True
Let z(g) = g**3 - 10*g**2 + 8*g + 10. Let d be z(9). Does 16 divide ((-1)/((-1)/(-6)))/(d/(-37))?
False
Let h(v) = v**3 - 9*v**2 - 13*v - 3. Let p be h(13). Let b = -1032 + p. Is 30/(-70) + b/(-7) a multiple of 21?
False
Let u(p) = -p**3 - 40*p**2 + 62*p + 51. Is u(-42) a multiple of 25?
True
Let n be 6*(56/12)/7. Suppose -n*y + 139 + 129 = 0. Is 17 a factor of y?
False
Suppose -25*m + 23*m + 882 = -4*q, -5*q + 1345 = 3*m. Is 21 a factor of m?
False
Let d(q) = -5*q - 26. Let j be d(-6). Does 17 divide (j - 65/20)*376/2?
False
Suppose 0 = 2*b - 3033 + 293. Is b a multiple of 11?
False
Suppose 10*l - 17548 = -2348. Is 76 a factor of l?
True
Let a be (-25 - 8)/(-1 - 0 - 0). Suppose 0 = -29*s + a*s - 456. Does 19 divide s?
True
Suppose 46*a - 2412 = 43*a. Does 29 divide a?
False
Let q(c) = c**3 - 4*c**2 - 9*c + 3. Let i be q(6). Let d be 1/(-7) + 87/i. Suppose d*p = 2*n + 61 + 1, n - 65 = -4*p. Is p a multiple of 5?
False
Let x be (-1035)/(-27) - (-2)/3. Suppose x*z - 153 = 38*z. Does 51 divide z?
True
Suppose -433*r + 452*r = 7980. Is 14 a factor of r?
True
Let w be ((0 - 0) + -1)/(1/(-174)). Let a = w + -102. Does 17 divide a?
False
Let i be 1 + 2/(6/465). Suppose 4*h + 0*h - i = 0. Suppose 0 = 5*k - h - 36. Is k a multiple of 5?
True
Is 52 a factor of -6 + 375 + -2 + -3?
True
Suppose -8449 = -26*y - 1637. Is 2 a factor of y?
True
Let z = -212 + 352. Does 14 divide z?
True
Let t(q) = -90*q**2 + 3*q - 8. Let b(v) be the third derivative of v**5/2 - v**4/24 + v**3/2 - 11*v**2. Let i(u) = -11*b(u) - 4*t(u). Is 5 a factor of i(-1)?
True
Suppose 18*k - 218 = 17*k. Suppose -5*n + 19 + k = -3*v, 4*n = -v + 176. Is 12 a factor of n - -2 - (5 + -9)?
False
Suppose -2 = o + 4*n + 11, -5*o - n = -11. Suppose 0 = -4*l - o*w + 151, -3*w - 66 = -3*l + 63. Is l a multiple of 5?
True
Let m(q) = -1. Let v(a) = -a**2 - 2*a + 4. Let z(y) = 6*m(y) - v(y). Does 19 divide z(11)?
True
Suppose 90 = 5*s - 2*a, 0 = a - 2 - 3. Let y = s + -20. Suppose g + y*g = 40. Is 8 a factor of g?
True
Suppose -393*h = -399*h + 5304. Is h a multiple of 29?
False
Is 3 a factor of -1 + (-5 - -460) + (3 - -2)?
True
Let b = -216 + 1701. Is 33 a factor of b?
True
Is (-71 + 16)*(-48)/15 even?
True
Let a = 33 - 35. Let v(r) = -11*r + 1. Is 23 a factor of v(a)?
True
Let c = 1826 - 1592. Is c a multiple of 26?
True
Let n be (32/12)/(6/9). Suppose 5*i - 5 = -z, n*i + 2 = -4*z + 2*z. Is 4 a factor of 48/8*1*i?
True
Let u(m) = 3*m + 8. Let f be u(-4). Let w(k) = k**2 + 4*k + 2. Let y be w(f). Suppose 7*l - 221 = 2*l + 4*r, -90 = -2*l + y*r. Does 10 divide l?
False
Let m be 758/((-5)/(-4) + 12/16). Suppose 5*w = -4*v + m, 0*v + 3*v = 3. Is 25 a factor of w?
True
Suppose 5*x - 2655 = 2*x. Suppose -x = -9*u + 357. Does 23 divide u?
True
Let n(z) = z**2 + 6*z - 2. Let v be n(-7). Suppose 3*y + 2*k = 298, v*k + 305 = -3*y + 6*y. Is 13 a factor of y?
False
Let s(y) = y**2 - y + 5. Let t be s(7). Suppose -u - t = 2*k - 3*k, 3*k - 135 = u. Does 10 divide k?
False
Let k(f) = f + 0 - 2*f**2 + 0*f**3 - 3*f - 2 - 2*f**3. Let u(y) = -y**2 + 1. Let z be u(2). Does 12 divide k(z)?
False
Let b = -8 + 122. Is 31 a factor of b?
False
Let w be 170/(-102) - (-2)/(-2 - 4). Let s = -51 - 73. Is w/4 - s/8 a multiple of 15?
True
Does 17 divide (102/7)/(11/385)?
True
Let g be (4 - 14/4)*8. Let d(m) = 2*m**2 + 3*m - 6. Is 19 a factor of d(g)?
True
Let s(n) = 462*n + 176. Is s(7) a multiple of 22?
True
Let s = -18 + 32. Suppose -10*l = -s*l + 164. Does 18 divide l?
False
Suppose -4*t + 3*y = -1786, 3*t + 2*y - 1348 = -0*y. Is t a multiple of 16?
True
Let g be 1/3 - (-20)/12. Is (1 + 5)/(g/2) even?
True
Let n(w) = w**2 + 3*w + 2. Let z be n(-13). Suppose 2*j = 88 + z. Does 22 divide j?
True
Let y be (-18)/(-5) + 4/10. Suppose 2*r = 4*u + 34, -3*u + y*r - r - 33 = 0. Is (10/3)/(u/(-27)) a multiple of 5?
True
Let l = 31 - 24. Let r be (1248/20)/((-6)/(-20)). Suppose 0 = -11*j + l*j + r. Is j a multiple of 13?
True
Let j(r) = -3*r**2 - 16*r - 25. Let n be j(-10). Is n/(-12) + 1/4 a multiple of 5?
False
Suppose 0*r = 5*r + 45. Does 24 divide r/(-3)*-1 - -50?
False
Suppose -137 = -5*z + 33. Let x = 5 + z. Is x a multiple of 8?
False
Let v(y) = 9*y**3 - 6*y - y**2 + 0*y**2 - 4*y**3 + 2 - 4*y**3. Let c be v(3). Suppose -c*m + 20 = -12. Is 16 a factor of m?
True
Suppose 68 = 5*b + 4*d, -2*b - 4*d + 5 + 27 = 0. Suppose -b*w + 1584 + 360 = 0. Is w a multiple of 33?
False
Let y be 3/(-6)*(1 + -1). Suppose y = 7*w - 48 - 78. Is 2 a factor of w?
True
Let p be (-4)/6 + 22/6. Suppose 0 = k + u - 95, u - 220 - 61 = -p*k. Is k a multiple of 33?
False
Let x(q) = -60*q + 66. Is x(-3) a multiple of 41?
True
Let s(u) = -u**2 - 22*u - 37. Let m be s(-20). Suppose 6*i - 3*i = 15, m*i = b - 109. Is 31 a factor of b?
True
Suppose 4*n = -3*w - 105, -4*w = 5 - 25. Let z = 184 + n. Is 14 a factor of z?
True
Suppose -5*d - 5*b + 5095 = 0, 4*d - 1490 - 2586 = -b. Is d a multiple of 7?
False
Suppose 90 = r + 9*r. Does 5 divide r?
False
Let t(y) = y**3 + 7*y**2 + 8*y + 2. Let i be t(-6). Let u be -34*(-6)/(-84) + 3/7. Let z = u - i. Is z a multiple of 8?
True
Let u(i) be the third derivative of 1/30*i**5 + 0 - 3/2*i**3 - 1/6*i**4 + 0*i + 2*i**2. Is 29 a factor of u(8)?
True
Suppose 2*r + 0*p + p - 19 = 0, 2*r - 10 = 2*p. Let i(h) = 15*h + 7. Is i(r) a multiple of 14?
False
Let l be ((-15)/(-10))/((-1)/(-44)). Suppose -5*g + l = -s, -16 = -5*g + 4*s + 53. Is g a multiple of 13?
True
Suppose t - 24 = -3*t. Let m(p) = -1 - 4*p - 2 - t. Is 3 a factor of m(-6)?
True
Let h(k) = k + 11*k**2 + 1 - 3 