a*v - 0*p, 3*p - 162 = -3*v. Does 17 divide v?
False
Let z(y) = -y**2 - 16*y + 14. Is 14 a factor of z(-14)?
True
Let j(o) = -5*o**2 - 1 + 15 + 9*o + 4*o**2 + 2*o**2. Is 24 a factor of j(-10)?
True
Let q = 322 + -226. Does 11 divide q?
False
Let g = -7 + 24. Is 2 a factor of g?
False
Let k(w) = -9*w + 1. Let s be k(-4). Suppose 5*c - 12 = -2. Suppose -9 = -c*q + s. Is 8 a factor of q?
False
Suppose 4*p - 12 = 8. Let h be (-42)/(-8) - p/20. Is (-4)/h*70/(-4) a multiple of 14?
True
Let l(v) = 4*v - 2. Suppose 0 = 2*g + 5*k - 12, 3*k = -0*g - g + 6. Is 11 a factor of l(g)?
True
Suppose -3*i - 2*r + 34 = 0, 3*i = -i + 4*r + 12. Is 3 a factor of i?
False
Suppose -226*x = -230*x + 1560. Is x a multiple of 12?
False
Let b(a) be the second derivative of 5*a**4/6 - a**3/6 - a**2 - a. Suppose -5*g - 16 = 3*f + 3, 4*f - 28 = 4*g. Is 18 a factor of b(f)?
True
Suppose -4*h + 3*h + 4*x - 8 = 0, -4*x = 3*h - 56. Is 4 a factor of h?
True
Let u(h) = 18*h - 10. Let j be u(6). Suppose 3*f - j = 13. Does 14 divide f?
False
Let u(j) = -j**3 - 3*j**2 - 4. Does 6 divide u(-4)?
True
Let i(k) = -k**2 - 5*k - 3. Let w be i(-4). Does 19 divide 54 - (-4 + w) - 0?
True
Let s = 17 - 12. Suppose -7*m - 215 = -s*j - 2*m, -3*j + 5*m + 127 = 0. Is j a multiple of 15?
False
Let d(j) be the second derivative of 6*j**3 + j**2/2 + 2*j. Does 16 divide d(1)?
False
Suppose -6*r + 4 = -2*r. Is (-6)/3 + 41/r a multiple of 13?
True
Suppose -5*t + 174 = -v, -v + 124 = 4*t + 2*v. Does 17 divide t?
True
Suppose -11 = y - 8. Is 5 a factor of y/(-6)*(10 + 0)?
True
Is 10 a factor of (-7 + 1)/(1/(-8))?
False
Let f(l) = l**2 - 2*l - 5. Let s be f(4). Let k = s + 3. Is 3 a factor of k?
True
Suppose 261 = 4*w + 33. Is w a multiple of 19?
True
Let o be 1/3 - (-22)/6. Suppose -o*m + 2 = -46. Does 7 divide m?
False
Let i(n) = n**2 + n + 2. Let m be i(-2). Suppose 20 = -m*q, -c - 2*q - 1 = 2*c. Suppose -c*r = r - 80. Does 9 divide r?
False
Let l(w) = 2*w**2 + 5*w - 3. Does 21 divide l(-10)?
True
Let b(l) = -l**3 - 4*l**2 - 3*l + 4. Let x be b(-7). Suppose 0 = 7*z - 3*z - x. Is z a multiple of 21?
False
Let l(z) = -z**2 + 4*z + 7. Let n be l(-7). Let q = n - -136. Is 34 a factor of q?
False
Suppose 5*b + 75 = 2*b. Let y = b + 38. Does 5 divide y?
False
Let p be 3/(3/24*6). Suppose 0 = p*m + m. Suppose 71 = 5*r - 3*h, m*r + 2*r = -3*h + 20. Is 10 a factor of r?
False
Suppose -8 = -2*r - 2. Does 4 divide (10*1)/(4 - r)?
False
Let m be (43/2)/(1/2). Let o(g) = 55*g**3 + g**2 - g + 1. Let n be o(1). Suppose 3*f - m - n = 0. Is 15 a factor of f?
False
Let q(w) = -w**3 + 10*w**2 + 10*w - 8. Is 48 a factor of q(10)?
False
Let j = 7 - 11. Let i(b) = -6*b - 2. Does 8 divide i(j)?
False
Does 18 divide (14 + 22)/(3*(-4)/(-6))?
True
Suppose -2*u + 2 = 6. Let k(r) = -4*r - 1. Is k(u) a multiple of 3?
False
Let i be (-45)/1*(5 - 6). Let f = i + -22. Does 11 divide f?
False
Let w(v) = v**2 + 8*v + 16. Is 8 a factor of w(-8)?
True
Let k(s) be the first derivative of 4*s - 3*s**2 - 3 + 1/3*s**3. Is 11 a factor of k(8)?
False
Let x(w) = 3*w**3 + 3*w**2 - 6*w + 1. Is x(4) a multiple of 9?
False
Let w be (5/1)/((-1)/(-4)). Suppose -l = -w - 13. Is 16 a factor of l?
False
Let h(y) = 2*y - 16. Is 8 a factor of h(15)?
False
Let y be 21/6*4/2. Let d = y + -8. Does 6 divide -11*(-1 - (1 + d))?
False
Suppose -7 = -3*y + 8. Suppose o - 4*c = -9, 4*o + 4*c = y*c + 24. Is 7 a factor of o?
True
Let n(j) = 14*j - 14. Is 21 a factor of n(16)?
True
Suppose -4*g = -3*z + 4, 3*g + 2 = -4*z - 1. Suppose -5*q + z*q = -420. Suppose -2*p = p - q. Is p a multiple of 14?
True
Suppose -4*g = m - 159, -5*g + 4*m + 226 - 22 = 0. Is g a multiple of 6?
False
Let u(a) = a - 12. Let x be u(11). Is (x - 1)*(5 - 9) a multiple of 2?
True
Let n be 6/4 + 1/2. Suppose -2*x + 10 = 2*s, n*x + 2*s = x + 7. Suppose 190 = x*a + 2*a. Does 16 divide a?
False
Let f = -7 + 12. Suppose q + 3 = 2*s + 2*q, 0 = -f*s - 2*q + 8. Suppose 0*a - s*a + 22 = 0. Does 4 divide a?
False
Is (25 + -7)/(2/2) a multiple of 13?
False
Let l = -8 + 2. Let i(f) = f**2 + 6*f + 8. Does 6 divide i(l)?
False
Let a(j) = j**3 - j**2 - j + 25. Let s be a(0). Suppose 11 = y - s. Does 12 divide y?
True
Let v be ((-4)/3)/(2/3). Is (-6)/(3/(-1 + v)) a multiple of 4?
False
Let j(n) = -4*n - 6. Is j(-2) even?
True
Suppose -80 + 314 = 3*b. Suppose -m - m = -b. Is m a multiple of 14?
False
Let w(u) = 15*u**2 + 14*u - 15. Let a(l) = 6*l + 4*l + 7*l**2 - 3*l - 7 + 0. Let b(n) = 13*a(n) - 6*w(n). Is 10 a factor of b(-9)?
False
Let g = 22 - 37. Let f be 4*(g/(-6))/5. Suppose 0 = 2*r + f*r - 112. Does 21 divide r?
False
Let k(l) be the third derivative of -l**6/5 - l**5/60 + 5*l**2. Is 14 a factor of k(-1)?
False
Suppose -110*o + 109*o + 75 = 0. Does 25 divide o?
True
Let u(n) = -n**3 - 9*n**2 - 8*n + 6. Let l be u(-9). Let v = -1 + 1. Suppose v = -2*h + 4*h - l. Is h a multiple of 10?
False
Suppose -4*n + 128 = -0*n. Is 7 a factor of n?
False
Suppose -2*l - 4*d + 216 = 0, l + 3*l - 462 = 2*d. Is l a multiple of 18?
False
Suppose -3*y = 5*t - 37, -6*t = 3*y - 5*t - 17. Suppose 2*s + b = 15, y*b = b - 15. Does 5 divide s?
True
Let q be (-1 + -3)/(-4) - -26. Suppose -2*i - q = -3*i - 4*w, 5*w = i - 18. Is i a multiple of 9?
False
Suppose -86 = 5*m + 29. Let d = m - -36. Is d a multiple of 13?
True
Let s(h) = 11*h + 4. Let d be 3/(-18) + (-13)/(-6). Is s(d) a multiple of 13?
True
Suppose 0 = -7*l + 916 + 764. Is 20 a factor of l?
True
Let z(r) be the third derivative of r**4 + 9*r**2. Is z(1) a multiple of 12?
True
Suppose 4*h + 480 = -0*h. Let n = -85 - h. Does 22 divide n?
False
Let y be (3/9 - 0)*6. Let f = 2 - y. Suppose f*r + r = 23. Is 9 a factor of r?
False
Let b(w) = w**3 + 6*w**2 + 5. Let f be b(-6). Suppose -4*i + 5*m + 185 = 0, 3*m = f*i - m - 220. Is 17 a factor of i?
False
Let s(g) = -23*g - 3. Let h be s(-4). Let m = -43 + h. Suppose -4*v + m = -110. Is 13 a factor of v?
True
Let y be (-3)/(-4) - (-19)/(-4). Is 14 a factor of (-6 - -18)*(-14)/y?
True
Suppose u - 1 + 7 = 0. Suppose 4*z + 3 = -5. Is ((-8)/u)/z*-3 even?
True
Let c(k) = -k**2 + 7*k + 2. Let r be c(7). Let y = 3 - -1. Let n = y + r. Does 3 divide n?
True
Let h(s) = -s**3 + 4*s**2 + 4*s - 1. Suppose -u = -2*y - 5*u - 8, -3*y - 3*u = 0. Is h(y) a multiple of 4?
False
Let i(h) = 2*h**2 - 11*h - 9. Let w(y) = -y**3 + 4*y**2 + 8*y - 6. Let n be w(5). Is i(n) a multiple of 22?
False
Let v = -35 - -71. Is v a multiple of 12?
True
Let k = 286 - 34. Does 53 divide k?
False
Suppose -4*q + 2*n + 6 = 0, -q + 5 = q + n. Suppose -q*j + 39 = 3*t, 0 = 2*j - 0*j + 4*t - 42. Is 5 a factor of j?
True
Let d = -73 + 130. Is d a multiple of 19?
True
Let y(a) = a**2 - 7*a + 4. Let u be y(7). Suppose 3*d + d - 5*z = 27, z + 15 = u*d. Does 3 divide d?
True
Let w = 146 - 74. Does 15 divide w?
False
Suppose g = 3*g - 90. Does 11 divide (22/(-6))/((-15)/g)?
True
Let h(p) be the second derivative of -p**6/360 - p**5/10 + p**4/24 + p**3/6 + 2*p. Let r(m) be the second derivative of h(m). Does 13 divide r(-7)?
False
Let s be (7 + -3 + 6)/2. Is 12 a factor of (-18)/s*(-13 - -3)?
True
Let s = -69 + 108. Is s a multiple of 13?
True
Let j(r) = r**2 + 4*r. Let y be j(9). Suppose 128 = 5*d - y. Is d a multiple of 19?
False
Let v(z) = -z + 2. Let i be v(0). Let n be 18 + 4*(-2)/(-4). Let w = n - i. Is 10 a factor of w?
False
Let z(q) = -q**2 - 8*q + 3. Let x = 4 - 11. Let t be z(x). Suppose -t = -3*b + 26. Is b a multiple of 4?
True
Suppose t + 0*t = 0. Suppose -y - m + 54 = t, 0 = -2*m + 4 + 2. Does 17 divide y?
True
Let v be 7 + -9 - 2*-1. Suppose v = -3*j + 29 - 11. Is j a multiple of 3?
True
Let u be (-141)/(-27) - (-4)/(-18). Suppose u*r = r - g + 54, -2*r + 20 = 4*g. Does 14 divide r?
True
Let x be 2 + -1 + 388/(-4). Is 2 a factor of 2/(-5) + x/(-15)?
True
Let m be (-4)/18 - (-398)/9. Suppose 4*j - m = 4*k, -3*j - j = 5*k + 10. Does 5 divide 56/12 + (-2)/k?
True
Is 15 a factor of (1608/(-15))/((-4)/10) + 2?
True
Is 18 a factor of (-1*51)/(-1) + 3?
True
Suppose -8 = -2*k + 4*k. Let a be (-1)/k - 33/(-12). Let p(l) = 2*l**3 - 3*l**2 - 2*l - 4. Is 10 a factor of p(a)?
False
Let c(u) be the second derivative of 13*u**4/12 + u**3/6 + u**2/2 + 6*u. Does 5 divide c(-1)?
False
Let u = -126 + 69. Suppose 3*p - t = -2*t - 253, 4*t - 178 = 2*p. Let z = u - p. Does 18 d