+ 92. Is 17 a factor of h(0)?
False
Suppose -4*w = -w + 24. Let o = w + 6. Is 3 - (-1)/o*2 even?
True
Suppose 0 = 2*k + g, 0 = 2*k + 5*g - 8*g - 8. Let r be k*(6 + -3) + -1. Is 20 a factor of 39 + (-4)/r + 3?
True
Suppose 0 = z - 3*z. Let x(k) = 1 + 3*k - 2*k + 44. Is x(z) a multiple of 15?
True
Let y be -3 + (0 - (-3 - -3)). Let x(o) = -2*o - 1. Let c be x(y). Suppose -3*q + c*f + 67 = 0, 5*q - 3*f + 0*f - 101 = 0. Is 13 a factor of q?
False
Suppose 0 = 3*l + l, 4*l - 4 = -2*p. Suppose -2*q = q + p*h + 7, 0 = -q - 2*h - 9. Let m(b) = 22*b. Does 6 divide m(q)?
False
Let a(u) = 6 + 14*u + u**3 - 1 + u**2 - 16*u. Is a(3) a multiple of 16?
False
Suppose 10 = 3*j + 7. Is j/(-2) + (2 - 234/(-4)) a multiple of 24?
False
Let s(o) = 5*o**2 - 63*o - 11. Does 13 divide s(15)?
True
Let y(q) be the second derivative of q**8/6720 + q**7/126 + 29*q**5/120 + q**4/2 + 7*q. Let d(z) be the third derivative of y(z). Does 11 divide d(-20)?
False
Let r be (-8)/12*-6*4. Suppose -x - 5*u - 4 = -r, -2 = 2*x - 3*u. Is 2 a factor of x?
True
Let g = 36 + -13. Let b = g + -8. Is b a multiple of 5?
True
Let h(n) = -n**3 - 9*n**2 + 42*n + 355. Is h(-14) a multiple of 17?
False
Let d(p) = -7*p - 31. Let u be d(-18). Let f = 151 - u. Is f a multiple of 15?
False
Let c(s) = 181*s - 8. Let z(r) = 180*r - 7. Let l(d) = 5*c(d) - 6*z(d). Is l(-1) a multiple of 39?
False
Let l(a) = -5*a - 2. Suppose 5*o + f = -26, 6*f = -5*o + 3*f - 28. Is 12 a factor of l(o)?
False
Suppose -4*v - 12 = -2*u, 4*u + 2*v - 5*v = 14. Suppose 0 = -3*c + q - 2 - 4, c = -u*q - 9. Is c/((-3)/(-2))*-11 a multiple of 22?
True
Let v = -47 - 42. Is 16 a factor of (2 - 1)/((-1)/v)?
False
Suppose 10*w - 6*w = 36. Let j = -3 + w. Does 6 divide j?
True
Let c = 26 - 16. Let v be (126/(-45))/(2/c). Let s = 27 - v. Is s a multiple of 14?
False
Suppose -3*g + 2*y = -7, 0*y + 3*y = -5*g - 1. Let a be -1*((-2)/g + -45). Suppose a + 49 = 4*q. Does 8 divide q?
True
Suppose -n + 3*x = -5, 4*n + 3*x - 20 = -0*x. Let a = -3 + n. Suppose a*k = 10 + 20. Does 9 divide k?
False
Suppose 5*n = 3*n. Suppose -6*d + 5*d + 104 = 4*s, 3*d = n. Is 19 a factor of s?
False
Let r be (-2)/((-40)/(-15) - 3). Suppose r*f = 7*f - 45. Does 34 divide f?
False
Suppose -5*i = -835 + 235. Is 12 a factor of i?
True
Let b(g) = g**3 - 11*g**2 - 5*g + 7. Let h be b(12). Let n = h + -71. Is 10 a factor of n?
True
Let v be ((-14)/4)/((-2)/4). Suppose 29 = v*r - 6*r. Is 29 a factor of r?
True
Suppose 4*v + 5*c + 1772 = 0, 5*v + 5*c + 64 + 2156 = 0. Does 16 divide v/(-35)*(13 + -3)?
True
Suppose -10 = -c + 6. Let r(h) = -20 + 32 - c + 13*h. Does 7 divide r(2)?
False
Let a = -20 + 20. Suppose -380 = -5*l - a*l. Is l a multiple of 30?
False
Let g = 683 - 401. Does 11 divide g?
False
Suppose 20 = -w + 4*l, 8 + 2 = -5*w + 2*l. Suppose a - 3*a + 150 = w. Is 17 a factor of a?
False
Let n be 3 - -1 - (-8 + -23). Is 28/n - (-4755)/25 a multiple of 37?
False
Does 24 divide ((-252)/90)/(-2*(-3)/(-360))?
True
Let n = -233 - -275. Is 3 a factor of n?
True
Let b(z) = -z**2 - 5*z - 2. Let h be b(-2). Suppose -4*d = 2*j + 8, -5*j + h = 5*d + 19. Is 18 a factor of ((-12)/10)/(d/75)?
True
Let x = 34 + 93. Suppose x + 169 = 4*n. Does 13 divide n?
False
Suppose -6*b + 4*c = -4*b - 26, 0 = 5*b - 5*c - 55. Suppose b*v + 144 = 13*v. Is 14 a factor of v?
False
Suppose 0 = 3*z - 2*z. Suppose z = o - 2*j - 65, -3*o + 3*j + 78 + 120 = 0. Is 25 a factor of o?
False
Let y = 592 - 304. Does 16 divide y?
True
Let t = -97 + 44. Let z = 19 - t. Is 12 a factor of z?
True
Let q = -3 - -6. Let u be (-3 + q)/(0 - 2). Let v(y) = -y**3 + y + 16. Is 8 a factor of v(u)?
True
Let j be 1 - (-3 - -4 - 1). Let o = 4 + j. Suppose o*v - 180 = -0*v. Does 12 divide v?
True
Suppose 4*u + 1 - 13 = 0. Let k(s) = 0 + 0 + 2 - u*s + 3. Is k(-3) a multiple of 9?
False
Does 43 divide 0 + 2/4 - 4641/(-6)?
True
Let w be 198*1 - (-1 - -2). Let z = w + 77. Does 34 divide z?
False
Let f = 94 - 84. Let z = f + 17. Is 9 a factor of z?
True
Let h(n) = -n**3 - 3*n**2 + 20*n + 14. Let p be h(-6). Let m(q) = -q**3 + 2*q**2 - q. Let u be m(1). Suppose p*g + u*g = 50. Does 9 divide g?
False
Let q be (1 - -49)*(2 - 1). Suppose 0 = -t - 2*t - 39. Let v = q + t. Is 25 a factor of v?
False
Suppose 3*q + 552 = -4*g, g + 0*q - 3*q + 123 = 0. Let k = g + 167. Is 8 a factor of k?
True
Suppose 41*i - 303 = 38*i. Does 15 divide i?
False
Let g(q) = -q**3 + 3*q**2 + 5*q + 5. Let s = 70 + -73. Is 13 a factor of g(s)?
False
Let j(b) = b**3 - 6*b**2 + 6*b - 7. Let v be j(5). Let n(i) = 4*i**3 + i - 2. Let p be n(v). Let k = 63 + p. Is k a multiple of 7?
False
Let m = -797 + 1127. Suppose 0 = 4*x + x + m. Let v = -23 - x. Is v a multiple of 10?
False
Let a = -20 + 19. Does 2 divide -45*3/9*a?
False
Let d(w) = 2*w**2 + 20*w + 26. Suppose -2*n + 2*x - 38 = 0, -x + 1 = -4. Is d(n) a multiple of 9?
False
Suppose 0 = 33*l + 24*l - 250800. Is l a multiple of 16?
True
Let l(z) = -z**3 + 15*z**2 - 15*z + 14. Let m be l(14). Let s be m + (-15 - -4) + -3. Let d = s + 25. Is 9 a factor of d?
False
Let q = 271 - 44. Let x = 319 - q. Does 4 divide x?
True
Let a = -590 - -1073. Is 10 a factor of a?
False
Let l(q) = 3*q**2 - 7*q + 23. Let f be l(-7). Suppose -921 = -6*r + f. Is r a multiple of 38?
True
Let v(o) be the first derivative of o**4/4 + 10*o**3/3 - 3*o**2 + 7*o + 4. Let w be v(-10). Let q = w + -16. Does 16 divide q?
False
Does 16 divide ((-14396)/(-18) - 0) + (-4)/(-18)?
True
Does 49 divide (-2)/3 + (-4172)/(-12) + 4?
False
Suppose m = -2*t - 2 + 3, 4*m - 14 = -3*t. Suppose 3*g = m*g - 56. Suppose 2*w - 10 = g. Is 11 a factor of w?
False
Suppose -2*v + 3*a + 40 = 0, 2*v - 3*a - 36 = a. Let c = v - -55. Does 35 divide c?
False
Let p(i) = i**2 + 20. Let r be 10*(-7)/((-35)/(-4)). Does 28 divide p(r)?
True
Let a(k) = -4*k**2 + 9*k - 20. Let j(p) = 9*p**2 - 19*p + 39. Let n(o) = -7*a(o) - 3*j(o). Let s be n(10). Does 14 divide (s/36)/((-1)/(-32))?
True
Let a(n) = -2*n**3 - n**2 - n - 2. Let y be a(-2). Let o = 8 + y. Suppose 0 = -5*d + 5, -2*p - 4*d = -5*p + o. Is p a multiple of 8?
True
Suppose -19*k + 14*k - 60 = 0. Suppose -5*m - 332 = 103. Is 13 a factor of m/(1/(8/k))?
False
Does 5 divide 8/(-44) + 27243/99?
True
Is (1 - 2 - -68) + (-22)/11 a multiple of 2?
False
Let j(k) = -k**3 - 55*k**2 - 11*k + 234. Is j(-55) a multiple of 61?
False
Suppose 5*m = 3*j - 734, -4*j - 5*m - 676 = -1713. Suppose 0*i + 4*t - 188 = -3*i, -4*i = 3*t - j. Is 32 a factor of i?
True
Is 5 a factor of (639/24 + -13)/(3/24)?
False
Suppose 3*r + 0*c = 3*c, -c = -4*r. Suppose -u - s = -4*u + 75, 4*u + s - 93 = r. Is u a multiple of 6?
True
Suppose 25*u - 21*u - 348 = 0. Let a = 141 - u. Is a a multiple of 27?
True
Let w be (-1)/1 - 26/(-2). Let k = -8 + w. Is k a multiple of 4?
True
Let z be 1 + 6 + 24/8. Suppose 4*n = -z + 18. Suppose -n*d = 19 - 139. Is d a multiple of 20?
True
Let m = 736 + -409. Suppose -3*v - 3*h = -m, h - 742 + 213 = -5*v. Is 35 a factor of v?
True
Let c = 0 - -4. Suppose -4*o - 2*x = x - 12, -5*o + 3*x - 12 = 0. Suppose -c*g + 33 = a, -18 = -o*a - a + g. Does 7 divide a?
True
Suppose -l = 2*f + 2*l - 82, 3*f - 137 = -l. Let q = 120 - f. Let b = 128 - q. Is b a multiple of 15?
False
Suppose -4*c + 54 = 2*p, 2*p = 3*p - 3*c - 2. Suppose p*n - 420 = 14*n. Does 22 divide n?
False
Let g(x) = -232*x - 16. Is g(-1) a multiple of 3?
True
Suppose -88 = -2*p + 2*s, 3*p - 5*p - s = -85. Let z = p + 18. Is z a multiple of 9?
False
Let v = 142 - 28. Let u = 107 + -83. Suppose -2*q = -u - v. Is q a multiple of 38?
False
Suppose 4553 + 1227 = 5*m. Is 17 a factor of m?
True
Suppose -4*y + 4 = 2*i, -2*y - 3*y - 1 = 4*i. Let f be y/(-9 + 0)*-27. Let n(m) = m**3 - 7*m**2 - 14*m + 9. Is 15 a factor of n(f)?
True
Let u be (-671)/(-77) + (-2)/(-7). Is 1*u + 11/((-11)/2) a multiple of 5?
False
Let o = 367 + -149. Does 22 divide o?
False
Is 502/(-18)*-2 - (-72)/324 a multiple of 14?
True
Let i = 15 + -24. Let p be (-4)/6 + 30/i. Does 10 divide 2*((-46)/p - 0)?
False
Suppose 110 = -0*l + l - 3*m, -m = 5*l - 630. Let p = l + -60. Is p a multiple of 7?
False
Let l(m) = -461*m**3 - m**2 + 2*m + 3. Let a be l(-2). Suppose a - 533 = 14*x. Is 12 a factor of x?
False
Suppose 3*q - d = 30, -5*q - d + 25 = -3*q. Suppose 4 = n + 4*f - 8*f, -13 = -n - 5*f. Let i = q - n. Does