et r be 13/((-39)/(-18)) + -4. Let b be (12/3 - -86)/r. Does 15 divide b/2*44/33?
True
Let m(u) = u**3 + 7*u**2 + 9*u + 8. Let b = -88 + 84. Does 4 divide m(b)?
True
Let a = -5 + 17. Suppose 0 = -14*q + a*q + 10. Suppose -2*m + 23 = q. Is 5 a factor of m?
False
Let j = -165 + 167. Suppose d - 270 = -4*x, 5*x - j*d = 2*x + 208. Is 6 a factor of x?
False
Suppose -20 = -4*r + k + 1, 5*r - k - 26 = 0. Suppose -5*m - 217 = 3*s, r*s - 4 - 89 = 2*m. Does 11 divide m/(9/(-6) + 1)?
True
Let u(r) = 5*r + 2. Let d be u(2). Suppose 2*n - 8 = b, 4*n + b - d = 2*b. Suppose -y = -n*y - 2*m + 86, -y + 66 = -2*m. Is y a multiple of 19?
True
Suppose 2*v = -5*c - v + 24, -c + 4*v = 9. Suppose 2*n + 5*j - 80 = 0, -c*j = -2*j. Suppose n + 36 = 4*g. Does 19 divide g?
True
Let o be (0 - -1)/(4*(-5)/(-100)). Suppose -y = -46 + 11. Suppose -145 = -o*p + y. Is p a multiple of 12?
True
Let g(q) = -q**2 - q + 20. Let t(x) = x + 4. Let m be t(-4). Is g(m) a multiple of 20?
True
Is 27 a factor of 10/((-90)/27)*-1107?
True
Let k = -30 + -23. Let q = k + 63. Is q even?
True
Let s(w) = -w**3 + w**2 + w + 30. Let h be s(0). Suppose 4*l - 2*l - h = -2*g, 0 = 4*l + g - 57. Does 10 divide l?
False
Suppose q - 8745 = -q + r, q = 5*r + 4350. Is q a multiple of 125?
True
Let o(f) = -7*f + 0 + 1 + 14*f - 8*f - f**2. Let j(i) = -i**3 - 13*i**2 - 14*i + 1. Let r(a) = j(a) - 6*o(a). Is 7 a factor of r(-6)?
True
Suppose 0 = 3*i - y + 3, -2*i = -2*y - 0*y + 6. Suppose i = -10*f + 3*f + 476. Is f a multiple of 34?
True
Let n(j) = 11*j**3 - 2*j + 1. Suppose 4*f = -5*i + 4, f = 3*f + 5*i - 2. Is n(f) a multiple of 2?
True
Let z(q) = -q**2 - 6*q + 5. Let w be z(-6). Let n be (w + -5)/(-1 - -3). Suppose n = -g - 2 + 6. Does 3 divide g?
False
Suppose 5*d + d + 30 = 0. Let i(w) = -4*w**3 - 14*w**2 + 2*w + 5. Does 29 divide i(d)?
True
Let t(d) = 20*d**3 + 6*d**2 + 8*d - 18. Is t(4) a multiple of 14?
False
Let m = -105 + 125. Suppose x + m - 78 = 0. Does 5 divide x?
False
Let s be 42/9 + (-2)/3. Suppose 5*o = s*o + 57. Let d = -26 + o. Does 7 divide d?
False
Let p(o) = -o**2 + 4*o. Let t be p(3). Suppose -2*g + 8*n - t*n - 46 = 0, -4*n + 98 = -5*g. Is (-3488)/(-144) + 4/g a multiple of 24?
True
Let k(h) = -h**2 - 4*h + 3. Let b be k(-3). Suppose -3*p - 4*y = -190, 3*p - 11*y = -b*y + 208. Does 15 divide p?
False
Is (-13 - 4)/((-3)/(-30)*-2) even?
False
Suppose -21*h + 4*h + 27098 = 0. Is 11 a factor of h?
False
Suppose -284 = 6*x + 118. Let v = x + 275. Is v a multiple of 52?
True
Let y = 197 + -92. Is 5 a factor of y?
True
Let n = -63 - -151. Suppose -74*o = -64*o - 30. Suppose -n = -k - o*k. Is 11 a factor of k?
True
Let l(n) = 39*n - 39. Let h(y) = 4*y - 4. Let q(m) = 21*h(m) - 2*l(m). Let g be q(10). Suppose 110 = 4*z - g. Does 10 divide z?
False
Let l = 19 - 11. Let x = -11 + l. Is 0 - (1*-15 + x) a multiple of 6?
True
Let f(m) = 43*m**3 + m + 3. Let j be f(-1). Let q = -3 + 4. Does 24 divide j*(0 + -1)/q?
False
Suppose -199 = 6*s - 1057. Is 11 a factor of s?
True
Let n(m) = -m**3 - 2*m**2 + 3*m. Let z be n(-3). Let k(o) = 3*o + 26. Does 15 divide k(z)?
False
Let l = 0 - -21. Let x = l + -5. Is x a multiple of 16?
True
Let p(i) = i**3 - 7*i**2 + 5*i + 8. Let r be p(6). Let g(c) = 67*c - 3. Let o(w) = -269*w + 13. Let s(h) = r*o(h) + 9*g(h). Is 20 a factor of s(1)?
False
Is 30 a factor of -120*5/(-2) + 0/1?
True
Let w = 278 - 398. Let b be (-2)/5 - w/50. Suppose 3 = b*l - 53. Does 9 divide l?
False
Let w(j) = 4*j - 3. Let k be w(2). Suppose -60 = k*i - 475. Is 21 a factor of i?
False
Suppose -13*w + 8*w + 130 = 0. Suppose -4*m + 3*m = 5*z + 20, -2*m - w = 3*z. Let l = m + 82. Does 12 divide l?
True
Let i(c) be the third derivative of -c**5/10 - c**4/24 + c**3/2 + 3*c**2. Let l be i(-3). Is 12 a factor of (2 - (-28)/(-8))*l?
True
Suppose 3*v - 8*v + 832 = -2*x, -1 = x. Does 4 divide v?
False
Let n(z) = -z**3 + 5*z**2 + 14*z + 78. Is n(-7) a multiple of 8?
True
Suppose -5*c + 16 = -4. Let l be 5 - 2 - c*1. Let j = l + 10. Is j a multiple of 3?
True
Let o(g) = -g + 13. Let h be o(13). Is 92*(-5)/(-10) - h a multiple of 23?
True
Suppose 57 = -9*o - 168. Let s = o - -53. Does 14 divide s?
True
Let i be 24/(-15) - (-8)/(-20). Let q(o) = o. Let l(n) = 9*n + 1. Let w(v) = -l(v) + 5*q(v). Is 2 a factor of w(i)?
False
Let v(j) = j**2 - 20*j - 11. Let p be v(21). Suppose -2*n + p = -32. Is n a multiple of 10?
False
Let p be (-4)/6 - 3620/(-30). Suppose 2*v = 4*v - p. Is v a multiple of 6?
True
Let w be (-6 - 1)*((-72)/(-63))/(-4). Suppose 0 = 5*q - t - 641, -5*t - 73 + 324 = w*q. Is q a multiple of 15?
False
Suppose 139 = z + 5*x, 5*z + 5*x - 75 = 540. Let q = -57 + z. Does 5 divide q?
False
Let z be (-4)/(-8)*12 + 4. Let r be 140/3*15/z. Suppose 2*x = -0*x + r. Is 7 a factor of x?
True
Let f = 127 - -253. Is f a multiple of 13?
False
Let h(j) = 2*j. Let r be h(2). Suppose -n = 2*z - r*n - 97, 265 = 5*z - 3*n. Suppose -2*i + z = 2*i. Is i a multiple of 7?
True
Let m = -3060 - -6005. Does 95 divide m?
True
Suppose 4*q - 3*k = 4180, 2*q = -4*k + 1206 + 884. Is q a multiple of 76?
False
Let v(d) = 5*d - 20. Let i be v(4). Let w(c) = -5*c + 56. Is 7 a factor of w(i)?
True
Suppose 3*k = 4*a - 715, -a + 2*a + 5*k - 173 = 0. Does 4 divide a?
False
Suppose -y + 64 = 3*z, 0 = -3*z + 3*y + 77 - 5. Does 2 divide z?
True
Suppose -5*r = -5*z - 25, -7 = -0*z + 5*z + 4*r. Let y be z - (-2 + 3 - 6). Suppose 0 = -5*p - 5*k + 200, p - y*k = -3*p + 160. Does 11 divide p?
False
Let i = -10 - -32. Suppose -2*n + i = -0*n. Let m = n - 1. Is m a multiple of 10?
True
Let f = 1146 - 602. Does 32 divide f?
True
Suppose 5*k + 2*u = -0*k + 3665, 0 = 3*k + u - 2199. Does 16 divide k?
False
Suppose -39*u = -6*u - 61380. Is u a multiple of 15?
True
Is (-1175)/188*(-3368)/5 a multiple of 49?
False
Suppose -17*y + 1382 = -4517. Is y a multiple of 14?
False
Let g(x) = x + 1. Let q be g(-5). Suppose -70 = -5*k - 0*k. Is (-176)/(-28) + q/k a multiple of 2?
True
Suppose -3*c + 2*p + 226 = 2, p + 150 = 2*c. Let t be 30/35*(-42)/(-12). Suppose -a - t*a = -c. Is a a multiple of 7?
False
Let l = 25 + -18. Suppose -l*i + 4*i + 282 = 0. Let y = i + -46. Is 10 a factor of y?
False
Let h = 5 - -5. Let t = h + -7. Suppose -y = -t*y + 66. Is 12 a factor of y?
False
Suppose -4*v + 21 = -v. Suppose -3*b = -v*b + 160. Is 10 a factor of b?
True
Is 10 + 0/((16/2)/(-2)) a multiple of 2?
True
Let l(x) be the third derivative of x**5/30 + x**4/8 + 3*x**3/2 - 11*x**2. Is l(-5) a multiple of 11?
True
Let b = 884 + -851. Does 33 divide b?
True
Does 6 divide 80301/325 - -11 - (-4)/(-50)?
True
Let f = 10 - 3. Let v(n) = n**2 - 7*n + 4. Let x be v(f). Is (63/6)/(3/x) a multiple of 14?
True
Let u = -166 - -289. Is 4 a factor of u?
False
Suppose u - 3*u = -4. Suppose 15*a - 2*a = 33*a. Suppose a = -5*k + 5*j + 85, -u*k + j + 21 = -16. Does 6 divide k?
False
Does 15 divide 3/9 + (-16687)/(-33)?
False
Is 28 a factor of (2982/49)/(1/7)?
False
Let p = 113 + -29. Does 7 divide p?
True
Is 44/(15/((-315)/(-12))) a multiple of 11?
True
Let h = -28 - -30. Suppose -h*m - 3*s + 12 = 2*m, 0 = s. Suppose -2*q = 4*r - 56, -3*q - m*r + 64 = -26. Is 16 a factor of q?
True
Suppose 79 = 5*t - 2011. Is 19 a factor of t?
True
Let k(p) = -2*p**2 - 14*p + 5. Let q(m) be the second derivative of -2*m**4/3 + m**2/2 + m. Let f be q(-1). Is 2 a factor of k(f)?
False
Let m(d) = -7*d - 44. Let z be m(-10). Let h = z - -2. Is h a multiple of 2?
True
Let r(i) = i**3 + i**2 - i + 3. Let g be r(0). Let j = 273 - 281. Is 5 a factor of (36/j)/(g/(-18))?
False
Suppose 2*s - 5*h + 577 = -97, -s - 2*h - 319 = 0. Let u = s + 474. Is 9 a factor of u?
False
Let z = 1359 - 182. Is z a multiple of 81?
False
Let y(v) = 81*v**2 - 20*v + 25. Is 26 a factor of y(5)?
True
Let y(x) = -x**2 + x + 5. Let w be y(0). Suppose w*p - 54 - 61 = 0. Is p a multiple of 10?
False
Suppose -4*y = c - 1175, 2*y - 4 - 6 = 0. Is 5 a factor of c?
True
Let a(i) = i**3 - 7*i - i**3 - i**3 - 7 - 6*i**2 + 0. Let t be a(-5). Suppose 2*x - 7*x - 82 = -2*m, -2*x - 101 = -t*m. Is m a multiple of 8?
False
Let p = 3102 - 54. Is 15 a factor of p?
False
Let t(o) = -o**3 + 16*o**2 - 39*o - 8. Is t(11) a multiple of 3?
True
Let u be (-1 - 2) + (4 - 1). Suppose u = 3*p - 60 - 12. Is 2 a factor of p?
True
Suppose -3*x = -3*g + 315, 10 = -x +