le of 19?
False
Let b be 6/(-3) + -1 + 5. Let q(p) = -5*p + 2*p**2 + p**3 + 4*p**2 - 4 + p + 0*p**b. Does 10 divide q(-6)?
True
Let n(k) be the first derivative of 1/4*k**4 + 7/3*k**3 + 4 - 6*k + 0*k**2. Does 10 divide n(-6)?
True
Let j(v) = -v**2 + 11*v + 6. Is j(7) a multiple of 7?
False
Let m = 28 + -45. Let n = 53 + m. Is 12 a factor of n?
True
Suppose -2*a + 2*d - 1 - 1 = 0, 2*d - 8 = 0. Let o(n) = -n - 1. Let t(s) = 1. Let i(r) = -6*o(r) - 4*t(r). Does 13 divide i(a)?
False
Suppose 15 = 5*r, 4*b - 3*r + 7 = -6. Let p(w) = -3*w**3 - 2*w**2 - 2*w - 1. Let h be p(b). Suppose h*y - 12 = 22. Is y a multiple of 15?
False
Let q(u) = u**3 - 6*u**2 + 5*u + 1. Let t be q(5). Let j be t*34*1/2. Is (j/(-2))/(2/(-4)) a multiple of 17?
True
Is (-552)/(-5) + 21/35 a multiple of 6?
False
Suppose t - 5*g = 33, 4*t - 12 - 45 = 5*g. Let u = 24 - t. Is 16 a factor of u?
True
Let r = 3 - -20. Is r a multiple of 7?
False
Let v be -2*(-1 - -2) + 22. Let x be 2457/99 - 4/(-22). Suppose 0 = 5*m - v - x. Is 4 a factor of m?
False
Suppose 226 = 5*o + 3*a, o - 4*a + 2*a - 40 = 0. Does 11 divide o?
True
Let w = 63 + -27. Is 13 a factor of w?
False
Let d = -1 + 2. Is d/(((-1)/(-7))/1) a multiple of 7?
True
Suppose -62 = -3*d - 2*f, 4*f = 5*d + f - 116. Is d a multiple of 5?
False
Is 4/(16/202)*(1 - -1) a multiple of 16?
False
Let i(x) = -x + 21. Is 9 a factor of i(-7)?
False
Let u = 59 - 17. Is u a multiple of 14?
True
Suppose -m + 5*p = -108, 3*p = -2*m + 151 + 65. Is 9 a factor of m?
True
Let a(q) = 10*q - 2. Let p(u) = u**2 + 5*u + 1. Let g be p(-4). Let c be -2 - (g + (-1 - 1)). Does 14 divide a(c)?
True
Let j(p) = 3*p**3 - 2*p**2 + 1. Let n be j(1). Suppose n*u = -16 + 112. Does 16 divide u?
True
Suppose -v + 10 = -5. Does 4 divide v?
False
Let x(f) = f**2 + 12*f. Let y be (-2*1 - 5) + -1. Let j be x(y). Let m = j + 48. Does 9 divide m?
False
Suppose -2*s + 4*i - 7 = -1, -2*i = -2*s. Suppose 4*l - 80 = 3*x, -s*l + 4*x - x + 60 = 0. Does 8 divide l?
False
Let o be 1*4 - 4/4. Suppose -o*q + q = 0. Suppose -2*n + 14 + 10 = q. Is 4 a factor of n?
True
Is 2/10 + (-942)/(-15) a multiple of 13?
False
Let k(t) = 3*t - t + 1 + 3*t. Does 26 divide k(5)?
True
Suppose 4*z - 15 = 5*g, g = 4*z + 4*g + 9. Suppose -y - 50 = -s, -y = -3*s - z*y + 152. Does 17 divide s?
True
Suppose -4*w = -7*w + 2*f + 210, -2*w - 2*f = -130. Let d = -26 + w. Is 14 a factor of d?
True
Suppose -f = 3*y - 33, -5*f = 2*y - y - 179. Is f a multiple of 9?
True
Suppose -4*v + 113 = 33. Does 16 divide v?
False
Is 36/(4 + (-10)/4) a multiple of 6?
True
Let k(m) = -4*m - 14 + 4 + 2*m. Let i be k(7). Is 14 a factor of 7/1*i/(-6)?
True
Let o = -4 + 9. Let c = o - 6. Is 15 a factor of c/(-2) + (-58)/(-4)?
True
Let q(a) = -a**2 - a - 52. Suppose -3*d = -2*d. Let g be q(d). Let p = 75 + g. Is 8 a factor of p?
False
Suppose -2 = 3*i - 8. Suppose 0 = 5*b, -j - 2*b + 42 = i*j. Is j a multiple of 6?
False
Let b(w) = -31*w**2 - w + 1. Let f be b(-2). Let j = -79 - f. Suppose 2*p - s = s + 16, 3*p = -3*s + j. Is p a multiple of 3?
False
Suppose -4*p - 4*b + 216 = 0, -3*p - b + 183 = -5*b. Does 4 divide p?
False
Let k(o) = 9*o + 7. Is k(3) a multiple of 5?
False
Let b(g) = g + 5. Let r(f) be the second derivative of f**4/12 - f**3/3 - f**2 - f. Let u be r(4). Is b(u) a multiple of 11?
True
Suppose -4*g = 3*u - 31, -5*g + 15 = -0*g - u. Let y = -7 - -12. Suppose -y*q + g*k = -136, 3*k = -0*q + 4*q - 108. Is q a multiple of 12?
True
Let g be (2/(-4))/((-2)/8). Let a(u) = -3 - g*u - 20*u + 4. Is 11 a factor of a(-1)?
False
Suppose -1 = -m + 20. Is 21 a factor of m?
True
Let t = -100 + 225. Let z be t*3*6/45. Is 8/(-5)*z/(-4) a multiple of 10?
True
Let s = -56 + 88. Is s a multiple of 5?
False
Suppose 2*v + 2 = 3*v. Let c be v/4*(1 - -1). Is (1 - -27) + (c - 1) a multiple of 14?
True
Suppose 5*q = 4 + 6. Suppose -3 = -2*p + d + 10, q*p = 4*d + 10. Let l = 18 - p. Does 11 divide l?
True
Let q(m) = -5*m**3 + 2*m**2 - m. Let k be q(2). Let s = -20 - k. Does 6 divide s?
False
Let p = 121 - 68. Is 9 a factor of p?
False
Let z(u) be the first derivative of -2*u**3 + u**2 + 4*u + 2. Let g(f) be the first derivative of z(f). Is 13 a factor of g(-2)?
True
Let n = 54 + -28. Is 7 a factor of n?
False
Suppose -u = -8 + 17. Let l = u + 0. Let i = l - -27. Is 9 a factor of i?
True
Let l(y) = y**3 - 5*y**2 - 7*y + 9. Let k be l(6). Suppose -2*i + 7 = k. Suppose -i*x + 88 = 2*x. Is x a multiple of 19?
False
Does 13 divide (-216)/(-16) + 2/(-4)?
True
Suppose 4*h - 98 = 34. Is h a multiple of 20?
False
Suppose 4*w = -3*w + 98. Is 14 a factor of w?
True
Let r(a) = 54*a - 3. Does 17 divide r(1)?
True
Let r(p) = -24*p**3 + p**2 + 2*p + 1. Let l be (1/(-2))/((-1)/(-2)). Does 12 divide r(l)?
True
Let t = 1 + 3. Suppose 6*m - 2*v - 78 = m, 4*m = -t*v + 40. Is m a multiple of 14?
True
Let o(b) = b + 49. Is o(17) a multiple of 6?
True
Suppose -p = 3*o - 182, -2 = -o + p + 56. Is 20 a factor of o?
True
Is 10 a factor of 10/(-25)*1*-85?
False
Let j = -10 - -15. Suppose -n - 2*n + 47 = 5*r, -2*n = -j*r + 27. Is r a multiple of 7?
True
Let d(p) = 23*p + 6. Let j be d(7). Suppose -5*n + 22 = j. Is 6/(-5 - -3) - n a multiple of 13?
True
Let o(z) be the first derivative of -z**6/120 + 2*z**5/15 + 5*z**4/12 + 3*z**3/2 - z**2/2 - 1. Let v(h) be the second derivative of o(h). Does 9 divide v(9)?
True
Suppose 2*u + 0*s - s - 3 = 0, 3*u - 3*s = 0. Let b(l) = 3*l**2 - 2*l + 3. Is b(u) a multiple of 8?
True
Let l = -22 + -31. Let s = -37 - l. Does 16 divide s?
True
Suppose -3*j = 2*s - 4, 4*j = -3*s + 7 - 1. Let q = 7 - 6. Suppose -s*d = -27 + q. Is 7 a factor of d?
False
Let n(m) = -23*m - 1. Does 22 divide n(-1)?
True
Let z(d) be the third derivative of -d**5/60 - 7*d**4/12 - 2*d**3 - 3*d**2. Let y(o) = 2*o**3 + 3*o**2 + 3*o. Let b be y(-2). Does 13 divide z(b)?
False
Let r = -36 - -67. Is r a multiple of 4?
False
Let d = 26 - -20. Does 7 divide d?
False
Let o be ((-42)/(-35))/(1/5). Suppose -2*u - 20 = -o*u, -5*i + 25 = -5*u. Does 6 divide i?
False
Suppose -3*n + 3*d = 3, 2*d = -d. Let c(a) be the third derivative of 29*a**5/60 - a**4/24 - a**3/6 - a**2. Does 9 divide c(n)?
False
Let r be (-3 - -2) + 12/3. Suppose -r*c + 123 = -6. Is 11 a factor of c?
False
Let t = 2 - 6. Let b be (t/(-6))/((-1)/(-3)). Suppose -u = -3*u - b, -3*p = 5*u - 58. Is p a multiple of 8?
False
Let l(b) = 14*b - 3. Suppose -4*n + 5*n - 5*m = -4, 0 = 3*n + m - 4. Is l(n) a multiple of 11?
True
Let o(f) = -6*f + 2. Let u be o(6). Let r = u - -58. Is r a multiple of 7?
False
Let p(w) = -4*w + 1. Let x(m) be the third derivative of m**4/8 + m**3 + m**2. Let i be x(-4). Does 13 divide p(i)?
False
Let f(b) = -b**3 - b + 3. Let w be f(0). Let v be w/(-6)*8/(-1). Suppose 0 = 5*t + v*i + i - 50, 3*t - 32 = -2*i. Is 6 a factor of t?
True
Let n be (1 + (-3)/3)/2. Suppose 2*k + 4*g - 24 = 0, 5*k + n*k - 2*g - 12 = 0. Suppose p - 4*m - k = 0, -52 + 9 = -2*p + m. Is 9 a factor of p?
False
Let r(s) = 2*s**2 - 5*s + 2. Let k be r(3). Suppose -m + 9 = t, m + 10 = k*t - 11. Suppose -90 = -t*q + 10. Is 8 a factor of q?
False
Let j(f) = -5*f**2 - 6*f + 7. Let r be j(7). Is ((-2)/(-4))/((-5)/r) a multiple of 6?
False
Suppose -5*x - 2*v - 24 = 0, x - 3 = 3*x + 3*v. Is 8 a factor of (-348)/(-21) - x/14?
False
Let v be 14/35 - 14/10. Does 19 divide (-3 - (48 - -2))*v?
False
Suppose 0 = -4*l + 13 + 3. Let m = -2 + l. Suppose -m*o = o + j - 92, -14 = -o + 3*j. Is o a multiple of 16?
False
Suppose -3*a - a + 8 = 0. Suppose m + c - 17 = 2*c, m - 26 = -a*c. Let o = -12 + m. Is 4 a factor of o?
True
Let u(t) = 2*t**2 - 2*t - 12. Is 9 a factor of u(7)?
True
Suppose 0*p + 225 = 3*p. Let o = p - -11. Does 17 divide o/2 + 4/(-2)?
False
Let k = -1 - -2. Let f = 8 - 12. Is k/f - (-231)/12 a multiple of 9?
False
Let s = 15 + 2. Is 3 a factor of s?
False
Let l be 16 - -2*(-1 - -2). Suppose o = 4*o - l. Does 6 divide o?
True
Suppose s = -1 + 4. Suppose -g - 3*b = -5 - 9, -84 = -4*g + 2*b. Suppose w - s*d = -5, -4*d + 2*d + g = w. Does 10 divide w?
True
Let c be -2 + 0 + -2*7. Let g be (4/(-6))/(4/(-162)). Let y = g + c. Is 11 a factor of y?
True
Suppose -4*l + 4*r = 0, -4*r = -21 + 1. Suppose -l*u + 4*u - 3*y + 1 = 0, -4*u + 4*y = -52. Is u a multiple of 5?
True
Let b(l) be the second derivative of -l**3/2 - l**2 - 