 Suppose k*d + 29 = 14*d. Is d a multiple of 11?
False
Let r(k) = 4*k - 1. Let v be r(1). Let c(p) = -17 + p + 24 + p - v*p. Is c(3) even?
True
Let p(s) = -28*s + 67. Is 8 a factor of p(-8)?
False
Does 3 divide (-6)/(-4)*(-25 - -27)?
True
Let k(p) = -7*p**3 - 3*p**2 + 1. Let g be k(-1). Suppose 3*c - i - 4 = 1, 3*c + 2*i + 1 = 0. Does 7 divide c/(g*(-2)/(-90))?
False
Let b(f) = 1 - 7*f**2 + 4*f**3 - 3*f**3 + 9*f - 1 + 4. Suppose -21 = -3*r - 3*d, -4*r + 3*d - d = -28. Does 10 divide b(r)?
False
Suppose -5 + 0 = a, a = -4*w + 9391. Is 29 a factor of w?
True
Let j(h) = -31*h**3 + h**2 - 1. Let m be j(1). Let l = 46 + m. Is l a multiple of 4?
False
Suppose 4*l = 16, 4*d - 9*d + 2*l - 6403 = 0. Is 40 a factor of (-4)/(-32) + d/(-8)?
True
Let r be 162/5 + (-18)/45. Is 1142/8 + (-4)/r*-2 a multiple of 11?
True
Let d be 3/(-12) - 324/(-16). Let j = d - -47. Let v = j + -41. Is 13 a factor of v?
True
Let x = -12 - -8. Let z be 2/x - (-2044)/8. Suppose 7*o - 12*o + z = 0. Does 17 divide o?
True
Let g be 1/(-2) - (-23)/(-46). Is (0 - (6 - g))/((-6)/18) a multiple of 2?
False
Let w = -20 + 14. Is (-64)/w*(-21)/(-2) a multiple of 23?
False
Let h(o) = 2*o**2 + 5*o - 3. Suppose -l + 87 = 2*l. Let c = 24 - l. Does 11 divide h(c)?
True
Let j = 578 - 422. Is 26 a factor of j?
True
Suppose 7*c - 6*c = 83. Suppose 0 = 3*h + u - 99, -2*h + 8*u + c = 3*u. Does 17 divide h?
True
Suppose -23*u + 38*u - 9720 = 0. Does 6 divide u?
True
Suppose 26*o + 48 = 20*o. Let x(k) = -7*k - 12. Let b(t) = 6*t + 12. Let q(j) = 6*b(j) + 5*x(j). Is 2 a factor of q(o)?
True
Is ((-1029)/42)/((-1)/8) a multiple of 6?
False
Is 68 a factor of (44784/96)/(3/2)?
False
Suppose -419*o + 422*o = 18981. Does 14 divide o?
False
Suppose 25*j - 24*j - 16 = 0. Suppose -j*o + 2693 = -2459. Is o a multiple of 42?
False
Suppose -3*m + 4*g = -24, m + 3*g = -4 + 12. Let n be (m/(-3))/(2/(-3)). Suppose 0 = n*b + 5*i - 44, -5*b - 3*i = 31 - 99. Is b a multiple of 16?
True
Is (-13)/(91/406)*-32 a multiple of 32?
True
Let n be 35/10 - (-2)/(-4). Suppose 4*r - n*r + 4*x + 5 = 0, -2*x + 35 = 3*r. Suppose -r*d - 208 = -19*d. Is d a multiple of 13?
True
Let k = 290 - 144. Let l = k - -59. Is 27 a factor of l?
False
Let c(z) = -z**2 - 13*z - 6. Let y be c(-7). Suppose -12*q = -3*q - y. Is 4 a factor of q?
True
Let l be 8 + -2 - 1/(-1). Let i(m) = 5 + 9*m**2 - l*m**2 + 0 + 5*m. Is 31 a factor of i(-8)?
True
Suppose 0 = 4*s - 3*s - 2*l - 273, 1425 = 5*s + 5*l. Suppose -g = -0*y - 2*y + 110, -5*y = -4*g - s. Is y a multiple of 4?
False
Let u be (-4)/6 + (-20)/6. Let k be (6/u)/((-21)/70). Suppose -y + 6 + k = 2*i, -2*i - 4 = 0. Is 15 a factor of y?
True
Suppose -5*o + 2*u + 172 = u, 0 = 4*o - 3*u - 131. Let p = o - -165. Suppose -n - 2*n + 4*g + 157 = 0, 4*n = -4*g + p. Is 17 a factor of n?
True
Suppose 3*y - 50 = -7*y. Is y a multiple of 5?
True
Let a(v) = 6*v**2 - 19*v + 19. Let g be a(1). Let l(r) = 29*r - 7. Let o(w) = 44*w - 10. Let k(c) = -7*l(c) + 5*o(c). Does 22 divide k(g)?
False
Suppose -865 = -k + 44. Suppose -5*d - x = -3*x - k, 3*d - 558 = -3*x. Is 37 a factor of d?
False
Suppose 5*o = 4*p, 4*o = 2*o - p. Let g(j) = 31*j + 16 + 27*j - 84*j + 3 + 27*j. Is g(o) a multiple of 4?
False
Let v be (-175)/10 + (-6)/(-4). Let s = v + 19. Let h(d) = 12*d + 2. Is h(s) a multiple of 19?
True
Let x(j) = -196*j - 2. Is 29 a factor of x(-6)?
False
Let h(u) = u**3 - 14*u**2 + 14*u + 1. Let f(m) = 4*m**3 - 56*m**2 + 57*m + 4. Let y(j) = 2*f(j) - 9*h(j). Let v be y(13). Is v + -11 + 61*1 a multiple of 23?
False
Suppose 5*m + 4*h = 2296, -386 + 1762 = 3*m + 4*h. Does 46 divide m?
True
Let j = -31 - -33. Is j/11 + (-185)/(-11) a multiple of 17?
True
Let l = -249 - -337. Is 22 a factor of l?
True
Let q = 11 - 3. Let t = q - 69. Let m = 162 + t. Does 26 divide m?
False
Let d(y) = y**3 - 17*y**2 + 4*y - 12. Let p = -50 - -67. Is 39 a factor of d(p)?
False
Let j(z) = -239*z + 1. Does 8 divide j(-1)?
True
Let g(k) = k**2 + 2*k - 3. Let u be g(2). Suppose -n + 6*n = u*p - 190, 2*n = 3*p - 110. Is 7 a factor of p?
False
Let q(u) = 6*u + 101. Is 3 a factor of q(8)?
False
Let i(c) = 2*c**2 + 12*c + 34. Is 57 a factor of i(-10)?
True
Let z be (-1)/(-5) - 96/(-20). Suppose z*o - 3 = 2*o. Does 5 divide (16/(-24))/(o/(-15))?
True
Let h = -1 + -11. Let k be 1/(-3) - 52/h. Suppose 208 = k*u + 3*j + j, -4*u + 2*j = -214. Is u a multiple of 16?
False
Let s = 23 + -19. Suppose 0 = -3*j - s + 7. Let f(p) = 18*p. Is 6 a factor of f(j)?
True
Suppose 5*c + 6*x + 50 = 3*x, -3*x - 30 = 3*c. Does 7 divide 867/21 + c/35?
False
Let x(a) = 17*a - 4. Let v be ((-54)/45)/((-2)/25). Suppose 3*c = -0*c + v. Does 31 divide x(c)?
False
Suppose 0 = 5*w - 20 - 5. Suppose g + 4*c = -g + 274, 0 = -3*g - w*c + 414. Does 15 divide g?
False
Let v = -25 - -35. Let r(z) = -z**3 + 9*z**2 + 12*z + 18. Is r(v) a multiple of 19?
True
Suppose 5*k = 1220 - 1130. Is 3 a factor of k?
True
Let i = -7 - -12. Suppose 85 + 185 = i*a. Suppose -a = -c - 5. Does 16 divide c?
False
Let k = 41 - 35. Does 11 divide (-594)/k*8/(-6)?
True
Let k(m) = m**2 + 6*m + 6. Suppose 2*f = -2, -2*g = -4*g - 3*f - 11. Let y be k(g). Is 6 a factor of -3*6*(y + 1)?
True
Let y = -1 - -1. Let s(q) be the first derivative of q**2 + 19*q - 5. Is s(y) a multiple of 19?
True
Let x be (-46)/69 - 568/(-6). Suppose x = 4*u - 50. Is 9 a factor of u?
True
Let a(b) = -b**2 - 85*b - 118. Is a(-61) a multiple of 51?
False
Let j(b) = -b**2 + b + 5. Let r be j(0). Suppose -9 + 34 = 4*g + r*v, g + 2*v = 4. Let q(y) = 7*y + 12. Is 29 a factor of q(g)?
False
Let k = 53 + -19. Suppose 0 = -8*r + 71 + 73. Let g = k - r. Is g a multiple of 4?
True
Let t(m) be the third derivative of m**4 + 5*m**3/6 + 6*m**2. Is 12 a factor of t(2)?
False
Suppose 0 = -5*m - 4*h + 259, 3*h + 114 = 3*m - 63. Let t = 58 - 34. Let n = m - t. Is n a multiple of 7?
False
Let p(s) = -3*s - 162 + 162 + s**2 + 4*s**3. Does 12 divide p(3)?
True
Let k = -64 + 40. Let l = k - -104. Does 20 divide l?
True
Let z be 1916/(-16) + 1/(-4). Let g = z - -220. Does 31 divide g?
False
Suppose 59*i = 2*i + 105336. Is i a multiple of 22?
True
Let i(p) = 61*p**2 - 14*p + 25. Does 4 divide i(2)?
False
Suppose -19*u = x - 20*u - 1634, 8170 = 5*x - 2*u. Does 43 divide x?
True
Suppose 0 = -x, -23 - 42 = -q + x. Let a = 9 + -4. Is 32 a factor of 5/a + q + -2?
True
Let b be 98/2 - 1/((-5)/(-15)). Let z = 2 + b. Is z a multiple of 24?
True
Let l(g) = g**3 + 5*g**2 - g. Let h be l(-5). Suppose -3*b - 5*v = 3 - 1, -38 = -h*b + 2*v. Is b a multiple of 5?
False
Let f(a) = -36*a - 2. Let c be f(-3). Let w = c - 13. Is w a multiple of 9?
False
Let t(b) = 6*b**2 - 21*b + 14. Let y(a) = a**2 - 4*a + 3. Let s(i) = 2*t(i) - 11*y(i). Let n be s(4). Suppose w - 19 = n. Is w a multiple of 11?
False
Let h(p) = 1 - 2*p - 5*p - 2*p. Let m be h(3). Let d = 44 + m. Does 6 divide d?
True
Suppose 0 = 4*p - 5*r - 1188, -179*r = -181*r. Is 3 a factor of p?
True
Let l(p) = -4*p**2 - 5*p + 2. Let q be l(4). Let v = q + 57. Let b = v - -56. Does 14 divide b?
False
Let b = 741 - -797. Is 6 a factor of b?
False
Is (-23)/(759/22)*-5211 a multiple of 18?
True
Let h be -18 + 2*(1 - 0). Let w be -5*(h/5)/(-4). Let c = 4 - w. Is c a multiple of 8?
True
Let m be 14/98 - -1*(-2280)/(-14). Suppose 137 + m = 3*u. Does 13 divide u?
False
Let t = -823 + 1291. Is t a multiple of 39?
True
Let j(g) be the first derivative of -7*g**2/2 - 40*g + 26. Is j(-13) a multiple of 11?
False
Let t = 762 + -74. Does 43 divide t?
True
Let q = -15 - -19. Suppose -3*z + c - 2 = -z, -z - 10 = q*c. Let y(p) = -8*p - 1. Is y(z) a multiple of 6?
False
Suppose 13*x + 25*x - 2546 = 0. Does 24 divide x?
False
Let s(t) = 2*t**3 - 28*t**2 + 3*t - 14. Is 13 a factor of s(15)?
True
Let n(r) = 133*r + 111. Is n(13) a multiple of 23?
True
Suppose -61*x + 5564 = -27986. Is x a multiple of 9?
False
Let p(v) = 10*v**2 + 5*v. Let y = 12 - 9. Is 15 a factor of p(y)?
True
Let d(x) = -148*x**2 + 3*x + 80*x**2 + 17 + 73*x**2. Is 35 a factor of d(-6)?
False
Let v be ((-10)/(-20))/((-1)/(-10)). Suppose -v - 5 = 5*n. Let j = 35 - n. Is j a multiple of 11?
False
Let h(p) = p**3 - 2*p**2 + 4*p - 4. Let b be h(2). Suppose b*i + 4*i - 352 = 0. Is 11 a factor of i?
True
Let h(k) = k**3 - 71*k**2 + 2*k + 80. Is 32 a factor of h(72)?
True
Suppose 