 = j - 337, 2*c - t*j - 77 = c. Is 17 a factor of c?
True
Let c be 6 - (7 - 16/4). Suppose 148 = 4*s + 4*n, -5*s + n + 86 = -c*s. Does 14 divide s?
False
Let h(c) = c**3 + 9*c**2 + c + 12. Let o be 1/(-6) + 424/(-48). Let u be h(o). Is (-2)/u + (-248)/(-12) a multiple of 10?
True
Let f be 2/1 + 8 + (11 - 0). Let c be (-47)/4 - 3/12. Let j = c + f. Is 3 a factor of j?
True
Let x(r) = r**3 - 4*r**2 - 8*r - 1. Suppose 3*h + h - 28 = 0. Is 11 a factor of x(h)?
False
Let m(a) = 6*a - 1. Let j be 17/(-34) + 7/2. Let d be m(j). Suppose -63 = -d*y + 16*y. Is 9 a factor of y?
True
Suppose -2*v = -9*v + 560. Is 13 a factor of v/(-25)*(-45)/6?
False
Let h = -94 + 94. Let i(x) = -x**3 + 9 + 16 + 0*x - 2*x. Is i(h) a multiple of 6?
False
Is 3 a factor of (-4)/(-28)*4 - (-647)/7?
True
Suppose 4*f - 283 + 11 = 0. Suppose -f = -3*y - 2. Is 13 a factor of y?
False
Let z(g) = 144*g**2 + 28*g - 28. Let m(y) = 16*y**2 + 3*y - 3. Let p(j) = 56*m(j) - 6*z(j). Let k be p(-1). Let u = 100 - k. Is u a multiple of 17?
True
Let b = 54 - -6. Suppose -2*w - 3*h + b = w, -5*h + 10 = 0. Is 2 a factor of w?
True
Let g(c) be the second derivative of -7*c**5/20 + c**4/12 - c**3/3 - c**2 - 40*c. Is g(-2) a multiple of 62?
True
Let u be ((-4)/(-16)*0)/(-2). Let o = u + 38. Does 11 divide o?
False
Let l(j) = -j**3 - 18*j**2 + 64*j - 109. Does 56 divide l(-23)?
True
Suppose t = 46 + 74. Is 4 a factor of t?
True
Let d be 0/1 - (-12)/3. Suppose -5*b = 4*y - 66 + 7, 5*y = -d*b + 49. Suppose -b*u = -8*u - 24. Is u even?
True
Let c(u) = 3*u**2 + 4*u + 15. Is c(9) a multiple of 17?
False
Suppose -4*w + 5370 = w. Suppose -3*y - 4*j = 1564, w = -2*y + 4*j + 38. Does 19 divide 2/(-7) - y/7?
False
Suppose y + 218 = 37. Let a = y - -95. Let k = a - -120. Does 16 divide k?
False
Let y = -713 + 1006. Is 3 a factor of y?
False
Suppose 5*z + 33 = 2*o, -5*o - z = -8*o + 17. Let y(x) = -8 + x**3 - 2*x**3 + 2*x**3 + o*x**2 + 11*x + 5*x**2. Is y(-7) a multiple of 11?
False
Let a(k) = 2*k**3 - 22*k**2 + 4*k + 42. Is 14 a factor of a(13)?
True
Let c = -10 + 15. Suppose -c*z + 86 = 16. Suppose -3*h - 3*t - 2*t = -43, -h - 2*t = -z. Does 11 divide h?
False
Suppose 4*r + d = 2*d + 759, -4*r - 4*d = -744. Is r a multiple of 27?
True
Is 19 a factor of (17 + -22)/(2/(-114))?
True
Let l(p) = -176*p**3 + p**2 + 4*p + 2. Let h be (-4)/(-22) - 117/99. Does 25 divide l(h)?
True
Let c = 39 - 15. Suppose 3*p = -2*x - 3, 2*x + 3*x = -2*p - c. Is 6 a factor of 3*(-2)/x*17?
False
Let s be -2 - ((-30)/8 - 3/12). Suppose 0 = h, -36 = -z + 3*h + s*h. Is 4 a factor of z?
True
Let t(y) = -2*y**3 + 2*y**2 + 7. Let u be t(3). Let f = u + 56. Is f a multiple of 7?
False
Let i(p) be the second derivative of p**5/10 - p**4/6 + 4*p**3/3 - 5*p. Let u(v) be the second derivative of i(v). Does 10 divide u(2)?
True
Let l be ((-24)/10)/(3/(-10)). Suppose l*m = 6*m + 134. Is m a multiple of 8?
False
Let o be (-284)/(-14) + (-4)/14. Let t be 25/o*(-2 - -6). Suppose u + t*v - 3 = 0, 2*u + 2*v - 18 = -2*v. Is 13 a factor of u?
True
Let x(u) = -u**3 - 29*u**2 - 29*u - 21. Let v be x(-28). Suppose p = -5*z + 3, -33 = 6*p - v*p + 5*z. Is p a multiple of 5?
False
Let z = -4 + 7. Suppose -w - 36 = z*w - 4*v, -5*v + 5 = 0. Let k = w + 13. Is k a multiple of 3?
False
Let j(v) = 545*v - 5. Is j(1) a multiple of 25?
False
Let v(l) = 12*l**3 - 3*l + 3. Is 4 a factor of v(2)?
False
Let p(r) = r - 2. Let i be p(4). Suppose -i*q + 43 = -133. Is 44 a factor of q?
True
Let q(d) = d**2 - 12*d - 15. Let v be q(13). Let l be v + 2*(-17)/(-2). Let z(t) = -t**3 + 16*t**2 - 11*t - 15. Is 15 a factor of z(l)?
True
Suppose -3*w + 1004 = 2*d, -4*w - 5*d = -659 - 675. Does 42 divide w?
True
Is (-7107)/(-7) + 10/(-35) a multiple of 29?
True
Suppose -9 = -19*q + 219. Is 12 a factor of q?
True
Let w(n) = 2*n - 3 + 1 - 3. Let k be w(9). Let q = -8 + k. Is q a multiple of 2?
False
Suppose 0 = -7*o - 2*o + 333. Let x = o - 18. Is 19 a factor of x?
True
Let j(z) = -z + 66. Let g be 1 + -3 + 3 + -1. Does 18 divide j(g)?
False
Suppose -19*s + 9438 = 3*s. Is 39 a factor of s?
True
Is 7/21 - (-1916)/12 a multiple of 4?
True
Suppose -57*w + 24209 = -46585. Does 9 divide w?
True
Does 29 divide (-35 + 36)*(1 + 1627)?
False
Let q = 334 - -69. Does 22 divide q?
False
Let a = 26 - 17. Let x(g) = 11*g**3 - 9*g**2 - 8*g + 8. Let m(o) = 13*o**3 - 9*o**2 - 7*o + 9. Let z(d) = 5*m(d) - 6*x(d). Is 38 a factor of z(a)?
True
Let f(q) = -q**2 + 3*q + 4. Let y be f(4). Let t = y - -6. Is 3 a factor of t?
True
Let v be (-13)/(52/24) + 2. Is 17 a factor of v/36*2 + 461/9?
True
Let m(c) = 7*c + 7. Suppose u - 5*p = 4 + 15, 0 = 5*u - 5*p - 35. Does 6 divide m(u)?
False
Suppose -6*i + 3*i + 9 = 0. Suppose -7*a = -i*a - 48. Does 3 divide a?
True
Let y = -21 - -26. Suppose 7 = 6*q - y. Does 14 divide (-5)/((-5)/q) + 54?
True
Let o(g) be the first derivative of 1/3*g**3 - 10 + 2*g**2 - 4*g. Is 17 a factor of o(-11)?
False
Suppose -4*u = -6*u. Suppose u*n + 200 = 4*n. Is n a multiple of 10?
True
Let h = 487 - 167. Does 7 divide h?
False
Suppose 3*s + 78 - 712 = 2*f, -5*s = 4*f - 1020. Does 16 divide s?
True
Suppose -2 + 4 = -w. Is (-101)/w + 5/10 + 1 a multiple of 14?
False
Suppose 4*n - 2*n + 218 = m, 0 = 4*m - 3*n - 877. Let k be (2/(-6))/((-2)/30). Suppose 0*v - m = -k*v. Is 29 a factor of v?
False
Does 6 divide 104 + 3 + ((-5)/1 - -4)?
False
Let k(v) = -10*v**2 - 3*v + 4. Let w be k(3). Does 7 divide (w - -2)/(3 - 6)?
False
Let y(q) = 4*q**2 + 13*q + 71. Does 8 divide y(-9)?
False
Let q = -1264 - -1745. Does 27 divide q?
False
Suppose -2*c = -4*c + 4. Suppose 0 = 4*p + p - 5*q + 225, -c*q = -2. Is 13 a factor of -8*(p/8 - 1)?
True
Suppose i + 4*i - 3*x + 34 = 0, 0 = 4*x - 12. Let g be 2/(i/2 + 3). Let t(j) = j**2 + 8*j - 10. Is t(g) a multiple of 27?
False
Let c = -71 - -184. Suppose c = 2*d + g, 2*d - 3*g - 97 = 20. Does 37 divide d?
False
Let l be -49 + 2 + (-1 - 3). Let k = -47 - l. Is k a multiple of 4?
True
Let f(h) = 26*h**2 + 4*h + 3. Let i be f(-2). Suppose 0 = -0*r - r + i. Suppose 4*y - y - r = 0. Is y a multiple of 14?
False
Let u be (-880)/2 - (-15)/5. Let v = -256 - u. Suppose 5*a - v = -16. Is a a multiple of 27?
False
Is ((-2)/(-4) - 0) + (-1079)/(-2) a multiple of 36?
True
Let n be (-240)/(-135) - 4/(-18). Suppose n*o - 59 = o. Is 28 a factor of o?
False
Does 12 divide (-288236)/(-312) - (-2)/12?
True
Let a(s) = 8*s**2 + 2*s. Let d be a(-4). Let u = d + -22. Is 14 a factor of u?
True
Let u = -634 + 662. Is u a multiple of 6?
False
Let r be -1*0*1/3. Suppose r = o + 2*o - 96. Is o a multiple of 15?
False
Let l be 0/(-2)*(-2 + 3). Suppose l = 17*t - 13*t - 196. Is 18 a factor of t?
False
Let o = 12 - 9. Suppose o*n = 4*n - 45. Does 9 divide n?
True
Suppose 3*j + 4 - 19 = 0. Suppose 5*q = d + 21, j*d + 21 = 4*q - 0*d. Let v(z) = -z**3 + 3*z**2 + 6*z - 5. Is v(q) even?
False
Does 11 divide 1/((-260)/(-429) - 6/10)?
True
Suppose -3*f + v = -573, 30*f = 27*f - 4*v + 588. Is f a multiple of 16?
True
Suppose 2*v - 6 = -v, 408 = 4*n - 2*v. Suppose 3*u = n - 4. Is u a multiple of 23?
False
Suppose -5*a + k + 23 = 0, a - k - 7 = -0*a. Suppose -a*d - d = -1300. Suppose -4*z = z - d. Is 13 a factor of z?
True
Let p = 25 + -28. Is (p + 0 + 2)*-13 a multiple of 13?
True
Let n = 714 + 598. Is 16 a factor of n?
True
Let q = 180 - 37. Does 9 divide q?
False
Suppose 21*b - 22*b + 5 = 0. Suppose -259 + 23 = -2*m. Suppose 4*n + l - 48 = 2*n, -3*l = b*n - m. Is 13 a factor of n?
True
Let o(x) = -9*x - 49. Does 38 divide o(-10)?
False
Suppose 7*a - 4*a = 477. Suppose 6*u = -a + 783. Suppose 5*w - 9*w = -u. Is 19 a factor of w?
False
Let j(z) = -z + 4. Suppose 0 = -m - 0*b - 3*b, -10 = m - 2*b. Is 2 a factor of j(m)?
True
Let m = -278 + 129. Let p = -109 - m. Does 8 divide p?
True
Let j be ((-2)/4)/((-11)/44). Suppose j*f + 3*m = 438, 0 = -0*m - m + 2. Is 24 a factor of f?
True
Let r = -2077 - -2425. Is 11 a factor of r?
False
Let n be 1/((-2)/(1*-130)). Suppose -5*i - n = -0*i. Let v = i + 19. Is 6 a factor of v?
True
Suppose -5*m = -m - 12. Let v be -6*(m - (-14)/(-4)). Suppose 5 = -2*f + v*f. Is 3 a factor of f?
False
Let w be (-70)/7 + 1 + 3. Let c be w/21 - 2200/(-7). Suppose -246 = -5*b + c. Does 28 divide b?
True
Suppose 0 = 3*q + 3, -2*p = -3*q - 6440 - 73. Is 105 a factor of p?
True
Let