6. Is 16 a factor of h(6)?
False
Let q = 2618 + -1991. Does 19 divide q?
True
Let u(n) = 3*n**3 + 13*n**2 + 24*n - 9. Let k(j) = -13*j**3 - 53*j**2 - 97*j + 35. Let z(a) = -2*k(a) - 9*u(a). Is 33 a factor of z(-10)?
False
Suppose 0 = -4*n - 3*a + 1937, n = 3*a + 166 + 337. Does 20 divide n/56*7 + 2/(-2)?
True
Suppose 0 = p + 4*v + 15, 0*p + p - 5*v - 12 = 0. Let j be 54/9*(-1)/p. Suppose 141 = l + j*l. Does 6 divide l?
False
Suppose -3*o - 16*b = -15*b - 1076, 2*o - 694 = 4*b. Let y = o - 139. Is 8 a factor of y?
False
Let h(d) be the second derivative of -16*d**3/3 + 299*d**2/2 + 28*d. Is h(-22) a multiple of 36?
False
Let o = 2345 - 3331. Let w = o - -1431. Is w a multiple of 30?
False
Suppose 0 = -77*z + 79784 + 14926. Is 6 a factor of z?
True
Suppose 0 = 26*w - 30*w + 8. Suppose 0 = w*u - 99 - 393. Is u a multiple of 21?
False
Suppose -2*a + 8196 = 3*w, -11*a = -4*w - 13*a + 10928. Is w a multiple of 53?
False
Is 26 a factor of 6310 - (-16 + 4 - -1)?
False
Suppose 0 = -5*z + 4*m - 49054, 8*m - 5*m = -2*z - 19617. Is (45/12)/(z/(-1632) + -6) a multiple of 17?
True
Let h = 31 + 294. Let l = -36 + h. Is 18 a factor of l?
False
Suppose -122*t + 5270879 + 332185 - 885080 = 0. Does 48 divide t?
False
Let p(d) = 5*d**2 - 8*d - 800. Is p(46) a multiple of 13?
True
Suppose 26*b = -220*b + 227709 + 189261. Is b a multiple of 12?
False
Let j(i) = 7*i**2 - 9*i + 0*i - 4*i**2. Let z(o) = 20*o**2 + 61*o - 4. Let x be z(-3). Does 35 divide j(x)?
True
Let r(y) = y + 14. Suppose -5*h - 9 - 46 = 0. Let w be r(h). Let d = w + 15. Is d a multiple of 9?
True
Suppose -18 = 7*o + 2*o. Let r(b) = b - 3 + 75*b**2 + 1 - 1 - 50*b**2. Does 19 divide r(o)?
True
Let k = -10520 + 19313. Does 9 divide k?
True
Let i = -26889 + 62379. Is 15 a factor of i?
True
Suppose 5*j + 13 = x, -x + j + 6 = 1. Suppose c - 1 - 4 = s, x*c = s - 3. Does 22 divide 9*(-3)/s*44?
True
Let m = 923 - 459. Suppose -15*s + m = -11*s. Is s a multiple of 8?
False
Is 1 + 4/(-5) - (-8 + 946872/(-40)) a multiple of 40?
True
Let y(o) be the second derivative of 353*o**4/6 - o**3 + 7*o + 4. Is 6 a factor of y(1)?
False
Let z be 1/((-2)/24)*(-14)/(-21). Let l(w) = -2*w**2 - 15*w + 11. Let f be l(z). Suppose -5*y - f*d + 238 = -6*d, -4*y + 216 = 4*d. Is y a multiple of 10?
True
Let l be ((-4533)/27 - (-2)/(-18)) + 3. Let n = -70 - l. Is n a multiple of 33?
False
Suppose -6*m + m - 5 = 5*a, 3*a + 6 = -4*m. Let t(q) = 189*q**3 + 2*q + 3*q**2 + 4*q**a + 12 - 190*q**3. Is 17 a factor of t(7)?
False
Let s(h) = 9 - 5*h**3 + 70*h**3 - 5*h**2 + 9*h - 66*h**3. Is 4 a factor of s(-11)?
True
Suppose -5*z = 6*t - t - 55050, -2*z + 55032 = 5*t. Is 17 a factor of t?
False
Let v be 23/7 + (-4)/42*3. Suppose -b + 2*i + 14 = 0, 0 = b - 2*i + v*i + 1. Suppose -b*c + 22 = -38. Is 15 a factor of c?
True
Is 25 a factor of ((-24820)/6)/(-1 + 3/9)?
False
Let j = 37068 + -25526. Is j a multiple of 58?
True
Let q(u) = u**3 + 20*u**2 - 17*u - 36. Let z = 619 + -632. Is 19 a factor of q(z)?
True
Let q(t) = -t**3 - 55*t**2 - 165*t + 257. Is 5 a factor of q(-53)?
False
Suppose 56366 = 3*x - 11*y - 11389, -3*y = x - 22605. Is x a multiple of 14?
True
Suppose -26*w = -14*w + 21*w - 166617. Is 5 a factor of w?
False
Does 14 divide -4 - (-6 + 1) - 1/((-1)/10987)?
False
Suppose 0 = n - 39 - 11. Suppose 0 = -51*b + n*b + 280. Is b a multiple of 20?
True
Suppose 78420 = 4*c + 2*u, -301*c + 296*c = 4*u - 98016. Does 114 divide c?
True
Let a(f) = -24*f + 6263. Is a(0) a multiple of 104?
False
Suppose 3*g + 36 + 213 = 0. Let y = 163 + g. Is y a multiple of 40?
True
Let t(i) = -i**3 + 5*i + 30360. Is t(0) a multiple of 33?
True
Let m(s) = -9*s + 13 - 51*s**2 + 4 - 16*s + 53*s**2. Does 11 divide m(19)?
True
Is (-2354 + 2)*(-49 - -48) a multiple of 24?
True
Is ((-90)/60)/((-9)/52014) a multiple of 22?
False
Let q = -308 + -79. Let u = q + 702. Let k = u + -186. Does 31 divide k?
False
Let b = -1720 - -1216. Let f = b - -867. Suppose f = 5*g + 4*o - o, g = -2*o + 67. Does 25 divide g?
True
Suppose 7*u - 168 = u. Suppose -l = u - 296. Does 16 divide l?
False
Let m(f) = 40*f**2 + 30*f - 43. Does 75 divide m(-11)?
False
Is ((-139980)/(-40) + 25)*(6 + 0) a multiple of 19?
True
Suppose 127766 = 183*f - 115990. Does 9 divide f?
True
Let c = -8 - -17. Let z(u) = -3 + 7*u - 4*u + 4. Is z(c) a multiple of 11?
False
Let m be (-1)/3 + 7/3. Let b be ((-2)/(-3))/(m/(-36)*-6). Suppose -b*q = r - 30, 3*q - 5 = 1. Is 26 a factor of r?
True
Let j be 6 + (4 - (2 + 8)). Suppose 2*z - 4*o - 18 = j, -4*z - o = o - 76. Is z a multiple of 17?
True
Suppose -2*s = 5*n - 0*n + 67, -4*n - s = 56. Let u = n + 19. Suppose 3*l = 0, 2*d - 324 = -2*d + u*l. Does 9 divide d?
True
Let y be (-1 - -2) + (33 - 29). Does 3 divide (-2 - y - -8)/(5/755)?
False
Let q(p) = -5 + 6 - 4*p - 3. Let m be 12/(-27) + (-14)/9. Is 6 a factor of q(m)?
True
Let j(v) = 6*v**2 - v + 4. Let q be j(4). Suppose -3*z + 2*l = q, -z = 3*z - 2*l + 126. Let m = z - -42. Is 12 a factor of m?
True
Suppose 3*i - 2*z + 100 = i, 2*i + 97 = -z. Let r be i/(-2) + (-2)/4. Suppose -4*h + r = -196. Is 11 a factor of h?
True
Let r(w) = 149*w**2 - 43*w - 543. Does 7 divide r(14)?
False
Is 47 a factor of 46008/3*131/262?
False
Suppose 4*f - 70 + 273 = -5*z, 4*f + z = -223. Let h be (3/(-2))/(f/190). Suppose 0*t - h*w = -5*t + 140, 2*w = 0. Is 4 a factor of t?
True
Let n be (-3)/(6/(-5))*(0 + -6). Let a be (-1)/3*n + -2. Is (-2*a + 0)*8/(-4) a multiple of 4?
True
Let g(p) = -8*p - 29. Let m be g(-2). Is 38 a factor of (16458/(-4))/m*4/6?
False
Suppose -9*v = 14*v - 31165. Suppose -1925 - v = -16*o. Is 7 a factor of o?
False
Let l = 637 + -232. Let u be (18/(-15))/((-3)/10). Suppose 0 = -u*m - m + l. Does 24 divide m?
False
Let x(i) = -i**2 + 10*i + 15. Let j(v) be the first derivative of -v**2/2 + 16*v - 23. Let f be j(6). Does 2 divide x(f)?
False
Let m(y) = -249*y + 923. Is m(-46) a multiple of 10?
False
Let g = -32 - 225. Suppose -8333 + 1778 = -15*p. Let l = p + g. Is 45 a factor of l?
True
Is (-267531)/(-44) + 5/(-60)*3 a multiple of 20?
True
Let i(t) be the first derivative of -t**6/60 - t**5/60 - t**4/8 - t**3/3 - 3*t**2/2 - 11. Let k(h) be the second derivative of i(h). Is k(-2) a multiple of 8?
True
Let w = -197 + 212. Let i(d) = -3*d**2 + 50*d - 20. Does 22 divide i(w)?
False
Suppose 819 = -2*s - 5*s. Let c = 120 + s. Suppose c*o - o + 5*m = 303, 282 = 2*o - 2*m. Does 36 divide o?
True
Suppose -20*v + 17*v = -8*v. Let s(m) = 29*m + 338. Is s(v) a multiple of 13?
True
Suppose 11*u = -2 + 24. Suppose -4*h = -u*o - 194, -2*o - 181 - 61 = -5*h. Is h a multiple of 6?
True
Let y = -66 + 41. Let z = y - -29. Suppose -4*x - 5*i + 516 = -309, 2*x = -z*i + 420. Is x a multiple of 10?
True
Let g(d) = -3*d**3 - 19*d**2 + 39*d + 33. Is g(-11) a multiple of 11?
True
Suppose 3 = -5*i - 2, 0 = -4*n - 2*i + 10. Let j be (-80)/12*(-1 + n/(-15)). Suppose -6 = 6*f - j*f. Is 3 a factor of f?
True
Let x(f) = 10 + 121*f + 8*f**3 - 127*f + f**3 - 2*f**2. Is 24 a factor of x(5)?
False
Let u(d) = 53 + 287*d**2 + d - 302*d**2 + d**3 + 0*d**3. Is u(16) a multiple of 29?
False
Suppose 211*c = 196*c + 30. Is 5 a factor of (197/c)/(-4 - 45/(-10))?
False
Let j(v) = -1. Let w(r) = -r**2 + 22*r + 14. Let i(m) = -5*j(m) - w(m). Let h be i(22). Is 15 a factor of 11/h + 1 + (-11214)/(-162)?
False
Let x = 40029 - 20346. Is 13 a factor of x?
False
Suppose 3*a - 59879 = -4*l - l, -a - 4*l = -19976. Does 11 divide a?
False
Let q(t) = 53*t + 2962. Is q(56) a multiple of 14?
False
Let f = 65 - 61. Suppose -f*u = -4*d + 108, 5*d - 108 = -3*u + 43. Does 10 divide d?
False
Let m(r) = -2*r**3 - 2*r**2 + 10*r - 3. Let d(j) = j**2 - 12*j - 26. Let o be d(14). Let g be ((-141)/(-27) - o/9)*-1. Is 21 a factor of m(g)?
True
Let y(q) = -36*q + 31. Let u(d) = -38*d + 31. Let f(j) = 2*u(j) - 3*y(j). Is f(13) a multiple of 15?
False
Let a be ((-980)/50 - -16)*(-20)/(-6). Does 27 divide 1085/62*a*(-15)/7?
False
Let r(b) = -50*b - 19. Let x be r(-8). Suppose 5*j + x = 3*o - 394, 2*j + 4*o + 284 = 0. Does 10 divide j/24*9/(-3)?
False
Let q(j) = 2*j**2. Let u(a) = -5*a**2 + 22*a + 161. Let k(g) = 5*q(g) - u(g). Is 25 a factor of k(-8)?
True
Let v = 288 - 282. Does 13 divide 1402*(-2)/(-8) - 3/v?
False
Suppose -2861 = -18*a + 199. Let r = a - 34. Is r a multiple of 8?