0*p + 7*p + 3 = 0. Is g(p) a multiple of 3?
True
Let m(v) = -v + 6. Let o be m(5). Let a = 10 - o. Does 5 divide a?
False
Let n be (-2)/(-3)*3 + -3. Let d(r) = -10*r. Is d(n) a multiple of 10?
True
Let h(b) = 5*b - 12. Let k be h(8). Let v = 66 - k. Is 10 a factor of v?
False
Let t = -10 + 31. Is t a multiple of 15?
False
Let c = 116 + -40. Let n = c + -54. Is 11 a factor of n?
True
Suppose -3*n + 0*n = -15. Let z = 142 - 82. Suppose n*h - z = -5. Does 11 divide h?
True
Let g(z) = 45*z**2 + 2*z + 2. Is g(-1) a multiple of 15?
True
Let w = -12 + 9. Let q(p) = -4*p**3 - 4*p**2 + p - 1. Is q(w) a multiple of 17?
True
Let d be ((-9)/(-12))/((-2)/(-8)). Suppose q + d*c = -3, 0 = q - 4*c + 2 - 6. Suppose -g + 3*g - 28 = q. Does 7 divide g?
True
Let x = -5 + 10. Suppose -x*r + 120 = -2*p - 2*p, 31 = 2*r - 5*p. Is 14 a factor of r?
True
Let v be ((-8)/5)/(4/(-10)). Let p = 4 - v. Let r = 6 - p. Does 3 divide r?
True
Let m be (9 - 10)*1*-1. Let k be (4/6)/(m/9). Is 19 a factor of k/9 + 318/9?
False
Let f = -19 + 35. Does 5 divide f?
False
Suppose 0 = -2*b - 0*b - 352. Is 3 a factor of b/(-30) + 8/60?
True
Let g be (-125)/((-2)/(-1) + -3). Does 10 divide ((-24)/30)/((-2)/g)?
True
Suppose 5 + 23 = 2*i. Suppose -y - i + 53 = 0. Let l = 56 - y. Does 17 divide l?
True
Is 12/24*(37 + 1) a multiple of 10?
False
Let s = 16 + -14. Suppose 0*b - 30 = -s*b. Does 15 divide b?
True
Suppose -470 = -2*c + 4*o, 340 + 125 = 2*c + o. Suppose -5*b - c = -4*w - 0*b, -5*w - 4*b = -240. Does 11 divide w?
False
Let t be (-3 - 13/(-4))*4. Does 18 divide (3*t)/((-15)/(-115))?
False
Is ((315/2)/(-9))/((-3)/12) a multiple of 14?
True
Let o = 10 - 9. Let t = o + -6. Let n = t + 16. Is 11 a factor of n?
True
Does 14 divide (10/(-3))/((-2)/(7 + 35))?
True
Is 41 a factor of (35/(-3))/(2/(-126)*3)?
False
Suppose 6*a - 4*a = 0. Let q(x) = a*x + x + 4 - 3*x. Is 7 a factor of q(-5)?
True
Let b = 5 + -3. Suppose 4*i - 10 - 6 = 0, 3*q - 27 = -3*i. Suppose b*h + 72 = q*h. Is h a multiple of 11?
False
Let z(g) = 8*g - 1. Is z(5) a multiple of 9?
False
Let i(r) = 11*r**2 + 2*r - 13. Is 23 a factor of i(3)?
True
Let o(y) = 10*y**2 + y - 1. Suppose -10 - 8 = -3*h + 3*x, 5*x + 25 = 0. Let d(q) = 2*q**2 - q. Let g be d(h). Does 5 divide o(g)?
True
Suppose -4*g + 12 = 0, -g - 4 = -3*o + 5. Let h(j) = 9 - o + j - 3*j. Does 7 divide h(-8)?
True
Suppose 4*z - 26 = -2*i, -5*i + 5*z + 50 = -0*z. Let f = i - -9. Does 10 divide f?
True
Let x = -2 - -7. Suppose -9 = -4*s + i + 10, 2*s = -x*i + 37. Is 11 a factor of 1/(-3) - (-68)/s?
True
Let c(t) = 9*t - 5. Is 19 a factor of c(9)?
True
Let j = -211 - -143. Let z = -27 - j. Suppose -4*a = -3*q - z, 46 = -a + 5*a + 2*q. Is 11 a factor of a?
True
Let x be (-26)/(-3 + (-33)/(-12)). Suppose f = 5*v - v + 38, x = 4*f - 4*v. Is f a multiple of 10?
False
Is 2/1 + (-1386)/(-9) a multiple of 13?
True
Suppose j - 2*y = 122, 4*j - 2*y + 4*y - 498 = 0. Does 31 divide j?
True
Let s = 54 - -6. Is 10 a factor of s?
True
Suppose -5*m = -2*c - 17, 2*c - 2*m = -0*c - 2. Let u(v) = -6*v**2 - 3*v - 2. Let b be u(c). Let i = 155 + b. Is i a multiple of 18?
False
Let l(q) = -37*q + 4. Is l(-2) a multiple of 13?
True
Let v(j) = -j**3 + 6*j**2 - 7*j + 4. Let i be v(4). Is 30 + i/(-4) + 3 a multiple of 10?
False
Let t(u) = 11*u**2 + u + 4. Does 34 divide t(-3)?
False
Suppose 7 = -3*i - 41. Let w be (-76)/i - (-1)/4. Suppose 0 = -w*n - 4*c + 50, 4*n + 0*n - 4*c - 40 = 0. Does 5 divide n?
True
Let i = -24 + 19. Let f(g) be the second derivative of -g**3/6 - g. Does 5 divide f(i)?
True
Let v = 11 - 7. Suppose 4*x - z = 192, 2*z - 192 = -v*x + 7*z. Let u = -22 + x. Is 13 a factor of u?
True
Suppose 0 = -3*o - 2*o. Is 2 a factor of 0 + (1 - -1) + o?
True
Let q be 1/(-1*3/(-9)). Suppose q*y = -36 + 189. Does 13 divide y?
False
Let d(k) = 13*k - 41. Let p(i) = -3*i + 10. Let z(l) = 2*d(l) + 9*p(l). Is 2 a factor of z(6)?
True
Suppose a + 162 = 3*a. Let u be (-18)/(-4) + 2/(-4). Suppose u*i - 31 = a. Does 14 divide i?
True
Suppose v + 10 = 2*x, -v = 3*x - 3*v - 15. Suppose -5*t = -f - 23, -t - 2*f = -x - 4. Suppose t*s - 84 - 6 = 0. Is 7 a factor of s?
False
Let d = -2 - -1. Let z be 2*(d + 2) - -2. Suppose z = -b + 14. Is b a multiple of 5?
True
Suppose 0 = 5*s + 4*u - 972, 2*s - u - 194 = 200. Suppose s = 43*v - 39*v. Is v a multiple of 34?
False
Let c = -18 + -12. Let v = c - -69. Is v a multiple of 13?
True
Let u(g) = g**3 - 4*g**2 - 3*g + 3. Let m be u(3). Let q = 12 - m. Is 13 a factor of q?
False
Let g(m) = -19*m**3 + 2*m**2 + 3*m + 1. Let q(j) = 39*j**3 - 3*j**2 - 5*j - 2. Let f(l) = -5*g(l) - 3*q(l). Let d be (-2)/3*6/4. Does 11 divide f(d)?
True
Let o be 5/1*(-52)/(-10). Let l = -44 + 31. Let x = l + o. Is x a multiple of 6?
False
Suppose -i - 10 = i - 5*a, 4*i + 3*a - 6 = 0. Suppose -6 = -f - i*n + n, 5*f - 26 = n. Suppose h - b = f, 0*b - 8 = -2*b. Does 9 divide h?
True
Let l be ((-9)/(-2) + 1)*22. Let q = l + -77. Is 11 a factor of q?
True
Suppose -3*h + 178 - 34 = 0. Suppose 0*j = -j + h. Is 16 a factor of j?
True
Suppose 8*h + 40 = 3*h. Let x be 72/h*1/(-3). Suppose -z + x*f + 10 = -18, 2*f = -8. Is z a multiple of 8?
True
Suppose 4*f = -5*d - f + 780, 2*f - 8 = 0. Does 8 divide d?
True
Let u(n) = -n - 2. Let z be u(7). Let k = -4 - z. Suppose -3*w - 33 = -k*x - 4*w, 5*x + 5*w = 45. Is 6 a factor of x?
True
Let o(b) = 3*b + 4. Is 6 a factor of o(4)?
False
Let b = 2 + -2. Let q = -6 - -11. Suppose 0 = -q*k - 2*p + 66, 4*k - 54 = -b*k - 2*p. Does 6 divide k?
True
Suppose 83 = 4*z - 9. Does 3 divide z?
False
Suppose -2*n = -1 - 5. Suppose n*u - 32 = 10. Does 14 divide u?
True
Let a = 76 - 7. Is 14 a factor of a?
False
Let h be (-3)/9*-3 + 12. Suppose 2*d = y + h, 4*d = -3*y - y + 20. Is 3 a factor of d?
True
Suppose 2*q - 17 - 5 = 0. Is 9 a factor of q?
False
Let b(p) = p**2 + 2*p + 4. Let d(a) = 2*a**2 + 2*a + 5. Let y(s) = -3*b(s) + 2*d(s). Is y(-4) a multiple of 10?
False
Let l = 6 - -93. Is 11 a factor of l?
True
Let x = 63 - 57. Is 3 a factor of x?
True
Let i = -13 - -21. Let o be i/(-6) - 1/(-3). Does 2 divide o/(2*(-1)/8)?
True
Let i = 63 + -21. Does 14 divide i?
True
Let v(g) = 11*g**2 - g + 2. Is v(3) a multiple of 14?
True
Let f(n) = -2*n**2 - 3*n - 2. Let q(x) = 6*x**2 + 8*x + 5. Let p(t) = 17*f(t) + 6*q(t). Is 10 a factor of p(-2)?
True
Let f(z) = z**3 - 4*z**2 + 3*z + 2. Let h be f(3). Suppose h*y + 0*y = 80. Is y a multiple of 20?
True
Let y = 5 - 5. Suppose 2*z + 3*k - 105 = 0, 2*z - 2*k - 53 - 57 = y. Is z a multiple of 18?
True
Is -7*2*16/(-56) even?
True
Suppose 4*k = 3*w - 129 + 29, -3*k = 2*w - 78. Does 12 divide w?
True
Suppose 0 = -0*r + 3*r - 9. Does 3 divide r?
True
Suppose 6*r = 2*r + 48. Suppose -219 = -5*o + 4*k, -r = -0*k - 3*k. Is 17 a factor of o?
False
Let c = 3 - 1. Suppose -39 = c*a + 47. Is 9 a factor of 10/25 - a/5?
True
Suppose 0*r = 3*r + 201. Let q(z) = z**3 + 7*z**2 + 5*z - 8. Let f be q(-7). Let a = f - r. Is a a multiple of 11?
False
Suppose 0 = 4*b + 5*d - 87, -5*b = -4*d - d - 75. Is 6 a factor of b?
True
Suppose 4*v - 298 = 2*k, 125 = v - k + 48. Does 9 divide v?
True
Suppose 0 = 4*a - 4*r - 4, a + r + 0 + 1 = 0. Suppose a*w = 4*w - 152. Does 19 divide w?
True
Suppose -4*s - 5*b + 38 = 0, 3*b - 36 = -4*s - b. Suppose 2*h + 145 = s*h. Let p = -18 + h. Is 7 a factor of p?
False
Let q = 33 + -19. Let j(c) = 4*c**2 - c - 3. Let n be j(-3). Let m = q + n. Is m a multiple of 19?
False
Suppose -10 = 5*i + 5*a, i + 2 = -3*a - 10. Let h(z) = 31*z + 2. Let f be h(i). Does 19 divide f/2 - 1/2?
False
Suppose 5*h - 2*c - 418 = 0, h - 3*c = -4*c + 78. Is 15 a factor of h/4 - (-6)/(-12)?
False
Suppose -3*u + 5*z - 67 = -4*u, 3*u = -2*z + 136. Suppose -36 = -2*s + u. Is 12 a factor of s?
False
Let d(y) = -y**2 - 14*y - 20. Is 28 a factor of d(-8)?
True
Suppose 3*q = -2*n + 19, 4*n + 4*q - 41 = q. Is n a multiple of 5?
False
Let k = 5 - -4. Is (k*-2)/(-7 + 5) a multiple of 4?
False
Suppose v + 2 = 1. Is 19 a factor of -1 + v + 12*8?
False
Let w = 69 + 28. Is w a multiple of 20?
False
Suppose 3*c = -15, -3*c - 2*c + 419 = 4*h. Suppose -k + 5*r = -66, -7*r = -2*k - 4*r + h. Let a = k + -30. Is a a multiple of 8?
False
Suppose -4*t + 8*t = -8. Let y(n) = -3*n + n**2 - 3 + 0 - n. Is y(t) a multiple of 6?
False
Let n(g) be the first derivative of -1