2*m. Does 7 divide 1 + 2 + m + 20?
False
Let g(w) = w**3 - 5*w**2 - 12*w + 7. Let d(u) = u**3 - 5*u**2 - 11*u + 7. Let h(v) = -3*d(v) + 2*g(v). Let j be h(6). Suppose 0 = 3*p - j - 7. Does 2 divide p?
True
Is 527/(1/(-2) - -1) a multiple of 21?
False
Suppose -460 = -9*u + 4*u. Is 17 a factor of u?
False
Suppose -5*r = -4*q + 32, 3*q - 8*q + 35 = -5*r. Is 7 a factor of q/(36/(-16))*-21?
True
Let r be (-3 - (1 + -7))/1. Suppose 0*a = 4*a - 5*j + 32, 4*a + 4*j = 4. Does 15 divide -3 + r - a - -18?
False
Let f = -94 + 164. Let g = f + -22. Does 6 divide g?
True
Suppose r + 4*r = -3*m + 449, 2*m + 5*r = 306. Is 15 a factor of -4 - (m - -4)/(-3)?
True
Let c(r) = 5*r**2 + 53*r - 4. Is 15 a factor of c(-13)?
False
Suppose -3*y + 10305 = -4*i, -5*i - 17180 = y - 6*y. Is 30 a factor of 2/(-6) + y/57?
True
Suppose -4*z - 8 = 24. Let a be ((-84)/35)/(6/(-90)*9). Does 17 divide (a + -2)*(-236)/z?
False
Suppose -2*f + 5 = 3*y, -y - 13 = -2*f - 4. Let n be -5 - (-4 + 3)*y. Is -17*(4 + n + 1) a multiple of 17?
True
Suppose 107*k = 132*k - 41175. Does 101 divide k?
False
Let l(n) = -n**3 - 4*n**2 - 3*n. Let k be l(-4). Let j = 38 - k. Does 6 divide j?
False
Let o(d) = d**3 - 16*d**2 + 18*d - 34. Let i be o(15). Suppose i*x - 287 = 560. Is x a multiple of 11?
True
Suppose 5*o - o - n - 9 = 0, -5*n = -15. Suppose -t - 3*s = -121, -5*t = -0*t + o*s - 665. Is 22 a factor of t?
False
Suppose -2*r = -5*c + 12, -5*r - 38 + 8 = 3*c. Let x be 7/((-7)/r) - 1. Let m(f) = f**2 - f + 7. Does 13 divide m(x)?
False
Let c(o) = -o**3 + 5*o**2 + 7*o - 11. Let q(n) = -12 - n**3 + 3*n**2 - 75*n + 81*n + n**2. Let a(f) = 5*c(f) - 4*q(f). Is a(10) a multiple of 2?
False
Let u = 5 - -65. Suppose -a = w - u, -3*a - 5*w + 250 = -10*w. Is 15 a factor of a?
True
Let c(u) = u**3 + 7*u**2 + u - 7. Let n be c(-5). Let h be (-1)/(-2) - n/(-4). Suppose 3*r = 2*s - r - h, -3*r = -5*s + 46. Is s a multiple of 6?
False
Let s = -17 + 91. Suppose -s = -2*w + 136. Does 21 divide w?
True
Let c(v) be the second derivative of v**4/3 + v**3/3 - v**2/2 - v. Let w be c(1). Suppose 6*y - w*y = 17. Is y a multiple of 14?
False
Let t = -29 + 50. Let u = 45 + t. Does 11 divide u?
True
Let o be 2 + 3/(-1 + -2). Let k = 6 - o. Suppose 51 = 3*n + k*j - 23, n + 5*j - 18 = 0. Is 12 a factor of n?
False
Suppose -b + j + 7 = 0, 0*j + 3*j = -6. Suppose -321 - 994 = -b*g + 5*r, 0 = -5*g + 2*r + 1300. Is (7/21)/(2/g) a multiple of 15?
False
Let a = -10341 + 15642. Is a a multiple of 171?
True
Let f(a) = 10*a**2 + 3*a + 3. Let w be f(3). Suppose 2*s = -v + s + w, 0 = -2*v - 3*s + 207. Does 11 divide v?
True
Let r be 289 + 1 + 0 - -2*1. Let h = r + -200. Does 46 divide h?
True
Suppose -3*k + 3*f + 105 = 0, 5*k - f - 106 = 73. Let c = -1 + k. Is 11 a factor of c?
False
Suppose k = -4*o - 4*k + 8720, 2*k + 8 = 0. Does 18 divide o?
False
Let v be (20 - 15) + 4/1. Let i(l) = -7 + 4 + v*l + 8*l. Does 18 divide i(4)?
False
Is 6*470 + 5/(-10)*-2 a multiple of 13?
True
Let j = 854 + -413. Is 17 a factor of j?
False
Let h be 1 + 1 + 0 + -2. Suppose 3*r + 39 = -4*i, h = -2*i - 4*r + 6 - 28. Does 6 divide ((-2)/8)/(i/612)?
False
Let q(o) = o**3 + 5*o**2 - 6*o - 6. Let x be q(-6). Let b be ((-21)/3 - 1) + (-6)/(-1). Does 8 divide (6/b)/(x/64)?
True
Let k be 3 + -1 - (0 - -15). Let q = k - -13. Does 5 divide (-11)/(q - 0 - 1)?
False
Suppose -2*k - n = 3*k - 1842, -4 = -2*n. Suppose -10*a - k = -14*a. Is 41 a factor of a?
False
Suppose -4*d + 213 = -151. Is 13 a factor of d?
True
Let r(n) = -n + 21. Let m be r(19). Does 5 divide 3 + -1 + m - -21?
True
Suppose o + 2*k = -k + 259, 3*o = 3*k + 837. Suppose z + 2*f - 53 = 83, -2*z - 5*f = -o. Is z a multiple of 9?
False
Let g(h) = 4*h**2 + 17*h - 4. Let y be g(-14). Does 30 divide y/6 + ((-2)/6)/1?
True
Let f be 38*(-2)/(4/(-3)). Let j = f + 28. Let y = -49 + j. Is 6 a factor of y?
True
Suppose -2*z + 6 = -4. Is 7 a factor of (4 - z) + 4 - -46?
True
Let v(h) = h**3 + 14*h**2 + 12*h - 10. Is 2 a factor of v(-13)?
False
Let s be (-1 - 26/4)*(-4)/3. Is 3 a factor of 9/(-5)*s*(-3)/6?
True
Let h(x) = 2*x**2 + 2*x - 103. Is h(-22) a multiple of 37?
False
Suppose 2*f - 16*f = -19908. Does 18 divide f?
True
Suppose 0*l - l + 31 = 0. Suppose -l = -2*o + 9. Is 14 a factor of (-1 + 29)*(-18 + o)?
True
Let a(m) = 3*m**2 + 7*m + 6. Is 6 a factor of a(3)?
True
Let o be ((-42)/28)/(3/(-40)). Suppose -16*c = -o*c + 332. Does 12 divide c?
False
Let c(y) = 2*y**2 + 18*y + 22. Let g be (-12)/(-9) + -2 + 40/(-3). Is c(g) a multiple of 32?
False
Suppose 5*t - v - 238 = 0, 2*v + 59 = 2*t - 41. Let j be -1*13 - 2/2. Let r = j + t. Is 19 a factor of r?
False
Let i(h) = -h**2 - 7*h - 11. Let w be i(-6). Let u(m) be the first derivative of m**3/3 - m**2/2 - 5*m - 2. Is u(w) a multiple of 11?
False
Suppose -16 = 2*m - 4*v + 10, -4*v = -5*m - 89. Is 147/(-2)*36/m a multiple of 42?
True
Let m = 1710 - 1479. Is m a multiple of 8?
False
Let k(b) be the third derivative of b**4/24 + 7*b**3/6 - 5*b**2. Let r be 61/9 - (-12)/54. Is k(r) a multiple of 10?
False
Let a(s) = -s**2 - 9*s + 21. Let c be a(-10). Let z = 23 + c. Is 7 a factor of z?
False
Is 4116/180 + -3*4/(-90) a multiple of 3?
False
Suppose -30*f = -4*s - 25*f + 3365, -5*s = 2*f - 4198. Is 24 a factor of s?
True
Let l = 351 + -341. Is 10 a factor of l?
True
Let h be ((-12)/10)/(18/(-1020)). Suppose 4*o - 104 = -4*t, -3*o + 0*o + 2*t = -h. Suppose 0 = 2*p - 5*v - 0*v - 26, p - o = -3*v. Does 7 divide p?
False
Let r(m) = 129*m + 456. Is 39 a factor of r(14)?
True
Let n = 356 - 304. Does 52 divide n?
True
Suppose 3*u = -2*m + 2388, 5*u - 637 = -3*m + 3343. Suppose u - 256 = 15*a. Does 5 divide a?
False
Suppose g + 20*d = 19*d + 667, -5*g + 3335 = -3*d. Is 14 a factor of g?
False
Let v(r) = -695*r**3 + 2*r**2 + 6*r + 5. Is v(-1) a multiple of 12?
True
Is 26 a factor of (1 - -1)*(-6 + 325)?
False
Let q(f) = -26*f**3 + 2*f**2 + 8*f - 4. Is 26 a factor of q(-4)?
False
Is 2 a factor of 26272/160 + -2 + 42/15?
False
Let p be (2 - 0)/(((-4)/808)/(-1)). Suppose 9*f = p + 244. Is f a multiple of 18?
True
Suppose 56*c - 402 = 53*c. Is 2 a factor of c?
True
Let w be 480/((0 + 12/(-32))/(-1)). Suppose -11 = 9*s - w. Is s a multiple of 23?
False
Let o(d) = -d + 1. Let r(l) = -l + 1. Let a(q) = -3*o(q) + 4*r(q). Let s be a(2). Is 12 a factor of s*44/(-5)*5?
False
Let s be -2 - (-14 - 2)/4. Suppose 0*j - 302 = -2*j + s*y, -572 = -4*j - 4*y. Suppose 104 = 2*v - 4*x, -3*x = -v + 4*v - j. Is 9 a factor of v?
False
Let z(x) = 9*x - 7. Suppose 3*p + 19 = -5. Let m be z(p). Let a = m - -128. Does 9 divide a?
False
Let h(c) = c**3 - 4*c**2 + 5. Let r be h(4). Suppose 3*n + 3*x + 20 = -2*x, -5*n - r*x = 20. Does 15 divide n/(1 + 2) - -60?
True
Let a(h) = 30*h**2 - 56*h**2 - 22*h + h**3 - 44 - 17. Is a(27) a multiple of 16?
False
Let v(l) = l**2 + 5*l - 10. Let b be v(-7). Let q be (-4)/16 - (-201)/b. Let m = q - 36. Is 3 a factor of m?
False
Suppose 2*d = 3*g - 4*g - 40, 5*d = 3*g + 76. Let n be 3/(-4) + 1224/g. Is 4*n/(-36)*12 a multiple of 13?
True
Let i = -11 - -39. Suppose 125 = -9*j - 82. Let s = i + j. Is 2 a factor of s?
False
Let h(w) = -1081*w + 93. Is h(-3) a multiple of 13?
False
Let f = -116 + 116. Suppose 5*g + 2*g - 658 = f. Is 12 a factor of g?
False
Let o(f) = 4*f + 18. Let p be o(12). Suppose 3*s + p = -4*x - x, -26 = 2*x + s. Let d = 8 - x. Is 6 a factor of d?
False
Let p = -1168 - -1229. Is p a multiple of 7?
False
Let g(q) = q**2 - 1. Let i be g(-2). Suppose -i*u + 2*b - 5*b = -453, 3*u = 5*b + 461. Let s = 258 - u. Does 28 divide s?
False
Let a be 20/6 - 1/3. Suppose w + a*i - 8 = 0, -w - 7*i = -2*i - 10. Suppose -2*p + w*r - 64 = -3*p, r = 4*p - 235. Is p a multiple of 20?
False
Suppose 0 = 6*g - 3*g + 6. Let f be g/11 + (-2)/(-11). Let p = f + 19. Is p a multiple of 8?
False
Let a(o) = o**2 + 7*o + 7. Let h(x) = 3*x**2 + 22*x + 20. Let l(k) = 11*a(k) - 4*h(k). Suppose -t - 3*n = 18, -5*t - n - 49 = -1. Does 5 divide l(t)?
True
Let m(c) = -c**2 + 6*c - 5. Suppose -4*q = 2*b + q - 21, -2*b + 3 = -q. Let f be m(b). Suppose -x - 4*x + f*a + 50 = 0, 4*x + 5*a = 40. Is x a multiple of 5?
True
Suppose -2*i + 24 = 6*i. Suppose -2*v - 112 = -3*v - 4*q, -i*q = 2*v - 234. Is 20 a factor of v?
True
Let v(h) = -h**2 + 31*h + 82. Is 8 a factor of v(19)?
False
Let i = 11 