8?
True
Let g(z) = -z**3 + 36*z**2 + 35*z + 80. Let l be g(37). Suppose -5*i = m - 524, -i + 2172 = -2*m + l*m. Is m a multiple of 16?
True
Let m = -395 - -399. Suppose m*a + 2425 = 7225. Is a a multiple of 24?
True
Suppose 3*f - 13 = -2*n - 3, -n = -2*f + 2. Suppose n*h + 3*x - 1785 = -2*x, 897 = h + x. Suppose 144 = -7*l + h. Is l a multiple of 27?
True
Let v(m) = m**3 + 18*m**2 - 13*m + 28. Let b be v(-19). Let d = b + 143. Suppose 2*o + 2*i + i = d, 0 = -5*o - i + 175. Is 19 a factor of o?
False
Let x(i) be the third derivative of i**5/60 - i**4/8 + 3*i**3 + 431*i**2. Let z = 3 + 3. Does 4 divide x(z)?
True
Suppose 0 = 5*l + 230*v - 233*v - 4715, 4*l - 3775 = 3*v. Is l a multiple of 71?
False
Suppose 0*j + j + 7 = 3*f, 0 = 4*f + 4. Let h = -53 - -54. Is 14 a factor of 9*((-5)/3)/(h/j)?
False
Let a(o) = 4*o - 17. Suppose -2*g + 10 = -0*g. Let f be a(g). Suppose -f = 2*r - 33. Is 5 a factor of r?
True
Suppose -2*l = -6*l + 8. Suppose 0 = -q - c - 2*c + 449, l*c - 451 = -q. Is 35 a factor of q?
True
Suppose 86*u = -139*u + 1616175. Is 14 a factor of u?
False
Suppose 4*y - 4 = 0, 7*f - 6*f - 1953 = 5*y. Suppose -f = -8*s + 2562. Is 14 a factor of s?
False
Let w be (8/6 - 2)/(46/(-483)). Let q(u) = -u**2 + 20*u - 59. Does 4 divide q(w)?
True
Suppose -2*m = 16, -q + 1140*m - 1138*m = -25210. Is 21 a factor of q?
False
Suppose 0 = 2*j + 5*i - 3 + 19, -5*j + i = -14. Let u be ((7 + -7)/(j + -3))/1. Suppose -3*x - 3*w + 75 = 0, -2*x + u*x + 50 = 5*w. Does 5 divide x?
True
Let h be (-2)/(-6) + (6 - 259/21). Is 35 a factor of 1/((-15)/h)*630?
False
Suppose 51 = 36*w + 195. Is (w + -485 + 0)*(-20)/30 a multiple of 91?
False
Let u = -281 - -106. Let c = 205 + u. Does 5 divide c?
True
Suppose q + 4*m = 3*m + 7, 4*m = 2*q - 2. Suppose -5*s - 2*h + 16 = -0*h, q*s - h = 7. Suppose g - s = 0, g + 1088 = 5*z + 5*g. Is z a multiple of 11?
False
Let i(x) = 44*x**3 + x**2 - 1. Let w be i(2). Suppose y + w = 3*h, -6*h = -5*h + 4*y - 127. Is h a multiple of 6?
False
Let r be 39/(-52) + 15/4. Let c be (-1)/(1/(-4)*3/r). Suppose -3*j + 49 + 130 = -5*f, j - c*f = 69. Is j a multiple of 12?
False
Suppose 16*m = -266 - 1878. Let p = m + 138. Is 28 a factor of (2/(p/(-53)))/((-101)/808)?
False
Let x(q) = -2*q**3 - 17*q**2 - 7*q + 12. Let r be x(-8). Suppose 0*h + 119 = 4*a + h, r*h + 4 = 0. Is a a multiple of 15?
True
Let q(w) = 2*w + 16. Let o(s) = s**3 - 22*s**2 + 20*s + 15. Let b be o(21). Let i be q(b). Is 4 a factor of (-5 + i)*(-1 + -19)?
True
Let m(x) = x**2 - 21*x - 16. Let n be m(22). Suppose -n*j = -250 - 20. Is j a multiple of 2?
False
Let n = 12632 + 16342. Does 132 divide n?
False
Let k(w) = 3*w**2 + 42. Suppose 4*r + 34 = 10. Does 50 divide k(r)?
True
Suppose 6*y = -21 - 3. Let l = y + 7. Suppose -b + 4*b = -l*u + 39, u - 3*b - 1 = 0. Does 9 divide u?
False
Let q be 159/(-9) + (-2)/6. Let r(g) = 2*g + 28. Let z be r(7). Let d = z + q. Does 10 divide d?
False
Let g(j) = -915*j**3 + 8*j + 14. Does 60 divide g(-2)?
False
Let y = -225 - -230. Suppose 5*s - 121 = -4*r + 545, -y*s - 686 = -4*r. Does 21 divide r?
False
Suppose -b - 8 = 0, 53260 = 22*h - 19*h + b. Does 92 divide h?
True
Suppose 0 = -2*j + 3*j + 5, 2*j = n - 25. Suppose -n*g + 39*g - 2280 = 0. Is g a multiple of 2?
False
Suppose -7*x - 45126 = -b - 12*x, 6*b + x = 270814. Does 104 divide b?
True
Let r(t) = t**2 + 9*t - 6. Let a be r(-10). Suppose 38 = -k + m - 6*m, 3*k + a*m + 169 = 0. Let j = 80 - k. Does 15 divide j?
False
Suppose -100*d = -102*d + 32. Suppose -366 = -d*g + 466. Is g a multiple of 4?
True
Suppose -6*b + 395 + 523 = 0. Let h = b - -52. Is 3 a factor of h?
False
Let y = -7 + 12. Suppose -4*z + 15 = -y*a, -5*z = -0*a + 3*a + 46. Is 13 a factor of (32 - 1) + (a - -3)?
False
Suppose 9*u + 2527 = 2*u. Let k = u + 1621. Is 30 a factor of k?
True
Suppose 0 = -2*t - 3*f + 2973, -764 - 733 = -t - 3*f. Is 9 a factor of t?
True
Suppose -48*j - 9560 = -56*j. Let y = 2598 - j. Is y a multiple of 61?
True
Let n = 3473 + -719. Is 51 a factor of n?
True
Suppose -8*v + 601 + 343 = 0. Let s = v + -114. Does 4 divide s?
True
Does 13 divide -1 - (-11 + (-42)/(-6)) - -303?
False
Does 13 divide ((104040/35)/(-3))/(3/(-21))?
False
Let d(w) = -w**3 - w**2 - w - 1. Suppose -11*q + q - 10 = 0. Let m be d(q). Does 7 divide (-12)/42 - (m - 737/7)?
True
Let f(n) be the second derivative of -n**6/360 + 3*n**5/20 + n**4/4 + 17*n**3/6 - 6*n. Let j(a) be the second derivative of f(a). Is j(10) a multiple of 13?
False
Suppose 3*n - 2*x = 8759 + 4341, n - 2*x - 4372 = 0. Is 105 a factor of n?
False
Let n(f) = 3*f**2 + 238*f - 1973. Is 55 a factor of n(102)?
True
Does 16 divide 4229 - ((-2)/1 - (-117 - -121))?
False
Suppose 29*d - 30*d = 3*m - 13781, 0 = -d - 4*m + 13788. Is d a multiple of 4?
True
Suppose 2*i - 57650 = -2*q, -5*i + 1659*q + 144174 = 1657*q. Is i a multiple of 28?
False
Let s(a) be the first derivative of -15*a**2/2 + 3*a - 18. Let b be s(-3). Let p = -28 + b. Is p a multiple of 10?
True
Let o(y) = -15*y - 1 + 28 + 37*y**2 + 29*y**2. Is 5 a factor of o(2)?
False
Let k be 2 - -139 - (-5 - -19)/(-7). Let u = -24 + k. Does 10 divide u?
False
Let f(i) = 56*i + 52. Let j be f(9). Let k = j - 315. Is k a multiple of 15?
False
Suppose 910 = -7*h - 3*h. Let f = h + 95. Is 12 a factor of 10*114/48 + 1/f?
True
Let z(w) = -12*w + 3*w**2 + 13*w - 2*w**2 - 2*w**2. Let r(x) = -3*x**2 - 9*x - 31. Let h(f) = -r(f) + 2*z(f). Does 13 divide h(-14)?
False
Is 11 a factor of (((-11)/(-110))/((-2)/3585))/((-3)/44)?
True
Let h = -57431 - -81453. Does 42 divide h?
False
Suppose -2*g + 10048 = -2*m, -5016 = -4730*g + 4729*g - 3*m. Does 32 divide g?
False
Suppose -3*c + 24 = 3*z + c, -12 = -4*c. Suppose 3910 = -z*h - h. Is 14 a factor of (-7)/(-28) - h/8?
True
Let o(n) = 32 + n**2 - 9*n + 15*n + 3*n. Suppose 4*m + 5*i - 2*i + 25 = 0, m + 10 = 3*i. Does 3 divide o(m)?
True
Let c = 27449 - 11597. Is c a multiple of 6?
True
Let r(u) = u**2 - 8*u - 59. Let z be r(7). Let q = z - -150. Is 6 a factor of q?
True
Suppose 75*k - 242662 = 268988. Does 18 divide k?
True
Suppose -2 = 2*l + 3*j, 3*j - 2*j + 4 = 0. Suppose l*o = 6*o - v - 34, 5*o - 142 = -2*v. Is 4 a factor of (24/5)/(o/100)?
True
Suppose b - 7 + 5 = 0. Does 47 divide b + (-5 - (-10 - -3)) + 605?
False
Let h = 10 + -7. Suppose 1 = o + k, o = k - h + 2. Does 7 divide (0 + 1 - -81)/(o - -2)?
False
Let n = 269 + -265. Suppose -n*s - 81 = -2*v + 107, 0 = 2*v + 2*s - 194. Does 16 divide v?
True
Let w(n) = 25*n**2 - 10*n + 23. Let v = -144 - -149. Is w(v) a multiple of 23?
True
Let j = -3456 + 1019. Let r = 3596 + j. Is 54 a factor of r?
False
Suppose k + 7*n = 5*n + 2, -4*k - 5*n + 8 = 0. Suppose k*y + 4*w - 1206 = -206, -3*w = -y + 525. Is y a multiple of 24?
False
Let a(j) = 2*j + 11. Let w be a(-4). Suppose -248 - 234 = -w*n + 2*q, -316 = -2*n + 4*q. Let f = n - 108. Is f a multiple of 6?
True
Let h(b) = 99*b + 3240. Is 18 a factor of h(66)?
True
Suppose -3*l - 51 = 114. Let q(g) = -92*g - 389. Let b be q(-5). Let u = b + l. Is 16 a factor of u?
True
Let d(m) be the second derivative of m**3/6 + 6*m**2 + 2*m. Let u(w) = -175*w - 1037. Let a be u(-6). Is 18 a factor of d(a)?
False
Let h(s) = -2*s**3 - 73*s**2 + 183*s - 29. Does 3 divide h(-39)?
False
Suppose -2*x - 2*x + 246 = -h, x = 4*h + 54. Let n = 67 - x. Suppose 0 = 3*r - n*r + 142. Does 13 divide r?
False
Let b = -428 + 429. Is b*(45 - (-1 - -7)) a multiple of 39?
True
Suppose -13*p = 62572 - 188620. Does 10 divide p?
False
Suppose 0 = 11*j - 10*j - 71. Suppose 0 = 3*l + j - 191. Is l a multiple of 14?
False
Suppose 5*u - 417 - 68 = 2*h, 3*h - 291 = -3*u. Let f = 107 + u. Is 68 a factor of f?
True
Suppose u = -2*p + 5035, -u + 147*p = 143*p - 5041. Is u a multiple of 64?
False
Let d = -686 + 692. Let m(p) = p**3 + 6*p**2 + 22*p + 8. Is 26 a factor of m(d)?
True
Let y(q) = q**2 - 3*q - 3. Let f be y(6). Let l be 1/(1/f) - 4. Let u = l + 31. Is u a multiple of 7?
True
Suppose -24 + 20 = -n. Suppose -1465 = -3*h + 4*p, 8*p = -n*h + 4*p + 1944. Suppose -5*m = -0*m - 2*f - h, -5*f = -5*m + 490. Does 24 divide m?
False
Let h(b) = 14*b**3 - 8*b**2 + 11*b - 7. Let z be h(4). Suppose -281*j = -286*j + z. Is 7 a factor of j?
True
Suppose 18947 - 5467 = 20*t. Suppose 2*u - 7*z = -12*z + t, -u + 3*z + 315 = 0. Does 20 divid