 a*x - j + 40 = 3*j, -x = j + 4. Let c = 33 + x. Does 10 divide c?
False
Let u(q) = -q**2 - 2*q + 5. Let k be u(-4). Let j(r) = -2*r**3 - 3*r**2 + 6. Let x(d) = 3*d**3 + 2*d**2 - d - 5. Let b(i) = k*x(i) - 4*j(i). Does 9 divide b(6)?
True
Suppose -7*i + 16 = -3*i + 4*h, 4*i = -3*h + 11. Let l be -1 + 1 - (11 + 0). Let w = i - l. Is w a multiple of 7?
False
Let t(y) = y**3 + 4*y**2 + 5*y + 2. Let w be t(-3). Let m = w - -9. Let q(h) = h**2 - h - 5. Does 15 divide q(m)?
True
Let v be (-9 - -4)*12/5. Let s(h) = -3*h + 6. Is 14 a factor of s(v)?
True
Let n(k) = k**2 + 5*k - 5. Let i be n(-6). Let a be (-3 - 31) + (-2)/i. Does 17 divide (1 - 1 - a) + -2?
True
Suppose 2*a - 31 = -3*s, a + 2*a = -2*s + 54. Let t(l) = 20 - a + 20*l. Is t(1) a multiple of 10?
True
Let r be 2/9 - (-4)/(-18). Is 9 a factor of 15 + (r - 3 - -6)?
True
Let f = -7 + -7. Let o = 37 - f. Is o a multiple of 15?
False
Let q(w) = w**2 + 8*w - 5. Is q(-13) a multiple of 6?
True
Suppose 3*k - 2*a = -7*a + 317, 3*a + 6 = 0. Does 13 divide k?
False
Let n = 66 - 35. Is n a multiple of 18?
False
Suppose -67 = -7*r + 31. Is r a multiple of 4?
False
Let b = 1 - -11. Let z(m) = 2*m - 1. Is 13 a factor of z(b)?
False
Suppose -3*a + 2*a = -2. Suppose 6*j - a*j = 72. Does 6 divide j?
True
Let q(s) = 8*s**2 + s - 1. Suppose -3*r + 3*c = 30, c - 6 = -c. Let u = r + 8. Is q(u) a multiple of 8?
True
Suppose 3*r - r - 82 = 0. Does 13 divide r?
False
Let m(i) = -i**3 - 4*i**2 + 4*i + 4 + 7*i**2 - 5 + i**2. Does 14 divide m(4)?
False
Suppose -2*y + 2*i + 94 = 0, y = -3*y - 4*i + 204. Does 7 divide y?
True
Let p(q) = -q**2 + 9*q + 6. Let x = 0 - -7. Let s be p(x). Suppose 3*g = -s + 110. Is 15 a factor of g?
True
Suppose -w = 0, 4*w - 6*w - 65 = u. Suppose 0 = -n + 3*i - 42, -4 = 4*i - 24. Let a = n - u. Does 16 divide a?
False
Let v(o) = -o**2 + 14*o + 21. Is 5 a factor of v(15)?
False
Let g = -18 + 9. Let b = g + 14. Suppose -4*u = -b*u + 11. Is u a multiple of 9?
False
Let w = 67 + -43. Does 8 divide w?
True
Let l be -137*(3 - (3 + -2)). Is 9 a factor of l/(-10) + 2/(-5)?
True
Let o = 81 + -53. Does 7 divide o?
True
Let u(a) = a**3 - 5*a**2 + 3*a + 5. Let g be u(5). Let f = g + 70. Is 30 a factor of f?
True
Let k = -2 + -4. Is ((-34)/k)/(1/3) a multiple of 7?
False
Suppose -87 = -y - 1. Let i(s) = -s**3 + 5*s**2 + 6*s + 4. Let h be i(6). Suppose 2*b + 72 + 60 = h*c, 5*b - y = -3*c. Is c a multiple of 16?
True
Let h(n) = -23*n - 20. Is 19 a factor of h(-5)?
True
Let k(i) = -3*i**3 - 2*i**2 + 4. Let o be k(-3). Let p = o + -35. Does 14 divide p?
False
Suppose -5 = t - 2*t. Suppose -3*r - 152 = -8*r + o, t*r + o = 158. Let w = r + -22. Is w a multiple of 4?
False
Let r = 42 + -13. Let u = 5 + r. Is 18 a factor of u?
False
Suppose -2*s + 22 = 2*y - 50, -3*s + 3 = 0. Let k = -25 + y. Is ((-48)/k)/((-3)/15) a multiple of 12?
True
Let l(q) = -5*q + 8 + q**2 - 2*q + 0*q**2. Let z(h) = h**3 - 4*h**2 - 4*h + 1. Let p be z(5). Is 2 a factor of l(p)?
True
Is 18 a factor of 3/(-4) - (5 - (-1365)/(-12))?
True
Let k(l) = -l**2 + 8*l - 8. Let y be k(6). Suppose 4*r + 2*d - 56 = 0, -2*r + 28 = -y*d + d. Is r a multiple of 6?
False
Is (3 + -3 + 6)*(34 + -1) a multiple of 31?
False
Suppose -2*d + 7*d - 10 = 0. Let z = 1 + d. Suppose l + 42 = z*l. Is l a multiple of 10?
False
Does 18 divide 27 + 0/(-1 - 1)?
False
Suppose 0 = -13*p + 1894 + 680. Is 11 a factor of p?
True
Let v(w) = 2*w**2 - 15*w + 10. Is v(10) a multiple of 30?
True
Suppose -49 = 3*r - 364. Is 5 a factor of r?
True
Let d = 5 + -4. Let p = 27 - 39. Does 15 divide d*9*(-40)/p?
True
Let a(q) = 6*q - 8. Is a(4) a multiple of 8?
True
Let i(y) = -y**2 + 1. Let r(x) = 5*x**2 + x - 7. Let g(a) = -6*i(a) - r(a). Let z(u) = 4*u**2 + u + 4. Let d(k) = -2*g(k) + z(k). Is 5 a factor of d(-3)?
False
Suppose 6*u + 120 + 96 = 0. Let h = u + 50. Does 14 divide h?
True
Let c(x) = -5*x - 15. Is 5 a factor of c(-6)?
True
Let i = -9 + 12. Suppose 31 = i*v + 4. Is 9 a factor of v?
True
Let i = -28 + 68. Is 20 a factor of i?
True
Is ((-369)/12)/(12/(-16)) a multiple of 8?
False
Let o(c) = -31*c - 3. Is 49 a factor of o(-8)?
True
Suppose 7*w - 24 = 3*w. Let t(y) = 7*y - 8. Is 8 a factor of t(w)?
False
Let i = 771 + -411. Is i a multiple of 20?
True
Let p be (-2*(-2)/(-4))/1. Let h be 2*((p - 2) + 2). Is 10 a factor of 5/(-1)*(-1 + h)?
False
Suppose 0 = -3*k - 0 + 9. Suppose -4*j - 20 = -4*b, -k*b + 10 = -2*b - 2*j. Suppose b = 3*d - d - 34. Is d a multiple of 8?
False
Suppose 15*c + 259 = 22*c. Is c a multiple of 18?
False
Let s(m) be the third derivative of -m**4/24 + 7*m**3/6 + m**2. Let c(u) = -3*u - 1. Let z be c(3). Is s(z) a multiple of 16?
False
Suppose -21*t - 16 = -22*t. Does 2 divide t?
True
Let a(h) = -2*h**2 - h - 3. Let x(f) = 4*f**2 + 2*f + 6. Let r(q) = -5*a(q) - 2*x(q). Let w be 12/(-20)*(-2 - -7). Is r(w) a multiple of 9?
True
Let k be -1 + 3 + 2/(-2). Let z = 5 + -2. Let g = z + k. Is g a multiple of 4?
True
Let o(x) be the second derivative of -x**4/12 - 3*x**3/2 - 9*x**2/2 + x. Let f be o(-8). Is 12 a factor of -2 + -2*17*f?
False
Suppose 0*x - x = -25. Suppose -a + 35 = -x. Does 20 divide a?
True
Let m(x) = 2*x**3 - 4*x**2 + 3*x - 2. Let c(i) = -i**3 + 10*i**2 + 10*i + 13. Let t be c(11). Let a be m(t). Let k = a - -1. Is k a multiple of 2?
False
Let o = 27 - 3. Does 24 divide o?
True
Let x = 12 - 10. Suppose 15 = x*h + 3. Does 6 divide h?
True
Let n be -12*((-15)/(-6) - 3). Suppose l + 45 = n*l. Suppose 5*z - 3 = -4*h, 0 = -0*h - 2*h - z + l. Is h a multiple of 2?
False
Does 12 divide 115 + 10/(8/4)?
True
Let k = 90 + -27. Is 4 a factor of k?
False
Let y(w) = -w**2 + 4*w + 6. Let o be y(5). Is 1 - (0 + (-43)/o) a multiple of 22?
True
Suppose 0 = 2*p - p - 8. Suppose 4*v - 33 = -5*x, -5*v - 3*x = -v - 23. Suppose v*c = -p + 34. Is 11 a factor of c?
False
Let w(n) = 2*n**3 - 2*n**2 + 3*n - 1. Suppose 2*a - 13 + 5 = -2*v, 5*a = -3*v + 20. Suppose 4*m - 2 = -6*x + x, -4*m = 2*x + a. Is 11 a factor of w(x)?
False
Let m(b) = 99*b**2 - 1. Let u be m(-1). Let v = u + -68. Is v a multiple of 15?
True
Let l(j) = -j + 13. Is l(6) a multiple of 5?
False
Let d(m) = 16*m - 2 - 15*m + m**2 + m**3 - 5*m**2. Let n be d(4). Suppose -4*a = 4*k - 60, n*k = -k - 3. Is a a multiple of 8?
True
Suppose -6*r + 20 = -r. Suppose 0*m + r*m + 48 = 0. Is 0*(-2 - -1) - m a multiple of 8?
False
Let n(h) = -h**3 - 5*h**2 - 3*h - 1. Let r(c) = 3*c**3 + 14*c**2 + 10*c + 3. Let d(f) = -7*n(f) - 2*r(f). Is d(-3) a multiple of 17?
True
Let o = 6 - 3. Suppose 2*a = o*a. Suppose 190 = -a*x + 5*x. Is 14 a factor of x?
False
Does 10 divide (17 - 18)/(1 + 42/(-41))?
False
Let p be ((-10)/8)/(2/16). Let a be 174/(-15) + 4/p. Is 18 a factor of (3/2)/((-1)/a)?
True
Suppose 289 = 7*w - 250. Does 21 divide w?
False
Let g(v) = 3*v**2 + v - 7. Is g(-5) a multiple of 21?
True
Let x(d) = -d**3 + 5*d**2 - 2*d + 3. Let a(u) = -11*u**3 + 2*u + 1. Let k be a(-1). Suppose 4*j - 3*o = 1 - 2, -2*j - 2*o = -k. Is x(j) a multiple of 8?
False
Let u = 4 - 2. Suppose 5*s - 2*s - 2 = u*v, 4 = s + v. Suppose s*r - 3*r = -16. Is r a multiple of 7?
False
Let s(w) = 3*w**2 - 44*w - 19. Does 12 divide s(19)?
True
Let v(b) = -2*b**3 - 5*b**2 - b + 3. Is v(-4) a multiple of 37?
False
Suppose -4*u + u + 21 = 0. Suppose 0 = -2*g + u + 55. Does 12 divide g?
False
Let v = 95 + -61. Does 12 divide v?
False
Does 2 divide 1*(-93)/(-3) - (-24)/(-6)?
False
Suppose 2*h - 16 = -2*h. Suppose -2*c + 6 = h*p - 4, 0 = -5*c + 5. Suppose t = 4*b - p*b - 76, -5*t = -4*b + 152. Is b a multiple of 19?
True
Let y = -39 + -5. Let m = y + 95. Is 17 a factor of m?
True
Let h(a) = -a**3 - 7*a**2 - 6*a - 5. Let m be h(-6). Let q = 12 + m. Suppose 4*i + q = 23. Is i a multiple of 2?
True
Suppose 5*d - d = 24. Suppose -5*j - 2*g = -110, -d*j + 66 = -3*j - 2*g. Is 11 a factor of j?
True
Let d be (-1)/(-1) - (3 - 3). Let g(h) be the third derivative of 23*h**5/60 - h**4/24 - 6*h**2. Does 7 divide g(d)?
False
Suppose -s + 480 = 3*s. Does 15 divide s?
True
Let p be (4 - (3 - 3))*-1. Let a(d) = d**2 + d + 5. Is a(p) a multiple of 15?
False
Let x be 20/(-6)*(-12)/5. Let u be 6*(x/(-6) - -2). Suppose 2*y + 50 = u*o, -2*o - o + 3*y = -45. Is 9 a factor of o?
False
Let t(z) = -z**3 - 2*z**2 + 7*z + 3. Let b = 4 + -5. Let i be b + -7 + 0 + 3. Is t(i) a mu