. Is n a multiple of 17?
True
Let f = -15 + -30. Let i(t) = t**2 + 16*t + 18. Let j be i(-16). Does 6 divide (-10)/f + 320/j?
True
Let u be -3 - (8 - 15)*(0 - -1). Suppose 4*v + 3*k - 270 = 2*v, -2*v + 270 = u*k. Does 27 divide v?
True
Suppose -33 = -2*y - y - 3*u, -5*y = -4*u - 19. Is y a multiple of 2?
False
Suppose 10 = 4*c + q - 2, 2*c = -4*q + 6. Suppose 5*o + 5*j = 435, -c*o = -o - 5*j - 188. Suppose -284 = -5*g - o. Does 13 divide g?
True
Let o = 9 + -5. Suppose -2*a + 0*a + 12 = -4*j, o*a - 8 = 4*j. Is (-21)/3 - j - -27 a multiple of 12?
True
Let w = 147 - -543. Is 46 a factor of w?
True
Suppose -99 = -3*d + 126. Let y be -1 + 4 + d/1. Let m = y - 45. Is 11 a factor of m?
True
Is ((-77)/44 - 6/(-8))*-306 a multiple of 62?
False
Let i(l) = 44*l - 34. Does 4 divide i(4)?
False
Let q(d) = -d**3 + 2*d**2 - d - 4. Let p be q(2). Is 8 a factor of p*((-88)/6)/4?
False
Let j = -268 + 458. Let l = j - 4. Does 15 divide l?
False
Let y(v) = 52*v + 2. Let g be y(-2). Let o = -73 - g. Suppose -5*h + 71 = 2*r - o, -5*r + 250 = 3*h. Is r a multiple of 17?
False
Let d(s) = -s**2 + 6*s + 7. Is d(5) even?
True
Suppose 4*b = -4*f + 438 + 562, -2*b = 5*f - 509. Is 9 a factor of b?
False
Let r(c) = 16*c + 224. Is 16 a factor of r(15)?
True
Is (144/(-96))/((-1)/296) a multiple of 12?
True
Does 19 divide ((12 - 1)/11)/((-2)/(-550))?
False
Let c(z) = 40*z + 216. Is 12 a factor of c(18)?
True
Let q(i) be the second derivative of -23*i**6/720 + i**5/60 - i**4/6 + 9*i. Let b(a) be the third derivative of q(a). Does 13 divide b(-1)?
False
Let b(c) = c + 5. Let j be b(-3). Suppose -4*o = -3*v + 1, -j*o = -v + 5 - 6. Suppose -v*q + w + 190 = 0, -q - 3*w = -2*q + 58. Is 13 a factor of q?
False
Let r(o) = 52*o + 34. Suppose 3*j = -k - j - 15, -3*k - 4*j - 5 = 0. Does 36 divide r(k)?
False
Suppose 0 = 6*k + 13 - 625. Suppose -6 = 3*i, -140 = -5*j - 4*i + k. Is j a multiple of 10?
True
Let s(r) = 43*r**2 + r - 1. Let t be s(1). Suppose 5*d = -3*b + t, 2*b + b - 13 = d. Suppose -10*l + 124 = -b*l. Is 13 a factor of l?
False
Let w(s) = s**2 + s + 2. Let x be w(5). Suppose -t - 2*z + x = 4*t, 2*t - 17 = -5*z. Is 2 a factor of t?
True
Suppose 0 = 4*p + 12, 37*p - 971 = -2*b + 38*p. Is b a multiple of 2?
True
Does 2 divide (3540/5)/6 + -9?
False
Let l(g) = 2*g**2 - 3*g + 126. Does 7 divide l(-8)?
False
Let l(q) = 3*q**3 - 5*q**2 - 14*q - 19. Does 29 divide l(7)?
True
Let z(i) = -3*i - 19. Suppose 2*f + 2 = -12. Is 2 a factor of z(f)?
True
Is 5 a factor of (-395 - (-6 + 8))/((-3)/15)?
True
Let m = -158 - -302. Suppose z = 5*v - 4*z + 630, 0 = v + 5*z + m. Let s = v + 183. Is 18 a factor of s?
True
Suppose 0 = 2*l - 7 - 3. Suppose p + l - 13 = 0. Is 6 a factor of p?
False
Does 22 divide ((-6)/(-18)*-2)/((-1)/99)?
True
Let b be (-11)/((-22)/(-40)) - 2. Let t = 20 - b. Is t a multiple of 14?
True
Suppose -12*v - 2*v = -5796. Is 6 a factor of v?
True
Let v(i) = -i**3 - 5*i**2 + 5*i - 3. Let b be v(-6). Let r be -3 - (20 + b + 4). Is 13 a factor of (-3890)/(-75) + (-4)/r?
True
Let h(q) = q**2 - 5*q - 9. Let x be h(8). Suppose b - x = -2. Is b a multiple of 5?
False
Suppose 28*s = 17*s + 5984. Is 32 a factor of s?
True
Let o = -533 - -967. Is o a multiple of 6?
False
Let g(z) = -z + 7. Let r be g(9). Let x(k) = -15*k**3 + 2*k**2 + 3*k + 4. Does 15 divide x(r)?
False
Let l be 5 + (-360)/35 - 2/(-7). Is 7 a factor of l/((-40)/2) + (-227)/(-4)?
False
Let b = 237 + -105. Suppose 2*d - 42 = 4*x - b, 4*d = -x + 9. Does 3 divide x?
True
Let c be (-20)/8*2 + (-1 - -2). Is (44 - -2) + c - (-1 - -1) a multiple of 8?
False
Let a = 31 + 289. Does 20 divide a?
True
Let j = -70 + -66. Let q = 80 + j. Let o = -39 - q. Does 17 divide o?
True
Let r be 4 + -1 - (8 - 18). Suppose 2*w = -h + 2*h - r, 5*h - 13 = -3*w. Suppose -p - 2*p + h*n + 82 = 0, -2*p + 2*n = -48. Is p a multiple of 6?
False
Let h = 134 + -156. Is 28 a factor of (-472)/3*33/h?
False
Let g = -168 - -357. Is g a multiple of 3?
True
Let b(t) = -9*t**2 - 5*t. Let f(g) = 4*g + g + g + 5*g**2 + 5*g**2. Let u(r) = -6*b(r) - 5*f(r). Does 6 divide u(-2)?
False
Is 19 a factor of 3 - 60*(-120)/16?
False
Let o(z) = z**2 + 2 - 3 + 12. Is 15 a factor of o(7)?
True
Let l = 15 + 12. Suppose s - l = -m, 3*m = 5*m - 4*s - 42. Is 5 a factor of m?
True
Does 5 divide (-5853)/(-12) + (-45)/60?
False
Suppose 0 = -3*g - 11 - 49. Let r = 24 + g. Is 10 - (-8)/(-2 + r) a multiple of 7?
True
Does 32 divide (4/(-3) + 0)*-417 + -1?
False
Suppose 9*j = 5*j - 124. Let c = j - -47. Is 8 a factor of c?
True
Suppose g = -4*j + 927, -2*j + 404 = 3*g - 67. Suppose 0 = -x + 5*v + 45, 4*x = -0*v + 3*v + j. Does 14 divide x?
False
Suppose -2*n = 2*n - 5*r - 2386, -1792 = -3*n + 5*r. Is 54 a factor of n?
True
Let w(x) be the third derivative of 3*x**5/10 + x**4/6 - 2*x**3/3 - 3*x**2 + 2*x. Suppose d - 4*q = -4*d + 14, -5*d = q - 9. Is 19 a factor of w(d)?
True
Let v(y) = -y + 1. Let k(u) = -3*u + 8. Let q(o) = 2*k(o) - 22*v(o). Is q(3) a multiple of 14?
True
Does 109 divide 1229 + 124 - -2*-4*1?
False
Suppose -z + 155 = 5*d - 0*d, -3*z - 5*d + 495 = 0. Is z a multiple of 5?
True
Let u be ((-15)/6)/(2/(-4)). Suppose b - 75 = -0*b - 5*s, 15 = -u*s. Suppose 4*l = 2*l + b. Does 8 divide l?
False
Let r(d) = 3*d**2 + 2*d - 1. Let h(a) = 2*a + 15. Let y be h(-7). Is r(y) a multiple of 3?
False
Let n = -5 + 10. Suppose 0 = -3*i + 2*i + n. Suppose 8 = i*g - 47. Is g a multiple of 3?
False
Let s(i) = 3*i**2 - 13*i + 42. Does 9 divide s(24)?
True
Let m = -1247 - -1972. Does 77 divide m?
False
Suppose -w + 0*w = 3*j - 86, -2*j - 4*w + 64 = 0. Suppose 6*m = 10*m - j. Is 7 a factor of m?
True
Suppose -50*f = 2*k - 46*f - 1728, -f - 867 = -k. Does 13 divide k?
False
Let n be (-6)/(-2)*36/4. Suppose 0*s - 5*s + 290 = 0. Let y = s + n. Is y a multiple of 18?
False
Suppose 5*s + 86 = 626. Let l = -20 + s. Is l a multiple of 11?
True
Suppose -4604 = -4*f - 2*b, 0 = 124*f - 121*f - 2*b - 3446. Does 23 divide f?
True
Suppose -5*a - 9 = -3*m, -11 = -2*m - 2*a - 5. Suppose 0 = 5*k + 15, 30 = 3*y - m*k + 4*k. Does 8 divide y?
False
Let m = 26 - 22. Let c be -2 + 1 + 12/m. Let z = 38 - c. Is z a multiple of 18?
True
Let z = 4 + -6. Let y be (-6)/z - (-2 + -2). Does 23 divide y/(-21)*291/(-1)?
False
Suppose -2*y = -5*r - 87, -r + 91 = 2*y - 2*r. Let d = y - 18. Does 14 divide d?
True
Suppose -3*w - 1032 = -69. Is 9 a factor of (-2 + -1 + w)*(-1)/2?
True
Suppose 0 = -0*b - 3*b. Let j(d) = -d**2 - 2*d + 2. Let v be j(b). Does 9 divide v/6 + 52/6?
True
Suppose -w - 3*m = -5*m + 18, -w - m = 24. Let o = 11 - w. Let i = -19 + o. Does 3 divide i?
False
Suppose -4*v + 12921 = -3*o, 7*o - 10*o + 9675 = 3*v. Does 38 divide v?
False
Let w(o) = -2*o + 25*o + 7 - 3 + 15*o. Does 14 divide w(1)?
True
Suppose 1267 = 11*n - 977. Is n a multiple of 17?
True
Let l(a) = a - 18. Let m be l(6). Is -3*(116/m + 2) + -2 a multiple of 6?
False
Suppose -n - 3*n = -36. Suppose n = 2*t - 45. Suppose -t = -4*s + s + 4*r, -5*r + 54 = 3*s. Is s a multiple of 6?
False
Suppose -3*t + g + 78 = t, -5*g = -t + 29. Suppose 0*w - t = -w - 2*i, 0 = 3*w - 2*i - 41. Is w a multiple of 3?
True
Suppose -713 = -2*a + 61. Is 6 a factor of a?
False
Suppose 1526 = 7*r - 112. Does 78 divide r?
True
Suppose 4*k - s = 3*k + 231, -3*s - 231 = -k. Does 39 divide k?
False
Let p(j) = -5 - 10 + 21*j - 2 - 10. Is p(13) a multiple of 41?
True
Let f be (145 - 13)*(-2)/4. Let g = 114 + f. Is g a multiple of 7?
False
Let w(v) be the second derivative of v**4/12 + 5*v**3/6 - 29*v**2/2 - 38*v. Is w(-9) even?
False
Let a(v) = -20*v**3 + 7*v**2 + 19*v + 14. Does 10 divide a(-4)?
True
Let m = 288 - 2. Does 22 divide m?
True
Let v(i) = -10*i - 7. Let f be v(-7). Suppose -11*r + f = 19. Is r a multiple of 4?
True
Is 43 a factor of -1 + 127 - (116 + -119)?
True
Suppose -159 = 5*q - 174. Is 10 a factor of (10/(-7))/((-1)/35) + q?
False
Let m = 314 + 253. Is 40 a factor of m?
False
Let b = 134 + -278. Let q = b - -284. Is q a multiple of 35?
True
Let j(s) = -3*s - 12. Let a = 8 + -4. Suppose 0 = 3*k + 4*w + 30, -a*k - 12 = -2*w - 2*w. Does 4 divide j(k)?
False
Let y(q) = 10*q**2 + 2*q + 25. Is 9 a factor of y(6)?
False
Let z(m) = -m**3 + 5*m**2 + m + 11. Let v be 3/(3*(-1)/(-4)). Suppose -32 = -4*x - 4*q, 5*x - v*q + 1 = 14. Is z(x) a multiple of 16?
True
Let 