). Suppose -4*p + p = -x. Is p a multiple of 13?
True
Suppose 0 = -54*k + 58*k + 4. Let w = 20 - k. Is w a multiple of 10?
False
Suppose 92 = 4*z + 20. Suppose -z*i = -16*i - 216. Does 14 divide i?
False
Let i = -141 + 97. Let p = i + 54. Does 6 divide p?
False
Let c = 5 - 12. Let j = 9 + c. Suppose 4*n + j*z - 368 = 0, 4*n + 0*z - 3*z - 358 = 0. Is 15 a factor of n?
False
Suppose 1100 = -2*a + 13*a. Does 49 divide a?
False
Let o(h) = -7*h + 33. Is 6 a factor of o(-9)?
True
Let l(w) = 2*w**2 + 7*w + 8. Let f be l(-3). Suppose 0 = 3*y + 3*k - 5*k - 96, 2*k - 108 = -3*y. Suppose -f*n = -y - 121. Is 17 a factor of n?
False
Suppose 3*u - 6 = 6. Suppose 0*v + 316 = -u*v. Is 16 a factor of (-2)/(-8) + v/(-4)?
False
Suppose 4*l - 3*u + 30 = 5*l, 2*u = l - 20. Suppose -z - 5 = -2*k, 7 = -5*k + 4*z + l. Let a = k - -31. Is a a multiple of 4?
True
Let a(s) = 41*s**2 + 89*s - 510. Does 10 divide a(6)?
True
Suppose r = -s + 3, 0 = 3*s + 4*r + 6 - 16. Suppose s*i - 4*i = 8. Does 3 divide 1/i - (-33)/4?
False
Let c = 16 + -35. Let v = 91 + c. Is 18 a factor of v?
True
Suppose -3*l - w = -5*w - 175, -5*l + 3*w = -277. Is l a multiple of 2?
False
Let y = -11 - -14. Suppose -144 = y*j - 369. Is j a multiple of 25?
True
Is (6/(-4))/((5/1040)/(-1)) a multiple of 24?
True
Let u(c) = 13*c**2 - 3*c - 16. Let w be u(11). Is 9 a factor of w/24 + 2/(-4)?
True
Let c be 6*(-3 - (-92)/24). Is 231/c + 10/(-50) a multiple of 6?
False
Suppose p - 4*u = -11, u = -3*p + 6*u - 5. Is 2 a factor of p?
False
Let m(x) = -x**3 + 3*x**2 - x. Let h be m(3). Let r be 1*6/h - -6. Suppose -5*l - 7*g = -r*g - 235, 2*l + 4*g - 94 = 0. Is l a multiple of 25?
False
Let a = -1153 + 3379. Is 42 a factor of a?
True
Suppose -479 = -4*k - 335. Does 20 divide k?
False
Let k(s) be the second derivative of s**4/12 + s**3/6 + 2*s**2 + 8*s. Let q(u) = u**3 + 4*u**2 - 5*u - 4. Let f be q(-5). Is k(f) a multiple of 5?
False
Let j(z) = 4*z**2 - 20*z - 266. Is 31 a factor of j(-17)?
False
Is (((-12256)/(-28))/2)/(34/119) a multiple of 8?
False
Suppose -3*s + 7 = -2. Let i be (-4 - -3)*2 - s. Does 16 divide -3*i/(45/96)?
True
Does 9 divide (16/(-16))/((6/(-548))/3)?
False
Suppose -y - 15 = 2*y. Let m(j) = j**2 + j + 10. Let i be m(3). Let r = i + y. Is 13 a factor of r?
False
Suppose -m = -3*r - 600, 1756 = 13*m - 10*m + 2*r. Is 31 a factor of m?
False
Suppose -6*w + 7 + 5 = 0. Suppose 4*l + 12 + 24 = -4*k, -k = -w*l - 6. Does 11 divide ((-11)/k)/(11/264)?
True
Let h(t) = -2*t**3 - t**2 - 4*t - 5. Let o be h(-4). Suppose -v + 2*v - 83 = 0. Let l = o - v. Is l a multiple of 10?
True
Let q = -26 - -124. Suppose -q = -8*j - 18. Is j even?
True
Let w = 45 + -35. Suppose 2*n + 9 = -1, v = -n + w. Does 8 divide v?
False
Let r(p) be the third derivative of -p**6/120 + 13*p**5/60 + 7*p**4/12 + 5*p**3/2 + 2*p**2. Is 3 a factor of r(14)?
True
Let a = -48 + 81. Let q = a + -36. Is q/(3/(-51)*3) a multiple of 17?
True
Suppose -s - w = -126, -w + 153 = -2*s + 417. Does 10 divide s?
True
Let y(r) = -r**3 - r**2 - 2*r + 4. Let h be y(0). Let m(z) = 2*z**2 - z. Does 5 divide m(h)?
False
Let r(i) = -11*i + 3. Suppose 2*l = -5*p - 14, -l = l - 6. Let j be r(p). Suppose -4*a + 61 = -j. Is a a multiple of 9?
True
Let q(t) = 119*t**2 + 6*t + 3. Is 9 a factor of q(-1)?
False
Suppose -5*b + 25 = -2*x + 3*x, 0 = -4*x - 3*b + 83. Is 3 a factor of x?
False
Let r = -275 + 301. Is 13 a factor of r?
True
Let t(y) = 5*y**2 + 137*y + 76. Is t(-36) a multiple of 14?
True
Let v = -16 - 20. Let n = 38 + v. Suppose 0*w + 28 = 2*w - n*i, w + 2*i - 14 = 0. Does 14 divide w?
True
Let d = 16 + 20. Let k = 48 - d. Does 12 divide k?
True
Let m = -46 - 5. Let c = -36 - m. Let u = c + 14. Does 29 divide u?
True
Let o be (5/(5/6))/(9/6). Suppose 0 = -3*n - 2*n + 30. Suppose d + 46 = -3*z + n*z, -o*z - 5*d = -36. Does 3 divide z?
False
Let k be 18 + -3*20/15. Let r be 3/(-9) - (-194)/6. Let f = r - k. Is f a multiple of 9?
True
Let y(k) = -95*k - 502. Is 8 a factor of y(-10)?
True
Let o be 7/21*(3 - -6). Let z be (-3)/2*(-4)/3. Is 64/z + o/3 a multiple of 11?
True
Let m(p) = -4*p. Let t be 3 + -9 - 2/4*0. Is 6 a factor of m(t)?
True
Suppose 9 + 4 = j. Let w = 96 - j. Is 27 a factor of w?
False
Let l(i) = 3*i - 25. Let v be l(10). Suppose -1 = v*j - 36. Does 12 divide -4 + j + (18 - -1)?
False
Let k(u) = u**3 + 27*u**2 - 54*u + 159. Does 2 divide k(-29)?
False
Let k(p) = -4*p**3 + p**2 + 2*p - 2. Let l be k(1). Does 6 divide 0/l - (-13 - -3)?
False
Let y(c) = -2*c**3 + 2*c**3 - 5 - 6*c**2 - 8*c - 2*c**3 + c**3. Let f(k) = k**3 + 7*k**2 + 7*k + 1. Let l be f(-6). Is 10 a factor of y(l)?
True
Let f be ((-15)/(-10))/(2/(-56)). Let v = f - -168. Does 26 divide v?
False
Let v = 853 + -39. Does 11 divide v?
True
Suppose -c + 45 = 4*c. Let a = 6 - c. Is 11 a factor of 352/2*a/(-6)?
True
Suppose -l - 22*c = -19*c - 324, 4*l - 1240 = 2*c. Is 24 a factor of l?
True
Let v = -4 + -3. Let d(q) = -q**2 - 8*q - 2. Let l be d(v). Suppose -29 = -g - l*j, 2*g + j = g + 17. Does 7 divide g?
True
Let r be 3846/36 + 1/6. Let v = -76 + r. Is v a multiple of 12?
False
Suppose -3*r = -5*a - 8, -r + 8*a = 4*a + 2. Suppose -2*u - 576 = 4*u. Is 12 a factor of (r/8)/((-6)/u)?
True
Suppose -4*i - 3*n + 10 = -5*n, 5*i = -2*n + 8. Suppose -873 = -i*z - 3*z - 3*j, j - 523 = -3*z. Does 11 divide z?
False
Suppose 5*r = o - 37, 2*o + 8 = o - 4*r. Suppose -10*b - 10 = -o*b. Suppose -38 = -b*z + 12. Does 10 divide z?
True
Suppose 8*r - 6*r = 194. Suppose 134 = 5*l - 3*k - r, -3*l + 129 = 3*k. Is l a multiple of 9?
True
Let k = -520 - -256. Let i be (4/6)/(4/k). Let a = i + 104. Is a a multiple of 16?
False
Let d = -11 + 5. Let g be (-262)/d - (-9)/27. Suppose -5*j - 2*f + 76 = 0, -3*f + g = 3*j - 7. Is j a multiple of 8?
False
Let b = 11 + -14. Let c be 10/b*(-21)/14. Suppose -s + c*l = 3*s - 44, -3*s = -5*l - 28. Is s a multiple of 5?
False
Is (-3)/(-33) + (-221753)/(-77) a multiple of 80?
True
Let x be -108 + 2/4 + (-15)/(-6). Let a = x + 153. Does 12 divide a?
True
Suppose -7*r + 1137 = -179. Let d = 386 - r. Does 33 divide d?
True
Suppose 729 = 4*g + 4*v - 635, 3*g - 1013 = -5*v. Does 6 divide g?
False
Suppose -2*l + i - 200 + 1645 = 0, 2*l - 4*i = 1448. Is 19 a factor of l?
True
Let w = -12 + 16. Let h be 18/w - 4/8. Does 11 divide (-57)/(h/8*-3)?
False
Let h = -246 - -129. Let b = 206 + h. Is b a multiple of 15?
False
Let x(q) = q**3 - 4*q**2 + q - 6. Let f be x(5). Suppose f*j + 132 = 28*j. Is 2 a factor of j?
False
Suppose 0 = 10*v - 2649 - 1271. Is v a multiple of 28?
True
Let g be (1*6)/(5/(-5)). Let d(n) = -n - 4. Let j be d(g). Suppose v = j*v - 64. Does 19 divide v?
False
Let z = -246 - -312. Is 14 a factor of z?
False
Let w = -65 - -69. Suppose 0*a - 5*a = 0. Is 3 + 26 + a - w a multiple of 25?
True
Suppose -3*a + f - 2*f = -5, -3*a + 1 = 2*f. Let l(o) = 1 - 3 - 1 - o**2 - a + 7*o. Is l(4) a multiple of 5?
False
Suppose -3*t - 135 = -19*j + 16*j, -2*t = j - 54. Is 12 a factor of j?
True
Suppose 11*x - 2460 = -2*b + 7*x, 3678 = 3*b + 2*x. Is 8 a factor of b?
True
Suppose -3*q + 30 = -5*p + 2*q, 2*p = -2*q - 28. Let l(h) = h**2 + 9*h - 7. Let c be l(p). Let z = 31 + c. Does 25 divide z?
False
Let k(j) be the first derivative of 60*j**2 - 13*j - 3. Let p be k(5). Suppose 5*x + 2*y - p + 139 = 0, -1 = y. Does 14 divide x?
False
Suppose -4 = -h, 0 = -v - 8*h + 5*h + 846. Is v a multiple of 52?
False
Let y = 43 - 18. Let z be (-2)/10 + 930/y. Suppose 11 + z = 2*v. Is 7 a factor of v?
False
Is 4 a factor of ((-14)/(-10) - 2) + (-10444)/(-140)?
False
Suppose 0*p = p + 2. Let o = p - -20. Is 13 a factor of (-413)/(-6) + 3/o?
False
Does 15 divide 13022/14 - 1/7?
True
Suppose -5*c = 2*f + 121, -9 - 6 = 5*f. Let i(o) = o**2 + 11*o - 44. Is 29 a factor of i(c)?
True
Let c = 47 - -36. Does 4 divide c?
False
Let c(b) = -93*b + 72. Is 6 a factor of c(-2)?
True
Suppose -3*y - u - 62 = 0, -5*y + 0*u + 4*u - 92 = 0. Let c be (3/(-3))/(4/y). Is (3/c)/((-10)/(-1350)) a multiple of 27?
True
Suppose 11*d = 3*d + 33800. Is d a multiple of 13?
True
Suppose 4*w = -193 + 733. Does 9 divide w?
True
Suppose 3*p + 2*b - 6*b - 61 = 0, 71 = 4*p + 5*b. Suppose -14*i = -p*i + 510. Does 17 divide i?
True
Let y(d) be the second derivative of d**6/45 + d**4/2 - 4*d. Let k(m) be the third derivative of y(