. Does 19 divide b(p)?
False
Let g(x) = -2*x + 29. Let d be g(12). Suppose 0 = r + 4, d*r - 17 = -2*n + 45. Does 19 divide n?
False
Let l = 253 - 104. Is 16 a factor of l?
False
Suppose 4*r - 3*r - 3*o - 140 = 0, -265 = -2*r + 3*o. Suppose -2*v + 1 = -1, 4*v + r = 3*c. Let i = c + -17. Does 13 divide i?
True
Let h = -9 + 16. Suppose 4*w - h = 1. Suppose w*c - 6*c = -76. Is c a multiple of 6?
False
Is (10 - 0)/((-30)/(-45)) a multiple of 15?
True
Does 2 divide ((-9)/2)/((-7)/14)?
False
Let b = 9 - 7. Is 6 a factor of b/7 - (-300)/28?
False
Let q be 3/(3/5)*-1. Let o be (-207)/q + (-6)/15. Let v = -25 + o. Does 16 divide v?
True
Suppose 0 = -5*l - 9 - 131. Let v(j) = j**2 - 2. Let s be v(0). Let x = s - l. Is x a multiple of 13?
True
Let f(d) = d - 1. Let j be f(6). Suppose -j*o - 55 = -5*q, -2*q + 4*o = -q - 11. Is q a multiple of 11?
True
Let h = 1 - 5. Let n = h + 9. Suppose -2*g - 6 = -n*g. Is g even?
True
Suppose -b - 300 = 2*b. Let s = -57 - b. Does 15 divide s?
False
Let v(g) = -g - 2. Let o(i) = 7*i + 1. Let n be o(-1). Is v(n) a multiple of 4?
True
Let k = 314 + -146. Suppose -4*x + 148 = -k. Does 21 divide x?
False
Let m be ((-2)/(-1))/(-4 - -2). Let p be (-10 - (2 - 1))/m. Let l = p + 2. Is l a multiple of 10?
False
Suppose -5*v = -c - 82 - 334, -3 = 3*c. Let z = -40 + v. Does 17 divide z?
False
Suppose -2*o - 3*o = -5. Let u(q) = 0 + 7*q - o + 0*q - 3*q. Is u(1) a multiple of 2?
False
Let o be (10/(-4))/1*-2. Let r = -3 + o. Suppose -92 = -2*h - 3*m - m, 0 = -r*m + 6. Is 20 a factor of h?
True
Let z = -95 + 170. Does 23 divide z?
False
Let g(u) = -8*u**2 + u - 4. Let s(x) = -31*x**2 + 5*x - 17. Let w(d) = -9*g(d) + 2*s(d). Is 14 a factor of w(-2)?
False
Let r be 8/4 - 38*-3. Suppose -5*g + 134 + r = 0. Is g a multiple of 14?
False
Let x(l) be the second derivative of -1/2*l**3 + 1/2*l**2 + 0 - 1/20*l**5 - 1/12*l**4 - 3*l. Is 14 a factor of x(-3)?
True
Let y = -218 - -446. Is y a multiple of 38?
True
Suppose 0 = 4*i + 2*z - 1232, 0*z + 600 = 2*i - 3*z. Does 34 divide i?
True
Let t(w) = w - 1. Let g be t(3). Suppose g*u - 4 + 0 = 0. Suppose -j + 58 = -0*s + 4*s, 3*s + u*j - 46 = 0. Is s a multiple of 7?
True
Does 18 divide (-3 - (-18 - -6))/((-2)/(-24))?
True
Let s(v) = 2*v + 14. Let z be s(-10). Let u(j) = j**3 + 8*j**2 + 7*j + 2. Is u(z) a multiple of 10?
False
Let m = 5 + 13. Does 18 divide m?
True
Let l = -15 + 20. Is 2 a factor of l?
False
Suppose 2*u + 108 = 2*j, -4*j - 4*u = -j - 162. Is j a multiple of 14?
False
Let z = -1 + 6. Suppose 2*n + z*h - 57 = 0, -71 = -5*n - 3*h + 43. Is n a multiple of 7?
True
Suppose -g = 7 - 25. Is 18 a factor of g?
True
Let b(p) = -2*p - 7. Let d be b(-7). Suppose -d = -3*x + 3*t - 46, 0 = -2*x + 5*t - 14. Let j = -1 - x. Is 8 a factor of j?
True
Is 11 a factor of 1*47/1 - -4?
False
Let c(y) = -y**2 - y - 2. Let k be c(0). Is (7 - 1)*(3 + k) a multiple of 6?
True
Let c(s) be the third derivative of -1/6*s**3 + 25/24*s**4 + 0 + 0*s - 2*s**2. Is 10 a factor of c(1)?
False
Suppose -3*d - n = -363, -4*d + 597 = d - n. Does 30 divide d?
True
Let j(f) = f**3 - 5*f**2 - 7*f + 7. Let h be j(5). Is 8/28 + (-496)/h a multiple of 9?
True
Let t be 1/3 - (-10)/6. Suppose -3*x - t = 4, -5*n + 4*x = -113. Is n a multiple of 17?
False
Let m(s) = 6*s**2. Let a be m(1). Suppose 5*l - 4*y - a - 5 = 0, -2 = -l + y. Suppose l*r - 21 = 42. Is r a multiple of 19?
False
Let y(v) = v**3 + 7*v**2 - 5*v - 8. Let z(u) = -u**3 + u**2 - u - 1. Let s(g) = y(g) + 2*z(g). Is s(7) a multiple of 18?
False
Let n(w) = -5*w - 6. Let k be n(-4). Let b = 24 - k. Suppose 0 = -4*v + 4*x + 9 + 39, -5*x - b = 0. Does 10 divide v?
True
Suppose -2*s - 3*s - 5 = 0. Let a(f) = 15*f**2 - f - 1. Is a(s) a multiple of 15?
True
Suppose -3*b = -23 - 37. Let i be (16/(-20))/((-1)/70). Is i/b + (-2)/(-10) a multiple of 2?
False
Let y(a) = 25*a**3 - 2*a**2 + a + 1. Let k be y(1). Let c = k - 8. Is c a multiple of 17?
True
Let s(g) = -128*g**3 + 6*g**2 + g - 4. Let j(y) = -85*y**3 + 4*y**2 + y - 3. Let u(p) = 7*j(p) - 5*s(p). Is u(1) a multiple of 11?
True
Suppose 3*x + 2*x = 10. Does 4 divide x/((-8)/12) + 7?
True
Let u(q) = -q**2 + 3*q + 3. Let t be u(6). Is (54/t)/(6/(-20)) a multiple of 6?
True
Let x(u) = u - 12. Let z be x(9). Let i be (9/z)/(1 + -2). Suppose i*f + 2*f = 75. Is f a multiple of 15?
True
Suppose -k - 14 = -4*z - 2*k, 4*z - 2*k - 20 = 0. Is 4 a factor of z?
True
Let q(i) = i**2 + i - 1. Is 29 a factor of q(-6)?
True
Let k be (-7)/(-35) - 48/(-10). Suppose -5*t = 2*p - 71, -6 = 3*t - k*p - 30. Is 13 a factor of t?
True
Is 11 a factor of 1/((-1)/22*-2)?
True
Let a = 17 + -12. Let r(m) = 2*m - 23. Let b(f) = -f + 11. Let j(y) = 9*b(y) + 4*r(y). Is j(a) a multiple of 2?
True
Let u(o) = o**3 + 10*o**2 - 2*o - 11. Let s be u(-10). Suppose 2*q = 3*g - s, -8 = g + 4*q + 3. Does 6 divide g/(1/11) - 1?
False
Suppose 0*r = -4*r + 112. Is 14 a factor of r?
True
Suppose -3*y + 8 = -7*y. Is -2*y*(-11)/(-4) a multiple of 11?
True
Let w be (30/(-18))/(2/12). Let m = 4 - w. Is 9 a factor of m?
False
Suppose 5*d - 5 = 0, d - 1 = -r + 2. Suppose 4*p - 3*p - r = 5*v, -p - v = 4. Is 14 a factor of (-84)/9*p/2?
True
Let p be ((-4)/3)/((-14)/(-441)). Let h be (p/(-8))/((-2)/(-8)). Let m = 36 - h. Is 6 a factor of m?
False
Suppose 0*m + 2*m = 10, 0 = 3*y + 2*m - 46. Does 7 divide (y/10)/(6/105)?
True
Suppose 7 = -3*t + d - 8, -2*t = 4*d + 24. Let h be -2*(-1 + (-9)/t). Does 10 divide 18 - (3*h + 1)?
True
Let j be -8*-2*(-15)/(-24). Suppose 3*x - j = -2*x. Let p(g) = g**3 - 2*g + 3. Is p(x) a multiple of 7?
True
Suppose 0 = -w + 6*w - 340. Is w a multiple of 17?
True
Let o(u) = u**3 - 2*u**2 + 2*u - 2. Let z be o(2). Let w be z/5 + (-6)/(-10). Does 17 divide w/(-3)*(2 - 125)?
False
Suppose -35 = -3*p + 244. Is p a multiple of 31?
True
Let a(u) = 3*u**3 - 8*u**2 + 6*u + 9. Is a(4) a multiple of 29?
False
Suppose -4*m + 202 = -66. Suppose -2*r + 3*o = 47, 6 = -3*r - 3*o - 72. Let t = r + m. Does 16 divide t?
False
Suppose l - 5 = 0, -z - l = -5*z - 225. Let w be 2/(-3) + (-524)/6. Let k = z - w. Does 12 divide k?
False
Suppose 56 = g + 3*g + 2*j, -4*g + 64 = -2*j. Let z = 6 + g. Suppose -z = -3*p - 6. Does 5 divide p?
True
Let q = 3 - -6. Suppose 2*c - q = 3. Let h(l) = 2*l**2 - 9*l + 1. Does 11 divide h(c)?
False
Suppose -5*c + 3*z = -12, -2*z - 1 - 7 = 2*c. Suppose 4*s - 79 = -4*j + 85, -5*s - 15 = c. Suppose -4 - 98 = -4*q - 2*p, 3*q - 5*p = j. Is 8 a factor of q?
False
Let h = 18 - 14. Suppose -4*n - 108 = -h*y, -2*y = 2*y + 4*n - 68. Does 21 divide y?
False
Let n(k) = -60*k**3 + 3*k**2 - 2. Is 20 a factor of n(-1)?
False
Let d(j) = 2*j + 13. Does 3 divide d(4)?
True
Suppose -v - 144 = -4*v. Is 36 a factor of v?
False
Suppose 636 = 2*s - 0*s. Suppose -4*i - 18 + s = 0. Does 25 divide i?
True
Let f(b) = 41*b + 1. Is 21 a factor of f(1)?
True
Suppose -4*f + 1200 = f + 5*h, 0 = -3*h - 3. Does 22 divide f?
False
Suppose -c - 11 = -4*t, 0 = 4*t - 0*c + 4*c + 4. Is t a multiple of 2?
True
Suppose -x - 74 = -3*i, -5*i + 28 = -4*i + 3*x. Let g = -24 + 63. Let b = g - i. Is b a multiple of 14?
True
Suppose 0 = 4*q - 673 - 43. Is q a multiple of 25?
False
Suppose -3*r + 8*r - h + 26 = 0, -16 = 4*r - 2*h. Let n be (16/6)/(r/(-9)). Suppose n*p - 41 = 47. Is p a multiple of 11?
True
Suppose -278 = -3*u - 5*f, -f - 185 = -2*u - 4*f. Does 25 divide u?
False
Let f = -16 + 30. Suppose -4*q - x = -43 + f, -2*x + 22 = 2*q. Is 4 a factor of q?
False
Let r = -1 - -5. Suppose -r*j - 5*c = -0*j - 305, -326 = -4*j + 2*c. Let a = j - 55. Does 17 divide a?
False
Is (1 + (-10)/6)/((-15)/1800) a multiple of 10?
True
Let y(v) = 9*v**2 - 6*v + 3. Is 22 a factor of y(3)?
True
Suppose -2*o + 4*o = 0. Suppose o = -2*i - 2*i. Suppose 0 = -7*a + 3*a - 2*b + 32, i = 5*a - 5*b - 25. Does 7 divide a?
True
Let v be 4/(-6) - (-2)/(-6). Let j be (v + 0)*(-21)/(-3). Let h = j + 22. Is h a multiple of 15?
True
Let p(o) be the first derivative of 2*o**2 - 12*o + 2. Is 12 a factor of p(9)?
True
Suppose -2*q + 4*h + 28 = -q, 4*h - 112 = -4*q. Suppose 2*w = 2*o - q, -8 = -4*o - 2*w + 60. Let p = o - 8. Does 6 divide p?
False
Does 5 divide 22 - (3 + -3 + -3)?
True
Let w be ((-15)/(-6))/((-1)/(-2)). Suppose 5 = w*v - 4*v. Let o = v + 0. Does 5 divide o?
True
Suppose 2*r - 30 = -m + 17, 5*r + 2*m - 12