 - 5*q**2 + 3*q + 8. Does 10 divide b(-6)?
False
Let g be 3*(-51)/(-9) + -1. Suppose g = -4*u + 4. Let a(t) = -7*t - 3. Is a(u) a multiple of 13?
False
Does 17 divide 3/(-2)*704/(-33)?
False
Suppose 2*j - 7 = -3*u, -4*j - 20 = -5*u - 89. Is j a multiple of 2?
False
Suppose 0 = -b - f + 5*f + 7, -5*f - 49 = -3*b. Does 5 divide b?
False
Let z(k) = 3*k + 5. Let r(x) = 2*x + 6. Let u(s) = -4*r(s) + 6*z(s). Let t be u(-5). Let y = 69 + t. Is 25 a factor of y?
True
Let y(i) = -14*i + 1. Let l be y(-1). Suppose 5*t = z - 10 + 2, 0 = -5*z + l. Does 21 divide (-36 - t)*(-6)/10?
True
Is 10 a factor of ((-72)/48)/((-6)/280)?
True
Suppose 0 = -0*k + 5*k - 30. Is k a multiple of 6?
True
Suppose 186 - 2 = 4*r. Is 23 a factor of r?
True
Let i = 158 - 56. Is 17 a factor of i?
True
Let y(x) = x**2 + 8*x + 4. Let q be y(-8). Suppose 2*a - 22 = -0*a. Let b = q + a. Does 6 divide b?
False
Let n(a) = -a**2 + 7*a + 5. Let o be n(5). Suppose 5*x - o = 5. Is x a multiple of 4?
True
Let y(q) = q**2 - 14*q + 21. Is y(20) a multiple of 32?
False
Suppose -5*a + 0*a = 0. Let z(i) = -i**2 - i + 3. Is 2 a factor of z(a)?
False
Suppose -d + 2*d = -3*q + 5, -5*d + 38 = 2*q. Let i(k) = -2*k + d - 2 + k. Is i(3) a multiple of 2?
False
Suppose 2*f + 3 = -2*f - l, -12 = 3*f + 4*l. Suppose f = -2*d - 3 + 9. Is 0/d - (-15 - -1) a multiple of 14?
True
Let b(p) = p**2 - 1. Let f(x) = 3*x**2 - 14*x - 16. Let q(j) = -4*b(j) + f(j). Is 12 a factor of q(-9)?
False
Let w(i) = 2*i + 2. Suppose -4*t + 3*n = -16, -2*t + 5*n + 5 = -3. Is w(t) a multiple of 7?
False
Suppose j + j + 2*u + 2 = 0, 2*u = 5*j - 16. Suppose j*l + 3*x = 3*l - 21, 0 = -2*l + x + 22. Is 9 a factor of l?
True
Suppose 4*o - 5 = 3*o. Let m(p) = -p**2 + 8*p - 7. Is 4 a factor of m(o)?
True
Suppose -o + 18 = -13. Does 5 divide o?
False
Suppose 4*h = -4, 0 = 5*x + h - 4*h - 518. Suppose 3*s - x = -l, -2*l + 172 = 5*s - 0*l. Does 17 divide s?
True
Let g be (-3 - 1)/(2/4). Let f = 1 + 10. Let s = g + f. Is 2 a factor of s?
False
Suppose 6*b = -b + 560. Does 11 divide b?
False
Let a = -2 - -3. Is 8 a factor of a/(1/(-8))*-2?
True
Let o be (-8)/(-6)*(-9)/(-6). Suppose 0 = 4*y + o*r - 78, -44 = -2*y + 5*r - r. Is 6 a factor of y?
False
Let d(f) = 3*f - 22. Does 11 divide d(14)?
False
Let y = -8 - -12. Suppose -72 - 116 = -y*w. Is 15 a factor of w?
False
Suppose 5*g + 0*g = 25. Suppose -27 = -q + g*f, 2*q - 2*f - 30 = -0*f. Is q a multiple of 10?
False
Let s(f) = 11*f - 28. Is s(12) a multiple of 13?
True
Suppose -2*b = 5 + 7. Let c(z) = 2*z**2 + 6*z + 6. Is 21 a factor of c(b)?
True
Is 4 a factor of -16*(-4 - (-9)/3)?
True
Let d(k) = -k**3 + 2*k**2 + 74. Does 16 divide d(0)?
False
Suppose 0 = y + 3*y. Suppose 0 = -y*u + 2*u + 22. Let w = 16 - u. Is 8 a factor of w?
False
Suppose 0 = 2*f - 30 - 6. Is 15 a factor of f?
False
Suppose -o = -4, 0 = 5*k - 2*o + 5*o - 872. Suppose -4*r = -0*r - k. Suppose -4*a = 3*h - 112, 2*h + 4*a - r = 33. Is h a multiple of 18?
True
Suppose 195 = 7*i - 855. Is i a multiple of 50?
True
Suppose 0 = -5*l + 3*l + 320. Does 32 divide l?
True
Let y(t) = 2*t**2 + 2*t. Suppose -9 = -4*h + 3. Does 24 divide y(h)?
True
Let k(c) = 5*c + 1. Let u be k(6). Let n = -17 + u. Does 14 divide n?
True
Let c be 48/22 + (-6)/33. Is 10 a factor of 1 - c - (-55)/5?
True
Suppose 0*f = f - 20. Does 4 divide f?
True
Let u(n) = n**2 + 10*n + 19. Is u(-16) a multiple of 23?
True
Let x = 14 - 6. Let l(f) = f - 2. Let c(s) = 4*s - 9. Let i(q) = -2*c(q) + 9*l(q). Is 4 a factor of i(x)?
True
Let r be (-2 + 1)*-11*26. Suppose 2*h + b + 64 = r, 0 = -5*h - b + 552. Suppose 0 = 2*u - 4*z - 70, -4*u + 54 = -2*z - h. Is u a multiple of 19?
False
Let g(h) = -h**2 + 7*h - 6. Let w be g(5). Suppose 3*t + 2*j - 6*j - 43 = 0, -3*t - w*j = -35. Is 13 a factor of t?
True
Let n(p) be the third derivative of p**5/30 - p**4/12 + p**3 + 6*p**2. Is n(4) a multiple of 15?
True
Let f(i) = -15*i**3 + 2*i**2 + 3*i + 3. Let w(o) = -o**3 - o**2 - o - 1. Let x(h) = f(h) + 2*w(h). Let n be x(-1). Let z = n - 6. Does 6 divide z?
False
Let y(j) = -4*j + 4. Let i = -4 - 4. Let o be y(i). Let t = o + -23. Does 7 divide t?
False
Let h = 11 - -11. Is h a multiple of 4?
False
Let d(n) = n**3 - 5*n**2 + 2*n + 9. Is d(5) a multiple of 4?
False
Suppose -4*d - d - 3*a = 904, d + 186 = 2*a. Let x = 293 + d. Suppose 4*t - x = -5*o, -t - o + 4 = -25. Is t a multiple of 12?
False
Suppose 3*b + 5*n = 29076, -9692 = -4*b + 3*b - 5*n. Suppose 5*x + b = 1372. Is 12 a factor of (-4)/18 - x/36?
False
Let b be ((-30)/(-2))/(7/42). Suppose 4*u - b = -u. Is 8 a factor of u?
False
Let d(s) = s**2 + 8*s + 9. Let q be d(-7). Let u(c) = -c + c**2 + 0*c**q + 0*c**2 + 2. Is 4 a factor of u(2)?
True
Suppose 3*o - o = -5*k + 5, 4*k - 11 = -3*o. Is 363/44 + k/4 a multiple of 4?
True
Let y = 12 + -10. Suppose l - 24 = y*q, -l - 4*l + q + 147 = 0. Is 19 a factor of l?
False
Let i(c) = -c**3 - 5*c**2 - 7*c - 4. Let g be i(-4). Suppose u - g = -2. Is u even?
True
Suppose 0 = -4*f + h + 23, -2*h - 1 = 5*f - 33. Let u be f - (1 - 0/1). Suppose 2*y - u = y. Is 2 a factor of y?
False
Let p(s) = 2*s + 13. Let x be p(-6). Is 2 + x - (-69 - 12) a multiple of 19?
False
Let k = 21 + -14. Does 6 divide k?
False
Let l be 6 + (5 - 4) + -2. Suppose -63 + 388 = l*i. Is i a multiple of 27?
False
Suppose -2*x = -6*q + 3*q + 27, -5*x = -15. Let m(p) = 9*p**2 - p + 1. Let g be m(2). Let h = g - q. Is h a multiple of 14?
False
Suppose -5*c - 5 = -z - 0*z, -3*c - 71 = -4*z. Is z a multiple of 6?
False
Suppose 0 = 11*n - 14*n - 15. Let f(w) = 2*w**2 + w - 4. Is f(n) a multiple of 17?
False
Let o be 1/(-3) + (-21)/(-9). Suppose -o*b = 3*y - 190, -5*y + 306 = -5*b + 3*b. Let r = y - 34. Does 10 divide r?
False
Suppose -4*c - 8 - 8 = 0. Let l = 11 - 7. Let q = l - c. Does 4 divide q?
True
Let v(n) = -n**3 - 6*n**2 + 3*n + 2. Let d be v(-7). Let q = 52 - 32. Let k = d - q. Does 10 divide k?
True
Suppose 5*k - 576 + 161 = 0. Let y = k + -44. Is y a multiple of 13?
True
Let g be 14/(-77) + (-79)/(-11). Is 13 a factor of -1 + 5 - g - -78?
False
Let z be -2*(-3)/9*3. Suppose -z*i - 2*i = -64. Does 16 divide i?
True
Let p = -14 - 12. Let a = 46 + p. Is a a multiple of 10?
True
Let u(q) = q**2 - 8*q + 2. Let k be u(8). Suppose -k*l + 30 + 4 = 0. Does 14 divide l?
False
Let w = -4 - -4. Suppose w = 6*z - 2*z. Suppose 2 = s - z. Is s a multiple of 2?
True
Let x be 0/((-3 + 2)/(-1)). Suppose 3*j + j + 3*q - 155 = x, 3*j = -4*q + 111. Does 11 divide j?
False
Let z(r) = -r - 1. Let a be z(-1). Let d(b) = -b**2 + b + 24. Is d(a) a multiple of 8?
True
Let p = 180 - 96. Is 12 a factor of p?
True
Let f(i) = 19*i**3 + i**2 + 2*i + 1. Let k be f(-1). Let b = 33 - k. Is 13 a factor of b?
True
Let q = -10 - -12. Suppose 2*i - 3*i + 48 = -4*b, -4*b = -q*i + 92. Is 15 a factor of i?
False
Let c be (-6)/(-4)*(-40)/(-5). Suppose 0 = 5*n - 4*n + 4*r - c, -3*n = -5*r - 87. Is n a multiple of 9?
False
Let d(s) = s**2 + s - 1. Let a be d(2). Suppose -2*c + 80 = -a*n - 0, -2*c + 3*n = -88. Is 12 a factor of c?
False
Let w = 0 + 1. Let r = w - 2. Is 4 a factor of (2 + 1)/(r/(-3))?
False
Let v(k) = k**3 - k**2 - 5*k + 3. Let f be v(3). Suppose 3*b = f*b - 12. Suppose b*y = y + 21. Is y a multiple of 3?
False
Suppose 4*t + 0*t + 4*i = -248, 4*t + 2*i = -240. Let j = -32 - t. Does 13 divide j?
True
Let z = 36 - 0. Is 3 a factor of z?
True
Suppose -26*j = -30*j + 64. Does 5 divide j?
False
Let h(r) = r**3 - 5*r**2 + r - 5. Let v be h(5). Is 13 a factor of (-3)/(3 + v) - -15?
False
Let q = -188 - -416. Suppose -4*w = -5*u - 5*w + q, -2*u - w + 90 = 0. Does 15 divide u?
False
Suppose 5*y - 489 = 5*n + 171, -5*y - 2*n = -632. Is y a multiple of 32?
True
Let a be 2/((-40)/(-12) - 3). Suppose 0 = -a*j + 9*j - 123. Is j a multiple of 22?
False
Is 13 a factor of (-400)/(-30) - (2/(-6))/(-1)?
True
Let b be (1 + 2)/3*5. Suppose b*h + 0*h = 130. Is h a multiple of 8?
False
Suppose -4*t - 5*i = 28, 0*t + 5*i + 26 = -3*t. Is ((-1)/t)/((-2)/(-100)) a multiple of 11?
False
Let v = -27 + 14. Let s = v + 30. Suppose 3*l - s = 16. Is 5 a factor of l?
False
Let q(s) = -s - 2. Let g be q(-5). Suppose g*h = -4*b + h + 132, -4*b + 132 = -3*h. Is 14 a factor of b?
False
Let j(y) = -y**3 - 2*y**2 + 5*y - 13. Is j(-6) a multiple of 23?
False
Let r(w) = -35*w**3 - 2*w*