*t - l, 2*k + 4*t - 6 = 0. Suppose g = -o + k*o - 171, 0 = 2*o + 2*g - 180. Is o a multiple of 18?
False
Suppose -225 = -29*a + 26*a. Suppose -78*x = -a*x - 162. Is 7 a factor of x?
False
Suppose 4*i = 3*d + 8*i + 16, -8 = d + 4*i. Let q(g) = -2*g**3 - 7*g**2 + 4*g. Let j be q(d). Suppose -5*p + 105 = -j*p. Does 10 divide p?
False
Let z(g) = -g**3 - 13*g**2 + 9*g + 41. Let h be z(-14). Let r = 21 + h. Does 11 divide r?
True
Let r(m) be the first derivative of m**3/3 - 10*m - 20. Let d be r(3). Is 0 - 0 - (d + -41) a multiple of 9?
False
Let d(p) = 21*p - 24. Let z be d(38). Let h = z - 447. Does 24 divide h?
False
Suppose -402*n + 131560 = -276279 - 26321. Is 18 a factor of n?
True
Suppose 5*i = -473 - 147. Suppose -5*a + 34 = -r + 3*r, 5*a - 5*r - 20 = 0. Is 28 a factor of a/(i/(-56) + -2)?
True
Let z(w) = -231*w - 5205. Does 6 divide z(-56)?
False
Let h be (10 + -1)/(-3)*(-13)/(-39). Let a(z) = 6*z + 4 - 48*z - 3. Does 5 divide a(h)?
False
Let c be ((-156)/(-9) + -1)/((-1)/(-3)). Let a = c + 7. Is a a multiple of 8?
True
Suppose 13*b = z + 10*b - 41695, z + 5*b = 41679. Is z a multiple of 14?
False
Let m = -103008 - -150045. Is 9 a factor of m?
False
Let v = 1 + 1. Suppose 10*z - v = 9*z. Suppose -3*a + 2*a - s = -121, z*s = -5*a + 593. Is 13 a factor of a?
True
Is 3 a factor of (-8)/3*(108464/(-64) - 10)?
False
Let a(r) = r**2 + 7*r - 93. Let w be a(21). Suppose -10*h + 14*h = 4*f - 1976, -w = -f + 2*h. Is f a multiple of 17?
True
Let l be -10882*(-4)/80 + 1/(-10). Does 55 divide l + (2 - (-1 - -1)) + -7?
False
Suppose 2256 = 8*t - 5*t. Let r = t + -528. Suppose 4*d - 100 = r. Does 15 divide d?
False
Suppose 3*g - 8 = 7, -2*q + g = -4525. Let f = q + -1160. Is f a multiple of 88?
False
Let a(h) = -2*h**2 + 4*h + 5. Let b be a(5). Let x = b - -29. Suppose -3*p = x*y - 155, y + 44 = 2*y - p. Does 6 divide y?
False
Suppose -40*z + 48*z = 40. Suppose z*w - 195 = 630. Is 11 a factor of w?
True
Let r(s) = s**3 + 32*s**2 + 56*s + 52. Is 3 a factor of r(-28)?
True
Let j(p) = 82*p - 365. Is 11 a factor of j(24)?
False
Let h(c) = c**3 - 42*c**2 + 189*c - 219. Does 4 divide h(38)?
False
Let p be (-9 + (-2)/(-1))*(3 - 1). Let z be 2 + 2000/p + (-3)/21. Let b = z - -323. Is 16 a factor of b?
False
Let i = 2088 + 78. Is 11 a factor of i?
False
Let q = 76 - 71. Suppose 5*c - 7 = 4*u, 0 = -4*u - q*c - 10 - 7. Is 27 a factor of u + (-2 - -1) + 58?
True
Let s = 3 - 2. Let l be 6/(s*4 + 2041/(-520)). Let a = -52 + l. Is a a multiple of 7?
True
Let t = 25 + -13. Let u = 209 + -206. Does 6 divide (-2)/u*-1 + 424/t?
True
Let a(l) = -2941*l + 1224. Does 9 divide a(-6)?
False
Suppose 0 = 2*o + 2*i + 3 - 7, -2*i = 2. Suppose 4*n - 59 = 3*n + o*x, 0 = 4*n + x - 249. Let j = n + 43. Is j a multiple of 15?
True
Suppose -18785*m = -18762*m - 305946. Does 78 divide m?
False
Let n be 87/(-58) + (-3)/(-2). Suppose n = -10*a + 8*a + 240. Is 8 a factor of a?
True
Let n(y) = -y + 6. Let w be n(-9). Let l be (-5)/((-25)/w) - -1. Suppose -4*b - 2*h = -0*b - 164, 164 = l*b + 4*h. Does 41 divide b?
True
Let w = 20113 + -1871. Is 281 a factor of w?
False
Let h = 10306 + -8880. Is h a multiple of 13?
False
Suppose 4*v = -2*x + 10, -2*v + 4*v - 17 = -5*x. Suppose 7*g - 25 = x. Suppose 2*h + 2*a - 2 = 0, -g = h - 3*a - 25. Does 6 divide h?
True
Let g(t) = 2*t - 14. Let k be g(12). Let a be (-2)/k + 1554/70. Suppose -154 = a*l - 23*l. Does 33 divide l?
False
Suppose -1222*u + 1233*u - 81719 = 0. Is 15 a factor of u?
False
Suppose -q - 5*d = 4*q - 1285, -3*q + d = -751. Let r = 17648 - 17643. Suppose z = -r*z + q. Is 20 a factor of z?
False
Suppose -g - 4*l = 2, 3*g + g - 3*l = -8. Let t = g - -196. Suppose 0 = -3*p - 2*h + t, 2*h - h = -5*p + 314. Does 5 divide p?
False
Let x(o) = o**2 - 10*o + 334. Is 15 a factor of x(-59)?
False
Let k(j) be the third derivative of -j**5/20 - 13*j**4/4 - j**3 - 5*j**2 - 22*j. Is k(-25) even?
False
Let g = 140 + -140. Suppose 5*v + g*v = 15. Is 3 a factor of v?
True
Suppose 0 = -28*s + 1432 + 24049 + 10219. Is 3 a factor of s?
True
Let u(w) = 402*w + 3120. Does 14 divide u(94)?
True
Suppose -237556 = -138*u + 94*u. Is u a multiple of 23?
False
Let o be (-1)/((-2)/(-12) - (-4)/(-6)). Suppose -5*j = -o*j - 0*j. Is 2/6 + (1184/12 - j) a multiple of 15?
False
Suppose -3*f + 8 = 2*j - 23, 25 = 5*j. Let n = f - 15. Is 90/3 + (-4 - n) a multiple of 10?
False
Let c(j) = -126*j - 26. Let p(o) = 254*o + 52. Let y(i) = -5*c(i) - 2*p(i). Is 56 a factor of y(3)?
True
Let b(y) = 2*y**3 + 116*y**2 + 24*y + 1340. Is 65 a factor of b(-49)?
False
Is (-103944)/(-16) - ((-6)/14)/(2/7) a multiple of 57?
True
Let q(n) = -70*n - 171. Let s = -672 + 664. Does 59 divide q(s)?
False
Let o = 7 - -147. Let c = 353 - o. Is 20 a factor of c?
False
Let d(p) = p**2 + 7*p + 76. Let x be d(13). Suppose -189*i + 173*i + x = 0. Is i a multiple of 7?
True
Suppose 45 = -4*v + 29. Let a(n) = 23*n**2 + 7*n + 1. Is a(v) a multiple of 7?
False
Let z(l) be the first derivative of l**3 + 6*l**2 + 24*l - 24. Is 8 a factor of z(-4)?
True
Suppose -7237 = -3*k + 5*g, 5*k - 1675 = 3*g + 10360. Does 64 divide k?
False
Let c(v) = -v**2 - 9*v + 6. Let s be c(-10). Let m = s + 16. Let r(g) = -g**2 + 15*g - 1. Is r(m) a multiple of 35?
True
Let a(p) = -44*p**3 - 7*p**2 - 7*p + 11. Does 31 divide a(-4)?
False
Suppose 82 + 958 = -52*t. Is ((-200)/(-35))/t - 4344/(-14) a multiple of 46?
False
Let m(r) = r - 2. Let z(t) = -81*t - 74. Let n(y) = 6*m(y) + z(y). Is n(-9) a multiple of 31?
True
Suppose 6*a - 9083 - 5887 = 0. Does 10 divide a?
False
Let u = -33 - -37. Suppose 0 = -4*j + u*b + 76, -95 = -0*j - 5*j + 4*b. Suppose 0 = -j*m + 23*m - 64. Is m a multiple of 16?
True
Suppose 3*x + 0*r - r = 23, 0 = 2*x + r - 12. Suppose -x*q = 45 - 297. Is q a multiple of 3?
True
Let z = 27442 - 15988. Is z a multiple of 56?
False
Suppose 4*r + 2*f = 3368, -3*f + 5 = 17. Let m = r - 625. Is 14 a factor of m?
False
Let p(b) = 38*b**2 - 31*b + 150. Does 43 divide p(15)?
False
Let n be (2/8 + 1)/(5/40). Let x(y) = -y**3 + 24 - 21 - 4*y - n*y**2 + 0*y. Is x(-10) a multiple of 14?
False
Suppose 4*n + 36 + 60 = 0. Let a be (-4)/((n/20)/3). Suppose 0 = 8*t - a*t + 28. Is 2 a factor of t?
True
Does 10 divide 45/12*1120/42?
True
Let l = 6211 - 4937. Is l a multiple of 14?
True
Let r(n) = n**2 - 11*n - 22. Let j(b) = 4*b - 31. Let a be j(9). Suppose a*g - 80 = -5*d, 5*d - 5*g = 52 - 2. Is r(d) a multiple of 2?
True
Let s = 53 + -53. Let l = 3 + 1. Is 700/l - (s - 3) a multiple of 23?
False
Let z(n) = 28*n - 54. Suppose 10 = 7*k - 25. Does 3 divide z(k)?
False
Suppose 0 = -6*u + 4*u + 6. Is 36 - 1 - (-8)/8*u a multiple of 19?
True
Suppose 36*i - 44*i = 8. Does 5 divide i + -5 + 4 + (-4 - -21)?
True
Suppose 7*a + 418140 = 5*a + 32*a. Is a a multiple of 6?
True
Is 3 a factor of ((-1)/(-12))/((-12)/32) - 69881/(-63)?
False
Let j(n) = -n - 3 + 3*n + 81*n**2 - 79*n**2 + 7. Let d be j(6). Suppose 2*p - d = 8. Is 11 a factor of p?
False
Let r(d) = -15*d**3 + 7*d**2 + 71*d + 342. Is r(-7) a multiple of 10?
False
Let b = -2431 - -4879. Suppose 11*r = 7*r + b. Suppose r = 5*l + 4*u, 4*u - 20 = -8. Does 10 divide l?
True
Suppose 0*d - 4*r + 2135 = -d, 3*d = -3*r - 6360. Let q = d - -3023. Is 45 a factor of q?
True
Let b(i) = 3*i**2 + 10*i + 2. Let v be b(-4). Let y(f) = 2*f**2 - 13*f + 14. Is y(v) a multiple of 14?
True
Suppose 8 = -2*i + 20. Suppose 0 = 2*n + 5*r + i, 3*r - 5*r - 12 = -4*n. Suppose 27 = -2*q - n*k + 79, -3*q - 2*k + 80 = 0. Is 14 a factor of q?
True
Suppose 4*c = 4*i + 432, 0 = 247*c - 251*c + 5*i + 425. Does 8 divide c?
False
Let h(y) = y**2 + 6*y - 34. Let j be h(-10). Is 50/j*(1 + 14) a multiple of 13?
False
Let d be 13/(5 - -8) + 1. Suppose 6 = s - k, -5*k - 12 = s - 0*s. Suppose -d*b + b = s*v - 225, -5*b - 5*v + 1135 = 0. Is 38 a factor of b?
True
Is (12/(-8) - (-34)/4) + (5824 - -4) a multiple of 19?
False
Let p(x) = 2*x + 24. Let w be p(-11). Suppose 20 = 3*y - 2*o, -3*y - 6 = 5*o + w. Suppose 16 = -y*v, 4*m - 3*v - 148 = 104. Is m a multiple of 15?
True
Suppose -u - 3*h = -5, h - 2*h = 4*u - 20. Let o be u/(-25) + (-213)/(-15). Suppose o = 7*x - 49. Is 2 a factor of x?
False
Let d(p) = -p**2 - 14*p + 4. Suppose -55*g + 60*g + 70 = 0. Let c be d(g). Suppose -c*j + 28 = -8. Is j a multiple of 3?
True
Let p(g) =