ppose 5*q = -2*l + 66, q - 2*l - 24 = 3*l. Suppose 0 = q*y - 17*y + 258. Suppose -y = -k - 5*v, 2*v - 29 = -k + 45. Is k a multiple of 17?
False
Suppose 4*k = 5*q - 203026, -3*k + 295990 = 5*q + 92992. Does 201 divide q?
True
Let o(c) = 31*c + 18. Suppose 3*t - 5*t = 4*p - 58, -3*p = 4*t - 116. Is o(t) a multiple of 70?
False
Suppose -4*m = -2*n - 7814 - 990, 6 = n. Is 116 a factor of m?
True
Let t(l) = -1857*l + 635. Is 4 a factor of t(-4)?
False
Let j(w) = 13*w**2 - 31*w - 3. Let u(a) = -3*a**2 + 1. Let c(o) = -j(o) - 4*u(o). Does 19 divide c(29)?
True
Let z(u) = u**2 + 3*u + 55. Suppose -3*p + 3*j = 48, 3*j + 17 = -52*p + 50*p. Does 5 divide z(p)?
True
Suppose 0*n + 14 = 7*n. Suppose n*b - 1272 = -4*u, -2*u + 2*b + 660 = -3*b. Is 16 a factor of u?
True
Let f = 41 + -62. Let v = 238 + f. Is 66 a factor of v?
False
Suppose -56 = -34*i + 33*i. Let z = i - -45. Suppose 4*j - 486 = -3*v, 2*j + 4*v - 147 = z. Is 8 a factor of j?
True
Suppose -24*h + 105 + 183 = 0. Let w(y) = -y**3 + 19*y**2 - 13*y - 38. Is 74 a factor of w(h)?
True
Let w(d) = d + d**3 + 5*d**2 - 6*d - 7*d - 20 + 2*d. Let q be w(-6). Does 2 divide (q - -3)/(2/4)?
True
Suppose -58*z + 430809 + 100065 = 0. Is z a multiple of 9?
True
Suppose -o = 2*o + 6. Suppose -5*p - 5 = 0, -4*p - 115 = 5*a + 14. Does 11 divide 0 - ((-3 - o) + a)?
False
Let w be 163455/8 + 34/272. Is 14 a factor of w/112 + (-6)/14?
True
Let o = 44 + -46. Let c be o/(-9) - (-7400)/72. Suppose c = 3*f - 2*f. Is 27 a factor of f?
False
Let b be 14848/16 + (-3 - -9). Suppose 2*x - 16*a - b = -21*a, 2*x + 2*a - 922 = 0. Does 31 divide x?
False
Suppose 33 = 6*w + 45. Let m be (-9)/3 + (0 + w - -8). Is (24 - (-4 + 4))*2/m a multiple of 2?
True
Let c(m) = 45*m**3 - 24*m**2 + 57*m - 6. Does 140 divide c(9)?
False
Let r = -419 - -411. Is -2 + r/(-6) - 17478/(-54) a multiple of 12?
False
Let s be 280/(-84)*9/(-2). Suppose 1291 = 22*d + s. Is d a multiple of 5?
False
Let x(d) = 668*d**2 + 2*d - 6. Does 3 divide x(1)?
False
Let n(l) = l**2 - 11*l - 16. Let a be n(16). Suppose 0 = 4*c - 4*y + 152 + a, 5*y - 66 = c. Let r = -40 - c. Is r a multiple of 8?
False
Suppose 5*m + 5*i = 44542 - 9487, m = 3*i + 6995. Does 10 divide m?
False
Let a(p) = p**3 + 6*p**2 - 4*p - 4. Let v be a(3). Let n = v + -37. Does 4 divide n?
True
Let o = -185 + 118. Let g be (25/2)/(6/(-12)). Let t = g - o. Is t a multiple of 7?
True
Let r = 149 - 147. Let f = r + -2. Suppose -4*v + 8*v - 144 = f. Does 4 divide v?
True
Let d = -132 - -210. Let o = d + -9. Is 6 a factor of o?
False
Let u = 2578 - -13190. Is u a multiple of 12?
True
Let a = -2613 - -3977. Is a a multiple of 124?
True
Let o(f) = f + 7. Let m be o(-7). Suppose m = 8*h - 3*h + t - 86, -4*h + 71 = 3*t. Is 17 a factor of 3/(54/h - 3)?
True
Suppose 156*k - 199710 = 93*k. Does 10 divide k?
True
Let o(r) = -3*r**3 - 4 + 2*r**3 - 20*r - 12*r**2 + 3*r**2 + 8*r**2. Is 43 a factor of o(-8)?
False
Let o = -47 - -50. Suppose -2*y = 115 - 979. Suppose 4*a - o*i = -0*i + y, -540 = -5*a + 2*i. Does 27 divide a?
True
Let b = -7275 - -8829. Does 7 divide b?
True
Let q(i) = 14*i**3 + i**2 - 2*i - 5. Let c be q(-3). Let s = -50 - c. Is s a multiple of 19?
False
Let z = -167 - -283. Let m = z + 271. Let y = m + -205. Does 26 divide y?
True
Let v = -1912 + 4921. Is v a multiple of 2?
False
Suppose 3*s - 112*y = -117*y + 18714, -3*y + 6246 = s. Is 12 a factor of s?
True
Let b = -4841 + 4949. Is 3 a factor of b?
True
Let i = 71 - 70. Let b be i/((-1)/(4/12*3)). Is 24 a factor of 90 - (0 + (3 - b))?
False
Let w be -4 - (2/(-19) - (-530)/(-19)). Is 528/w + ((-4)/(-2))/1 a multiple of 6?
True
Suppose -40*f = -14*f - 130. Suppose b = 2*x + 566, -f*b = -5*x - 3432 + 587. Is b a multiple of 26?
True
Let u(r) = 9*r + 9 + 13*r**3 - 11*r**2 - 33*r**3 + 11*r**3 + 10*r**3. Let h be u(10). Does 18 divide 42*3 + 1 - (h + 2)?
True
Let m(z) = -1167*z + 151. Does 26 divide m(-7)?
True
Suppose -27*s + 399770 = -s - 102446. Is 66 a factor of s?
False
Let t(v) = 72*v**2 + 37*v + 31. Is 215 a factor of t(-17)?
True
Let u be 33/3*1*6. Suppose 2*a - 5*o - 6 = 0, -5*a = -8*a + 3*o + 27. Suppose -a*i = -15*i + u. Is i a multiple of 11?
True
Suppose -28*q + 7001 = -10*q - 9631. Is 12 a factor of q?
True
Let x(o) = o**2 - 8*o + 18. Suppose -4*z - 25 = 5*p - 2*z, -5*z + 32 = -p. Let k be p*(-3 - -4)*-1. Does 3 divide x(k)?
False
Let n(b) = 24*b + 3*b - 29 - 28. Is 24 a factor of n(13)?
False
Let w(c) be the first derivative of 5*c**3/3 + c**2 + 20. Let z be w(-1). Suppose -z*v + 21 = 6, -v + 239 = 3*j. Does 5 divide j?
False
Let g = 13 - 13. Suppose d - 2*l + 20 = 5*d, g = d + 5*l + 4. Let z(p) = 4*p - 9. Does 3 divide z(d)?
True
Let n(r) = 12*r + 82. Let t be n(12). Let l = -178 + t. Is l a multiple of 8?
True
Let b = 23968 - 14528. Does 31 divide b?
False
Let k(h) = 1941*h + 99. Is k(1) a multiple of 30?
True
Let i(m) = m**3 - 29*m**2 - 29*m - 2. Let b be (18 + -6)*(-20)/(-8). Is 7 a factor of i(b)?
True
Let m(a) = -2*a - 41. Let n be m(-23). Is 18 a factor of 42/105 - (-1618)/n?
True
Let m be (5088/9)/2*(-12)/8. Let v = m - -684. Is 10 a factor of v?
True
Let d(g) = -1251*g - 5556. Is d(-7) a multiple of 33?
True
Let v = 8 - 4. Let j(w) be the second derivative of w**4/6 + 5*w**3/6 - 6*w**2 - 9*w - 10. Is 13 a factor of j(v)?
False
Suppose 1 = -l + 4*f + 14, 4*l - 2*f - 52 = 0. Let w(d) = -d**2 + 19*d - 10. Let z be w(l). Suppose 2*g - z = -2*k, -4*k + 2*g + 149 + 17 = 0. Does 13 divide k?
True
Let p(w) = -w**3 - 11*w**2 - 12*w - 17. Let k be p(-10). Suppose 0 = x - 3, 5*x - k*x = l - 253. Let j = -179 + l. Is j a multiple of 16?
True
Suppose 59 - 35 = 4*d. Suppose 4*x - d*o + o - 347 = 0, -5*o + 181 = 2*x. Suppose -3*y + 284 + x = 3*a, -4*a + 486 = -y. Is 14 a factor of a?
False
Let i = 451 - 447. Suppose 3*s - 66*h + 61*h - 2155 = 0, i*s = -4*h + 2884. Does 9 divide s?
True
Suppose -4*l - 4 - 16 = 2*g, 0 = -4*g - 5*l - 40. Let r(x) = -10*x - 2*x - 7*x + x - 24 + x**2. Is 16 a factor of r(g)?
True
Suppose -14*h + 31 = 3. Suppose -h*a = -2*k + 188, -3*a = -5*k - 2*a + 454. Is 54 a factor of k?
False
Suppose 5*s - 3*o - 29 = 0, -3*s = 3*o - 2*o - 9. Suppose -s*d = 5*l - 3402, 3384 = 2*l + 3*l - 2*d. Is 10 a factor of l?
False
Suppose -4276 - 13949 = -9*d. Suppose 2*j + d = 5*j. Is 27 a factor of j?
True
Let n(b) = b**2 + 9*b - 53. Let j be n(14). Let u = -98 + j. Does 19 divide u?
True
Suppose 0 = -47*z + 44*z. Let y be (-264)/(18/(-3))*(z + 1). Suppose y - 214 = -b. Is b a multiple of 30?
False
Let r = 385 - 422. Let f = 66 + r. Does 27 divide f?
False
Let n = 67 - 35. Let z = -34 + 56. Let x = n - z. Does 10 divide x?
True
Suppose 4*r + h - 326 = 0, -130*h = -4*r - 125*h + 338. Is r a multiple of 41?
True
Let u(o) = 3092*o - 17876. Does 180 divide u(13)?
True
Let p be (16/(-6))/(-2 - (-244)/123). Let g = -2 + p. Suppose -7*m = -4*m - g. Is m a multiple of 27?
True
Suppose -5*z + 10226 = -r, z + 2*r - 2997 = -965. Is 2 a factor of z?
True
Let p(u) = u + 489. Is 13 a factor of p(-34)?
True
Suppose -2600 = -4*k - 5*o, -27*k + 3*o = -30*k + 1947. Is k a multiple of 15?
True
Let j be 1333/473 - (-2)/11. Suppose -5*n + 2*i + 520 = 0, 0 = -n - 6*i + j*i + 104. Is n a multiple of 13?
True
Suppose 0 = -9*j - 2*j + 3*j + 26952. Does 58 divide j?
False
Let m be (-24)/1*(-7 + (-13)/(-3)). Suppose 4*z = 5*h - 3742, -m*z + 68*z = -h + 758. Does 25 divide h?
True
Suppose 0 = s + 12*m - 7*m + 20, -2*s - 4*m = 16. Let q = 1 + 8. Suppose s = h - q*h + 264. Is 24 a factor of h?
False
Let a(t) = 591*t**2 - 1. Let c be 0 - (-4)/(-3 - 1). Is a(c) a multiple of 41?
False
Suppose 3*n = 2*a + 172, -9*n + 3*a + 285 = -4*n. Is 21 a factor of 2/9 + (30120/n - 12)?
True
Let c(g) = -20*g + 8. Let j be c(-1). Suppose 0 = -32*k + j*k + 72. Is 8/k*3*189/14 a multiple of 9?
True
Suppose 3*y = 5*q - 65, 2*y + 3*q + 11 = -7. Is 2 a factor of y/(-60) - (-51)/4?
False
Let n(p) be the first derivative of -p**3 - 36 - 2*p - 31/4*p**4 - 3/2*p**2. Is 20 a factor of n(-2)?
True
Suppose c - 9*s + 8*s = 9314, 5*s = -2*c + 18572. Is 36 a factor of c?
False
Suppose 4*h + 9 = 5*s - 2, -5*h + 5 = 0. Suppose -2*f + 4*p + 29 = -3, s*f = -3*p + 12. Suppose f*b = 11*b - 45. Is 5 a factor of b?
True
Let h = 27965 - 17271. Is h a multiple of 94?
False
Let m = 132 - 110. Suppose -m*c + 