 -14*r + 65 - 9 = 0. Does 4 divide r?
True
Let w(a) = -a**2 - a. Let v be w(-9). Let n be v/27*6/4. Let t(g) = -g**3 - 2*g**2 + 3*g - 2. Is 6 a factor of t(n)?
True
Let r be 4 - 3 - 35/1. Does 11 divide r/(-119) + 159/7?
False
Suppose 2*p = -0*x - 2*x - 6, 7 = -x - 5*p. Let z(c) = -5*c**3 + c**2 - 3*c + 1. Is 17 a factor of z(x)?
True
Suppose -5*s = 4*m - 2145, -5*m + 5*s + 294 = -2421. Suppose -5*h + 0*h = -m. Does 13 divide h?
False
Let d(r) = 2*r**2 + 9*r - 3. Let z be d(9). Suppose 12*a = 9*a + z. Is 10 a factor of a?
True
Let x = -646 - -998. Does 88 divide x?
True
Let m be (-1)/(-5) - (-1 + 16/5). Let d(o) = -8*o**3 + 2*o**2 - 3*o - 3. Is d(m) a multiple of 15?
True
Suppose 22*v - 1638 = 9*v. Does 7 divide v?
True
Is -5 + ((-71)/(-4))/(53/424) a multiple of 10?
False
Does 43 divide (-95004)/(-195) + 3/(-15) + 0?
False
Let q(z) = -3*z**2 + 153*z + 48. Does 12 divide q(21)?
False
Let q(w) = w**2 - 5*w + 12*w - 4 + 0. Let s be q(6). Suppose 0 = 3*z - s - 7. Is 14 a factor of z?
False
Let p = -139 - -142. Is (p - (-70)/(-21))*1*-111 a multiple of 2?
False
Let h(a) = 316*a**3 - 22*a + 46. Is h(2) a multiple of 110?
True
Let k = -10 + 14. Suppose k + 156 = -4*q. Is 13 a factor of 16/24*(-1 - q)?
True
Suppose -3 = -2*g + 3*g, -5*q = 4*g - 1698. Is 19 a factor of q?
True
Let d = -627 + 631. Let u = -3 - -6. Suppose l + 2*l - 105 = -u*k, d*k - 3*l = 126. Does 10 divide k?
False
Suppose 101*g + 14697 = 110*g. Is 71 a factor of g?
True
Suppose 4*j + 1549 = 2581. Is 43 a factor of j?
True
Let i = 13 - 10. Suppose -3*f = -0*f - 33. Suppose -i*g + 7 = -f. Is g a multiple of 3?
True
Let s be 1/4 + (-90)/(-24). Let t(d) = -d + 9. Let j be t(s). Suppose 4*y + f - 143 = -0*y, 0 = j*y - 2*f - 182. Is y a multiple of 6?
True
Does 45 divide (-5)/25 - 2703/(-15)?
True
Let z(k) = 2*k + 25. Let c be z(-9). Suppose 14*q - c*q - 385 = 0. Is q a multiple of 11?
True
Suppose h - 2*b - 271 = -3*b, 5*b = 2*h - 535. Suppose 11*r = 14*r - h. Does 9 divide r?
True
Let t = -78 - -132. Let l = -48 + t. Is 6 a factor of l?
True
Is 2270 + -1 + -4 + 3 a multiple of 28?
True
Does 24 divide 1 - 0 - -911*(2 + -1)?
True
Let u be 1138/14 - (-4)/(-14). Let l = 33 + u. Is 8 a factor of (-6)/9*l/(-4)?
False
Let c(m) = 9*m - 43. Is c(5) a multiple of 2?
True
Let c(h) = -2*h + 15*h**3 - 3*h + 11*h**2 - 16*h**3 - 14. Is c(8) a multiple of 23?
True
Let p(k) = 6*k**3 + 5*k**2 - 9*k + 20. Is 8 a factor of p(4)?
True
Suppose 5*x + 11*o - 16*o - 1255 = 0, 5*x + o = 1249. Is x a multiple of 5?
True
Let j(z) = 2*z + 16. Let u be j(-8). Suppose 0 = -u*l - 2*l + 316. Let r = -93 + l. Is 17 a factor of r?
False
Suppose i - 2 + 3 = 0. Is 12 a factor of (i + -9)*12/(-10)?
True
Let g(x) = -2*x + 2. Let p be g(-2). Let r = p - 2. Suppose -i = -r*i + 48. Is 7 a factor of i?
False
Suppose -3*w + 40 = -w. Let x = w - -16. Is 9 a factor of x?
True
Suppose -4*l + 567 = -2*s - 563, l + 4*s - 296 = 0. Is l a multiple of 71?
True
Is 45/(-8 + 11)*114 a multiple of 19?
True
Is 4 a factor of 3/(2/282*9)?
False
Let d(r) = -142*r + 134. Is 58 a factor of d(-6)?
True
Let x = -31 + 32. Suppose 5*f = 5, -3*f = -v + 2 - 1. Is (-327)/(-12) - x/v a multiple of 14?
False
Let g(d) = d**2 - 10*d - 3. Suppose 5*f - 5*t = 46 + 4, -t = f - 8. Let o be g(f). Is 2 a factor of 1/(-6) - 50/o?
True
Suppose 5*z = -5*w + z + 27, 0 = 3*w - 3*z - 27. Let t(i) = 24*i + 7. Is t(w) a multiple of 11?
False
Let u be 486/3 + -3 - 4. Let p = u - 110. Suppose -2*b = l + 2*b - p, -4*l + b + 129 = 0. Is 11 a factor of l?
True
Let p(y) = 3*y + 12. Let s be p(-8). Let o = 22 - 48. Let l = s - o. Does 6 divide l?
False
Let q = -52 + 146. Let b = q + 24. Let y = -84 + b. Does 10 divide y?
False
Is 64 a factor of (-4)/16*-268 + -1?
False
Suppose -4*x = 14 - 62. Is 13 a factor of ((-7)/(-6) + (-8)/x)*124?
False
Suppose -13*i + 15*i - 12 = 0. Does 2 divide i?
True
Suppose -685 = 11*b - 3094. Is b a multiple of 23?
False
Suppose -t + v = -3*v + 6, 2*t = v + 2. Let z be -204 + t/4*0. Is 16 a factor of ((-1)/2)/(2/z)?
False
Let z be 2241/(-18)*(-4)/6. Suppose -2*p + 2*w + 25 + 1 = 0, 4*w = -5*p + z. Suppose 5 + p = d. Is 7 a factor of d?
False
Suppose 0 = -4*k + 8 + 20. Suppose 0 = -12*g + k*g + 30. Does 13 divide 3 + (g/2 - -51)?
False
Suppose 55 = 3*k - 86. Let h = 88 - k. Suppose -3*x = -4*p - h, -4*p - 26 = 4*x - 6*x. Is x a multiple of 5?
True
Let g be (-7 - -3)*5*-4. Let k = -33 + g. Let i = k + -28. Is i a multiple of 10?
False
Suppose 4*m = -3*q + 11, -m + 3*q - 6*q = -5. Is 3 a factor of ((-3)/(-6))/(m/20)?
False
Let j(c) = -c**2 - 5*c + 7. Let t be j(-7). Let r(k) = 7*k + k**3 + 9*k**2 - 2 - 3 + 0. Is 12 a factor of r(t)?
False
Does 8 divide 22330/116 - (-1)/(-2)?
True
Let t(v) = 36*v**2 + 13*v - 5. Does 10 divide t(5)?
True
Let s(g) be the third derivative of g**6/60 - g**5/60 - g**4/12 + g**3/6 - g**2. Suppose 0 = j - f + 1, -2*f + 3 + 3 = 0. Is s(j) a multiple of 3?
True
Let t(w) = 24*w**2 + 3*w - 45. Is 57 a factor of t(5)?
True
Let s(i) be the first derivative of -5*i**2/2 - 2*i + 17. Is 44 a factor of s(-18)?
True
Let u = -18 - -29. Suppose 2*o - 2 = -3*m - 1, 5*o = -5*m + 10. Suppose o*g - u = -2*w + 39, -w - 53 = -4*g. Is 6 a factor of g?
True
Let z(j) = -j**3 - 8*j**2 + 43*j + 21. Does 15 divide z(-12)?
False
Suppose 0 = 7*n - 3*n + 2*b - 6, -3*n + 2*b - 6 = 0. Let g be (0 - n) + (-7 - -9). Let a(i) = 12*i - 3. Is a(g) a multiple of 7?
True
Suppose -27*n = -29*n + 720. Does 10 divide n?
True
Let s(n) = n**3 + 6*n**2 + n + 3. Let p = 39 - 44. Is 6 a factor of s(p)?
False
Suppose 17*q - 16*q = 46. Suppose 0 = -u + 2*s + q, 1 = 5*s - 4. Is 4 a factor of u?
True
Suppose 0*h = -2*h + 4*i, -5*i = -2*h - 1. Suppose -205 = -h*c - o, 4*o = -5*c + o + 513. Is (-32)/12*c/(-8) a multiple of 12?
False
Suppose -2*c + 2*r = -290, -c + 211 = -2*r + 71. Suppose -c = -2*m - 0*m. Is m a multiple of 12?
False
Does 19 divide 10/4 - ((-52962)/12)/13?
True
Let i = 309 - 240. Is 12 a factor of i?
False
Let t(w) = 94*w**2 - w. Is 6 a factor of t(1)?
False
Let i(f) = -14*f - 7. Let v be i(-6). Let r = 140 - v. Is 9 a factor of r?
True
Suppose -c - 1 = -0*c. Let m be ((3 - c)/4)/1. Is 13 a factor of (8/20)/(m/65)?
True
Suppose -4*o + 40 = 2*q - 0*o, -1 = o. Let y be (7 - 13)/((-4)/q). Does 11 divide 4/4 + y + -1?
True
Let v = 29 + -44. Let j = 37 + v. Let s = j - 14. Does 8 divide s?
True
Let r be (21/7)/((-3)/4). Is 11 a factor of (r - -3) + -3 + 48?
True
Suppose -4051 + 1307 = -14*a. Does 7 divide a?
True
Suppose -5*a + 4*y = -219, 9*y = a + 8*y - 44. Is a a multiple of 2?
False
Let u = -43 + 39. Is 3 a factor of ((-17)/2)/(10/u - -2)?
False
Let h = 4 - 1. Let n(p) = -4*p + 2*p - 2*p + h*p + 18. Is 9 a factor of n(0)?
True
Does 6 divide 7 + (-11 - -2) - -236?
True
Suppose s = 5*f + 5, -4*f + 3*s + 0*s - 15 = 0. Let z(a) = -a**2 + a - 4. Let u be z(f). Is (4 + 5)*u/(-3) a multiple of 6?
True
Let d(y) = 12*y**2 + 2*y - 2. Let l = -8 + 14. Let g = 4 - l. Does 14 divide d(g)?
True
Suppose 13*k - 15*k + 10 = 0. Suppose -180 = -l - b, -3*l + k*b + 729 = l. Is l a multiple of 30?
False
Suppose 5160 = 99*d - 91*d. Is 13 a factor of d?
False
Suppose -6*w + 3*w + 18 = 0. Let t be 1 + (4 - w)/2. Suppose 0 = -5*j + 5, 3*r - 266 = -t*r - 5*j. Is r a multiple of 28?
False
Suppose -2*r = -6*r + 432. Suppose z = 7 + r. Does 23 divide z?
True
Suppose 0 = -5*c - 5, 2*u = c + 3 + 6. Let q(d) = d**3 + 5*d**2 - 6*d. Let v be q(-6). Suppose u*p = -4*r + 188, v*p + 3*p = r - 39. Is 9 a factor of r?
True
Let o(h) = h**2 - 14. Let j be o(-4). Let l = 10 - j. Is 4 a factor of l?
True
Let v(l) = 4*l**2 + 7*l - 10. Let c be v(6). Suppose -3*m + 0*m - 5*g = -257, -g + c = 2*m. Is m a multiple of 11?
False
Let k(d) = 46*d**2 - 5*d - 2. Let c(x) = -1. Let u(v) = -6*c(v) + k(v). Is 9 a factor of u(1)?
True
Let w(q) = -4*q - 4*q**2 + 0 + 6*q - 3 - q**3 + 4*q. Does 5 divide w(-6)?
False
Suppose 158*b + 2198 = 172*b. Is b a multiple of 2?
False
Let t be 0 + 15/(-5) + 4. Does 29 divide t + 116 + 1 + 4?
False
Suppose 3*u = 4*g - 8, 4*g + 4 = -4*u + 12. Suppose u = n - 61 - 46. Does 29 divide n?
False
Let n(v) = -11*v - 2. Let a be n(-3). Suppose 4*b - a = -2*d + 5, -36 = -2*d + 2*b. Does 3 divide 8/3 + 6/d?
True
Let u = -40 + 24. Let o = u + 20. Suppose 3*l = 4*z - 246, -178 = -3*z + 3*l -