tor of p?
False
Let w be ((-2)/3)/(5/(-30)). Suppose 0 = 5*n + 81 + w. Is 34 a factor of (-4)/(18/9 - (-36)/n)?
True
Let h = 212 + -211. Let i(b) = 670*b**2 - 3*b + 5. Is 32 a factor of i(h)?
True
Let w(c) = -8*c**3 + 5*c**2 - 10*c - 9. Let h be w(-3). Let q = 562 - h. Is 20 a factor of q?
True
Suppose -3*x + 27 = -69. Suppose -t - 1 = x. Let i = t + 64. Does 11 divide i?
False
Let x be ((-164)/20 + -2)*-15. Let n = x + -73. Let o = -47 + n. Is 11 a factor of o?
True
Is (-108958)/(-15) - (-604)/4530 a multiple of 28?
False
Suppose 0 = -12*s + 17 + 1351. Is 6 a factor of s/(7 + -5) - (1 + 0)?
False
Let y(i) = 3*i + 69. Let q be y(-23). Let j be 790/20*(-2 + q). Let p = j + 169. Does 18 divide p?
True
Suppose -50*n = -40*n + 4910. Let l = n + 507. Is l a multiple of 8?
True
Let v(c) = c**2 - 4*c + 2. Let l(p) = 41*p - 192. Let a be l(5). Is 3 a factor of v(a)?
False
Let s(j) = j + 20. Let z be s(-14). Let m be 1*(-9)/6 + z/4. Suppose m = 3*p, -3*p + 86 + 46 = 4*i. Is i a multiple of 11?
True
Suppose 8*r - 9*r - 30 = -4*h, 3*h - 25 = 2*r. Suppose 4*y + 2823 = h*y. Is y a multiple of 55?
False
Let g(b) be the third derivative of -b**6/24 - b**5/60 + 5*b**4/24 + b**3/2 + 196*b**2 + 1. Suppose -7 + 3 = 2*v. Is g(v) a multiple of 11?
False
Is 129 a factor of (-29616)/14*3577/(-2044)?
False
Let m(a) = a**3 - 6*a**2 + 2*a - 10. Let y be m(6). Let s(u) = 3*u**3 - 2*u**2 - 4*u + 5. Let q be s(y). Suppose q*h - 16*h + 411 = 0. Does 12 divide h?
False
Suppose 0 = -2*f - 6*l + l + 2, -f + l = 6. Let t(m) = -m**2 - 7*m - 7. Let y be t(f). Suppose -5*o = -30 - y. Is 7 a factor of o?
True
Let q(m) = 5*m + 47*m**2 - 13*m**2 + 14 - 7 - 1. Is q(-2) a multiple of 22?
True
Let g(l) = 21*l + 51. Let y be g(8). Let o = y + -184. Does 2 divide o?
False
Suppose 0 = -5*v + 3*v + 5*p - 12, 0 = 3*v + 4*p - 28. Does 20 divide 2/5 + 4904/40 + v?
False
Suppose -4*r = -3*r. Suppose -2*i + 60 = -r*i. Is 3 a factor of (-2 - -1)/((-5)/(i/2))?
True
Let y be 56/(-26) + 2 + (-1188)/(-286). Suppose -6 = -y*h - 6. Suppose h = 6*a + a - 42. Is a even?
True
Suppose -3*x = -2*l - 15, -6 = -x - l - 1. Suppose -x*d + 3*d + g + 462 = 0, -4*d = g - 924. Is d a multiple of 46?
False
Suppose 54360 = -248*o + 258*o. Suppose o = 6*s + 1524. Is 28 a factor of s?
False
Let o = 18 + -10. Let j(v) = v + 7*v**2 - 2 - 3*v**2 - 2*v**2. Is j(o) a multiple of 38?
False
Let h = 229 - 213. Let x = 116 + h. Is 25 a factor of x?
False
Let n(m) = m**3 + 24*m**2 + 25*m - 126. Is 32 a factor of n(-13)?
True
Suppose -167*c - 85644 = -185*c. Is c a multiple of 130?
False
Let w(a) = 576*a**2 + 525*a - 3121. Is 96 a factor of w(6)?
False
Is ((-1601428)/1526)/(4/(-14)) a multiple of 57?
False
Let n = -192 - -293. Suppose 3 = -7*v + n. Does 2 divide v?
True
Let f be 80/(-15)*(12 - 0)*-1. Let w = f - -314. Does 18 divide w?
True
Let n = 134 + -27. Let a be 2 - (n/7 + 2/(-7)). Let g(h) = -h**3 - 11*h**2 + 15*h + 1. Is 13 a factor of g(a)?
False
Let l be 3484/(-65) - (6/(-10) - -1). Let j = 3 - l. Is j a multiple of 18?
False
Let o(m) = 7*m**3 + 11*m**2 - 37*m + 22. Is o(8) a multiple of 27?
False
Suppose -h - 5*q = -6*q + 32, 4*h + 116 = -2*q. Let l = -30 - h. Suppose l = 4*r - 69 - 43. Does 4 divide r?
True
Suppose -3*z = -2*d + 20230, -46543 = -3*d - 2*z - 16198. Is d a multiple of 35?
True
Does 29 divide -10 + 9 + (60/(-14))/((-2)/1708)?
False
Let h = 42351 + -21243. Does 13 divide h?
False
Let r = 25777 - 6988. Is 10 a factor of r?
False
Suppose 0 = -36*g + 1146313 - 131991 + 454262. Is 13 a factor of g?
True
Let h = -90 - -111. Suppose q = -3*a - h, -3*q - 21 = -a + 3*a. Let t(w) = w**2 + 3*w + 11. Is t(a) a multiple of 2?
False
Suppose v + 3*q + 0 - 9 = 0, 0 = -v - 4*q + 10. Suppose -v*k = -0*k - 42. Suppose -k = -d + 2. Does 3 divide d?
True
Suppose -v - g - 196 = -909, -3*g = -2*v + 1406. Let u = v - 493. Is u a multiple of 18?
True
Suppose 5*f + 76 - 3566 = 0. Let y = f - 1051. Let x = y - -506. Is 12 a factor of x?
False
Let c(i) = i**2 - 13*i + 34. Let j be 7/2 - 2/(-4). Suppose -4*p = 5*n - 50, -90 = 2*n - 7*n + j*p. Is 24 a factor of c(n)?
True
Suppose 7*i + 3*h = 4*i + 6, -3*i + 4*h = -41. Suppose 0 = i*j - 4114 + 425. Is j a multiple of 17?
True
Let x = -14665 - -85093. Is 12 a factor of x?
True
Let l be 79/(-9) - 7/(189/6). Let w be ((-9)/2)/(l/192). Let v = -33 + w. Does 12 divide v?
False
Let g(o) = -126*o + 2762. Does 167 divide g(-168)?
False
Suppose -2*q + 10 = 0, -4*w + 880 = w - 2*q. Suppose -2*b + 267 = 3*u + 3*b, 2*u - w = -b. Is 13 a factor of u?
False
Let d(h) = -34*h + 241. Let f be d(7). Suppose 5*r + f*r - 6600 = 0. Is r a multiple of 15?
True
Let v(w) = -22*w - 310. Let h be 2/(-16) - (-4941)/(-216). Does 4 divide v(h)?
True
Does 89 divide ((-4)/13)/(-2) - (-11909766)/858?
False
Is 4 a factor of (-36)/7 + 450/(-525) - -3629?
False
Let n = 16 - -144. Let b = n - 96. Does 6 divide b?
False
Suppose -4*w + 5*u - 517 + 5494 = 0, 4*w - 4968 = -4*u. Is w a multiple of 4?
False
Let j = 799 + 43. Let p = -403 + j. Is 42 a factor of p?
False
Let f(m) = 498*m - 2367. Is f(6) a multiple of 9?
True
Let h(b) = -4*b**2 - 2*b + 4. Let p be h(7). Let u be -349 + 1 + 28 + -34. Let g = p - u. Is 27 a factor of g?
False
Suppose 3*j = -10 - 11. Let s(d) = -d**3 + 16*d - 7. Does 8 divide s(j)?
True
Suppose -10214 = -17*m + 9642. Does 6 divide m?
False
Let d(q) = 18*q - 141. Let b be d(8). Suppose 4*u = -2*k + 1106, 4*u + 483 = b*k + 1594. Is u a multiple of 8?
False
Let v(a) = 15*a**2 - 5*a - 809. Is v(35) a multiple of 17?
True
Suppose -5*h + 4145 = -5105. Suppose 3*f + 473 = y - 0*f, -4*y + h = 2*f. Is 29 a factor of y?
True
Suppose 3*i - 13 = -16. Does 6 divide 15/(-3) + 87 + i?
False
Does 41 divide 164*23 - (12/(-9 + -3) + 1)?
True
Let b = -275 - -422. Suppose 0 = -b*u + 152*u - 885. Is 15 a factor of u?
False
Let s = -22 + 28. Suppose -858 - 540 = s*w. Does 39 divide (-1 + w)*(-6 - -5)?
True
Does 4 divide (-323068)/(-102) - (-2 - 16/(-12))?
True
Let l(m) = m**3 - 6*m**2 + 6*m - 6. Let k be l(4). Let j = -8 - k. Suppose -j*n = -y - n + 35, -5*y + 115 = -5*n. Is 4 a factor of y?
True
Let l(q) = 4*q - 11. Let x be l(4). Suppose -x*m - a = -1319, 0*m = m + 4*a - 279. Suppose -3*z + m + 88 = 0. Is z a multiple of 13?
True
Is (-37 + 109)*(-9)/2*-1 a multiple of 18?
True
Let s be ((-598)/69)/((-1)/42). Let l = s - -31. Does 10 divide l?
False
Suppose 0 = -21*a + 379227 - 105366. Is 21 a factor of a?
True
Let d(c) = -c**2 - 29*c + 156. Is 33 a factor of d(-22)?
False
Let d = -41 + 38. Is 12 a factor of 417 + -3 + -5 + 4 - d?
False
Suppose 0 = -2*w + 258 - 74. Suppose 5*j - 5*m = 265, -2*j + 29 = 5*m - 112. Let s = w - j. Is 5 a factor of s?
False
Let s(o) = -3*o**3 + 18*o**2 - 21. Let n(g) = -g**3 + g**2 - 1. Let h(z) = 2*n(z) - s(z). Does 3 divide h(16)?
False
Let k(w) be the first derivative of w**2 + 10*w + 5. Let c be k(-5). Suppose c*b - 23 = -j + b, 5*j - 117 = 3*b. Does 7 divide j?
False
Suppose 0 = 4*k - 8, k - 1 = 4*p - 15. Suppose -p*q - q + 48 = -h, -h + 32 = 3*q. Is 6 a factor of (5/q)/(2/84)?
False
Suppose 12 = -3*z, -v - 29*z - 14 = -30*z. Suppose 5*q + 0 - 85 = 0. Let n = q - v. Does 6 divide n?
False
Let j = -230 - -240. Suppose -15*p + j*p = -4380. Is 73 a factor of p?
True
Suppose -44*d + 3087 = -35*d. Suppose -3*s + 2*a - d = 0, 0*s = s - 3*a + 126. Let i = s - -144. Is i a multiple of 11?
True
Let u(r) be the third derivative of 0 + 0*r + 10*r**2 - 1/12*r**4 + 1/60*r**5 + 1/2*r**3. Is 11 a factor of u(-6)?
False
Let n be ((-24)/10)/((-8296)/920 - -9). Let i = 481 - n. Is 49 a factor of i?
True
Let i(x) = -x**2 + 22*x - 9. Let g be i(21). Let t(q) = -3*q + 13. Let n be t(g). Let d = 5 - n. Does 3 divide d?
False
Suppose 0 = 3*l - 637 - 509. Suppose 0 = -8*s - l - 274. Let a = s + 106. Does 13 divide a?
False
Suppose 5 = -0*h + h. Suppose 3*x + 4*p = 134, -h*p = 5*x - 2*p - 216. Does 8 divide (-4)/((-4)/(-3)) + x + 9?
True
Let n = -11150 + 12181. Does 9 divide n?
False
Let t = -78 - -84. Let r be (-16)/(-1 - -5) + t. Suppose -r*u + 402 = 4*u. Is 19 a factor of u?
False
Suppose 29*d + 9*d - 802466 = -5*d. Is d a multiple of 43?
True
Let y(d) = -d**3 - 10*d**2 + 6*d + 20. Let x be y(-13). Let g = x + -152. Does 13 divide g?
False
Suppose 0 = 4*s + u + 2*u - 24, -12 = -2*s - 2*u. Let c(g) = 5