Suppose q + 76 = 5*r. Does 10 divide r?
False
Let d(b) = 5*b**2 + 6*b + 1. Let s(n) = -14*n**2 - 17*n - 3. Let k(m) = -11*d(m) - 4*s(m). Does 2 divide k(-3)?
True
Let d(r) = 2*r**3 - 4*r**2 + r + 6. Let f be d(3). Let b = f + -11. Is b a multiple of 16?
True
Suppose -k = -75 - 211. Is k a multiple of 13?
True
Let x(r) = r**3 + 3*r**2 - 3*r + 3. Suppose -6 = -3*j - 15. Is x(j) a multiple of 12?
True
Suppose -3*m + 30 = 2*m. Is 4 a factor of m?
False
Let t(v) = 8*v. Let j(q) = -q - 3. Let x be (-17)/2 + (-1)/(-2). Let a be j(x). Is t(a) a multiple of 20?
True
Let j(c) = -3*c**2 + 27*c + 22. Let q(o) = -4*o**2 + 41*o + 33. Let g(l) = 7*j(l) - 5*q(l). Does 25 divide g(-11)?
False
Suppose 0 = 27*b - 29*b + 146. Is b a multiple of 15?
False
Let w = -176 - -372. Suppose -46 = -v - l + 5*l, 3*l + w = 5*v. Suppose 0 = -4*x + 2*x + v. Does 19 divide x?
True
Suppose 0 = -5*p - 2*b - 0*b - 20, -5*b + 25 = 0. Does 4 divide (36/(-2))/(p + 5)?
False
Let m(f) be the first derivative of 2*f**3/3 + 5*f**2/2 - 6*f - 1. Let p be 1/(-3) + (-28)/6. Is m(p) a multiple of 8?
False
Suppose 4*k - k = -9. Let r be (-2)/k + 49/3. Let i = r + -11. Is 6 a factor of i?
True
Suppose 2*m = -m + 12. Suppose m*t + 10 = 70. Is 11 a factor of t?
False
Let q = 8 - 6. Suppose -q*o = -5*x - 43, -4*o + 2*x = -5*o + 17. Is o a multiple of 6?
False
Let o = 183 - -228. Is o a multiple of 16?
False
Suppose -l = 4*h + 27, 4*l + 66 = -0*h - 2*h. Let d = 3 - l. Is 9 a factor of d?
True
Let u(o) = -9*o**3 - 2*o**2 + o. Let j be u(2). Let d(c) = -c**2 + c + 116. Let r be d(0). Let z = r + j. Is z a multiple of 13?
False
Let f = 0 + 0. Let s = 2 - f. Suppose 5*a = s*a + 45. Is 11 a factor of a?
False
Suppose -3*z = -2*d - 422, -z + 3*d = -0*z - 143. Is 14 a factor of z?
True
Let x(w) = w. Let t be x(-1). Let k(r) be the second derivative of -3*r**3 - r**2/2 + 4*r. Is 8 a factor of k(t)?
False
Suppose 3*k = 4*y + 144, -3*k + 3*y - 38 + 179 = 0. Does 11 divide k?
True
Suppose -4*q + 4*h + 342 = -62, h - 499 = -5*q. Is q a multiple of 17?
False
Let c(n) = -4 - 3*n - 6 - 6*n - n. Is c(-8) a multiple of 26?
False
Let o be (-4)/5*(-5)/2. Let y be (-4)/8*(1 + -11). Is 6 a factor of o + y + (-3)/3?
True
Suppose 0 = -5*c + 15, 2*q + 9*c = 4*c + 17. Let b be ((-1)/2)/(q/6). Is 11 a factor of 33*b/(-9)*1?
True
Let i(a) = 2*a**3 + 4*a**2 + a - 6. Is 29 a factor of i(3)?
True
Let g(i) = i**3 - 6*i**2 + 5*i - 2. Let s be g(5). Let m be ((-11)/(-2))/(s/12). Is 14 a factor of (-2)/4*2 - m?
False
Let n = -5 - -10. Suppose n*y + 3 - 88 = 0. Does 9 divide y?
False
Let l be (-2)/3*(-1 - -7). Is l*6/1*-1 a multiple of 12?
True
Suppose -72 = -14*i + 10*i. Is i a multiple of 8?
False
Let x(z) = 57*z**2 + 8*z - 11. Is x(2) a multiple of 27?
False
Let i = 18 + -36. Is i/54 - (-164)/6 a multiple of 9?
True
Let t(j) be the second derivative of 7/12*j**4 - j - 5/6*j**3 + 0 - 1/20*j**5 - j**2. Does 4 divide t(6)?
True
Let s(k) = 6*k**2 - 15*k**3 + 7 + 5 + k - 3 - 3. Let q(w) = 29*w**3 - 13*w**2 - 2*w - 13. Let r(f) = -6*q(f) - 13*s(f). Does 10 divide r(1)?
True
Suppose -181 = -5*h - g - 4, 3*h - 4*g = 120. Is 36 a factor of h?
True
Does 7 divide (-63)/14*76/(-6)?
False
Suppose i - 3*i + 68 = 0. Is i a multiple of 7?
False
Let y = 128 + -73. Is y a multiple of 18?
False
Let o = -122 - -206. Is 12 a factor of o?
True
Suppose -2*s - 3*q + q + 16 = 0, -q - 7 = -4*s. Does 7 divide (-1)/(123/42 - s)?
True
Let n(l) = 3*l**2 - 2*l + 8. Let d be n(6). Suppose -4 = 2*z, 4*i - d = -4*z + 60. Is i a multiple of 15?
False
Let b = -6 - -18. Is 10 a factor of (40/b)/((-4)/(-24))?
True
Let p = -7 - -10. Suppose p - 2 = n, 85 = 3*h + n. Is 11 a factor of h?
False
Let j = -62 + 93. Does 7 divide j?
False
Suppose 0 = -6*a + 3*a + 39. Does 13 divide a?
True
Is (2/4)/((-11)/(-660)) a multiple of 6?
True
Suppose -5*a - 69 + 474 = 0. Suppose 3*l = 6*l - a. Is 18 a factor of l?
False
Let w be (-2)/(-3)*(0 - -3). Suppose -w*v + 20 = -0*v. Is v a multiple of 5?
True
Let j be 8/(-10)*1*-65. Suppose 5*m = 4*p + 118 - 4, -2*p = -2*m + 58. Let s = j + p. Is s a multiple of 14?
False
Let n = -46 - -28. Suppose 132 - 36 = 2*l. Let q = n + l. Is q a multiple of 11?
False
Let u(b) be the third derivative of -b**6/120 - b**5/12 - b**4/6 + 2*b**3/3 + b**2. Let n be 2 - 1 - (5 + 1). Is 18 a factor of u(n)?
False
Let n(a) = -a**3 + 9*a**2 + 2*a + 13. Let b be 3 - (-2)/((-6)/(-3)). Let k(t) = -t**2 + 5*t + 5. Let w be k(b). Is n(w) a multiple of 14?
False
Let b(k) = 2*k**2 - 12*k + 43. Is b(8) a multiple of 5?
True
Let p(g) = g**3 + 7*g**2 + 8*g + 6. Let q be p(-6). Is (9/q)/(6/(-76)) a multiple of 12?
False
Suppose 0 = g - 46 + 1. Is 11 a factor of g?
False
Let l be ((12/1)/4)/((-3)/21). Let f = -4 + 33. Let n = f + l. Is n a multiple of 5?
False
Suppose 3*c = -2*y + 267, 3*c - 3*y - 74 = 208. Does 16 divide c?
False
Let b be 3 + 2 + 70 - -3. Let m = -35 + b. Is 13 a factor of m?
False
Suppose -6*f = -2*f - 16. Suppose -36 - 12 = -f*p. Is p a multiple of 5?
False
Let r(g) = 19*g**2 + g. Let j be r(-2). Let c be (-1)/((-2)/(-4)) + -29. Let n = j + c. Is 15 a factor of n?
False
Let y = -201 + 107. Suppose -s - s + 8 = -4*g, 3*g = -12. Does 12 divide y/s - (-1)/(-2)?
False
Let l(t) = t + 7. Suppose 4*i - 9*i - 15 = 0. Is l(i) a multiple of 4?
True
Suppose -a + 122 = 43. Suppose -2*i + 5*i - 66 = 4*n, -5*n + 2*i - a = 0. Let x = n - -22. Is 5 a factor of x?
False
Let z(t) = 15*t + 4. Let n be z(2). Let q = 49 - n. Is 8 a factor of q?
False
Suppose -9 = -3*o + 6. Suppose 2*z - 4 = 2. Let m = o - z. Is m a multiple of 2?
True
Let y(q) = -13*q**2 + 2*q + 4. Let v be y(-2). Let t = v + 130. Is t a multiple of 39?
True
Let y(m) = -m**3 + 9*m**2 - 32. Is y(8) a multiple of 3?
False
Suppose v + 14 = -4*z, 2*z - 1 - 1 = 4*v. Let u be v/(-8)*-3*68. Is ((-21)/9 + 2)*u a multiple of 7?
False
Let o(s) = s + 4. Let f be (2 - 1) + 1 + -2. Let b be f/2*(-2)/4. Does 2 divide o(b)?
True
Let b = -169 + 397. Is b/10 - (-8)/40 a multiple of 23?
True
Let d(z) = -z**3 - 13*z**2 - 13*z - 18. Let l be d(-12). Let w(b) = b**3 + 8*b**2 - 1. Let r be w(l). Suppose 4*q = r + 53. Does 12 divide q?
False
Let b = 16 - 6. Suppose x + 0*x - 5*d - 22 = 0, b = -3*x - 4*d. Suppose -14 - 8 = -x*t. Does 11 divide t?
True
Let o be 8/16 + 542/4. Suppose -2*y = -6*y + o. Let b = -16 + y. Does 9 divide b?
True
Suppose 2*x = -4*x + 600. Let k = x + -45. Is k a multiple of 11?
True
Let f = -21 + 49. Does 14 divide f?
True
Let q(z) = z + 11. Suppose 5*u = 73 - 23. Let s be q(u). Does 7 divide -2 + s*1 + -2?
False
Let f(g) = g - 9. Let h be f(14). Suppose -3*m - m = -3*j - 88, -20 = h*j. Is 5 a factor of m?
False
Suppose -d + 5*f = -13, -4*f = 3*d + d - 28. Is 4 a factor of d?
True
Let n = 15 - -3. Is 9 a factor of n?
True
Let h(y) = -y**3 + 9*y**2 + 19*y - 12. Is 9 a factor of h(8)?
False
Suppose 409 - 68 = k. Does 20 divide k?
False
Let l(i) = i**3 - i**2 - i - 1. Let h be l(0). Let o(b) = -b**2 + 0*b**2 + 0*b**2 - 13*b**3. Does 5 divide o(h)?
False
Let l(s) = s**3 - 2*s**2 + 5. Let o(q) = q**3 - q**2 - q + 4. Let i be o(0). Let z be 17/i + 1/(-4). Does 15 divide l(z)?
False
Suppose 5*c + 0 + 15 = 0. Let p be (c/6)/(1/(-44)). Suppose 4*m = p + 22. Is 7 a factor of m?
False
Let n be (-1)/(-2)*(-1 + 3). Suppose n + 8 = 3*x. Is (5 - 7) + x*4 a multiple of 5?
True
Does 7 divide (-787)/(-7) + 24/(-56)?
True
Suppose k - 5 = -0*k. Suppose -4*z + 60 = 5*r, 0*r + 88 = k*z + 3*r. Does 14 divide z?
False
Let t be 4/10 - (-66)/10. Suppose -t = -f - 0. Is 7 a factor of f?
True
Let s = -2 + -1. Let f = s - -3. Suppose -4*g - g + 10 = f. Is g a multiple of 2?
True
Suppose 3*d = 4*d - 77. Suppose x + d = 4*l - 0*l, -x - 57 = -3*l. Does 13 divide l?
False
Is 52 a factor of 36 + 313 - (1 - 3)/(-2)?
False
Let y(x) = 2*x**2 + 2*x + 5. Let t be y(-5). Suppose -q + 73 = -3*m + 5*m, 182 = 5*m + 2*q. Suppose -4*d + 3*a = -m, 2*a + t = 5*d - a. Does 9 divide d?
True
Let v = -107 + 158. Let o = v + -18. Suppose 4*l = o + 11. Does 8 divide l?
False
Suppose 0 = 55*r - 56*r + 105. Is r a multiple of 21?
True
Let r = 18 - 12. Does 4 divide r?
False
Let r = 62 - 22. Is r a multiple of 11?
False
Suppose 0 = -2*i + 7*i - 90. Is 17 a factor of i?
False
Does 26 divide (45/(-12))/(24/(-832))?
True
Let y(d) = -d**3 + 11*d**2 + 18*d - 14.