+ 3*z. Is a a multiple of 12?
True
Let c = 0 - -4. Suppose 0 = -c*u + u. Suppose -2*n + 10 = 5*k, u*n - 5*k - 20 = -n. Does 10 divide n?
True
Suppose 0 = 2*i - 6*i + 328. Is i a multiple of 18?
False
Let b(g) = -2*g**2 - 2*g + 43. Is b(0) a multiple of 3?
False
Let p(n) = n - 8. Let q be p(6). Is (15/(-6) - q)*-36 a multiple of 18?
True
Let l(s) = s**2 + s + 6. Let j be l(0). Suppose -a = v + 7, 5*a + 9 + j = 5*v. Let h(u) = 10*u**2. Is 20 a factor of h(v)?
True
Is 1/3 + 205/15 a multiple of 6?
False
Suppose 0*r = 4*m + 3*r - 267, 2*r - 134 = -2*m. Is m a multiple of 33?
True
Let d = -134 + 150. Is 16 a factor of d?
True
Suppose -3*h = -5*m + h + 388, -4*m = -2*h - 308. Is m a multiple of 19?
True
Let h be (-10)/4*(-18)/5. Is 18 a factor of (-212)/(-6) - (-6)/h?
True
Let k = 3 - 6. Is 1*(34 + k + -1) a multiple of 30?
True
Suppose 4*n = -t + 445, 477 = 3*n - 4*t + 167. Suppose -3*r + 87 + 142 = l, 0 = 2*r - 5*l - 130. Let v = n - r. Is v a multiple of 17?
False
Let l(y) = y**3 + y**2 + 30. Is l(0) a multiple of 10?
True
Suppose -6*v + 3*v - 5*t = -840, -1400 = -5*v + 3*t. Is 20 a factor of v?
True
Suppose -18 = -p - 0*m + m, -14 = -p - m. Is p a multiple of 8?
True
Let l = -19 + 7. Let t be (-1)/(-3) - 212/l. Let g = t + -4. Is 14 a factor of g?
True
Let t(d) be the third derivative of -d**6/120 - d**5/15 - 5*d**4/24 - 2*d**3/3 - d**2. Let h be t(-3). Does 4 divide 108/14 + h/7?
True
Suppose 5*z - 10 = 0, 3*z - 67 = -3*l + 65. Does 35 divide l?
False
Is 3 a factor of 150/14 + 2/7?
False
Let i = -72 - -212. Does 35 divide i?
True
Suppose 0 = 5*c + 5*g - 365, -3*c - 2*g + 207 + 11 = 0. Is c a multiple of 15?
False
Let n(g) = -2*g**2 + 2*g + 1 - g**2 + 2*g**2. Let q be n(3). Is 4 a factor of 7 + q + (-2 - -2)?
False
Suppose -5*g - 9 = -409. Does 15 divide g?
False
Let c be (-558)/(-8) + (-4)/(-16). Let u be (-53)/((3/2)/(-3)). Let y = u - c. Is 15 a factor of y?
False
Suppose 44 = -s - s. Let y be (s/4)/((-1)/2). Let q = 11 + y. Does 22 divide q?
True
Suppose -3*a = -5*c - 34, -a = -2*a + 4*c + 9. Let i = 2 + a. Does 7 divide i?
False
Let q(c) = 175*c**3 + c**2 - c. Let w be q(1). Let z = w - 124. Is z a multiple of 17?
True
Suppose 5*a - 93 = 2*m - 0*a, -5*m = 5*a + 145. Let h(j) = -j**3 - 7*j**2 - 5*j + 8. Let n be h(-6). Does 17 divide 2*m*n/(-4)?
True
Is 1/(-3) + 632/24 a multiple of 18?
False
Let h(i) = -6*i + 10. Is 14 a factor of h(-10)?
True
Let x(w) = w**3 + w**2 + 7*w + 5. Is 19 a factor of x(4)?
False
Suppose 6*x = 9*x - 57. Is 18 a factor of x?
False
Suppose 0 = 4*k + l - 48 - 5, 2*k + 5*l = 49. Is 10 a factor of k?
False
Suppose w + 2*w + 26 = -4*l, -w - 2*l - 6 = 0. Let x = 20 + w. Let t(q) = 6*q + 7. Is t(x) a multiple of 13?
False
Let a = -13 + 17. Is 16 a factor of (-2)/a - (-375)/6?
False
Suppose 3*g = -0*g + 102. Is g a multiple of 12?
False
Let w(j) = -j**3 + 3*j**2 - 4*j. Let x be w(3). Let p(k) = -k + 10. Is 7 a factor of p(x)?
False
Let u be 329/4 - 12/(-16). Suppose 0 = -3*k - d + u, 4*d + 29 = k + 3*d. Is k a multiple of 25?
False
Let b(h) = h**2 + 5*h. Let i be b(-5). Suppose -5*o + 6*o - 3 = i. Suppose -o*n = -6*n + 15. Is 4 a factor of n?
False
Let h = -30 - -50. Is 10 a factor of h?
True
Suppose -3*z = 3*v - 15, 0*z = z + 4*v - 8. Suppose -c + z*d - 7 = 0, -3*d = 5*c - 4*d - 22. Suppose 81 = c*x + 1. Does 10 divide x?
False
Suppose -3*d + 5 = -1. Let q(h) = 4*h**2 + 4*h - 3. Let o be q(d). Suppose -5*v + 39 = -o. Is v a multiple of 12?
True
Let q = -20 - -50. Does 4 divide q?
False
Suppose -2*x + x - 1 = 0. Let s(b) = -2*b**3 - b - 1. Let r be s(x). Is 7 a factor of (24 + (-6)/r)*1?
True
Suppose 2*h - 4 = -4*b, -4*b + 2*h + 4 = -2*h. Suppose -b = -i - x, -2*i - i + 4*x = -10. Is 171/4 + i/8 a multiple of 16?
False
Suppose n = -n - 164. Let t = n - 47. Is t/(-6)*(1 - -1) a multiple of 16?
False
Let y = -5 + 5. Suppose y = 4*s - 2*s - 46. Suppose -s - 33 = -2*x. Does 15 divide x?
False
Suppose -o + 27 = 2*h - 103, -4*h + 3*o = -240. Is h a multiple of 7?
True
Suppose -3*z = 2 - 8. Suppose 2*h - 18 = -4*w, h + 4*h + 2*w = 5. Is (-22)/(-1 - (z + h)) a multiple of 11?
True
Let y = 1 - 11. Let v = 50 - y. Is 20 a factor of v?
True
Let o(w) be the second derivative of 3*w - 5*w**2 + 0 + 1/2*w**3. Does 20 divide o(10)?
True
Suppose -5*q - 4*p = -0*p, -4*p = q + 16. Is 18 a factor of q/12 + 161/3?
True
Suppose -9 = -v - 2. Suppose m - v = -0*m. Does 2 divide m?
False
Let z(c) = c**2 + 8*c + 5. Suppose -4*o + 33 = -5*k, -4*o + 0*k + k = -29. Let t be z(o). Suppose 7*j - t = 2*j. Is j a multiple of 11?
True
Let w(a) = 4*a**2 - 1. Let p be w(-1). Suppose -p*r + 1 + 89 = 0. Is 10 a factor of r?
True
Let l(f) be the first derivative of f**4/4 - 2*f**3 + 4*f - 2. Let q = -14 + 20. Is 4 a factor of l(q)?
True
Let v = -7 + 13. Is 4 a factor of v?
False
Let d(j) = -7*j + 13. Let z be d(-10). Suppose 0 = 4*m - z - 85. Is 14 a factor of m?
True
Suppose -7*y + 8 = -3*y. Suppose -42 = -4*h + l, -5*l + y*l + 14 = 2*h. Is h a multiple of 10?
True
Let w(r) = -2*r**3 - 3*r**2 + 5. Let k = -6 + 2. Let h be w(k). Let f = -44 + h. Does 20 divide f?
False
Suppose v + 19 = -82. Let o = -32 - v. Is o a multiple of 23?
True
Let j(t) = -13*t + 6. Let x be j(7). Let g = x - -131. Is 23 a factor of g?
True
Suppose -q + 8 + 35 = -2*n, -4*q = -n - 4. Let m(u) = 2*u**2 + 12*u + 4. Let f be m(-9). Let z = f + n. Is z a multiple of 17?
True
Suppose -v + 5*g + 40 = 0, -5*v - 88 = -9*v + 2*g. Is 15 a factor of v?
False
Let m be -1*(-1 - (-2 + 2)). Let i = m - -1. Suppose 4 = -i*j + 26. Is j a multiple of 7?
False
Is (2 - 2) + -3 + 5 + 9 a multiple of 2?
False
Let n(d) = 4*d - 2. Let v = 10 - 8. Let z be n(v). Suppose 5*h = -f + 43, -h - 5*f = -z*h + 55. Does 5 divide h?
False
Is (-7 + 3)/(1/(-11)) a multiple of 11?
True
Let d(f) be the third derivative of 1/6*f**4 + 2*f**2 + 2/3*f**3 - 1/120*f**6 + 0*f + 0 - 1/20*f**5. Is d(-4) a multiple of 2?
True
Let x(m) be the third derivative of -m**6/120 + m**5/12 + 7*m**4/24 + m**3/6 - m**2. Let z be x(6). Suppose p = 13 + z. Is p a multiple of 10?
True
Suppose -2*m = -3*y + 85, -2*y = 3*y - 2*m - 143. Suppose 0 = 3*z - 15, -z + 11 + y = w. Does 11 divide w?
False
Let o = -6 + 4. Let y be (3/(-1) - o)*-19. Suppose 5*c = 41 + y. Does 9 divide c?
False
Suppose 0 = g - 170 - 99. Does 9 divide g?
False
Let o = -4 + 1. Let s = o - -7. Suppose 4*m - 20 = -s*x, m + 3*x - 2 = 5. Is 4 a factor of m?
True
Let n = 164 - 113. Is n a multiple of 17?
True
Let a(h) = -h**2 - 15*h - 6. Is 16 a factor of a(-12)?
False
Let s = -7 - 12. Let p be (-5 + s)*(-8)/(-6). Let u = -22 - p. Is 10 a factor of u?
True
Suppose 2*a - 5*d - 345 = 0, d = -2*a + 288 + 75. Is a a multiple of 45?
True
Let d(h) = -h**3 - h + 3. Let k be d(0). Let o be -1 + 6 + (-5 - -5). Let u = k + o. Is u a multiple of 3?
False
Let k = 8 + -5. Suppose o - k*z - 2 = 0, -3 = 3*z + 6. Let r = o + 31. Is r a multiple of 12?
True
Let j(y) = -y**3 + 0*y + 5*y + y**2 - 2*y**2 + 1. Does 18 divide j(-5)?
False
Let a = 18 - -8. Let g = a - 16. Let z = g + -4. Is 2 a factor of z?
True
Is 46/((-3 - -4)/(7/2)) a multiple of 33?
False
Let w be 6/2*4/3. Suppose 0 = m + 2*q - 6, -w*q - 1 = -4*m - 13. Suppose m = -0*j - 4*j + 28. Is 4 a factor of j?
False
Let c = -17 + 31. Does 14 divide c?
True
Let z = 8 + -4. Suppose z*n = n. Suppose 5*x - 5*i - 31 - 44 = n, -x - 5 = 4*i. Does 9 divide x?
False
Suppose 4*a = 3*a. Suppose 0 = 5*z - a*z - 125. Is z a multiple of 6?
False
Suppose -30 = -2*p + 3*r, 3*p + r - 7 = -4*r. Suppose 32 = j + p. Is j a multiple of 11?
False
Let b = -19 + 36. Is b a multiple of 3?
False
Let y(w) = -w + 3. Let t be y(-7). Suppose 3*d = 11 + t. Is 4 a factor of d?
False
Let c(n) = n**2 + 19*n - 14. Is 26 a factor of c(-22)?
True
Let o(l) = -l**2 + 10*l + 9. Let d be o(10). Let i = 13 + -8. Suppose 3*q - 5*v - 19 = d, v = -i*q + 56. Does 11 divide q?
True
Suppose 2*c + 244 = 4*g, -5*g + c = 5*c - 292. Let j be 2 - -1*(2 - 1). Suppose -g = -j*o - 0. Is 17 a factor of o?
False
Let x(m) = 3*m**2 + 10*m + 9. Does 24 divide x(-7)?
False
Let t = 94 - 55. Does 11 divide t?
False
Suppose 5*n + u + 4*u = 120, 0 = 5*n - u - 96. Does 4 divide n?
True
Let z = -14 + 124. Suppose 17 - z = -3*c. Is 7 a factor of c?
False
Suppose 3*n + 2*n - 4*q - 100 = 0, -3*n - 2*q = -38. Supp