k) = 4*k**2 + 16*k - 132. Does 9 divide g(6)?
True
Let y = 167 - 45. Is y a multiple of 11?
False
Let c(s) = -s**3 + 3*s**2 + 4*s + 3. Suppose 4*h + 4*p = 0, -5*h + p = 5*p - 4. Let o be c(h). Is 22 a factor of (16 + o)*4/1?
False
Let m = -1 - -5. Let u be m/(-14) - 312/(-14). Let f = 11 + u. Is 7 a factor of f?
False
Let h(v) = -32*v - 88. Is h(-8) a multiple of 6?
True
Let v(h) = -3*h**3 + 6 + 2*h**3 + 306*h**2 + 6*h - 301*h**2. Suppose -2*d = 2*d - 5*y - 10, 3*d - 3*y - 9 = 0. Is v(d) a multiple of 9?
True
Let a be ((-276)/(-230))/(6/(-80)). Suppose 0 = h + 3*h - 84. Let q = h - a. Is 12 a factor of q?
False
Let o(r) = r**3 - 5*r**2 + r + 1. Let k be o(4). Let d(y) = y**3 - 27*y**2 + 4*y - 93. Let g be d(27). Let u = g + k. Is u a multiple of 4?
True
Let b(f) = -f**3 - f**2 + 2*f - 11. Let l = -27 + 23. Is b(l) a multiple of 7?
False
Let z be (-4)/8 - (-63)/(-6). Let l = z + 16. Suppose 2*t + 57 = v + 3, -303 = -l*v - t. Is 15 a factor of v?
True
Suppose 3*q - q = -4, d = 4*q + 3. Let k(t) = -19*t + 1. Does 16 divide k(d)?
True
Let n(u) be the first derivative of 5*u**3/3 + 5*u**2/2 + u - 1. Is n(4) a multiple of 32?
False
Suppose -13 = -2*m - 5. Suppose 4*r - 16 = 2*b, -4*b + 0*r - 20 = -m*r. Is 3 a factor of 7*1/(-2)*b?
False
Let j(g) = 13*g**2 + 2*g - 2. Let i be j(1). Let y = i - -48. Suppose -2*a - y + 197 = 0. Does 17 divide a?
True
Let h(s) = -s**2 - 6*s + 10. Let d be h(-8). Let t = d - -95. Does 26 divide t?
False
Suppose 0 = -2*i + 3*f + 2662, -7*i - 5*f = -12*i + 6655. Is i a multiple of 5?
False
Suppose -4*v + 6 = -5*m, -10 = 2*m - m - 3*v. Suppose 2*a = -5*y - 0*y + 8, 20 = -m*y + 5*a. Suppose -5*s = -3*h - y*h + 46, 15 = -3*s. Is 4 a factor of h?
False
Let g = 8 - 4. Suppose 12 - 60 = -g*b. Is b a multiple of 12?
True
Suppose -71*n - 14288 = -4*p - 69*n, -3*n - 17861 = -5*p. Is 12 a factor of p?
False
Let i = 365 - -53. Does 11 divide i?
True
Let n be (22/3 - 2) + (-4)/12. Suppose n*m - 35 = -5. Is 6 a factor of m?
True
Let p(c) = c**2 + 3*c - 1. Let s be p(1). Suppose -z - 2*z = 2*u - 196, -s*z = -4*u - 202. Is 36 a factor of z?
False
Let h = -68 - -248. Suppose 2*j - h = -3*j. Is 5 a factor of j?
False
Let c be 1 + 1 - (-2 + -1). Suppose -c*y = 12 - 172. Does 11 divide y?
False
Let c = -31 - -74. Is c a multiple of 2?
False
Let b(r) = r**2 + 2*r - 5. Let c be b(9). Suppose -3*g - 7 + c = 0. Is g a multiple of 29?
True
Does 8 divide 1396468/2494 + ((-120)/(-58) - 2)?
True
Suppose -3*u + o + 3 = 0, 0 = 5*o - 7 - 8. Suppose u*i + 4*j - 3*j = 44, -i - 4*j = -22. Let a = i - 5. Does 6 divide a?
False
Does 24 divide (12 + -60)/8*2614/(-12)?
False
Suppose 3*y = -12, -5*z - 3*y + 24 = -9. Let b(j) = -j + 22. Does 10 divide b(z)?
False
Let t(y) = y**3 + 4. Suppose -2*m + 9 = m. Let s be t(m). Let b = s - -8. Is b a multiple of 13?
True
Let p(d) = -d**3 + 6*d**2. Let h be p(6). Suppose 0 = -x + i - 18, -2*x - 5*i = -h*x + 15. Let l = x + 27. Does 4 divide l?
True
Suppose 3*s - 10 = l, -s + 3*l = 2*s. Suppose b - 114 = -4*q - 42, 3*q - 360 = -s*b. Does 36 divide b?
True
Let o(w) = w**3 + 14*w**2 + 4*w + 42. Is o(-6) a multiple of 7?
False
Let q(i) = 3*i**2 - 36*i - 44. Is q(16) a multiple of 7?
False
Let l(b) = -b**2 - 10*b - 1. Let f = 2 + 1. Suppose f*k + 4*x = 4*k + 16, 6 = 3*x. Is 5 a factor of l(k)?
True
Let s be (1 - 2)/((-2)/(-116)). Let a be s/14 + 3/21. Is 8/(-3)*18/a a multiple of 6?
True
Let x(j) be the third derivative of j**7/5040 + j**6/180 + 11*j**5/60 + 9*j**2. Let q(w) be the third derivative of x(w). Does 3 divide q(12)?
False
Is ((-11606)/(-49) - -3) + (-2)/(-14) a multiple of 3?
True
Suppose -4*v = -139 - 113. Suppose 3*u + 138 = 12. Let p = v + u. Does 21 divide p?
True
Let i(t) = 8*t - 6*t + 3*t**3 - 2 - 5*t**2 - 4*t - 4*t**3. Let p be i(-3). Let g = -4 - p. Is g a multiple of 10?
True
Suppose -3*v - 41 = -4*v. Let x be -2 - (64/(-10) - 38/(-95)). Suppose -x*g = y - 67, 3*y - 4*y = -2*g + v. Is g a multiple of 18?
True
Let v(l) = -3*l**2 - 40*l + 30. Let f(k) = 2*k**2 + 27*k - 20. Let c(z) = 7*f(z) + 5*v(z). Is 5 a factor of c(-5)?
True
Let h(u) = 88*u**2 + 29*u - 114. Is 11 a factor of h(5)?
False
Suppose 40 = 5*r - 40. Suppose 18*l - r*l = 4. Suppose 2*o + m = -4*m + 14, -12 = -4*o - l*m. Does 2 divide o?
True
Let v(s) = s**2 + 4*s + 6. Let m be v(-4). Suppose u - m = 7. Is 5 a factor of u?
False
Let q = -155 + 34. Let k = 236 + q. Is 23 a factor of k?
True
Let n(z) = -6*z**2 + z**3 + 67 - 7*z + 7*z**2 + 7*z. Suppose v = -0*v. Is 24 a factor of n(v)?
False
Let q be 6/8 + 1/4. Let j be 1*(-2 + 2*6). Is 19 a factor of (j/(-15))/(q/(-54))?
False
Let z = 91 + -87. Suppose -478 = -4*m + f, -2*m = 7*f - z*f - 246. Is m a multiple of 15?
True
Suppose 7 = b - w, 3*b = -b - 4*w + 12. Suppose 3*s = 0, -3*s = b*y - 0*s - 480. Is y a multiple of 24?
True
Let y = -35 - 9. Is 4 a factor of 8/y - 422/(-22)?
False
Let n(d) = 165*d - 23. Is 49 a factor of n(4)?
True
Suppose -9*v = -8*v - 7. Let x(c) = 3*c + 29. Let g(t) = 2*t + 15. Let m(r) = 11*g(r) - 6*x(r). Is m(v) a multiple of 19?
True
Suppose -3*g - 4*n + 31 = 0, -5*g + n = -3 - 18. Suppose g*v - 3*m - 38 = -4*m, v + 8 = 5*m. Does 4 divide v?
False
Let g(t) = -t**3 - 22*t**2 + 28*t + 17. Is 8 a factor of g(-24)?
False
Suppose -2*w + 17 = 15. Is 9 a factor of 1 + 3 + (62 - 3)*w?
True
Let l be (3*(-63)/(-18))/((-2)/(-4)). Let f be (-61)/(-4) + 2/(-8). Suppose -f = -3*g + l. Does 5 divide g?
False
Let n = 36 + -30. Suppose -n = 4*x + 6. Let r(q) = q**3 + 5*q**2 + 3*q + 2. Does 2 divide r(x)?
False
Let j(l) be the first derivative of l**6/360 - l**5/24 - l**4/12 - 5*l**3/3 - 2. Let d(u) be the third derivative of j(u). Is 3 a factor of d(6)?
False
Suppose 4*b - 380 = 252. Let t = 166 - b. Is 3 a factor of t?
False
Let v = -14 + 14. Suppose 5*p = 2*s - 9, 2*s - p + 5*p - 54 = v. Is s a multiple of 17?
True
Does 2 divide -5 - ((-8)/(-10) - (-33950)/(-250))?
True
Let q(g) = -7 + 6*g**2 + 6 + 1 + g**3. Let d be q(-6). Let p(y) = y**3 + y**2 + y + 9. Is p(d) a multiple of 9?
True
Suppose 0 = -2*k - 4*k + 792. Let i = k + -72. Does 12 divide i?
True
Let p(n) = -2*n - 2*n + 2*n + 3. Let s be p(-5). Suppose -s = -3*r + 38. Does 7 divide r?
False
Is 4 - 1 - (-1419 + (10 - -1)) a multiple of 83?
True
Let j(u) = u**3 + 4*u**2 - 10*u - 22. Let r be j(-5). Suppose 63 + 393 = r*i. Is i a multiple of 64?
False
Suppose 0 = -4*g + 3*l - 3, -4*l + 0*l + 23 = g. Let y(h) = h + 2. Let w be y(g). Let b = w - -19. Is 8 a factor of b?
True
Let m(h) = -4*h - 10. Let l be m(7). Let c = -23 - l. Is 7 a factor of c?
False
Suppose 0 = 4*i - 5*y - 25, 20 = 2*y - 6*y. Let w(x) = 0*x + 2 + i*x**3 + 1 + 2*x**3 + x**2 - 2*x. Does 7 divide w(2)?
False
Suppose -51 = -6*w + 189. Suppose 4*r - w = 2*r. Is r a multiple of 4?
True
Let z(x) = 2*x**3 - 36*x**2 - 18*x + 1. Is 10 a factor of z(19)?
False
Let k(h) = 3*h**2 + 3*h + 7. Let d(q) = q - 3. Let f be d(-4). Is 19 a factor of k(f)?
True
Let g be (-1)/((6/224)/((-903)/14)). Suppose 12*a = -344 + g. Does 23 divide a?
False
Suppose -726 = -w + 3*m, -m + 255 = -w + 981. Does 11 divide w?
True
Suppose 4*c = -5*y - 0*y + 2056, -2*c - 4*y = -1034. Is 13 a factor of c?
False
Suppose 0 = 12*n + 8614 - 47014. Is n a multiple of 19?
False
Let k(y) = y**3 - 6*y**2 + 7*y - 7. Let p = 15 - 9. Let j be k(p). Is 44/5*j/14 a multiple of 15?
False
Suppose 4*i = -4*f - 12, 4*i - 6*i = -4*f + 6. Suppose -s = -f*s - 29. Is 9 a factor of s?
False
Let p = -375 + 640. Is p a multiple of 26?
False
Suppose -2*v - 5 = -3*v. Suppose v*o - 1545 = 535. Suppose 0 = 4*n - 0*n - o. Does 21 divide n?
False
Suppose 183 + 7125 = 7*z. Is z a multiple of 58?
True
Suppose -a = 5*z - 590, -3*z + 4*a + 22 = -332. Let k = z + -41. Does 11 divide k?
True
Let f(i) = i**2 - 12*i - 11. Let l be f(14). Let g = l + -14. Suppose -g*w - 2*w + 425 = 0. Is 18 a factor of w?
False
Let p be -3 + (-635)/(-10) - 1/2. Is 13 a factor of -90*((-22)/p - (-4)/(-30))?
False
Let c(s) = -s**3 - 13*s**2 - 12*s + 3. Let n be c(-12). Suppose -n*v + 5*a + 253 = 0, -2*a = v - 0*a - 66. Is 19 a factor of v?
True
Let p(x) = 161*x + 31. Is p(2) a multiple of 8?
False
Suppose 0 = 210*w - 198*w - 2160. Is 6 a factor of w?
True
Let a = 67 + 71. Suppose 146 = 3*s - h, 4*s + 5*h - 25 = a. Does 10 divide s?
False
Let p be (-44)/(-14