 h(u) = -4*u**3 - 2*u**2 + 1. Let k be h(-1). Suppose 2*v - 23 + 2 = -j, 0 = -k*v + 5*j - 1. Does 8 divide v?
True
Let q(m) = 186*m**3 + 2*m**2 - 3*m + 1. Let b(s) = -s**3 - 15*s**2 + s + 16. Let a be b(-15). Does 14 divide q(a)?
False
Let a = 14 + -16. Let t(r) = 13*r + 1. Let u be t(a). Let h = -15 - u. Does 6 divide h?
False
Let z be (-54 + -1)/(1 - 10/8). Suppose -12*o + z = -o. Is 15 a factor of o?
False
Let b(l) = 16*l - 5*l**3 - 6*l**3 - 11 - 14*l**2 + 12*l**3. Let g be ((-3)/9)/(1/(-39)). Is b(g) a multiple of 6?
False
Let h = 248 - 47. Does 67 divide h?
True
Let h(j) = 5*j**3 - 7*j**2 - 12*j - 14. Let w(d) = -4*d**3 + 6*d**2 + 11*d + 14. Let t(k) = -5*h(k) - 6*w(k). Is 29 a factor of t(-4)?
True
Let u(s) = -4*s**3 - 2*s**2 - 7*s + 4. Let j(q) = 3*q**3 + 3*q**2 + 6*q - 3. Let a(n) = 3*j(n) + 2*u(n). Let o be a(-3). Is ((-1)/2)/(o/(-100)) a multiple of 4?
False
Suppose 13*s = 4*s + 459. Does 3 divide s?
True
Suppose -28*w + 2121 = -34055. Does 19 divide w?
True
Let l(k) = k**3 + 6*k**2 - 9*k - 10. Let w be l(-7). Let g(j) be the third derivative of j**5/30 - 5*j**4/24 - 21*j**2. Does 9 divide g(w)?
False
Let l = 1223 + 240. Does 4 divide l?
False
Let b = 52 - 50. Suppose b*c - m - 107 = 0, 2*c = -2*m - 2*m + 112. Does 6 divide c?
True
Suppose g - 892 = -4*s, -5*s - 4*g - g + 1115 = 0. Let q = s - 20. Is q a multiple of 10?
False
Let t(p) = 6*p**2 - 11*p - 18. Is 11 a factor of t(17)?
True
Let h(t) = 1801*t**2 - 6*t - 2. Is 32 a factor of h(-1)?
False
Suppose 0 = 5*x - 2*h - 20 - 15, 4*x - h - 28 = 0. Let v(a) = a + 13. Is v(x) a multiple of 7?
False
Let l(z) = -10*z**3 + 2*z**2 + 19*z + 70. Does 46 divide l(-4)?
False
Let v be 4/8*2 + 3. Let p be v + -4 + 3 + 0. Suppose -2*c + 7*c = -3*q + 88, 3*q - 90 = -p*c. Is q a multiple of 9?
False
Suppose 0*p + 4*u + 24 = p, 11 = 4*p + u. Suppose p*t = 6*t + 2*d - 48, d + 76 = 4*t. Does 8 divide 1 + (t - -3) + 0?
True
Let d = 6077 - 3776. Does 32 divide d?
False
Suppose 4*v + 3*o - 1210 - 170 = 0, 0 = -5*v - 5*o + 1725. Is v a multiple of 44?
False
Let h(i) = 15*i**2 - 6*i - 50. Is h(10) a multiple of 5?
True
Suppose -2*u - 114 + 124 = 0. Suppose 0 = -u*t - 0*g - 2*g + 91, -3*g = 6. Is 5 a factor of t?
False
Suppose -17 = m - 4*b, -5*b - 12 + 46 = 3*m. Is (m*3/3)/(1/65) a multiple of 23?
False
Let t = -64 + 28. Is 27/t + 446/8 a multiple of 11?
True
Let h(p) = p + 1. Let j be h(-2). Let l be (21/2)/(j/(-4)). Let w = -9 + l. Does 14 divide w?
False
Suppose -5*f + 1749 = 2*r - 535, 4*r + 448 = f. Does 24 divide f?
True
Suppose -5*x + 14 = -0*h - 3*h, h = -2*x + 10. Suppose -3 + 11 = h*d. Suppose 2*g - d*u + 1 = 3, -2*g - 3 = -5*u. Is 11 a factor of g?
True
Suppose -29*k + 34*k - 5*h = 1545, -4*h - 306 = -k. Is 7 a factor of k?
False
Let s = -30 + 35. Suppose s*t + 10 = 30. Suppose -5*h + 194 = -t*o, -h + 2*o + 192 = 4*h. Is 19 a factor of h?
True
Let o be 1*((2 - 4) + 22). Is 1 + (-6)/3 + o a multiple of 2?
False
Let o be 6/(-14) + 118/14. Let h = o + -4. Suppose -c + 2*c + 206 = h*l, 2 = -c. Is l a multiple of 11?
False
Suppose -1 = -5*h - k + 10, 4*h + 5*k = 13. Let a be -1 - -2 - (h + -4). Suppose a*d - 18 = 54. Does 24 divide d?
True
Let w(k) = -k**2 - 19*k + 68. Is 12 a factor of w(-14)?
False
Suppose -g + 285 = o, o - 3*g - 287 = -2*g. Does 11 divide o?
True
Let y = -160 + 164. Suppose 4*d - 111 = q - 0*q, 0 = -y*d + 3*q + 101. Does 4 divide d?
False
Let j(d) = -d**3 + 12*d**2 + 6*d - 16. Let r be j(12). Let l = r - 31. Suppose -l = -a + 2*i - i, 5*i = 0. Does 23 divide a?
False
Let t = 656 + -130. Is 3 a factor of t?
False
Let x = 71 - 57. Suppose -55 = 9*j - x*j. Is 11 a factor of j?
True
Is 5 a factor of -3 + 2 + (-903)/(7 + -10)?
True
Let c be 5/3*(3 - 0). Suppose 0*o + o + 151 = -j, 0 = -c*o - 3*j - 751. Let p = 218 + o. Is 26 a factor of p?
False
Let b(c) = 88*c**2 - c + 1. Is b(1) a multiple of 44?
True
Let l(m) = -m**2 + 20*m - 34. Let j be l(18). Suppose 5*c = -20, q - j*q + 5*c + 37 = 0. Is q a multiple of 12?
False
Suppose v - 1 = 5. Suppose 2*j = j - 2*p - v, 4*p = -20. Suppose j*r - 174 = 5*u, 0*r - 4*u + 54 = r. Is r a multiple of 18?
False
Suppose -30*f - 70 = -32*f. Does 5 divide f?
True
Suppose 23 = -d - 16. Let b = d + 116. Is 7 a factor of b?
True
Let f(a) = 181*a**2 - 5*a + 4. Is f(1) a multiple of 5?
True
Suppose 0 = -59*k - 16*k + 7200. Does 48 divide k?
True
Let d(t) = -t**3 + 4*t**2 + t + 1. Let n be d(4). Suppose n*s = 251 + 389. Does 32 divide s?
True
Let n = -115 + 246. Is n a multiple of 21?
False
Let x(d) = -d**2 - d - 1. Let g be x(-2). Let a(f) = -2*f**3 + 3*f**2 - 5*f - 5. Does 13 divide a(g)?
True
Suppose -4*b + 3*z + 8 = 0, -5*b + 10 = -0*b - 2*z. Suppose 5*t - 405 = -5*v, -t - 182 = -b*v + 2*t. Is 22 a factor of v?
False
Let z(w) = -w**2 + 2*w + 1. Let k be z(11). Let q = k - -137. Suppose q = 2*h - h. Does 13 divide h?
True
Let i(x) = 11*x**2 + 38 - 88 + 66 + x**3 - 16*x. Is i(-12) a multiple of 12?
False
Suppose 4*f - 2*f = 3*f. Suppose r + 4*j - 97 = 0, r + f*r = -5*j + 100. Is 12 a factor of r?
False
Suppose -33*y = -12255 - 21735. Is y a multiple of 40?
False
Suppose 0 = -3*d - 4*d - 56. Does 13 divide (d/(-14))/(16/1456)?
True
Let z = 2730 - 1441. Does 26 divide z?
False
Let p(w) be the third derivative of 7*w**4/24 + 3*w**3 + 10*w**2. Does 12 divide p(7)?
False
Is 16 a factor of (-81)/54 - (-16118)/4 - -4?
True
Let m(i) = 4*i**2 + 1 - 6*i - 5*i**2 + 0 + 0*i. Let l be m(-5). Suppose 0 = l*j - 3*j - 45. Is 15 a factor of j?
True
Suppose -4*j + 63 = -5. Suppose 35 = 5*o + 4*h, -3*o - 3 = -3*h - 24. Let l = o + j. Does 7 divide l?
False
Let d(x) = -7 - 2*x + 55*x**2 + 7 + x + 2*x. Let w = -1 + 0. Is 9 a factor of d(w)?
True
Let o(i) = 3*i - 3. Let b be o(0). Does 10 divide 6 + (2 + b)*-4?
True
Suppose -14*u - 2751 = -35*u. Does 10 divide u?
False
Suppose o = 3*n + 15, -5*o - 5*n + 172 + 3 = 0. Suppose o = q - 10. Suppose -g - 20 = -t - 2*g, -2*t + g + q = 0. Is 10 a factor of t?
True
Let n(m) = m**3 + 3*m - 4. Let b(t) = -6*t**2 + t. Let p(g) = 7*g**2 - g. Let k(h) = -6*b(h) - 5*p(h). Let z(y) = 6*k(y) + n(y). Is 10 a factor of z(-3)?
False
Let x(r) = -r - 4. Let q be x(-4). Suppose q = 8*k - 13*k + 10. Suppose -k*z - z + 102 = 0. Is 17 a factor of z?
True
Let g = -59 - -68. Let s(p) = 18*p - 51. Is 43 a factor of s(g)?
False
Let s(v) = v**3 - 8*v**2 + v - 4. Let u be s(8). Let t(i) = -5*i**3 + 6*i**2 - 2*i + 1. Let z be t(u). Does 11 divide 4/3*z/(-22)?
False
Let c = -1231 - -1909. Is c a multiple of 17?
False
Let w be ((-36)/(-24))/(3/(-4)). Does 8 divide ((-2)/w)/((-3)/(-69))?
False
Let q be 1*(-2 + 8*3). Suppose 4*y = 6*y - q. Suppose h = f + 9, h + y = -f - 2*f. Is 3 a factor of h?
False
Let c = -1511 - -2528. Does 9 divide c?
True
Let t = 25 - 20. Suppose t*j - 369 = -9. Is 18 a factor of j?
True
Suppose 2*m = -8 + 12. Is 8/6*(m + 43) a multiple of 20?
True
Suppose -5*a - 9 - 26 = 2*f, 2*a + 5*f + 35 = 0. Is 24 a factor of 1 + 7/a + (-484)/(-10)?
True
Suppose -1090 = -15*x + 230. Is x a multiple of 22?
True
Let r(m) = 7*m + 1. Let w(k) = k + 1. Let n be 2 + 3 + -1 + 1. Let u(j) = n*w(j) - r(j). Is 7 a factor of u(-5)?
True
Suppose -4*d - 782 = -5*l, -2*l - 7 + 321 = -2*d. Let h = -93 + l. Does 22 divide h?
False
Let v be 30/(-45) - (-8)/3. Suppose 2*u - v*j - 31 = 31, -4*u + 120 = -3*j. Is 10 a factor of u?
False
Let n(q) be the third derivative of 119*q**5/60 - q**4/12 - q**3/2 + 10*q**2. Let h be n(-1). Let i = h - 76. Does 14 divide i?
True
Let f = 1 - -4. Suppose f*w = -2*l - 28, -3*l = 2*w - 2*l + 12. Let x(j) = 2*j**2 + j - 1. Is 14 a factor of x(w)?
False
Let a be 1/10 + (-24178)/(-220). Suppose 5*h + 71 = -4*f + 310, -2*f = -2*h + a. Is h a multiple of 17?
True
Let z = -374 + 705. Suppose -6*b = -209 - z. Is b a multiple of 18?
True
Let b = -1018 + 1788. Suppose 2*p = -4*d + b, -4*d + 209 + 576 = -3*p. Is 14 a factor of d?
False
Let p(y) = 3*y**3 - 2*y**2 + 15*y + 9. Does 36 divide p(7)?
False
Let v(d) = -d**2 - 13*d - 8. Let q be v(-10). Does 4 divide q - (-4)/(-12)*9?
False
Let m(x) = -3*x**3 - 10*x**2 + 27*x - 26. Is 34 a factor of m(-7)?
False
Let i(l) = -39*l - 27. Let v = 140 - 145. Does 24 divide i(v)?
True
Suppose -9*d + 134805 = 46*d. Is 43 a factor of d?
True
Let k be (21/(-9))/((-4)/(-48)). Is ((-54)/(-21))/((-6)/k) a multipl