of p(a)?
False
Suppose d + 3*n + 364 = 991, 4*d = -5*n + 2543. Let s = d - 355. Does 41 divide s?
True
Suppose -4*k + 18 = -0*k + n, -3*k - 2*n = -16. Suppose 2*g - k*g = -46. Is 15 a factor of g?
False
Let c(o) = o + 1. Let t(q) = -19*q + 2. Let k(p) = 4*c(p) - t(p). Let g be k(1). Is 15 a factor of (-5)/g + 466/5?
False
Does 16 divide 0 - (966/(-6) + (1 - -6))?
False
Let r(d) = 4*d**2 + d + 1. Let l be r(-1). Suppose l*p = 3*p + 12. Is (-2)/p - (-2651)/66 a multiple of 20?
True
Suppose -6*x + 1203 + 333 = 0. Does 16 divide x?
True
Let j = 30 - 15. Let a = 12 + j. Does 10 divide a?
False
Let m(i) = -i**2 - 6*i - 1. Let t be m(-5). Let y(v) = 4*v**2 - t*v**2 + 9*v**2 - 6 + v**3. Is y(-8) a multiple of 12?
False
Suppose -131*c + 208*c = 38038. Is 26 a factor of c?
True
Suppose -6*r = -5*r - 3. Suppose -5*s = -r*f - 481, 3*s + 0*s + 2*f = 281. Is 19 a factor of s?
True
Let n(h) = 9*h**2 + 3*h - 85. Is n(8) a multiple of 5?
True
Let v = 295 - 70. Is v/36*(-1 - -9) a multiple of 36?
False
Let q be -1*((-18)/2)/3 - -1. Suppose 2*m - 24 = 3*v, m + 0*v = -q*v + 34. Is 9 a factor of m?
True
Let d(u) be the third derivative of u**4/24 + u**3 + 4*u**2. Let p be d(-9). Is 22 a factor of p - -61*(2 - 1)?
False
Suppose j + 8 + 0 = 0. Let w = -5 - j. Suppose -3*v = 4*n - 35, 2*v + v - w*n = 0. Is 5 a factor of v?
True
Suppose 5*k = 5*i + 110, -10 = -8*i + 3*i. Let u = 302 - 215. Suppose -3*o = -u + k. Is o a multiple of 8?
False
Let c(a) = -14*a - 17. Let w be c(-5). Let u = 74 - w. Does 2 divide u?
False
Suppose 5*b + 5*g = 50, -50 + 15 = -5*b - 2*g. Suppose b*a + 4*z - 200 = 0, 4*a + 0*a - 119 = 5*z. Does 12 divide a?
True
Suppose -6 + 2 = -4*r. Is r - (-1)/(-3) - (-518)/6 a multiple of 19?
False
Let x be (-1797)/(-18) - 1/(-6). Let k = x + -4. Does 16 divide k?
True
Suppose 4*d + 16 = -3*z, -2*d - 8 = -2*z - z. Is 3 a factor of 117*(-12)/(-18)*(-2)/d?
True
Suppose 5*w = 8 + 2. Suppose -3*i = -w*i - 94. Suppose -2*p - 22 = -i. Does 9 divide p?
True
Let r be 3 + (-22)/(-8) + 3/12. Suppose j - r - 22 = 0. Is j a multiple of 5?
False
Let a = 559 + 326. Is 48 a factor of a?
False
Let b(s) = 3*s**2 - 2*s - 24. Is b(-4) a multiple of 32?
True
Suppose y - 308 = -d, d = 4*y + 209 - 1466. Let s = y + -142. Does 19 divide s?
True
Let r(a) = a**2 + a + 2. Let g be r(-1). Does 4 divide -4 - -1 - (-15 - (g - 3))?
False
Let h = 140 - 52. Is h a multiple of 88?
True
Suppose 4*g = 5*a - 95, -4*a + 5*g + 72 = -13. Is a a multiple of 10?
False
Suppose 0 = 15*g - 1645 - 1325. Suppose -13*j = -11*j - g. Is j a multiple of 9?
True
Suppose -7*z = -36281 + 5915. Does 19 divide z?
False
Suppose -2 = -3*x + 2*x. Suppose 2*w = -5*s - 1, -x*w + 4 - 10 = 0. Does 13 divide (-3)/(-1*s/13)?
True
Let d be (((-45)/3)/3)/(-1). Suppose 5*h = -4*b - 28, -d*h + 0 = -b + 18. Is (2 - -76)*h/(-6) a multiple of 13?
True
Let w(l) = 12*l - 1. Let s = 18 - 14. Suppose 3*i - 4*i = -s. Does 19 divide w(i)?
False
Let m(r) = -2*r - 7*r + 2*r + 2. Let k be m(-2). Let s = k - 11. Does 5 divide s?
True
Suppose -34 = -3*f - 7. Suppose 6*s = -f*s + 4200. Does 35 divide s?
True
Let c be 5642/279 + (-22)/18 + 1. Suppose -v = c - 131. Is v a multiple of 18?
False
Let h be -9*(0 + 69/(-9)). Suppose -2*y = -5*y + h. Is 23 a factor of y?
True
Let n(g) = 4*g**2 - 24*g + 11. Is n(-4) a multiple of 3?
True
Is 3 a factor of (-19)/5 - 24/120 - -18?
False
Let r(s) = 15*s + 11. Suppose 9*f - f - 56 = 0. Is r(f) a multiple of 29?
True
Suppose -3*c + 2*f - 3 = -7, 3*c + 4*f = 28. Suppose p + q - 31 + 407 = 0, -c*p - q = 1501. Is ((-2)/5)/(3/p) a multiple of 24?
False
Let f(k) = 283*k**2 - 4*k - 2. Is 5 a factor of f(-1)?
True
Let x(p) = 27*p**2 + 62*p + 307. Does 6 divide x(-5)?
True
Suppose 0 = -3*f - 4*n + 170, 5*f - 4*n = 70 + 160. Does 5 divide f?
True
Does 3 divide 93432/87 - (692/58 + -12)?
True
Let i = -115 + 349. Does 13 divide i?
True
Suppose 0 = 3*l - l - 2. Let f = l + 2. Is (-660)/(-36) + 2/f a multiple of 19?
True
Suppose 2*d + a - 82 = 0, -4*a = d - 0*d - 41. Suppose m - d = -0*m + 3*s, 2*s = 2*m - 78. Does 2 divide m?
True
Suppose -i = -6*i - 20. Let n(b) = -b**3 - 3*b**2 - b - 1. Is n(i) a multiple of 8?
False
Suppose 0 = 23*w - 21*w + 136. Let a = w + 164. Is a a multiple of 24?
True
Let o = -6 - -18. Suppose o = -0*w + w. Suppose -2*b + 5*b - w = 0. Does 2 divide b?
True
Let x(v) = -5*v + 84. Is x(-18) a multiple of 6?
True
Let c(x) = -6*x + 54. Does 4 divide c(0)?
False
Let b(s) = 4*s**2 - 34*s - 455. Is b(-15) a multiple of 5?
True
Let l be 1*((1 - 4) + 2). Let j be -1 + 2 - (l - 1). Suppose -j*o + 12 = -9. Is o a multiple of 2?
False
Does 16 divide (329472/(-286))/(1/(-3)*1)?
True
Let y(k) = -13*k**3 - 4*k**2 + 13. Does 41 divide y(-3)?
True
Suppose 2*w - 5*w + 6 = 0. Let n be (-12)/3 - 4/w. Let z = 20 + n. Is z a multiple of 7?
True
Let l(a) = a**3 + a**2 + 24. Let b be l(0). Let i be (b/10)/(2/5). Suppose 272 = 4*r - 5*j, -j + 296 = -2*r + i*r. Does 11 divide r?
False
Let u = -188 - -108. Let i = -31 - u. Is i a multiple of 4?
False
Let a = 21 - 18. Let r(v) = -v + 1. Let h be r(a). Is 5 a factor of 10/(h + (-15)/(-6))?
True
Let h be 19*(1*-2 - -1). Suppose 37*f - 36*f - 3*v = 31, -2*f = -4*v - 62. Let d = f + h. Is d a multiple of 4?
True
Suppose 4*d = -0*d + 12. Suppose z + 24 = 28. Suppose 5*a - d*u - 11 = 260, -z*a = 3*u - 233. Does 14 divide a?
True
Suppose -5*t - 5*n + 15 = 0, 0 = -3*t + 4*n + 13 + 3. Suppose v = -3*x + 2*x + 93, 3*x - 293 = t*v. Is x a multiple of 4?
False
Suppose 0 = j - 6*j - 5*p + 15, -3*j - 4*p + 13 = 0. Let b(h) = h**3 - h**2 - h. Let q be b(j). Let d(a) = -6*a - 1. Is 4 a factor of d(q)?
False
Let t be 0 - 5/((-15)/9). Suppose -2*o + 0*o = -3*c - 153, -2*c + 236 = t*o. Suppose -2*q + 0*q = -o. Is q a multiple of 16?
False
Suppose -2*q - 3*k = -146, 4*q = 4*k - 6*k + 308. Does 2 divide q?
False
Suppose -2*o = 5*n + 149 - 35, 2*o = -4. Let y = n + 28. Suppose 11*v = y*v + 520. Is 13 a factor of v?
True
Let m be (-1)/(-4) - (-790)/(-8)*-1. Suppose 7*r + 2*r = m. Is 3 a factor of r?
False
Let l(k) = 7*k**2 - 2*k + 7. Let d be l(-4). Let t = -73 + d. Does 9 divide t?
True
Is (5 - -22)*(-23)/(-1) a multiple of 27?
True
Suppose -m = -2 - 1. Suppose m*f = 6*f - 51. Is f a multiple of 17?
True
Suppose -2*s = -2*x - 3*s + 592, 0 = -2*x - 5*s + 576. Suppose x = 2*w + 2*y, -w = 3*w + 5*y - 597. Suppose -g = -j + 4*j - w, 2*j - 76 = 5*g. Does 16 divide j?
True
Suppose -2*k - 408 = 4*h - 6*k, 2*h + 2*k = -196. Let l = 11 - h. Is l a multiple of 37?
True
Let y(i) = 3*i**2 + 2*i + 3. Let c be y(-3). Let r(u) = c*u + u**2 - 4 - 24*u. Is r(-3) a multiple of 2?
False
Is 14 a factor of -8 + (-99)/(-9) - -288?
False
Is (2 - -10*124) + 0 a multiple of 10?
False
Let x(b) = b + 12 + 15*b - 7*b + 9*b. Is x(11) a multiple of 35?
True
Suppose -y + 0*x = -4*x - 15, 2 = -x. Let q = 9 - y. Does 5 divide ((-52)/q)/(-1) + -1?
True
Let k = 9 + -16. Let c(u) = u**3 + 8*u**2 + 2*u - 5. Let q be c(k). Let v = -5 + q. Is v a multiple of 17?
False
Let k(o) = 3*o**3. Let d be k(1). Suppose 5*n - 13 + d = 0. Suppose -4*l + 5*y - n*y = -345, -5*l = y - 417. Does 14 divide l?
True
Let j(u) = 3*u**3 - 10*u**2 + 5*u - 8. Let t be j(7). Let v be t/10 - 4/(-10). Let h = 148 - v. Is h a multiple of 27?
False
Suppose p - 5 = 0, -1684 = -2*v - 0*v + 4*p. Is 12 a factor of v?
True
Let l(g) = 2*g**3 + 36*g**2 + 23*g + 22. Is l(-17) a multiple of 3?
False
Suppose x - 1658 = 5*g, 4*g - x + 1333 = 2*x. Let s = g - -478. Suppose -t + 4*t - s = r, -2*t + 5*r + 85 = 0. Does 10 divide t?
True
Suppose 5*a + 14 + 68 = -3*v, 4*a + 4*v + 72 = 0. Let h = 28 + a. Is h a multiple of 11?
False
Suppose 45 = 3*d + 3*f, 36 = 4*d - 4*f - 8. Let z(b) = 2*b**2 - 22*b - 10. Does 6 divide z(d)?
True
Suppose p - 25 = -4*p, s - 3*p = 465. Does 12 divide s?
True
Suppose -5*t = -5*m - 2780, 0 = t - 4*m - 426 - 142. Is 4 a factor of t?
True
Suppose 5*u - 1791 = -291. Is u a multiple of 12?
True
Suppose -2*y - 6 = 30. Let u be ((-2)/(-3))/((-6)/y). Is 30 a factor of ((-75)/(-45))/(u/36)?
True
Let a(o) = -2*o**3 - 11*o**2 + o + 35*o**2 + 16 - 3*o + 1. Is 40 a factor of a(11)?
False
Suppose 59*x = 61*x + 3*p - 482, -5*x + 1205 = -p. Is 5 a factor of x?
False
Let o(h) = 5*h + h**2 + 10*h**2 - 39*h**3 + 40*h**3. Is 10 a factor of o(-10)?
True
Let 