 - k*w + c*w - 21 = 0. Is r a multiple of 10?
False
Is 20 a factor of (-192)/10*(72800/64)/(-7)?
True
Let x(p) = -27*p + 190. Let q(o) = -14*o + 95. Let w(v) = 5*q(v) - 3*x(v). Is w(11) a multiple of 13?
True
Let a = 3059 + -750. Is a a multiple of 24?
False
Let b(z) = 58*z - 138. Let d = -224 + 237. Is b(d) a multiple of 46?
False
Suppose -29*h + 2*j = -26*h - 10684, 7132 = 2*h + j. Is h a multiple of 12?
True
Suppose -2226 = 5*q - 8*q. Suppose -2*c = -t + 28 + 123, 0 = -5*t - 3*c + q. Is t a multiple of 4?
False
Let w(q) = -q**2 + 8*q - 2. Let k(y) = -2*y**2 - 15*y. Let g be k(-7). Let o be w(g). Let p = 7 + o. Does 11 divide p?
False
Let u(g) = g**2 + 6*g - 13. Let t be u(-9). Suppose t*l = -12*l + 4160. Is l a multiple of 3?
False
Suppose -3*w - 17913 = -3*x, 149*w = x + 144*w - 5987. Is x a multiple of 51?
True
Suppose 5*k = 3*k + 1414. Does 6 divide k?
False
Let u be (-1)/3*-8*18/2. Suppose 3*z - u = 42. Let l = z + -2. Is 4 a factor of l?
True
Let g = -612 - 6. Let o = -353 - g. Let t = o + -145. Is 13 a factor of t?
False
Let s = -10 - -16. Suppose 0 = q - 4, -4*u + s*q = 5*q + 280. Let b = u - -166. Does 11 divide b?
False
Let t(k) = -2*k**3 - 13*k**2 - k + 24. Let s be t(-6). Is 35 a factor of (s/(-12))/((1/1)/70)?
True
Let a(r) be the first derivative of 5/2*r**2 - 5*r + 5/3*r**3 + 9. Is 25 a factor of a(3)?
False
Let d(j) = -3*j**2 - 4*j + 4. Let v be d(-3). Let c(q) = 2*q**3 + 25*q**2 - 18*q + 6. Does 27 divide c(v)?
True
Let h(a) = 1558*a**3 - 5*a**2 + 104*a - 291. Is 294 a factor of h(3)?
True
Suppose -3*x = 2*k - 1555, x = 5*k - 703 - 3142. Suppose 0*p = -p - 3*z + 165, 5*p = -4*z + k. Let y = p - 50. Is 10 a factor of y?
True
Suppose 0 = 2*s + s - 2*c - 38, 3*s + 2*c - 22 = 0. Let x = s + -8. Suppose -2*h + 124 = x*a + 3*a, 0 = 3*a - 3*h - 66. Is a a multiple of 8?
True
Suppose 3*r + 13288 = 11*r. Suppose -2*i - 5*j + 650 + 36 = 0, j = 5*i - r. Does 25 divide i?
False
Let x(r) = -26*r - 13. Let p be x(-4). Let s = -94 - -29. Let g = p + s. Is 26 a factor of g?
True
Let o be (14 - 2)/((-2)/(-8)). Suppose 0 = -4*b + 2*j + 852, 4*b - j - 902 + o = 0. Does 26 divide b?
False
Let n(d) = 2*d**2 + 34*d + 125. Let g be n(-20). Let z = g + -117. Is z a multiple of 32?
True
Let a be 6/2 + 3 - -4251. Does 16 divide 7 + (-188)/28 + a/21?
False
Let b be (42/(-28))/(6/(-772)). Let u = b + 338. Is u a multiple of 16?
False
Let s = 16 + 31. Suppose -4*k = -3*a + s, 7*a - 2*a = -4*k + 89. Suppose 39 - a = 2*l. Is l a multiple of 6?
False
Let g = 956 - 953. Does 2 divide g*2/(-14)*-497?
False
Let h(c) = 7*c**2 + 4*c - 2. Let t(q) = q**2. Let k(i) = h(i) - 6*t(i). Let b be k(-5). Does 4 divide 213/18 + 4/24 - b?
False
Suppose 5*b - 9 = 4*t, -10*t - 5*b = -8*t + 27. Is 6 + (-2220)/(t + 1) a multiple of 18?
True
Suppose -21*o + 18*o + 1482 = 0. Let g = o + -351. Is g a multiple of 19?
False
Suppose 39*w = 38*w - 45. Let i = w + 59. Let y = i + 5. Does 19 divide y?
True
Let o(d) = 5*d**3 - 3*d**2 + 2*d - 2. Let n be o(2). Let h be 11 + (-378)/36 - 406/(-4). Let r = n + h. Does 22 divide r?
True
Let c(g) = -9*g - 10. Let o = -77 + 75. Let h(a) = -a + 1. Let y(i) = o*h(i) - c(i). Is y(12) a multiple of 26?
False
Is 14/((-98)/105) - -7407 a multiple of 48?
True
Does 126 divide 4 + (2644479/63 - 9 - (-12)/(-14))?
False
Let r = 524 - 251. Let l = 862 - r. Is l a multiple of 25?
False
Is 9 a factor of ((-7)/(-105)*-81)/(1/(-1185))?
True
Suppose 7554 = 5*h + 3*m, -2*h + 33*m - 34*m + 3021 = 0. Is h a multiple of 8?
False
Suppose 14289 = 8*n - 15351. Is n a multiple of 95?
True
Let g(y) = 4*y - 2*y**3 + 3 - 1 + 2*y**2 - 9*y**3. Let z = -36 + 34. Is g(z) a multiple of 18?
True
Suppose 0 = -3*u - 4*d - 8, -5*u - 9 = 4*d - 1. Let f(v) = v**2 - 2*v - 41. Let j be f(u). Is (11 - j) + 1*-3 a multiple of 6?
False
Suppose -1726*p + 4015 + 8000 = -1717*p. Is p a multiple of 88?
False
Is 19 a factor of 1364406/322 + (-10)/35?
True
Let f be -1 + -2 + 3*1. Suppose -2*s + s + 2*m + 716 = f, -4*m - 722 = -s. Suppose 4*u = 2*r + 572, -5*u + 2*r + 3*r + s = 0. Is 12 a factor of u?
True
Suppose 2*v - i = -1509, -4 + 1 = 3*i. Does 11 divide (3/15)/((-1)/v)?
False
Let l = -117 - -117. Let r(u) = -u**3 - u**2 - 6*u + 1287. Is 13 a factor of r(l)?
True
Let l be (9*(-6)/(-18))/(0 + 1). Suppose 3*p = l*h + 48, 7*p + 3*h - 120 = 2*p. Is 30 a factor of -316*(-2)/7 + (-6)/p?
True
Let k be (-3 + -13)*(18/(-2))/(-18). Is 74 a factor of -592*((-6)/(-8) + 18/k)?
True
Suppose 8612 = 2*i - 2*x, 3183 + 1099 = i + 3*x. Does 43 divide i?
True
Let l(z) = 2*z**3 + 47*z**2 + 9*z + 5. Let q be l(-23). Suppose -333*k + q*k = -96. Is k a multiple of 2?
True
Suppose -5*l - 3*c = 1824, -600 - 132 = 2*l + 2*c. Let v be (-12)/8 + 1 + 1291/2. Let z = l + v. Does 47 divide z?
True
Let i(f) = -1011*f + 48. Is i(-13) a multiple of 7?
False
Let r(v) = -v**2 - 32*v - 39. Let g be (-2 + 71)*9/(-27). Does 12 divide r(g)?
True
Let j(o) = -18*o**3 - o**2 - 176*o + 39. Is 141 a factor of j(-9)?
True
Let v be (-84)/24*2/(-1). Let l(c) = 6*c - 44. Let i be l(v). Is (-23)/i*(-24)/(-2) a multiple of 23?
True
Suppose -5*y - 1283 = -2*m, 0*m - y = m - 624. Let x = m + -85. Does 40 divide x?
False
Let s(t) = -t**2 + 19*t - 8. Let v be s(19). Let z be (-2 - (-12)/v)*-2. Suppose 119 = 6*c - z. Is c even?
False
Let q(r) = r**3 - 5*r**2 - 4. Let z(n) = n**3 + 9*n**2 + 2*n + 24. Let y be z(-9). Suppose 5*p = f + 26, -2*p - f + 10 + y = 0. Does 6 divide q(p)?
False
Suppose -13*w = -16*w + 42. Let q(m) = -m**2 + 8*m + 3. Let l be q(w). Let h = -17 - l. Does 9 divide h?
False
Suppose 3*p + 0*u + 3*u - 57 = 0, 3*p + 4*u - 61 = 0. Let v = -15 + p. Suppose v = -0*y + 5*y + 4*c - 800, -2*y + 4*c = -320. Does 40 divide y?
True
Let i(n) = -4 - 5*n - 3 + 6. Let c(j) = 13*j + 45. Let d be c(-4). Is i(d) a multiple of 5?
False
Let k(o) = 201*o + 2526. Is k(75) a multiple of 14?
False
Let r be -5 - (1 + -6 + -3). Suppose 4*k - 2857 = y, 5*k - 9*k + 2837 = r*y. Does 8 divide k?
False
Let g = 12085 + -10128. Is 15 a factor of g?
False
Let p(b) = -b**3 + 6*b**2 - 6*b + 10. Let t be p(4). Let o be (-4)/t - (-416)/9. Let g = -40 + o. Is g a multiple of 3?
True
Let m(s) = 4*s - 67. Let t be m(18). Suppose -2*n + 3*k + 309 = -t*n, 3*n + 4*k = -312. Let x = n + 123. Is x a multiple of 11?
False
Let k = 1745 - 1686. Is 6 a factor of k?
False
Suppose 2*v + f = -0*f + 138, v - 5*f = 80. Is -7*(-5)/v*662 a multiple of 18?
False
Let v(n) = -n**2 - 2*n - 4*n**2 - 3 + 2*n**3 - n**2 - 2*n**2. Let f be v(4). Does 30 divide (-3 + f/(-3))/(1/180)?
True
Let c(u) = -15*u**3 - 5*u**2 - 4*u + 126. Let b(q) = 3*q**3 + q**2 + q - 25. Let a(w) = 11*b(w) + 2*c(w). Let i = 3802 - 3798. Is a(i) a multiple of 22?
False
Suppose p - 109 + 34 = 0. Suppose -68*r = -p*r + 1463. Is 10 a factor of r?
False
Let f(w) be the third derivative of 29/24*w**4 + 27*w - 59/6*w**3 + 0 + w**2 - 1/60*w**5. Is f(26) a multiple of 19?
True
Let t(f) = 2*f**3 + 18 + 18*f**2 + 46*f - 63*f + 30*f. Does 7 divide t(-8)?
True
Let v = -170 + 170. Suppose v = 3*n + 15, -2*o + 569 = -0*o + n. Is o a multiple of 91?
False
Suppose -3*j = j + w + 105, 2*j + 49 = 3*w. Let x(r) = -25*r + 5. Let o be x(2). Let t = j - o. Is 19 a factor of t?
True
Suppose 125*c = -108*c + 1696240. Does 5 divide c?
True
Suppose 2*t - 3*l + 401 = 445, 2*t - 5*l - 40 = 0. Let x be 1/(-4) - (-667)/(-4). Let w = t - x. Is w a multiple of 22?
False
Suppose -31 + 10 = -7*q. Let s(f) = f**3 + 4*f**2 + 4*f + 3. Let p be s(-2). Suppose h = 4, p*m - q*h = 35 + 13. Is 5 a factor of m?
True
Does 82 divide (-4)/(32/468)*(-3546)/27?
False
Let t be ((105/(-18))/35)/((-2)/60). Let o(p) = 27*p**2 + 5*p - 35. Does 19 divide o(t)?
True
Suppose 4*p - 17528 = -1765 + 105869. Is 42 a factor of p?
True
Let m(j) = 51*j - 222 + 141 - 41*j + 124. Let a(l) = l**2 + 3*l. Let k be a(-3). Does 3 divide m(k)?
False
Suppose 18949 + 70541 = 38*x. Let g = x - 1660. Does 17 divide g?
False
Let s(a) = -a**3 - 35*a**2 + 94*a + 709. Is s(-41) a multiple of 31?
False
Let d(s) = -8*s**3 + s**2 + 5*s + 3. Let x = 219 - 221. Is d(x) a multiple of 17?
False
Let r be 0/(-2)*(9/2)/(-9). Suppose 3*k + 4*i - 916 + 297 = 0, r = 4*i - 4. Is 41 a factor of k?
True
Let f = 47 - 29. Is 18 a factor of (f/21)/((-5)/35)*-3?
True
Let d(l) = l**2 + 4*l. Let r be d(-6). L