2*q - 3*z, 2*z = 2*q. Does 6 divide 366/3*q/(4 + 2)?
False
Let d = -55 + -24. Let y = 83 + d. Does 2 divide y?
True
Let p(k) = 2*k**2 + 2*k - 3*k**2 + 0 + 7*k + 11. Let c be p(9). Suppose 25 = -6*u + c*u. Is u a multiple of 2?
False
Let p(v) = -v**3 - 25*v**2 - 8*v - 13. Does 17 divide p(-25)?
True
Let w = 3559 - 1354. Does 15 divide w?
True
Let v(d) = -176*d - 26. Does 3 divide v(-3)?
False
Let q = -6 - -12. Let l be 105 - 4*3/q. Suppose d - 7*y + 2*y = 5, 5*d - l = -y. Is 7 a factor of d?
False
Suppose 13 = -4*u + 57. Suppose 4*i - u = -3. Suppose -t = -i*t + 7. Is 2 a factor of t?
False
Suppose 124*n - 122*n = 1534. Is n a multiple of 27?
False
Let q be 220/35 + 2/(-7). Let v(s) = 4*s - q*s - 13 + s**3 + s**2 + 3*s + 91. Does 13 divide v(0)?
True
Let j be (-50)/(-4)*176/55. Let v be 8/j + 59/5. Is 11 + 3/(v/4) a multiple of 12?
True
Suppose 0 = -12*l + 17*l - 10. Suppose -m = l*d - 444, 4*d = 3*m - 2*m + 888. Does 37 divide d?
True
Let y(c) = -13*c**3 + c**2 + 7*c - 2. Let t(s) = 27*s**3 - 2*s**2 - 15*s + 4. Let o(p) = -6*t(p) - 13*y(p). Is o(1) a multiple of 2?
False
Let g(w) be the third derivative of -w**6/120 + 7*w**5/60 - w**4/12 + w**3 + 5*w**2. Is g(6) a multiple of 15?
True
Suppose -7 = 5*r - 52. Let h = 26 - r. Is 2/(3 + -1)*h a multiple of 17?
True
Suppose -5*c + 1970 + 2080 = 0. Is 10 a factor of c?
True
Is 28/2*(2 - 93/(-6)) a multiple of 5?
True
Suppose -6*b - 14 = -7*b. Suppose -21 = -z + b. Is z a multiple of 7?
True
Suppose 10 = 3*j - j. Suppose 0 = 6*u - u + 3*h - 9, 2 = 4*u + j*h. Suppose 0*a - 4*t = -a + 10, -u*a - 5*t + 30 = 0. Does 5 divide a?
True
Let m(v) = -12*v + 10. Suppose 0 = -2*y + 4*i, -4*y + i - 10 = 4. Is m(y) a multiple of 29?
True
Let f = -17 + 16. Does 17 divide f/(-2) - (715/(-10) - -4)?
True
Let j(u) = 5*u**2 + 51*u - 71. Let v(q) = 2*q**2 + 25*q - 36. Let s(f) = 4*j(f) - 9*v(f). Does 38 divide s(14)?
False
Suppose 0 = -3*n + n - 4*y - 16, -4*n = -3*y + 10. Does 24 divide n/(-12)*-1*3 + 26?
False
Suppose -147 = -10*b + 3*b. Suppose -b = -2*i - 2*g - 3, 2 = -g. Is 3 a factor of i?
False
Suppose 0*p = 3*p + 9. Let o = 5 + p. Suppose -l + 5*u - 33 = -o*l, 0 = 4*l + 4*u - 52. Is 5 a factor of l?
False
Let u = 228 - 140. Does 8 divide u?
True
Does 2 divide 36/2 + (8 - 30/5)?
True
Let w = 12 - 9. Suppose w*p + p = 52. Suppose p*a - 54 = 11*a. Is 9 a factor of a?
True
Let w = -40 + 32. Let t(b) = b**2 - 4*b - 5. Does 29 divide t(w)?
False
Let z(f) = -f**2 + f - 1. Let r(i) = -i**3 + 6*i**2 + 6*i - 14. Let p(t) = -r(t) - 2*z(t). Is 36 a factor of p(7)?
False
Let r(b) = b**2 + 22*b + 8. Let c be r(-10). Does 11 divide (-2)/10 + c/(-10)?
True
Let f = -27 - -67. Does 10 divide f?
True
Let r be (-1698)/(-5) - 14/(-35). Let s be (-4 - 2)*r/(-15). Suppose -s = -5*b - 2*y, -174 + 30 = -5*b + 2*y. Is b a multiple of 10?
False
Let t(i) = i**2 + 7*i - 18. Let a be t(-9). Suppose a = -0*z + 5*z - 1155. Is z a multiple of 11?
True
Let z(l) = -l + 75. Let g be z(0). Suppose -h + g = -0*h. Does 7 divide h?
False
Suppose 12*n - 4048 = 8*n. Does 22 divide n?
True
Let r = 418 - 208. Does 28 divide r?
False
Let l(n) = -288 + 0*n - n**2 + 279 + 4*n. Let g be l(7). Let i = -21 - g. Is i a multiple of 8?
False
Suppose 0 = 11*o - 2394 + 733. Is 13 a factor of o?
False
Suppose -5*p = -0*p. Suppose 21*g - 26*g = -4*n - 4, 0 = 5*n + 3*g - 32. Suppose p = z + 4*j - 36, n*j + 68 = z - 0*j. Does 13 divide z?
True
Let g be -3 + ((-2)/7 - (-14128)/56). Suppose 4*n - 3*l = 2*l + g, 2*n + l = 121. Is 22 a factor of n?
False
Let p be -3 + 3 + 56 - 0. Let n = 82 - p. Is n a multiple of 13?
True
Let q(v) = -v**2 + 2*v + 12. Let t(l) = 3*l**2 - 6*l - 35. Let h(g) = 17*q(g) + 6*t(g). Let k be h(4). Is 17 a factor of k + 2*32 - -2?
True
Let t = -36 + 48. Suppose t*a = 11*a + 105. Does 13 divide a?
False
Let b(l) = l**2 - 12*l. Let a be b(12). Suppose -4*r + 78 + 102 = a. Is r a multiple of 13?
False
Let k = -8 + 6. Let r(q) = 8*q**2 + 1141*q - 1141*q. Is r(k) a multiple of 21?
False
Suppose -4*y - 2*j = -0*j + 4, 2*y - j + 2 = 0. Is 3 + 1 + y + 0 a multiple of 3?
True
Let i = 14 - 14. Let b be (-2 - 12/(-8))*i. Suppose -4*q - 2*w = -58, b = 3*q - 0*q - 5*w - 24. Is q a multiple of 13?
True
Let y = 815 - -766. Is 93 a factor of y?
True
Suppose -3*o + 15 + 5 = b, -2*b - 15 = -5*o. Suppose 0 = 3*u + b*v - 100, v = -4*u - 0*v + 105. Is 6 a factor of u?
False
Suppose 30 = 4*s + s. Let b = -6 + s. Suppose -2*j + b*j + 60 = 0. Is j a multiple of 14?
False
Suppose 0 = 386*z - 385*z - 600. Is 22 a factor of z?
False
Let g(s) = -s**2 + 8*s - 4. Let w be g(6). Let b be (-2)/w + (-7)/4. Does 3 divide (1 + b + 0)*-7?
False
Suppose 2*a = -3*a + 5*i - 205, 4*a + 2*i + 194 = 0. Let h = a + 56. Is h a multiple of 10?
True
Let w(d) = -7*d + 1. Let v be w(-1). Suppose -7 - 3 = -5*y. Suppose -2*o = v, -y*o - 24 + 120 = 2*m. Is m a multiple of 26?
True
Let c be (-6)/((-2)/(-14) - 0). Let u be 3 + (-11)/(-3)*(-33 - -30). Is 7 a factor of c/(2 + u/3)?
True
Let c = 30 - 17. Let q = c - 11. Does 8 divide q/5 + (-1014)/(-65)?
True
Suppose 10*t - 6*t = 12. Let f(d) = 2*d**2 - 6*d + 19. Is f(t) a multiple of 19?
True
Let m(b) = -b**3 + 3*b**2 + 10*b. Let i be m(5). Suppose i = -5*a - 2*a + 378. Is 18 a factor of a?
True
Suppose u = -3*s + 319, -3*s - 985 = -3*u + 2*s. Is 5 a factor of u?
True
Let v = -1366 - -1990. Is v a multiple of 13?
True
Let b(v) = v**3 + 10*v**2 - 5*v. Suppose -5*x + 3*t - 44 = 0, -5*t + 32 = -4*x - t. Is 22 a factor of b(x)?
False
Let v(n) = -359*n - 37. Does 31 divide v(-4)?
False
Let g be (-40)/(-15) + (-1)/(-3). Suppose -80 = -a - g*a. Is 5 a factor of a?
True
Suppose 3*f + 16 = 5*f. Suppose -4 = -f*t + 6*t. Is 2 a factor of t?
True
Suppose -225 - 78 = 3*a. Let v = a + 69. Let d = -27 - v. Is d even?
False
Let d(u) = -68*u**3 - u. Let n(y) = -y**3 - 7*y**2 - 6*y - 1. Let l be n(-6). Let t be d(l). Suppose a - t = 3*c, 2*c - 4*c - 68 = -a. Does 33 divide a?
True
Let z(m) = -m**3 + 10*m**2 + 10*m + 11. Let o be z(13). Let i be o/(-5) + 12/(-60). Suppose -4*k + 4*x = -244, 0*k - 2*x + i = k. Is k a multiple of 17?
False
Let b(d) = 21*d**2 + 31*d - 30. Let q(f) = -4*f**2 - 6*f + 6. Let h(k) = -2*b(k) - 11*q(k). Does 18 divide h(-8)?
True
Let b be (-306)/(-3)*1/2. Suppose u = 5*v + b, -5*u + 335 = -4*v - v. Is 6 a factor of u?
False
Let l = -71 - -184. Let a = l - 80. Suppose w = 5*m + 17, -3*m + a = 5*w - 2*m. Is w a multiple of 7?
True
Let x(i) = -2*i + 8 - 5*i**3 - 7 + 1 + i**3 - 2*i**2. Let r be x(-3). Let f = 173 - r. Is f a multiple of 28?
False
Suppose -a = 3*x - 210, -3*a - 4*x + 471 = -134. Does 14 divide a?
False
Let u(f) = 29*f + 1. Does 80 divide u(11)?
True
Let c be 70*((-2)/8)/((-7)/(-14)). Let w = 91 + c. Is 28 a factor of w?
True
Let b be 3*((-71)/3 - 5). Does 20 divide (b/(-4))/((-5)/(-10))?
False
Is 7 a factor of (((-988)/(-57))/26)/(2/882)?
True
Suppose -3*p = -w - 134, -5*p + 3*w + 112 = -114. Is p a multiple of 7?
False
Suppose 0 = w - x - 6 + 2, 0 = -4*w + 3*x + 12. Suppose -o = 5*t - 32, 0 = -4*t - w*t. Does 24 divide o?
False
Is (-9)/1 - (2 + -2146) a multiple of 61?
True
Suppose 0 = -4*z - 3*a - 233, 4*z - 4*a = -0*z - 212. Let n be (-564)/14 + (30/(-35))/(-3). Let f = n - z. Is 6 a factor of f?
False
Let v = 11 + -8. Suppose 4*b - v*b = 21. Let r = 5 + b. Is 13 a factor of r?
True
Let o(g) = -50*g + 102. Is 19 a factor of o(-8)?
False
Let y = -209 + 147. Let h = -26 - y. Is h a multiple of 18?
True
Let y(a) = -6 + 2 + 4*a + 2 + 17*a. Does 6 divide y(1)?
False
Is 570 + 2/((-8)/36) a multiple of 51?
True
Let v = -37 + 53. Let n = -10 + v. Is 3 a factor of n?
True
Suppose -2*t = -5*t. Let m(n) = -3*n**3 - 2*n - 1. Let g be m(-1). Suppose 4 = -g*x - 4, t = i - 2*x - 44. Is i a multiple of 20?
True
Suppose -2*h - 2 = 0, 2*h + 253 + 269 = 5*m. Does 5 divide m?
False
Let p(g) = -g**3 + 4*g**2 + 3*g + 7. Is 31 a factor of p(-5)?
True
Let c(i) = -16*i**3 + 5*i + 4. Let p be c(-3). Suppose -p - 27 = -4*t. Is t a multiple of 41?
False
Let w be (188 + -2)/2 - -3. Suppose 10*n - 6*n = w. Is n a multiple of 5?
False
Is ((112/(-6))/7)/(1/(-165)) a multiple of 20?
True
Let f(u) = u + 14. Let g be f(-8). Suppose 132 - g = 3*d. Is d a multiple of 6?
True
Suppose 5*u - 228 = u. Let r = -12 + u. Suppose 41*a = r*a - 64. Is a even?
True
Let y(m)