Let n(c) = -3*c**2 - 11*c + 3. Let m(l) = 7*n(l) + 6*z(l). Is m(x) a multiple of 11?
False
Let m be 9/((-18)/4) - -1. Let q(a) = -4*a**3 + 2*a**2 + 2*a. Is q(m) a multiple of 4?
True
Let z(t) = t + 12. Let y be z(-8). Suppose -h - 6 = -y*h. Suppose -h*w = -w - 46. Is 23 a factor of w?
True
Suppose 0 = 3*i - 6097 - 305. Is 22 a factor of i?
True
Let m be 10*(-1)/(-4 + 2). Suppose 0 = 2*k - 0*t + 5*t - 47, 4*t + 200 = m*k. Does 6 divide k?
True
Let c = -211 + 239. Is 10 a factor of c?
False
Let y be 26 - -1*(6 - 3). Suppose -3*z - y = -428. Is 15 a factor of z?
False
Let d(l) = 6*l + 58 - 29*l - 60. Is 18 a factor of d(-1)?
False
Let m(q) = -6*q - 3. Let w be m(-3). Suppose w = 2*z - 15. Does 4 divide z?
False
Let b = 38 + -162. Is 16 a factor of (-15)/10*b/6?
False
Let a(n) = -n**3 - 14*n**2 - 20*n + 11. Does 8 divide a(-14)?
False
Let v = -59 + 89. Is v a multiple of 5?
True
Suppose 4*p = 7 + 53. Suppose p = -x + 24. Is 9 a factor of x?
True
Suppose -v + 5 = -0*v, 2*w - 5*v = 2541. Is w a multiple of 80?
False
Is (-14)/(56/(-780)) + -3 a multiple of 64?
True
Let i = 172 - 88. Is 6 a factor of i?
True
Suppose 0 = -2*a - 3*f - 14, -2 = 5*a + 4*f + 19. Does 7 divide ((-581)/(-14))/(a/(-2 - 0))?
False
Let h = 28 + 5. Let x = h - -18. Is x a multiple of 26?
False
Suppose 4*u = 5*t - 26946, -2*t + 4*t - 10776 = 4*u. Is 21 a factor of t/198 + 4/(-18)?
False
Suppose -4*j + 4166 + 6873 = g, 0 = -2*g - 2. Is j a multiple of 40?
True
Suppose -2*j = 3*j. Suppose j*l - 230 = -4*l - 2*g, -5*g = -2*l + 85. Does 12 divide l?
False
Let l = -261 - -350. Suppose 3*z + 169 = 5*y, 2*z + 27 = y - 2*z. Let b = y + l. Does 38 divide b?
False
Is 10 a factor of ((-1)/2)/1 - 59826/(-52)?
True
Let h = 428 + -389. Does 20 divide h?
False
Let s(j) = 8*j + 200. Is s(0) a multiple of 10?
True
Let i = 803 + -471. Is 34 a factor of i?
False
Let n(h) = 7*h**2 + 9*h + 12. Let u be n(-6). Suppose 0 = 2*m - 4*v - u, 4*m - 541 = -4*v - 85. Is 22 a factor of m?
False
Let l = 3 + 0. Suppose 0 = 5*y - 5*n - 345, 5*y = l*n - n + 336. Is 10 a factor of y?
False
Let c = -183 - -199. Is 3 a factor of c?
False
Let o(s) = -6 - 5*s - 5*s**2 - 3*s**3 - 3*s**3 - s + s**3. Let t(d) = -9*d**3 - 9*d**2 - 11*d - 12. Let p(z) = 11*o(z) - 6*t(z). Is p(0) even?
True
Suppose m - 178 = -3*g + 75, -420 = -5*g - 2*m. Suppose v = -5*n - 16, -v + 4 = -2*n - 15. Suppose v*u - 10*u = -g. Does 23 divide u?
False
Let q be -3*103/(-3) - -2. Let w = 73 + -43. Let x = q - w. Is 31 a factor of x?
False
Let b(p) = 11*p**2 - 5*p - 156. Is b(-19) a multiple of 34?
True
Let u be (-30)/((-3)/3 - 1). Suppose -3*c - 87 = -u. Is (17/2)/((-12)/c) a multiple of 6?
False
Let i be 16 - 2*(-9)/(-6). Let d = i - 7. Suppose d*q - 10*q + 176 = 0. Does 22 divide q?
True
Let r be (4 - 3)/((-52)/18 + 3). Let c(x) = 27*x - 9. Is c(r) a multiple of 39?
True
Let f(m) = -7*m**3 - 5*m**2 - 7*m - 7. Let x be f(-4). Let z = 604 - x. Is 33 a factor of z?
False
Let o = 1912 + -845. Is 52 a factor of o?
False
Let g be 27 + 3*(-1)/3*-1. Let v = -9 + g. Is v a multiple of 3?
False
Let u(m) = -3*m**3 + 12*m**2 + 12*m + 40. Is u(-5) a multiple of 24?
False
Let v be 54/10 - 2/5. Suppose 13*l + 3 = 14*l. Suppose -r - 288 = -v*d - 4*r, -l*r = -2*d + 132. Is 12 a factor of d?
True
Is 1440/10 - -3*1 a multiple of 21?
True
Suppose 27*b + 4695 = 3*h + 24*b, -4*h = 5*b - 6233. Does 6 divide h?
False
Suppose -1320 = -5*d + d. Does 30 divide d?
True
Let b(n) = 11*n - 4. Let f be b(2). Let g(a) = a - 14. Let c be g(f). Suppose 0 = -3*m + c*m - 9. Is m a multiple of 2?
False
Let x be (-51)/9 + (-1)/3. Let i(n) = -2*n**2 - 11*n - 12. Let c(b) = -b**2 - 5*b - 6. Let k(w) = -5*c(w) + 2*i(w). Is 24 a factor of k(x)?
True
Let k = -7 - -10. Suppose 0 = 2*j - z - 46, 0 = k*j + 2*z + 21 - 83. Is j a multiple of 6?
False
Suppose -85 = -2*j + 149. Is 25298/j + (-2)/9 a multiple of 24?
True
Let u(p) = 4*p**3 + 2*p**2 + 3*p**3 - 3 - 9*p**3 - 5*p + 0*p**2. Is u(-3) a multiple of 32?
False
Let p(a) = 89*a - 42*a - 28 - 18*a. Is p(7) a multiple of 37?
False
Suppose -2575 = -22*c + 2881. Is c a multiple of 8?
True
Let r be (-255)/(-105) - 6/14. Suppose 3*m - 60 = r*m. Is m a multiple of 15?
True
Suppose -2*n + 2*z - 16 = -6*n, -4*z = -16. Suppose -2*b - 5 = -2*v - 1, 10 = -n*b + 5*v. Suppose b = -k, 3*k = 5*w + k - 460. Does 24 divide w?
False
Let f(m) = 83*m**2 - 25*m - 92. Does 9 divide f(-5)?
False
Is 14 a factor of (2 - -5) + -1 - -455?
False
Let a(b) = b - 4. Let w be a(4). Suppose w = y - 43 - 9. Is y a multiple of 13?
True
Let l(h) = -5 - 910*h - 5 + 898*h. Does 10 divide l(-2)?
False
Suppose -4 - 6 = -2*s - z, -14 = -3*s - z. Suppose -5*i = 5*a - 15, -2*i = -3*i - s*a + 15. Does 14 divide (-6)/3 - 42*i?
False
Let j(s) = 620*s**2 - 2*s + 3. Is 27 a factor of j(1)?
True
Let y(l) = l**2 + 24*l - 54. Let j be y(-26). Does 19 divide (j + -17)/(((-44)/(-24))/(-11))?
True
Is 29 a factor of (0 + 12/(-16))/(4/(-19104))?
False
Let n(s) = 10 - 9*s - 2*s - 8*s - 20. Is n(-6) a multiple of 26?
True
Let z = -155 - -395. Suppose -z = -10*a + 5*a. Is 12 a factor of a?
True
Suppose 5*p + 5 = 6*p. Suppose 7 = -3*u - p*w + 4*w, -5*u - 4*w - 7 = 0. Is (72/3)/(u/(-2)) a multiple of 4?
True
Let v(j) be the first derivative of 9*j**2 - 4*j - 2. Is 8 a factor of v(2)?
True
Suppose 11 = l + 3. Let k(p) = 5*p - 7*p - 4 + 5*p. Is 12 a factor of k(l)?
False
Let b(j) = j**3 + 10*j**2 + 19*j - 10. Let m be b(-7). Suppose q - m*y = 31, -5*q + 5*y = -43 - 37. Is 2 a factor of q?
False
Let m be (-4 - -2)*(-3)/2. Suppose -2*k + 7*g = 2*g - 79, -m*k + 115 = -4*g. Does 21 divide k?
False
Let y = -170 - -210. Is 8 a factor of y?
True
Let g(d) = 5*d + 7. Let u be g(3). Suppose -3*v = -c + 111, 5*v = -2*c - u + 189. Does 12 divide c?
True
Let u(j) = -j**2 - 25*j - 20. Is 65 a factor of u(-10)?
True
Let g = 0 - -440. Is g a multiple of 13?
False
Suppose 0 = 4*p - 5*p + 3*u + 101, 2*u = -5*p + 471. Is 3 a factor of p?
False
Suppose -21*i = -29*i + 4976. Is 19 a factor of i?
False
Let w(b) = 2*b + 33. Let s be w(-15). Suppose 2*u - 3*a = 5*u - 459, -s*u + 5*a = -435. Is 25 a factor of u?
True
Let j = -7 - -11. Let x be -23*(j - (-4 - -12)). Suppose -278 = -5*w + x. Is 15 a factor of w?
False
Suppose 6*f - 8*f + 507 = k, -3*k = -9. Does 28 divide f?
True
Let v be (-3)/9*(-234)/(-6). Let a = 15 + v. Suppose -2*k + 3*u + 201 = a*k, 3*u = k - 39. Is 19 a factor of k?
False
Let h be 10/2 - (-1 - -3). Suppose h*p - 92 = 2*p. Is p a multiple of 23?
True
Let q = -12 + 15. Suppose -5*k + q = -37. Let x(f) = -f**3 + 8*f**2 + 5*f + 1. Does 16 divide x(k)?
False
Let n = 61 - 56. Suppose -n*f = -159 - 201. Is f a multiple of 36?
True
Suppose 0 = u - 39 - 9. Suppose 62 + 70 = -4*w. Let h = u + w. Is h a multiple of 15?
True
Suppose -3*l = 3 + 6. Does 2 divide 4 - (l + 1 + 1)?
False
Let t(h) = 53*h + 413. Is 35 a factor of t(16)?
False
Let x = 1260 + -712. Is x a multiple of 15?
False
Suppose g + 8 = 5*g. Suppose 3 - 13 = -g*b. Suppose -3*m + 9*x = 4*x - 101, -69 = -2*m + b*x. Is 8 a factor of m?
True
Suppose 4*q = -0 + 12. Suppose q*y - 2*y - 34 = 0. Suppose -y = -o - 12. Does 17 divide o?
False
Suppose -3*a = 2*v - 834, v + 4*a - 8 - 404 = 0. Is 15 a factor of v?
True
Suppose -j - 3*j = 5*q - 42, 4*j + 6 = 3*q. Is q a multiple of 2?
True
Does 22 divide (-13 + 16)*(2/2 - -143)?
False
Let w = 931 - 116. Is w a multiple of 4?
False
Does 46 divide 78/(((-5)/(-80))/1)?
False
Let z = 12 + -44. Let g = z - -35. Suppose 3*v - v - 152 = 4*h, -12 = g*h. Does 17 divide v?
True
Let f = -170 - -334. Is 10 a factor of 2/(-2)*(-6 - f)?
True
Suppose 25 = -m - 4*p, -m - 3*p - 14 = 6. Let t(k) be the second derivative of k**4/3 + 2*k**3 + 2*k**2 + k. Is 6 a factor of t(m)?
False
Let k(a) = -3*a + 11. Let m(h) = 3*h - 12. Let g(u) = -6*k(u) - 5*m(u). Is g(7) a multiple of 15?
True
Let b(a) = a**3 + 8*a**2 - 2*a - 3. Let o be b(-8). Suppose -4*x + 7 = -o. Suppose 4*u - 120 = -4*g, g - x*g + 33 = u. Is u a multiple of 8?
False
Let p = -66 + 178. Is p a multiple of 21?
False
Let r = 18 + -8. Let m be 827/(-15) - r/(-75). Is (m/(-2) + 1)*2 a multiple of 18?
False
Let i(v) = 9*v**2 - 15*v - 59. Does 58 divide i(-9)?
False
Suppose 31 = -3*a - v, -4*a + 2*v - 17 = 41. Let p be (4/(-10))/((-133)/140 + 1). Does 16 divide 2 + a*52/p?
True
Let 