)/(7/(-35)*2)?
False
Let j(a) = a**3 + 4*a**2 + 2*a - 1. Let q be j(-3). Let b(d) = 14*d**2 - 2 + q*d - 6*d**2 - 6*d**2. Is 9 a factor of b(4)?
False
Let j = -1752 - -2558. Is 13 a factor of j?
True
Suppose 12*d - 14*d = 4*w - 2114, -3*w - d = -1585. Is 24 a factor of w?
True
Let t(o) = 3 + 4*o + o**2 - 7*o + o**2. Let b be t(2). Suppose k - 22 = b*z, 5*z - 5 = -3*k - 19. Is k a multiple of 2?
True
Let k be 505/(-4) - (0 + (-1)/4). Is ((-3 - k) + -1)*1 + -2 a multiple of 20?
True
Let y = 2 - 0. Suppose -12*g = -18*g - 1500. Is 23 a factor of (g/15)/(y/(-6))?
False
Let x(q) = -3*q + 2. Let b(k) = -4*k + 1. Let m(o) = 2*b(o) - 3*x(o). Let d be m(3). Does 10 divide 31 + d*(1 - 0)?
True
Let s(t) be the third derivative of 7*t**4/24 + t**3/6 + 3*t**2. Let a be s(-4). Does 17 divide (-8)/(-36) + (-723)/a?
False
Let y(o) = -2*o**3 - 13*o**2 + 33*o + 6. Let b(k) = -k**3 - 7*k**2 + 17*k + 3. Let p(w) = -7*b(w) + 4*y(w). Is 11 a factor of p(-6)?
True
Suppose -m = 3*m + 56. Let w(d) = -d**2 - 12*d - 10. Let f be w(m). Let p = 64 + f. Is 13 a factor of p?
True
Suppose -2*v + 5035 - 2135 = 0. Is v a multiple of 29?
True
Let l(n) = -n**2 - 10*n + 12. Suppose -h + 0*h = -2, 54 = -4*d + 5*h. Let t be l(d). Suppose -4*f = 4*a - 208, -3*f + 43 = a - t. Is 14 a factor of a?
True
Suppose -9 + 38 = 3*j - 5*f, -5*f = -25. Is j a multiple of 7?
False
Suppose -435 = 2*i - 3*n - 1385, 0 = -4*n. Does 49 divide i?
False
Let f be (-1 - 3/(-2))*8. Suppose -2*m + 153 = -3*r, 4*m + 154 = 6*m - f*r. Suppose -g - 2*a = -20, -m = -4*g + g - 3*a. Does 15 divide g?
True
Suppose -25 = 5*k, 5*x + 0*x - 920 = -4*k. Suppose -j + 5 = -m, -3*j = 2*m - 4 - 1. Does 22 divide j*(x/12 + -1)?
True
Let r(k) = -12*k - 47. Let s(x) = -42*x - 165. Let g(z) = -18*r(z) + 5*s(z). Is 17 a factor of g(9)?
False
Suppose 3*r - 1493 = 4*i, -4*i - 2099 = -4*r - 111. Let c = r + -267. Does 38 divide c?
True
Let j(r) = -12 - 1 - 3 + 0*r - 2*r. Let y be j(-8). Suppose y = -h + 19 + 10. Is 29 a factor of h?
True
Does 34 divide 40*(-3 + (-245)/(-25))?
True
Suppose -2*k + 0 = -28. Suppose 2*z = 3*d + 40, 4*d + 23 = -2*z + 63. Let j = k + z. Is j a multiple of 14?
False
Let m be ((-7)/(-3))/((-1)/(-9)). Let h(g) = 59*g - 600. Let j be h(11). Let n = j + m. Is 10 a factor of n?
True
Suppose 3*w = -4*j + 660, 13*j - w = 9*j + 676. Is j a multiple of 3?
True
Suppose -4*k = -3*v + 16, 2*v - 4 = k - 5*k. Suppose 2*x - s - 4 = -5*s, -5*s + 3 = 2*x. Suppose d = -5*a + v, -4*a = -x*d + a + 66. Is d a multiple of 7?
True
Let w(x) = 74*x + 6. Let l = -27 + 28. Is 17 a factor of w(l)?
False
Let c = 51 - -5. Does 14 divide c?
True
Suppose -4*k - 112 = -120. Does 11 divide ((-1)/((-5)/k))/(4/1540)?
True
Let l(d) = -15*d**3 - d**2 + 1. Let t be l(1). Let c = -12 - t. Suppose c*v = 80 - 20. Does 5 divide v?
True
Let m = 43 - 35. Suppose 2*j + m*j = 990. Does 42 divide j?
False
Let s be 3 + 50/5 + -3. Suppose 76 = 6*h + s. Is 9 a factor of h?
False
Suppose 66*n = 57*n + 10647. Is n a multiple of 91?
True
Suppose t - 3307 = -3*i - i, 4*t = -4*i + 3292. Is 20 a factor of i?
False
Let g(v) be the first derivative of 32*v**3 + v**2/2 + v + 2. Let j be g(-1). Suppose 7*p = 4*p + j. Is 8 a factor of p?
True
Let s be (((-120)/18)/10)/(1/3). Does 8 divide (3/6*s)/(4/(-120))?
False
Suppose -8*i + 62 = 22. Suppose i*c + 51 = 5*q + 1, -3*q + 44 = 4*c. Does 6 divide q?
True
Suppose -z = 4*w - 15, -3*w + 21 = 2*w + 2*z. Is 4 a factor of 4 + w*(-12)/(-2)?
False
Let f = -4 - -9. Suppose 0 = -j - 5, 3*z = 6*z - 4*j - 35. Suppose f*o + v = 197, -6*v + 2 = -z*v. Does 13 divide o?
True
Let t = 426 + 3449. Is 31 a factor of t?
True
Let q be (-5)/(-2) + (-4)/(-8). Suppose 0 = -2*l + s + 13, -q*l + 4*l + 10 = -5*s. Suppose -2*w = w + z - 51, l*z = 15. Does 16 divide w?
True
Suppose -15 = -4*l + 1. Suppose 2*y - 7*i = -3*i, -3*y = l*i - 10. Suppose w + 90 = y*w. Is w a multiple of 30?
True
Suppose p + 0*n = -3*n - 7, -14 = -3*p - 2*n. Let s = p - 6. Does 2 divide -2*(s - 3)*1?
True
Suppose 29 = 4*o + 3*m, 4*o + 2*m = 3*m + 33. Let u be (-10)/8 + 2/o. Is 11 + (6*u - -3) a multiple of 8?
True
Let v = 7 - 15. Let f be v/(0 - (-4)/(-28)). Suppose -4*g = u - 61, -4*g - u + f = -5*u. Is g a multiple of 13?
False
Let f be (1/3)/((-4)/(-12)). Let m(l) = l**3 - 2*l**2 + 2*l - 1. Let v be m(f). Suppose v = -t + 2*t - 21. Does 8 divide t?
False
Let f = -14 + 13. Let l be 35 - (-3 + (-1)/f). Let z = l + -21. Is z a multiple of 8?
True
Suppose -5*p + 4960 = 5*h, 2*p = 4*h - 0*h - 3986. Does 59 divide h?
False
Let p = -266 - -406. Let q = p + 0. Is 35 a factor of q?
True
Suppose -4*j + 5 = 4*b - 11, 2*b - j = 2. Let u(s) = 4*s - b*s + 1 - 5*s. Is 5 a factor of u(-5)?
False
Let i = 454 + -91. Is i a multiple of 33?
True
Suppose 8*k - 12 = 5*k. Let w = k + 8. Suppose 4*a - 64 = d + w, 5*a = 2*d + 92. Does 10 divide a?
True
Suppose -4908 = -26*t + 916. Is 2 a factor of t?
True
Is ((-29)/2)/(2 - 84/40) a multiple of 11?
False
Let d = 67 - 26. Suppose -337*q = -338*q - 2. Let r = d + q. Is 13 a factor of r?
True
Does 27 divide (-4)/6 + 49940/66 + 0?
True
Suppose c = 2*c - 3*a + 4, 16 = 3*c + 5*a. Suppose 4*h - 242 = -2*t, -101 = -2*h - 3*t - c*t. Is h a multiple of 9?
True
Let f = 405 - -19. Does 26 divide f?
False
Suppose 13*a - 12*a = 381. Let f = a + -232. Suppose -4*k + f + 71 = 0. Is 18 a factor of k?
False
Let b = -687 + 1821. Is 81 a factor of b?
True
Let y be ((-6)/(-4))/((-69)/(-368)). Let m(i) = -i**3 - 3*i**2 - 2*i - 2. Let z be m(-3). Suppose o + 4*g - 6 = 0, -z*o + y*g + 24 = 3*g. Does 3 divide o?
True
Suppose -3416 = -5*w + v, -5*v = 3*w - 2*v - 2046. Is 3 a factor of w?
False
Suppose -o = -2*p - 0*o + 2, -20 = -5*o. Suppose -25 - 5 = -p*g. Is 1095/g - (-3)/(-2) a multiple of 29?
False
Let o(a) = a**3 - 4*a**2 - 4*a - 3. Let r be o(5). Suppose -r*z + 5*z - 9 = 0. Suppose 37 = p - x - 0*x, 0 = 5*p + z*x - 193. Is p a multiple of 19?
True
Suppose 4*j = 2*j + 62. Suppose a - 161 = -j. Is a a multiple of 34?
False
Suppose -5*d = -2*d + 4*z - 555, -5*d + 2*z = -925. Suppose -2 - 34 = -12*c. Suppose -c*a + s = -d, 3*s + 179 - 464 = -5*a. Is 24 a factor of a?
False
Does 25 divide (-2329)/119*(-7)/1?
False
Let a(k) = k**3 - 15*k**2 + 15*k + 19. Is 5 a factor of a(14)?
False
Let k(l) = 164*l + 7. Suppose -5*h = -v + 26, -5*h + 0*h = -3*v + 28. Is k(v) a multiple of 26?
False
Let t = 310 + -159. Is t a multiple of 57?
False
Let b(j) = j**2 - 1. Let k(a) = a**2 - 10*a - 1. Let q be k(10). Let d(m) = -m**3 - 2*m**2 + 2*m. Let p(f) = q*d(f) - 2*b(f). Is p(2) a multiple of 3?
True
Suppose -4*y = -742 + 154. Suppose 43*z - 40*z - y = 0. Is z a multiple of 10?
False
Suppose v = -13*v + 18648. Does 133 divide v?
False
Let y = 598 + 14. Does 9 divide y?
True
Let s(z) = 8*z**2 + 2*z + 2. Let b be s(-3). Let y = b - 17. Does 21 divide y?
False
Let b = -62 + 116. Suppose b = 8*v - 378. Is 18 a factor of v?
True
Let m = -17 + 23. Suppose m*x - x + 15 = 0, 4*x - 69 = 3*u. Does 13 divide (-12)/((42/u)/7)?
False
Let b(x) = 3*x + 42. Is 6 a factor of b(8)?
True
Suppose -10*a + 10788 - 1668 = 0. Does 12 divide a?
True
Let u(c) = -c**2 - c + 78. Suppose 8 = 4*w - 2*q, 4*q + 12 = w + q. Does 26 divide u(w)?
True
Suppose 0 = -2*g + 3 + 13. Suppose -g*w + 8 = -4*w. Suppose -80 = x - w*x. Is x a multiple of 40?
True
Suppose -4 = 2*v, 2*v + 0*v = -3*d - 16. Is 12 a factor of (d - 587/(-9)) + 6/(-27)?
False
Suppose 5 = 5*g - 10. Suppose -35 = -g*h + 16. Is 17 a factor of h?
True
Let b(z) = -z**3 - 13*z**2 - 23. Let u(s) = s**3 + 13*s**2 + 22. Let h(i) = -5*b(i) - 4*u(i). Is 4 a factor of h(-13)?
False
Suppose -6*d = -16*d + 2160. Is 27 a factor of d?
True
Let i(l) = l**3 + l**2 - 3*l + 48. Is 6 a factor of i(0)?
True
Let s(n) = n**3 - 18*n**2 - 13*n - 36. Is 39 a factor of s(21)?
True
Suppose 0 = 4*x, -5*c + 0*c - x = 0. Suppose w - 4*z + 10 + 17 = 0, c = 4*w - 3*z + 69. Is (-5)/w - 168/(-9) a multiple of 11?
False
Suppose -5*f - l + 586 = -1295, -4*l = -5*f + 1901. Is 15 a factor of f?
False
Let l = 11 - 6. Suppose -28 = -2*f + l*y, -2*y = 4*f + f - 70. Suppose j - a = f + 5, -a = 4*j - 51. Is j a multiple of 14?
True
Suppose -3*f = 0, 3*o + 2*f - 4*f - 621 = 0. Is o a multiple of 9?
True
Let v(g) = 20*g + 75. Let h(d) = 38*d + 92. Let s(u) = 13*u + 31. Let f(r) = -6*h(r) + 17*s(