e a?
False
Suppose -3*q = k - 2883, -5*q + 2*k + 4797 = k. Is 6 a factor of q?
True
Let n be (5 - 2) + (4 - 14). Let x be 2 + n/((-7)/2). Suppose -79 = -x*m + 29. Is m a multiple of 10?
False
Suppose p - 5*q = -8*q + 49, 5*p + 2*q = 284. Suppose p = 5*b + 3*x - 247, 4*b - 4*x = 276. Does 6 divide b?
False
Suppose n + n = 6, 3*g = 5*n - 129. Let q = 129 + g. Is q a multiple of 12?
False
Suppose -178*o + 180*o = 128. Is 16 a factor of o?
True
Suppose -17*t + 1750 = -290. Does 6 divide t?
True
Suppose -15*l + 5714 = -20641. Does 13 divide l?
False
Suppose 7 - 2 = 5*d, -5*d = -2*l + 931. Is l a multiple of 16?
False
Let u(o) = -o**3 - 4*o**2 + 6*o - 1. Let i be u(-5). Let l(k) = -12*k + 8. Is 20 a factor of l(i)?
True
Let f(j) = 7*j + 9. Let s(l) = 1. Let d(z) = f(z) - 2*s(z). Let u be d(-3). Does 8 divide ((-12)/u)/(8/224)?
True
Suppose 5*t = g + 31, 4*g = -3*t + 11 + 3. Suppose 0 = -t*h + 145 + 1235. Does 26 divide h?
False
Is (4 + (-516)/18)*-6 a multiple of 36?
False
Let c(r) = r**2 + r + 3. Let a be c(-6). Let p be 7*(1 + (-12)/(-42)*-2). Is 3/p + (a - -2) a multiple of 18?
True
Suppose 3*w + 3*t = 1074, t = 2*w - t - 732. Let q = w + -172. Is q a multiple of 19?
True
Let o(b) = -b**3 - 4*b**2 + 6*b + 17. Let w(g) = -4*g**3 - 16*g**2 + 25*g + 69. Let v(l) = 9*o(l) - 2*w(l). Does 5 divide v(-5)?
True
Suppose 4*z + 0*z - 24 = 0. Suppose -b = 2*b - z. Does 4 divide 2 + b + -1 + 4?
False
Is 21 a factor of (-1888)/(-9) + 4*(-2)/(-36)?
True
Let c(n) = 96*n**2 + 4*n - 6. Let g be c(2). Suppose -3*w + w = -g. Is 33 a factor of w?
False
Let r = -8052 + 12407. Does 65 divide r?
True
Let g be 11/(22/360) - -3. Let l(t) = -t**3 - 9*t**2 - t + 13. Let a be l(-4). Let p = a + g. Does 30 divide p?
True
Is 79 a factor of ((140/(-6))/7)/(8/(-3432))?
False
Suppose 4*m + 20 = 0, -3*k + 531 + 281 = -m. Is 13 a factor of k?
False
Suppose -6*h + 5121 = -1917. Is 69 a factor of h?
True
Let w(o) = -o**2 + 47*o - 54. Is w(23) a multiple of 9?
False
Suppose -3*y + 3 = -9. Does 13 divide 121 - y*(-4)/8 - 2?
False
Let m = 3394 - 1567. Is m a multiple of 29?
True
Let t = 1377 - -72. Is 21 a factor of t?
True
Suppose -10*y + 882 + 1728 = 0. Is 5 a factor of y?
False
Let i(a) = -2*a + 41 + 4*a + 3 + 2. Is 10 a factor of i(-11)?
False
Suppose 895 = 15*x - 14*x. Does 36 divide x?
False
Let j = -238 - -379. Suppose -15 = -4*s + j. Is 13 a factor of s?
True
Let n = 108 + 38. Suppose 6*i - 1054 - n = 0. Is 38 a factor of i?
False
Suppose -m + 295 = -5*s - 56, -4*s = -m + 348. Is m a multiple of 51?
False
Let w(s) = 20*s - 8. Let c be w(6). Let m be ((-246)/15)/(5 - 81/15). Suppose r - c = -m. Is r a multiple of 11?
False
Suppose 2*n + 12 = 6*n. Suppose 5*a - 3*p - 109 = 0, n*a = -4*p - 8 + 56. Suppose 2*z = 3*d - 2*d + 2, 4*z = a. Is 7 a factor of d?
False
Let r = 16 - 13. Suppose 16 + 191 = r*f. Does 29 divide f?
False
Suppose 0*u = 2*o - 2*u - 52, o - 5*u - 46 = 0. Let m = 9 - o. Let h(y) = -y**3 - 13*y**2 - 16*y + 12. Is h(m) a multiple of 15?
True
Let b be 30/(-9) + (-2)/(-6). Let d = 20 + b. Is 17 a factor of d?
True
Suppose -x - 7 = -0. Let r(d) = -d + 2. Let i be r(x). Is (i - 6) + 35 + 0 a multiple of 9?
False
Let b(u) = 18*u - 55. Does 12 divide b(17)?
False
Let t(p) = -4*p + 376*p**2 + 3*p + 2 - 7*p - 377*p**2. Is t(-5) a multiple of 3?
False
Suppose 4*f - a = 447, -5*f + 556 = a - 5*a. Does 14 divide f?
True
Let r = 337 + -187. Let w be 3396/(-36) - 1/(-3). Let x = w + r. Does 16 divide x?
False
Let q be (4/(-3))/(20/(-45)). Suppose 8 = q*s - 55. Is s a multiple of 8?
False
Let a(f) be the third derivative of 5/4*f**4 + 4*f**2 + 0 + 1/6*f**3 + 0*f. Does 18 divide a(2)?
False
Let i(k) = -k**3 - 6*k**2 - 60*k - 43. Is i(-13) a multiple of 128?
True
Suppose 0 = -4*q + 20 - 0. Suppose 2*v - 25 = -q. Does 3 divide v?
False
Let h(k) = k**3 + 5*k**2 + 5*k + 2. Let s be h(-3). Suppose -s*p + 103 = r, -3*p + 85 = 2*p - 5*r. Let q = p - 2. Is 18 a factor of q?
True
Let p(c) = -c**3 - 4*c**2 - 5*c - 4. Let v be p(-3). Suppose 0 = v*y - 2*a - 54, y + 0*a = -4*a + 2. Does 5 divide y?
False
Let r(y) = y**2 - 8*y - 2. Let a be r(8). Is (-21)/a*50/15 a multiple of 34?
False
Does 15 divide 36256/110 + (-36)/(-15) + -2?
True
Let k(d) = -6*d**2 + 5*d + 2. Let u(i) = -i**2 - i - 1. Let r(b) = k(b) + 2*u(b). Let o be r(2). Let f = 38 + o. Is 10 a factor of f?
False
Suppose -11*i + 625 = -112. Is 8 a factor of i?
False
Is 22 a factor of 8/16*1640/5?
False
Suppose 0 = 5*a + 11 - 1. Is 108/1 - 6*a/(-4) a multiple of 35?
True
Let a = 7 + -3. Suppose 5*s + 3*m - 18 = 1, -a*s - 3*m = -17. Suppose -s*v - v = -120. Does 11 divide v?
False
Let v(o) = 66 + 25 - 8 - 199*o + 2*o**2 + 201*o. Is v(0) a multiple of 18?
False
Let j(r) = -17*r - 16. Is j(-2) a multiple of 9?
True
Suppose 2*r + 4*b - 1494 = 0, -2*r - 759 = -3*r + 2*b. Is 4 a factor of r?
False
Let t(l) = -2*l - 22. Let b(p) = -p - 21. Let j(o) = -6*b(o) + 5*t(o). Let a be -3 - (3 + (0 - -5)). Is 20 a factor of j(a)?
True
Let b = 31 - 31. Suppose 5*n - 3*j + 6*j - 247 = b, n = -4*j + 63. Does 13 divide n?
False
Is 2/13 + (-12 - 7560/(-39)) a multiple of 27?
False
Does 31 divide 21547/58 - (1 - (-6)/(-4))?
True
Let q be 14*(8/(-2) - -46). Suppose -b + 882 = 3*m + 4*b, 0 = -2*m - 5*b + q. Let i = m - 209. Does 28 divide i?
False
Let j(n) = -16*n + 28*n + 5 - 5*n - 6*n. Is j(7) a multiple of 12?
True
Let q(d) = -d**3 + 13*d**2 + 2*d - 2. Let z(k) = k**2 + 4*k - 19. Let x be z(-8). Does 12 divide q(x)?
True
Suppose 13*s - 12*s = 138. Suppose 8*r - s = 2*r. Does 6 divide r?
False
Is 1306/4 - (-6)/(-4) a multiple of 13?
True
Let i(l) = l**2 + 5*l + 13. Suppose 4*a + 12 = -5*p, 0 = -p - a - a. Does 8 divide i(p)?
False
Suppose -10*c - 10547 = -27357. Is 11 a factor of c?
False
Let s = 2041 - 1416. Is 10 a factor of s?
False
Let d(g) = -9*g - 25. Let j be d(-5). Is (-103 + 3)*(-8)/j a multiple of 3?
False
Suppose 2*l - 10*t + 5*t = 1900, -2*l + 4*t + 1902 = 0. Is l a multiple of 12?
False
Let t = 856 + -308. Is t a multiple of 10?
False
Let r = -77 + 82. Suppose -3*y - 5*t + 665 = -6*t, r*y = -t + 1111. Is 30 a factor of y?
False
Suppose -40*c = -22*c - 15120. Does 14 divide c?
True
Let m(f) = -83*f. Let w be m(-2). Let a = -96 + w. Is 12 a factor of a?
False
Suppose -24*n - 678 = -3486. Is 39 a factor of n?
True
Let p be -2 + (-4 - -100) + 0. Let o = p - 52. Is 14 a factor of o?
True
Let h(p) = 55*p + 10. Let z(i) = -3*i**2 + 13*i + 12. Let k be z(5). Does 40 divide h(k)?
True
Does 11 divide (-57113)/(-246) - (-1)/(-6)?
False
Let n = 1102 - 876. Does 6 divide n?
False
Is 30 a factor of 26/(-4)*(9 - 69)?
True
Suppose 5*m - 5 = -15. Does 15 divide (5/m)/((-5)/50)?
False
Let c(q) = -q + 6. Let x be c(9). Let t be 2/(-3) + (-29)/x. Is (7 - t)/(1/(-14)) a multiple of 14?
True
Suppose 2*k - 25 = -3*k. Let a = -205 - -209. Suppose -k*t + 4*q = -136, -a*t - 7*q = -3*q - 80. Is t a multiple of 24?
True
Suppose 2*a - 1434 = -5*j - 240, 0 = -4*j + a + 950. Is 7 a factor of j?
True
Let p(f) = 29*f + 80. Let v be p(-16). Suppose x = -3*x - 36. Does 11 divide v/x + (-1)/(-3)?
False
Suppose h = 20 - 4. Suppose -3*f + 4 - h = 0. Does 11 divide (-11)/f*(-10 + 22)?
True
Let j be (-2 + 15/12)*-4. Suppose -3*o - 5*a + 139 = 44, 146 = 4*o - j*a. Is 15 a factor of (-14)/o - (-127)/5?
False
Let t = 352 + -309. Is 43 a factor of t?
True
Let z = -33 - -18. Let d(q) = 3*q**2 + 66*q + 26. Let r be d(-21). Let n = z - r. Does 6 divide n?
False
Suppose m + 2*a + 9 - 3158 = 0, 2*a + 2 = 0. Does 40 divide m?
False
Suppose -102 = y - 101. Is 13 a factor of (74 - 4) + y + -1 + 4?
False
Suppose -193 - 159 = -4*u. Does 2 divide u?
True
Let u be (1 - 4)/(15/(-10)). Does 13 divide 100/u - (-24)/12?
True
Let l be (2 - 1) + (11 - -6). Suppose -l = 5*o - 613. Suppose -3*c = -10*c + o. Is c a multiple of 3?
False
Suppose 3*b = 6*p - p - 13, 4*p = 3*b + 8. Suppose 3*z = -p*u + 100 + 55, 2*u - 62 = 4*z. Let x = 31 + u. Is 21 a factor of x?
False
Let p = -8 - -9. Suppose 4*j = 93 - p. Is 3 a factor of j?
False
Let w(v) = -3*v + 39. Let n = 21 + -21. Let s be w(n). Let b = s - 27. Is b a multiple of 5?
False
Let o(j) = -7*j - 15. Let t(l) = -l - 12. Let g be t(-3). Is 12 a factor of o(g)?
True
Let a = -30 - 9. Let l = -72 - a. Is l/(-55) - 64/(-10) a multiple of 7?
True
Let k(i) = i**3