6 a multiple of 21?
False
Suppose 0 = -3*c - x + 46326, 59*c - 30918 = 57*c + 5*x. Is 52 a factor of c?
True
Let c(m) = m**2 + 5*m - 15. Let u(g) = -g**2 - 2*g - 1. Let h be u(2). Let a be c(h). Suppose -5*l + 86 - a = 0. Is 13 a factor of l?
True
Let t be -3 - 0 - (-386 + 3/1). Suppose 2*s - 4*n + t = 7*s, -n + 77 = s. Does 6 divide (s/28)/((-1)/(-7))?
True
Suppose -4*a - 5*f = -27675, -170*a + 166*a + 2*f = -27710. Is 148 a factor of a?
False
Let c = -4063 + 37753. Is 125 a factor of c?
False
Let q(r) = -r**2 + 23*r + 17. Let x be q(24). Does 9 divide x/(28/12) - -291?
True
Let m be (-102)/(-17) - (-1 + 2). Suppose c = m*j + 66 - 502, 2*j = 4*c + 160. Does 22 divide j?
True
Suppose -11132 = 2*x - 4*b - 55850, 2*x - 2*b - 44714 = 0. Does 89 divide x?
False
Let p be (-48)/120 + 54/10. Suppose 5*x - 2*x = -2*d + 11, 17 = 4*x + p*d. Suppose 2*w = -5*a + 280, 0 = x*a + 7*w - 8*w - 168. Is 6 a factor of a?
False
Let r(u) = 36*u - 25. Let t(g) = -18*g + 12. Let a(y) = 3*r(y) + 7*t(y). Let i be a(-6). Let x = i - 54. Does 29 divide x?
False
Is 26 a factor of (34/(-6) - -5)/((44/(-37128))/11)?
True
Suppose 5*l = -5*s + 57325, -139*s - 5*l = -141*s + 22937. Is s a multiple of 14?
True
Let w(v) = 7*v + 21. Let g(h) = h - 1. Let s(o) = -5*g(o) + w(o). Let p be s(-10). Is (2 + -4 - -1)/1 + p a multiple of 4?
False
Let r = -366 + 366. Suppose -61*s + 15*s + 7820 = r. Does 34 divide s?
True
Let d be 66 - (-2 - (5 - 7)). Is 3/(d/(-4)) - 11016/(-88) a multiple of 25?
True
Suppose f + 3*d + 44 + 103 = 0, 0 = -4*f - 3*d - 597. Let a be 12/15*f/12. Is ((-28)/(-3))/((120/(-54))/a) a multiple of 11?
False
Let z(k) = -2*k + 1. Let u(v) = 2*v + 3. Let q(y) = -2*u(y) - 4*z(y). Suppose 5*x = 6 + 49. Does 17 divide q(x)?
True
Let v(q) = q**3 + 37*q**2 - 57*q + 61. Let n(y) = y - 1. Let m(o) = 5*n(o) - v(o). Is m(-39) a multiple of 6?
True
Let j(l) = l**3 + 64*l**2 - 15*l - 283. Does 25 divide j(-64)?
False
Let s = -44 - -21. Let m = s - -28. Suppose -i + 3*p = -6*i + 415, -m*i + 415 = 5*p. Is i a multiple of 13?
False
Let p = -69 - -65. Let z be (-14)/(p*3/(-120)). Let a = 170 + z. Is a a multiple of 2?
True
Let j(u) = u**2 - 4*u - 3. Let o be j(4). Let z be o - (-3)/(-9)*9. Is 19 a factor of 336/10 + (112/(-20) - z)?
False
Let h(f) = 2*f**2 - 6*f - 14. Suppose -5*m + 8 + 32 = 0. Suppose m*r + 9 = -47. Does 14 divide h(r)?
True
Let j be -5 - -8 - 0 - -4. Suppose -5*h - 3*k + 767 = 0, -h + 10*k + 139 = j*k. Does 4 divide h?
False
Let k be 9/(-21) - 4882/(-7). Suppose 4*w - 3963 = -5*u, -u + 25 = -6*u. Let m = w - k. Is m a multiple of 45?
False
Suppose 6*k = 5*k + 224. Suppose 17*t = 19*t + k. Let s = 160 + t. Does 24 divide s?
True
Suppose -153 = 3*o + u, o - 2*u + 46 = -4*u. Let p = o + 62. Suppose -4*g - 354 = -p*g. Is 33 a factor of g?
False
Is 3 a factor of ((-4)/(-26))/(124/946244)?
False
Suppose 0 = -4*d + f - 2 - 46, -5*d = -5*f + 75. Does 3 divide (-1 + d)*12/(-48)?
True
Let p = 67 + -27. Suppose 5*y + p - 140 = -5*t, 3*y = 4*t - 52. Does 16 divide t?
True
Is 6861/(0/14 - -3) a multiple of 11?
False
Let g = 180 - -503. Suppose g*b - 677*b = 414. Does 6 divide b?
False
Suppose -91*j + 4*o + 161468 = -86*j, 0 = -5*o + 40. Is 68 a factor of j?
True
Let h = -12 - -23. Suppose 3*j + s + 7 = 0, 4*j - 3*s + h + 7 = 0. Let q(u) = u**3 - u**2 - 12*u + 4. Does 3 divide q(j)?
False
Let a = -10908 + 19004. Suppose 13*r = -3*r + a. Is 11 a factor of r?
True
Suppose -c - 2*c + 80 = -2*g, -3*c = -5*g - 65. Let s = c - 25. Does 19 divide (s/(-15) - 233/(-15))*5?
True
Does 116 divide (-12)/10 - (-5 + (-69971)/55)?
True
Suppose 4*m = -x + m + 44, 2*x + 3*m - 85 = 0. Suppose 7*g - 2*g - 310 = 0. Let c = g - x. Is 16 a factor of c?
False
Let y = -302 - -310. Suppose y*h + 5940 = 28*h. Is 16 a factor of h?
False
Suppose -4*q - 15628 = -17*q + 22202. Does 2 divide q?
True
Suppose 19*r - 14*r = x + 167, x = 3. Does 2 divide r?
True
Let z = -4565 - -5605. Is z a multiple of 16?
True
Suppose -309298 = -146*q + 37306. Is q a multiple of 2?
True
Let x(f) = f**3 - 22*f**2 + 44*f + 19. Let p(l) = -2*l**3 + 23*l**2 - 45*l - 18. Let z(g) = -2*p(g) - 3*x(g). Is 15 a factor of z(-21)?
True
Suppose 5*h = -15, -67*x - 5*h = -62*x - 26580. Does 4 divide x?
False
Suppose -3*g + 142*t + 132219 = 137*t, 3*t + 9 = 0. Is g a multiple of 76?
False
Suppose -6 - 4 = -5*a - 3*b, 0 = b + 5. Let f(m) = -m**3 + 3*m**2 + 9*m + 2. Let g be f(a). Does 6 divide (38 + -2)/(g/(-2))?
True
Let m = -318 - -319. Let o(h) = 184*h**2 - 4. Does 15 divide o(m)?
True
Suppose 4*u + 4*y = 17952, -2*y - 16168 - 6265 = -5*u. Is u a multiple of 4?
False
Let d(v) be the third derivative of -7*v**5/30 - v**4/8 - 2*v**3/3 - v**2. Let q be d(-3). Let r = q + 204. Is r a multiple of 9?
False
Let l be 2/(3 - (-25)/(-9)). Is 10 a factor of (3/l*-1)/((-30)/6300)?
True
Let t(i) = -94*i - 28. Let j be t(3). Let s = 680 - j. Is s a multiple of 10?
True
Suppose -o - 168 = -13*o. Let h(i) = -3*i - 18. Let v be h(-6). Suppose o*m - 8*m - 834 = v. Is m a multiple of 27?
False
Let a = -41255 - -81399. Is a a multiple of 104?
True
Let l(n) = 2*n**2 + 10*n. Let j be l(-5). Suppose 16*w + 584 - 5448 = j. Does 22 divide w?
False
Let x(p) = 2*p**3 + 34*p**2 + 50*p + 70. Is 9 a factor of x(-13)?
False
Let u = -436 - -979. Let s(b) = b**3 + 5*b**2 - 8*b - 8. Let y be s(-6). Suppose -u = -y*h + 33. Is 24 a factor of h?
True
Suppose 3*t - 129 = -y, 0 = -3*y + y + 5*t + 225. Suppose c = 7*c - y. Does 2 divide c?
True
Suppose h + 13375 = 5*p, 3*p - p - 5343 = -h. Does 32 divide -7 + p/7 + -5?
False
Suppose 0 = -7*l - 10*l + 59211. Let b = l - 2383. Does 24 divide b?
False
Let s = 45276 - 35612. Is s a multiple of 61?
False
Let a = 4551 - -509. Is a a multiple of 11?
True
Is 13 a factor of (22/220)/((-2)/(-25))*11564?
False
Suppose -3*t = -5*k - 19, 3*k + t + 9 = -8. Does 72 divide k + ((-20)/(-2) - 4)*177?
False
Let c = 184 - 192. Let g(a) = -90*a - 268. Is 32 a factor of g(c)?
False
Let s be ((-104)/78)/((-8)/54). Suppose -2*i - 1764 = -s*i. Is 21 a factor of i?
True
Let b be (7/(-3))/(2 + 14/(-6)). Suppose 528 = -11*q + b*q. Let u = 217 + q. Is 9 a factor of u?
False
Let w(k) = -63*k**3 + 3*k**2 + k + 3. Let z be w(-3). Suppose 0 = -3*u + q - 13, 0 = 5*u + 5*q + 14 + 1. Does 17 divide ((-2)/u)/(5187/z + -3)?
False
Let w(s) = 6 + 16*s**3 + 8*s**2 - 15*s**3 + 8 + 20 + 5*s. Is w(9) a multiple of 56?
True
Suppose 331*k - 79402 = 273*k. Does 62 divide k?
False
Suppose 0 = i + d + 2, 4*i = 2*i + 2*d + 12. Suppose -h + 5*o = -20, -6*o = i*h - o + 20. Suppose h*c - 50 = -5*c. Is 5 a factor of c?
True
Suppose 2*y = 0, -3*p + 3*y - 48 = -y. Let i be 298/8 + -3 + (-44)/p. Suppose 4*o = -0*o + 20, i = n + 4*o. Does 2 divide n?
False
Let c(r) = 75*r + 2267. Is 20 a factor of c(100)?
False
Let j be (139/(-3))/(10/(-210)). Let l = j + -612. Does 19 divide l?
True
Suppose 3*t - 16 = 5*t, 19812 = 4*r + 4*t. Is 16 a factor of r?
False
Suppose 0 = -1700*u + 1699*u + 45. Is 1498/21*u/10 - 3 a multiple of 8?
False
Let r(d) = 8*d**3 + d**2 - 11*d - 18. Is 4 a factor of r(8)?
False
Let d be 0 + ((-12)/1)/(19/589). Let v = -355 - d. Does 3 divide v?
False
Does 14 divide 17589/1 - (-18)/((-144)/40)?
True
Suppose -b - 760 = -9*i + 4*i, -i + 133 = -4*b. Suppose -y + s = -i, -371 = -4*y - 3*s + 220. Is 17 a factor of y?
False
Is 33 a factor of ((-10)/40 - 254/40)*(-5220)/12?
True
Let m(w) = w**2 - w + 4. Let a be m(0). Suppose 19 = -4*g + 5*u, -5*g + 7 = -a*u + 24. Does 19 divide -152*5/(-10) - g*1?
False
Let f be (48/32)/((-9)/(-42)). Suppose f*y - 549 = 382. Does 8 divide y?
False
Suppose 2*g - 2*v - 646 = 1212, 5*g - 4641 = 3*v. Is g a multiple of 103?
True
Suppose 3*h = -37 - 2. Let a be (-11)/(-33) + h/3. Is (3/(18/(-4)))/(a/246) a multiple of 6?
False
Let z(c) = 15*c - 1 - 3*c**3 + 6*c**2 + 2*c**3 + 3. Let j be ((-161)/(-21) - 10)*-3. Does 12 divide z(j)?
False
Let r be ((-198)/77)/((-2)/392). Suppose h = 7*h - r. Is 4 a factor of h?
True
Let f be (7/14)/((-2)/292). Let i be (2*-415)/(-5) + -1. Let h = f + i. Is 12 a factor of h?
False
Suppose -5*h + 7289 = 4*q + 196, 3*h - 4251 = -4*q. Is 16 a factor of h?
False
Let v(j) = -8*j**3 - 6*j**2 - 23*j - 130. Does 8 divide v(-8)?
False
Suppose -19712 = -0*f - 44*f. Is 13 a factor of -23 + 24 + f/(-2 + 4)?
False
Suppose -23