-24. Does 21 divide i?
True
Let g(r) = -16*r**3 - 11*r**2 + 51*r + 42. Is 53 a factor of g(-9)?
False
Let o = -7 + 43. Suppose -36 = -2*k + o. Let b = k + -4. Is 12 a factor of b?
False
Suppose -g - 2*i - 26 = -4*g, 5*i = 3*g - 20. Let c(a) = 2*a**3 - 10*a**2 + 2*a + 20. Is c(g) a multiple of 52?
True
Let i(d) = 13*d**2 - 14*d + 3. Let c be 30/(-3) - (2 + -9 - -6). Is i(c) a multiple of 6?
True
Let o = 5027 + 8147. Is o a multiple of 23?
False
Let b(v) = 7*v**2 + 3*v - 9*v + 28 - 37. Let w = -3 - -7. Is b(w) a multiple of 10?
False
Suppose -5*w + 4*a = -18 - 5, w - 10 = -a. Suppose -d + 252 = 2*g, -2*d - 1308 = -w*d + 2*g. Is d a multiple of 2?
True
Let l(f) = f**3 + 56*f**2 - 46*f - 486. Does 105 divide l(-36)?
True
Suppose -4*u - 4*g + 1844 = 0, 0*g - 2*g = u - 466. Suppose -l - 3*l = -u. Is l a multiple of 6?
True
Let o be (-25 + 21)*(2 - -1 - 1). Does 38 divide 1*-914*8/o?
False
Suppose -f - 8*s + 48728 = 0, 0 = -9*f + 11*f - 5*s - 97561. Is f a multiple of 56?
False
Let m be 3*(1 - -2)*(-365)/(-45). Suppose -2*t + 1 = -m. Is t a multiple of 11?
False
Let z be 8/3 - (-4)/(-6). Let j be (1578/(-4))/1*z. Does 18 divide (-3)/9 + j/9*-2?
False
Let a(u) = -175*u**3 + 11*u**2 + 23*u + 30. Does 145 divide a(-3)?
True
Suppose -4*x - 32 = 4. Let z be 12/x*300/(-8). Suppose 5*k = 590 + z. Is 32 a factor of k?
True
Let m(w) = -w**3 + 76*w + 2*w - 8 - 3*w**2 - 79*w. Is m(-5) a multiple of 3?
False
Let r(l) = 20*l**3 - 14*l**2 + 12*l - 183. Is 75 a factor of r(7)?
True
Suppose 3*m = j + 9485, -5*m + 13396 = j - 2415. Does 17 divide m?
True
Let n(b) = -b**2 + 10*b + 10. Let i be n(11). Does 9 divide (-7 + 349)*(9/6 + i)?
True
Suppose g - 4*a - 778 = 0, 208*a - 1478 = -2*g + 203*a. Is g even?
True
Let x = 898 + 1099. Is x a multiple of 32?
False
Suppose -3*n + 3341 = -2*j - 49674, 3*n - 52987 = -2*j. Does 117 divide n?
True
Let x = 5056 + -1306. Suppose 0 = -19*o + 34*o - x. Is o a multiple of 2?
True
Let o(j) be the second derivative of -j**4/4 + 14*j**3 + 45*j**2/2 - 51*j + 3. Is o(15) a multiple of 14?
True
Let o = -70 - -151. Let d = 473 - 258. Let c = d - o. Is 15 a factor of c?
False
Let l(k) = -4*k + 11. Suppose 20 = 5*t - 40. Let n be t*-1*(4 + -3). Does 20 divide l(n)?
False
Let a(o) = 7*o - 2. Let i be a(1). Suppose i*q - q = 40. Suppose 0 = -2*z + q*z - 64. Is z a multiple of 2?
True
Let b = -581 - -3281. Does 6 divide b?
True
Let p(r) = -30*r + 65*r**3 - 12*r + 44 + 11*r - 28*r**2 - 66*r**3. Is p(-28) a multiple of 49?
False
Let d = -981 - -2301. Suppose d = p + 9*p. Suppose 0 = -m - 3*m + 4*y + 216, -3*m = 3*y - p. Is m a multiple of 8?
False
Suppose -28*i = -35*i + 5656. Suppose i + 323 = 3*s. Is s a multiple of 27?
False
Let d = -369 + 381. Is (-1416)/(-42) - d/(-42) a multiple of 17?
True
Suppose -640*w = -672*w + 313568. Does 16 divide w?
False
Let l = 53202 - 34961. Is l a multiple of 51?
False
Suppose 42 = 4*h + 122. Let a be 15/h*4*(-8)/6. Suppose a*v - 13*v = -810. Is v a multiple of 30?
True
Let d be 604 - (12/(-30))/2*0. Suppose d = -9*g + 13*g - 2*c, 5*g - 749 = 4*c. Is g a multiple of 13?
False
Let z(j) be the third derivative of -j**4/24 - j**3/6 + 14*j**2. Let t be z(-13). Let q(p) = p**3 - 12*p**2 + 7*p + 12. Is q(t) a multiple of 32?
True
Suppose -n + 3741 = -4*c, 5*n - 4*c = c + 18720. Is n a multiple of 9?
False
Let w = 84 - 107. Let x = w - -27. Suppose -3*b + s - 5*s = -66, -3*s - 88 = -x*b. Is 2 a factor of b?
True
Let l be (0/(-1))/(-8 + 9). Is 13 a factor of 228 + ((-4 - 1) + 5 - l)?
False
Suppose 4*f - 171 - 708 = 5*s, -4*f + 2*s = -870. Suppose 248 = 5*m + l - 286, -2*m = l - f. Is m a multiple of 3?
False
Let b(n) = n**2 + 6*n - 33. Let k be b(6). Suppose 0 = -27*m + 14*m + k. Suppose -3*y - 3*i + 297 = 0, 0 = 2*y + m*i - 95 - 103. Does 10 divide y?
False
Let b = 9977 + -8462. Is 4 a factor of b?
False
Does 28 divide 24/6*(-2 + 40276/16)?
False
Suppose 55*b - 2279970 = -8*b. Is b a multiple of 70?
True
Suppose -3*d - 5 = -4*d. Suppose -4*k + d*x + 9 = -11, -2*k + 10 = -4*x. Suppose -16 = -k*s + 3*m + 3, -3*s = -2*m - 11. Does 2 divide s?
False
Suppose 5*i = 2*i - 117. Let t(n) = n**2 + 9*n - 7. Let j be t(-13). Let c = j + i. Does 2 divide c?
True
Let r(s) = s + 20. Suppose -9 = -8*a + 5*a. Suppose 4*o = a*w + 5, -5*w - 5 = o - 35. Does 17 divide r(w)?
False
Suppose 36 = -4*n + 32. Let d(t) = 22*t**2 - 4*t - 5. Let j be d(n). Suppose 0 = -j*f + 30*f - 360. Does 26 divide f?
False
Let u(k) = -k**2 - 11*k - 28. Let c be u(-5). Let t be -2*(1 - (c + 0)). Suppose 3*s = b + 99, -b - 55 = -t*s - 4*b. Does 6 divide s?
False
Suppose -21*a - 40 = 11 + 33. Let p(z) = -2*z**3 - 3*z**2 - 6*z + 2. Let f(i) = -2*i**3 - 3*i**2 - 5*i + 2. Let g(n) = 4*f(n) - 3*p(n). Does 7 divide g(a)?
False
Let q be (4 - 12)*(-330)/20. Is (q/(-6))/(-11)*241*1 a multiple of 20?
False
Let i = 3923 - 5. Does 9 divide i?
False
Suppose -26886 = -3*k + 3*h, -5*h = 5*k - 13*k + 71702. Does 83 divide k?
True
Let k(s) be the first derivative of -17/2*s**2 + 25 + 1/3*s**3 + 7*s. Is 7 a factor of k(19)?
False
Let n(q) = -4*q**3 - 16*q**2 - 89*q - 15. Is n(-15) a multiple of 20?
True
Let s(a) = a**2 - 14*a - 49. Let v(i) = i**2 + 12*i + 5. Let r be v(-13). Let y be s(r). Let o = y + 12. Is 5 a factor of o?
True
Let p = 161 + -77. Suppose -5*y = 2*c - p, -2*y + 3*y - c = 21. Is 9 a factor of 0 - -5*(y - -1)?
False
Suppose -94*a + 89836 = -90*a + 3*d, -5*a + 5*d + 112260 = 0. Is 28 a factor of a?
True
Let r = 11 + -6. Suppose 2*d - 5*c = -2*c + 3, 0 = -d - 5*c - r. Suppose d = -3*i + 97 - 22. Is 16 a factor of i?
False
Suppose 4*n + 4 + 8 = 0. Let t be n*(-3)/(-54) - 10/12. Does 27 divide (-1 - t)*1 + (-183)/(-1)?
False
Suppose 382*h + 38*h - 2191472 = -44*h. Does 21 divide h?
False
Suppose 10*l + l = 22374. Does 17 divide (l/(-113))/(-1 + 85/88)?
False
Let k(s) = -s**2 + 21*s - 2. Let i be k(15). Let u = 4 + i. Is 23 a factor of u?
True
Let v(g) = 19*g**2 - 7*g + 3. Let p(b) = -b**3 + 4*b + 9. Let d be p(3). Is 13 a factor of v(d)?
False
Is (-1666)/(-1904) - (-125273)/8 a multiple of 90?
True
Let h = -19117 + 27349. Suppose 0 = 22*r - 7102 - h. Does 17 divide r?
True
Let z = 62462 - 35182. Is 124 a factor of z?
True
Let l(z) = 3*z**3 - 5*z**2 - 14*z + 29. Is l(5) a multiple of 11?
True
Suppose -3*j + 2 = -5*g, 5*g - 3*g - 24 = -5*j. Suppose q - 4*z = 89, -q = g*z - 4*z - 83. Is q a multiple of 7?
True
Let r(d) = 30*d**2 + 255*d + 83. Does 26 divide r(-23)?
True
Suppose 0 = 3*u + 29 - 5. Let w be 1/((-6)/u - 1). Does 14 divide w/(-2) - (-10 - 60)?
False
Let z = -7515 + 16483. Suppose -44*x - z = -52*x. Is 59 a factor of x?
True
Suppose 0 = -29*c + 73140 - 21897. Does 13 divide c - (-6 - -5)*1?
True
Suppose -1 = 4*z - 13. Let t be ((-12)/(-9) - 2) + 86/z. Is 14 a factor of t*2/((-16)/(-4))?
True
Suppose 13192 = 4*r + 22*y - 24*y, -3*r = 2*y - 9880. Is r a multiple of 32?
True
Is 290505/90 + 51/(-18) + 3 a multiple of 60?
False
Let i = 979 - 499. Suppose 15*s = 19*s - i. Does 30 divide s?
True
Suppose -33*y + 9144 + 46296 = 0. Does 6 divide y?
True
Let w(q) = -q**2 + 2*q + 3. Let d be (-4)/8*0 - -3. Let m be w(d). Suppose -5*t = 3*z - 86 + 25, m = -z + 4*t + 9. Is 13 a factor of z?
False
Is 5 a factor of 2*1*((-878535)/(-510) - 4/34)?
True
Suppose 32*j - 2856 = 18*j. Is 80 a factor of j?
False
Suppose -12 = -i - 0. Let b be i/(((-45)/(-20))/3). Suppose -5*w + 3 = 4*j - 11, -b = 4*j. Does 2 divide w?
True
Let k(a) = -a**3 - 4*a**2 + 5*a + 3. Let m be k(-5). Suppose 5*l - w - 37 = 4*l, 2*l + 2*w - 78 = 0. Suppose -73 = -m*g + l. Is g a multiple of 2?
False
Let l = 12 + -13. Let s be 10*l*125/(-10). Let z = 245 - s. Is 12 a factor of z?
True
Let c be (30/8)/(594/96 + -6). Suppose -5*b - 26 = 4*v + 213, 0 = -5*v - b - 304. Let f = c - v. Is f a multiple of 36?
False
Let j(h) = 7*h**2 + 66*h - 282. Does 115 divide j(-55)?
False
Let q be 1969/(-9)*-1 - (-6)/27. Let b be 27/72 - q/8. Let k = 46 - b. Does 5 divide k?
False
Let j(a) = -2*a**3 + 31*a**2 + 20*a - 52. Is 4 a factor of j(16)?
True
Let l = -7735 - -11376. Is 53 a factor of l?
False
Suppose 43*h - 442561 = 509061 + 150855. Is 14 a factor of h?
False
Does 129 divide (-36)/(-315)*6905*(-14)/(-4)?
False
Suppose -2*t = 0, -5*i + 5*t = 3*t + 4575. Let a = -375 - i. Does 24 divide a?
False
Let w(l) = 236*l**2 + 