False
Suppose 0 = 3*h + 2*n - 70, 0*n + 46 = h - 5*n. Is 11 a factor of h?
False
Let f = 13 - 1. Suppose f + 44 = 4*g. Does 8 divide g?
False
Let l(h) = -h**3 - 7*h**2 - 7*h - 12. Suppose k + 14 = 5. Let w be l(k). Is 9 a factor of (-1)/(-4) + w/12?
True
Let v(f) be the third derivative of 0*f - 5/6*f**3 - 3*f**2 + 0 + 1/3*f**4 + 1/60*f**5. Is v(-9) a multiple of 2?
True
Let c(l) = 9*l + 3. Let s be c(-7). Let n = s - -101. Is 23 a factor of n?
False
Suppose -204 = 7*l - 3*l. Let m = l - -75. Is m a multiple of 12?
True
Suppose -5*h + 33 = -5*i - 702, -743 = -5*h - 3*i. Is 6 a factor of h?
False
Let l = -15 + 11. Suppose 2*n + 3 + 3 = 0. Does 2 divide ((-18)/(-12))/(n/l)?
True
Is 6 a factor of 36*(20/30)/((-2)/(-3))?
True
Let d(x) = x**3 + x**2 - x. Let w be d(1). Let t be -2 + w - 1 - -22. Let i = t - 12. Does 6 divide i?
False
Let r = -6 - -17. Let x = r + 4. Is x a multiple of 5?
True
Let x(y) = 5*y + 5. Let w be x(5). Does 19 divide ((-228)/w)/((-2)/5)?
True
Let l = 36 - 16. Does 6 divide l?
False
Let j be (-1 + -1)/(4/8). Let r = j + 8. Suppose -q = -3*q + 2*k + 66, r*q = -4*k + 92. Is 11 a factor of q?
False
Does 21 divide ((-15)/(-3) + -4)*55?
False
Suppose -5*i + 3*o + 66 = -87, -5*i - o + 149 = 0. Does 11 divide i?
False
Is 7 a factor of (-3 + -1 + 3)*-21?
True
Let v be (-3 + -75)*1/(-3). Suppose 0 = -5*y + v + 19. Is 5 a factor of y?
False
Let f = -22 + 42. Does 12 divide f?
False
Let g = 1 - -16. Does 5 divide g?
False
Suppose -2*p = -p - 5. Suppose 3*g + p*u = 5, -4*u + 1 = g - 3. Suppose g*y - 76 = -4*y. Does 8 divide y?
False
Suppose -4*o + 2*o = -6. Suppose 40 = -b - o*b. Does 27 divide (-1072)/(-20) - 4/b?
True
Suppose 0 = -2*d + 154 + 6. Suppose -d = -3*g - 29. Is g a multiple of 4?
False
Let r = 386 - 271. Does 23 divide r?
True
Let b(l) = 66*l**3 + 2*l - 1. Let i be 2 - ((-2 - -2) + 1). Let w be b(i). Suppose -f = -3*d + w, -3*d = -3*f + 4*f - 77. Is 12 a factor of d?
True
Suppose 11*r = 13*r - 110. Is 11 a factor of r?
True
Suppose -16 = 4*r, -4*g - 4 + 224 = -r. Does 6 divide g?
True
Let r(k) = 3*k + 11. Is r(14) a multiple of 13?
False
Let b(j) = j**2 - 4*j + 3. Let k be b(4). Does 37 divide ((-1)/k)/(12/(-2124))?
False
Let b(p) = -p**3 + 8*p**2 - 8*p + 4. Does 13 divide b(6)?
False
Suppose 0 = 9*m - 5*m - 8. Suppose 2*i - m - 12 = 0. Is i a multiple of 4?
False
Suppose -7*a = -8*a + 45. Is 8 a factor of a?
False
Let h = -14 - -23. Let f be (-2 - 1)/3 + 25. Let i = f - h. Does 10 divide i?
False
Let j(b) = 31*b + 16. Let d(a) = -8*a - 4. Let p(l) = 9*d(l) + 2*j(l). Is 13 a factor of p(-3)?
True
Let l(n) = 7*n - 6. Let r(v) = 4*v**3 + v**2 - v. Let x be r(1). Is l(x) a multiple of 6?
False
Suppose 2*b - 65 = -3*b. Let v = b + -7. Is v a multiple of 4?
False
Let c(j) = -j**2 + 4*j + 11. Let d be c(5). Is (32/12)/(2/d) a multiple of 4?
True
Let u be (0 + -2 - -3)*3. Suppose 2*k + 2 + 4 = 0. Is ((-10)/k)/(1/u) a multiple of 5?
True
Let l(n) = 9*n**2 + n + 1. Let p be l(-1). Let a = 1 + p. Does 10 divide a?
True
Let y(l) = l**3 + 3*l**2 - 5*l + 3. Is y(3) a multiple of 15?
False
Suppose -3*i = -2*i + 4, -f + 7 = 5*i. Is 15 a factor of f?
False
Suppose -10*m - 1164 = -22*m. Does 10 divide m?
False
Suppose 97 = -9*b + 10*b. Does 12 divide b?
False
Let i = -13 - -15. Suppose -k - i*k = 3*y - 12, 10 = k - 2*y. Is k a multiple of 6?
True
Does 11 divide (-219)/(-21) - (-4)/7?
True
Let m(g) = -g**3 - 11*g**2 + g + 5. Let j be m(-11). Let z be (-30)/j*256/10. Suppose 2*b + z = 5*q, 2*b = 4*q - 19 - 85. Is 8 a factor of q?
True
Let c(t) be the third derivative of t**5/60 - t**3 + t**2. Is c(6) a multiple of 15?
True
Let f(d) be the third derivative of d**6/120 - d**5/12 - d**4/12 + d**3 - 3*d**2. Is 15 a factor of f(6)?
True
Suppose -19 = 3*n - 49. Does 5 divide n?
True
Let q = -9 + 7. Let f = 11 + q. Is 4 a factor of f?
False
Let n(x) = -x**3 + 5*x**2 + 3*x - 9. Let o(p) = -4*p**2 - p**3 + 4*p**2 + 2*p - 10 + 6*p**2. Let c(g) = -4*n(g) + 3*o(g). Is 22 a factor of c(5)?
False
Let x be -4 - -4 - (-1 + 1). Let a = 11 + -7. Suppose x = 5*i - a*h - 89, i + h = -h + 15. Does 8 divide i?
False
Suppose -3*m + 46 = 4*v - 5*m, 0 = v - 3*m - 9. Is v a multiple of 6?
True
Suppose 0 = -2*i + 4 - 0. Suppose -217 = -i*j - 65. Suppose 4*b - 6*b + 4*r + j = 0, 0 = -b + 5*r + 44. Does 17 divide b?
True
Let v(t) = 1. Let o(p) = 4*p - 6. Let h(r) = o(r) + 8*v(r). Let f be h(2). Does 3 divide (-2 + 4 - f)*-1?
False
Let z(k) = -7*k + 6. Let o be z(5). Let x = o + 55. Does 13 divide x?
True
Let f = -8 + 13. Is 3 a factor of f?
False
Let x = 6 + -8. Let k be ((-12)/15)/(x/10). Suppose 2*c - k*c = -24. Does 11 divide c?
False
Let s(b) = b**2 - 10*b - 3. Let k be s(10). Let t(d) = -3*d + 1. Is t(k) a multiple of 6?
False
Suppose 9*r - 323 = 406. Is 9 a factor of r?
True
Let h = 1092 - 564. Is 18 a factor of h?
False
Let g(z) be the first derivative of -z**4/4 + 2*z**3 + 9*z**2/2 - 2*z + 3. Let j be g(7). Suppose j = i + 3. Does 3 divide i?
True
Let n be -3 + 1 + 0/2. Suppose 2*o = o - 45. Is 8 a factor of (-882)/o + n/(-5)?
False
Let d be 1 - (0 - 4/2). Suppose y - 42 = -3*a, -d*y + 9 - 63 = -3*a. Is 4 a factor of a?
False
Suppose -169 = -4*r - 3*j, -26 - 20 = -r - 2*j. Is r a multiple of 20?
True
Let y(t) = 2*t**2 - 9*t - 6. Is 12 a factor of y(7)?
False
Suppose 13 = x - 2*n, -3*x - 2*n - 31 = -6*x. Suppose -2*i - x = i, -i = 5*h - 132. Is h a multiple of 9?
True
Let z = -48 - -64. Is 4 a factor of z?
True
Let s(h) = 40*h**2 - 5*h - 5. Does 24 divide s(-2)?
False
Let y = 1 + -1. Let d(w) = w + 2. Let l be d(y). Suppose -l*b + 18 = -b. Is b a multiple of 7?
False
Let o(h) = -h**2 - 4*h + 1. Let d be o(-3). Suppose -d*i = -7*i - 96. Let z = 4 - i. Is z a multiple of 14?
False
Let y(k) = 2*k**2 - 9*k - 15. Is y(8) a multiple of 17?
False
Is (-2)/2*(-22 - -5) a multiple of 17?
True
Suppose 15 + 75 = 5*j. Suppose -3*d = -0*d - j. Is d a multiple of 3?
True
Let s(r) = -r**2 - 6*r. Let p be (5 + -2)*(-12)/9. Is 5 a factor of s(p)?
False
Let w = 144 - 85. Does 12 divide w?
False
Let h(q) = -q**3 - 9*q**2 - 2. Let z be h(-9). Let l = 6 + z. Suppose l = -2*b + 5*m + 22, -4*m = 2*b - 36. Does 11 divide b?
False
Let i = 0 - -1. Let h be 4/2 + i + -45. Let s = h - -68. Does 13 divide s?
True
Let f be (80/12)/(2/6). Let k = f - 1. Does 19 divide k?
True
Let f = 10 - -8. Suppose -14*q - 164 = -f*q. Does 23 divide q?
False
Suppose -61*d = -63*d + 42. Does 4 divide d?
False
Let d be -3 - -6 - 5*1. Does 4 divide (-8 + 6)/(d/16)?
True
Let v = -7 - -14. Is v a multiple of 7?
True
Suppose 0 = 3*x - n + 2*n - 13, 4*x + 1 = -5*n. Suppose 2*a - 50 = -5*w, x*a - 3*a = -2*w + 9. Does 6 divide w?
True
Let v = 5 - 3. Let u be (-3)/(-1 - v/(-1)). Let z = 11 - u. Is 7 a factor of z?
True
Let n(t) = -4*t**3 + 2*t**2 - 7*t - 7. Is n(-3) a multiple of 35?
True
Let a = -66 + 38. Does 13 divide (-904)/a - 2/7?
False
Let j = -8 - -25. Does 16 divide j?
False
Let f(i) = 3 - 4*i + 7 + 2*i**2 + 0*i**2 - i**2. Let q be f(7). Let c = q + -18. Is 4 a factor of c?
False
Is (-2)/((-16)/28)*(-6)/(-3) a multiple of 3?
False
Suppose -381 = -3*g + 3*c, 5*g + 3*c - 51 - 568 = 0. Let p = -87 + g. Is p a multiple of 19?
True
Let p(q) = -q**2 - 6*q - 6. Let o be p(-4). Suppose -2*s = -o*v, 0 = 4*s - 0*s + v + 15. Does 4 divide s/5*2*-10?
True
Let k(n) be the first derivative of -n**3/3 - 7*n**2/2 + 4*n - 3. Does 6 divide k(-5)?
False
Suppose 0 + 44 = q. Is q a multiple of 22?
True
Let l = 48 + -3. Is 15 a factor of l?
True
Does 12 divide (-6)/2 - (-84 - -17)?
False
Let f = 78 - 21. Is 3 a factor of f?
True
Let q = 14 - 4. Suppose -14 = -3*g + q. Is 4 a factor of g?
True
Suppose 0*j - 10 = -2*j. Suppose -2*c - 8 = j*v, 3*c + 2*c = -20. Suppose 4*g - 9 - 7 = v. Is 2 a factor of g?
True
Suppose 2*c = 131 + 3. Does 4 divide c?
False
Let p be 0*1*2/(-4). Suppose 0 = -c + 6 - p. Is 6 a factor of c?
True
Suppose -5*s + 0*s = -410. Let t(y) = y**2 + y + 2. Let w be t(0). Does 13 divide w/(-3) + s/6?
True
Let h(i) = i + 11. Does 15 divide h(14)?
False
Let t(o) = -6*o**3 - 3*o**2 - 3*o - 3. Let a be t(-2). Let n = 82 - a. Suppose -n = 3*b - 124. Is 23 a factor of b?
False
Suppose 0 = 5*a - 58 - 92. Does 30 divide a?
True
Suppose -2 + 5 = 3*g. Let o = g - -6. Does 5 divide o?
False
Let h(r) = -4*r - 6. Suppose 0 = k