False
Let d(u) = -4*u - 29. Let a be d(-7). Let l(q) = -80*q**3 - q**2 - q. Is l(a) a multiple of 16?
True
Let c = 37 + -25. Suppose 71 = b + c. Let w = -31 + b. Is 14 a factor of w?
True
Let u be (-2)/(20/6) - (-13)/5. Is 3 a factor of ((-3)/u + 3)*6 + -2?
False
Suppose 3*i = 4*i + 3*l - 810, l + 3 = 0. Does 3 divide ((-1)/3)/((-7)/i)?
True
Let u = -452 + 686. Is u a multiple of 6?
True
Suppose 0*p = 4*i - 3*p - 57, 5*i - 4*p = 72. Suppose -4*g - 16 = -4*m, -g + 3*m = 8*m + 22. Let r = i + g. Is 2 a factor of r?
False
Let t be 2704/64 - 1*(-2)/(-8). Let h = 84 - t. Is 7 a factor of h?
True
Let y = -12 + 248. Is 17 a factor of y?
False
Let l = 128 + -99. Is l even?
False
Let y = -32 - -21. Let m(q) = -q**3 - 11*q**2 - 3*q + 9. Is 23 a factor of m(y)?
False
Let m be (-42)/4*552/(-9). Let f = m + -256. Is f a multiple of 46?
False
Let k(z) = -112*z + 8. Is k(-12) a multiple of 20?
False
Suppose f = -3*z + 462 + 73, -1075 = -2*f - 5*z. Is 8 a factor of f?
False
Suppose 483 = -4*r - 21. Let s = -116 - r. Is 10 a factor of s?
True
Suppose 2*a - 164 - 51 = 5*k, -2*a = 2*k - 222. Is (1 + 0)*(-2 + a) a multiple of 18?
True
Let c = 60 - 56. Suppose 419 = c*f - 45. Is 11 a factor of f?
False
Let l = -678 + 750. Is l even?
True
Let y be 0 - (-4 + 0*3/(-9)). Suppose 3*a + y*a = 616. Does 12 divide a?
False
Let w(j) = -2 + 2 + 1 + 1 - j. Let f be w(-7). Let m(p) = -p**3 + 9*p**2 + 2*p - 5. Does 7 divide m(f)?
False
Let f be 12/(-16)*(-8)/6. Is 3 a factor of (18/30)/(f/25)?
True
Let t = 34 + 1. Suppose -285 = 3*a - 210. Let i = t + a. Is i a multiple of 10?
True
Suppose -3*n = -2*j - 37, -5*n + 61 = -0*n - 3*j. Suppose 24*y - 288 = 8*y. Suppose h - y = n. Is h a multiple of 10?
False
Suppose -h = 2*o - 323, -4*o + 54 = -3*h - 577. Does 21 divide o*1/((-5)/(-4))?
False
Let n(l) be the third derivative of l**6/120 - l**5/6 - l**4/8 - 2*l**3 + 10*l**2. Is n(11) a multiple of 19?
True
Let f be 8/(-2)*(2 + 0)/4. Is 13 a factor of 1632/54 + f/9?
False
Let j = -117 + 124. Is j a multiple of 5?
False
Suppose -2*a + 14 = -g, 0 = -5*a - 4*g + 8 + 1. Suppose 2 = -4*i - 4*s + 22, 0 = a*i - 3*s - 1. Let f(z) = z**2 - z + 1. Does 2 divide f(i)?
False
Let h be (-28)/(-49) - (-31)/7. Suppose h*t + 5 - 80 = -2*b, 5*b - 45 = -3*t. Is 4 a factor of t?
False
Suppose -41846 - 7654 = -110*m. Does 75 divide m?
True
Suppose 8*q + 6 = 11*q. Suppose i - q - 30 = 2*n, 2*n = -i + 40. Does 5 divide i?
False
Suppose -b + 6 = 3. Let d(m) = -m**3 - 6*m**2 + 29*m + 16. Let c be d(-9). Is (c + b)/2*24 a multiple of 10?
False
Let t = 212 + -208. Let w(i) = 6*i**2 + 1 - 2*i**3 - 5*i + 0*i + i**3. Is 10 a factor of w(t)?
False
Let a = -76 - -136. Suppose 0 = -5*w + 125 + a. Is w a multiple of 20?
False
Let a = -1560 + 2408. Is a a multiple of 4?
True
Does 40 divide -1 - -1009 - (-1 + (-10 - -19))?
True
Let w be 0*(1 + -1 + -1). Suppose 0*s - 5*s + 755 = w. Is 28 a factor of s?
False
Suppose 1344 - 69 = -5*j. Let s be 8/6*j/(-10). Suppose 2*i = 4*i - s. Is i a multiple of 17?
True
Let i be ((-3)/2)/((-3)/8). Suppose 2*j = 4*j + i*t - 22, -2*j + t + 27 = 0. Is 3 a factor of j?
False
Let o(x) = x**3 - 13*x**2 - 9*x + 15. Let b be o(14). Suppose 0 = -61*p + 66*p - b. Does 7 divide p?
False
Let m be 9/(-3) - (-24)/4. Suppose -5*g = -m*w - 734, -4*w - 49 + 205 = g. Does 17 divide g?
False
Let l = 619 - 385. Is 9 a factor of l?
True
Let x(i) = i**2 + 8*i - 4. Let m be x(-5). Let s be (-16)/(-24) + (-64)/6. Let y = s - m. Is y a multiple of 9?
True
Let t = 97 - 105. Is 29 a factor of ((-14)/t)/(6/408)?
False
Let l(u) = 46*u + 106. Is l(9) a multiple of 26?
True
Let x be 0 + 3/(0 - -1). Suppose 0 = x*p + 2*m - m - 184, -4*m = -2*p + 104. Is p a multiple of 10?
True
Suppose 0 = -2*h + 36 - 28. Suppose -3*r + 196 = -h*w + 14, 4*r - 222 = -5*w. Does 4 divide r?
False
Let v = 143 + 229. Is v a multiple of 31?
True
Let z be ((-10)/(-15))/(2/9). Let r = z - -2. Suppose -5*b + r*m = -75, 5*b = -2*m + 41 - 1. Is b a multiple of 3?
False
Let o be ((-168)/(-98))/(4/(-42)). Let l = o - -42. Does 8 divide l?
True
Suppose 9*b - 10224 = -2871. Does 16 divide b?
False
Let f = -721 + 393. Let w = 480 + f. Is w a multiple of 19?
True
Suppose 3*d - d - m - 8 = 0, 11 = 5*d + 2*m. Let j be -2 + d - (-18)/6. Suppose -j*g + 167 = -13. Is g a multiple of 15?
True
Let b be (-6)/(-3)*5/2. Suppose -b*k + 478 - 63 = 0. Is 27 a factor of k?
False
Suppose -3*h = 3*b - 102, -4*h - 118 = -4*b + h. Suppose b*w - 35 = 31*w. Does 13 divide w?
False
Let w be ((-1)/3)/(4/12). Does 13 divide 66*w*(-3)/9?
False
Let w(v) = -v**2 + 18*v - 23. Let i be w(16). Let t be 569/i - (-6)/(-27). Suppose t = 2*j - 21. Is j a multiple of 14?
True
Let z(a) = a**3 + 6*a**2 - 2*a. Let r be z(-5). Suppose 3*q - 3 + r = 2*j, j + 5*q = 16. Suppose -j = -3*f - 1. Is 2 a factor of f?
False
Let q(r) = 101*r**2 + 2*r - 1. Let n(p) be the first derivative of -p**2/2 + 3*p + 7. Let a be n(2). Is q(a) a multiple of 34?
True
Let y(r) = 6*r**2 + 14*r + 21. Let n be y(-5). Suppose u - 3*u + 3*c - 76 = 0, 3*c = -2*u - 76. Let v = n + u. Is 19 a factor of v?
False
Suppose 0 = 9*w - 5512 - 3128. Does 24 divide w?
True
Let d(k) = 12*k + 5. Let a(c) = 6*c + 3. Let r(q) = 10*a(q) - 6*d(q). Is 12 a factor of r(-3)?
True
Is 7 a factor of (8 - 38/4)/(1/(-60))?
False
Does 19 divide 1144 + ((-16)/(-6))/((-12)/18)?
True
Suppose -118 = -x + 2. Suppose -h - 3*v - 3 = -x, 4*h = v + 507. Let a = h - 72. Does 11 divide a?
False
Suppose 0*b + 3*a + 23 = -b, 0 = b + 5*a + 21. Suppose 9*u = 11*u + 18. Does 15 divide (u/3)/1 - b?
False
Is 52 a factor of 5 + (-3 - (-1 - 123))?
False
Let h(q) = q**3 + 8*q**2 + 5*q - 4. Let g = 25 + -11. Let t be (g/(-3))/(4/6). Is 4 a factor of h(t)?
False
Let w be 6/(-10) + 185/(-25). Let n be w - -6 - (0 - 4). Suppose -x = n*x - 72. Is x a multiple of 8?
True
Let u be (-10)/(-15) + (-50)/(-6). Let y = 17 + u. Let b = 44 - y. Does 10 divide b?
False
Let z(l) = -2*l**2 + l + 5. Let g be z(3). Is (4/g - -1) + 1124/10 a multiple of 9?
False
Let h = 256 - 91. Suppose -h - 27 = -4*x. Is x a multiple of 16?
True
Is 3 a factor of (15/(-9) - -1)/(2/(-447))?
False
Let h(d) = d**3 + 4*d**2 + d + 7. Let g(t) = -t**3 - 3*t**2 - 2*t - 6. Let c(l) = 4*g(l) + 3*h(l). Let w be c(-4). Let f = w - 57. Is f a multiple of 8?
True
Suppose b = 5*b + 3*t - 27, t + 7 = 4*b. Let y be ((-30)/(-9) - b)*-93. Let x = -21 - y. Does 8 divide x?
False
Let r = -1077 + 2065. Is r a multiple of 8?
False
Let m = -25 + 11. Let d = -12 - m. Suppose d*y - 52 - 79 = -3*i, 1 = y. Is 10 a factor of i?
False
Let n = -12 + 15. Suppose h - 15 + 3 = -5*p, p + 100 = n*h. Is 11 a factor of h?
False
Let g = -1557 - -3645. Is 24 a factor of g?
True
Is (-5)/((-40)/2444) - (-7)/14 a multiple of 12?
False
Suppose -b - 5*q - 5 = 0, 2*b + 0 + 3 = -3*q. Suppose b = -0*n + n + 2*v - 54, -4*n - 5*v = -225. Is 4 a factor of n?
True
Suppose -3*h + h = 0. Suppose -5*o + 310 + 325 = h. Is o a multiple of 29?
False
Let j(g) = 7*g**3 + 8*g**2 + 2*g - 2. Let a(m) = -3*m**3 - 4*m**2 - m + 1. Let h(i) = -5*a(i) - 2*j(i). Does 2 divide h(-3)?
False
Is -2 - (-10)/(-25)*(-7270 + 5) a multiple of 11?
True
Suppose q - 36 = 25. Is 8 a factor of -2 + 1/(-1) + q?
False
Let h(b) = b**3 - 2*b**2 - 5*b - 3. Let c(m) = -m**2. Let j(r) = 3*c(r) + h(r). Let v be j(-3). Does 4 divide (-1)/(9/v)*3?
True
Let u(m) = m**3 + 6*m**2 + 3*m + 5. Let t be u(-4). Suppose 3*p - 8*p + t = 0. Is 12 a factor of 16/p*(-105)/(-14)?
True
Is 37 a factor of 5 + 278 + (-5 - -7) - 2?
False
Suppose -2*y = 4*b - 276, -66 = -b - 0*y + y. Does 17 divide b?
True
Let a(x) = -x**2 + 31*x + 66. Is 12 a factor of a(25)?
True
Let q(w) = -w**2 + 22*w - 66. Does 23 divide q(14)?
True
Let u(v) = -2*v**2 + v + 1. Let c(f) = -5*f**2 + 8*f - 63. Let z(s) = c(s) - 3*u(s). Does 9 divide z(-12)?
True
Let o = -2141 - -3167. Does 19 divide o?
True
Let m be 10/(0 - 4/252). Is (1/3)/((-15)/m) a multiple of 3?
False
Suppose 10*k = -27 - 3. Is 3 a factor of (18/(-8))/(k/36)?
True
Suppose 5*d - 4*y - 949 - 2374 = 0, -2*y = 2*d - 1322. Let h = 1002 - d. Suppose i + i - 150 = -4*p, h = 5*i - 2*p. Is i a multiple of 26?
False
Let n = -131 - -562. Does 15 divide n?
False
Suppose -17*x = 60 + 110. Is (x - 1)/(2/(-18)) a multiple of 9?
True
Let n = 0 + -5. Let x = n + 3. Let u = 13 -