3*a = 3141, 107*l - 5*a + 2087 = 109*l. Does 13 divide l?
False
Suppose -2*y + 3*r - 228 = -765, -4*r + 544 = 2*y. Let m = y + 220. Is m a multiple of 17?
False
Suppose -3*d + 4*j = -223089, -76581 = -d - 5*j - 2199. Does 108 divide d?
False
Suppose 164 + 372 = 8*g. Let s = g + 701. Is s a multiple of 36?
False
Let g = 13445 + -4955. Is 19 a factor of g?
False
Suppose -4*b + 3 = -3*b. Suppose 0*r - 618 = -b*r. Let u = r + -125. Is u a multiple of 39?
False
Let v(h) = -29*h - 35*h + 0 + 9. Is v(-10) a multiple of 14?
False
Let u(v) = -6*v**3 - 56*v**2 - 34*v - 35. Let t(f) = f**3 + 11*f**2 + 7*f + 7. Let o(p) = 11*t(p) + 2*u(p). Is o(7) a multiple of 24?
True
Let j = -18 - -13. Let y(q) = -2*q**3 + 3*q**2 - 11*q - 20. Let z be y(j). Let i = z + -70. Is 54 a factor of i?
False
Let h(p) = -p**3 - 13*p**2 - p. Let x be h(-13). Let v(y) = 5*y + 5. Is 7 a factor of v(x)?
True
Let q be (2 + (-21)/(-6))/(2/12). Let m = 246 - q. Suppose 3*o - 232 = 5*l + m, 2*l + 150 = o. Is o a multiple of 29?
False
Let x(m) be the first derivative of -m**5 + m**4/12 - m**3/6 - m**2/2 - 12*m - 11. Let u(j) be the first derivative of x(j). Does 3 divide u(-1)?
True
Let p be 6/(24/(-52)) - (-1 + 3). Let r = p + 42. Suppose 8*k - 9*k = -r. Is 13 a factor of k?
False
Suppose -12 = -5*k + 18. Let z be 1/(-6) - 3/(126/(-16555)). Does 6 divide z/k - 2/(-6)?
True
Let o = 4437 - 3149. Suppose o = 6*b + 130. Does 13 divide b?
False
Let n(v) = -5*v - 35. Let p(d) = -d**2 + 11*d - 40. Let b be p(7). Is 6 a factor of n(b)?
False
Suppose 5*m = x + 23, 8*x - 3*x = -m - 37. Does 7 divide -5 - (18048/6)/x?
True
Suppose 5*z + 5*g - 12 = g, -g = -5*z + 22. Suppose 21*p - 18*p = 2*b + 67, 2*p + z*b = 18. Does 4 divide p?
False
Let f be 46/(-207) - (-76)/18. Suppose 2932 = f*i - 4*h, 1751 = 4*i - 3*h - 1183. Suppose 0 = -10*b + i + 435. Does 9 divide b?
True
Let v = 29631 - 24005. Is 58 a factor of v?
True
Let z = -26 - -33. Let u(i) = 7*i**3 + 7*i**2 - 7. Let f(l) = l**2 - 1. Let o(r) = z*f(r) - u(r). Does 2 divide o(-1)?
False
Suppose 4*s - 48336 = 18*s - 62*s. Is 19 a factor of s?
True
Let c = 2417 - 835. Suppose -c = -10*k + 1388. Is k a multiple of 9?
True
Suppose -2*y + 5 = -3, 4*i + y + 76 = 0. Let g = 29 + i. Suppose 0 = -g*n - 42 + 447. Is n a multiple of 15?
True
Suppose 36*j - 588 = 8*j. Let h(l) = l**2 - 2*l + 49. Does 28 divide h(j)?
True
Let k = 872 + 2802. Is k a multiple of 9?
False
Let w(x) = -4*x - 7. Let t be w(-3). Let c = t - 8. Let m = 86 + c. Does 21 divide m?
False
Is 101 a factor of 3 - 5/(-15)*51945?
False
Let w = 87 + -63. Let l = 28 - w. Suppose -u = l*v - 124, 3*v - 342 = -3*u + v. Is u a multiple of 14?
True
Suppose -20*o - 13*o = -157*o + 370884. Is 8 a factor of o?
False
Let b be 1/((-2)/(-14)*(-3)/(-3)). Suppose -5*s = 37 - b. Does 6 divide -30*(0 + s/10)?
True
Let s(o) = -4*o**3 + 13*o**2 - 19*o - 3. Let c(a) = -3*a**3 + 14*a**2 - 18*a - 2. Let d(j) = -3*c(j) + 2*s(j). Is d(16) a multiple of 31?
False
Let f be (84/7)/(-6) + 281. Let j = f + -148. Is 23 a factor of j?
False
Let y be 3 - (3*4/6 - 167). Is 17 a factor of (68/6)/(-2 + y/81)?
True
Suppose 7*v + 22 = 218. Suppose 3*i + 12 = -4*l - i, -l = -4*i + v. Let z(x) = -2*x + 1. Is z(l) a multiple of 11?
False
Let j = -122 + 122. Let y(d) = -d**2 - 3*d + 276. Does 42 divide y(j)?
False
Is (11368/16)/((-32)/(-64)) a multiple of 204?
False
Let j be (-64)/(-12)*(-9)/6. Let m be 6 + 70/(-15) + j/6. Suppose -3*l + 377 + 343 = m. Is l a multiple of 24?
True
Let d be 0*(0 - 4/(-8)). Suppose d = v - 2*v + 3*f - 117, 5*v + 509 = -4*f. Is ((-16)/(-5))/((-14)/v) a multiple of 6?
True
Let r(d) = -11426*d**3 + 6*d**2 + 18*d + 16. Is 90 a factor of r(-1)?
True
Suppose -2*x + 4 = 0, 0 = -l - x - 9 + 215. Let t be -1 + -7*(-9)/63. Suppose 5*j + k + 8 = l, t = 3*j - 2*k - 128. Is 8 a factor of j?
True
Let r = 46 + -58. Let v be -2*r/(-16)*-2. Suppose -150 = -2*x + 2*j, 3*x - v*j + 63 = 4*x. Does 24 divide x?
True
Let q be (72/2)/((30/12)/5). Let c = q + -21. Is c a multiple of 3?
True
Let k = -706 - -1337. Let q = k + -61. Is q a multiple of 30?
True
Let q(u) = 32*u - 1. Let f be q(-2). Let r = f - -66. Is 93 + (2 - (2 - r)*-1) a multiple of 16?
True
Let q = -154 + 154. Suppose q = x + 2*x - 186. Is 55 a factor of x?
False
Suppose 0 = -3*z + 4*a + 478, -3*z + 46*a = 50*a - 494. Does 162 divide z?
True
Suppose 4*j = -3*z + 1816, 3*j + 1832 = 7*j - z. Let a = j - 250. Does 6 divide a?
False
Suppose r = -3*o + 6570, 5*o + 5*r - 10950 = 6*r. Is o a multiple of 16?
False
Is 7 a factor of (12/(-15) - 39/(-30)) + 32591/2?
True
Let m(v) = 40*v - 20. Suppose -4*a + 3*p = -31, 0 = -5*p - 23 - 2. Does 10 divide m(a)?
True
Suppose 35*s = 13*s + 146564. Suppose 27*y - s = 2275. Does 14 divide y?
False
Let j be 203/3 - 26/39. Suppose 6*n + 5 = -j. Is 528/(-9)*27/n a multiple of 12?
True
Suppose 2*j + 3*z = -j + 276, -5*j + z + 442 = 0. Let t = -9 + j. Is 8 a factor of t?
True
Let d = 20826 + -12428. Does 34 divide d?
True
Suppose 3*w + 20 = u, 2*w = 3*u - 18 - 70. Suppose -u*i - 615 = -37*i. Suppose 3*k - 3*l = 81, -5*k + 4*l + i = 3*l. Is 8 a factor of k?
True
Let b = 6648 + 6241. Does 52 divide b?
False
Let t = -13 + 33. Suppose 2*f - 140 = t. Let d = 165 - f. Is d a multiple of 17?
True
Let a = -32 - 17. Let h = a - -49. Let k(w) = w + 68. Does 33 divide k(h)?
False
Let z = -169 - -171. Suppose z*j + h - 283 = 0, -17*h = -18*h + 1. Is j a multiple of 22?
False
Let a(d) = 25*d**2 + 21*d - 10. Let j(v) = -26*v**2 - 22*v + 10. Let w(m) = 5*a(m) + 4*j(m). Let b be w(-8). Suppose -b = -5*l - 418. Is 15 a factor of l?
False
Let k(d) = -d**2 - 13*d - 8. Let p be k(-12). Suppose p*h = -0*h + 20, 3*h = 2*f + 77. Let r = 65 + f. Is r a multiple of 17?
True
Let q be 12/8 + 30/4. Let l be (-1*37)/(q - 8). Let i = l + 55. Is i a multiple of 9?
True
Let v(h) = 4*h**3 + 5*h**2 + h - 3. Let y be v(-3). Let c = -67 - y. Suppose 6 = 3*f - 3*x, f - 2*x = -0 + c. Is 2 a factor of f?
True
Suppose -2 - 10 = -2*o. Suppose 2*s + 1 - 55 = u, -4*u - 54 = -2*s. Let r = o + s. Is 8 a factor of r?
False
Let u = -254 + 256. Suppose 0 = -u*i + 755 + 329. Does 72 divide i?
False
Let o(q) = 3*q**2 - 30*q + 35. Let c be o(9). Suppose 2*z - 205 = 5*h, c*h + 20 = 4*h. Is 7 a factor of z?
False
Let r(q) be the first derivative of -35*q**2/2 - 20*q - 14. Does 5 divide r(-3)?
True
Suppose 3*c + 8 = -3*s + 62, -2*c + 33 = 3*s. Suppose 0 = 5*d + 3*b, -1 + c = -4*b. Suppose d*v = -0*v + 210. Does 35 divide v?
True
Suppose 119*g - 2841424 + 497602 = 41*g. Is 5 a factor of g?
False
Suppose -15*z - 16 = -7*z. Is 7 a factor of (-5)/z*((-332)/(-20) - 3)?
False
Suppose 5*s = s + 24. Let p(a) = -a**2 + 1. Let o(m) = -17*m + 21. Let v(n) = -o(n) + p(n). Is 23 a factor of v(s)?
True
Suppose -n + 1 = 2*u - 1, 2*n + u = 7. Let g be (2 + 15/(-9))*9. Suppose 5*r + 19 = a - 82, -g*a - n*r + 284 = 0. Is a a multiple of 22?
False
Suppose u - 6 = k, 5*u - 26 = -0*u + k. Suppose -2*o = u*w - 243, -5*w + 4*o + 215 = -o. Is 9 a factor of w?
False
Suppose -74*j + 5890 = -439664. Is j a multiple of 32?
False
Suppose a + 4*v = -0*v + 15636, 25 = 5*v. Does 128 divide a?
True
Suppose -519*q + 541*q - 17732 = 0. Does 20 divide q?
False
Let t(g) = g**3 - 17*g**2 + g - 80. Let w be t(17). Does 14 divide (-37030)/w + 2/9?
True
Let n = -2022 + 2876. Suppose -2*c + n = -4*a + 6*a, 10 = 5*a. Is 17 a factor of c?
True
Let x(f) = -f**2. Let o(n) = -n**3 + 12*n**2 + 16*n + 47. Let a(s) = o(s) - 2*x(s). Does 5 divide a(15)?
False
Suppose -6*k = -23*k + 156920 + 196680. Does 50 divide k?
True
Let m(u) = -2*u - 20. Let f be m(-11). Does 13 divide (-14)/f + (-5696)/(-32)?
False
Let m be (-10)/2*(-184)/5. Let h = m + 151. Suppose 9*j - 25 - h = 0. Is 40 a factor of j?
True
Suppose 0 = 6*z + 140 + 208. Let n = -56 - z. Suppose -t + 8 = -0*t + n*c, -t = -5*c - 8. Is 4 a factor of t?
True
Suppose -19 - 237 = -4*n. Suppose 44 = 9*p - 5*p. Suppose 0 = p*o - 12*o + n. Is 16 a factor of o?
True
Let h(j) = j**2 + 11*j + 13. Let i be h(-9). Let c(t) = 3*t**2 + 8*t + 5 - 2*t + 9 - t**3 - 21. Is c(i) a multiple of 46?
False
Does 12 divide (6/(210/4501))/(-10 - 30306/(-3030))?
False
Let s be 196/6 + (-5)/((-105)/(-14)). Suppose -262 = -k - s. Is 10 a factor of k?
True
Suppose 67*i - 73*i + 30 = 0. Suppose 552 + 273 = i