+ 31*k + 3. Let t(n) = 11*n**2 + 62*n + 6. Let j(h) = 7*a(h) - 3*t(h). Is 7 a factor of j(5)?
False
Let u(p) = -p**3 - 4*p**2 + 10*p - 7. Let i be u(-6). Suppose 0 = i*d + 5*x - 1570, -x + 0 + 2 = 0. Does 24 divide d?
True
Suppose 2*z + 2 = m + 16, 0 = -3*z - 5*m + 8. Suppose 0 = u + z - 21. Suppose 9 = 3*g - u. Is 3 a factor of g?
False
Let a = 3219 + 1965. Is a a multiple of 12?
True
Let a(y) be the third derivative of -y**6/60 - 7*y**5/60 - y**4/4 + y**3/2 - y**2. Suppose 14 = 17*g - 20*g + r, -2*g - 6 = -4*r. Is a(g) a multiple of 15?
False
Suppose -5*s + 3*s = 3*d + 38, -5*s = 4*d + 53. Is (d/16*-626)/((-18)/(-24)) a multiple of 41?
False
Let w(d) = -d**3 + 4*d**2 + 47*d + 18. Does 19 divide w(-7)?
True
Suppose 6*l + 9 = k + 2*l, -k = -l - 3. Is (k*(9 - 0))/((-2)/(-12)) a multiple of 15?
False
Let s = -6843 - -4677. Is (s/9)/(24/(-36)) a multiple of 14?
False
Let t(u) = 46*u - 272. Let n be t(6). Is 14 a factor of 728 - (n - (11 - 7))?
True
Suppose 67*w + 6435 - 20974 = 0. Is w a multiple of 7?
True
Suppose 3*p = s + 131, -p - 3*s + 37 = 10. Let n be 784/p*(-3)/2. Does 7 divide n/(-10)*35/14?
True
Let k = -99 - -218. Let r = -100 - -32. Let j = r + k. Is j a multiple of 15?
False
Does 11 divide 4437/102*(48 + 2)?
False
Suppose -5*s + 122860 = 51*m - 49*m, -4*s + 4*m + 98260 = 0. Does 27 divide s?
True
Let t be 14/(-35) - 261/(-15). Let k = -14 + t. Suppose 122 = 2*s + k*l, 137 + 189 = 5*s - 3*l. Is s a multiple of 16?
True
Let s(o) = o**2 - 24*o - 283. Is 30 a factor of s(-53)?
False
Suppose -6 = -7*g + 6*g. Let u be 4 + -2 - g/3. Suppose u = 4*k - 168 - 28. Is 10 a factor of k?
False
Suppose 0 = 2*x - 2180 + 114. Let z = x + -633. Is 25 a factor of z?
True
Suppose -a - 796 = -5*a. Suppose 5*b - 371 = a. Is 38 a factor of b?
True
Let t = 245 - 358. Let x = -5 - t. Is 9 a factor of x?
True
Let w = 22 - 26. Let a = w - 4. Is 25 a factor of a*(4/(-5) + 468/(-40))?
True
Let u be (-2)/(-6) + (-6554)/87. Is 11 a factor of 11*-3*(-10)/u*-5?
True
Let y = 13 - -7. Suppose -2807 = -52*f + 2133. Suppose 19*l - y*l + f = 0. Is l a multiple of 33?
False
Let q(n) = 55*n**3 - 6*n**2 + 18*n + 4. Is 3 a factor of q(2)?
True
Let r(f) = 0*f + f**2 - 27*f**3 + 270 - f + 16*f**3 + 10*f**3. Is 18 a factor of r(0)?
True
Suppose 0 = 406*v - 418*v + 71388. Is v a multiple of 15?
False
Suppose 4*g + 1 = 3*s - 12, -2 = 2*g. Suppose 0 = 2*v + s*v - 15. Suppose 88 = 5*z + v*z. Is 2 a factor of z?
False
Let f = -4739 - -5219. Does 30 divide f?
True
Let z(c) = 3098*c**3 - 2*c**2 + 5*c. Is z(1) a multiple of 11?
False
Let l(z) = 6*z - 31. Let p be l(7). Suppose -p*j + 14*j + 54 = 0. Let b = 70 + j. Does 12 divide b?
False
Suppose 0 = 3*x + 4*a + 16, -4*x - 4*a - 20 = -0*a. Is 14 a factor of x - -2 - (1442 - 2)/(-5)?
False
Let j = -43 + 45. Suppose 9*o - 8*o - 2 = -j*a, -5*a = 3*o - 6. Does 2 divide o?
True
Let x(a) = 5*a - 3. Let k be x(1). Suppose -4*t = -2*s + 32 + 10, k*s - 15 = t. Let c(z) = -9*z - 11. Is 7 a factor of c(t)?
True
Let w(s) = 2*s**2 - 5*s - 4. Let x be w(-1). Suppose x*u + 0*u - 325 = d, 0 = -5*u - 5*d + 575. Is u a multiple of 20?
False
Let w = 164 - -1092. Is (w/2)/(-50 + 52) a multiple of 24?
False
Let w(p) = -p - 1. Let n be w(-3). Suppose -2*q + 106 = 2*u, 0 = -0*u + 5*u - n*q - 258. Let r = -1 + u. Is r a multiple of 17?
True
Suppose 4*z + 2*o - 2 = 0, 6*z - 3*z - 2*o = 19. Suppose 4*n + z*n = 175. Is n a multiple of 5?
True
Let m = 1135 - 1614. Let s = -368 - m. Does 41 divide s?
False
Is ((-12)/14)/(12/162288*-27)*3 a multiple of 3?
False
Let b be (-850)/(-10)*(2 - 1). Let y = 87 - b. Suppose -y*s - 71 + 421 = 0. Is 35 a factor of s?
True
Let w be (1*(-1012)/(-33))/(2/36). Is 62/(-341) + w/11 a multiple of 5?
True
Let t(r) = r**3 + 11*r**2 - 9*r - 3. Let g be t(9). Suppose -10*m + 2524 = -g. Is 29 a factor of m?
True
Let k be (-2)/2 - 223/(-2)*8. Suppose 8*f - k = -3*f. Suppose -11*d = -f - 249. Is d a multiple of 5?
True
Let k = -63 - -2029. Suppose 3*c + 1170 = -3*p + 6*p, -3*c = 5*p - k. Does 49 divide p?
True
Suppose -30*a = 5*c - 32*a - 30718, -1 = -a. Is 96 a factor of c?
True
Suppose -5*p - 49 = -2*r, -2*r + 4*p = r - 91. Let s = r - -109. Is 10 a factor of s?
False
Let i(u) = 9*u + 18. Let w be i(0). Suppose 0 = -24*k + w*k + 1176. Does 17 divide k?
False
Suppose 0 + 24 = -2*w + t, -w - 5 = 3*t. Does 3 divide w/(11/(-106))*4/8?
False
Is 31 a factor of (-38495)/(-9) + 70/70 + 4/(-18)?
True
Suppose 3*y = y + y. Let n be (9 - 9)*-1*(y + -1). Suppose n = 8*u - 23 - 57. Is u a multiple of 4?
False
Let t = -1576 - -3068. Let j = t - 829. Is j a multiple of 15?
False
Let s = 82 - 83. Is 42 a factor of ((-420)/(-50))/((-28)/30 - s)?
True
Let x = 16 + 168. Let r = x + -127. Is r a multiple of 3?
True
Let q(p) = -54*p**3 + 19*p**2 + 118*p - 25. Is q(-5) a multiple of 35?
False
Suppose -199 = -2*f - 1. Let x = -18 + f. Is x a multiple of 26?
False
Let y(a) be the first derivative of a**3/3 + 5*a**2/2 - 2*a + 13. Let q be y(-4). Is ((-28)/6 + 3)*90/q a multiple of 5?
True
Suppose 9*a - 2 = 8*a. Let s be (2 + (-36)/15)/(2/10). Does 18 divide 213 + (s - a - 0)?
False
Suppose 0 = -5*v + 2*v + 9. Suppose -2 = -v*s + 7, -3*j + 342 = 4*s. Does 11 divide j?
True
Let q be (-1 + -8)/(69/46). Is 67 a factor of 134/(-6 + (2 - q))?
True
Suppose 3*j = -15, 4*o - j - 23 = 2*j. Suppose s - q = o*q + 18, -3*q + 72 = 5*s. Let p(h) = -h**2 + 18*h + 19. Does 14 divide p(s)?
False
Let s = 1753 - 1149. Does 34 divide s?
False
Let j(x) = 5*x + 42. Let q(o) = -o**3 - 4*o**2 + 12*o + 6. Suppose -3*p - 5*g - 23 = 0, 7 = -2*p + 2*g + 3*g. Let m be q(p). Does 9 divide j(m)?
True
Let z(x) = 178*x + 2354. Is 13 a factor of z(55)?
False
Let i(q) be the first derivative of q**3/3 + 2*q**2 + 15*q + 124. Is 37 a factor of i(-12)?
True
Let k = -30 + 40. Let a be -3*(k/(-15) - 0). Is 12 a factor of ((-24)/(-15))/(5/300*a)?
True
Suppose 5*m - 3*o = 51870, -5*m + 2*m = -3*o - 31122. Suppose m = 5*p - 12021. Is 4/26 - (0 - p/39) a multiple of 23?
True
Let s(u) = 26*u + 12. Let q(v) = -16*v - 1. Let d be q(-1). Does 15 divide s(d)?
False
Let w(g) = -3*g**2 - 6*g - 15. Let a(b) = b**2 + b. Let z(n) = 4*a(n) + w(n). Let s(u) = 8*u - 200. Let k be s(24). Is 22 a factor of z(k)?
False
Let d(n) = 2*n + 15. Suppose 0 = -20*w + 15*w - 45. Let c be d(w). Let t(g) = -24*g + 5. Is 35 a factor of t(c)?
False
Suppose 30*n + 3360 = 38*n. Suppose -m + 2*i = -81, -5*m - 12*i + n = -7*i. Does 8 divide m?
False
Is (195/(-156))/(4/(-50926)) - (-3)/(-8) a multiple of 184?
False
Let o = -126 + 52. Let x = 233 - o. Is 43 a factor of x?
False
Let o(f) = -2*f + 2. Let j be o(-3). Let l be j/(-2) - (-6 - 143). Let x = -34 + l. Is x a multiple of 24?
False
Suppose -4629*b = -4633*b - 4512 + 27072. Is 60 a factor of b?
True
Let t = 628 - 628. Suppose t*h + 3459 = 4*c - h, 1722 = 2*c + 2*h. Is c a multiple of 45?
False
Let f(g) = g**2 + 18*g - 44. Let b be f(-20). Let h(l) = l**3 + 7*l**2 + 6*l + 3. Let i be h(b). Suppose i*z - 504 = 21*z. Is 11 a factor of z?
False
Does 21 divide 3668/393*(-2 - 67/(-2))?
True
Let i be 22420/170 - ((-6)/(-51))/(-1). Let m = i + -45. Is m a multiple of 14?
False
Suppose 5*j = -5*r + 13720, -9764 = -4*j - 5*r + 1212. Is j a multiple of 49?
True
Let g = 3187 - 2754. Is 21 a factor of g?
False
Let g be (245/49)/(2/(-224)*-1). Let f = g + -335. Does 45 divide f?
True
Suppose -15*c + 3*w - 14 = -16*c, -46 = -5*c - 3*w. Suppose -d = -c*d + 1225. Is 5 a factor of d?
True
Suppose -f - 516 + 4249 = 4*i, -930 = -i + 3*f. Is i a multiple of 5?
False
Suppose 2 = -5*p + 4*p + 2*n, 5*n = -p + 5. Is p - -3 - (-28 + -49) a multiple of 16?
True
Is (-140)/6*116580/(-469) a multiple of 40?
True
Suppose -3*p + 5*l + 12484 = 0, 112*p - 110*p + 3*l = 8310. Does 11 divide p?
True
Suppose -2*i = d + 4*d + 324, -i - 5*d = 162. Let w = i + 209. Is w a multiple of 7?
False
Let v(p) = p**3 - 31*p**2 - 208*p + 112. Is 10 a factor of v(42)?
True
Suppose 5*g - 16183 - 32062 = r, -4*g + 3*r = -38596. Does 82 divide g?
False
Let b(g) = -4112*g + 112. Is b(-3) a multiple of 32?
True
Does 158 divide ((1 + -2)/(18/8433))/(3/(-18))?
False
Let m(g) = 3*g + 17. Let o be m(-8). Let x be (-7)/(-4) + ((-377)/52)/(-29). Is (x/10)/(o/(-2485)) a multiple of 3?
False
Suppose 0 = -2*l + h, 4*h = 12 + 4. Suppose l*b - 177