Does 8 divide h?
True
Suppose 31*d - 36*d = -10, -4*d = -2*q + 7788. Does 49 divide q?
False
Suppose 0 = -3*w - 0*w + 6510. Suppose -6*k - 2*f + w = -2*k, 0 = 3*k + 2*f - 1626. Is 68 a factor of k?
True
Suppose -3*a = 0, -2046 = -6*x + 4*x + 4*a. Is 33 a factor of x?
True
Suppose -l - 1806 = -5*n - 5136, -9940 = -3*l + 5*n. Is l a multiple of 56?
False
Let q = 76 + -64. Suppose -4*m + 4*x + 1660 = 0, 16*x + 1240 = 3*m + q*x. Is m a multiple of 30?
True
Let o be (-3)/(-2) + (-275)/(-10). Suppose 11 = 5*z - o. Suppose 0 = -z*v + 3*v + 420. Does 12 divide v?
True
Let t = 21 + -13. Suppose -z + 2 + t = 0. Let g(p) = 2*p**2 - 6*p - 22. Does 11 divide g(z)?
False
Let y = 902 - 503. Suppose i + 5*v - 3*v = y, -2*i - 3*v + 797 = 0. Let z = i - 92. Is z a multiple of 37?
False
Suppose 4*h = -0*h - 280. Let m = h + 74. Suppose 5*j + i - 371 = 0, -m*i - 82 = -j + 9. Is 52 a factor of j?
False
Let j = -29 + 30. Let i be (13 - -5) + (-1 - j). Is i/(-120) + (-452)/(-15) a multiple of 21?
False
Let b(a) = -a**2 + 44*a - 6. Let n be b(44). Is 27 a factor of (7 - (216 + 4))/(9/n)?
False
Is 17 a factor of (744/16 - 4)*((-4455)/(-25) + -3)?
True
Suppose -1 = -4*d - 13, 2*w - 2*d - 260 = 0. Suppose 493 = 4*s - w. Does 31 divide s?
True
Let c = 212 - 206. Is 10/4 + c/4 a multiple of 3?
False
Suppose -u - b + 8 = 4*u, -u + b + 4 = 0. Suppose -4*y + 7*y + 4*o - 683 = 0, -3*o = -u*y + 444. Suppose -9*i = -14*i + y. Is i a multiple of 17?
False
Suppose 61*d - 12 = 59*d. Suppose 0 = 5*y - d*y + 14. Let s(w) = w**2 - 10*w - 22. Is 20 a factor of s(y)?
False
Let k(y) = 129*y**3 + 8*y**2 + 10*y + 4. Let n(c) = 258*c**3 + 15*c**2 + 19*c + 8. Let p(d) = 5*k(d) - 3*n(d). Is 73 a factor of p(-2)?
True
Let u(d) = -d**3 - 9*d**2 + d + 12. Let l(q) = -q - 16. Let w be l(-6). Is 3 a factor of u(w)?
True
Let y(i) = 10 - 7 + 2*i**3 + 13 + 6*i**2 - 9*i**2 - 3*i**3 - 10*i. Is 24 a factor of y(-10)?
True
Is 6 a factor of (-34)/(-136) - (-2 - 67401/12)?
False
Suppose -461*q = -458*q - 27756. Does 29 divide q?
False
Suppose -d + 2039 = -3*p, -29*d + 2*p + 6166 = -26*d. Is d a multiple of 20?
True
Suppose 4*d - 107946 = -2*t, 4*t = -d + 24103 + 2894. Is 17 a factor of d?
False
Let i(l) = 89*l + 2985. Is 15 a factor of i(43)?
False
Let n(p) = -8*p**3 - 8*p**2 + p + 3. Let l(s) = -s**3 - s**2 - s + 1. Let u(i) = -6*l(i) + n(i). Let k be u(-4). Let d = k + -21. Is 10 a factor of d?
False
Suppose -4*p - 2056 = 716. Let a = p + 1125. Does 48 divide a?
True
Let f be (-12)/(2 + -6 + (-8622)/(-2151)). Let r = -846 - f. Is r a multiple of 42?
True
Suppose -2*h + 5465 + 1277 = -4*i, h = -5*i + 3399. Does 3 divide h?
False
Let h = -45 - -6. Does 28 divide h/52 - (-230)/8?
True
Let s(z) = 317*z - 301. Does 131 divide s(15)?
True
Let o(i) = i**3 + 51*i**2 - 106*i + 7. Let m be o(-53). Suppose -3*h + 5 + m = 0, -3*h + 1260 = 4*s. Is s a multiple of 23?
False
Suppose 3*m - 20 + 14 = 0. Suppose 0 = 2*s + 4*q + 602, -m*s + 5*q = 2*s + 1230. Let r = s + 481. Is 22 a factor of r?
True
Let x(p) = -p**3 + 12*p**2 + 32*p - 33. Let c be x(14). Let q = c + 49. Is q a multiple of 18?
True
Let f(t) = 39*t**2 - 30*t - 9. Does 62 divide f(-5)?
True
Let o = 402 - 213. Let f = o + -117. Suppose n = -24 + f. Does 16 divide n?
True
Let l be 10/8 + (-14)/(-8) + -1. Suppose -l*f - 2*f + 8 = 0. Is 93 + 2*f/1 a multiple of 18?
False
Suppose 969*n = 953*n + 6800. Is 53 a factor of n?
False
Suppose 0 = 2*g - 443 + 91. Let y = g + -128. Is 3 a factor of y?
True
Let b(x) = 5721*x**2 + 275*x - 276. Is b(1) a multiple of 20?
True
Let z(y) = -y**3 + 26*y**2 - 33*y + 87. Let r be z(23). Suppose 923*g = r*g + 160. Does 8 divide g?
False
Let w be 1/6 - (2/2)/6. Suppose w = -9*z + 6*z + 9. Suppose -3*l + 251 = -5*p - 18, 0 = z*l - 2*p - 266. Is 11 a factor of l?
True
Let c = 101963 + -60612. Is 114 a factor of c?
False
Suppose 3*q - 506*a = -505*a + 5538, 5*q + 4*a = 9230. Is q a multiple of 2?
True
Let o(d) be the second derivative of 239*d**4/12 - d**3/3 + 3*d**2/2 - 44*d. Is o(1) a multiple of 20?
True
Let c = -73 - -77. Suppose 9*n = -c*n - n. Suppose n = 2*v - 3*v + 5*q + 257, 2*q = -2. Does 42 divide v?
True
Suppose -4*h = -12*u - 1452, -5*h - 10*u + 1805 = -15*u. Does 2 divide h?
True
Suppose 14*i = 17*i + 9, -i = n + 3. Let k(u) = -u**2 - 14*u + 496. Is 16 a factor of k(n)?
True
Suppose -3*o + 4*k - 17 + 1 = 0, k - 4 = -4*o. Suppose -56*w + 64*w - 2016 = o. Is w a multiple of 7?
True
Suppose -26*l - 404 = -21516. Does 12 divide l?
False
Suppose 0 = -12*f + 9*f - 1773. Let m = 312 + f. Let p = -187 - m. Does 23 divide p?
True
Let v = 211 + -208. Suppose -2999 - 202 = -3*b + 4*t, v*b - 3198 = 3*t. Does 11 divide b?
False
Suppose 2*r + u + 79 = 3*r, r - 2*u = 76. Let q = -73 + r. Is (-1988)/(-44) - (q/(-11) + 1) a multiple of 9?
True
Let c(z) = -z**2 + 4*z + 8. Let n be c(5). Suppose -4*u - n*u + 686 = 0. Is 14 a factor of u?
True
Suppose -8*q = q - 1602. Let c = -157 + q. Does 9 divide c?
False
Is 17 a factor of (-9 - 21*1/(-3)) + 322?
False
Suppose 328*j = 24*j + 937879 + 2597641. Is 11 a factor of j?
False
Suppose 2*d - 4*d = -2*p + 4, -5*p = -3*d - 8. Let n(s) = -s**3 + 14*s**2 - s + 12. Let a be n(14). Is ((p - 5) + -32)*a a multiple of 9?
True
Let s(n) = -1713*n + 2442. Is s(-8) a multiple of 46?
True
Let a be (-4)/3*((4 - 13) + -3). Let y be -505*a/30*(-9)/(-12). Let r = 292 + y. Does 18 divide r?
True
Let c(o) = -17*o - 5. Let p(j) = 6*j - 77. Let v be p(9). Is 7 a factor of c(v)?
False
Let r(t) be the third derivative of t**6/360 + t**5/120 + t**4/3 + 4*t**3/3 - 12*t**2. Let n(b) be the first derivative of r(b). Is 19 a factor of n(-6)?
True
Let h(d) = 18*d + 6. Let t be h(0). Is t - (-8 + 6)*17 a multiple of 4?
True
Suppose -z - 3*l + 10 = 0, -20*z + 25*z - 10 = -5*l. Let h(r) = 5*r**2 - 2*r + 1. Let g be h(1). Does 10 divide g/z - (-54 + -2)?
False
Suppose 0 = -191*x + 198*x - 30114. Does 18 divide x?
True
Let m(s) be the third derivative of s**5/12 + 19*s**4/24 - 4*s**3/3 - 4*s**2 - 2*s. Is 4 a factor of m(4)?
True
Suppose 0 = 14*z + 11*z + 25. Is 155*(-3 + 3 + z)*-7 a multiple of 31?
True
Let i be 26/(-10) - (-3 + 17/5). Let w(b) = -72*b + 8. Let o be w(i). Suppose -2*z + 0*z + o = 0. Is z a multiple of 16?
True
Let u = -276 - -240. Is 198/u*(-5 + (-2 - -3)) a multiple of 22?
True
Let k be (-4 - -6)/((1/4*-4)/25). Let i be (89 - 1/1) + -2. Let f = k + i. Does 18 divide f?
True
Suppose -x + 16*x - 570 = 0. Let p = x - -817. Does 57 divide p?
True
Let d = -91 + 111. Suppose -2*c + 3*f + 46 = 0, -5*f + d = -10*f. Is c a multiple of 17?
True
Let u(s) = 52*s**2 - 3*s + 2. Let q = -73 - -89. Suppose 4*b - 3*n = q, -b - 2*n - 7 = -0*b. Is 15 a factor of u(b)?
False
Let d(x) = 30*x - 15. Let r(o) = -o. Let u(f) = -f - 1. Let v(i) = 6*r(i) - 5*u(i). Let w be v(0). Is d(w) a multiple of 27?
True
Let x = -2425 + 2543. Is 3 a factor of x?
False
Let w be (21/6 - 1)*(-1962)/(-15). Suppose w + 183 = 2*g + 5*k, -1056 = -4*g - k. Is 53 a factor of g?
True
Let q = 28027 - 27742. Is q a multiple of 3?
True
Let h = 2315 - 600. Is h a multiple of 49?
True
Let w(s) = s**3 + 34*s**2 - 26*s - 13. Let z be w(-35). Let g = -229 - z. Is g a multiple of 9?
True
Does 5 divide 13968/(-45)*245/(-14) - 8?
False
Let k(x) = 6*x**2 + 2*x - 16. Let c be k(8). Is 7 a factor of -4 - (c/10)/6*-5?
True
Let t(b) = 2*b**2 + 13*b - 4. Let i be t(-7). Suppose -9 - 6 = -i*j - r, 0 = -4*j - 5*r + 20. Is 242/4 + j/20*-2 a multiple of 15?
True
Is 32*(438/1168)/(1/4012) a multiple of 59?
True
Let q(t) = 172*t - 42. Let u be q(5). Suppose -7*x - u = -2*f - 11*x, 0 = 4*x. Is f a multiple of 24?
False
Let d be ((-51)/(-17))/((-3)/(-4)). Suppose -d*v + 2*b = -2212, -4*b = -0*b - 16. Is 15 a factor of v?
True
Let k(l) = l**3 - 19*l**2 - 47*l + 51. Let r be -2 - ((-217)/7 + 7). Does 35 divide k(r)?
False
Suppose 0 = 3*i - 4*f - 10, 5*i - 10 + 4 = -4*f. Suppose m = t + 574, -m + i*t + 570 = -0*t. Is m a multiple of 34?
True
Let j(b) = -26*b - 3. Let o be 1*(-7)/((-14)/(-6)). Let h(u) = -27*u - 2. Let v(r) = o*h(r) + 2*j(r). Does 15 divide v(3)?
False
Suppose 0 = 3*h - 462 - 474. Let y = 337 - h. Does 2 divide y?
False
Let z be (17/(68/552))/((-2)/8). Let v be 4/(-14) + 5/((-105)/z). Suppose -5*o - v = -6*o. Does 13 divide o?
True
Let o be (-3 + 3)/(-1) + 0. Let p = 