 - 3/(-3)). Suppose 2*k + 2 = t*k, 0 = b - 3*k - 2. Suppose -14 - b = -i. Is 6 a factor of i?
False
Suppose 5*s - 23 = -4*d, -3*d - 5*s + 5 = -8*d. Let j be (0/(2/2))/2. Suppose j = 3*r - d*r - 44. Is r a multiple of 16?
False
Suppose 11 = -4*q + 27. Is 32 a factor of ((-1)/2)/(q/(-1280))?
True
Let r = 1040 - 572. Is r a multiple of 18?
True
Suppose -3*o - 5*o = -40. Suppose s = 2*u + 170, -o*s - u - 2*u = -902. Is 48 a factor of s?
False
Suppose -6*t + 116 = 8. Is t a multiple of 4?
False
Suppose -3*l - 28 = -4*t, -9 = 5*l + 3*t - 1. Does 14 divide (29 - -3)*(-14)/l?
True
Let w = 1691 + -1109. Is w a multiple of 6?
True
Is -6*(-4)/(-6)*1368/(-16) a multiple of 10?
False
Let d(w) be the third derivative of 7*w**5/10 + w**4/24 - 11*w**2. Is d(1) a multiple of 8?
False
Let m(a) be the third derivative of 4*a**4/3 + a**3/3 + 70*a**2. Let l = 4 + -2. Does 15 divide m(l)?
False
Let v(s) = -2*s + 4. Let q be v(-7). Suppose 0*h + 3*t = h - q, 3*h - 3*t - 36 = 0. Does 3 divide h?
True
Let a(c) = -c**2 + 78*c - 245. Is 20 a factor of a(33)?
True
Suppose -3*i + 5*p - 7*p + 416 = 0, 2*i - 288 = 4*p. Is 10 a factor of i?
True
Suppose -871*f = -878*f + 1470. Is 7 a factor of f?
True
Suppose -9456 = 14*j - 29840. Is j a multiple of 54?
False
Suppose 2*i = -7*i + 45. Suppose 85 = 4*n - 2*r - 39, 3*r + 155 = i*n. Is 12 a factor of n?
False
Let k(f) = -f + 7. Let u be k(11). Let q be (118/4)/((-2)/u). Suppose 4*i + 71 = 5*n, 0*n - q = -4*n + i. Does 5 divide n?
True
Suppose 12*x + 5563 - 21499 = 0. Is 16 a factor of x?
True
Suppose 19 = 4*g - 17. Let a be g/(2*4/8). Suppose 0 = -y - a + 12. Is 3 a factor of y?
True
Suppose t = 3*d - 3, -t - 5 = -d - 2. Is 37 a factor of 6/(-14) - (-2076)/(-28)*t?
True
Let q be ((-13)/(-4))/((8/(-4))/(-48)). Let y = q + -30. Is y a multiple of 24?
True
Let r(z) = -z**3 - 3*z**2 + 8*z + 6. Let m be r(-5). Suppose 3*p = 7*p - m. Suppose -2*q + c = -2*c - 96, 0 = -p*c + 8. Does 19 divide q?
False
Let i(f) = -f + 7. Let c be i(5). Let b = 145 + -137. Suppose -c*p - 4 = -b. Is p even?
True
Suppose 18*q - 16*q - l = 270, -5*q + 705 = 5*l. Does 14 divide q?
False
Is 37 a factor of -222*((-8)/1)/4 + 0?
True
Suppose 6 - 42 = -3*c. Is 5 a factor of c?
False
Let b be (-39)/(-6) + (-6)/4. Suppose 537 = b*h - 218. Let m = -97 + h. Does 18 divide m?
True
Let p be 1*(-3 + 8 + -2). Let c(i) = 4*i**2 - 5*i**2 + p*i**2 + 1 + i - i**2. Is 2 a factor of c(3)?
False
Suppose -3*f = 4*y - 548, 4*f - f - 532 = 4*y. Let g be 6/2 - f*1. Is 4/(g/(-57) - 3) a multiple of 19?
True
Suppose -36*h - 28*h + 8128 = 0. Is h a multiple of 4?
False
Suppose -24*c + 24604 = -26468. Is 38 a factor of c?
True
Suppose 11*k = 4*k + 1890. Suppose 3*q = 9*q - k. Is q a multiple of 5?
True
Let s = -236 + 93. Let r = s - -342. Suppose -3*m - h + r = 0, 41 = m - 5*h - 4. Is m a multiple of 24?
False
Suppose 14 = -s + 18. Suppose 4 = s*n, p - 5*p + 81 = -3*n. Does 12 divide p?
False
Suppose 5*z + q = 2*z - 14, -q = -z - 2. Let k be z/12 + 32/6. Suppose -k*y + 3*y = -38. Is 19 a factor of y?
True
Suppose 10*v + 8214 = 47*v. Is 37 a factor of v?
True
Suppose -b - v = -2*b + 1279, -2*b + 2534 = 4*v. Does 15 divide b?
True
Let y = 4 + -1. Suppose -n = y*n - 152. Suppose 5*g - n = 107. Is 5 a factor of g?
False
Suppose 0 = -3*t + 3*p + 6, -5*p - 25 = -2*t - 10*p. Suppose -t*c = -9*c + 672. Is 21 a factor of c?
True
Let u = 19 - 19. Is 4 a factor of -1 + u - (1 + -22)?
True
Suppose -2 = -k + 1. Is 33 a factor of (-302)/((-10)/15*k)?
False
Suppose 3*p = -9 + 15. Suppose -6 + 1 = u + o, -2*o = -u - p. Is u/(3*6/(-99)) a multiple of 11?
True
Let n = -49 - -40. Is 11 a factor of (-2)/n - (-6190)/90?
False
Suppose 2*w = -2*s + 40 - 2, -39 = -w + 4*s. Does 23 divide w?
True
Let d(a) = 57*a - 2. Let c be d(6). Suppose 5*y = 4*r - r + c, 2*r + 205 = 3*y. Is 16 a factor of y?
False
Suppose 0 = -2*l + 5*m - 103, 0 = 5*l + 2*m + 75 + 197. Let v = -21 - l. Is 23 a factor of v?
False
Let c = 831 - 421. Suppose -c = m - 6*m. Does 10 divide m?
False
Suppose -6*o = -o - 3*w - 120, o = 5*w + 2. Suppose 5*z - b + 7 = -29, o = -4*z - b. Is 8 a factor of z*((-96)/14)/2?
True
Let c(g) = -146*g - 13. Is 9 a factor of c(-2)?
True
Let d be 21*2/(2 + -4). Let r = -35 - 17. Let u = d - r. Is u a multiple of 31?
True
Let w(m) = 3*m**2 - 2*m - 22*m**2 - 13 + 2*m**3 + m**2. Is w(10) a multiple of 35?
False
Let r be (-1*(-28)/6)/(8/12). Suppose -10 = 2*x + 6. Let n = r - x. Is n a multiple of 3?
True
Let u(d) = -5*d**3 + 10*d**2 + 3*d + 1. Let q(y) = -y**3 - y. Let b(o) = -6*q(o) + u(o). Is b(-7) a multiple of 13?
False
Let o(w) = -w. Let l(s) = s. Let u(b) = -l(b) - 2*o(b). Let h be u(2). Suppose h*p + 4*t + 12 = 4*p, -1 = t. Is 2 a factor of p?
True
Suppose -2*x - 716 = -4*x + 2*z, -z + 360 = x. Is x a multiple of 11?
False
Suppose 0 = 4*t - 5*t + 5. Suppose t*s - 264 = 21. Suppose 0 = 3*r - s + 3. Does 3 divide r?
True
Let p be 2 - 419/(-2) - (-15)/30. Let b = -139 + p. Is b a multiple of 21?
False
Suppose -5*p + 0*p = -15. Is 21*9/(-6)*(-2)/p a multiple of 7?
True
Let b(n) = 23*n - 19*n**3 - 11 - 12 - 19*n**2 + 20*n**3. Does 32 divide b(18)?
False
Let f = -17 - -23. Let v be 20/f*27/18. Suppose 5*p + t = 42 + 36, 69 = v*p - 2*t. Does 3 divide p?
True
Suppose 7*d = 5*d + 856. Suppose j = f - 4*j - 113, -4*f = 4*j - d. Is f a multiple of 24?
False
Suppose -5*x - l + 265 + 119 = 0, 4*l + 4 = 0. Suppose x + 43 = 6*z. Is z a multiple of 10?
True
Does 4 divide 8556/10 + (10 - (-768)/(-80))?
True
Let b be ((-30)/20)/((-6)/16). Let y be (-112)/(-49) + b/(-14). Let r = 3 + y. Is r a multiple of 5?
True
Let t(m) = m**3 - 10*m**2 - 13*m - 15. Let u be 65/4 + (-10)/40. Let i be (u/(-2))/((-4)/6). Is t(i) a multiple of 13?
True
Suppose 4*c - h - 548 = 0, -4*c - 2*h - 3*h + 524 = 0. Let s = c - 92. Is 12 a factor of s?
False
Let z be (-18)/(-6) + (0 - 1). Suppose z*t - 7 = 17. Let c = t - -5. Is 16 a factor of c?
False
Suppose 0*r + 3*n = 4*r - 119, 145 = 5*r - 3*n. Let b = 29 - r. Is b a multiple of 3?
True
Suppose -10 = 4*y - 6*y. Suppose y*i = -i + 270. Does 9 divide i?
True
Let g = -23 - -26. Suppose -6*l + 39 = -g*l. Is 2 a factor of l?
False
Let k = -106 - -112. Let n(x) = 31*x - 18. Is 21 a factor of n(k)?
True
Let o(h) = h + 22. Let b be o(-18). Suppose b*w + 3*a = 5*a + 242, -4*w = 5*a - 235. Is 10 a factor of w?
True
Let j(n) = n + 36. Let m(l) = l**3 + 13*l**2 + 13*l + 14. Let q be m(-12). Let s be (-2 + -28)*q/4. Is 8 a factor of j(s)?
False
Let a = 61 + -59. Does 21 divide 162/a + (-2)/(-1)?
False
Suppose -15 = 2*r - 5*r. Let i = 9 + -5. Suppose -5*q + r*c = -100, i*q + 4*c = 7*q - 57. Is q a multiple of 8?
False
Suppose -v + a = 2*a - 1, -3*a = -2*v + 12. Suppose -v - 24 = -3*h - 3*z, -z - 9 = -2*h. Does 4 divide h?
False
Suppose y - 24 = 3*z - 2*z, -3*z = 5*y + 80. Let o = -27 - z. Is -3 + 4 + 4 - o a multiple of 7?
True
Suppose -61027 = -22*k + 221. Does 32 divide k?
True
Suppose 5 = 5*p, -4*h + 5*p + 973 = -462. Is h a multiple of 18?
True
Suppose 0*r - 75 = 5*r. Let u be (r/(-10))/((-6)/(-8)). Suppose u*g + 12 - 222 = 0. Is g a multiple of 15?
True
Suppose 6*p - 861 = -21. Is p a multiple of 5?
True
Suppose 4*q = 2*h + 42, 0 = -3*q + 2*h - 4*h + 42. Suppose 7*t = 3*t + q. Suppose 52 = 2*c - t*l - 71, -5*c = 2*l - 317. Is 21 a factor of c?
True
Let w(p) = 9*p**3 - 2*p**2 - 2*p - 3. Let y(r) = 9*r**3 - 3*r**2 - 2*r - 4. Let a(k) = 5*w(k) - 4*y(k). Suppose -h + 0 + 1 = 0. Does 5 divide a(h)?
True
Suppose 0 = -3*g - 2*d + d + 19, -4*g = -3*d - 21. Let w(t) = 0*t - 6*t + g - 12*t - 9*t. Is 19 a factor of w(-3)?
False
Let f(o) be the first derivative of -3*o**2 - 12*o - 6. Is 5 a factor of f(-7)?
True
Suppose -10 = -4*m + 110. Suppose 7*s - 240 + m = 0. Does 24 divide s?
False
Let h = -138 - -358. Is 11 a factor of h?
True
Let p = -5 + 10. Let q be 2/(1/45*10). Suppose -3*u + 4*f = u - 84, -q = u + p*f. Is u a multiple of 6?
False
Let z = -14 - -15. Let n(l) = 31*l**2 + l - 2. Does 8 divide n(z)?
False
Let f(r) = 170*r + 795. Does 53 divide f(0)?
True
Let m = -1201 + 2137. Is m a multiple of 52?
True
Let o = 368 + -178. Does 4 divide o?
False
Suppose d = i - 85, -3*d - 180 = -2*i + d. Is i a multiple of 10?
True
Let b = -36 + 41. Suppose -2 = 2*j + b*o - 103, -o + 3 = 0. Is j a multiple of 6?
False
Let d