11). Let h be -9*(2/3)/i - 33. Let n = -5 - h. Is n a multiple of 2?
False
Let i(q) = -2*q**2 - 27*q - 8. Let w = 21 - 34. Let b be i(w). Suppose -2*z = -b*h - 159, 3*z - 82 = 2*z + 3*h. Does 10 divide z?
False
Let m = -32398 + 46566. Is 22 a factor of m?
True
Suppose 34*q = 12*q - 22. Is 17 a factor of q/(-3 + (-5860)/(-1955))?
True
Let u(d) be the third derivative of -29*d**2 + 5/3*d**3 + 1/30*d**5 + 0 + 0*d + 1/12*d**4. Is u(-7) a multiple of 38?
False
Let s be 5/((-3)/(-1) + -4). Let o be (6 - 1) + 5/s. Suppose -108 = 2*a - o*a. Is 26 a factor of a?
False
Let s = -6176 - -8170. Is s a multiple of 7?
False
Let q(c) = -2*c**3 - 8*c**2 - 2*c - 6. Let p be q(-4). Suppose 760 = p*a + 6*a. Suppose 0 = -5*f - 5*t + 410, -4*t + a = 2*f - 73. Does 25 divide f?
False
Suppose 4*v - 5*a - 40 = 0, -4*a + 61 = -3*v + 6*v. Suppose -16*x + 5 = -v*x. Suppose -3*f - 2*r + 23 = -179, -x*f + 342 = -2*r. Is 26 a factor of f?
False
Let g = 36 + -37. Let v be g - (-25)/20 - 7/(-4). Suppose p - 175 = 5*x, -v*p + 214 = 4*x - 136. Is 35 a factor of p?
True
Let y = -54 + 77. Let r = y - 13. Suppose -i + 5 + r = 0. Does 3 divide i?
True
Suppose -5*d + 5*z + 283 + 707 = 0, 5*z + 588 = 3*d. Let m = 676 - 685. Let n = d + m. Is 16 a factor of n?
True
Let o be 74/5 - 6/(-30). Let c(u) = u**3 - 14*u**2 - 37*u + 4. Let v be c(o). Let l = v - -473. Is l a multiple of 21?
True
Suppose k - 10*i + 14*i - 3268 = 0, -3*i - 6 = 0. Is 39 a factor of k?
True
Let i = 0 - -3. Suppose -5*y - n = -4*n, i*y = 3*n. Suppose -k + s = -3*s - 38, 5*k + s - 85 = y. Is 6 a factor of k?
True
Suppose -10*y = 19 + 11. Let u(m) = -78*m + 15. Does 21 divide u(y)?
False
Let q(v) = -5 + 5 + 4 + 4 - 9*v. Let o be q(4). Let l = -15 - o. Does 3 divide l?
False
Suppose h + j = 43126 - 6158, 10*j + 60 = 0. Is h a multiple of 283?
False
Suppose 0 = 2*a, -8*a = 3*w - 5*a + 126. Does 18 divide 16*(-7)/w*33?
False
Let o(q) = -q**3 - 10*q**2 - 10*q - 6. Let n be o(-9). Suppose -2*p + 764 = -4*c, n*c + 6 = c. Is 70 a factor of p?
False
Suppose 6*i + 1932 - 8868 = 0. Is 17 a factor of i?
True
Suppose -4*p + 4 = 0, -7*a + 2*p = -10*a + 74. Suppose a*y - 32*y + 1872 = 0. Is 39 a factor of y?
True
Let q(k) = -10*k**2 - 335*k + 123. Does 68 divide q(-28)?
False
Suppose 4*a + 2*i = -858, 4*a - 6*a + 3*i - 425 = 0. Let k = 257 + a. Does 16 divide k?
False
Suppose 630896 + 859088 = 123*y + 143872. Is 14 a factor of y?
False
Let h(z) = -z**3 + 9*z**2 - 10*z - 14. Let v(c) = 14*c**2 - 27 - c**3 - 27 - 13*c + 60. Let y be v(13). Does 24 divide h(y)?
False
Let g(m) = 90*m - 4 + m**2 + 50 - 162*m + 84*m. Is g(-26) a multiple of 25?
False
Suppose 3*u - 256 - 1727 = -5*b, b + 669 = u. Suppose -5*y = -2*k + 1203, 1704 = 4*k + 2*y - u. Does 6 divide k?
True
Let k be (-31)/(-3) + 3 - (-6)/(-18). Let f = 82 + k. Is 12 a factor of f?
False
Let g(x) = x**2 - 5*x + 4. Let m be g(2). Is 18 a factor of (1554/(-35) - m)*-10?
False
Let u = 407 - -454. Is 21 a factor of u?
True
Suppose 2*n + 7 - 17 = 0. Suppose 27 = -r + n. Is 1/2 + (-2299)/r a multiple of 9?
False
Suppose -2884*y = -2883*y - 17513. Is 83 a factor of y?
True
Is -5 + ((-3)/12 - (-325686)/24) a multiple of 15?
False
Let c = -12 - -356. Suppose -g + 113 = r, r + c = 4*r - 2*g. Suppose -r = -2*j - 5*u + 57, -420 = -5*j - 5*u. Does 8 divide j?
False
Let j be 5 + (-14 - -9 - 2/(-1)). Suppose -j*f + 2*q + q - 31 = 0, -5*f = 2*q + 30. Let p(y) = -2*y**3 - 13*y**2 - y - 15. Is 12 a factor of p(f)?
False
Let c(u) = u + 20 - 18 - 8*u + 15. Let a(x) = -12*x + 35. Let p(q) = 3*a(q) - 5*c(q). Does 5 divide p(-6)?
False
Let m(y) = -6*y**3 + 3*y**2 + 3*y - 4. Let l be (0 - -69)*15/(-45). Let j = l + 20. Does 22 divide m(j)?
True
Let u(i) = -i**2 - 5*i + 8. Let q be u(-5). Let s = q + -5. Suppose -r = -4*f + 61, 0 = -s*f - r + 6*r + 67. Is f a multiple of 8?
False
Let k = -1946 - -9353. Is k a multiple of 9?
True
Suppose -r + 1 = -11. Let b(o) = -15*o + 80. Let a be b(5). Suppose 2*u - a*m = 39, 0 = 5*m - m - r. Does 11 divide u?
False
Let s(c) = 476*c**2 - 9*c - 124. Does 21 divide s(-9)?
False
Suppose -3*u + 3 = 0, y - 10*u - 157 = -5*u. Let v(f) = f + 1. Let j be v(5). Suppose -j*x - y = -9*x. Is 18 a factor of x?
True
Let m = 42772 - 22839. Is m a multiple of 146?
False
Suppose 14*j + 5 = 15*j. Suppose -9*s + 336 = -j*s. Does 7 divide s?
True
Let s(a) = 6*a**2 - 15*a + 4*a**2 - 22 + 8 - 9*a**2. Does 5 divide s(-8)?
True
Let v(d) = 26*d - 104. Suppose -12 = -z - 3*h + 16, 90 = 5*z + 5*h. Is v(z) a multiple of 26?
True
Let k(y) = -2*y**3 - 15*y**2 + 6*y - 23. Let m be k(-11). Let l = m - 436. Does 12 divide ((-2)/(-5))/(l/160 - 2)?
False
Let i = 326 - 323. Is (0 - -825)*i/3 a multiple of 19?
False
Let w(u) = -3*u - 51. Suppose 5*q = 216 - 321. Let y be w(q). Suppose 0 = -y*t - t + 351. Is 3 a factor of t?
True
Let j = -106 - -208. Let r = 48 - j. Let f = 56 - r. Is f a multiple of 10?
True
Let x(h) = 491*h + 1959. Is x(29) a multiple of 26?
True
Suppose 354*z - 427377 = -367231 + 1049644. Does 19 divide z?
True
Let f be 12248/(-25) - -11*26/(-3575). Let c = 910 + f. Is c a multiple of 21?
True
Does 31 divide (-124)/(-10)*225*(-126)/(-27)?
True
Let n be ((-243)/6)/(2/(-4)). Let b = n - -99. Is b a multiple of 6?
True
Suppose -7440 = -11*b - b. Suppose -87*x = -89*x + b. Is 31 a factor of x?
True
Suppose 21 - 7 = 2*s. Let d be 6*(30/7)/(1/s). Let x = d + -19. Is x a multiple of 32?
False
Does 193 divide (-127374)/(-12) - ((-24)/16)/3?
True
Does 13 divide -2 + 29/(232/54408)?
True
Let u = 186 + -188. Does 37 divide (u - 26/(-10)) + 11785/25?
False
Suppose 5*j + w = -77, 0 = 19*w - 14*w + 10. Let s(b) = 3*b**2 + 41*b - 4. Let g(f) = -6*f**2 - 83*f + 9. Let r(z) = 4*g(z) + 9*s(z). Is r(j) a multiple of 15?
True
Suppose 16*u = 20*u - 380. Suppose u = q - 235. Does 22 divide q?
True
Suppose 5*d - 51 = 89. Let y be 8/d*(-14)/(-1). Suppose 0 = l + w - 112, -6*l - y*w = -3*l - 335. Is l a multiple of 13?
False
Is 32 a factor of (-1289010)/(-210) - 36/(-42)?
False
Let t(l) = 2*l**2 - 9*l - 24. Let q(g) = -g**3 + 2*g**2 + 8*g - 5. Let s be q(4). Let h be t(s). Suppose -f + 165 = p, f = p - 100 - h. Does 21 divide p?
True
Is 25 a factor of (32/12)/(24/4482)?
False
Suppose -q + 4*d = -270, -4*q - d = -5*d - 1044. Suppose 2*l = 5*k - q, -k - 4*l + 212 = 3*k. Does 2 divide k?
True
Suppose -289 = -4*o - f, -5*o + 361 = -0*o + f. Suppose -3*x = -11*a + 14*a - o, -2*x + 72 = 3*a. Is 24 a factor of a?
True
Let h be (4 + -1)*(-3)/((-15)/1810). Suppose 2*u - h = -3*y, 734 = 2*y + 23*u - 25*u. Is 13 a factor of y?
True
Let x(f) = f**3 + 19*f**2 - 32*f - 16. Suppose -4*t + 316 = 4*l, -2*l + 4*t + 161 = 3*t. Suppose -2*y - l = 2*y. Does 28 divide x(y)?
True
Let f = -265 + 268. Suppose -2820 = -5*g + f*o, 4*g = -o + 1015 + 1241. Does 26 divide g?
False
Suppose -3*u + 335 = 2. Let l = u - -110. Is l a multiple of 12?
False
Let b(m) = 3*m + 97. Let h be b(30). Let w = h - 42. Is w a multiple of 29?
True
Let z(v) = 6*v + 12. Let k be z(10). Suppose -4*a + 246 = -5*n, 5*a + 2*n + 71 - 395 = 0. Let g = k + a. Does 18 divide g?
False
Let r = -12108 - -12684. Is 24 a factor of r?
True
Let f(j) = 29*j**2 + 2*j + 3. Let c be f(-1). Let l be 4/c + 10836/(-270). Let t = 94 + l. Is 27 a factor of t?
True
Let c be (109 - 1)/(4 + -3). Let v = c - 40. Suppose -j = v - 175. Is j a multiple of 16?
False
Let o be 3/(-1 - 60/(-57)). Suppose 0 = -x + 159 - o. Suppose 0 = -4*d - d - 3*t + 475, -2*t + x = d. Does 23 divide d?
True
Let w be 0*((-3)/15 + 9/(-30)). Suppose -7*t + 4*t - 4*v = -106, 3*t + v - 112 = w. Suppose 3*g + 0 = -c + 9, 3*c - t = 2*g. Is c a multiple of 3?
True
Is 36 a factor of -480*-2*(-33)/(-44)?
True
Let o(i) = i**2 + 11*i + 2. Let d be o(-11). Does 19 divide (d*2 + -13 + 28)*16?
True
Suppose -8*l = -5 - 19. Suppose -1998 = -3*s + 2*j, s + 2*j = -l*j + 683. Is 16 a factor of s?
False
Suppose 0 = 66*i - 26*i - 250800. Does 15 divide i?
True
Let f = 41660 + -31232. Does 66 divide f?
True
Let m be (-1 - -2 - 0)*43. Suppose -4 = 4*j, 0 = n + 3*j - 47 - 53. Let p = n - m. Is p a multiple of 12?
True
Let x(o) be the first derivative of o**3/3 + 18*o**2 + 7*o - 119. Is 46 a factor of x(13)?
True
Let c = -1444 - -6162. Suppose 0 = -18*g + 6136 + c. Is g a multiple of 20?
False
Suppose -236911 + 296963 = -63*j + 9