**2 - j + 65. Does 13 divide k(0)?
True
Let p(y) = y + 6 + 2*y - 7. Let g be p(2). Suppose 0 = -3*h - 4*u + 31, 0 = -h + g*u - 4 - 11. Is 3 a factor of h?
False
Suppose -3*q - l - 2 = -16, -26 = -5*q + l. Suppose 0 = q*h + 945 + 270. Is (h/(-18))/(3/4) a multiple of 6?
True
Let z(w) = 3*w**2 + 5*w + 2. Let q be z(-4). Suppose -10 = 7*d - 2*d. Let a = d + q. Is 14 a factor of a?
True
Let a = 0 - 1. Let q be ((-30)/(-4) - a)*2. Let c = q + -9. Is c a multiple of 8?
True
Let v(l) = -3*l + 30. Is v(0) a multiple of 3?
True
Let a be 0*(-3 + 24/9). Let n(x) = x**3 + x**2 - x - 2. Let c be n(a). Let s(i) = -i**3 - 2*i**2 - 3*i - 2. Is s(c) a multiple of 2?
True
Let t(m) = -m**3 - 24*m**2 + 23*m + 11. Does 9 divide t(-25)?
False
Suppose 18 = 2*x - 0*x - 2*v, 5*v + 15 = -x. Suppose x*t - 17 + 2 = 0. Suppose 0 = 2*o - 3 - t. Is o even?
False
Let j = 46 - -58. Does 26 divide j?
True
Let k = 102 - -38. Does 20 divide k?
True
Suppose 743 = 5*j + 2*c, -3*j - 3*c + 747 = 2*j. Does 27 divide j?
False
Let i = -130 - -178. Is 16 a factor of i?
True
Let c = 83 + -47. Does 9 divide c?
True
Suppose 5*i - 5*s = 65, i - 4*s - 9 = -s. Let q = 72 - i. Is q a multiple of 21?
False
Let l be (-1)/(-2 - 11/(-6)). Suppose -l*f + 3*w + 17 = -2*f, f + 7 = 3*w. Is f a multiple of 7?
False
Let z(x) = x**3 - 10*x**2 + 8*x - 26. Is 9 a factor of z(10)?
True
Suppose 0 = -2*i - 5*c - 1 + 8, -5*i - c + 29 = 0. Suppose -2*m + i = -22. Does 13 divide m?
False
Let f = -2 - -58. Is 9 a factor of f?
False
Suppose -4*t - 20 = 0, 3*t - 125 + 560 = 2*z. Is z a multiple of 15?
True
Suppose 2*a = -0*a - 2. Is (7 - (a - -2))*1 a multiple of 3?
True
Let q = 136 + -80. Is q a multiple of 17?
False
Let g = 14 + 48. Suppose 0*a - g = -2*a. Let n = a + -21. Does 6 divide n?
False
Suppose -5*z + 23 = 4*t, 5*z - 23 - 2 = -5*t. Suppose 0 = -2*a - t*y + 14, -2*y + 7*y - 5 = 0. Is a a multiple of 3?
True
Let i = 3 + 0. Suppose 3*g - i*w = 108, -3*w = 3*g - 5*w - 111. Is 11 a factor of g?
False
Let w(b) = -1 + 4*b + 12*b**2 + 3*b - 6*b + 0*b. Is w(1) a multiple of 4?
True
Suppose -4*h + 3*h - 5 = 0. Is (-8)/20 - 202/h a multiple of 14?
False
Is 40 a factor of (9/(-6) + -1)/((-4)/152)?
False
Suppose 7*s - 2*s = 245. Suppose -2*y = -s + 13. Is y a multiple of 7?
False
Let w = -6 + 6. Let h(a) = -a**2 - a + 12. Is 9 a factor of h(w)?
False
Suppose -2*n + 2 = z - 5*n, 2*z = -5*n - 7. Let x(h) = -32*h**3 + 2*h + 1. Does 11 divide x(z)?
False
Let h(t) = t**2 + 8*t - 23. Is h(12) a multiple of 31?
True
Let p(w) = w**2 - w + 24. Let b be p(0). Suppose -2*j + 3*v + 48 = -v, -b = -j + v. Is j a multiple of 8?
True
Suppose 205 = 5*g + 2*u + 3*u, -g + 21 = -3*u. Is 6 a factor of g?
True
Let b(n) = n**3 + 5*n**2 - 6*n + 6. Suppose o + 4 = -2. Does 5 divide b(o)?
False
Let l(x) = -x + 19. Suppose -2*a - 4 = 4. Let z be 2*(-1)/a*0. Is 19 a factor of l(z)?
True
Does 10 divide 69 - -1*2/8*4?
True
Suppose -3*s - 3*f - 15 = 0, -s = 2*s - 4*f + 22. Let k = 34 - s. Is k a multiple of 20?
True
Suppose -5*r + 117 - 17 = 0. Suppose -3*m = -m - r. Is 10 a factor of m?
True
Let b(j) be the third derivative of j**5/60 - 11*j**4/24 + 8*j**3/3 + 8*j**2. Is b(11) a multiple of 15?
False
Suppose -23 = -l + g, -3*l - 3*g = -19 - 26. Is l a multiple of 14?
False
Is 8 a factor of (26 - 2)/((-9)/(-6))?
True
Suppose -4*h = -0*h + 12. Let c(u) = -3*u. Let f(s) = -s**2 + 2*s. Let v(a) = h*c(a) - 2*f(a). Does 6 divide v(-4)?
True
Let g be 2/(-2) - (-1 + -5). Let r(t) = -t - 8. Let h be r(-10). Does 4 divide h*-2*(3 - g)?
True
Let s(l) = 2*l**3 + l**2 + 6*l + 5. Let t(i) = i**3 + i**2 + 7*i + 6. Let p(g) = -5*s(g) + 4*t(g). Let c be p(-1). Does 9 divide 2*11*3/c?
False
Suppose -k + 5*k = 3*w - 11, -3*k - w - 18 = 0. Let b = 8 + k. Suppose b*s - 5*g = 45, 5 = s - 2*g - 10. Is s a multiple of 11?
False
Suppose 0 = -l - i + 27, -1 = -i + 2*i. Let a = l + -12. Is a a multiple of 16?
True
Let a = 8 - 5. Let q(y) = -y**2 - y**3 - a*y**2 + 2*y**3 + 2*y. Is q(4) a multiple of 5?
False
Let n(p) = p**2 + 2*p + 1. Let r be n(-4). Suppose 3*l = -0*l + r. Does 2 divide l?
False
Suppose -4*v + 0*c - c + 15 = 0, -2*c = v + 5. Suppose -v*r - 3*a = -24, -5*r + 14 = -3*r - a. Is 6 a factor of r?
True
Let f = 9 + -6. Suppose f*j - 5*j + 51 = 5*v, -j = -4*v - 6. Is j a multiple of 15?
False
Suppose 0 = -n + 3*x - 7, 5*n - 7 = 2*n + 2*x. Suppose -5*s + 5*j + 15 = 0, s + 3*j = n*s - 15. Is 6 a factor of s?
True
Suppose 0 = -4*g - 20, 0*g = x - 5*g - 121. Does 26 divide x?
False
Suppose 3*t - 4*d + 12 = 0, 5*t - 4*d = -d - 9. Suppose a + 4*b - 58 = t, 130 = 3*a + b - 0*b. Does 14 divide a?
True
Suppose 0 = -2*s + 7*s - 475. Is 19 a factor of s?
True
Suppose 0 = 3*n - 6*n + 93. Let r = n + -15. Suppose c - r = -3*c. Is 2 a factor of c?
True
Suppose 3 + 6 = 5*n + 3*a, -n + 4*a + 11 = 0. Suppose 0 = r + 4*b - 19, 0*r - 23 = -n*r + 5*b. Is 11 a factor of r?
True
Suppose 6*y = y - 15. Let w(x) = -x**3 - 3*x**2 - 3*x + 1. Let p be w(y). Is (-63)/(-5) - (-4)/p a multiple of 11?
False
Suppose f - w - 36 = -3*w, -2*f - 5*w = -74. Is f a multiple of 15?
False
Let c(q) be the third derivative of q**6/120 + q**5/6 - 5*q**4/24 + 2*q**3/3 - q**2. Is 27 a factor of c(-10)?
True
Is 17 a factor of -3 + (-60)/(-25) + (-576)/(-10)?
False
Suppose -2*d + 3*r - 94 = -4*d, 3*d - 4*r = 124. Let l = -17 + d. Is 18 a factor of l?
False
Let d = 1 + 2. Let c be (d - 0)/(3/(-34)). Is 2 a factor of c/(-8) + (-3)/12?
True
Let j be 6*(-1)/(-4)*2. Suppose 2*d = -9 + 181. Suppose -3*i + d = t, 0 = -3*i + t - j*t + 91. Does 9 divide i?
True
Let d be -18*1/(3/(-4)). Suppose -a - 3*a = -d. Does 6 divide a?
True
Let w(r) = r**2 - 6*r - 2. Let y be w(6). Does 2 divide 1/y + 102/12?
True
Let m = 17 + 7. Is m a multiple of 5?
False
Let s(i) = i + 9. Let x be s(-15). Let p(u) = u - 1. Let h(l) = -2. Let o(w) = 6*h(w) - 4*p(w). Is o(x) a multiple of 7?
False
Let j(r) = 3*r**3 + 7*r**2 - 8*r - 8. Let k(o) = -7*o**3 - 15*o**2 + 16*o + 17. Let s(b) = -5*j(b) - 2*k(b). Let i be s(-6). Let c = 5 - i. Does 11 divide c?
True
Let a(k) = 10*k**2 - 2*k + 1. Let o be a(1). Let q = 26 - o. Does 6 divide q?
False
Suppose -3*t = -6*t + 15. Let z = 1 - -1. Suppose -2*d + 0 = t*p - 152, -3*p + 104 = -z*d. Is p a multiple of 12?
False
Let n(u) = -u**2 + 3*u - 3. Let h be n(3). Let z(i) = -7*i - 1. Let g be z(-1). Is (-2)/h - (-14)/g a multiple of 3?
True
Let y(c) = c**2 + 3*c + 5. Is 6 a factor of y(4)?
False
Let l = -3 - -5. Suppose 0 = 2*p - 2*b - 108, 3*p + 78 = -l*b + 265. Is 14 a factor of p?
False
Let i = -9 - -14. Suppose -i*r + 123 = -27. Is 10 a factor of r?
True
Let m = 89 - 50. Does 5 divide (m/6 - -2)*2?
False
Let s(d) = 12*d**3 - 4*d**2 + 2*d. Let h be s(2). Suppose -4*v + h = -40. Is 12 a factor of v?
False
Let c be (19/6 - 3)*6. Is 8 a factor of 0 - c/(1/(-10))?
False
Suppose 3*s + 2*s = 1320. Does 22 divide s?
True
Let j = 4 - 4. Let s = j - 0. Suppose -k - 2*l = -22, s = 6*k - k + 2*l - 70. Is 12 a factor of k?
True
Let n = 48 - 91. Let c = 82 + n. Is c a multiple of 16?
False
Suppose 2*m - 8 = -0*m - 2*x, -2*m + 10 = 3*x. Suppose -m*v - 50 = -160. Let w = v - 33. Is 8 a factor of w?
False
Let h(r) = r**3 + r + 3. Suppose 2*g + 2 - 4 = 0, -3*l = -g + 1. Let u be h(l). Suppose -10 = -u*y + 3*c + 17, 9 = y + 5*c. Is y a multiple of 9?
True
Suppose 4*z + 3*r = 12, -2*r - 9 = -3*z - 3*r. Does 2 divide (-1)/z - 48/(-9)?
False
Let h(y) = y**2 + 5*y - 9. Let t be h(-7). Suppose -4*l + t*d + 20 = 0, 7*l - 15 = 4*l + 4*d. Let s(u) = 6*u - 4. Does 13 divide s(l)?
True
Suppose 5*v + 810 = 2180. Is 17 a factor of 4/(-16) - v/(-8)?
True
Let w be 4*3*(-2)/(-6). Let o be 3/w*(5 + -1). Suppose 3*h + 6 = 0, o*d + h - 46 = -3*h. Is 9 a factor of d?
True
Suppose -6 = 2*w, 0 = 2*k - k + w + 2. Is (2 - k)/(3/36) a multiple of 3?
True
Let x = 10 - 5. Let r(l) = l - 1. Let z be r(3). Suppose -20 = -x*j, -3*j + 30 = 2*w + z*j. Is w a multiple of 3?
False
Suppose -3*v + 2*j = -21, 3*j - 24 = -3*v + 4*j. Does 3 divide v?
True
Let x be (21/6)/((-2)/(-8)). Suppose -d + x = -65. Suppose -2*z = -w - 2*w - d, -5*w = -5*z + 195. Is 11 a factor of z?
False
Let l be 51/(-6)*4 - 1. Let a be (-3)/(-2) - l/10. Suppose 2*q + a*y = 52 + 9, 2*q = 3*y + 85. Does 14 divide q?
False
Let j(t) = 6*t - 14. Is 8 a factor of j(6)?
False
Does 8 divid