
Let q = -12 + -18. Let j be (-39)/(-6) - q/(-20). Is ((-44)/j)/(7/(-140)) a multiple of 10?
False
Suppose -8*j = 65*j - 4133428 + 900769. Does 9 divide j?
False
Suppose 0 = 18*d - 1 + 55. Does 8 divide (-21820)/(-50) + d/(-5)?
False
Let m be -1 - (-4 + 0 + -2). Suppose -3*h - 239 = -2*p, m*p = -2*h - 188 + 35. Let r = -5 - h. Is r a multiple of 11?
False
Let c(t) = -5387*t - 576. Is c(-6) a multiple of 13?
True
Let q be 4 + (4 - (4 - -1)). Suppose 0 = q*m + 2*m - 190. Suppose -p - 76 = -2*y, -28 - m = -2*y - 4*p. Is y a multiple of 6?
False
Let z(b) be the second derivative of 11*b**4/4 - 31*b**3/6 - 11*b**2 + 59*b. Does 14 divide z(-5)?
False
Let m be 1/10 - 3478/(-20). Let d be 2/(-3) - m/9. Does 9 divide ((-5)/2)/(2/d)?
False
Suppose 3*s - 3*d = -2*d + 30, 0 = 5*s + 3*d - 36. Suppose 0 = 4*h + 4*o - s*o + 101, h = -2*o - 9. Let k = h + 37. Is k a multiple of 6?
True
Is 24 a factor of 3490430/145 + 4/58?
True
Suppose 2*q - y = -9, 6*y - 11 = -2*q + 3*y. Let r be -388 + (4/(-6) - q/3). Is 10 a factor of r/(-20) - (-2)/(-5)?
False
Let k(l) = l**3 + 13*l**2 - 9*l - 28. Let x be k(-13). Let b = -16 - -21. Suppose m + b*w = x, 3*m = -w + 304 - 51. Does 28 divide m?
True
Let o(t) be the third derivative of 5/2*t**3 + 1/120*t**6 - 1/4*t**4 + 24*t**2 + 0 + 1/10*t**5 + 0*t. Is o(-7) a multiple of 2?
True
Let j = -34 + 37. Suppose j*a + 3*y = 3231, y = a - 2*y - 1093. Does 17 divide a?
False
Suppose 182 = 14*a - 13*a. Let y = a - 94. Suppose 2*f - y = 4*d, 5*f + 4*d = 143 + 21. Does 4 divide f?
True
Suppose -5*g - 5*o - 50 = 0, -48 = 4*g - 3*o - 8. Let p be g/((-2)/(-2)*-2). Suppose p*k - 370 = -30. Is k a multiple of 34?
True
Let z = 369 + 815. Is 11 a factor of z?
False
Suppose 2*o - p = 24316, -2*o + 98*p = 96*p - 24324. Is o a multiple of 59?
True
Suppose -57*p - 10070 = -38*p. Let r = p + 723. Is r a multiple of 19?
False
Let w be (-2)/11 + (-2254)/(-539). Let s(i) = i**3 - i**2 + 6*i - 3. Let j be s(4). Suppose 27 = w*l - j. Is l a multiple of 15?
False
Suppose 46*d - 48*d - r = -388, -2*d - 2*r = -394. Is 2 a factor of d?
False
Let w(u) = u**3 + 28*u**2 + 3*u + 94. Let k be w(-28). Let p(z) = 43*z - 389. Does 2 divide p(k)?
False
Suppose -3*i + 0*i = -5*d + 8958, 0 = -4*d + 3*i + 7164. Does 69 divide d?
True
Let d be 2/(-11) - 3312/(-66). Suppose -d = -4*o + 254. Suppose -65 = -3*r + o. Is 47 a factor of r?
True
Suppose b + 22 = -b + 2*h, -b + 4*h = 26. Let w(i) = i**3 + 6*i**2. Let f be w(b). Suppose -5*d + 0*n - 5*n = -280, -2*n - 8 = f. Is d a multiple of 20?
True
Let j be 2/4 + ((-11562)/4)/(-3). Let r = j - 12. Is r a multiple of 14?
True
Suppose 8*t - 2 = 46. Let p(l) = 17*l**2 + 7*l - 8. Let j be p(t). Suppose 3*z - 170 = j. Does 34 divide z?
True
Suppose -223 = -4*f + 1. Suppose -240 = -5*x - 2*u + f, 4*x - 223 = 3*u. Let w = -28 + x. Is 5 a factor of w?
True
Suppose -2*i = -38 + 520. Let y = 313 + i. Does 12 divide y?
True
Let p(v) = -6*v - 15. Let a be p(0). Let j be (-9)/(-15) + -6*1/a. Is 17 a factor of j/(4/140) + 4?
False
Suppose 29*j = -5*v + 30*j + 7375, -j + 2943 = 2*v. Does 22 divide v?
True
Let x(o) = -395*o**2 + 30 + 216*o**2 + 217*o**2. Is x(-4) a multiple of 30?
False
Suppose -7*s - 3*b = -8*s - 473, 5*s = 4*b - 2409. Is 45 a factor of ((-15)/(-9))/(6 - s/(-81))?
True
Let k(h) = 51*h**2 + 61*h + 1687. Is 89 a factor of k(-24)?
False
Let j(q) = 2*q**2 + 15*q + 16. Let v be j(-7). Suppose 70 = v*d - 7*d - 2*g, -d = -2*g - 40. Does 5 divide d?
True
Let c(m) = m**2 - m + 4. Let j be c(-4). Let u = -26 + j. Is 5 a factor of -2*1/(2/u)*4?
False
Let z = 305 + -324. Let l(x) = -17*x - 131. Does 10 divide l(z)?
False
Let f be ((-108)/5)/(-2*8/(-80)). Is (-36)/f + (-2399)/(-3) a multiple of 35?
False
Is 30 a factor of ((-13)/2)/((-34)/79560)?
True
Let k(c) be the third derivative of -25*c**2 - 1/24*c**4 + 7*c**3 + 0*c + 0. Is k(-21) a multiple of 9?
True
Suppose 2*s + 1508 = -2*a, -3*s + 944 + 1288 = -3*a. Let f = 1218 + a. Is 32 a factor of f?
False
Let l = 333 + -17. Let m = 513 - l. Is m a multiple of 8?
False
Let s = 1990 + 99. Is s a multiple of 15?
False
Let q = -6477 + 8757. Does 190 divide q?
True
Let s = 50 - 27. Let q = 25 - s. Suppose 24 + 8 = q*z. Is 9 a factor of z?
False
Let a(t) = -t**3 - 21*t**2 + 22*t + 28. Let d be a(-22). Suppose 8 - d = -2*w. Let h(u) = u**3 - 10*u**2 + 10*u - 30. Is 29 a factor of h(w)?
False
Let h(l) = 1 - 5*l + 11 + 3 + 8*l**2. Let r = 3248 + -3243. Does 13 divide h(r)?
False
Let l = -598 - -604. Suppose 0 = l*v - 751 - 395. Does 14 divide v?
False
Suppose -3*z + z - 9 = -5*d, -2*d + 10 = 0. Suppose -62 = z*s - 6*s. Let b = s - -82. Does 17 divide b?
True
Suppose 5*c = 5*u + 1100, 3*u + 4*c = u - 470. Let q = u - -561. Is 28 a factor of q?
True
Let c be (-1 - 11/((-33)/6)) + 7. Is 6 a factor of (c/12)/(2 + (-5952)/2979)?
False
Suppose 2*j = 0, 4*r - 4*j = 2*r - 16. Let x(i) = i + 28. Let o be x(r). Suppose m = 20 + o. Does 12 divide m?
False
Is 108 a factor of -15930*(2 + (-2 - 252/(-35)) + -8)?
True
Suppose -s = -5*y - 7, 3*s + s - 10 = 2*y. Let d be 41/(s + (102/27)/(-2)). Suppose -a + d = 2*a. Is a a multiple of 18?
False
Suppose 6873 = 9*m + 21*m - m. Does 165 divide m?
False
Suppose -82*n - 199815 = -255*n. Is n a multiple of 33?
True
Suppose -3 = -4*j + 3*s + 13, 5*s + 22 = 2*j. Let l be (j - 3)*(-138)/(-12). Let k = 87 + l. Is 16 a factor of k?
True
Let z = -6 - -12. Let j(w) = -w**3 + 116*w**2 + 238*w - 234. Let b be j(118). Suppose 0 = -2*p + z*p + 8, b*p = -x + 83. Is x a multiple of 17?
False
Let j(q) = 52*q - 189. Let v be (32/(-12))/(-2)*21. Is j(v) a multiple of 18?
False
Suppose -6*s + 7*s = 16. Suppose -48 = 13*n - s*n. Does 8 divide n?
True
Let d be (0 - (-1)/4) + 36274/56. Suppose 5*b - 681 - 129 = -3*z, 0 = -4*b - 3*z + d. Is b a multiple of 18?
True
Suppose 487 = 5*q - 853. Suppose -2288 = -4*h - 4*k, 0 = -2*h + k + 1406 - q. Does 46 divide h?
False
Suppose 0 = -0*y - 3*y + 531. Suppose 0*d = 27*d + 2673. Let r = d + y. Is r a multiple of 13?
True
Let b(z) = -94*z**3 + 15*z**2 + 56*z + 13. Does 32 divide b(-4)?
False
Let b(v) = 463*v**2 + 56*v - 9. Does 15 divide b(6)?
True
Suppose 4*m = 5*z + 32, -2*m - 2*z = 3*m - 73. Let f be m*(-3 + 8) + -2. Let v = f - -5. Does 34 divide v?
True
Let r = -5300 - -9615. Is 3 a factor of r?
False
Let w = -149 + 215. Suppose 0 = u + 2*q - 22, 3*q + w = -7*u + 11*u. Is 18 a factor of u?
True
Suppose 0 = -2*c - 2*c + 48. Let r be ((-54)/(-10))/((-108)/360). Is (2 + (-76)/6)*r/c a multiple of 3?
False
Suppose 0 = b - x - 0*x + 3, -12 = 2*b - 4*x. Suppose 2*d + 5*d - 35 = b. Does 21 divide (-5 - (2 - d))*-48?
False
Suppose 4*f + 4*q = 384, -3*q - 108 = -0*f - f. Suppose 3*g = -4*w + 336, -4*w - 4*g + 2*g + 336 = 0. Let a = f - w. Is 3 a factor of a?
True
Let l(m) = 83*m**2 - 346*m + 11. Is 17 a factor of l(6)?
False
Suppose -6*c + 92 = -64. Let l = c - -74. Suppose p - 3 = l. Is p a multiple of 10?
False
Let u(k) = 32*k + 26. Suppose -3*x - b = -13, -2*x + 19 + 3 = -2*b. Is 20 a factor of u(x)?
False
Let g be (9 + -1555)*(0 + (-3)/6). Suppose -3*o + 427 = -g. Suppose -12*x = -7*x - o. Is x a multiple of 12?
False
Suppose -36721 = -113*o + 29164 + 31069. Is o a multiple of 2?
True
Suppose -3*s + 28*s - 180609 = 12*s. Does 54 divide s?
False
Suppose 21 = q + 120. Let t = 105 + q. Is t even?
True
Let b = -98909 - -174362. Does 19 divide b?
False
Let h(v) = -233*v**3 + 13*v**2 - 4*v + 4. Is 8 a factor of h(-3)?
True
Let g(q) = 1819*q**2 + 65*q - 64. Is 14 a factor of g(1)?
True
Suppose 5*f + 501 = -4*a - 133, -2*f = -4*a + 276. Let w = f - -193. Is 16 a factor of w?
False
Let n(k) = -4*k - 24. Suppose 50 = -5*a - 45. Let y(b) = -b**2 - 18*b + 1. Let q be y(a). Is 6 a factor of n(q)?
True
Let p(k) = -386*k**3 - 6*k**2 - k - 3. Let d be p(-3). Suppose 346*v - 352*v = -d. Is v a multiple of 9?
True
Let w(h) = 23*h**2 + 4*h + 1. Let r(d) = 22*d**2 + 3*d + 1. Suppose -4*s + 21 = -n, 3*s - 4 = -n + 3. Let l(m) = s*r(m) - 3*w(m). Does 4 divide l(-1)?
True
Suppose 5*o + 4*r - r - 19244 = 0, 0 = -5*o + 5*r + 19260. Does 14 divide o?
True
Let t(u) = -1385*u - 436. Is t(-20) a multiple of 12?
True
Suppose -2*z + 28 = 42. Let a(y) = y**2 - 10*y - 14. Let s be a(z). Suppose 12*d = 7*d + s. Does 6 divide d?
False
Does 131 divide (2 - 0) + 268 + 4 + 0 + 1?