+ 5, 3*p = 4*r + 4 - 19. Let c(z) = p*u(z) + k(z). Is 13 a factor of c(4)?
False
Let o be 2/6 + 140/(-6). Let v be (-2)/(-2 - -1)*-5. Let g = v - o. Does 8 divide g?
False
Let t = 195 + -156. Is 15 a factor of t?
False
Let s = -20 + 176. Is s a multiple of 13?
True
Let w(p) = p**3 + 2*p**2 + 2. Let s be w(-2). Suppose n + s*n - 87 = 0. Does 23 divide n?
False
Let x be (-18)/(-81) + 22/(-18). Let j = 2 + x. Is 23 + 0 + -3 + j a multiple of 21?
True
Suppose 0 = 3*u + 3 + 69. Suppose -g - 2*t = 2*g + 55, -4*t = 4*g + 80. Is 17 a factor of (u/9 - 0)*g?
False
Let d = -1 + -4. Let c be (4/(-10))/(1/d). Let n(b) = 3*b**2 - 2*b + 2. Is 10 a factor of n(c)?
True
Suppose -3*l + 100 = 2*s, 0 = -4*s + l + 115 + 85. Is s a multiple of 14?
False
Let h(o) = -o**2 - 11*o + 6. Is h(-8) a multiple of 30?
True
Is (1 + (-3)/(-15))/((-1)/(-150)) a multiple of 30?
True
Does 7 divide 204/10 + 6/10?
True
Suppose 271 = u - i - 38, 4*u = 2*i + 1242. Is 69 a factor of u?
False
Suppose -8*i - 3*h - 12 = -3*i, -3*i + 2*h = -8. Suppose i*o + o + 48 = 3*u, 0 = -4*o. Is 8 a factor of u?
True
Let u(m) = -m**2 - 10*m - 1. Let z be u(-5). Suppose z = 4*s - 0*s. Is 6 a factor of s?
True
Suppose 7 = 2*a + o, -4*o + 12 = -3*a - o. Let x be -6 + 7 + (-1)/a. Is (x - -1)*(1 - -4) a multiple of 2?
False
Let m be 2/(2/1)*1. Does 12 divide m/(-5) + (-181)/(-5)?
True
Suppose y + 109 = -3*k, 4*k = 4*y - k + 368. Let z = -55 - y. Does 12 divide z?
False
Let o = 148 - 97. Is 13 a factor of o?
False
Let u(d) = -d**3 - 8*d**2 + 2*d + 5. Let v be u(-6). Let l = 117 + v. Is l a multiple of 13?
False
Suppose 0 = -9*h + 4*h - 445. Let q = -64 - h. Suppose -5*d - q = 0, 0 = -4*y + 2*d + 1 + 89. Does 10 divide y?
True
Let y be (-84)/(-22) - (-14)/77. Suppose 6 + 10 = y*l. Does 4 divide l?
True
Suppose -4*q = -5*b - 248, -q - b + 55 = 2. Suppose 5*m - 4*m - q = 0. Is 19 a factor of m?
True
Let w(n) = -n**2 - n - 1. Let t(q) be the third derivative of -q**5/60 - q**4/6 - 7*q**3/6 - 4*q**2. Let k(d) = t(d) - 2*w(d). Is k(4) a multiple of 3?
True
Suppose -3*b - 2*y - 128 = -5*b, 5*b - 3*y - 318 = 0. Is (-2 - b/6)*-2 a multiple of 21?
False
Let j(g) = 1. Let y(v) = -4*v - 13. Let s(x) = 4*j(x) + y(x). Is 5 a factor of s(-6)?
True
Does 5 divide 214/9 + 6/27?
False
Is 5 a factor of (240/(-18))/((-8)/12)?
True
Suppose -3*j + x - 6 = -j, -4*j + 3*x = 10. Let m(r) = -2*r + 1. Let h be m(j). Suppose -2*f + 25 = h. Is 5 a factor of f?
False
Let v(l) = l**2 + 4*l - 5. Is 8 a factor of v(-7)?
True
Let p = 50 + 18. Suppose 9*w - p = 5*w. Does 6 divide w?
False
Let d(z) = z**2 + 7*z + 19. Is d(-11) a multiple of 9?
True
Does 9 divide 9/(-15) + (-192)/(-20)?
True
Let a(t) = t**2 - 2*t + 5. Let x be a(-4). Let v = -8 + x. Is v a multiple of 7?
True
Let f = -11 + 8. Let i(q) = 2*q**2 - 3*q - 4. Is i(f) a multiple of 6?
False
Let b(q) = -q**2 - 13*q - 21. Is b(-8) a multiple of 14?
False
Suppose -5*j = -2*j. Let r be j + 1 + 124/4. Suppose 5*m - r = m. Is m a multiple of 4?
True
Let j(k) be the second derivative of -k**5/20 - k**4/12 + 3*k**2 + k. Does 3 divide j(0)?
True
Let h(g) = g**3 - 6*g**2 - 6*g - 7. Let p be h(7). Suppose m - 6 = -p. Is 6 a factor of m?
True
Let n be 6/2 - (-2 - -1). Suppose -h = -3*x + 23 + 25, -3*h = n*x - 51. Is x a multiple of 5?
True
Suppose 22*y = 20*y + 208. Does 13 divide y?
True
Let o = 23 - 64. Let f = -58 - -37. Let d = f - o. Does 8 divide d?
False
Let k(d) = -d**3 + 5*d**2 + 8*d - 4. Let b(s) = -5*s - 4. Let n be b(-2). Does 2 divide k(n)?
True
Let d be 0*2/(-2) + 3. Suppose -d*i + 4*i - 19 = 0. Is i a multiple of 7?
False
Let j = 601 - 301. Is j a multiple of 25?
True
Let c(a) = a**2 + 13*a + 12. Is 20 a factor of c(-16)?
True
Let y = 236 - 28. Is 50 a factor of y?
False
Let y be 1/(-1)*(-2 - 1). Suppose y*o - 54 = o + 3*w, -w + 59 = 3*o. Is o a multiple of 10?
False
Let f be 4 + (2*3)/(-3). Let r be 0 - (-1 + f + -2). Suppose -k = -r - 9. Does 9 divide k?
False
Let u = 49 - 41. Is u a multiple of 4?
True
Let l(f) = 2*f**3 + f**2 + 2*f + 1. Let q be l(-2). Does 15 divide (1 + 15)*q/(-10)?
False
Let t(c) = 7*c - 1. Let j be ((-1)/2)/(2/(-12)). Suppose -4*n - 2*p - 2 = 0, 2*p + 18 - 2 = j*n. Is t(n) a multiple of 5?
False
Suppose -3*c - 1 = -7. Suppose -27 = -c*i + 45. Is 16 a factor of i?
False
Let c(w) = 4*w + 59. Is c(-8) a multiple of 9?
True
Suppose 8 = 3*k - 7. Suppose -2*s + k*n - 32 = -91, 0 = n - 5. Is 14 a factor of s?
True
Let r be (-1)/((-4)/4)*20. Suppose -4*i - 3*t + 44 = 0, -i - i - t = -r. Is 8 a factor of i?
True
Let i(y) be the first derivative of y**3/3 - 2*y**2 + 3*y + 2. Suppose 0*l = l - 5. Is i(l) a multiple of 4?
True
Let b be 3 - (0/(-2) + 1). Suppose -k + 0*k - b*a + 4 = 0, 2*a + 12 = 3*k. Is k a multiple of 4?
True
Suppose 0 = -4*h - 3*v + 46, -3*v = 5*h - 2*h - 36. Does 8 divide h?
False
Let c(n) = n - 7. Let z be c(6). Let q = 3 - z. Is 4 a factor of q?
True
Let p(g) = -g**2 + 5*g + 10. Let m be p(7). Let i = 4 - m. Is 4 a factor of i?
True
Suppose z + 18 = -3*l, -5*z - 10 = 2*l + 119. Let g = -13 - z. Is g a multiple of 7?
True
Suppose -26 + 10 = 4*v. Let m be 195 + 5/((-10)/v). Suppose 2*k + k = -5*i + m, -2*i + 67 = k. Is 20 a factor of k?
False
Suppose -507 = 3*j - 6*j - 4*m, -4*j + 2*m + 654 = 0. Suppose g - 5*s - 1 = -5, -5*g - 4*s = j. Let v = -4 - g. Is v a multiple of 25?
True
Let c(r) = -62*r + 1. Let h be c(-1). Suppose 0 = 4*j - 5*o - h, 0 = -j - 4*o + 2*o + 6. Let i = j + -4. Does 3 divide i?
False
Suppose -2*z = -4*z - 2. Let y = 49 + z. Is 24 a factor of y?
True
Let o(w) = -33*w**3 - w**2 - 6*w - 6. Let u(b) = 67*b**3 + 3*b**2 + 13*b + 13. Let t(v) = 5*o(v) + 2*u(v). Let k be t(-3). Is 2/(-3) + k/21 a multiple of 22?
False
Is 20 a factor of (-31)/(0 + (-5)/20)?
False
Is 11 a factor of (-12)/8*88/(-3)?
True
Let m(d) = -d**3 + 9*d**2 + d + 12. Is 4 a factor of m(8)?
True
Let g(v) = 9*v - 2. Suppose 5*k + 7 = -5*a - 8, -k - 11 = -3*a. Does 16 divide g(a)?
True
Suppose -4*t + 944 = 2*z, 2*t = 5*z - 2336 - 24. Suppose 2*j = 4*j - z. Suppose 5*p + 2*k = j, -4*p + 2*k + 181 = k. Does 15 divide p?
False
Suppose 2*r + 2*s = -2*r + 206, 0 = 4*s - 20. Is 14 a factor of r?
False
Let j be (259/(-4))/(1/(-4)). Suppose -d = -6*d - 3*u + j, 2 = -u. Let f = d + 0. Is f a multiple of 21?
False
Let j = 37 + 3. Is j a multiple of 9?
False
Suppose -5*l + 76 = -29. Is 7 a factor of l?
True
Let c(j) = -9*j - 1. Does 4 divide c(-1)?
True
Let h(y) = y**3 - 6*y**2 + 2*y - 4. Let g be h(6). Suppose -3*v - j = g, -4*v + 4 = -v + 4*j. Does 13 divide v/14 - (-372)/28?
True
Let m be ((-1)/(-3))/(3/(-9)). Let h be (-5)/(-2)*(0 - -2). Let j = m + h. Is j a multiple of 4?
True
Suppose 1 = m - 1. Let s(i) = 2*i**2 - 4*i**2 + i**m - 10*i. Is s(-9) a multiple of 4?
False
Suppose 0 = 4*b + 3*i + 2*i - 140, 5*b = -4*i + 166. Suppose -y + b = y. Does 7 divide y?
False
Let w be (2/(-4))/(9/108). Is (3 - 0)*(-32)/w a multiple of 16?
True
Suppose -3*w + 1 = -5. Suppose -41 = -w*f + u, -4*f + f = u - 54. Is f a multiple of 19?
True
Let z be 1*12/(-15)*50. Let d = z - -18. Is 5 a factor of 2/(-4) - d/4?
True
Does 20 divide 4 - (698/(-6) + 4/12)?
True
Let w(j) be the third derivative of j**5/60 + j**4/4 - 2*j**3/3 - 3*j**2. Does 17 divide w(-12)?
True
Let o be 1 - 2 - (1 - 38). Suppose -3*u + o = -0*u. Suppose u = 4*b - 48. Is b a multiple of 8?
False
Suppose -9*w + 6*w - 15 = 0. Let n be 10/4*(-16)/w. Let o(b) = 3*b - 1. Is o(n) a multiple of 20?
False
Let z(c) = 2*c**2 - 7*c + 3. Is z(6) a multiple of 8?
False
Suppose 0 = 3*y - 4*w + 5, 0 + 40 = 5*y + 3*w. Suppose 3*r - 6 = r - 5*i, 0 = -3*r - y*i + 9. Is 3 a factor of r?
True
Suppose 0 = -5*i, -4*t - 2*i - 3*i = -436. Is t a multiple of 19?
False
Suppose 3*r = -5*m + 310, 0 = -5*r - 4*m + 475 + 33. Is r a multiple of 50?
True
Suppose 3*u = 5*u - 6. Let t = 0 + u. Suppose t*k = 8*k - 25. Is k a multiple of 5?
True
Let t(l) = l**2 - 1. Let w be t(-1). Suppose -4*y + 0 + 4 = w. Is 17 a factor of 6/(y*6/39)?
False
Let l be ((-30)/(-35))/((-2)/(-28)). Is 8/l*(2 - -34) a multiple of 12?
True
Let h = 12 - 9. Suppose h*p - 32 = p. Is p a multiple of 8?
True
Suppose -6*k + 4*k + 8 = 3*j, j = k + 6. Does 2 divide j?
True
Let p(v) = 8*v**3 + 18*v**2 + 6*v - 7. Let c(h) = -9*h**2 + 9 - 6*h**2 - 2*h**2 - 3 - 7*h**3 - 6*h. Let t(z) = -7*c(