
Suppose 0 = -43*a + 2401986 - 275937. Is a a multiple of 15?
False
Let l = 2652 - 903. Suppose 19*m - 2488 - l = 0. Is m a multiple of 8?
False
Let r = 11013 - 3164. Is 102 a factor of r?
False
Let r = 1736 + -734. Suppose r + 6694 = 8*v. Is v a multiple of 74?
True
Let s(q) be the second derivative of -q**5/10 - q**4/2 - q**3/3 - 4*q**2 + 3*q. Let z(g) = -16*g + 108. Let k be z(7). Is 8 a factor of s(k)?
True
Suppose 4*p + p + 595 = -5*x, -4*x - p - 488 = 0. Let g = x - -162. Is g a multiple of 7?
False
Suppose -3*j - 4*g + 191 = 0, 55 = 4*j - 4*g - 265. Let t = -107 + 40. Let k = j - t. Is k a multiple of 35?
True
Let n = 7 + -5. Let f = -774 - -775. Does 21 divide (f/n)/(23/10994)?
False
Suppose 2*t - 5502 = -4*t. Suppose 3*s + 2*v = 686, -4*s = -2*v + 7*v - t. Is 6 a factor of s?
True
Let t(q) = -10*q + 35. Let c be t(4). Let i = c + 29. Suppose -g - 23 - i = -p, g - 88 = -2*p. Is 7 a factor of p?
False
Suppose 0 = -z - 0 + 5. Let h be 28/(-14)*(-91)/26. Suppose h*b - 2*b - 28 = -a, -z*a + 140 = -5*b. Does 4 divide a?
True
Suppose 3*s + 3*s = 24. Let d be -83 + (s - 5) - 1. Is 5 a factor of 75/1*(-34)/d?
True
Let z(f) be the second derivative of -15*f**3 + 7*f**2 + 105*f + 2. Is 43 a factor of z(-4)?
False
Let s(c) = c + 86. Suppose -2*m + 5*r = -4, 6*m - 4 = 4*m - 5*r. Suppose -4*l + m*q + 6 = 0, -4*q - 12 = -4*l + 8*l. Is s(l) a multiple of 18?
False
Let k(q) = -q**3 - 14*q**2 - 14*q - 5. Let j be k(-13). Suppose -j*v = -9*v. Suppose 6*p - 5*p - 63 = v. Is p a multiple of 7?
True
Let h = -961 + 659. Let c = h + 310. Is c a multiple of 8?
True
Let f = 27622 + -14323. Is 17 a factor of f?
False
Let v = -18993 - -23983. Does 10 divide v?
True
Let v = 8732 + -3837. Is v a multiple of 63?
False
Suppose -2*w - 4*q + 4837 = -14955, -5*q + 19796 = 2*w. Is w a multiple of 8?
True
Suppose 0 = 175*c - 1179488 + 248488. Does 28 divide c?
True
Let a be 16/(-6) + 5 + (-2)/(-3). Suppose a*n + 5*f = 1685, -4*n - 4*f = -n - 1684. Is n a multiple of 25?
False
Suppose 0 = 8*v + 15*v - 92. Is 11 a factor of (-6 - -3) + v + 57 + -4?
False
Let l(g) = 6*g + 11. Let y(p) = 5*p + 11. Let w(f) = 4*l(f) - 5*y(f). Let x be w(-7). Let t(o) = -o**3 - 3*o**2 - 6. Is t(x) a multiple of 10?
True
Let f be (180/8)/3*6/3. Does 16 divide 159/5 + 3/f?
True
Let b be (-834)/(-2) + -3 + -4. Suppose -b = 6*s - 1586. Does 4 divide s?
True
Let y = 22 - 22. Suppose y = 4*b - 8*b + 4. Let l(g) = 15*g + 1. Does 16 divide l(b)?
True
Let x(w) = -6*w**3 - 10*w**2 - 18*w - 36. Let o be x(-6). Suppose -5*s = -m - o, -12*s + 15*s + 5*m = 588. Does 10 divide s?
False
Let f(t) = -71*t + 1851. Does 5 divide f(15)?
False
Suppose -14*v - 29 = -13*v. Let y = 39 + v. Is y - (-12)/(3 - 6) a multiple of 3?
True
Let u(s) = -24*s - 6. Let o be u(-4). Suppose 4*l + 14 = -b, 2*b + o - 18 = 3*l. Let q = -10 - b. Is 4 a factor of q?
True
Let y = -46 + 400. Let g = y - 115. Let i = 341 - g. Is 44 a factor of i?
False
Let n(f) = f**3 - 4*f**2 - 10*f - 9. Let j be n(6). Let r(z) = -15*z - 5 + 0*z**j + 0*z**3 - z**3 + 6*z**2 - 9*z**2. Is r(-3) a multiple of 20?
True
Suppose 0 = 2*v + g + 50, 2*v + 5*g = 3*g - 52. Let h be (v/(-10))/((-3)/(-45)*-3). Let s(k) = k**3 + 11*k**2 - 19*k - 13. Does 9 divide s(h)?
False
Suppose 0 = 199*g - 204*g - 15, -4*i = -5*g - 16255. Does 58 divide i?
True
Suppose 0 = -2*n - 2, -2*n = 2*f + 3 - 11. Suppose -6*l - g = -f*l - 30, -5*l - 3*g + 158 = 0. Is l a multiple of 13?
False
Suppose 3*n = -5*f + 94896, 0 = -4*n + 17*n - 91. Is 15 a factor of f?
True
Let y(r) = r**3 - 6*r**2 - 5*r - 6. Let n be y(7). Suppose 12*x = n*x. Suppose 5*a = -4*j + 234, x = -a - 2. Does 28 divide j?
False
Suppose -8 = -i + 8. Suppose -11*w = -i*w + 70. Suppose w*p + 36 = 18*p. Does 2 divide p?
False
Let w = 389 - 399. Is 72 a factor of 15140/30 - w/(-15)?
True
Suppose 0 = p + 3, 6*w - 120 = w + 5*p. Let h = w - 57. Is 21 a factor of (-5088)/h - 4/3?
False
Let i(h) = 5*h**3 + 11*h**2 + 3*h - 20. Let z(d) = -3*d**3 - 12*d**2 - 2*d + 21. Let b(y) = -2*i(y) - 3*z(y). Is 16 a factor of b(7)?
True
Let v(f) be the second derivative of -f**4/3 - 10*f**3/3 - 5*f**2 + 46*f + 1. Is 14 a factor of v(-3)?
True
Let n(h) = -4*h**2 - 5*h + 10. Let z be n(2). Let d be (-569)/(-4) + -2 + (-28)/z. Suppose 0 = -2*w - 0 - 4, -c - 2*w + d = 0. Is 37 a factor of c?
False
Suppose 4*l - 19453 = -2*c - 1157, -36636 = -4*c + 3*l. Suppose -13*i + 25*i - c = 0. Does 9 divide i?
False
Let o = -448 + 763. Suppose 0 = u - 6*u + o. Is 40 a factor of (u + -1)*2 - 4?
True
Suppose g - 24 = -b - b, 4*b = g + 60. Is 9 a factor of 8/28 - ((-2824)/b - 2)?
False
Suppose 3*s - 294 - 291 = 0. Suppose 191*d = s*d - 2300. Is d a multiple of 25?
True
Is -13419*((-2)/6)/((-6)/306*-17) a multiple of 14?
False
Let c = 266 - 347. Suppose i + 12 - 70 = 0. Let o = i - c. Is 14 a factor of o?
False
Suppose 0 = -3*x + 16 - 4. Let a be x/14*(0/(-4) - -7). Suppose -202 = -a*v - 2*d, 2*v + 4*d + 196 = 4*v. Is v a multiple of 15?
False
Let u(r) = r**3 - 3*r**2 + 79*r + 47208. Does 281 divide u(0)?
True
Suppose 103*i - 108*i + 30 = 0. Suppose -i*l + 800 = -2*l. Is l a multiple of 50?
True
Let d be 40/80*4528/1. Suppose -19*i + d = -73. Does 5 divide i?
False
Let r = 21726 - 14573. Suppose 2113 = -4*v + 2*i + 7827, -r = -5*v - i. Is v a multiple of 65?
True
Let c(b) = 14*b**2 + 31*b - 345. Let v be c(9). Suppose -v = -4*u - 3*p, 5*u + 4*p - 930 = 406. Is u a multiple of 11?
True
Let t = 38 - -421. Let b = t + -369. Is 10 a factor of b?
True
Let s = 18 + -15. Suppose 2*z + 4*f = -18, s*f + 4 = 2*z - 13. Is 11 a factor of -1 + z/(-3)*-201?
True
Let i = 149 + -144. Suppose 2*f - 5*f - 4*l = -180, -f + i*l = -60. Does 4 divide f?
True
Suppose 13752 = -569*j + 573*j. Suppose -3*k - 4*m = -j, m = -4*k - 3*m + 4588. Does 27 divide k?
False
Suppose -27 - 147 = 58*g. Is g*((-329)/21 + -3) a multiple of 53?
False
Let b(r) = -64*r + 4386. Is 8 a factor of b(36)?
False
Suppose -4*o = -f + o + 250, -3*f - 4*o = -769. Let p = f - -35. Does 25 divide p?
False
Does 8 divide 678/(7 - 979/143)?
False
Does 25 divide (2287090/(-1446))/((-1)/15)?
True
Suppose -3*z + 1360 = 5*c, -z + 3*z - 1088 = -4*c. Is (-1 - 100/(-16))/(2/c) a multiple of 51?
True
Let c = 5164 + 3307. Is 43 a factor of c?
True
Let j be (3 - 3) + -3 - (-132)/(-4). Let n = 423 + j. Suppose 2*a + 3*q = 243, -a + 3*q + n = 2*a. Is 18 a factor of a?
True
Suppose -f = -16*f + 9*f + 56754. Is f a multiple of 9?
True
Let a = 7 - 13. Let d(l) = 2*l**2 + 6*l + 6. Let f be d(a). Suppose f*p = 43*p - 99. Is 46 a factor of p?
False
Suppose 3*p = 5*x - 16716 - 20912, 5*x + 3*p = 37622. Is 118 a factor of x?
False
Suppose -4*u = -u - 36. Suppose 0 = 3*g - u, g + 2*g = -2*j + 6. Let z(q) = 4*q**2 + 5*q - 2. Is 4 a factor of z(j)?
False
Let r = 4046 + 197. Is 9 a factor of r?
False
Suppose 0 = -12*l - 10*l - 182556. Is l/(-14) - (-36)/126 a multiple of 80?
False
Let c be (4 + 9/(-6))*-2*69. Let r = 640 + c. Suppose r = 6*y - 245. Is 9 a factor of y?
True
Let z be (0 + -2)/((-46)/(-161)). Let t(p) = 4*p**2 + 4*p - 18. Does 15 divide t(z)?
True
Let p(a) = -129*a + 157. Let o be p(-7). Suppose -3*l = 5*i - o, -1065 = -4*i - i - 4*l. Does 41 divide i?
False
Suppose 98*u - 1457680 = 4278288 + 985068. Is u a multiple of 182?
False
Let s = -65 + 71. Suppose -8*r + 5*r = s. Is (-1790)/(-14) - r - 4/(-28) a multiple of 26?
True
Suppose -5*q - j - 3*j + 53 = 0, -3*j - 30 = -4*q. Suppose -h + 75 + q = 2*n, -2*h + 2*n = -144. Let i = h + 22. Does 14 divide i?
True
Let n(j) be the second derivative of 7*j**4/12 + 7*j**3/6 - 17*j**2/2 + 4*j. Is 6 a factor of n(-7)?
False
Let l(s) = 8*s**2 + 26*s - 324. Is l(32) a multiple of 10?
True
Suppose -3*h = v - h - 4, 3 = -h. Suppose -v*a - a = -2948. Suppose 4*k + 4*o - 68 = 268, -a = -3*k + 5*o. Does 19 divide k?
False
Let p(h) = -19*h**3 + 3*h**2 + 2*h. Let t = -84 - -83. Let y be (0 + t)/(2/2). Does 10 divide p(y)?
True
Let y(j) = j**3 + j**2 + 4*j - 9. Let t be y(0). Is 2 a factor of 3/(t/840)*(-14)/35?
True
Let i = 38 + -33. Suppose 340 = i*v - 10. Suppose -2*z + 20 = 4*h, 4*z - 3*h + h = v. Is z a multiple of 7?
False
Let h(v) = -v**3 + 6*v**2 + 81*v + 1627. Is 20 a factor of h(-36)?
False
Let c = 586 + -584. Suppose 42*q = 38*q - c*n + 166, -58 = -2*q + 4*n. Does 9 divide q?
False
Let g