m + 46. Let g(i) = i + 1. Let n(v) = -4*g(v) + j(v). Is 21 a factor of n(f)?
True
Let v = -11 + 17. Suppose 0 = -3*j - 3, 74*q - 69*q = -2*j + 8. Suppose -q*r = -v*r - 16, 5*r - 400 = -5*s. Does 12 divide s?
True
Let d(b) = -250 - 44*b + 655 - 269. Does 14 divide d(-8)?
False
Let k(d) = -893*d - 5174. Does 11 divide k(-9)?
False
Let i be 49/((4/(-10))/((-24)/20)). Suppose 0 = 3*k - r - i, 6*k + 159 = 9*k + 3*r. Let s = k - 37. Does 7 divide s?
False
Let z be 162 - 0 - (-11 + 5). Let w = z - 47. Is w a multiple of 4?
False
Let p(i) = 42*i + 200. Does 40 divide p(60)?
True
Let m = -147 - -126. Let f = 24 + m. Suppose 3*n = 5*c - 433, -c + f*n + 87 = 2*n. Is c a multiple of 9?
False
Suppose -11*d + 51 = -x - 10*d, 5*x - 2*d + 264 = 0. Is 9 a factor of (-22716)/x*(-9)/(-6)?
False
Does 24 divide ((-18)/(-231))/((-3)/(-21)) - (-116682)/11?
True
Let x(k) = 10*k - 15*k - 220 - 14*k + 532. Is 9 a factor of x(8)?
False
Suppose 2*j - 2*f = 19026, 5*j = 24*f - 20*f + 47564. Does 13 divide j?
False
Suppose -36*p + 40*p - 12 = 0. Suppose s + 3*s - 812 = -p*d, 4*d - s = 1051. Suppose -10*w + d = -4*w. Is w a multiple of 8?
False
Let h(m) = 15*m**2 - 230*m + 1748. Does 3 divide h(8)?
False
Let m = -27 + 38. Suppose m = -d - 1. Let c = d - -62. Does 12 divide c?
False
Suppose -13*s + 7 = -58. Suppose -3*f + 225 = f - p, 4*f - 219 = -s*p. Does 29 divide f?
False
Let f(m) = m**2 - 12*m + 7. Let j be f(0). Suppose -j*n - 2313 = -5*y - 4*n, 2*y = -2*n + 922. Is 22 a factor of y?
True
Let r be (1/3 - (-90)/(-27)) + -3. Let c(m) = -m**3 - 3*m**2 + 22*m + 13. Let a be c(r). Let o(d) = -2*d**3 - 20*d**2 + 7*d - 26. Is 20 a factor of o(a)?
False
Suppose z = -2386 + 685. Let b be 20/(-50) - z/15. Let j = -98 + b. Does 6 divide j?
False
Suppose 0 = 3*z + j - 35, -3*z + j = -50 + 7. Suppose -4*x = 3*n - 65, -3*n + 64 - 5 = x. Let c = n + z. Does 8 divide c?
True
Suppose 4*v + 5*v - 3*v = 0. Suppose 0 = -2*g + 5*g + a - 49, v = -g + 5*a + 43. Does 9 divide g?
True
Let r be -1*(-5)/((-20)/32). Let x be 2/r - 5132/16. Let s = -177 - x. Does 18 divide s?
True
Let m(f) = -f**2 + 3*f - 3. Let x be m(-3). Let i(t) = -124*t**3 + 1. Let o be i(1). Does 14 divide ((-28)/x)/((-2)/o)?
False
Is (-2)/18 - (-402194)/18 a multiple of 19?
True
Let i(f) = -f**2 - 35*f + 42. Let s be i(-36). Let w = 3 + -5. Does 40 divide 0 + w/(-3) - (-236)/s?
True
Let s = 6550 + 1458. Is 8 a factor of s?
True
Suppose 26*v = -17*v + 14*v + 413424. Is v a multiple of 27?
True
Suppose -14*k - 27 = -55. Suppose 2*l - 758 = -k*n, 0 = 3*l + 10 + 5. Is n a multiple of 8?
True
Let q(k) be the third derivative of 143*k**4/8 - 157*k**2. Is q(1) a multiple of 16?
False
Let h = 932 + -410. Suppose 479 = 11*p - h. Is 9 a factor of p?
False
Suppose v + 2*p = 490, -4*p = 4*v - 0*v - 1940. Suppose 6*o - 9*o - v = 0. Let z = -110 - o. Does 12 divide z?
False
Let p = 703 - 703. Suppose w - 1714 + 1552 = p. Does 5 divide w?
False
Is 12 a factor of (-31008)/(-104) - (-18)/(-117)?
False
Let w(m) = -3856*m**3 + 2*m**2 + 52*m + 51. Is 21 a factor of w(-1)?
False
Let f = 47 - 57. Let z be f/6*60/(-50). Suppose m + 86 = z*y, -m = 3*y + 52 - 176. Is y a multiple of 2?
True
Let n be (-17654)/(-104) + 1/4. Let y = n + -71. Is y a multiple of 11?
True
Let b = -25154 + 35864. Does 14 divide b?
True
Let p(k) = 30*k - 70. Suppose 13 + 22 = 7*r. Is p(r) a multiple of 11?
False
Is 227 + ((-13 - -57)/(-11))/(4/2) a multiple of 15?
True
Suppose -12 - 62 = 2*r. Let k = r + 127. Does 8 divide k?
False
Let k = 83 - 81. Is 62 a factor of (k*41/(-8))/(6/(-72))?
False
Let u = -233 - -238. Suppose -807 = -u*w - n + 2598, -3405 = -5*w + 5*n. Is 37 a factor of w?
False
Suppose 198*j - 192*j + 1848 = 0. Let i = j - -344. Is i a multiple of 2?
True
Suppose -3*z + 10121 + 4006 = 0. Is 17 a factor of z?
True
Let j be (-3 + 22/11)/(1/(-7592)). Is 52 a factor of (j/(-260))/(-1 - 6/(-10))?
False
Suppose -5*v - 23 = -4*d, -3*d - 2 = 4*v + 4. Suppose -d*h + 18 + 1610 = 0. Does 57 divide h?
False
Suppose -5789 = -355*b + 348*b. Does 5 divide b?
False
Let w be 1/8 - (-57)/(-8). Let j(s) = s**3 + 6*s**2 - s + 20. Let r be j(w). Is 11 a factor of (-3)/3*r + 0/2?
True
Let r(u) = -2883*u - 4911. Is 58 a factor of r(-11)?
False
Suppose 4*d - 33468 = -5*w, 16748 = 2*d - 0*w - w. Does 92 divide d?
True
Let b(l) = -2039*l + 2423. Is 14 a factor of b(-7)?
False
Is -4 - ((1 - -9) + -6 + -336) even?
True
Let i = 3 - -14. Let g be i/2 - (-3)/(-2). Let r(y) = y + 11. Is r(g) a multiple of 18?
True
Let b(j) = 75*j**2 - 112*j - 6. Is b(-12) a multiple of 21?
True
Let v(a) = 8*a**2 + 7*a - 5. Let n be v(-5). Suppose 0 = 5*w - 3*o + 160, 4*o + 0*o = -5*w - n. Is 3/((-2)/w*3) a multiple of 4?
True
Let q = -12492 + 19083. Is q a multiple of 139?
False
Suppose -4*p - 3 = 1. Suppose 3*k - 3*z = 111, 0 = 5*k + 25*z - 20*z - 165. Let a = k + p. Is 17 a factor of a?
True
Let b(n) = 8 + 7*n**2 - 2*n**2 - 4*n**2 - 16*n. Let q be b(10). Let k = q + 124. Does 33 divide k?
False
Let w = -2884 - -5475. Does 101 divide w?
False
Is 32629 + (5 - 4)*(4 + -8) a multiple of 224?
False
Let w = 12 + -2. Let f be (4 + -1)/(-3) + w. Suppose -4*a = -25 + f. Is a even?
True
Suppose 18*d = -52 - 668. Does 17 divide d/5 - (-1589 + 0)?
True
Let p(w) = -w**3 - 3*w**2 + 2*w - 3. Let c be p(-4). Suppose -46*t = y - 45*t - 96, -c*y = 4*t - 483. Does 3 divide y?
True
Let d(l) be the second derivative of 4*l**3/3 - 17*l**2 + 2*l. Does 11 divide d(15)?
False
Let t be (-2)/5 - ((-108)/(-30) + -9). Suppose 0 = 4*l + 4, 2*a + l - t*l = 1058. Is a a multiple of 93?
False
Let m = -6150 - -9372. Is 9 a factor of m?
True
Let a(h) = h**2 + 22*h - 20. Let t be a(-12). Let x be (1/(-5) + 3)*t/(-8). Let r = x - 19. Does 25 divide r?
False
Suppose -14*i - 4355 = -19*i. Suppose -i = -12*m + 1181. Does 30 divide m?
False
Let p(a) = -2*a**3 - 3*a**2 + 69*a. Let f be p(-11). Suppose f = -0*u + 11*u. Is 10 a factor of u?
True
Suppose -3*a + 41128 = -5*h, -18*h = -a - 14*h + 13700. Is 9 a factor of a?
True
Suppose 2*r = -3*r - 2*u + 51, -3*r + 33 = 2*u. Suppose -r + 23 = x. Suppose 0 = -t + x + 37. Is t a multiple of 14?
False
Suppose -94*w = -97*w - 33. Let q(l) = -35*l + 142. Does 19 divide q(w)?
False
Suppose l - 1300 = 318. Suppose l = 5*w + 398. Suppose -w = -4*t - 5*v, 8 = 2*v - 0. Is t a multiple of 28?
True
Suppose -3*k = 4*o - 260 + 60, 2*o - 4*k - 78 = 0. Suppose 311 - o = 8*a. Is 5769/a + (-12)/(-66) a multiple of 26?
False
Suppose -7*c + 4*x - 2800 = -8*c, 5*x - 20 = 0. Is 24 a factor of c?
True
Suppose -3*s = -8*s + 2*j + 12061, 4*j = -4*s + 9660. Does 42 divide s?
False
Suppose 4*f - 9 = j + 3, 24 = 3*f + 3*j. Suppose 0 = -z + 2*z + 5, f*z + 22 = w. Suppose -w*m = -674 + 162. Is m a multiple of 16?
True
Suppose 4*d = 119 - 371. Is 4/(84/(-217))*d a multiple of 21?
True
Let k(d) = 11*d**2 + 6*d - 20. Let q be k(5). Suppose 13*p = -77 + q. Let t = p - -2. Is t a multiple of 11?
False
Let n(u) = 2*u + 8. Let b be n(-3). Suppose 3*k - 6 = -2*q - 0*k, 5*k = -b*q + 2. Suppose 4*z + q = 42. Does 7 divide z?
False
Suppose 58*m = 94*m - 366228. Is m a multiple of 12?
False
Let i(b) = 2*b**2 + 9*b. Let p be i(-5). Suppose -c = 5*g - 518, 4*c + 527 = p*g - 1. Is g a multiple of 13?
True
Suppose -54 = -k + 5*u + 982, 2*k - 2062 = 5*u. Is k a multiple of 27?
True
Suppose 220*q - 231*q + 495 = 0. Is q a multiple of 10?
False
Suppose -6*s - 9*s - 1908 = -93063. Is s a multiple of 59?
True
Let p(u) be the third derivative of u**6/40 - u**5/20 + u**4/24 - 7*u**3/6 + 119*u**2. Is p(5) a multiple of 50?
False
Suppose -336 = -11*a - a. Suppose 0 = -a*h + 44*h - 6880. Does 35 divide h?
False
Does 16 divide (-3)/(-3)*(-3)/(-12) + (-1756181)/(-124)?
False
Let d(z) = -8*z + 12*z - 4*z**2 - 2*z**3 - 6*z. Let a be d(-2). Suppose 3*c - a*n + 13 = 59, -4*n = -2*c + 28. Is c a multiple of 3?
True
Let d(t) be the third derivative of 31*t**5/20 - 10*t**3/3 + 3*t**2 + 13. Is 19 a factor of d(3)?
True
Let s = 204 - 128. Let c be 4 + (1 - (-265)/5). Let v = s - c. Does 9 divide v?
True
Let d = 5286 + -574. Does 76 divide d?
True
Suppose -27*a - 6730 = -17*a. Let l = a - -887. Is l a multiple of 23?
False
Suppose j + 0*m + 3*m - 138 = 0, -5*m = 3*j - 402. Let k = j + 86. Is k a multiple of 55?
False
Let l = -76 - -61. Let o be l/(-5) - (1 + 667