 multiple of 76?
True
Does 7 divide 20/(-150)*-3 - 1508/(-5)?
False
Does 19 divide 111/2*(496/8 - -14)?
True
Let n = -428 + 648. Is n a multiple of 4?
True
Let l(m) = m**2 + 6*m + 3. Let r = 14 - 12. Suppose 4 = -h - r. Is 3 a factor of l(h)?
True
Suppose -s - 71 = 16. Let t = 34 + s. Let k = -29 - t. Does 9 divide k?
False
Suppose -2*q + 4*u = -52, -5*q - 6*u + 154 = -10*u. Is q a multiple of 17?
True
Let h = -194 - -1356. Is h a multiple of 14?
True
Let m be -3*(-3 - (-9)/((-9)/(-2))). Suppose -m*d + 5*b = -143, 0 = 2*d - 6*d - 3*b + 152. Is 7 a factor of d?
False
Suppose -10*m - 4*m = 378. Is 3 a factor of (m/(-15))/((-29)/10 + 3)?
True
Let v be ((-9)/(-12))/(6/40). Suppose -7*i + v*c = -2*i - 430, 5*c - 179 = -2*i. Suppose -r = 4*r + 3*m - i, -2*r - 5*m + 31 = 0. Does 6 divide r?
True
Let s(t) = t**3 - 4*t**2 + t - 2. Let k be s(4). Suppose 3*l - 1 = k*l, -4*d = -3*l + 3. Is (-6)/(-4)*(38 + d) a multiple of 26?
False
Suppose 2*m = -29*n + 34*n + 714, 4*n = 0. Does 4 divide m?
False
Let y(r) = -r**2 - 10*r - 5. Let z be y(-6). Let h(j) = -j**3 - j**2 - j + 1. Let l be h(2). Let t = z + l. Is t even?
True
Let a(x) = -9*x**3 - 6*x**2 - x + 3. Does 65 divide a(-3)?
True
Let s = 2154 - 1300. Is 17 a factor of s?
False
Let o(z) = z**2 - 12*z + 2. Let b be o(12). Suppose -4*w = b*i + 154, -i + 198 = -4*i + 5*w. Does 10 divide (5 - 3)*-1 - i?
False
Let t(f) be the second derivative of f**6/120 + f**5/15 + f**4/6 + f**3/6 + 11*f. Let h(c) be the second derivative of t(c). Does 32 divide h(-6)?
True
Does 15 divide (-898)/(-5) - 2/(-5)?
True
Suppose 3*w = -3*w + 12. Let y be ((-9)/w)/((-15)/(-30)). Is (-110)/(-9) - (-2)/y even?
True
Let o(h) = -h**2 + 4*h + 8. Let f = 20 + -15. Let w be o(f). Does 7 divide ((-576)/(-80))/(w/20)?
False
Let p(b) be the first derivative of -b**3/3 - 11*b**2/2 + 8*b + 8. Let f be p(-14). Is 5 a factor of f/3*27/(-18)?
False
Suppose 4*i - 5*z - 10 - 23 = 0, -4*z - 20 = 0. Suppose 0 = -i*k + 187 + 369. Is 13 a factor of k?
False
Suppose 5*x + 4*n = 986, -4*x + 0*n = -4*n - 796. Does 8 divide x?
False
Let n(q) = q**3 + 21*q**2 - 29*q + 50. Does 10 divide n(-20)?
True
Let b(k) be the third derivative of -k**6/120 + k**5/12 + k**4/6 - k**3/3 - 25*k**2. Is b(4) a multiple of 5?
True
Let s(n) = -8*n**2 + 7*n - 12. Let c(b) = b**2 + 1. Let k(v) = -6*c(v) - s(v). Is 2 a factor of k(4)?
True
Suppose -23 + 1 = -z. Let w = z + -20. Suppose 2*f - w*q = 84, -q + 6 = q. Does 15 divide f?
True
Suppose 17*z - 5500 = 6*z. Is z a multiple of 10?
True
Let n(l) = -l**2 - 4*l - 2. Let o be n(-3). Let a(v) = 4*v**2. Let u be a(o). Suppose -u*y + y + 51 = 0. Is 11 a factor of y?
False
Let i be ((-2)/(-3) + -1)*0. Suppose t - 14 - 10 = i. Does 6 divide t?
True
Suppose 3*q - 4*u + 394 = 5*q, 0 = -5*q - 4*u + 991. Suppose 19*d - 17*d = 10. Suppose d*y - 81 - q = 0. Is y a multiple of 14?
True
Let p = -22 - -20. Is 6/(16/(-10) - p) a multiple of 14?
False
Suppose -78*z + 80*z + 2*v - 184 = 0, 2*v + 362 = 4*z. Does 13 divide z?
True
Let x be 90/7*(14*-2)/(-4). Suppose 28*v + x = 33*v. Does 3 divide v?
True
Suppose 0*z = 2*z - 4*y, -z + 5*y = 0. Suppose 4*a + 1844 = -z*a. Is 21 a factor of (-3)/15 - a/5?
False
Suppose 0 = 24*x - 15*x - 819. Is x a multiple of 13?
True
Let p = 24 - 22. Suppose -p*i + x + 30 = 0, x - 3*x = 4. Suppose -i = -r - 0. Is 14 a factor of r?
True
Let g(o) = -5*o + 70. Is 4 a factor of g(-2)?
True
Is 642/(-15)*((-220)/8)/11 a multiple of 7?
False
Let x(w) = -w**3 - 2*w**2 + 3. Let v be x(-2). Suppose -2*k + 450 = v*k. Is k a multiple of 18?
True
Suppose -2*o = 1 - 11. Suppose -l - 2*a = -28, -o*l + 51 = 5*a - 79. Does 24 divide l?
True
Let m = -92 + 612. Let b = m - 312. Is b a multiple of 12?
False
Let w = -10 - -22. Let j be (w/(-16))/((-2)/64). Suppose k - 21 = -3*s, s + 4*k = -6 + j. Is 3 a factor of s?
True
Suppose -14*q + 10*q + 140 = 0. Is -1 + 0 + 0 + q a multiple of 22?
False
Let q = 360 + -308. Is 7 a factor of q?
False
Suppose 2*u = 2*q - 84, q = -0*u - 3*u + 38. Suppose -36 = 4*y - 0. Let p = q + y. Is 16 a factor of p?
True
Suppose 27*q - 28*q = 268. Is ((-4)/(-16))/((-1)/q) a multiple of 3?
False
Let l(v) = -5*v - 5. Let i(a) = 6*a + 4. Let c(j) = 3*i(j) + 2*l(j). Is c(2) a multiple of 6?
True
Let p(f) = 2*f + 2. Let r = 8 - 12. Let n be p(r). Is 10 a factor of 20/n*78/(-5)?
False
Suppose b - 1307 = -5*a, -a - 5*b + 6*b = -259. Does 2 divide a?
False
Let l = 2233 - 370. Is 9 a factor of l?
True
Let z be 0/2 + -6 + 16. Suppose 0 = -z*t + 8*t + 38. Is t a multiple of 7?
False
Let x = 50 + 36. Suppose -2*u - x = -2*b, -3*b - 23 = u - 0*u. Let g = 52 - u. Does 13 divide g?
False
Let k(g) = -4*g**3 - g**2. Let i be k(-1). Let u be ((-9)/(-18))/((-1)/(-6)). Suppose -2*y = -h + 25 + 2, 0 = -u*h - i*y + 81. Does 7 divide h?
False
Let p(l) = l - 1. Let s(b) = b. Let q be s(4). Let k(w) = -w**3 - 3*w + 8. Let j(t) = q*p(t) + k(t). Is 4 a factor of j(0)?
True
Suppose -a + 31 = -3*k - 12, -156 = -4*a - 4*k. Is 40 a factor of a?
True
Let f be 14 + (-4)/(12/9). Suppose -f*p - 63 = -14*p. Does 7 divide p?
True
Suppose 95*q = 108*q - 24492. Is 36 a factor of q?
False
Suppose j - 4 = 4*d - 23, 4*j + 2*d = -4. Does 20 divide (-25)/(-75) + (-419)/j?
True
Let k(b) = 2*b**3 - 2*b**2 - 3*b + 2. Let u be k(2). Suppose -126 = -u*s + 38. Is 14 a factor of s?
False
Let o = 92 - 69. Suppose 25*p - o*p = 120. Is 10 a factor of p?
True
Let g = 1492 - -944. Is 28 a factor of g?
True
Suppose -8*m + 13 + 1787 = 0. Is m a multiple of 29?
False
Suppose -2*p + w + 50 = -4*w, -3*p = -2*w - 86. Let m be (-5)/2*p/(-25). Suppose 0 = m*u + 37 - 139. Does 12 divide u?
False
Let n be (-1)/(-4) + (-5)/20. Let o be n + -3*(-2)/2. Suppose -5*s - 15 = 3*q - 45, 3*q = 4*s + o. Is 2 a factor of s?
False
Let x(o) be the third derivative of -o**6/120 - 3*o**5/20 - o**4/2 - 4*o**3/3 + o**2. Let g = -172 + 164. Is 11 a factor of x(g)?
False
Let k(g) = g**2 - 13*g + 13. Suppose c - 5*j - 20 = 6, j = -2*c + 19. Let x be k(c). Let u = -1 - x. Does 8 divide u?
True
Let r be 9/(54/16)*(-114)/4. Let g = 211 + r. Is 39 a factor of g?
False
Suppose 0 = 4*b - 3*j - 2*j - 48, -4*b = 3*j - 16. Suppose b - 5 = k. Suppose -78 = -k*x - 3*x + 3*y, 2*y = 8. Does 11 divide x?
False
Suppose -5*c - 3*o + 905 = -5*o, -3*c - 5*o + 512 = 0. Let n = c - 89. Suppose -2*q - 3*r + 25 = -16, -5*q - 5*r + n = 0. Does 2 divide q?
False
Let y be 1/(3/(-18)) + -3. Let d = y - -8. Is 7 a factor of 0 + d + (6 - -28)?
False
Let m(u) = 3*u**2 + 2*u - 64. Does 46 divide m(16)?
True
Suppose 0 = -o - 0 - 9. Let r(l) = l**2 + 8*l + 7. Does 8 divide r(o)?
True
Suppose -4 = -4*k + 2*k. Suppose 0 = p + k*p + 3, j - 31 = -3*p. Is j a multiple of 17?
True
Let o(r) = -137*r - 103. Is o(-5) a multiple of 15?
False
Let x(u) = 13*u - 35. Is x(7) a multiple of 28?
True
Let y(s) = 7 + 2*s + 0 - 12. Let m be y(3). Is (-2 + 3)/(m/13) a multiple of 13?
True
Let v(n) be the second derivative of -n**5/20 + n**4/12 + n**3/6 + 3*n**2 - 2*n. Is v(-3) a multiple of 39?
True
Suppose -4*g - 544 = 2*s, -4*g + 4*s = -6*g - 278. Does 3 divide (4/6)/((-30)/g)?
True
Suppose -25 = -6*g + 5. Does 5 divide g/5*0 - -60?
True
Let x = 53 + -4. Let s = x - 31. Let j = s + 13. Is 7 a factor of j?
False
Let i = 656 - -174. Does 29 divide i?
False
Suppose -3*t - 51 = -3*g, g + t = 5*g - 71. Suppose -4*i + 0*k - 52 = -4*k, g = -i - 4*k. Let o = 29 + i. Is o a multiple of 7?
False
Let b(c) = 3*c - 19 - 10*c + 7*c - 25*c. Does 13 divide b(-8)?
False
Let f = -7 + 9. Suppose 4*a - 128 = 4*n, 4*a - f*n = 45 + 73. Does 27 divide 1278/a + (-1)/3?
False
Let q(a) = -231*a + 48. Does 19 divide q(-3)?
True
Let v(q) = 2*q**2 + 11*q - 9. Does 27 divide v(-9)?
True
Suppose 6*h - 929 = -179. Does 30 divide h?
False
Let s(q) = 4*q**2 - 2*q - 1. Suppose 3*t = -0*t - 3. Let i be s(t). Suppose -18 = -i*p + 17. Is p a multiple of 7?
True
Suppose r - 3*m = 5*r - 756, -r + m + 196 = 0. Is 11 a factor of r?
False
Let f = -1427 - -2302. Is f a multiple of 25?
True
Let n be 15/4 - 15/(-60). Suppose n*h - 13 = -f, 5*h - 3*f + f = 26. Suppose r - 27 = 5*s, 0*r + h*r - 36 = -4*s. Is r a multiple of 6?
True
Let d(w) = 2*w - 11. Let n be d(7). Suppose -z = n + 4. Let o(j) = -j + 9. Does 8 divide o(z)?
True
Let q(m) = -2*m**2 - m - 5 + 2 - 7 + m**3. Suppose 0*a - 4*