26 = 47*y - 2744. Is 10 a factor of y?
True
Suppose 3*q = x + 2*q - 2, -4*x - 3*q = -8. Suppose x*i - 205 = -h, 3*i - 489 + 189 = -3*h. Does 21 divide i?
True
Let s = 6 + -7. Let x(h) = 36*h + 2. Let v be x(s). Is 22 a factor of (-4 - 4)/(4/v)?
False
Let n(y) = -6*y - 24 + 2 - 3 - 4*y + 2*y**2. Is n(-5) a multiple of 15?
True
Let x(v) = 1156*v**2 + 7*v. Is x(-1) a multiple of 46?
False
Let u(g) = 257*g**2 - 13*g - 9. Is u(-1) a multiple of 10?
False
Does 80 divide -6 - -2 - (-508 - -2 - -1)?
False
Suppose 0 = -l + 9*c - 10*c + 1273, -2*l = -5*c - 2539. Does 12 divide l?
True
Let j(p) = -6*p**3 - 10*p**2 - 7*p - 32. Does 11 divide j(-4)?
True
Let x(h) = -h**3 + 2*h**2 + 2*h + 81. Let z be x(0). Let w = z - 64. Is 3 a factor of w?
False
Suppose 0 = -39*x + 42*x + 609. Let s = 291 + x. Is s a multiple of 15?
False
Is 29 a factor of 8710/50 - (-1)/(-5)?
True
Let i(o) = 3*o**2 + 4*o - 44. Is 17 a factor of i(5)?
True
Suppose 3*o = -80 - 46. Let i = -72 - o. Is 5 a factor of i/(-20) - 31/(-2)?
False
Suppose y + 5*l - 1 = 0, 3*y = -l + 5 - 30. Let i be (0 - 3/y)*276. Does 10 divide i/9 - (-28)/(-126)?
True
Let f(u) = -u**3 - 12*u**2 + 13*u + 3. Let c be f(-13). Let w be (-6)/9 + (-79)/c. Let q = -16 - w. Is q a multiple of 3?
False
Let h(g) = g**2 + 12*g - 4. Let p be h(-13). Suppose -5*y + 95 = 3*z, -y = 2*z - 45 - p. Is z a multiple of 5?
True
Let u(a) = 42*a**3 + 2*a**2 - 1. Let s be u(-1). Let j be s/(-5) - 9/45. Suppose -2*z = -6*z + j. Is z a multiple of 2?
True
Let p(c) = 126*c**3 + c**2 - 3*c + 2. Is 8 a factor of p(1)?
False
Suppose -2803 + 779 = -23*j. Is j a multiple of 16?
False
Let i be 3/(-6)*(-9 + -25). Let b(g) = -3*g**2 + 53*g - 15. Is b(i) a multiple of 19?
True
Suppose 9 = -2*w + 5. Let j(x) = x**3 + 3*x**2 - 1. Let k be j(w). Suppose -73 = -3*z - k*f + 38, -2*z + 86 = 5*f. Is 11 a factor of z?
True
Suppose 52*k - 1620 = 51*k. Is 24 a factor of k?
False
Suppose 14 = 3*c - 4*y + 5, 12 = -3*c - 3*y. Does 17 divide (-8)/(-4)*c/(-2)*217?
False
Let f(b) = -2*b - 1. Let c be f(0). Let q be (-4 - 3 - 0)*c. Suppose 6 = h - q. Does 13 divide h?
True
Let p(h) = -2*h**2 - 46*h + 60. Does 18 divide p(-20)?
True
Suppose 11*a = 14*a - 72. Let w be a/(-8) + 7 + 0. Is (-2)/w + (-87)/(-2) a multiple of 21?
False
Let d(p) = -61*p + 1171. Is d(6) a multiple of 3?
False
Let h(q) = 5*q**2 + 12*q + 20. Let c be h(-8). Suppose -5*p = -3*i + 142 + c, 5*i - 5*p = 650. Is i a multiple of 22?
True
Suppose -o = -3*r - 689, 3*o + 5*r = -0*r + 2137. Is 44 a factor of o?
True
Let k(o) = 95*o + 3. Suppose -3*a - 4*h = -29, 2*h = a + 4*a - 5. Is k(a) a multiple of 35?
False
Let r(q) = 5*q**2 - 88*q + 43. Does 89 divide r(21)?
False
Suppose 0 = -3*t + 9*t - 1470. Is t a multiple of 13?
False
Let r = 391 + -324. Is 15 a factor of r?
False
Let s(j) = j**3 - 13*j**2 + 18*j - 133. Is 21 a factor of s(14)?
True
Let c be (-7 - -1)*(-10)/4. Let n = c + -12. Let o = 19 - n. Is 8 a factor of o?
True
Let v(l) = l**2 + 20*l + 79. Does 15 divide v(-16)?
True
Let p = 569 - 277. Suppose g = 7*o - 4*o - p, -o = 3*g - 84. Does 29 divide o?
False
Let n be 0/(1*(-3 + 2)). Suppose -4*l + 144 = 2*b - n*l, 0 = -2*l - 4. Suppose 69 = 3*i + 3*o, 26 = 4*i + 2*o - b. Is 9 a factor of i?
False
Suppose -q = -4, -6*n = -10*n + 2*q + 2988. Is n a multiple of 11?
False
Suppose 144 = g - 4*g - 4*r, 2*g + 89 = -5*r. Let o = 92 + g. Let y = -29 + o. Does 11 divide y?
True
Suppose 0 = 5*p + b + 15, -4*b = 3*p - 9*b + 37. Let r(y) = -y**3 - 2*y**2 + y + 5. Is 11 a factor of r(p)?
True
Let o be 1/(-5) - 52/(-10). Let k = 10 + o. Does 6 divide k?
False
Suppose -4840 = -7*a + 1586. Is 34 a factor of a?
True
Suppose 453 + 159 = 9*f. Does 34 divide f?
True
Let h(k) = -9*k - 4. Let t be h(3). Let b = 48 + t. Is b a multiple of 7?
False
Suppose 6*v - 7*v + 98 = 0. Let y = v - -1. Is 11 a factor of y?
True
Let u(r) = 3*r**3 - 4*r**2 + 2*r + 2. Let z be u(2). Let x = z + 9. Suppose -t + x = -4*d, t + d - 13 = -0*d. Is 5 a factor of t?
True
Let t be -5 - -5 - (-1 + -1). Let y = 35 + -25. Let h = y + t. Is 4 a factor of h?
True
Let u(k) = 39*k**2 + 29*k + 61. Is 5 a factor of u(-2)?
False
Let b be 223/9 - (-2)/9. Let f = b - 16. Is f a multiple of 2?
False
Suppose -l + 106 = -3*b + 7*b, 0 = -2*b + 5*l + 64. Suppose 3*n - 1 = 4*n, 3*q - n - 7 = 0. Let c = b - q. Does 9 divide c?
False
Suppose -3*v + v = -2*r + 92, -5*r - 3*v + 238 = 0. Let b = r - -38. Suppose -6*j = b - 301. Is 12 a factor of j?
True
Let u(n) = -114*n - 716. Does 66 divide u(-10)?
False
Suppose 0 = -3*q + 15, -5*r + 2*q + 30 = -95. Let o = 66 - r. Is 7 a factor of o?
False
Let s(g) = 3*g**2 + 2 + 3*g**3 - 1 - 3*g + 1. Is 14 a factor of s(2)?
False
Suppose 17*l = -25*l + 3150. Does 5 divide l?
True
Let z = -54 + 32. Does 2 divide (-4)/(-22) - 238/z?
False
Let g = -17 + 5. Let u = -9 - g. Suppose 2*w - b - 38 = u*b, 2*b = 4*w - 88. Does 16 divide w?
False
Let n be (6/9)/((-2)/(-9)). Let o = n - -12. Let v = 55 - o. Does 20 divide v?
True
Suppose 18 = w + 28. Let i(k) = 44*k - 30*k + 11 - 6*k**2 - 2*k**2 - k**3. Does 15 divide i(w)?
False
Suppose 12 = 4*n + 4*v, 2*n - 18 = -2*n + 2*v. Suppose 0 = 3*k + k + 2*y - 112, n*k = -5*y + 118. Let b = k + -15. Is 12 a factor of b?
True
Let x(v) = -3*v**3 - 2*v**2 - 4*v + 12. Does 42 divide x(-5)?
False
Let q(o) = -o**2 + 131. Let s(f) = f**2 - 130. Let d(b) = 3*q(b) + 4*s(b). Let w(p) = 2*p**2 - 253. Let h(l) = 5*d(l) - 3*w(l). Is h(0) a multiple of 31?
True
Suppose 3*t = 10*a - 8*a + 2383, a - 3192 = -4*t. Is t a multiple of 80?
False
Let h(t) = -134*t - 619. Is 7 a factor of h(-10)?
True
Suppose -5*v + 2*v - 2*j = -16, 4*v + 2 = 2*j. Let g(r) = r**2 - 7*r + 4. Let o(q) = -6*q + 4. Let p(s) = v*g(s) - 3*o(s). Is p(-4) a multiple of 6?
True
Does 2 divide (-2)/(-2)*(46 - 8)?
True
Let r be -12*(1 + 68/(-2)). Suppose 3*s + 3*w - w - 302 = 0, -4*w - r = -4*s. Is s a multiple of 20?
True
Suppose -2*t + 5 - 1 = 0. Suppose 3*n - 31 = -t*o, 0*n - 3*o + 8 = -n. Suppose n*j = 4*j + 36. Is j a multiple of 12?
True
Let z(l) = 23*l - 2 + 10*l - 2*l. Let i be z(-3). Let g = i - -135. Is g a multiple of 10?
True
Suppose -g - 10 = -3*j, 5*j = -0*g - 5*g + 30. Let r(l) = 7*l**2 + 4*l - 7. Let z(w) = -8*w**2 - 4*w + 8. Let i(b) = 7*r(b) + 6*z(b). Is i(j) a multiple of 9?
False
Let t be 2 - 3 - (-10 - 5). Suppose -4 - t = -6*w. Is 2 a factor of w?
False
Suppose -70 = 2*w - 9*w. Let c(q) be the second derivative of q**4/12 - 4*q**3/3 - 7*q**2/2 - q. Does 10 divide c(w)?
False
Let r(h) = 25*h**2 + h. Let q = 18 - 22. Let z(g) = g + 3. Let j be z(q). Is r(j) a multiple of 5?
False
Let z = -259 + 338. Is z a multiple of 9?
False
Suppose 3*w - 956 = -5*a, 3*a - 1260 = -6*w + 2*w. Suppose -4*k + w = -k. Is 32 a factor of k?
False
Let u = -63 - -514. Is 11 a factor of u?
True
Let c = -65 - -23. Let p = c - -220. Is 20 a factor of p?
False
Let t(c) = 8*c**2 - 4*c - 4. Let a be t(-2). Does 41 divide 10467/a + 2/8?
False
Let i(n) = 2*n**2 - 3. Suppose z = -3*h + h - 60, 2*h - 44 = z. Let a be 2/(-3) - z/(-12). Is i(a) a multiple of 12?
False
Let v be 43 + 4 + -1 + -1. Let y = -39 + v. Does 4 divide y?
False
Suppose 2*i = 242 + 72. Suppose 0 = -2*a + 5*t - 0*t - 189, 323 = -4*a - t. Let w = i + a. Does 25 divide w?
True
Let f be (-18)/27 - 37/3. Let p = 16 + f. Suppose h - 89 = -p*j, j - 5*j = -h - 107. Does 28 divide j?
True
Let s(h) = h**2 + 17*h + 35. Let w be (13 + -8)/((-2)/6). Is s(w) a multiple of 3?
False
Suppose -n + 4*t - 18 = -0*n, -14 = 3*n - 4*t. Suppose -n*r + 50 = 4*l, -5*l - 1 + 70 = -4*r. Suppose -2*h + l + 51 = 0. Is 12 a factor of h?
False
Let h(p) = 16*p**2 - 2. Let z be h(-1). Suppose 0 = -12*w + z*w - 112. Does 14 divide w?
True
Suppose 39*y - 11102 = 5668. Does 43 divide y?
True
Let h be 4 - (5 + -1 + 9). Let x be h/(-36) + 39/4. Suppose x*l = 15*l - 70. Does 4 divide l?
False
Let i = -168 - -262. Let u = i - 57. Is u a multiple of 2?
False
Is 37 a factor of 1 + -3 + 2080 + -6?
True
Suppose 0 = l - 10*l + 27. Suppose 3*v = -l*f + 255 + 156, 2*v - 246 = 5*f. Does 39 divide v?
False
Suppose 4*q = -3 + 19. Let x be ((-2)/q)/((-8)/(-48)). Let n = 12 + x. Is n a multiple of 2?
False
Let l = -377 + 465. Does 44 divide l?
True
Suppose 29*q - 29402 = 6558. Does 10 divide q?
True
Let y(b) = -941*b - 21. Let i be y(-