) = 590*w + 20. Is h(2) a multiple of 20?
True
Is 63 a factor of -12*16/1152 + (-10729)/(-6)?
False
Let n = 46 + -21. Suppose 0*h - n = -5*h. Let i(w) = 6*w - 7. Does 23 divide i(h)?
True
Let m(a) be the third derivative of -a**6/120 + 3*a**5/20 + 5*a**4/24 - a**3/2 + a**2. Let c be m(9). Is 2 a factor of ((-4)/(-12))/(2/c)?
False
Let q(w) = 7*w**2 - 10*w**2 + 0*w - 9*w - 5. Let p be q(-6). Let j = -35 - p. Is j a multiple of 24?
True
Let w = 9 - 7. Suppose 0 = -w*g - 4*u + 252, 2*g - 3*u = 6*g - 489. Does 30 divide g?
True
Let i = 6 - -3. Let t(j) = j**2 - 9*j + 3. Let a be t(i). Suppose -a*l = -73 - 158. Is 11 a factor of l?
True
Let p be -1 + 2 - (-1 + 1). Let u be ((-2)/1 + 0)*300/(-40). Is (u - p)/(-7 - -8) a multiple of 8?
False
Suppose 3*t - 9 = 0, -2*u + 9 = 3*t - 10. Is u a multiple of 3?
False
Let s = -2770 + 4822. Does 19 divide s?
True
Let w(h) = -h**3 + 4*h**2 - 2*h - 1. Let s be w(3). Let g(y) = 14 - y**3 + 14*y**s - 17*y + 4*y + 5*y - 3*y. Is 10 a factor of g(13)?
True
Let n = 75 + -58. Suppose 0 = 5*j + n - 567. Is 22 a factor of j?
True
Let o(k) = 12*k**2 + 4*k - 1. Is 7 a factor of o(-4)?
True
Let n(p) = -6*p - 17*p**2 - 4*p**3 + 21 + 7*p + 3*p**3. Let q be n(-17). Suppose 120 = 6*l - q*l. Is 20 a factor of l?
True
Suppose 5*f - 288 = -3*q, -32 = -2*f - q + 83. Let t = f + -11. Let i = 101 - t. Is 16 a factor of i?
False
Let v = -439 + 1123. Is 36 a factor of v?
True
Let d be 31 + 1 - (7 + -10). Let q = -62 + d. Let g = 0 - q. Does 4 divide g?
False
Let r = 1381 + -907. Does 18 divide r/4 - -6*2/8?
False
Let i = -7 - -76. Let j = i + -37. Suppose -80 = -5*t - 3*h, -2*t + j = -h - 0*h. Is t a multiple of 6?
False
Suppose 0 = -19*r + 8850 + 18377. Does 49 divide r?
False
Suppose 0 = 2*c + 4*d - 674, 5*c + 6*d - 1694 = 5*d. Let i = c - 219. Is 24 a factor of i?
True
Let u(f) = -f**3 - 9*f**2 + 7*f - 3. Let t be u(-11). Suppose 0 = 4*w - 20, -w + 3*w - t = -i. Does 8 divide i?
True
Suppose -f - 5*v = -7 - 0, 7 = f + 3*v. Suppose 660 = f*k - 2*k. Is k a multiple of 17?
False
Suppose 15 + 10 = 5*c, -n + 112 = -4*c. Suppose 3*g + 3*j - 2*j = -n, 37 = -g + 2*j. Let h = g - -85. Does 13 divide h?
False
Let a(x) = 2*x. Let c be a(2). Let f be (-4)/(5 + (-49)/7). Is 23 a factor of c/8 + 143/f?
False
Let w(n) = 2*n + 0*n + 6*n**2 + 4*n + 28*n**2 + 11. Is w(-2) a multiple of 14?
False
Suppose -3*v + 5*g + 23 = -2*v, -5*g = -10. Suppose -3*t + v = -5*x - 89, -3*x - 114 = -3*t. Is t a multiple of 11?
False
Suppose -3*x - p - 4*p + 30 = 0, -5*x + 2*p = -50. Let t(c) be the second derivative of -c**4/12 + 5*c**3/2 + 4*c**2 - 4*c - 1. Is 29 a factor of t(x)?
True
Suppose -7*b + 1911 = -1155. Suppose 2*p - 8 = b. Is 34 a factor of p?
False
Let g(f) = -2*f**2 + 77*f - 29. Is 37 a factor of g(32)?
False
Let m = -11 + 149. Is 6 a factor of m?
True
Suppose 0 = 4*r - t + 102, 0 = -6*r + r - 2*t - 121. Is 10 a factor of (15/r)/((-1)/155) - 3?
True
Let a be (4/1)/(48/(-120)). Let v be a/(-6 + (-3 - -7)). Suppose -422 = -3*w - v*p, 0*w + 2*w - 293 = -p. Does 32 divide w?
False
Let i(w) = -w - w**3 - 3 - 5*w + 0*w + 10*w**2 - 7*w. Does 15 divide i(6)?
False
Let d be (-4)/(-10) + (-8)/(-5). Let m = 126 + -119. Let x = d + m. Is 8 a factor of x?
False
Let q(n) = -3*n**3 - n**2 + 3*n + 1. Let l be q(-5). Let h = 490 - l. Does 22 divide h?
True
Suppose -14*i - 960 = -4*i. Is 11 a factor of ((-16)/12 + 1)/(2/i)?
False
Suppose 0 = 3*t + 2*a - 2, -2*t - 2*a - 14 = -7*t. Let d(f) = f + 1 + t*f - 8. Is d(5) a multiple of 2?
True
Let o be ((-8)/(-12))/(-1 - (-278)/282). Let h = -25 - o. Is 15 a factor of h?
False
Let m = 649 - 424. Does 6 divide m?
False
Let r(i) = -3*i**3 - 4*i**2 + 11*i + 5. Is r(-6) a multiple of 82?
False
Suppose 0 = -4*f + 63 + 17. Suppose 0 = -5*q + f, 64 = 3*z - 0*z - 2*q. Is z a multiple of 12?
True
Suppose 4 = 2*q + 3*g + 9, 2*g - 2 = -4*q. Suppose 2*c = -4*p + 70, -1 + 3 = q*c. Is p a multiple of 17?
True
Let f = 561 + 2. Suppose -9*v + f = -1777. Is 13 a factor of v?
True
Let j(w) = -54*w + 3. Let h be j(1). Is 7 a factor of 45*(h/(-15) - 3)?
False
Let o = 50 + 6. Is 56 a factor of o?
True
Let j = 344 - -54. Is j a multiple of 4?
False
Let w(q) be the first derivative of -q**4/4 - q**3/3 - q**2 - 3*q + 7. Let n be w(-2). Suppose n*x = -0*x + 20. Does 4 divide x?
True
Suppose 4*b - 1 = 3*d, 3*d - 5*b + 4 = -1. Suppose -5*l = d*w - 625, 2*w + 660 = l + 4*l. Does 26 divide l?
True
Suppose 43 = -3*d + 49. Suppose 2 = 2*u + 8, 5*u = -d*a + 377. Does 16 divide a?
False
Let t(g) = -12*g - 29. Let r(v) = 24*v + 58. Let b(y) = 6*r(y) + 13*t(y). Does 23 divide b(-11)?
False
Let o(j) = j**3 - 8*j**2 - 7*j. Let g be o(9). Is 7/((-28)/g)*-18 a multiple of 9?
True
Let l(c) = -26*c**3 + 8*c**2 + 9*c - 1. Is l(-4) a multiple of 9?
True
Let x be (-1 + 1)*5/(-10). Suppose 5*b - 840 = -x*b. Suppose -6*o + b = -2*o. Is o a multiple of 17?
False
Let g(c) = -51*c - 175. Does 32 divide g(-21)?
True
Let a = -136 - -493. Is 7 a factor of a?
True
Is 10 a factor of 3 - (-19)/((-228)/(-12456))?
False
Suppose 26 = 5*y + 51. Let o(c) = c**2 + 7*c + 12. Let q be o(y). Suppose -5*n - 4*t + 130 = -62, -q*t - 102 = -3*n. Is n a multiple of 18?
True
Let q(m) = 11*m**2 - 16*m - 7. Does 6 divide q(7)?
True
Let r(i) = 0*i**2 + 4 + 2*i + 3*i**2 - 7 + i**3. Let d be r(-4). Is (-5 + 3)*d/6 a multiple of 3?
True
Suppose 4*f + 2*m - 3023 = -m, -15 = 5*m. Is f a multiple of 16?
False
Let o(d) = -101*d + 58. Does 27 divide o(-16)?
True
Let v(i) = 13*i**2 - 2*i + 3. Let f(u) = -u**2 - 8*u - 6. Let g be f(-7). Does 8 divide v(g)?
False
Let q = -109 - -348. Let k = -151 + q. Is 22 a factor of k?
True
Let b(f) = -f**3 + 7*f**2 - 5*f - 1. Let n be b(7). Let y be n/(-63)*(-7)/(-2). Suppose -y*c + 11 = -11. Is 3 a factor of c?
False
Let y = 17 - -41. Is 5 a factor of y?
False
Let r be 3*5/((-30)/(-4)). Let u be (20/(-15))/(-4)*195. Suppose -r*a = -a - u. Does 14 divide a?
False
Suppose -159*w + 155*w + 8 = 0. Is ((-3)/w)/(7/(-686)) a multiple of 27?
False
Let j(k) = 78*k**3 + k**2 + k + 1. Let p be j(-1). Let m = -171 - p. Let i = m + 131. Is 13 a factor of i?
False
Let m = -38 - -40. Suppose 3*r - 110 = -m*r. Is r a multiple of 22?
True
Let v = -992 - -1392. Does 20 divide v?
True
Suppose 0*o + 9 = 3*o. Suppose -3 - o = -2*h. Suppose -2*i + h*r = -147, r - 144 = -2*i + 3*r. Is i a multiple of 19?
False
Let n = 438 + -298. Is n even?
True
Suppose 0 = 2*x + 10, 0 = 3*o + 5*x + 4 + 9. Let n be 67/o - 15/20. Suppose -3*g + n = -2*g. Is g a multiple of 8?
True
Let j = 279 + -263. Does 4 divide j?
True
Suppose -2*b + 96 = -5*o - 6*b, -b = -2*o - 41. Let p = 23 + -21. Is (-5 + 6/p)*o a multiple of 8?
True
Let g = -164 + 297. Suppose -240 = -3*v + 3*a, 2*v + 3*a - g = 27. Does 14 divide v?
False
Let n(k) = -36*k + 7. Let b(r) = -3*r + 9. Let j be b(5). Is 42 a factor of n(j)?
False
Suppose 2*o + 8 = 0, 3*f = -o + 5 + 6. Let u = 36 - 24. Let i = u - f. Is i a multiple of 7?
True
Suppose 4*k - m - 25 = -2*m, m = 5*k - 20. Let r = 7 - k. Suppose p = r*c - 30, -3*p - 92 = -5*c - 18. Is 7 a factor of c?
False
Suppose -j - 3*c + 236 = 0, -2*c - 269 = -j - 23. Is 12 a factor of j?
False
Let h(j) = -j**3 - j**2 - j - 1. Let q = 7 + -8. Let x be h(q). Suppose 9*g - 3*g - 486 = x. Is 13 a factor of g?
False
Let c(w) = 2*w**2 + 4*w + 4 - 3 + 1. Let t(g) = -g**3 + 4*g**2 - g + 1. Let l be t(4). Is 5 a factor of c(l)?
False
Let f = 5853 - 4029. Does 16 divide f?
True
Suppose 3*g + 94 + 11 = 0. Is (-2387)/g - 2/10 a multiple of 11?
False
Let b = -23 + 19. Let y(f) = -f - 1. Let z(k) = k + 2. Let h(q) = b*y(q) + z(q). Is 14 a factor of h(11)?
False
Let j(p) = -p**3 - p. Let l(a) = -3*a**3 - 7*a**2 - 8*a + 16. Let w(f) = -2*j(f) + l(f). Is 16 a factor of w(-7)?
False
Let q(o) = 2*o - 4. Let y(f) = f + 2. Let n be y(1). Let g be q(n). Let u(a) = 14*a**2 - 1. Does 15 divide u(g)?
False
Suppose 6*s + 6 = 5*s. Let v be (-12)/(-16)*(-16)/s. Suppose -3*y + 2*r + 24 = -10, y + v*r = -2. Is y a multiple of 2?
True
Let v be 1/4 - (-45)/(-20). Let h(x) = 4*x + 2 - 2 + 5*x**2 + 3. Is h(v) a multiple of 5?
True
Let m = 3511 + -2407. Is m a multiple of 46?
True
Let g(j) = -21*j + 10. Let q be g(1). Let l(d) = d**3 + 7*d**2 + 8*d + 8*d - 4 + 6*d**2. Is l(q) a multiple of 8?
False
Let z be (-5)/(-2)*4/5. Let a be (-768