uppose -381*z + 981205 + 2425962 = -166232. Does 7 divide z?
False
Let p(m) = -987*m + 6101. Is p(3) a multiple of 24?
False
Let g = -346 + 200. Let a = g - -224. Is a a multiple of 4?
False
Let m(r) = 11*r**2 + 10*r + 620. Does 14 divide m(-16)?
True
Is 5 a factor of (30/(-16)*96/120)/(6/(-17080))?
True
Let z = -36 + 29. Let a be -4 + (0 - (2 + z)). Is 2 - ((5 - a) + -101) a multiple of 33?
True
Let t(q) = 5*q**2 + 39*q + 302. Does 20 divide t(-38)?
True
Suppose 4 = -5*n + 64. Let p be 102 + 1 - (-13 + 11). Suppose n*w - 13*w = -p. Does 15 divide w?
True
Suppose -225*p - 71936 = -229*p. Is p a multiple of 24?
False
Let u be 210/(-2)*((-96)/18 + 5). Let j = u + 85. Is 12 a factor of j?
True
Let g(a) = -61*a**2 - 15*a - 37. Let f be g(-5). Let s = 2752 + f. Is s a multiple of 28?
False
Is 7 + (3302 - (-20 - -32)) a multiple of 21?
True
Suppose 23*h - 1268 = 19*h. Let y = h + -102. Suppose -596 = -3*l - y. Is l a multiple of 13?
False
Let f be (-2)/1 + 10*29. Suppose -16 = -4*j - h, 159*j - 5*h = 164*j - 35. Suppose 0*a = j*a - f. Is 12 a factor of a?
True
Let f(k) = -6*k**2 - 263*k - 178. Is f(-40) a multiple of 15?
False
Let w = -40443 - -80363. Does 40 divide w?
True
Let p = 617 - 625. Is 26 a factor of (-3030)/(-8) + (-2)/p?
False
Let t be (-2 + 28)*(4 + 3). Let z = t - 38. Is 12 a factor of z?
True
Is 2354 + ((-57)/(-38) - (21/(-6) + 1)) a multiple of 9?
True
Let b(l) = -4*l + 67*l + 4 - 12 - 11*l - 16*l. Is b(22) a multiple of 28?
True
Let b be (-1)/((-21)/1182) - (-54)/(-189). Let o = 120 + b. Is o a multiple of 95?
False
Let u(z) = z**2 + 6*z - 1. Let n(g) = -7*g - 9. Let d be n(-2). Suppose -a + 7 = 2*k, -3*a - a - d*k = -25. Does 15 divide u(a)?
False
Let v(u) = 2*u**2 + 18*u + 19. Let j = 66 + -27. Let q = -50 + j. Is v(q) a multiple of 26?
False
Suppose 0 = 20*z - 33*z + 1814 + 4413. Is 39 a factor of z?
False
Suppose 8*w - 181 = -141. Suppose 3*u - 5*m = 472, 0*m - 4*m = -w*u + 765. Is 22 a factor of u?
False
Let h(n) = -587*n - 321. Does 18 divide h(-3)?
True
Let h = 5 - 2. Suppose -12 = h*d - 6*d. Is d + 12*(9 + 2) a multiple of 17?
True
Let s = -51 + 45. Let x = s - -46. Is x*((-6)/(-9))/((-4)/(-6)) a multiple of 5?
True
Does 4 divide 6 + (-1 - (214/(-8))/((-6)/(-24)))?
True
Let d be (14 + -7)*2/14 - -1. Let h(b) = 26*b - 8. Is h(d) a multiple of 11?
True
Let d(l) = 2*l**2 - 19*l - 24. Let y = 174 - 162. Is d(y) a multiple of 12?
True
Is ((-3)/2)/(-22 + (-4906133)/(-223010)) a multiple of 17?
False
Let o = 343 + -950. Let i = -374 - o. Is i a multiple of 21?
False
Let y = -170 + 182. Let i(f) = -f**2 + 12*f + 8. Does 2 divide i(y)?
True
Let f be (8/4 + 7)*(-115)/(-15). Let i = 213 - f. Is i even?
True
Let r(g) = 519*g + 1. Let i be r(4). Suppose 0 = 3*m + 649 - i. Suppose 0*f = 4*f - 2*l - m, 0 = -3*l - 12. Is f a multiple of 21?
False
Let o(y) = 15*y**2 + 6*y + 12. Suppose 2*x = 2*w - 112, 0*x = 2*x + 2*w + 92. Let h = x - -49. Is 6 a factor of o(h)?
True
Let m(j) = 2*j**3 - j**2 + 7*j. Let p(b) = -b + 1. Let s be p(-2). Let d be m(s). Is d + -2 - 3 - -5 a multiple of 6?
True
Suppose -5*r + 4*z + 8082 = 0, -5*r + 2180 = 2*z - 5914. Suppose 0 = -5*b + 18 - 8, -r = -3*q - 2*b. Does 49 divide q?
False
Let f = -401 + 366. Does 3 divide 1*32*(-140)/f?
False
Let j(u) = -510*u**3 + 8*u**2 - 26*u - 103. Is j(-3) a multiple of 33?
False
Suppose -58*o - 6*o = -7*o - 788424. Is o a multiple of 56?
True
Let s(u) = -u**2 - u. Let y be s(-12). Let b = y + 134. Suppose 0 = 4*w - 2*j - 628, -b*w + 461 = w + j. Is 31 a factor of w?
True
Suppose 0 = 7*z - 9*z + 1604. Suppose 9*d - 13*d - 5*m + 1576 = 0, m = 2*d - z. Is d a multiple of 57?
True
Let u be (-8)/24 - 26/(-6). Let c be 0 - u - (-43 + 28). Suppose -1163 = -c*s + 212. Is 21 a factor of s?
False
Let r(n) = -10*n**2 - n - 2. Let p(w) be the first derivative of w**3/3 + w**2/2 - 8. Let z(f) = -2*p(f) - r(f). Is z(1) a multiple of 9?
True
Let f(p) = 2*p**3 - 23*p**2 + 36*p + 4. Let g be f(15). Suppose -6*i = -4097 - g. Is 74 a factor of i?
True
Suppose 67559 + 36593 = 48*f - 23816. Is f a multiple of 62?
True
Let v(p) = -4*p - 26. Let r(g) = g - 1. Let b(z) = 2*r(z) - v(z). Is 14 a factor of b(6)?
False
Suppose 4*n + 3*o = 6, 3*o = n - 2*n + 6. Suppose n = m + 3*a + 189 - 19, -5*a = 3*m + 510. Does 19 divide m/(-6) + (-4)/(-6)?
False
Suppose 12*m - 280 = 4*m. Suppose -3*g = -336 - 27. Let z = m + g. Is z a multiple of 16?
False
Let c = -364 - -615. Let b = c - -103. Is 59 a factor of b?
True
Let b(y) = 6*y - 113. Let g = -218 - -246. Is b(g) a multiple of 11?
True
Suppose 5*s = -c - 14 + 60, 4*c + 5*s - 124 = 0. Let l = -938 - -966. Suppose 0 = -l*w + c*w + 218. Is w a multiple of 25?
False
Let r be (33 - 29)*(-14)/4. Is (4 + 63/r)*-960 a multiple of 30?
True
Let c = 94391 + -66593. Is 128 a factor of c?
False
Suppose -5*h - 3 = -23. Let n be h/(-26) + (-14)/(-91). Suppose r + 2*r - 45 = -3*f, 2*r - 2 = n. Is 3 a factor of f?
False
Let j = -441 + 219. Let o = 273 - j. Is 45 a factor of o?
True
Suppose 48*k - 41*k = 50113. Does 24 divide k?
False
Suppose -6*x + 13*x - 32084 = 151428. Does 232 divide x?
True
Suppose v = -181*v - 545098 + 1611254. Is 58 a factor of v?
True
Let h(b) = -b**3 + 11 + 2*b**2 - 18 - 5*b**2 + b. Let t be h(-4). Suppose s - t*p = -0*s + 29, 5*s - 290 = -4*p. Does 9 divide s?
True
Let j(f) = 4*f + 16. Let g(o) = o + 1. Let m be g(-4). Let r be j(m). Suppose -2*p = 3*v - 361, 2*p - r*p + 5*v + 337 = 0. Is 10 a factor of p?
False
Let c(l) = -6 + 21*l + 14*l - 10*l. Let x = 2371 + -2365. Is c(x) a multiple of 36?
True
Let q(n) = n**3 + 3*n**2 + 13*n + 56. Is q(14) a multiple of 42?
True
Is ((-72)/20)/((-96)/84320) a multiple of 9?
False
Suppose -2*q + 1848 = 5*s, 33*q - 32*q - 5*s - 924 = 0. Is 28 a factor of q?
True
Let v(f) = 5*f**2 + 34*f - 83. Let l be v(-24). Let m = 2913 - l. Does 14 divide m?
False
Suppose 0 = -3*c - a + 3*a + 53, -3*a - 27 = -2*c. Let o = -26 + c. Let q(m) = 6*m**2. Is q(o) a multiple of 24?
False
Let i(d) = d + 22. Let y = -159 + 149. Is i(y) even?
True
Let p(r) = 2*r**2 + 19*r + 86. Let c be 26 - 14 - (-7 + 2). Is 47 a factor of p(c)?
True
Let f(z) = 3*z**2 - z - 6. Let h be f(-3). Let v be (1 + -3)*h/((-4)/2). Suppose 3*x = 129 + v. Does 17 divide x?
True
Let c(o) = -8*o - 13. Let p be c(-2). Suppose 679 = -p*u - 284. Let w = u - -453. Does 22 divide w?
True
Suppose -508*m = -469*m - 15912. Is m a multiple of 34?
True
Let y = 139 + -135. Is 3 a factor of 2 + 1 - ((y - 4) + -1)?
False
Suppose 5*y + 0*y + 140 = 0. Let m = y - -16. Let x = 10 - m. Does 8 divide x?
False
Let i be 5*((-6)/(-3) - 3). Let y(u) = -u**3 + 6*u**2 - u + 1. Is 20 a factor of y(i)?
False
Suppose 49807 - 5407 = 16*j. Does 15 divide j?
True
Suppose -29 = c - 38. Does 35 divide ((-240)/c)/(4/(-42))?
True
Does 2 divide 9*18/(-648)*-19252?
False
Let r(c) = 11*c + 18. Let m be r(0). Is 18 a factor of (720/(-90))/(1/m*-1)?
True
Let s = 86 - -216. Suppose -2*m + f = -f + 416, 0 = 4*f + 4. Let b = s + m. Is 31 a factor of b?
True
Does 75 divide (5177/1)/(90/210 + 8/(-84))?
False
Let v(b) = 9*b + 72. Let j be v(-8). Let d(r) = -11*r + 2. Let l be d(-8). Suppose 6*q - 4*q - l = j. Is 18 a factor of q?
False
Is 41 a factor of ((-20)/(-12))/(80/(-96))*-4674?
True
Let b = 14545 + -14048. Is 26 a factor of b?
False
Let v(j) = 6250*j - 5164. Is v(5) a multiple of 21?
False
Let a(t) = t - 39. Let d be a(42). Suppose -5*q - n + 1065 = -126, -d*n = 5*q - 1193. Is q a multiple of 18?
False
Let c be (1 + (-124)/4)/((-2)/3). Suppose -c*u - 2*o - 456 = -48*u, 3*o = -u + 141. Does 2 divide u?
True
Let l = -68560 + 125584. Does 12 divide l?
True
Let p(b) be the first derivative of 2*b**2 + 19*b - 11. Let m be p(-7). Let r(w) = -w**3 - 8*w**2 - 9. Does 18 divide r(m)?
True
Is ((-8)/(-4) + (-3)/1)/((-24)/38856) a multiple of 21?
False
Suppose 4*z + 24 = 3*c, 2*z + 3*c = -c - 34. Is z/15 + (-5615)/(-25) a multiple of 16?
True
Let x be 205/(-20) + (-3)/4. Let v = x + 12. Suppose 0 = -p - 5*t + 33, 3*t = 3*p - 2*t + v. Is p a multiple of 8?
True
Let s(u) = 2*u**3 - 16*u**2 - 147*u - 27. Is 20 a factor of s(27)?
False
Does 8 divide (-7)/(-21) + 6/21 + (-958480)/(-105)?
False
Suppose -5*k - z - 500 = 0, -3*k - 323 = 2*z - 6*z. Let w = 171 + k. Does 44 divide w?
False
Suppose -2*c + 2716 = -0*i + i, -4