(0) a multiple of 16?
False
Suppose -15*l = -28*l + 1014. Does 2 divide l?
True
Suppose 2*i = p + 15, 0 = -p - p - 10. Suppose 10*r - 10 = i*r. Let a(x) = 5*x**3 + x - 2. Is 7 a factor of a(r)?
False
Let q(b) = b**3 + 9*b**2 + 8*b + 2. Let d be q(-8). Suppose -5*u + 183 = d*l - 249, 5*u = -3*l + 428. Is u a multiple of 11?
True
Does 18 divide (-393)/(-4)*4 + 3?
True
Does 84 divide (-2)/(-13) + (-115710)/(-273)?
False
Suppose r - 3 - 2 = 0. Suppose 187 + 18 = r*y. Is y a multiple of 13?
False
Suppose 17*l - 40920 = -16*l. Is l a multiple of 31?
True
Let w = -760 + 844. Is 12 a factor of w?
True
Let l = 35 - 31. Suppose 4*z = -m + 469 + 404, -m - 863 = -l*z. Suppose 5*f + 32 = z. Does 34 divide f?
False
Suppose 0 = z - 3*z + 4*i + 208, 0 = -5*z - 3*i + 572. Is z a multiple of 14?
True
Suppose 5*s + 2*f + 10 = 0, 0 = -s - 2*s - 3*f + 3. Let b = 8 - s. Is 3 a factor of b?
True
Let r be (2/(-1))/(6/(-219)). Suppose 0 = t - 5*k + 24, 9 + 19 = -4*t + 3*k. Let c = r - t. Is 27 a factor of c?
False
Suppose -387 = -p - 3*d + 2*d, -p + 3*d = -387. Is 43 a factor of p?
True
Let o(m) = m**2 + m + 481. Is o(0) a multiple of 66?
False
Suppose 62 - 2 = p. Does 30 divide 54/(-4)*p/(-9)*2?
True
Is 23 a factor of (-1 + -1)*-21 - (-368)/92?
True
Does 22 divide (3/2 - 1) + (-53784)/(-144)?
True
Let x(o) = 21*o**3 - 2*o**2 + 1. Let w be x(1). Suppose w*q - 6*q - 1176 = 0. Is 38 a factor of q?
False
Suppose 4*i + 21 = 5*k, 2*k = 7*k - 5*i - 20. Let r(q) = 7*q + 37. Let m be r(-5). Suppose -m*c = -k*c + 150. Does 25 divide c?
True
Let k = -892 - -1641. Does 7 divide k?
True
Let z(u) = -9*u + 1 - 4*u**2 - 3 + 3*u**2. Let x be z(-9). Is 18 a factor of (-52)/(-3) - x/3?
True
Suppose 220 = -7*d + 12*d. Does 8 divide d?
False
Suppose 5 = 3*f - 46. Suppose -f*q = -0*q - 3502. Is q a multiple of 24?
False
Let a = -459 + 1077. Is a a multiple of 40?
False
Suppose -4*c = -0*c + o - 3101, 0 = 5*c + 2*o - 3880. Is 44 a factor of c?
False
Let f(d) = -d**3 - 12*d**2 - 16*d - 10. Let k be f(-11). Is 4 a factor of (12/(-5) + 0)/((-18)/k)?
False
Let r(h) = -h**3 + 13*h**2 - 11*h - 17. Suppose -2*n - x + 15 = 0, 9 = 4*n - 2*n + 3*x. Does 26 divide r(n)?
True
Let w = 108 - 74. Does 2 divide w?
True
Does 96 divide 22833/18 + (-39)/(-26)?
False
Let w(n) be the first derivative of n - 10. Let f(h) = -9*h - 23. Let r(x) = f(x) + 6*w(x). Is r(-7) a multiple of 9?
False
Let y(k) = 4*k**2. Let q be y(1). Let n be 6 + (-5 - (2 - q)). Does 12 divide 26 + (0 - 6/n)?
True
Let z = 40 + -36. Suppose 0 = 2*q - z*q + 130. Does 8 divide q?
False
Suppose 770 + 355 = 5*u. Does 9 divide u?
True
Let j(n) = n + 2. Let m be j(-2). Let c(g) = g + 9. Let q be c(m). Suppose q = h + 1. Does 5 divide h?
False
Suppose 5*t - 3 - 2 = 0, 305 = 4*z + 5*t. Let x = z - 40. Is 21 a factor of x?
False
Let k(f) = -2*f**2 + f + 1. Let o(h) = 2*h**2 + h + 4. Let b(y) = -k(y) + o(y). Suppose -2*c = -c + 3*x, 4*c + 3*x = -9. Does 13 divide b(c)?
True
Suppose -14*u + 12958 = -1826. Is 22 a factor of u?
True
Let s be (-1 + 1)/(0 - (-6)/(-6)). Suppose 69*b - 74*b + 105 = s. Does 14 divide b?
False
Let i be ((-18)/(-4))/((-18)/(-24)). Suppose -i*b = -3*b - 189. Is 7 a factor of b?
True
Is 19 a factor of 102/51 - 463/(2 - 3)?
False
Suppose 33*t = 38*t - 1145. Is t a multiple of 4?
False
Let i(l) = l**3 + 1 + l**2 - 4 + 6*l**2. Does 9 divide i(-4)?
True
Suppose 3*u = -265 - 68. Let f = u + 159. Does 12 divide f?
True
Let r be 1/((3/(-30)*2)/1). Let i(s) = -8*s - 2. Let a be i(-2). Let m = a + r. Is 6 a factor of m?
False
Suppose 62*i - 57*i - 7390 = 0. Is i a multiple of 14?
False
Does 16 divide ((-951)/2)/(48/(-64))?
False
Let b(y) be the second derivative of y**3/6 - 11*y**2 + y. Let a be b(0). Let l = 34 + a. Is 3 a factor of l?
True
Suppose 4*k - 6 = -4*r + 38, 4*k - 48 = -3*r. Suppose l + 2 = k. Is 13 a factor of l?
True
Let s = 26 + 37. Let r = s + 9. Is 24 a factor of r?
True
Suppose 146 = 2*d - 268. Suppose -99 = -6*t + d. Is t a multiple of 17?
True
Suppose u + 5 = 6. Suppose 5*i + u = -2*s - 3, -4*s - 2*i = 8. Is 14 a factor of (s - 24/(-9))*45?
False
Let j(w) = -2*w - 4. Let y be j(-5). Suppose -y = 8*t - 30. Is 2 a factor of t?
False
Suppose 5*l + 0*l + 146 = -w, -5*w + 110 = -3*l. Let u = 62 - l. Does 23 divide u?
True
Suppose 5*r = -0*a - 2*a + 253, 4*a = -5*r + 491. Does 7 divide a?
True
Let n be 2992/55 + (-6)/(-10). Suppose -3*z = b + 2*z - n, 0 = 2*b + 5*z - 135. Does 10 divide b?
True
Let n = 167 + -83. Suppose n = 5*s - 3*s. Is 14 a factor of (-4 + 3)/(-1)*s?
True
Let r = 260 + 756. Is r a multiple of 61?
False
Let f be 38/12 + (-3)/18 + -3. Suppose 5*s - 50 = 3*r + 9, 4*s - r - 43 = f. Is 2 a factor of s?
True
Let g(s) = -11*s**2 - 27*s - 15. Let c(w) = -5*w**2 - 13*w - 7. Let a(b) = 9*c(b) - 4*g(b). Let v be a(-8). Suppose -m - 340 = -v*m. Is m a multiple of 31?
False
Is 6 a factor of -9 + (-762)/(-12)*18?
True
Let k(g) = 146*g**2 - 4*g - 7. Does 61 divide k(-2)?
False
Let k(v) = -8*v - 2. Is 7 a factor of k(-5)?
False
Let o be 41 + 1 + 3/3. Suppose -o + 451 = 6*c. Is 17 a factor of c?
True
Let d(g) = 15*g**3 + g**2. Let r be d(1). Let s be (-45)/(-12) - (-4)/r. Suppose -v - s*v + 98 = -4*f, 2*f = -v + 14. Is 9 a factor of v?
True
Suppose 34 = 4*b + b + 4*a, 2*b = -5*a. Let u(v) = v**2 - 16*v - 3. Let n be u(b). Let r = -25 - n. Does 19 divide r?
True
Let w be (40 - 3)*((-1 - 4) + 2). Let j = 161 + w. Is j a multiple of 9?
False
Suppose 2*g - 8 = 0, 3*l + g = -l + 1144. Is l a multiple of 61?
False
Suppose 15 = 5*r + j, 2*j + 2 - 4 = -3*r. Let d(b) = 17*b**2 + 3*b + 2. Let o be d(3). Suppose 2*y = r*i + o, 3*y + 5*i - 3*i - 206 = 0. Does 29 divide y?
False
Let a(b) = -b - 13. Let c be a(-10). Let i = 12 + c. Suppose -3*s - n + i = -41, -70 = -3*s - 5*n. Is 13 a factor of s?
False
Let h = 169 - -5. Does 2 divide h?
True
Let r(y) = -y. Let x be r(0). Suppose -9 = -g - x*g - 3*p, -g - 9 = -3*p. Suppose -6*q + q + 60 = g. Is 4 a factor of q?
True
Let p be 4/20 - 428/(-10). Suppose b = -q + 18, b + b - p = 5*q. Is b a multiple of 19?
True
Let c = 8 - -8. Suppose -2*m + 6 = 2*k, 5*k - c = -3*m - m. Is 4 a factor of k?
True
Let t(a) = -2*a - 6. Let x be t(3). Let v = x - -23. Is 4 a factor of v?
False
Let y(n) = -n**2 - 2*n + 3. Let a be y(0). Let x be ((-12)/(-16))/(a/60). Suppose 3*u - x = 45. Does 20 divide u?
True
Suppose s + 259 = -2*q - 0*s, -5*s = 2*q + 255. Is 2/12 + q/(-12) a multiple of 5?
False
Let o(n) = 16*n**2 - 22*n + 5. Is 59 a factor of o(14)?
False
Let p be -3 - (4 + (-1 - -804)). Is p/12*8/(-6) a multiple of 30?
True
Suppose 0 = -20*m + 16101 - 1421. Is m a multiple of 40?
False
Is ((-100)/125)/(2/(-1115) - 0) a multiple of 26?
False
Let h = -108 - -63. Let t = 19 - h. Does 4 divide t?
True
Let w(n) = 3*n + 256. Is 13 a factor of w(-52)?
False
Let t be (-4879)/(-6) + (-6)/36. Suppose 0 = -5*s + 2843 - t. Suppose -s = -4*q - 3*u, 390 = q + 3*q - 5*u. Is 13 a factor of q?
False
Suppose -5*k - h + 1626 = 0, k + 2*h - 216 - 111 = 0. Is k a multiple of 25?
True
Let b(z) = z**3 - 41*z**2 - 66*z - 113. Is 19 a factor of b(43)?
False
Suppose 3*o - 97 = -2*r + 8*o, -3*o = 4*r - 129. Let z = 53 - r. Does 10 divide z?
False
Let n(m) = -m**2. Let p(b) = b**3 - 12*b**2 + 10*b - 4. Let i(q) = -3*n(q) + p(q). Let z be i(8). Suppose 17*g - 130 = z*g. Is 13 a factor of g?
True
Suppose -110 = -4*y - 3*f + 67, -4*f - 49 = -y. Is 3 a factor of y?
True
Let v(d) = -189*d**3 - d**2 - d + 2. Does 53 divide v(-1)?
False
Suppose m + 6 = -3*m - 2*o, -4*m + 9 = -3*o. Suppose m = -3*v + 11 - 2. Suppose 6*a + 15 = v*g + 5*a, -4*a - 10 = -2*g. Is g a multiple of 2?
False
Let s = 213 + 58. Is 34 a factor of s?
False
Let j = 952 - 912. Does 4 divide j?
True
Let j = 1820 + -1124. Is j a multiple of 24?
True
Let f = -87 - 5. Is (f/12)/(2/(-6)) a multiple of 18?
False
Is 12 a factor of (-1)/(-6)*5 + 45325/42?
True
Suppose -6*a = -5*a - 63. Is (-1)/(-7) - (-1503)/a a multiple of 6?
True
Let p be (27/45)/(2/20). Let t(j) = 15*j - 10. Is t(p) a multiple of 16?
True
Let y be 4/(-6)*(-117)/(-6). Let v = 16 + y. Suppose -15 + 66 = v*t. Is 17 a factor of t?
True
Let f(a) = a - 4. Let d be f(7). Suppose y - 28 - 12 = 0. Suppose m - y = -2*j, -2*m - 3*m + 186 = d*j. Is 13 a factor of m?
False
Let o(u) = u**3 + 3*u**2 - 5*u. Let y be o(-